No Arabic abstract
Algebraic quantum field theory and prefactorization algebra are two mathematical approaches to quantum field theory. In this monograph, using a new coend definition of the Boardman-Vogt construction of a colored operad, we define homotopy algebraic quantum field theories and homotopy prefactorization algebras and investigate their homotopy coherent structures. Homotopy coherent diagrams, homotopy inverses, A-infinity-algebras, E-infinity-algebras, and E-infinity-modules arise naturally in this context. In particular, each homotopy algebraic quantum field theory has the structure of a homotopy coherent diagram of A-infinity-algebras and satisfies a homotopy coherent version of the causality axiom. When the time-slice axiom is defined for algebraic quantum field theory, a homotopy coherent version of the time-slice axiom is satisfied by each homotopy algebraic quantum field theory. Over each topological space, every homotopy prefactorization algebra has the structure of a homotopy coherent diagram of E-infinity-modules over an E-infinity-algebra. To compare the two approaches, we construct a comparison morphism from the colored operad for (homotopy) prefactorization algebras to the colored operad for (homotopy) algebraic quantum field theories and study the induced adjunctions on algebras.
We implement in the formal language of homotopy type theory a new set of axioms called cohesion. Then we indicate how the resulting cohesive homotopy type theory naturally serves as a formal foundation for central concepts in quantum gauge field theory. This is a brief survey of work by the authors developed in detail elsewhere.
We give a general treatment of deformation theory from the point of view of homotopical algebra following Hinich, Manetti and Pridham. In particular, we show that any deformation functor in characteristic zero is controlled by a certain differential graded Lie algebra defined up to homotopy, and also formulate a noncommutative analogue of this result valid in any characteristic.
We propose a field-theoretic interpretation of Ruelle zeta function, and show how it can be seen as the partition function for $BF$ theory when an unusual gauge fixing condition on contact manifolds is imposed. This suggests an alternative rephrasing of a conjecture due to Fried on the equivalence between Ruelle zeta function and analytic torsion, in terms of homotopies of Lagrangian submanifolds.
We present a general algorithm constructing a discretization of a classical field theory from a Lagrangian. We prove a new discrete Noether theorem relating symmetries to conservation laws and an energy conservation theorem not based on any symmetry. This gives exact conservation laws for several discrete field theories: electrodynamics, gauge theory, Klein-Gordon and Dirac ones. In particular, we construct a conserved discrete energy-momentum tensor, approximating the continuum one at least for free fields. The theory is stated in topological terms, such as coboundary and products of cochains.
We define a $K$-theory for pointed right derivators and show that it agrees with Waldhausen $K$-theory in the case where the derivator arises from a good Waldhausen category. This $K$-theory is not invariant under general equivalences of derivators, but only under a stronger notion of equivalence that is defined by considering a simplicial enrichment of the category of derivators. We show that derivator $K$-theory, as originally defined, is the best approximation to Waldhausen $K$-theory by a functor that is invariant under equivalences of derivators.