Source author record

Benjamin Hennion

Benjamin Hennion appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.AG

Catalog footprint

What is connected

4works

1topics

3close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

Gelfand-Fuchs cohomology in algebraic geometry and factorization algebras

Let X be a smooth affine variety over a field k of characteristic 0 and T(X) be the Lie algebra of regular vector fields on X. We compute the Lie algebra cohomology of T(X) with coefficients in k. The answer is given in topological terms relative to any embedding of k into complex numbers and is analogous to the classical Gelfand-Fuks computation for smooth vector fields on a C-infinity manifold. Unlike the C-infinity case, our setup is purely algebraic: no topology on T(X) is present. The proof is based on the techniques of factorization algebras, both in algebro-geometric and topological contexts.

preprint2016arXiv

Formal gluing along non-linear flags

In this paper we prove formal glueing along an arbitrary closed substack $Z$ of an arbitrary Artin stack $X$ (locally of finite type over a field $k$), for the stacks of (almost) perfect complexes , and of $G$-bundles on $X$ (for $G$ a smooth affine algebraic $k$-group scheme). By iterating this result, we get a decomposition of these stacks along an arbitrary nonlinear flag of closed substacks in $X$. By taking points over the base field, we deduce from this both a formal glueing, and a flag-related decomposition formula for the corresponding symmetric monoidal derived $\infty$-categories of (almost) perfect modules. When $X$ is a quasi-compact and quasi-separated scheme, we also prove a localization theorem for almost perfect complexes on $X$, which parallels Thomason's localization results for perfect complexes. This is one of the main ingredients we need to provide a global characterization of the category of almost perfect complexes on the punctured formal neighbourhood. We then extend all of the previous results - i.e. the formal glueing and flag-decomposition formulas - to the case when $X$ is a derived Artin stack (locally almost of finite type over a field $k$), for the derived versions of the stacks of (almost) perfect modules, and of $G$-bundles on $X$. We close the paper by highlighting some expected progress in the subject matter of this paper, related to a Geometric Langlands program for higher dimensional varieties. In an Appendix (for $X$ a variety), we give a precise comparison between our formal glueing results and the rigid-analytic approach of Ben-Bassat and Temkin.

preprint2016arXiv

Tangent Lie algebra of derived Artin stacks

Since the work of Mikhail Kapranov in [Kap], it is known that the shifted tangent complex $\mathbb{T}_X[-1]$ of a smooth algebraic variety $X$ is endowed with a weak Lie structure. Moreover any complex of quasi-coherent sheaves on $X$ is endowed with a weak Lie action of this tangent Lie algebra. This action is given by the Atiyah class of $E$. 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 $\infty$-category theory.

preprint2015arXiv

Formal loops, Tate objects and tangent Lie algebras

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 thesis 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 $\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. To prove our results, we develop a theory of Tate objects in a stable $(\infty,1)$-category $\mathcal C$. We also prove that the non-connective K-theory of $\mathbf{Tate}(\mathcal C)$ is the suspension of that of $\mathcal C$. The last chapter is aimed at a different problem: we study there the existence of a Lie structure on the tangent of a derived Artin stack. This in particular applies to not necessarily smooth schemes. Throughout this thesis, we will use the tools of $(\infty,1)$-categories and symplectic derived algebraic geometry.

Institution

Affiliation not imported yet

This author record came from a source that does not expose affiliation metadata. Once the author claims the profile or we enrich the record from another provider, this section will link to the concrete institution.

Topic footprint