Skip to Main content Skip to Navigation

Formal loops spaces and tangent Lie algebras

Abstract : If M is a symplectic manifold then the space of smooth loops C(S^1,M) inherits of a quasi-symplectic form. We will focus in this thesis on an algebraic analogue of that result.In their article, Kapranov and Vasserot introduced and studied the formal loop space of a scheme X. It is an algebraic version of the space of smooth loops in a differentiable manifold.We generalize their construction to higher dimensional loops. To any scheme X -- not necessarily smooth -- we associate 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 B^d(X), a variation of the loop space.We prove that B^d(X) is endowed with a natural symplectic form as soon as X has one.To prove our results, we develop a theory of Tate objects in a stable infinity category C. We also prove that the non-connective K-theory of Tate(C) is the suspension of that of C, giving an infinity categorical version of a result of Saito.The last chapter is aimed at a different problem: we prove there the existence of a Lie structure on the tangent of a derived Artin stack X. Moreover, any quasi-coherent module E on X is endowed with an action of this tangent Lie algebra through the Atiyah class of E. This in particular applies to not necessarily smooth schemes X.
Document type :
Complete list of metadatas

Cited literature [28 references]  Display  Hide  Download
Contributor : Abes Star :  Contact
Submitted on : Tuesday, February 19, 2019 - 1:26:05 PM
Last modification on : Wednesday, February 20, 2019 - 1:22:57 AM
Long-term archiving on: : Monday, May 20, 2019 - 3:34:37 PM


Version validated by the jury (STAR)


  • HAL Id : tel-02024827, version 1


Benjamin Hennion. Formal loops spaces and tangent Lie algebras. General Mathematics [math.GM]. Université Montpellier, 2015. English. ⟨NNT : 2015MONTS160⟩. ⟨tel-02024827⟩



Record views


Files downloads