Abstract
Formal loop spaces are algebraic analogs to smooth loops. They were introduced and studied extensively in the 2000' by Kapranov and Vasserot for their link to chiral algebras.
In this talk, we will introduced higher dimensional analogs of K. and V. formal loop spaces. We will show how derived methods allow such a definition. We will then study their tangent complexes: even though formal loop spaces are "of infinite dimension", their tangent has enough structure so that we can speak of symplectic forms on them.
