
We construct a colored operad whose category of algebras is the category of
algebraic quantum field theories. This is achieved by a construction that
depends on the choice of a category, whose objects provide the operad colors,
equipped with an additional structure that we call an orthogonality relation.
This allows us to describe different types of quantum field theories, including
theories on a fixed Lorentzian manifold, locally covariant theories and also
chiral conformal and Euclidean theories. Moreover, because the colored operad
depends functorially on the orthogonal category, we obtain adjunctions between
categories of different types of quantum field theories. These include novel
and interesting constructions, such as timeslicification and localtoglobal
extensions of quantum field theories. We compare the latter to Fredenhagen's
universal algebra.

We analyze quantum field theories on spacetimes $M$ with timelike boundary
from a modelindependent perspective. We construct an adjunction which
describes a universal extension to the whole spacetime $M$ of theories defined
only on the interior $\mathrm{int}M$. The unit of this adjunction is a natural
isomorphism, which implies that our universal extension satisfies Kay's
Flocality property. Our main result is the following characterization theorem:
Every quantum field theory on $M$ that is additive from the interior (i.e.\
generated by observables localized in the interior) admits a presentation by a
quantum field theory on the interior $\mathrm{int}M$ and an ideal of its
universal extension that is trivial on the interior. We shall illustrate our
constructions by applying them to the free KleinGordon field.

We provide an abstract definition and an explicit construction of the stack
of nonAbelian YangMills fields on globally hyperbolic Lorentzian manifolds.
We also formulate a stacky version of the YangMills Cauchy problem and show
that its wellposedness is equivalent to a whole family of parametrized PDE
problems. Our work is based on the homotopy theoretical approach to stacks
proposed in [S. Hollander, Israel J. Math. 163, 93124 (2008)], which we shall
extend by further constructions that are relevant for our purposes. In
particular, we will clarify the concretification of mapping stacks to
classifying stacks such as $\mathrm{B}G_\mathrm{con}$.

Involutive category theory provides a flexible framework to describe
involutive structures on algebraic objects, such as antilinear involutions on
complex vector spaces. Motivated by the prominent role of involutions in
quantum (field) theory, we develop the involutive analogs of colored operads
and their algebras, named colored $\ast$operads and $\ast$algebras. Central
to the definition of colored $\ast$operads is the involutive monoidal category
of symmetric sequences, which we obtain from a general productexponential
$2$adjunction whose right adjoint forms involutive functor categories. Using a
novel criterion for trivializability of involutive structures, we show that the
involutive monoidal category of symmetric sequences admits a very simple
description. For $\ast$algebras over $\ast$operads we obtain involutive
analogs of the usual change of color and operad adjunctions. As an application,
we turn the colored operads for algebraic quantum field theory into colored
$\ast$operads. The simplest instance is the associative $\ast$operad, whose
$\ast$algebras are unital and associative $\ast$algebras.

We introduce an abstract concept of quantum field theory on categories
fibered in groupoids over the category of spacetimes. This provides us with a
general and flexible framework to study quantum field theories defined on
spacetimes with extra geometric structures such as bundles, connections and
spin structures. Using right Kan extensions, we can assign to any such theory
an ordinary quantum field theory defined on the category of spacetimes and we
shall clarify under which conditions it satisfies the axioms of locally
covariant quantum field theory. The same constructions can be performed in a
homotopy theoretic framework by using homotopy right Kan extensions, which
allows us to obtain first toymodels of homotopical quantum field theories
resembling some aspects of gauge theories.

Abelian duality is realized naturally by combining differential cohomology
and locally covariant quantum field theory. This leads to a C$^*$algebra of
observables, which encompasses the simultaneous discretization of both magnetic
and electric fluxes. We discuss the assignment of physically wellbehaved
states to such algebra and the properties of the associated GNS triple. We show
that the algebra of observables factorizes as a suitable tensor product of
three C$^*$algebras: the first factor encodes dynamical information, while the
other two capture topological data corresponding to electric and magnetic
fluxes. On the former factor we exhibit a state whose twopoint correlation
function has the same singular structure of a Hadamard state. Specifying
suitable counterparts also on the topological factors we obtain a state for the
full theory, providing ultimately a unitary implementation of Abelian duality.

We develop an approach to construct Poisson algebras for nonlinear scalar
field theories that is based on the Cahiers topos model for synthetic
differential geometry. In this framework the solution space of the field
equation carries a natural smooth structure and, following Zuckerman's ideas,
we can endow it with a presymplectic current. We formulate the Hamiltonian
vector field equation in this setting and show that it selects a family of
observables which forms a Poisson algebra. Our approach provides a clean
splitting between geometric and algebraic aspects of the construction of a
Poisson algebra, which are sufficient to guarantee existence, and analytical
aspects that are crucial to analyze its properties.

We study generalized electric/magnetic duality in Abelian gauge theory by
combining techniques from locally covariant quantum field theory and
CheegerSimons differential cohomology on the category of globally hyperbolic
Lorentzian manifolds. Our approach generalizes previous treatments using the
Hamiltonian formalism in a manifestly covariant way and without the assumption
of compact Cauchy surfaces. We construct semiclassical configuration spaces
and corresponding presymplectic Abelian groups of observables, which are
quantized by the CCRfunctor to the category of $C^*$algebras. We demonstrate
explicitly how duality is implemented as a natural isomorphism between quantum
field theories. We apply this formalism to develop a fully covariant quantum
theory of selfdual fields.

By adapting the CheegerSimons approach to differential cohomology, we
establish a notion of differential cohomology with compact support. We show
that it is functorial with respect to open embeddings and that it fits into a
natural diagram of exact sequences which compare it to compactly supported
singular cohomology and differential forms with compact support, in full
analogy to ordinary differential cohomology. By extending some results for
relative differential cohomology we prove an excision theorem for differential
cohomology. We further establish Pontryagin duality for differential
cohomology: On any oriented manifold, ordinary differential cohomology is
isomorphic to the smooth Pontryagin dual of compactly supported differential
cohomology. For manifolds of finitetype, a similar result is obtained
interchanging ordinary with compactly supported differential cohomology.

We study chain complexes of field configurations and observables for Abelian
gauge theory on contractible manifolds, and show that they can be extended to
noncontractible manifolds by using techniques from homotopy theory. The
extension prescription yields functors from a category of manifolds to suitable
categories of chain complexes. The extended functors properly describe the
global field and observable content of Abelian gauge theory, while the original
gauge field configurations and observables on contractible manifolds are
recovered up to a natural weak equivalence.

Free quantum field theories on curved backgrounds are discussed via three
explicit examples: the real scalar field, the Dirac field and the Proca field.
The first step consists of outlining the main properties of globally hyperbolic
spacetimes, that is the class of manifolds on which the classical dynamics of
all physically relevant free fields can be written in terms of a Cauchy
problem. The set of all smooth solutions of the latter encompasses the
dynamically allowed configurations which are used to identify via a suitable
pairing a collection of classical observables. As a last step we use such
collection to construct a $*$algebra which encodes the information on the
dynamics and on the canonical commutation or anticommutation relations
depending whether the underlying field is a Fermion or a Boson.

The thesis investigates the locality axiom of general local covariance for
Abelian gauge theories. Two models, Maxwell $k$forms (higher analogues of the
electromagnetic vector potential) and the $U(1)$ YangMills model are analyzed
over globally hyperbolic spacetimes. Our attention is mainly focused on the
locality axiom of general local covariance, which states that a causal
embedding between spacetimes should induce an inclusion at the level of
observables. Both at the classical and at the quantum level, it turns out that
the models we consider violate locality depending on certain global features of
the background spacetime. For Maxwell $k$forms, we prove that there is no
coherent way to recover the locality axiom. For the $U(1)$ YangMills model we
adopt two different approaches: in the first one locality can be recovered
coherently, but the class of observables we consider fails in detecting those
field configurations which correspond to the AharonovBohm effect; conversely,
in our second approach observables are defined in the spirit of Wilson loops
(hence capturing also AharonovBohm configurations), but a nogo theorem shows
that locality cannot be recovered in a coherent way.

A folklore result in category theory is that a (weakly) Cartesian closed
category with finite coproducts is distributive. Usually, the proof of this
small result is carried on using the fact that the exponential functor is right
adjoint to the product functor. And, since functors having a right adjoint
preserve colimits, the result follows immediately. But, when we try to
explicitly construct the arrows, things become a bit more involved. In rare
cases, it is pretty useful to have the exact arrows that make this isomorphism
to hold. The purpose of this note is to develop the explicit proof with all the
involved arrows constructed in an explicit way.

In [Ben13], the notion of logically distributive category has been introduced
to provide a sound and complete semantics to multisorted firstorder logical
theories based on intuitionistic logic. In this note, it will be shown that the
definition of logically distributive category can be simplified by dropping two
requirements, the one saying that product must distribute over sum, and the one
saying that product must distribute over existential quantification.

We discuss the quantization of linearized gravity on globally hyperbolic,
asymptotically flat, vacuum spacetimes and the construction of distinguished
states which are both of Hadamard form and invariant under the action of all
bulk isometries. The procedure, we follow, consists of looking for a
realization of the observables of the theory as a subalgebra of an auxiliary,
nondynamical algebra constructed on future null infinity $\Im^+$. The
applicability of this scheme is tantamount to proving that a solution of the
equations of motion for linearized gravity can be extended smoothly to $\Im^+$.
This has been claimed to be possible provided that a suitable gauge fixing
condition, first written by Geroch and Xanthopoulos, is imposed. We review its
definition critically showing that there exists a previously unnoticed
obstruction in its implementation leading us to introducing the concept of
radiative observables. These constitute an algebra for which a Hadamard state
induced from null infinity and invariant under the action of all spacetime
isometries exists and it is explicitly constructed.

The aim of this work is to complete our program on the quantization of
connections on arbitrary principal U(1)bundles over globally hyperbolic
Lorentzian manifolds. In particular, we show that one can assign via a
covariant functor to any such bundle an algebra of observables which separates
gauge equivalence classes of connections. The C*algebra we construct
generalizes the usual CCRalgebras since, contrary to the standard
fieldtheoretic models, it is based on a presymplectic Abelian group instead of
a symplectic vector space. We prove a nogo theorem according to which neither
this functor, nor any of its quotients, satisfies the strict axioms of general
local covariance. As a byproduct, we prove that a morphism violates the
locality axiom if and only if a certain induced morphism of cohomology groups
is noninjective. We then show that fixing any principal U(1)bundle, there
exists a suitable category of subbundles for which a quotient of our functor
yields a quantum field theory in the sense of Haag and Kastler. We shall
provide a physical interpretation of this feature and we obtain some new
insights concerning electric charges in locally covariant quantum field theory.

Being motivated by open questions in gauge field theories, we consider
nonstandard de Rham cohomology groups for timelike compact and spacelike
compact support systems. These cohomology groups are shown to be isomorphic
respectively to the usual de Rham cohomology of a spacelike Cauchy surface and
its counterpart with compact support. Furthermore, an analog of the usual
Poincar\'e duality for de Rham cohomology is shown to hold for the case with
nonstandard supports as well. We apply these results to find optimal spaces of
linear observables for analogs of arbitrary degree $k$ of both the vector
potential and the Faraday tensor. The term optimal has to be intended in the
following sense: The spaces of linear observables we consider distinguish
between different configurations; in addition to that, there are no redundant
observables. This last point in particular heavily relies on the analog of
Poincar\'e duality for the new cohomology groups.

We construct a covariant functor from a category of Abelian principal bundles
over globally hyperbolic spacetimes to a category of *algebras that describes
quantized principal connections. We work within an appropriate differential
geometric setting by using the bundle of connections and we study the full
gauge group, namely the group of vertical principal bundle automorphisms.
Properties of our functor are investigated in detail and, similar to earlier
works, it is found that due to topological obstructions the locality property
of locally covariant quantum field theory is violated. Furthermore, we prove
that, for Abelian structure groups containing a nontrivial compact factor, the
gauge invariant BorchersUhlmann algebra of the vector dual of the bundle of
connections is not separating on gauge equivalence classes of principal
connections. We introduce a topological generalization of the concept of
locally covariant quantum fields. As examples, we construct for the category of
principal U(1)bundles two natural transformations from singular homology
functors to the quantum field theory functor that can be interpreted as the
Chern class and the electric charge. In this case we also prove that the
electric charges can be consistently set to zero, which yields another quantum
field theory functor that satisfies all axioms of locally covariant quantum
field theory.

Goal of this review is to introduce the algebraic approach to quantum field
theory on curved backgrounds. Based on a set of axioms, first written down by
Haag and Kastler, this method consists of a twostep procedure. In the first
one, a suitable algebra of observables is assigned to a physical system, which
is meant to encode all algebraic relations among observables, such as
commutation relations, while, in the second step, one must select an algebraic
state in order to recover the standard Hilbert space interpretation of a
quantum system. As quantum field theories possess infinitely many degrees of
freedom, many unitarily inequivalent Hilbert space representations exist and
the power of such approach is the ability to treat them all in a coherent
manner. We will discuss in detail the algebraic approach for free fields in
order to give to the reader all necessary information to deal with the recent
literature, which focuses on the applications to specific problems, mostly in
cosmology.

This reports introduces a novel sound and complete semantics for first order
intuitionistic logic, in the framework of category theory and by the
computational interpretation of the logic based on the socalled CurryHoward
isomorphism. Aside, a sound and complete semantics for the corresponding
lambdacalculus is derived, too. This semantics extends, in a way, the more
traditional meanings given by Heyting categories, the topostheoretic
interpretation, and Kripke models. The feature which justifies the introduction
of this novel semantics is the fact that it is 'pointfree', i.e., there is no
universe whose elements are used to interpret the logical terms. In other
words, terms do not denote individuals of some collection but, instead, they
denote the 'glue' which keeps together the interpretations of statements,
similarly to what happens in formal topology. Since the proposed semantics can
be trivially extended to all the firstorder logical theories based on the
intuitionistic system (and, with some care, to minimal systems as well), the
semantics covers also all the predicative theories, even if some peculiar
aspects of these theories should be remarked.

We develop a general framework for the quantization of bosonic and fermionic
field theories on affine bundles over arbitrary globally hyperbolic spacetimes.
All concepts and results are formulated using the language of category theory,
which allows us to prove that these models satisfy the principle of general
local covariance. Our analysis is a preparatory step towards a fullfledged
quantization scheme for the Maxwell field, which emphasises the affine bundle
structure of the bundle of principal U(1)connections. As a byproduct, our
construction provides a new class of exactly tractable locally covariant
quantum field theories, which are a mild generalization of the linear ones. We
also show the existence of a functorial assignment of linear quantum field
theories to affine ones. The identification of suitable algebra homomorphisms
enables us to induce whole families of physical states (satisfying the
microlocal spectrum condition) for affine quantum field theories by pulling
back quasifree Hadamard states of the underlying linear theories.

In this thesis the generally covariant locality principle for bosonic free
fields has been thoroughly analyzed devoting particular attention to the case
of spin 1 fields on curved spacetimes (Proca and Maxwell fields). This has been
obtained in two steps: In the first place the preliminary study of the
corresponding field equations led to the construction of a symplectic space of
solutions describing the classical theories of the considered fields. Secondly
the locally covariant quantum theory of the field under consideration has been
obtained through the assignment of the Weyl algebra associated to the
symplectic space describing the classical theory. The last part of the thesis
has been devoted to the proof of the relative Cauchy evolution for both the
Proca field and the Maxwell field.