• ### Operads for algebraic quantum field theory(1709.08657)

Nov. 7, 2018 hep-th, math-ph, math.MP, math.CT
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 time-slicification and local-to-global extensions of quantum field theories. We compare the latter to Fredenhagen's universal algebra.
• ### Algebraic quantum field theory on spacetimes with timelike boundary(1712.06686)

May 11, 2018 hep-th, math-ph, math.MP
We analyze quantum field theories on spacetimes $M$ with timelike boundary from a model-independent 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 F-locality 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 Klein-Gordon field.
• ### The stack of Yang-Mills fields on Lorentzian manifolds(1704.01378)

March 23, 2018 hep-th, math-ph, math.MP, math.AT
We provide an abstract definition and an explicit construction of the stack of non-Abelian Yang-Mills fields on globally hyperbolic Lorentzian manifolds. We also formulate a stacky version of the Yang-Mills Cauchy problem and show that its well-posedness 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, 93-124 (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 categories, colored $\ast$-operads and quantum field theory(1802.09555)

Feb. 26, 2018 hep-th, math-ph, math.MP, math.CT
Involutive category theory provides a flexible framework to describe involutive structures on algebraic objects, such as anti-linear 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 product-exponential $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.
• ### Quantum field theories on categories fibered in groupoids(1610.06071)

Aug. 24, 2017 hep-th, math-ph, math.MP, math.AT
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 toy-models of homotopical quantum field theories resembling some aspects of gauge theories.
• ### Hadamard states for quantum Abelian duality(1611.10282)

Nov. 30, 2016 hep-th, math-ph, math.MP, gr-qc
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 well-behaved 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 two-point 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.
• ### Poisson algebras for non-linear field theories in the Cahiers topos(1602.00708)

Oct. 10, 2016 hep-th, math.DG, math-ph, math.MP
We develop an approach to construct Poisson algebras for non-linear 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.
• ### Abelian duality on globally hyperbolic spacetimes(1511.00316)

June 15, 2016 hep-th, math.DG, math-ph, math.MP, math.AT
We study generalized electric/magnetic duality in Abelian gauge theory by combining techniques from locally covariant quantum field theory and Cheeger-Simons 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 semi-classical configuration spaces and corresponding presymplectic Abelian groups of observables, which are quantized by the CCR-functor 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 self-dual fields.
• ### Cheeger-Simons differential characters with compact support and Pontryagin duality(1511.00324)

Nov. 16, 2015 hep-th, math.DG, math-ph, math.MP, math.AT
By adapting the Cheeger-Simons 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 finite-type, a similar result is obtained interchanging ordinary with compactly supported differential cohomology.
• ### Homotopy colimits and global observables in Abelian gauge theory(1503.08839)

May 29, 2015 hep-th, math-ph, math.MP, math.AT, math.CT
We study chain complexes of field configurations and observables for Abelian gauge theory on contractible manifolds, and show that they can be extended to non-contractible 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.
• ### Models of free quantum field theories on curved backgrounds(1505.04298)

May 16, 2015 hep-th, math-ph, math.MP
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 anti-commutation relations depending whether the underlying field is a Fermion or a Boson.
• ### Locality in Abelian gauge theories over globally hyperbolic spacetimes(1503.00131)

Feb. 28, 2015 hep-th, math-ph, math.MP, gr-qc
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)$ Yang-Mills 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)$ Yang-Mills 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 Aharonov-Bohm effect; conversely, in our second approach observables are defined in the spirit of Wilson loops (hence capturing also Aharonov-Bohm configurations), but a no-go theorem shows that locality cannot be recovered in a coherent way.
• ### Cartesian closed categories are distributive(1406.0961)

June 13, 2014 math.CT
A folklore result in category theory is that a (weakly) Cartesian closed category with finite co-products 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 co-limits, 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.
• ### A simplified definition of logically distributive categories(1406.1251)

June 5, 2014 math.CT
In [Ben13], the notion of logically distributive category has been introduced to provide a sound and complete semantics to multi-sorted first-order 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.
• ### Radiative observables for linearized gravity on asymptotically flat spacetimes and their boundary induced states(1404.4551)

April 25, 2014 hep-th, math-ph, math.MP, gr-qc
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 sub-algebra of an auxiliary, non-dynamical 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.
• ### A C*-algebra for quantized principal U(1)-connections on globally hyperbolic Lorentzian manifolds(1307.3052)

March 20, 2014 hep-th, math.DG, math-ph, math.MP
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 CCR-algebras since, contrary to the standard field-theoretic models, it is based on a presymplectic Abelian group instead of a symplectic vector space. We prove a no-go 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 non-injective. We then show that fixing any principal U(1)-bundle, there exists a suitable category of sub-bundles 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.
• ### Optimal space of linear classical observables for Maxwell $k$-forms via spacelike and timelike compact de Rham cohomologies(1401.7563)

Jan. 29, 2014 hep-th, math-ph, math.MP, gr-qc
Being motivated by open questions in gauge field theories, we consider non-standard 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 non-standard 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.
• ### Quantized Abelian principal connections on Lorentzian manifolds(1303.2515)

July 18, 2013 hep-th, math.DG, math-ph, math.MP
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 Borchers-Uhlmann 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.
• ### Quantum Field Theory on Curved Backgrounds -- A Primer(1306.0527)

June 30, 2013 hep-th, math-ph, math.MP, gr-qc
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 two-step 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.
• ### Intuitionistic First-Order Logic: Categorical Semantics via the Curry-Howard Isomorphism(1307.0108)

June 29, 2013 cs.LO, math.LO
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 so-called Curry-Howard isomorphism. Aside, a sound and complete semantics for the corresponding lambda-calculus is derived, too. This semantics extends, in a way, the more traditional meanings given by Heyting categories, the topos-theoretic interpretation, and Kripke models. The feature which justifies the introduction of this novel semantics is the fact that it is 'point-free', 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 first-order 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.
• ### Quantum field theory on affine bundles(1210.3457)

Feb. 21, 2013 hep-th, math.DG, math-ph, math.MP
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 full-fledged quantization scheme for the Maxwell field, which emphasises the affine bundle structure of the bundle of principal U(1)-connections. As a by-product, 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 quasi-free Hadamard states of the underlying linear theories.
• ### Relative Cauchy Evolution for Spin 1 Fields(1111.6471)

Nov. 28, 2011 hep-th, math-ph, math.MP, gr-qc
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.