A commented list of references for differential cohomology in a cohesive topos .
A standard monograph on topos theory is
The standard text on (∞,1)-topos theory is
The axioms for a cohesive topos originate in
Under the name categories of cohesion these axioms, slightly refined, are presented in
The axioms on a cohesive (∞,1)-topos are an immediate generalization of these.
See the references at cohomology.
A discussion of principal ∞-bundles in topological ∞-groupoids and their geometric realization of simplicial topological spaces is in
A discussion of how this general abstract definition relates to various other construction in the literature is at
We list references concerning quantum anomaly cancellation in the sense of trivializations of Pfaffian line bundles with connection on physical configurations spaces, whose sections constitute an action functional.
The general notion of Pfaffian line bundle is described for instance in section 3 of
The fundamental article for the role of the determinant line bundle in understanding quantum anomalies is
A physicists’ account if the situation is in
An account that clearly identifies the mathematical nature of quantum anomalies for higher gauge theories is
and has been fully formalized in
using the description of differential string structures as given in
The notion of connection on a bundle and its various generalizations and variants is fundamental and accordingly the relevant literature is vast, ranging from standard monographs to recent developments. We try to give commented lists of those references that in one way or other connect to our development.
There are many equivalent statements of the ordinary definition of a connection on a bundle. The following lists references related to the statement that the connection is equivalently encoded in terms of its parallel transport.
Apparently one of the oldest occurrences of the idea that a principal bundle with connection may be reconstructed from its holonomies around all smooth loops for any fixed base point in the connected base space appears in
A more detailed and more general discussion has then been given in
A detailed discussion of the differentiable case appears is
C. Teleman Généralisation du groupe fondamental , Annales Scientifiques de l’école Normale Supérieure 3, 77, 195-234. (1960) (web)
C. Teleman Annali di Matematica, Pura ed Applicata, LXII, 379-412. (1963).
This history is recollected in the introduction of
who himself gives a proof. Barret implicitly uses the diffeological space structure on the space of loops.
the statement of the equivalence is attributed to
Therein it is shown that smoothness of the parallel transport is a necessary condition for it to come from a smooth bundle with connection. Barrett also shows that this is sufficient.
Lewandowski adds to this a formulation of an equivalence of bundles with connections and the subset of loops around which the corresponding parallel transport is trivial.
Around the same time appeared
that generalizes these ideas from loops to general paths. These authors introduced the idea of sitting instants of paths and noticed that the most elegant way to (re)state the maximal equivalence relation on paths which is respected by parallel transport is in terms of thin homotopy.
Barrett originally had something very similar but slightly different. With Caetano and Picken’s relation, the space of thin homotopy classes of paths in becomes an groupoid – the path groupoid – internal to diffeological space.
(I am grateful to Christian Fleischhack and to Laurent Guillopé for help with tracking down some of the above links.)
A note on how a 1-form is encoded in the parallel transport that it induces along paths is also in appendix B of
A quick proof that bundles with connections are encoded in their parallel transport along paths was noted in
Motivated by the original results by Barrett et al. it was later observed that similarly an abelian gerbe with connection on a simply connected space is entirely encoded in the parallel surface transport that it induces on spheres:
John Baez noticed that these facts suggest that the proper formulation of bundles and higher bundles with connection should be in terms of smooth parallel transport n-functors that smoothly send the path n-groupoid of a space to a smooth n-groupoid.
At that point the motivation for this very natural definition was mainly formal, while the relevance of higher nonabelian parallel transport for physics was felt to be compelling but remained somewhat unclarified:
Florian Girelli, Hendryk Pfeiffer, Higher gauge theory – differential versus integral formulation (arXiv:hep-th/0309173)
The next categorical step, the description of smooth 3-functors out of a path 3-groupoid was discussed in
A proposal for a Cech-de Rham cocycle description of connections on -gerbes for an arbitrary (possibly nonabelian) group was given in
See the discussion at differential cohomology in an (∞,1)-topos – survey – connections on 2-bundles.
We list some references related to the notion of the infinitesima path ∞-groupoid.
The idea of considering the infinitesimal singular simplicial complex as a simplicial object in a smooth topos seems to go back at least to Andre Joyal. Its usefulness for synthetic differential geometry, in particular for the definition of differential forms in synthetic differential geometry has been particularly worked out in
Its concrete realization on schemes was already prominently considered by Alexander Grothendieck in the context of Grothendieck connections/ deRham descent and in that of deRham spaces. The full realization of the infinitesimal singular simplicial complex on spaces formally dual to algebras was spelled out in some detail in
Relevant references on this are collected at infinitesimal singular simplicial complex.
The explicit interpretation of the infinitesimal singular simplicial complex of a manifold or scheme as an object presenting an ∞-Lie groupoid by use of the model structure on simplicial sheaves must have been obvious to Andre Joyal, who found this model structure, but I am not aware of explicit statements to that extent in the literature, along the lines followed at path ∞-groupoid. Similarly, the construction considered here of Yoneda-extending to a Quillen functor on all ∞-Lie groupoids that sits inside the finite path ∞-groupoid-functor, seems to have not yet been conceived explicitly in the literature before.
will appear some discussion of the infinitesimal path -groupoid in ∞LieGrpd.
The standard textbook monograph on supergravity in general and this formalism is particular is
These articles to not use the terms “∞-Lie algebra” nor “Weil algebra”. These articles speak of the “FDA formalism” (and mean really semi-free dgas) but what they call a soft group manifold and the way higher curvature forms and higher Bianchi identities is read off from these is evidently precisely what (SSSI) formalize as ∞-Lie algebra valued differential forms. A vague hunch that the “FDA-formalism” is about higher Lie theory is mentioned on page 2 of
Some more references on the D’Auria-Fre formalism are
Pietro Fré, M-theory FDA, twisted tori and Chevalley cohomology (arXiv)
Pietro Fré and Pietro Antonio Grassi, Pure spinors, free differential algebras, and the supermembrane (arXiv)
Pietro Fré and Pietro Antonio Grassi, Free differential algebras, rheonomy, and pure spinors (arXiv)
and for general L-∞ algebras in
(whose main point is the discussion of a gauge condition applicable for nilpotent -algebras that cuts down the result of the Sullivan construction to a much smaller but equivalent model) .
(whose origin possibly preceeds that of Getzler’s article).
For general ∞-Lie algebroids the general idea of the integration process by “-paths” had been indicated in
A detailed review of how the traditional Lie integration of Lie algebras and Lie algebroids to Lie groups and Lie groupoids (including the smooth structure) is reproduced in terms of -pathis is given in
Essentially the same integration prescription is considered in
The special case of the Cech-Deligne cocycle for the Chern-Simons circle 3-bundle also appears separately in
The general theory of differential cohomology in an (∞,1)-topos that is presented here has grown out of, subsumes and generalizes the following earlier work by the author.
The idea of realizing higher nonabelian differential cocycles in terms of higher dimensional parallel transport, hence in terms of the cohomology of a higher path groupoid originates in
In order to have globally defined parallel 2-transport, this considers connections on a 2-bundle with vanishing curvature 2-form and otherwise arbitrary curvature 3-form as cocycles on the path 2-groupoid with coefficients in the delooping of a Lie 2-group . As we discuss, for describing general nonabelian -connections one needs a groupal model for universal principal ∞-bundles. For strict 2-groups such was constructed in
The Lie integration of the -connection data to -stacks of -connections and the construction of the Chern-Simons circle 3-bundle and Chern-Simons circle 7-bundle with connection as examples of -Chern-Weil homomorphism is in
The application of this to the discussion of differential string structures and differential fivebrane structures is discussed in
The general theory of twisted differential structures is developed in
The relevance of these structures in the anomaly cancellation for string theory backgrounds is discussd in
Aspects of the discussion of an -topos with path ∞-groupoid functor as a context for differential cohomology appear in
The general discussion of -Chern-Simons functionals following from this -Chern-Weil theory is in
The discussion of the local net of endomorphisms induced from a cocycle on the path 2-groupoid is in
Click on the links to the following articles to obtain hyperlinked abstracts and introductions
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)
-Chern-Simons functionals, Talk at Higher Structures Göttingen (2011) (pdf)
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)
On differential cohomology in an -topos at Higher Structures IV, Göttingen in June 2010.