Field Theory via Higher Geometry I: Smooth Sets of Fields

Abstract

Most modern theoretical considerations of the physical world suggest that nature is: (1) field-theoretic, (2) smooth, (3) local, (4) gauged, (5) containing fermions, and (6) non-perturbative. Tautologous as this may sound to experts, it is remarkable that the mathematical notion of geometry which reflects all of these aspects - namely, ``supergeometric homotopy theory'' - has received little attention. Elaborate algebraic machinery is known for perturbative field theories both at the classical and quantum level, but to tackle the deep open questions of the subject, these will need to be lifted to a global geometry of physics. Our aim in this series is to introduce inclined physicists to this theory, to fill mathematical gaps in the existing literature, and to rigorously develop the full power of supergeometric homotopy theory and apply it to the analysis of fermionic (not necessarily super-symmetric) field theories. Secondarily, this will also lead to a streamlined and rigorous perspective we hope would also be desirable to mathematicians. In this first part, we explain how classical bosonic Lagrangian field theory (variational Euler-Lagrange theory) finds a natural home in the ``topos of smooth sets'', thereby neatly setting the scene for the higher supergeometry discussed in later parts of the series. This introductory material will be largely known to a few experts but has never been comprehensively laid out before. A key technical point we make is to regard jet bundle geometry systematically in smooth sets instead of just its subcategories of diffeological spaces or even Fr{é}chet manifolds -- or worse simply as a formal object. Besides being more transparent and powerful, it is only on this backdrop that a reasonable supergeometric jet geometry exists, needed for satisfactory discussion of any field theory with fermions.

122 pages, published version. Abstract and introduction clarified and slightly expanded. Added Remark 2.3 on the sheafification functor, a pointer to it in footnote 7, a clarifying footnote 24, and a clarifification on Lem. 3.11. Fixed several typos. Added few citations

References in corpus (22)

• Invariant Variation Problems
• Covariant theory of asymptotic symmetries, conservation laws and central charges
• Quantum fields in curved spacetime
• Geometry of jet spaces and integrable systems
• Čech cocycles for differential characteristic classes -- An infinity-Lie theoretic construction
• $L_{\infty }$-Algebras of Classical Field Theories and the Batalin-Vilkovisky Formalism
• The sh Lie structure of Poisson brackets in field theory
• Noether's Second Theorem and Ward Identities for Gauge Symmetries
• Batalin-Vilkovisky formalism in the functional approach to classical field theory
• Covariant phase space, constraints, gauge and the Peierls formula
• Reflections upon the Emergence of Hadronic Mass
• The D-topology for diffeological spaces
• Extended higher cup-product Chern-Simons theories
• L-infinity algebras of local observables from higher prequantum bundles
• Secondary Calculus and the Covariant Phase Space
• Lie n-algebras of BPS charges
• The stack of Yang-Mills fields on Lorentzian manifolds
• Algebraic Structure of Classical Field Theory: Kinematics and Linearized Dynamics for Real Scalar Fields
• Covariant canonical formulations of classical field theories
• BV equivalence with boundary
• The Profinite Dimensional Manifold Structure of Formal Solution Spaces of Formally Integrable PDEs
• Higher Topos Theory in Physics

Cited by in corpus (2)

• Brackets in multicontact geometry and multisymplectization
• Smooth sets of fields: A pedagogical introduction