The generalization of the notion of flat connection from differential geometry to higher differential geometry and generally to higher geometry.
Given a cohesive (∞,1)-topos with shape modality and flat modality , a flat -connection an an object with coefficients in an object is a morphism
or equivalently a morphism
This is also sometimes called a local system on with coefficients in , or a cocycle in nonabelian cohomology of with constant coefficients .
For more see at structures in a cohesive (∞,1)-topos – flat ∞-connections.
For the delooping of an ∞-group, flat -connections with coefficients in are a special case of -principal ∞-connections.
For the core of an (infinity,1)-category of chain complexes, functors are -vector bundles with flat -connections.
In parts of the literature this case is understood by default when speaking of “-local systems”.
(…)
Component-definitions are due to:
On -local systems in the sense of -vector bundles with flat -connections:
Camilo Arias Abad, Florian Schätz: The de Rham theorem and integration of representations up to homotopy, International Mathematics Research Notices, 2013 16 (2013) 3790–3855 [arXiv:1011.4693, doi:10.1093/imrn/rns166]
Jonathan Block, Aaron M. Smith, The higher Riemann–Hilbert correspondence, Advances in Mathematics
252 (2014) 382-405 [arXiv:0908.2843, doi:10.1016/j.aim.2013.11.001]
Identification with -functors is made explicit in:
Enhancement of the Chern-Weil homomorphism from ordinary cohomology-groups to dg-categories of -local systems:
Last revised on September 20, 2022 at 06:26:01. See the history of this page for a list of all contributions to it.