Species-theoretic foundations of perturbative quantum field theory

Abstract

We develop an algebraic formalism for perturbative quantum field theory (pQFT) which is based on Joyal's combinatorial species. We show that certain basic structures of pQFT are correctly viewed as algebraic structures internal to species, constructed with respect to the Cauchy monoidal product. Aspects of this formalism have appeared in the physics literature, particularly in the work of Bogoliubov-Shirkov, Steinmann, Ruelle, and Epstein-Glaser-Stora. In this paper, we give a fully explicit account in terms of modern theory developed by Aguiar-Mahajan. We describe the central construction of causal perturbation theory as a homomorphism from the Hopf monoid of set compositions, decorated with local observables, into the Wick algebra of microcausal polynomial observables. The operator-valued distributions called (generalized) time-ordered products and (generalized) retarded products are obtained as images of fundamental elements of this Hopf monoid under the curried homomorphism. The perturbative S-matrix scheme corresponds to the so-called universal series, and the property of causal factorization is naturally expressed in terms of the action of the Hopf monoid on itself by Hopf powers, called the Tits product. Given a system of fully renormalized time-ordered products, the perturbative construction of the corresponding interacting products is via an up biderivation of the Hopf monoid, which recovers Bogoliubov's formula.

arXiv commentimproved exposition, corrected minor errors and typos, no changes to results

References in corpus (10)

• Microlocal Analysis and Interacting Quantum Field Theories: Renormalization on Physical Backgrounds
• Cluster adjacency properties of scattering amplitudes
• The Cosmic Galois Group and Extended Steinmann Relations for Planar $\mathcal{N}=4$ SYM Amplitudes
• Feynman Diagrams in Algebraic Combinatorics
• Connes-Kreimer-Epstein-Glaser Renormalization
• Planar kinematic invariants, matroid subdivisions and generalized Feynman diagrams
• Maximal unbalanced families
• Fedosov Quantization and Perturbative Quantum Field Theory
• The adjoint braid arrangement as a combinatorial Lie algebra via the Steinmann relations
• Toric geometry and regularization of Feynman integrals