arXiv subjects
Publications and source records attributed to Gabriele Vezzosi.
This is a book on derived foliations, that are a generalisation of classical foliations in the context of derived geometry. The text starts with the basic definitions and constructions, then explore foliated cohomology (with crystal coefficients), formal and analytic integrability problems, existence of the leaf space, characteristic classes, and two different notions of derived foliation in arbitrary characteristics.
This paper is part of an ongoing series of works on the study of foliations on algebraic varieties via derived algebraic geometry. We focus here on the specific case of globally defined vector fields and the global behaviour of their algebraic integral curves. For a smooth and proper variety $X$ with a global vector field $ν$, we consider the induced vector field $ν_{g,n}$ on the derived stack of stable maps, of genus $g$ with $n$ marked points, to $X$. When $(g,n)$ is either $(0,2)$ or $(1,0)$, the derived stack of zeros of $ν_{g,n}$ defines a proper \emph{moduli of algebraic trajectories} of $ν$. When $(g,n)=(0,2)$ algebraic trajectories behave very much like rational algebraic paths from one zero of $ν$ to another, and in particular they can be composed. This composition is represented by the usual gluing maps in Gromov-Witten theory, and we use it give three categorical constructions, of different categorical levels, related, in a certain sense, by decategorification. In order to do this, in particular, we have to deal with virtual fundamental classes of non-quasi-smooth derived stacks. When $(g,n)=(1,0)$, zeros of $ν_{1,0}$ might be thought as algebraic analogues of periodic orbits of vector fields on smooth real manifolds. In particular, we propose a Zeta function counting the zeros of $ν_{1,0}$, that we like to think of as an algebraic version of Ruelle's dynamical Zeta function. We conclude the paper with a brief indication on how to extend these results to the case of general one dimensional foliation $F$, by considering the derived stack of $F$-equivariant stable maps.
For a smooth affine algebraic group $G$ over an algebraically closed field, we consider several two-variables generalizations of the affine Grassmannian $G(\!(t)\!)/G[\![t]\!]$, given by quotients of the double loop group $G(\!(x)\!)(\!(y)\!)$. We prove that they are representable by ind-schemes if $G$ is solvable. Given a smooth surface $X$ and a flag of subschemes of $X$, we provide a geometric interpretation of the two-variables Grassmannians, in terms of bundles and trivialisation data defined on appropriate loci in $X$, which depend on the flag.
We prove that the category of countable Tate modules over an arbitrary discrete ring embeds fully faithfully into that of condensed modules. If the base ring is of finite type, we characterize the essential image as generated by the free module of infinite countable rank under direct sums, duals and retracts. In the $\infty$-categorical context, under the same assumption on the base ring, we establish a fully faithful embedding of the $\infty$-category of countable Tate objects in perfect complexes, with uniformly bounded tor-amplitude, into the derived $\infty$-category of condensed modules. The boundedness assumption is necessary to ensure fullness, as we prove via an explicit counterexample in the unbounded case.
In this paper we define and study a generalization of the Belinson-Drinfeld Grassmannian to the case where the curve is replaced by a smooth projective surface $X$, and the trivialization data are given on loci suitably associated to a nonlinear flag of closed subschemes. In order to do this, we first establish some general formal gluing results for moduli of almost perfect complexes, perfect complexes and torsors. We then construct a simplicial object $Fl_X$ of flags of closed subschemes of a smooth projective surface $X$, naturally associated to the operation of taking union of flags. We prove that this simplicial object has the 2-Segal property. For an affine complex algebraic group $G$, we finally define a derived, flag analog $Gr_X$ of the Beilinson-Drinfeld Grassmannian of $G$-bundles on the surface $X$, and show that most of the properties of the Beilinson-Drinfeld Grassmannian for curves can be extended to our flag generalization. In particular, we prove a factorization formula, the existence of a canonical flat connection, and define a chiral product on suitable sheaves on $Fl_X$ and on $Gr_X$. We also sketch the construction of actions of flags analogs of the loop group and of the positive loop group on $Gr_X$. To fixed ``large'' flags on $X$, we associate ``exotic'' derived structures on the classical stack of $G$-bundles on $X$. Analogs of the flag Grassmannian for other Perf-local stacks (replacing the stack of $G$-bundles) are briefly considered, and flag factorization is proved for them, too.
We introduce a notion of \emph{infinitesimal derived foliation}. We prove it is related to the classical notion of infinitesimal cohomology, and satisfies some formal integrability properties. We also provide some hints on how infinitesimal derived foliations compare to our previous notion of derived foliations.
This is the second of series of papers on the study of foliations in the setting of derived algebraic geometry based on the central notion of derived foliation. We introduce sheaf-like coefficients for derived foliations, called quasi-coherent crystals, and construct a certain sheaf of dg-algebras of differential operators along a given derived foliation, with the property that quasi-coherent crystals can be interpreted as modules over this sheaf of differential operators. We use this interpretation in order to introduce the notion of good filtrations on quasi-coherent crystals, and define the notion of characteristic cycle. Finally, we prove a Grothendieck-Riemann-Roch (GRR) formula expressing that formation of characteristic cycles is compatible with push-forwards along proper and quasi-smooth morphisms. Several examples and applications are deduced from this, e.g. a GRR formula for D-modules on possibly singular schemes, and a foliated index formula for weakly Fredholm operators.
This is the first in a series of papers about foliations in derived geometry. After introducing derived foliations on arbitrary derived stacks, we concentrate on quasi-smooth and rigid derived foliations on smooth complex algebraic varieties and on their associated formal and analytic versions. Their truncations are classical singular foliations. We prove that a quasi-smooth rigid derived foliation on a smooth complex variety $X$ is formally integrable at any point, and, if we suppose that its singular locus has codimension $\geq 2$, then the truncation of its analytification is a locally integrable singular foliation on the associated complex manifold $X^h$. We then introduce the derived category of perfect crystals on a quasi-smooth rigid derived foliation on $X$, and prove a Riemann-Hilbert correspondence for them when $X$ is proper. We discuss several examples and applications.
We present an $\ell$-adic trace formula for saturated and admissible dg-categories over a base monoidal dg-category. Moreover, we prove Künneth formulas for dg-category of singularities, and for inertia-invariant vanishing cycles. As an application, we prove a version of Bloch's Conductor Conjecture (stated by Spencer Bloch in 1985), under the additional hypothesis that the monodromy action of the inertia group is unipotent.
We prove a Hochschild-Kostant-Rosenberg decomposition theorem for smooth proper schemes $X$ in characteristic $p$ when $\dim X\leq p$. The best known previous result of this kind, due to Yekutieli, required $\dim X<p$. Yekutieli's result follows from the observation that the denominators appearing in the classical proof of HKR do not divide $p$ when $\dim X<p$. Our extension to $\dim X=p$ requires a homological fact: the Hochschild homology of a smooth proper scheme is self-dual.
This text is based on a talk by the first named author at the first congress of the SMF (Tours, 2016). We present Bloch's conductor formula, which is a conjectural formula describing the change of topology in a family of algebraic varieties when the parameter specialises to a critical value. The main objective of this paper is to describe a general approach to the resolution of Bloch's conjecture based on techniques from both non-commutative geometry and derived geometry.
In this short note, we simply collect some known results about representing algebraic cycles by various kind of "nice" (e.g. smooth, local complete intersection, products of local complete intersection) algebraic cycles, up to rational equivalence. We also add a few elementary and easy observations on these representation problems that we were not able to locate in the literature.
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.
In this paper we present an approach to quadratic structures in derived algebraic geometry. We define derived n-shifted quadratic complexes, over derived affine stacks and over general derived stacks, and give several examples of those. We define the associated notion of derived Clifford algebra, in all these contexts, and compare it with its classical version, when they both apply. Finally, we prove three main existence results for derived shifted quadratic forms over derived stacks, define a derived version of the Grothendieck-Witt group of a derived stack, and compare it to the classical one.
We introduce the notions of infinitesimal extension and square-zero extension in the context of simplicial commutatie algebras. We next investigate their mutual relationship and we show that the Postnikov tower of a simplicial commutative algebra is built out of square-zero extensions. We conclude the notes with two applications: we give connectivity estimates for the cotangent complex and we show how obstructions can be seen as deformations over simplicial rings.
In order to develop the foundations of logarithmic derived geometry, we introduce a model category of logarithmic simplicial rings and a notion of derived log étale maps and use this to define derived log stacks.
In this Note, for the future purposes of relative formal derived deformation theory and of derived coisotropic structures, we prove the existence of a model structure on the category of dg-Lie algebroids over a cochain differential non-positively graded commutative algebra over a commutative base ring k of characteristic 0.
We show how a quasi-smooth derived enhancement of a Deligne-Mumford stack X naturally endows X with a functorial perfect obstruction theory in the sense of Behrend-Fantechi. This result is then applied to moduli of maps and perfect complexes on a smooth complex projective variety. For moduli of maps, we consider X=S an algebraic K3-surface, $g\geq 0$, and $β$ a curve class, and we construct a derived stack whose truncation is the usual stack of pointed stable maps from curves of genus g to S hitting the class $β$, and such that the inclusion of the trunaction induces on a perfect obstruction theory whose tangent and obstruction spaces coincide with the corresponding reduced spaces of Okounkov-Maulik-Pandharipande-Thomas. We give two further applications to moduli of complexes. For a K3-surface S we show that the stack of simple perfect complexes on S is smooth. This result was proved with different methods by Inaba for the corresponding coarse moduli space. Finally, we construct a map from the derived stack of stable embeddings of curves (into a smooth complex projective variety X) to the derived stack of simple perfect complexes on X with vanishing negative Ext's, and show how this map induces a morphism of the corresponding obstruction theories when X is a Calabi-Yau threefold. An important ingredient of our construction is a perfect determinant map from the derived stack of perfect complexes to the derived stack of line bundles whose tangent morphism is, pointwise, Illusie's trace map for perfect complexes. We expect that this determinant map might be useful in other contexts as well.