Let k be a field, let G be a finite group and let T be a split k-torus on which G acts multiplicatively, and for every m greater than 1 denote by T[m] the m-torsion subgroup of T. Under a suitable assumption on m, we show that the motivic class of the classifying stack of the semi-direct product of T[m] and G in K_0(Stacks_k) is trivial. As a consequence, we prove that the motivic class of BW is trivial for a large class of complex reflection groups W.
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 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 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 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$.
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 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…
For $k$ a perfect field of characteristic $p>0$ and $G/k$ a split reductive group with $p$ a non-torsion prime for $G,$ we compute the mod $p$ motivic cohomology of the geometric classifying space $BG_{(r)}$, where $G_{(r)}$ is the $r$th Frobenius kernel of $G.$ Our main tool is a motivic version of the Eilenberg-Moore spectral sequence, due to Krishna. For a flat affine group scheme $G/k$ of finite type, we define a cycle class map from the mod $p$ motivic cohomology of the classifying space $BG$ to the mod $p$ étale motivic cohomology of the classifying stack $\mathcal{B}G.$ This also gives …
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.
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 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 exhibit a relationship between motivic homotopy theory and spectral algebraic geometry, based on the motivic $τ$-deformation picture of Gheorghe, Isaksen, Wang, Xu. More precisely, we identify cellular motivic spectra over $\mathbf C$ with ind-coherent sheaves (in a slightly non-standard sense) on a certain spectral stack $τ_{\ge 0}(\mathcal M_\mathrm{FG}^\mathrm{or})$. The latter is the connective cover of the non-connective spectral stack $\mathcal M_\mathrm{FG}^\mathrm{or}$, the moduli stack of oriented formal groups, which we have introduced previously and studied in connection with chr…
We give an alternate formulation of pseudo-coherence over an arbitrary derived stack X. The full subcategory of pseudo-coherent objects forms a stable sub-infinity-category of the derived category associated to X. Using relative Tor-amplitude we define a derived stack classifying pseudo-coherent objects. For reasonable base schemes, this classifies the bounded derived category. In the case that X is a projective derived scheme flat over the base, we show the moduli is locally geometric and locally of almost finite type. Using this result, we prove the existence of a derived motivic Hall algebr…
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…
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.
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 prove that the symmetric monoidal category of mixed motives generated by an abelian variety (more generally, an abelian scheme) can be described as a certain module category. More precisely, we describe it as the category of quasi-coherent complexes over a derived quotient stack constructed from a motivic algebra of the abelian variety. We then study the structure of the motivic Galois groups of their mixed motives. We prove that the motivic Galois group is decomposed into a unipotent part constructed from the motivic algebra, and the reductive quotient which is the Tannaka dual of Grothend…
Let $X$ be a smooth projective curve over a field of characteristic zero and let $D$ be a non-empty set of rational points of $X$. We calculate the motivic classes of moduli stacks of semistable parabolic bundles with connections on $(X,D)$ and motivic classes of moduli stacks of semistable parabolic Higgs bundles on $(X,D)$. As a by-product we give a criteria for non-emptiness of these moduli stacks, which can be viewed as a version of the Deligne-Simpson problem.
If $G$ is a presheaf of groupoids on a small site, and $A$ is a sheaf of abelian groups, we prove that the sheaf cohomology group $H^2 (BG, A)$ is in bijection with a set of central extensions of $G$ by $A$. We use this result to study the motivic cohomology of the Nisnevich classifying space $BG$, when $G$ is a presheaf of groups on the smooth Nisnevich site over a field, and particularly when $G = PGL_{n}$. Finally, we show that, when $p$ is an odd prime, the Chow ring of the classifying space of $PGL_{p}$ injects into the motivic cohomology of the Nisnevich classifying space $BPGL_{p}$, ove…
Let X be a smooth projective curve over a field of characteristic zero. We calculate the motivic class of the moduli stack of semistable Higgs bundles on X. We also calculate the motivic class of the moduli stack of vector bundles with connections by showing that it is equal to the class of the stack of semistable Higgs bundles of the same rank and degree zero. We follow the strategy of Mozgovoy and Schiffmann for counting Higgs bundles over finite fields. The main new ingredient is a motivic version of a theorem of Harder about Eisenstein series claiming that all vector bundles have approxima…
Let $F$ be a field of characteristic zero admitting a biquadratic field extension. We give an example of a torus $G$ over $F$ whose classifying stack $BG$ is stably rational and such that $\{BG\}\{G\}\neq 1$ in the Grothendieck ring of algebraic stacks over $F$. We also give an example of a finite étale group scheme $A$ over $F$ such that $BA$ is stably rational and $\{BA\}\neq 1$.
For a linear algebraic group $G$ over a field $k$, we define an equivariant version of the Voevodsky's motivic cobordism $MGL$. We show that this is an oriented cohomology theory with localization sequence on the category of smooth $G$-schemes and there is a natural transformation from this functor to the functor of equivariant motivic cohomology. We give several applications. In particular, we use this equivariant motivic cobordism to study the cobordism ring of the classifying spaces and the cycle class maps from the algebraic to the singular cohomology of such spaces. This theory of motivic…
We show that if G is a finite constant group acting on a scheme X such that the order of G is invertible in the residue fields of X, then the G-equivariant motivic stable homotopy category of X is equivalent to the stabilization of the category of motivic G-spaces with finite étale transfers over X at the trivial representation sphere. Along the way we obtain several results of independent interest, among them: we construct and study norms in the motivic homotopy theory of stacks, and we extend the homotopy t-structure to DM-stacks and establish some favorable properties.
We give the first examples of finite groups G such that the Chow ring of the classifying space BG depends on the base field, even for fields containing the algebraic closure of Q. As a tool, we give several characterizations of the varieties which satisfy Kunneth properties for Chow groups or motivic homology. We define the (compactly supported) motive of a quotient stack in Voevodsky's derived category of motives. This makes it possible to ask when the motive of BG is mixed Tate, which is equivalent to the motivic Kunneth property. We prove that BG is mixed Tate for various "well-behaved" fin…
Extending [14], we obtain a complete description of the motivic cohomology with ${\mathbb Z}/2$-coefficients of the Nisnevich classifying space of the spin group $Spin_n$ associated to the standard split quadratic form. This provides us with very simple relations among subtle Stiefel-Whitney classes in the motivic cohomology of Čech simplicial schemes associated to quadratic forms from $I^3$, which are closely related to $Spin_n$-torsors over the point. These relations come from the action of the motivic Steenrod algebra on the second subtle Stiefel-Whitney class. Moreover, exploiting the rela…
We prove a formula, originally due to Feit and Fine, for the class of the commuting variety in the Grothendieck group of varieties. Our method, which uses a power structure on the Grothendieck group of stacks, allows us to prove several refinements and generalizations of the Feit-Fine formula. Our main application is to motivic Donaldson-Thomas theory.
We compute the motive of the classifying stack of an orthogonal group in the Grothendieck ring of stacks over a field of characteristic different from two.
We compute the number of rational points of classifying stacks of Chevalley group schemes using the Lefschetz-Grothendieck trace formula of Behrend for $\ell$-adic cohomology of algebraic stacks. From this we also derive associated zeta functions for these classifying stacks.
In the present article we investigate ordinary and equivariant Rost motives. We provide an equivariant motivic decomposition of the variety X of full flags of a split semisimple algebraic group over a smooth base scheme, study torsion subgroup of the Chow group of twisted forms of X, define some equivariant Rost motives over a field and ordinary Rost motives over a general base scheme, and relate equivariant Rost motives with classifying spaces of some algebraic groups.
In this paper we consider the $\mathrm{Br} = \mathrm{Br}'$ question for classifying stacks by various group schemes. These are algebraic stacks that do not necessarily admit a finite flat cover by a scheme for which $\mathrm{Br} = \mathrm{Br}'$ holds, hence are not amenable to the usual argument of pushing forward a twisted vector bundle. We provide two classes of examples satisfying $\mathrm{Br} \ne \mathrm{Br}'$ that do not "arise from" the scheme case.
This paper sets out basic properties of motivic twisted K-theory with respect to degree three motivic cohomology classes of weight one. Motivic twisted K-theory is defined in terms of such motivic cohomology classes by taking pullbacks along the universal principal BG_m-bundle for the classifying space of the multiplicative group scheme. We show a Kuenneth isomorphism for homological motivic twisted K-groups computing the latter as a tensor product of K-groups over the K-theory of BG_m. The proof employs an Adams Hopf algebroid and a tri-graded Tor-spectral sequence for motivic twisted K-theor…
In this article, we classify the irreducible components of moduli stacks of torsion free sheaves of rank 2 on K3 surfaces of Picard number 1. For ruled surfaces, the components of moduli stacks of torsion free sheaves were classified by C.Walter. Moreover, by virtue of our result, we classify the irreducible components of Brill-Noether loci of Hilbert schemes of points on K3 surfaces.
We compute the Hodge and de Rham cohomology of the classifying space BG (defined as etale cohomology on the algebraic stack BG) for reductive groups G over many fields, including fields of small characteristic. These calculations have a direct relation with representation theory, yielding new results there. The calculations are closely analogous to, but not always the same as, the cohomology of classifying spaces in topology.
