A book that I am writing:
For exposition and survey see at Higher Prequantum Geometry.
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 -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.
differential cohomology in a cohesive topos
global equivariant homotopy theory is shown to be cohesive.
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.
List of invited talks and lectures, in chronological order.
Background fields in twisted differential nonabelian cohomology, talk at Oberwolfach Workshop, June 2009 -- Strings, Fields, Topology, Oberwolfach Report No. 28/2009 (pdf)
WZW terms in a cohesive -topos, talk in Erlangen (2011) (pdf)
Chern-Simons terms on higher moduli stacks, talk at Hausdorff Institute Bonn (2011) (pdf)
Preuqantum physics in a cohesive topos, Talk at Quantum Physics and Logic 2011, (pdf)
-Chern-Simons functionals, Talk at Higher Structures Göttingen (2011) (pdf)
Stacks, differential geometry and action functionals, course notes for the 8th meeting of the Polish Category theory seminar as well as the 4th Odense winter school on geometry and theoretical physics (2011)
Higher Chern-Simons theory, lecture series at Workshop on Topological Aspects of Quantum Field Theories, Singapore (14 - 18 Jan 2013) on the first sections at geometry of physics, II) Physics
Higher Chern-Simons theory Introduction, lectures at the workshop Chern-Simons Theory: Geometry, Topology and Physics University of Pittsburgh (May 4-6, 2013)
Higher geometric prequantum theory and the Brane Bouquet, talk at Bayrischzell workshop 2013 (May 24-27 2013)
Classical field theory via Cohesive homotopy types, talk at Conference on Type Theory, Homotopy Theory and Univalent Foundations 2013, Barcelona (September 23-27, 2013)
Quantization via Linear homotopy types, talk at Workshop “Philosophy of Mechanics: Mathematical Foundations”, February 12-14, 2014 - Université Paris Diderot
Differential generalized cohomology in Cohesive homotopy type theory, talk at Formalization of Mathematics, IHP, Paris, 5-9 May 2014
lecture series Introduction to higher geometric quantum theory at Workshop on Higher Gauge Theory and Higher Quantization, Edinburgh 25/26 June 2014
Correspondences of cohesive linear homotopy types and Quantization, talk at Symmetries and correspondences: intra-disciplinary trends, Oxford July 5-8 2014
seminar talks at String Geometry Network Meeting, Münster, 18-22 August 2014
Lecture series on Higher gometric quantization following the notes What, and for what is Higher geometric quantization at SPHERE, Paris-Diderot, November 2014 (webpage)
talk Linear Homotopy Types and Integration in the seminar of the Type theory and Realizability Group at Paris-Diderot
talk The Gauge Principle and Local Quantum Field Theory (pdf slides), at the workshop Sur la notion d'identification en physique et en mathématiques, Paris-Diderot, November 13
talk at the seminar of the Fields, Strings and Geometry Group of University of Surrey, 18 November 2014
Higher super-WZW models, talk at seminar of the Eduard Čech Institute for Algebra, Geometry and Physics – Seminar on harmonic analysis, Prague 4 Dec 2014
visit Minhyong Kim in Oxford 9-12 December 2014
(postponed) talk at Purdue math colloquium, Jan 2015
talk on Obstruction theory for parameterized higher WZW terms at 35th Winter School GEOMETRY AND PHYSICS Srni, Jan 17-24 2015
talk on Obstruction theory for parameterized higher WZW terms in Göttingen Kolloquium 29 Jan 2015
talk on Some super-Cartan geometry at the Central European Seminar in Brno, March 13, 2015
talk on Modern Physics formalized in Modal Homotopy Type Theory at workshop on Applying Homotopy Type Theory to Physics, Bristol, 7-8 April 2015
Infinitesimal symmetries of Deligne cocycles, talk in the Central European Seminar, Brno, May 29 2015
Obstruction theory for parameterized higher WZW terms, talk at Higher dimensional algebra in geometry and quantum field theory, AMS-EMS-SPM meeting in Porto, 10-13 June 2015
(canceled, since I did not pay over 200 EUR of conference “fee”) talk The M-Theory BPS charge super Lie 6-algebra (on 184.108.40.206.3 in dcct) at XXIIIth International Conference on Integrable Systems and Quantum symmetries (ISQS-23), Prague, June 23 - 27, 2015.
Duality of Monads in Geometric Homotopy Theory, talk at Duality in contemporary mathematics – philosophical aspects, Wuppertal University, Sept. 3-5, 2015
Obstruction theory for parameterized higher WZW terms, talk in the Algebra section of DMV meeting 2015, 21. - 25. Sept 2015, Hamburg
Some thoughts on the future of modal homotopy type theory, talk at Homotopy Type Theory and Univalent Foundations - Mini-Symposium at DMV meeting 2015, 21. - 25. Sept 2015, Hamburg
Prequantum field theory, at “Talks in mathematical physics”, ETH Zurich, Nov 6, 2015
Prequantum field theories from Shifted symplectic structures, talk at MPI Bonn Higher Differential Geometry Seminar, 11 Nov 2015
Synthetic prequantum field theory in a cohesive homotopy topos, talk at Topos à l’IHES, conference on topos theory applied to number theory, algebraic geometry, logic, functional analysis, topology and mathematical physics; Paris, Nov. 25-27 2015
Prequantum field theory and the Green-Schwarz WZW terms, lecture series at Higher Structures in String Theory and Quantum Field Theory, ESI Program, Vienna, in the week November 30-December 4
Generalized cohomology of M2/M5-branes, talk at main workshop of Higher Structures in String Theory and Quantum Field Theory, ESI Program, Vienna, Dec 7 - 11, 2015
Equivariant generalized cohomology of M2/M5-branes talk in Seminar on Higher Structures in the Program on Higher Structures in Geometry and Physics, MPI Bonn, 8 Jan 2016
talk at FOMUS - Foundations of Mathematics – Univalent foundations and set theory, July 23 2016
Generalized cohomology of M2/M5-branes, talk at parallel session for ECM Satellite meeting “Classical and quantum symmetries in mathematics and physics”, Jena, 25-29 July 2016
Formalizing Cartan geometry in Modal Homotopy Type Theory talk at Homotopy Type Theory in Logic, Metaphysics and Philosophy of Physics at Bristol, 12-16 September 2016
Higher Structures in Mathematics and Physics, talk at the meeting of the Maths Department of the Czech Academy of Sciences, 9–11 November 2016 in Brno
(upcoming) talks at “New interactions between homotopical algebra and quantum field theory”, workshop at Oberwolfach, Dec. 18-23, 2016
(upcoming) lecture on toposes in differential geometry, Galatasaray Istanbul, June 2017