Differential cohomology in a cohesive infinity-topos

Abstract

We formulate differential cohomology and Chern-Weil theory -- the theory of connections on fiber bundles and of gauge fields -- abstractly in the context of a certain class of higher toposes that we call "cohesive". Cocycles in this differential cohomology classify higher principal bundles equipped with cohesive structure (topological, smooth, synthetic differential, supergeometric, etc.) and equipped with connections, hence higher gauge fields. We discuss various models of the axioms and applications to fundamental notions and constructions in quantum field theory and string theory. In particular we show that the cohesive and differential refinement of universal characteristic cocycles constitutes a higher Chern-Weil homomorphism refined from secondary caracteristic classes to morphisms of higher moduli stacks of higher gauge fields, and at the same time constitutes extended geometric prequantization -- in the sense of extended/multi-tiered quantum field theory -- of hierarchies of higher dimensional Chern-Simons-type field theories, their higher Wess-Zumino-Witten-type boundary field theories and all further higher codimension defect field theories. We close with an outlook on the cohomological quantization of such higher boundary prequantum field theories by a kind of cohesive motives.

797 pages

References in corpus (5)

• Higher Topos Theory
• AQFT from n-functorial QFT
• Can D-Branes Wrap Nonrepresentable Cycles?
• Supersymmetry algebra cohomology III: Primitive elements in four and five dimensions
• Near-horizon brane-scan revived

Cited by in corpus (53)

• Anomalies in the Space of Coupling Constants and Their Dynamical Applications I
• A Modified Villain Formulation of Fractons and Other Exotic Theories
• Iterated spans and classical topological field theories
• Rational sphere valued supercocycles in M-theory and type IIA string theory
• The WZW term of the M5-brane and differential cohomotopy
• An invitation to multisymplectic geometry
• The Lie group of bisections of a Lie groupoid
• A new formulation of higher parallel transport in higher gauge theory
• Twisted Cohomotopy implies twisted String structure on M5-branes
• M/F-Theory as Mf-Theory
• Lie n-algebras of BPS charges
• The stack of Yang-Mills fields on Lorentzian manifolds
• The character map in (twisted differential) non-abelian cohomology
• Ramond-Ramond fields and twisted differential K-theory
• Differential cohomotopy versus differential cohomology for M-theory and differential lifts of Postnikov towers
• Linear Yang-Mills theory as a homotopy AQFT
• Perversely categorified Lagrangian correspondences
• Kato-Nakayama spaces, infinite root stacks, and the profinite homotopy type of log schemes
• The Non-Abelian Self-Dual String and the (2,0)-Theory
• Primary operations in differential cohomology
• Quantization via Linear homotopy types
• Massey products in differential cohomology via stacks
• Spectral sequences in smooth generalized cohomology
• Towards solid abelian groups: A formal proof of Nöbeling's theorem
• Ninebrane structures
• Conserved quantities on multisymplectic manifolds
• t-structures are normal torsion theories
• On higher holonomy invariants in higher gauge theory I
• Principal $\infty$-Bundles and Smooth String Group Models
• The $\mathbb{R}$-Local Homotopy Theory of Smooth Spaces
• Modal Descent
• Super fiber bundles, connection forms, and parallel transport
• Synthetic geometry of differential equations: I. Jets and comonad structure
• A type theory for synthetic $\infty$-categories
• Geometric Obstructions on Gravity
• Theoretical Equivalence in Physics
• Atiyah sequence and Gauge transformations of a principal $2$-bundle over a Lie groupoid
• Proper Orbifold Cohomology
• Parametrized geometric cobordism and smooth Thom stacks
• Noncommutative Differential K-theory
• Classifying spaces of infinity-sheaves
• Differential Borel equivariant cohomology via connections
• Modal Fracture of Higher Groups
• Gerbes in Geometry, Field Theory, and Quantisation
• Differential K-theory as equivalence classes of maps to Grassmannians and unitary groups
• Complex Cobordism vs. Representing Formal Group Laws
• Platonic and alternatinc 2-groups
• Tangent $\infty$-categories and Goodwillie calculus
• Constructing the Virasoro groups using differential cohomology
• Fitch-Style Modal Lambda Calculi
• Multimodal Dependent Type Theory
• Higher Theory and the Three Problems of Physics
• Synthetic G-jet-structures in modal homotopy type theory