We introduce a Grothendieck ring of higher Artin stacks generalizing the Grothendieck ring of algebraic varieties. We show that this ring is not trivial by noticing that it factors the invariant "number of rational points over a finite field". We also introduce the notion of "special Artin stacks", which by definition have affine homotopy groups π_{i}, and furthermore unipotent for i>1. Our principal theorem states that the natural inclusion morphism from the Grothendieck ring of varieties to the Grothendieck ring of special Artin stacks is an isomorphism after inverting the class of the affine line L and the classes of L^{i}-1 for all i>0. We deduce from this that several numerical invariants defined for varieties (e.g. Hodge numbers, l-adic Euler characteristic ...) extend uniquely to invariants defined for special Artin stacks. In particular we obtain a trace formula for special Artin stacks of finite type over a finite field, identifying the number of rational points as the trace of the Frobenius acting on the l-adic Euler characteristic.
In this paper we develop the theory of perverse sheaves on Artin stacks continuing the study in "The six operations for sheaves on Artin stacks I: Finite Coefficients" and "The six operations for sheaves on Artin stacks II: Adic Coefficients" (math.AG/0512097 and math.AG/0603680)
We prove the generic base change theorem for stacks, and give an exposition on the lisse-analytic topos of complex analytic stacks, proving some comparison theorems between various derived categories of complex analytic stacks. This enables us to deduce the decomposition theorem for perverse sheaves on complex Artin stacks with affine stabilizers from the case over finite fields.
In this paper we develop a theory of Grothendieck's six operations for adic constructible sheaves on Artin stacks continuing the study of the finite coefficients case in math.AG/0512097.
There is a well developed intersection theory on smooth Artin stacks with quasi-affine diagonal. However, for Artin stacks whose diagonal is not quasi-finite the notion of the degree of a Chow cycle is not defined. In this paper we propose a definition for the degree of a cycle on Artin toric stacks whose underlying toric varieties are complete. As an application we define the Euler characteristic of an Artin toric stack with complete good moduli space - extending the definition of the orbifold Euler characteristic. An explicit combinatorial formula is given for 3-dimensional Artin toric stack…
We develop the theory of associating moduli spaces with nice geometric properties to arbitrary Artin stacks generalizing Mumford's geometric invariant theory and tame stacks.
In this note we show that an Artin stack with finite inertia stack is etale locally isomorphic to the quotient of an affine scheme by an action of a general linear group.
We define Reichstein transforms to be certain birational transformations of Artin stacks with good moduli spaces. Our main technical result is that the Reichstein transform of an Artin toric stack is again an Artin toric stack. This leads to our main theorem which states that for Artin toric stacks there is a canonical sequence of Reichstein transforms which produces a Deligne-Mumford toric stack. When the good moduli space of an Artin toric stack is projective our procedure can be interpreted in terms of Kirwan's partial desingularization of geometric invariant theory quotients.
We define the derived category of quasi--coherent modules for certain Artin stacks as the homotopy category of two Quillen monoidal model structures on the corresponding category of unbounded complexes of quasi--coherent modules.
In this note we discuss a generalization ("extension") of the pre-lambda structure on the Grothendieck ring of quasi-projective varieties and of the corresponding power structure over it to the Grothendieck ring of stacks, discuss some of their properties and give some explicit formulae for the Kapranov zeta function for some stacks.
We construct a presentation for the Grothendieck group of Deligne-Mumford stacks over a field of characteristic zero. The generators for this presentation are smooth, proper Deligne-Mumford stacks and the relations are expressed in terms of stacky blow-ups. In the process we prove a version of the weak factorization theorem for Deligne-Mumford stacks.
We develop a theory of toric Artin stacks extending the theories of toric Deligne-Mumford stacks developed by Borisov-Chen-Smith, Fantechi-Mann-Nironi, and Iwanari. We also generalize the Chevalley-Shephard-Todd theorem to the case of diagonalizable group schemes. These are both applications of our main theorem which shows that a toroidal embedding X is canonically the good moduli space (in the sense of Alper) of a smooth log smooth Artin stack whose stacky structure is supported on the singular locus of X.
We prove Grothendieck's existence theorem for relatively perfect complexes on an algebraic stack that is proper and flat over an $I$-adically complete Noetherian ring $A$. This generalizes an earlier result of Lieblich in the setting of algebraic spaces.
This paper is a continuation of our earlier development of a theory of tame Artin stacks. Our main goal here is the construction of an appropriate analogue of Kontsevich's space of stable maps in the case where the target is a tame Artin stack. When the target is a tame Deligne--Mumford stack, the theory was developed by Abramovich and Vistoli, and found a number of applications. The theory for arbitrary tame Artin stacks developed here is very similar, but it is necessary to overcome a number of technical hurdles and to generalize a few questions of foundation.
We compute the Grothendieck and Picard groups of a complete smooth toric Deligne-Mumford stack by using a suitable category of graded modules over a polynomial ring.
We prove Artin's axioms satisfy a compatibility for composition of 1-morphisms of stacks in groupoids. Consequently, some natural stacks in groupoids are algebraic, including a common generalization of Vistoli's Hilbert stack and the stack of branchvarieties of Alexeev and Knutson.
We show that there is no way to define degrees of 0-cycles on Artin stacks with proper good moduli spaces so that (i) the degree of an ordinary point is non-zero, and (ii) degrees are compatible with closed immersions.
In this paper we develop a theory of Grothendieck's six operations of lisse-étale constructible sheaves on Artin stacks which are locally of finite type over suitable regular basis of dimension at most 1.
Pridham has shown that any Artin $n$-stack $M$ has a presentation as a simplicial scheme $X$ satisfying certain smoothness properties originally introduced by Grothendieck. In the previous paper we introduced an Artin $n$-stack $M$ of Maurer-Cartan elements of a dg-category and constructed a chart, and have already proven the first conditions of smoothness of $X_1\rightarrow X_0$ explicitly. In this paper, we will construct explicitly the full simplicial scheme and show the Grothendieck-Pridham smoothness conditions, implying that $M$ is a geometric $n$-stack.
In this sequel of arXiv:1211.5294 and arXiv:1211.5948, we develop an adic formalism for étale cohomology of Artin stacks and prove several desired properties including the base change theorem. In addition, we define perverse t-structures on Artin stacks for general perversity, extending Gabber's work on schemes. Our results generalize results of Laszlo and Olsson on adic formalism and middle perversity. We continue to work in the world of $\infty$-categories in the sense of Lurie, by enhancing all the derived categories, functors, and natural transformations to the level of $\infty$-categories…
We extend the construction of the normal cone of a closed embedding of schemes to any locally of finite type morphism of higher Artin stacks and show that in the Deligne-Mumford case our construction recovers the relative intrinsic normal cone of Behrend and Fantechi. We characterize our extension as the unique one satisfying a short list of axioms, and use it to construct the deformation to the normal cone. As an application of our methods, we associate to any morphism of Artin stacks equipped with a choice of a global perfect obstruction theory a relative virtual fundamental class in the Cho…
We show that near closed points with linearly reductive stabilizer, Artin stacks are formally locally quotient stacks by the stabilizer. We conjecture that the statement holds etale locally and we provide some evidence for this conjecture. In particular, we prove that if the stabilizer of a point is linearly reductive, the stabilizer acts algebraically on a miniversal deformation space generalizing results of Pinkham and Rim.
We introduce a Grothendieck group of algebraic stacks (with affine stabilisers) analogous to the Grothendieck group of algebraic varieties. We then identify it with a certain localisation of the Grothendieck group of algebraic varieties. Several invariants of elements in this group are discussed. The most important is an extension of the Euler characteristic (of cohomology with compact support) but in characteristic zero we introduce invariants which are able to distinguish between classes with the same Euler characteristic. These invariants are actually defined on the completed localised Grot…
We generalise the techniques of arXiv:0908.1963 to describe derived deformations in simplicial categories. This allows us to consider deformation problems with higher automorphisms, such as chain complexes (which have homotopies) and stacks (which have 2-automorphisms). We also give a general approach for studying deformations of diagrams.
This paper is largely concerned with constructing coarse moduli spaces for Artin stacks. The main purpose of this paper is to introduce the notion of stability on an arbitrary Artin stack and construct a coarse moduli space for the open substack of stable points. Also, we present an application to coherent cohomology of Artin stacks.
We give a variant of Artin algebraization along closed subschemes and closed substacks. Our main application is the existence of étale, smooth, or syntomic neighborhoods of closed subschemes and closed substacks. In particular, we prove local structure theorems for stacks and their derived counterparts and the existence of henselizations along linearly fundamental closed substacks. These results establish the existence of Ferrand pushouts, which answers positively a question of Temkin-Tyomkin.
We define an Artin stack which may be considered as a substitute for the non-existing (or empty) moduli space of stable two-pointed curves of genus zero. We show that this Artin stack can be viewed as the first term of a cyclic operad in the category of stacks. Applying the homology functor we obtain a linear cyclic operad. We formulate conjectures which assert that cohomology of a smooth projective variety has the structure of an algebra over this homology operad and that gravitational quantum cohomology can naturally expressed in terms of this algebra. As a test for these conjectures we show…
Let $\mathcal{X} \to Y$ be a birational map from a smooth Artin stack to a (possibly singular) variety. We prove a change of variables formula that relates motivic integrals over arcs of $Y$ to motivic integrals over arcs of $\mathcal{X}$. With a view toward the study of stringy Hodge numbers, this change of variables formula leads to a new notion of crepantness for the map $\mathcal{X} \to Y$ that coincides with the usual notion in the special case that $\mathcal{X}$ is a scheme.
An invariant I of quasiprojective K-varieties X with values in a commutative ring R is "motivic" if I(X)= I(Y)+I(X\Y) for Y closed in X, and I(X x Y)=I(X)I(Y). Examples include Euler characteristics chi and virtual Poincare and Hodge polynomials. We first define a unique extension I' of I to finite type Artin K-stacks F, which is motivic and satisfies I'([X/G])=I(X)/I(G) when X is a K-variety, G a "special" K-group acting on X, and [X/G] is the quotient stack. This only works if I(G) is invertible in R for all special K-groups G, which excludes I=chi as chi(K*)=0. But we can extend the constru…
Let $G$ be a simply connected simple algebraic group. The classical multiplicative and additive Grothendieck-Springer resolutions are simultaneous resolutions of singularities for the maps from $G$ and its Lie algebra to their invariant theory quotients by the conjugation action of $G$. In this paper, we construct an elliptic version of the Grothendieck-Springer resolution, which is a simultaneous log resolution of a family whose total space is the stack of principal $G$-bundles on an elliptic curve. Our construction extends a well-known simultaneous resolution of the coarse moduli space map f…
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 theo…
We construct the étale motivic Borel-Moore homology of derived Artin stacks. Using a derived version of the intrinsic normal cone, we construct fundamental classes of quasi-smooth derived Artin stacks and demonstrate functoriality, base change, excess intersection, and Grothendieck-Riemann-Roch formulas. These classes also satisfy a general cohomological Bézout theorem which holds without any transversity hypotheses. The construction is new even for classical stacks and as one application we extend Gabber's proof of the absolute purity conjecture to Artin stacks.
We prove two flat descent statements for Artin n-stacks. We first show that an n-stack for the etale topology which is an Artin n-stack in the sense of HAGII, is also an n-stack for the fppf topology. Moreover, an n-stack for the fppf topology which possess a fppf n-atlas is an Artin n-stack (i.e. possesses a smooth n-atlas). We deduce from these results some comparison statements between fppf and etale (non-ablelian) cohomolgies. This paper is written in the setting of derived algebraic geometry and its results are also valid for derived Artin n-stacks.
In this note, we prove that the Grothendieck group of a smooth complete toric Deligne-Mumford stack is torsion free. This statement holds when the generic point is stacky. We also construct an example of open toric stack with torsion in K-theory. This is a part of the author's Ph.D thesis.
We present a complete generalization of Kirwan's partial desingularization theorem on quotients of smooth varieties. Precisely, we prove that if $\mathcal{X}$ is an irreducible Artin stack with stable good moduli space $\mathcal{X} \to X$, then there is a canonical sequence of birational morphisms of Artin stacks $\mathcal{X}_n \to \mathcal{X}_{n-1} \to \ldots \to \mathcal{X}_0 = \mathcal{X}$ with the following properties: (1) the maximum dimension of a stabilizer of a point of $\mathcal{X}_{k+1}$ is strictly smaller than the maximum dimension of a stabilizer of $\mathcal{X}_k$ and the final s…
Deligne's conjecture that $\ell$-adic sheaves on normal schemes over a finite field admit $\ell'$-companions was proved by L. Lafforgue in the case of curves and by Drinfeld in the case of smooth schemes. In this paper, we extend Drinfeld's theorem to smooth Artin stacks and deduce Deligne's conjecture for coarse moduli spaces of smooth Artin stacks. We also extend related theorems on Frobenius eigenvalues and traces to Artin stacks.
We reprove the Lefschetz trace formula for stacks (in the context of derived categories and the six operations for stacks developed by Laszlo and Olsson), and give the meromorphic continuation of L-series (in particular, zeta functions) of Artin stacks over a finite field. We also give an upper bound for the weights of the cohomology groups of stacks, and an "independence of l" result for a certain class of quotient stacks.
The purpose of this article is to study the role of Artin fans in tropical and non-Archimedean geometry. Artin fans are logarithmic algebraic stacks that can be described completely in terms of combinatorial objects, so called Kato stacks, a stack-theoretic generalization of K. Kato's notion of a fan. Every logarithmic algebraic stack admits a tautological strict morphism $ϕ_\mathcal{X}:\mathcal{X}\rightarrow\mathcal{A}_\mathcal{X}$ to an associated Artin fan. The main result of this article is that, on the level of underlying topological spaces, the natural functorial tropicalization map of $…
We classify stacky curves in characteristic $p > 0$ with cyclic stabilizers of order $p$ using higher ramification data. This approach replaces the local root stack structure of a tame stacky curve, similar to the local structure of a complex orbifold curve, with a more sensitive structure called an Artin-Schreier root stack, allowing us to incorporate this ramification data directly into the stack. As an application, we compute dimensions of Riemann-Roch spaces for some examples of stacky curves in positive characteristic and suggest a program for computing spaces of modular forms in this set…
We formulate a general conjecture relating Chern classes of subbundles of Gauss-Manin bundles in Arakelov geometry to logarithmic derivatives of Artin L-functions of number fields. This conjecture may be viewed as a far-reaching generalisation of the (Lerch-)Chowla-Selberg formula computing logarithms of periods of elliptic curves in terms of special values of the $Γ$-function. We prove several special cases of this conjecture in the situation where the involved Artin characters are Dirichlet characters. This article contains the computations promised in the article {\it Conjectures sur les dé…
This is the fifth in a series arXiv:1304.4508, arXiv:1305,6302, arXiv:1211.3259, arXiv:1305.6428 on the '$k$-shifted symplectic derived algebraic geometry' of Pantev, Toen, Vaquie and Vezzosi, arXiv:1111.3209. This paper extends the previous three from (derived) schemes to (derived) Artin stacks. We prove four main results: (a) If $(X,ω)$ is a $k$-shifted symplectic derived Artin stack for $k<0$ in the sense of arXiv:1111.3209, then near each $x\in X$ we can find a 'minimal' smooth atlas $φ:U\to X$ with $U$ an affine derived scheme, such that $(U,φ^*(ω))$ may be written explicitly in coordinat…
Let K be an algebraically closed field, X a K-scheme, and X(K) the set of closed points in X. A constructible set C in X(K) is a finite union of subsets Y(K) for finite type subschemes Y in X. A constructible function f : X(K) --> Q has f(X(K)) finite and f^{-1}(c) constructible for all nonzero c. Write CF(X) for the Q-vector space of constructible functions on X. Let phi : X --> Y and psi : Y --> Z be morphisms of C-varieties. MacPherson defined a Q-linear "pushforward" CF(phi) : CF(X) --> CF(Y) by "integration" w.r.t. the topological Euler characteristic. It is functorial, that is, CF(psi o …
This article contains a slightly expanded version of the lectures given by the author at the summer school "Algebraic stacks and related topics" in Mainz, Germany from August 31 to September 4, 2015. The content of these lectures is purely expository and consists of two main goals. First, we provide a treatment of Artin's approximation and algebraization theorems following the ideas of Conrad and de Jong which rely on a deep desingularization result due to Neron and Popescu. Second, we prove that under suitable hypotheses, algebraic stacks are etale locally quotients stacks in a neighborhood o…
We construct a notion of p-adic measure on Artin n-stacks which are strongly of finite type over the ring of p-adic integers. We also prove the rationality of of the Poincare series and the Serre series associated with such stacks. Finally, we use motivic integration to show that the rationality of the Serre series is uniform with respect to p.
We prove that every $0$-shifted symplectic structure on a derived Artin $n$-stack admits a curved $A_{\infty}$ deformation quantisation. The classical method of quantising smooth varieties via quantisations of affine space does not apply in this setting, so we develop a new approach. We construct a map from DQ algebroid quantisations of unshifted symplectic structures on a derived Artin $n$-stack to power series in de Rham cohomology, depending only on a choice of Drinfeld associator. This gives an equivalence between even power series and certain involutive quantisations, which yield anti-inv…
We prove the existence of the dualizing functor for a separated morphism of algebraic stacks with affine diagonal; then we explicitly develop duality for compact Deligne-Mumford stacks focusing in particular on the morphism from a stack to its coarse moduli space and on representable morphisms. We explicitly compute the dualizing complex for a smooth stack over an algebraically closed field and prove that Serre duality holds for smooth compact Deligne-Mumford stacks in its usual form. We prove also that a proper Cohen-Macaulay stack has a dualizing sheaf and it is an invertible sheaf when it i…
