Research
 Show abstract.
 Download pdf.
PhD thesis



arχiv
Formal loops and tangent Lie algebras  Defended in June 2015.
Essentially contains my first three papers.
Publications



arχiv
[2015] Tangent Lie algebra of derived Artin stacks  Journal für die reine und angewandte Mathematik (Crelles).
DOI: 10.1515/crelle20150065.
Since the work of Mikhail Kapranov, it is known that the shifted tangent complex T[−1] of a smooth algebraic variety X is endowed with a weak Lie structure, the bracket being given by the Atiyah class. Moreover any complex of quasicoherent sheaves on X is endowed with a weak Lie action of this tangent Lie algebra. We will generalize this result to (finite enough) derived Artin stacks, without any smoothness assumption. This in particular applies to (finite enough) singular schemes. This work uses tools of both derived algebraic geometry and ∞category theory.


arχiv
[2017] Higher dimensional formal loop spaces  Annales Scientifiques de l'ENS, vol. 50 (4), pp. 609663.
If M is a symplectic manifold then the space of smooth loops C(S^{1},M) inherits of a quasisymplectic form. We will focus in this work on an algebraic analogue of that result. 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.



arχiv
[2016] Tate objects in stable (∞,1)categories  to appear in Homology, Homotopy and Applications.
Tate objects have been studied by many authors. They allow us to deal with infinite dimensional spaces by identifying some more structure. In this article, we set up the theory of Tate objects in stable (∞,1)categories, while the literature only treats with exact categories. We will prove the main properties expected from Tate objects. This new setting includes several useful examples: Tate objects in the category of spectra for instance, or in the derived category of a derived algebraic object.
Prepublications



arχiv
[2016] Formal glueing for nonlinear flags  joint with M. Porta and G. Vezzosi  submitted.
In this paper we prove formal glueing, along an arbitrary closed subscheme Z of a scheme X, for the stack of pseudocoherent, perfect complexes, and Gbundles on X (for G a smooth affine algebraic group). By iterating this result, we get a decomposition of these stacks along an arbitrary nonlinear flag of subschemes in X. By taking points over the base field, we deduce from this both a formal glueing, and a flagrelated decomposition formula for the corresponding derived ∞categories of pseudocoherent and perfect complexes. We finish the paper by highlighting some expected progress in the subject matter of this paper, that might be related to a Geometric Langlands program for higher dimensional varieties. In the Appendix we also prove a localization theorem for the stack of pseudocoherent complexes, which parallels Thomason’s localization results for perfect complexes.



arχiv
[2017] Higher Kac–Moody algebras and moduli
spaces of Gbundles  joint with G. Faonte and M. Kapranov.
We provide a generalization to the higher dimensional case of the construction of the current algebra g((z)), its Kac–Moody extension g̃ and of the classical results relating them to the theory of Gbundles over a curve. For a reductive algebraic group G with Lie algebra g, we define a dgLie algebra g_{n} of ndimensional currents in g. For any symmetric Ginvariant polynomial P on g of degree n+1, we get a higher KacMoody algebra g̃_{n,P} as a central extension of g_{n} by the base field k. Further, for a smooth, projective variety X of dimension n≥2, we show that g_{n} acts infinitesimally on the derived moduli space RBun^{rig}_{G}(X,x) of Gbundles over X trivialized at the neighborhood of a point x ∈ X. Finally, for a representation φ: G → GL_{r} we construct an associated determinantal line bundle on RBun^{rig}_{G}(X,x) and prove that the action of g_{n} extends to an action of g̃_{n,P} on such bundle for P the (n+1)^{th} Chern character of φ.