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 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.
We construct explicitly moduli curves of polarized supersingular K3 surfaces in characteristic 2 with Artin invariant 2. As an application, we detect a "jump" phenomenon in a family of automorphism groups of supersingular K3 surfaces with a constant Néron-Severi lattice.
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.
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…
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 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.
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.
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.
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.
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 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.
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 affin…
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 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…
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.
We study the local properties of Artin stacks and their good moduli spaces, if they exist. We show that near closed points with linearly reductive stabilizer, Artin stacks formally locally admit good moduli spaces. We also give conditions for when the existence of good moduli spaces can be deduced from the existence of etale charts admitting good moduli spaces.
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 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…
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 study the moduli space $\mathcal{AS}_{g}$ of Artin-Schreier curves of genus $g$ over an algebraically closed field $k$ of positive characteristic $p$. The moduli space is partitioned by irreducible strata, where each stratum parameterizes Artin-Schreier curves whose ramification divisors have the same coefficients. We construct deformations of these curves to study the relations between those strata. As an application, when $p=3$, we prove that $\mathcal{AS}_{g}$ is connected for all possible $g$. When $p>3$, it turns out that $\mathcal{AS}_{g}$ is connected for sufficiently large value of …
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 …
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.
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 define for every affine Coxeter graph a certain factor group of the associated Artin group and prove that some of these groups appear as orbifold fundamental groups of moduli spaces. Examples are the moduli space of nonsingular cubic algebraic surfaces and the universal nonhyperelliptic smooth genus three curve. We use this to obtain a simple presentation of the mapping class group of a compact genus three topological surface with connected boundary. This leads to a modification of Wajnryb's presentation of the mapping class groups in the higher genus case that can be understood in algebro-…
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 define the moduli problem of Hitchin pairs over Deligne-Mumford Stack and prove this moduli problem is represented by a separated and locally finitely presented algebraic space, which is considered as the moduli space of Hitchin pairs over Deligne-Mumford stack.
In this paper we give a construction of algebraic (Artin) stacks endowed with a modular map onto the moduli stack of n-pointed stable curves of genus g, for g greater than 2. These stacks are smooth, irreducible and have dimension 4g-3+n, yielding a geometrically meaningful compactification of the degree d universal Picard stack over the moduli stack of smooth curves with marked points.
We study a moduli space AS_g for Artin-Schreier curves of genus g over an algebraically closed field k of characteristic p. We study the stratification of AS_g by p-rank into strata AS_{g,s} of Artin-Schreier curves of genus g with p-rank exactly s. We enumerate the irreducible components of AS_{g,s} and find their dimensions. As an application, when p=2, we prove that every irreducible component of the moduli space of hyperelliptic k-curves with genus g and 2-rank s has dimension g-1+s. We also determine all pairs (p,g) for which AS_g is irreducible. Finally, we study deformations of Artin-Sc…