Higher dimensional formal loop spaces

DOI10.24033/ASENS.2329MaRDI QIDQ5348134zbMATH OpenOpenAlexFDO

Authors Benjamin Hennion

Publication date 14 August 2017

Published in Annales Scientifiques de l?tcole Normale Sup�rieure (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2010.10318, http://smf4.emath.fr/en/Publications/AnnalesENS/4_50/html/ens_ann-sc_50_609-663.php

zbMATH Keywords

derived algebraic geometryformal loopsshifted symplectic structures

Mathematics Subject Classification ID

Schemes and morphisms (14A15) Generalizations (algebraic spaces, stacks) (14A20) Categories in geometry and topology (18F99) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Topological categories, foundations of homotopy theory (55U40)

Abstract: If $M$ is a symplectic manifold then the space of smooth loops $mathrm{C}^{infty}(mathrm{S}^1,M)$ inherits of a quasi-symplectic form. We will focus in this article on an algebraic analogue of that result. In 2004, Kapranov and Vasserot introduced and studied the formal loop space of a scheme $X$. We generalize their construction to higher dimensional loops. To any scheme $X$ -- not necessarily smooth -- we associate $mathcal{L}^d(X)$, the space of loops of dimension $d$. We prove it has a structure of (derived) Tate scheme -- ie its tangent is a Tate module: it is infinite dimensional but behaves nicely enough regarding duality. We also define the bubble space $mathcal{B}^d(X)$, a variation of the loop space. We prove that $mathcal{B}^d(X)$ is endowed with a natural symplectic form as soon as $X$ has one (in the sense of [PTVV]). Throughout this paper, we will use the tools of $(infty,1)$-categories and symplectic derived algebraic geometry.

Recommendations

• Loop spaces and connections
• \(L_{\infty }\) spaces and derived loop spaces
• Supersymmetry and the formal loop space
• Vertex algebras and the formal loop space
• Derived algebraic geometry and deformation quantization

Cited in

(6)

• Higher Kac-Moody algebras and moduli spaces of G-bundles
• Formalité des espaces de lacets libres
• Supersymmetry and the formal loop space
• Shifted geometric quantization
• Tate modules as condensed modules
• Formal loops. III. Additive functions and the Radon transform

This page was built for publication: Higher dimensional formal loop spaces

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