Loop spaces and connections

From MaRDI portal



Abstract: We examine the geometry of loop spaces in derived algebraic geometry and extend in several directions the well known connection between rotation of loops and the de Rham differential. Our main result, a categorification of the geometric description of cyclic homology, relates S^1-equivariant quasicoherent sheaves on the loop space of a smooth scheme or geometric stack X in characteristic zero with sheaves on X with flat connection, or equivalently D_X-modules. By deducing the Hodge filtration on de Rham modules from the formality of cochains on the circle, we are able to recover D_X-modules precisely rather than a periodic version. More generally, we consider the rotated Hopf fibration Omega S^3 --> Omega S^2 --> S^1, and relate Omega S^2-equivariant sheaves on the loop space with sheaves on X with arbitrary connection, with curvature given by their Omega S^3-equivariance.


The authors study the geometry of loop spaces in derived algebraic geometry. They establish relation between equivariant sheaves on the free loop space of a stack and sheaves with connection on the stack. This may be viewed as categorification of the well-known relation in topology and algebra between equivariant homology of free loop spaces (cyclic homology) and topological cohomology (singular or de Rham cohomology). Section 1 contains an overview of the paper. In section 2 the authors review the basic notions of derived algebraic geometry and \(\infty\)-categories. Section 3 is devoted to derived analog of affinization and group actions on affine derived schemes. In section 4 the authors study equivariant sheaves on loop spaces of schemes. In section 5 the Koszul dualization of the previous results is provided. In section 6 the authors generalize their results to loop spaces of geometric stacks.




Cited in
(52)








This page was built for publication: Loop spaces and connections

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2892846)