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 construction to get round this.
Then we develop the theory of "stack functions" on Artin stacks. These are a universal generalization of constructible functions on Artin stacks, as studied in the author's paper math.AG/0403305. There are several versions of the construction: the basic one SF(F), and variants SF(F,I,R),... "twisted" by motivic invariants. We associate a Q-vector space SF(F) or an R-module SF(F,I,R) to each Artin stack F, with functorial operations of multiplication, pullbacks phi^* and pushforwards phi_* under 1-morphisms phi : F --> G, and so on. They will be important tools in the author's series on "Configurations in abelian categories", math.AG/0312190, math.AG/0503029, math.AG/0410267 and math.AG/0410268.
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.
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.
In the first part of this text, we define motivic Artin L-fonctions via a motivic Euler product, and show that they coincide with the analogous functions introduced by Dhillon and Minac. In the second part, we define under some assumptions a motivic Tamagawa number and show that it specializes to the Tamagawa number introduced by Peyre in the context of Manin's conjectures about rational points of bounded height on Fano varieties.
Combining work of Peyre, Colliot-Thélène and Voisin, we give the first example of a finite group $G$ such that the motivic class of its classifying stack $BG$ in Ekedahl's Grothendieck ring of stacks over $\mathbb{C}$ is non-trivial and $BG$ has trivial unramified Brauer group.
We compute the class of the classifying stack of the special orthogonal group in the Grothendieck ring of stacks, and check that it is equal to the multiplicative inverse of the class of the group.
We start by developing a theory of noncommutative (=NC) mixed motives with coefficients in any commutative ring. In particular, we construct a symmetric monoidal triangulated category of NC mixed motives, over a base field k, and a full subcategory of NC mixed Artin motives. Making use of Hochschild homology, we then apply Ayoub's weak Tannakian formalism to these motivic categories. In the case of NC mixed motives, we obtain a motivic Hopf dg algebra, which we describe explicitly in terms of Hochschild homology and complexes of exact cubes. In the case of NC mixed Artin motives, we compute th…
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.
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…
The aim of this article is to develop the theory of motivic integration over Deligne-Mumford stacks and to apply it to the birational geometry of stacks.
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.
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 compute the class of the classifying stack of the exceptional algebraic group $G_2$ and of the spin groups $\mathrm{Spin}_7$ and $\mathrm{Spin}_8$ in the Grothendieck ring of stacks, and show that they are equal to the inverse of the class of the corresponding group. Furthermore, we show that the computation of the motivic classes of the stacks $\mathscr{B}\mathrm{Spin}_n$ can be reduced to the computation of the classes of $\mathscr{B} Δ_n$, where $Δ_n\subset \mathrm{Pin}_n$ is the "extraspecial $2$-group", the preimage of the diagonal matrices under the projection $\mathrm{Pin}_n\to \math…
Let $G$ be a finite group, and let $\{B_{\mathbb{C}}G\}$ the class of its classifying stack $B_{\mathbb{C}}G$ in Ekedahl's Grothendieck ring of algebraic $\mathbb{C}$-stacks $K_0(\operatorname{Stacks}_{\mathbb{C}})$. We show that if $B_{\mathbb{C}}G$ has the mixed Tate property, the invariants $H^i(\{B_{\mathbb{C}}G\})$ defined by T. Ekedahl are zero for all $i\neq 0$. We also extend Ekedahl's construction of these invariants to fields of positive characteristic.
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 that the class of the classifying stack $B PGL_n$ is the multiplicative inverse of the class of the projective linear group $PGL_n$ in the Grothendieck ring of stacks for $n = 2$ and $n = 3$ under mild conditions on the base field $k$. In particular, although it is known that the multiplicativity relation $\{T\} = \{S\}\cdot\{PGL_n\}$ does not hold for all $PGL_n$-torsors $T \to S$, it holds for the universal $PGL_n$-torsors for said $n$.
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 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 prove the motivic version of the DT/PT-correspondence in \cite{PT} and the motivic flop formula of the curve counting invariants in the derived category of smooth Calabi-Yau threefold DM stacks. The main method we use is Bridgeland's Hall algebra identities and the motivic integration map of Bridgeland and Joyce from the motivic Hall algebra of the abelian category of coherent sheaves on a Calabi-Yau threefold DM stack $Y$ to the motivic quantum torus, which is a Poisson algebra homomorphism.
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.
The paper is suspended. The reason: as was noted by prof. H. Esnault, Theorem 2.1.1 of the previous version (as well as the related Theorem 6.1.1 of http://arxiv.org/PS_cache/math/pdf/9908/9908037v2.pdf of D. Arapura and P. Sastry) is wrong unless one assumes H to be a generic hyperplane section. Hence the proofs of all results starting from 2.3 contain gaps. The author hopes to correct this (somehow) in a future version. At least, most of the results follow from certain "standard" motivic conjectures (see part 1 of Remark 3.2.4 in the previous version). If the author would not find a way to p…
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 propose a construction of a tensor exact category F_X^m of Artin-Tate motivic sheaves with finite coefficients Z/m over an algebraic variety X (over a field K of characteristic prime to m) in terms of etale sheaves of Z/m-modules over X. Among the objects of F_X^m, in addition to the Tate motives Z/m(j), there are the cohomological relative motives with compact support M_cc^m(Y/X) of varieties Y quasi-finite over X. Exact functors of inverse image with respect to morphisms of algebraic varieties and direct image with compact supports with respect to quasi-finite morphisms of varieties Y\to …
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…
Let $\mathcal{X}$ be a smooth Deligne-Mumford stack which is generically a scheme and has quasi-projective coarse moduli. If $\mathcal{X}$ has elementary Abelian 2-group stabilizers and the coarse moduli of the inertia stack is smooth, we show there exists a semiorthogonal decomposition of the derived category of $\mathcal{X}$ where the pieces are equivalent to the derived category of the components of the coarse moduli of the inertia stack.
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 present a decomposition of the space of twisted arcs of a toric stack. As a consequence, we give a combinatorial description of the motivic integral associated to a torus-invariant divisor of a toric stack.
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…
We define a motivic conductor for any presheaf with transfers $F$ using the categorical framework developed for the theory of motives with modulus by Kahn-Miyazaki-Saito-Yamazaki. If $F$ is a reciprocity sheaf this conductor yields an increasing and exhaustive filtration on $F(L)$, where $L$ is any henselian discrete valuation field of geometric type over the perfect ground field. We show if $F$ is a smooth group scheme, then the motivic conductor extends the Rosenlicht-Serre conductor; if $F$ assigns to $X$ the group of finite characters on the abelianized étale fundamental group of $X$, then…
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…
