differential cohomology in a cohesive topos


A book that I am writing:

For exposition and survey see at Higher Prequantum Geometry.

For some history see:



We formulate differential cohomology and Chern-Weil theory – the theory of connections on fiber bundles and of gauge fields – abstractly in homotopy toposes that we call cohesive. Cocycles in this differential cohomology classify higher principal bundles equipped with cohesive structure (topological, smooth, complex-analytic, formal, supergeometric, etc.) and equipped with connections, hence higher gauge fields. Furthermore we formulate differential geometry abstractly in a homotopy toposes that we call differentially cohesive. The manifolds in this theory are higher étale stacks (orbifolds) equipped with higher Cartan geometry (higher Riemannian-, complex, symplectic, conformal-, geometry) together with partial differential equations on spaces of sections of higher bundles over them, and equipped with higher pre-quantization of the resulting covariant phase spaces. We also formulate supergeometry abstractly in homotopy toposes and lift all these constructions to include fermionic degrees of freedom. Finally we indicate an abstract formulation of non-perturbative quantization of prequantum local field theory by fiber integration in twisted generalized cohomology of spectral linearizations of higher prequantum bundles.

We then construct models of the abstract theory in which traditional differential super-geometry is recovered and promoted to higher (derived) differential super-geometry.

We show that the cohesive and differential refinement of universal characteristic cocycles constitutes a higher Chern-Weil homomorphism refined from secondary characteristic 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 find that in the Whitehead tower of superpoints in higher supergeometry one finds god given such cocycles on higher supersymmetry-groups, reflecting the completed brane scan of string/M-theory. We show that the induced higher super Cartan geometry is higher dimensional supergravity with super pp-brane charge corrections included. For the maximal case of 11-dimensional supergravity we find the Einstein equations of motion and the higher extension of their super-isometry groups by M2/M5-brane charges in twisted generalized cohomology.

We close with an outlook on the cohomological quantization of these higher boundary prequantum field theories by a kind of cohesive motives.


The discussion here builds on and subsumes various sub-projects that appear separately.

Followup articles

Exposition and review:


the case of stable cohesion for smooth cohesion is discussed in more detail – smooth spectra – and the “differential cohomology diagram” is derived from stable cohesion.


global equivariant homotopy theory is shown to be cohesive.


the cohesive homotopy type theory of (Schreiber-Shulman 12) provides an example (p. 10) of homotopy type theory with higher modalities.


the (∞,n)-category of correspondences in a slice (∞,1)-topos as appearing in Local prequantum field theory is analyzed.


nonabelian Hodge theory is generalized to twisted bundles via the theory of cohesive principal infinity-bundles.


further aspects of the smooth shape modality of cohesion are worked out (the etale homotopy type operation in the context of smooth infinity-stacks) as applied to orbifolds and étale groupoids and generally étale ∞-groupoids.


the formalization in cohesive homotopy type theory is developed via adjoint logic.


the definition of twisted differential cohomology as the intrinsic cohomology of tangent (∞,1)-toposes of cohesive (∞,1)-toposes is worked out in more detail using model category presentations.


cohesion is generalized to global equivariant homotopy theory providing proper orbifold cohomology.

Formalization of the shape/flat-fracture square (differential cohomology hexagon) in cohesive homotopy type theory:

Lecture notes and talk notes

List of invited talks and lectures, in chronological order.

Last revised on June 16, 2021 at 08:46:52. See the history of this page for a list of all contributions to it.