A book that I was writing (and re-writing, and…):
Differential cohomology in a cohesive -topos
v1: arXiv:1310.7930
v2: pdf
For exposition and survey see at Higher Prequantum Geometry.
For some history see:
Interview with Urs Schreiber
p. 3-7 in:
The Reasoner 6 9 (2012)
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.
In
exposition highlighting the modal perspective and a first formalization as cohesive homotopy type theory.
In
the case of stable cohesion for smooth cohesion is discussed in more detail – smooth spectra – and the differential cohomology hexagon derived from stable cohesion.
In
global equivariant homotopy theory is shown to be cohesive (further developed in SS 20 below).
In
the cohesive homotopy type theory of (Schreiber-Shulman 12) provides an example (p. 10) of homotopy type theory with higher modalities.
In
the (∞,n)-category of correspondences in a slice (∞,1)-topos as appearing in Local prequantum field theory is analyzed.
In
nonabelian Hodge theory is generalized to twisted bundles via the theory of cohesive principal infinity-bundles.
In
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.
In
the formalization in cohesive homotopy type theory is developed via adjoint logic.
In
the fragment of differential cohesion is shown to support a synthetic formulation of the theory of partial differential equations.
In
part of the differential cohesion is axiomatized in homotopy type theory and the theorems about G-structures are formally proven.
In
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.
In
some exposition and review of cohesive toposes.
In
smooth cohesion is combined with singular cohesion of global equivariant homotopy theory (Rezk 2014) to provide a theory of orbifold cohomology and connecting with Hypothesis H.
In
David Jaz Myers, Modal Fracture of Higher Groups (arXiv:2106.15390)
also: talk at CMU-HoTT Seminar 2021 (pdf slides)
is formalization of the shape/flat-fracture square (the differential cohomology hexagon) in cohesive homotopy type theory.
In
is a differential cohesive model for derived differential geometry.
Status account of Sati-Schreiber program as of Summer 2023:
The discussion here builds on and subsumes various sub-projects that appear separately.
differential cohomology in a cohesive topos
List of invited talks and lectures, in chronological order.
Quantum 2-States: Sections of 2-vector bundles, talk at Higher categories and their applications, Jan 2007, Fields Institute (pdf, pdf)
(introducing the perspective of regarding the 2-category of algebras with bimodules and their intertwiners between them as a good model for 2-vector spaces, and 2-vector bundles)
Background fields in twisted differential nonabelian cohomology, in: Strings, Fields, Topology, Oberwolfach Report 28 (2009) 1578-1582 [pdf, doi:10.4171/owr/2009/28]
Gauge fields in an -topos, talk at Categories, Logic and Foundations of Physics VI, Oxford 2010 (video)
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)
Twisted smooth cohomology in string theory, expanded notes for a lecture series at ESI Program on K-Theory and Quantum Fields (2012)
Quantum gauge field theory in Cohesive homotopy type theory, talk at Quantum Physics and Logic 2012
Quantomorphism n-groups on n-plectic higher stacks at From Poisson geometry to String geometry, Erlangen (2012)
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)
Synthetic Quantum Field Theory at 2013 CMS summer meeting, session Progress in higher categories, Halifax (June 5-7, 2013)
Super L-infinity algebras and the Brane Bouquet, talk at Higher Algebras and Lie-infinity Homotopy Theory, Luxembourg, (June 25-28, 2013)
Motivic quantization of prequantum field theory, talk at GAP XI ? Higher Geometry and Quantum Field Theory, Pittsburgh, (August 19-23, 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)
Super Gerbes, talks and seminar at Third String Geometry Network meeting at MPI, Bonn, (October 7-11, 2013)
Tangent cohesion, talk at Twists, generalised cohomology and applications, Münster (October 14-18, 2013)
Higher toposes of laws of motion, talk at 8th Scottish Category Theory Seminar, (November 29, 2013)
(canceled last minute for private reasons) Higher WZW terms on higher smooth groups, talk at Higher Lie theory workshop, Luxembourg, 9-11 December 2013
Quantization via Linear homotopy types, Workshop “Philosophy of Mechanics: Mathematical Foundations”, February 12-14, 2014 - Université Paris Diderot
Quantization via Linear homotopy types, talk at part I of: Modern trends in topological quantum field theory, ESI, Vienna Febuary 2014
Differential generalized cohomology in Cohesive homotopy type theory, talk at Formalization of Mathematics, IHP, Paris, 5-9 May 2014
Differential cohomology is Cohesive homotopy theory, talk at Higher Geometric Structures along the Lower Rhine June 2014, 19-20 June 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
differential cohesion and idelic structure, talk at String geometry and loop spaces in Greifswald, 28. July - 1. August 2014
Fractures, Ideles and the Differential Hexagon, talk at Workshop on differential cohomologies, CUNY Graduate Center, August 12-14 2014 (video recording)
seminar talks at String Geometry Network Meeting, Münster, 18-22 August 2014
Higher field bundles for gauge fields, talk at Operator and geometric analysis on quantum theory, Levico Terme (Trento), Italy 15-19 September 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
lecture series Higher Cartan Geometry in the Harmonic Analysis Seminar at Prague, spring 2015
talk on The reflective categories of supergravity, in the Algebra & Category Theory Seminar of Brno, organized by Jiří Rosický, March 12, 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
Structure Theory for Higher WZW Terms, series of talks at Flavors of Cohomology, Pittsburgh June 3-5, 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 1.2.15.3.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
Higher Prequantum Geometry, talk at New Spaces for Mathematics and Physics, at Institut Henri Poincaré, Sept. 28 - Oct 2, 2015
“Prequantum field theory” (pdf), 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
Differential cohesion and Arithmetic geometry, talk at Karslruher Weihnachts-Workshop 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
Structure Theory for Higher WZW Terms, lecture at Seminário de Teoria Quântica do Campo Topológica (part I on 26 Jan 2016, part II on 29 Jan 2016), Lisbon
Structure Theory for Higher WZW Terms, lecture at Seminário de Teoria Quântica do Campo Topológica (part III on 23 Feb, part IV on 26 Feb 2016), Lisbon
Structure Theory for Higher WZW Terms, lecture at Seminário de Teoria Quântica do Campo Topológica (part V on 15 Mar, part VI on 18 Mar 2016), Lisbon
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
geometry of physics – superalgebra, lecture in the series From the Superpoint to T-Folds, CAS Prague, Nov 24, 2016
geometry of physics – supergeometry, lecture in the series From the Superpoint to T-Folds, CAS Prague, Dec 1, 2016
Super Lie n-algebra of fundamental super p-branes, a couple of talks at Fields, Strings and Geometry Seminar, Surrey, Dec. 6, 2016
Higher Structures in Mathematics and Physics, and Quantization via twisted generalized cohomology, talks at “New interactions between homotopical algebra and quantum field theory”, workshop at Oberwolfach, Dec. 18-23, 2016
Duality in String/M-theory from Cyclic cohomology of Super Lie n-algebras, talk at Topological Quantum Seminar (alongside Iberian Strings 2017), Lisbon, 20. Jan 2017
Super topological T-Duality, talk at Conference on invertible objects and duality in derived algebraic geometry and homotopy theory, April 3-7, 2017, Regensburg
Super p-Brane Theory emerging from Super Homotopy-Theory talk in parallel session at String Math 2017, 24-28 July 2017 Hamburg, Germany
Supercocyles and the Brane scan (pdf), talk at SuperPhysMatics18, NYU Abu Dhabi, March 2018 (based on talk at StringMath2017)
Structured Homotopy Theory from String Theory (pdf), talk at Geometry, Topology & Physics, NYU Abu Dhabi, April 2018
lecture series “Categories and Differentially cohesive Infinity-Toposes” at Diffeology, Categories and Toposes Summer School June 18-29 2018, Galatasaray Istanbul, June 2018, Nesin Mathematics Village, Izmir, Turkey
Introduction to Higher Supergeometry, lecture at Higher Structures in M-Theory, Durham Symposium 12-18 August 2018
Equivariant Stable Cohomotopy and Branes, talks at Geometry, Topology & Physics, NYU Abu Dhabi, October 2018
Equivariant Cohomotopy and Branes, talk at String and M-Theory: The New Geometry of the 21st Century, 10 - 14 Dec 2018, Singapore
Equivariant Super Homotopy Theory, talk at Geometry in Modal Homotopy Type Theory, Carnegie Mellon University, Pittsburgh, March 2019
The Higher Structure of 11d Supergravity, talk at Souriau 2019, May 2019, Paris
Twisted Cohomotopy implies M-theory anomaly cancellation, presentation at Strings2019, July 2019, Brussels
talk on Equivariant Cohomotopy of toroidal orbifolds, at Prof. Sadok Kallel‘s group seminar, 21st October 2019 , Sharjah
talk on Super-exceptional embedding construction of the M5-brane at Supergeometry, supersymmetry and quantization, December 2019, Luxembourg
Microscopic Brane Physics from Cohomotopy, talk at M-Theory and Mathematics, January 2020, Abu Dhabi
Cohomotopy Theory and Branes, talk at Geometry, Topology & Physics, March 2020, Abu Dhabi
Proper Orbifold Cohomotopy for M-Theory, talk at: String and M-Theory: The New Geometry of the 21st Century – II, Singapore, Nov-Dec 2021
Some Quantum States of M-Branes under Hypothesis H , talk at: Centre for Research in String Theory, QMU London, Dec 2021
Higher and Equivariant Bundles, talk via Feza Gürsey Higher Structures Seminar, Feza Gürsey Institute Istanbul, Feb 2022
Anyonic Defect Branes in Twisted Equivariant Differential K-Theory, talk via Seminario de Categorías UNAM, 13 April 2022
Anyonic Defect Branes in Twisted Equivariant Differential K-Theory, talk via Joint Mathematical Physics online Seminar – Munich, Heidelberg, Mainz, Vienna, 9 May 2022
What is… the nLab, talk via Big Data in Pure Mathematics 2022, 21 May 2022
New Foundations for Topological Data Analysis – The Power of Cohomotopy, talk in the CQTS-colloquium, May 2022
TED K-theory of Cohomotopy moduli spaces and Anyonic Topological Order, talk at Higher Structures and Field Theory, ESI Vienna, 25 Aug 2022
Knots for quantum computation from defect branes, talk at Workshop on Topological Methods in Mathematical Physics in Erice, 2-6 Sep 2022
Initial Researchers’ Meeting – Motivation, Strategy & Technology, talk at CQTS, 14 Sep 2022
Topological Quantum Programming in TED-K, talk at PLanQC 2022, 15 Sep 2022
Practical Foundations for Topological Quantum Programming, talk at Math Faculty Meeting, NYU Abu Dhabi (16 Sep 2022)
Quantum Programming via Linear Homotopy Types, talk at GTP seminar at CQTS (26th Oct 2022)
Twisted equivariant differential (TED) K-theory via diffeological stacks, talk at Global Diffeology Seminar, 03 Nov 2022
Quantum Data Types via Linear Homotopy Type Theory, talk at Workshop on Quantum Software, @ QTML 2022 (12 Nov 2022)
cyclic loop spaces via higher topos theory in high energy physics, talk at Loop spaces and Higher category, HUST & SCUT (2-3 Dec 2022)
Topological Quantum Gates from M-Theory, talk at M-Theory and Mathematics 2023, Jan 2023
Towards certifying topological hardware-aware quantum programming, talk at CQTS & TII Workshop 2023
Introduction to Hypothesis H, talk at New Mexico Geometry & Topology seminar (24 Feb 2023)
Introduction to Hypothesis H, talk at Building-Up Differentiable Homotopy Theory 2023, Aizu (5-8 March 2023)
Effective Quantum Certification via Linear Homotopy Types – Part I, talk at colloquium of the Topos Institute, 13 April 2023
Entanglement of Sections, talk at Quantum Information and Quantum Matter, NYU Abu Dhabi, 22-26 May 2023
Introduction to Hypothesis H, talk at Representations in higher structures, Greifswald June 27-30, 2023
Effective Quantum Certification via Linear Homotopy Types – Part II, talk at colloquium of the Topos Institute (17 Aug 2023)
Higher Topos Theory in Physics, talk at Workshop on Homotopy Theory and Applications, CQTS (Oct 2023)
Higher Topos Theory in Physics and Introduction to Hypothesis H, talks at Wolfram Science Winter School, 10 Jan 2024 (online)
Introduction to Hypothesis H, talk at AdS Seminar of YMSC String Theory Group @ Yau Mathematical Sciences Center, Beijing, 11 Jan 2024
Introduction to Hypothesis H, talk at M-Theory and Mathematics 2024, NYU Abu Dhabi, 15-17 Jan 2024,
Topological Quantum Programming via Linear Homotopy Types, talk at Homotopy Type Theory Electronic Seminar Talks, 01 Feb 2024
Flux Quantization, talk at UAE MathDay 2024, 02 Mar 2024
Flux-Quantization of 11D Supergravity on Superspace, talk at Field Theory and Gravity – Classical and Quantum, CQTS NYU Abu Dhabi (2024)
Towards Quantum Programming via Linear Homotopy Types, talk at Homotopy Type Theory and Computing – Classical and Quantum, NYU Abu Dhabi (19-21 April 2024)
Towards Certified Topological Quantum Programming via Linear Homotopy Types, talk at Quantum Information and Quantum Matter 2024, NYU Abu Dhabi, 27-31 May 2024
Higher Topos Theory in Physics, Category Theory Online Seminar, 19 June 2024
Topological Quantum Programming via Linear Homotopy Types, talk at Quantum Physics and Logic 2024, 15-19 July 2024
Abelian Anyons on Flux-Quantized M5-Branes, talk at Quantum Colloquium of CQTS, 23 Sep 2024
(upcoming) Two Notions of Nonabelian Differential Cohomology, talk at 2024 Lie-Størmer Colloquium – Foundational and computational aspects of symmetry, 2-4 Dec 2024, Tromsø, Norway
(upcoming) Globalizing parallel 2-transport, talk at NTNU workshop on multi-parameter signatures and related topics, Trondheim, Dec 5-6
(upcoming) Introduction to Hypothesis H, lecture series at Srni Winter School on Geometry and Physics, 18-25 Jan 2025, Srni, Czechia
(upcoming) talk at Institute of Mathematical Sciences at Madrid (ICMAT), 25-28 Feb 2025, Madrid
Last revised on November 18, 2024 at 08:50:20. See the history of this page for a list of all contributions to it.