Let $\mathcal{X}$ be a tame proper Deligne-Mumford stack of the form $[M/G]$ where $M$ is a scheme and $G$ is an algebraic group. We prove that the stack $\mathcal{K}_{g,n}(\mathcal{X},d)$ of twisted stable maps is a quotient stack and can be embedded into a smooth Deligne-Mumford stack. When $G$ is finite, we give a more precise construction of $\mathcal{K}_{g,n}(\mathcal{X},d)$ using Hilbert schemes and admissible $G$-covers.
A recent paper of Bresciani and Vistoli studies fields of moduli using residual gerbes. One of their applications is to twisted forms of quotient singularities. We discuss a direct approach to automorphisms and twisted forms, which also works in many wildly ramified cases.
We study how to use a suitably ample locally free sheaf over a proper Deligne-Mumford stack to furnish an embedding of the stack into a geometric invariant theory (GIT) quotient stack constructed from a finite-dimensional linear representation of the general linear group.
Recent results in geometric invariant theory (GIT) for non-reductive linear algebraic group actions allow us to stratify quotient stacks of the form [X/H], where X is a projective scheme and H is a linear algebraic group with internally graded unipotent radical acting linearly on X, in such a way that each stratum [S/H] has a geometric quotient S/H. This leads to stratifications of moduli stacks (for example, sheaves over a projective scheme) such that each stratum has a coarse moduli space.
We prove the existence of tilting objects on some global quotient stacks. As a consequence we provide further evidence for a conjecture on the Rouquier dimension of derived categories formulated by Orlov.
In this paper we consider the Brauer groups of algebraic stacks and GIT quotients: the only algebraic stacks we consider in this paper are quotient stacks [X/G], where X is a smooth scheme of finite type over a field k, and G is a linear algebraic group over k and acting on X, as well as various moduli stacks of principal G-bundles on a smooth projective curve X, associated to a reductive group G. We also consider the Brauer groups of the corresponding coarse moduli spaces, which most often identify with the corresponding GIT-quotients. One conclusion that we seem to draw then is that the Brau…
For a complex toric variety $X$ the logarithmic absolute value induces a natural retraction of $X$ onto the set of its non-negative points and this retraction can be identified with a quotient of $X(\mathbb{C})$ by its big real torus. We prove an analogous result in the non-Archimedean world: The Kajiwara-Payne tropicalization map is a non-Archimedean analytic stack quotient of $X^{an}$ by its big affinoid torus. Along the way, we provide foundations for a geometric theory of non-Archimedean analytic stacks, particularly focussing on analytic groupoids and their quotients, the process of analy…
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 consider certain universal functors on symmetric quotient stacks of Abelian varieties. In dimension two, we discover a family of $\mathbb{P}$-functors which induce new derived autoequivalences of Hilbert schemes of points on Abelian surfaces; a set of braid relations on a holomorphic symplectic sixfold; and a pair of spherical functors on the Hilbert square of an Abelian surface, whose twists are related to the well-known Horja twist. In dimension one, our universal functors are fully faithful, giving rise to a semiorthogonal decomposition for the symmetric quotient stack of an elliptic cur…
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 study the Fulton-Macpherson operational Chow rings of good moduli spaces of properly stable, smooth, Artin stacks. Such spaces are étale locally isomorphic to geometric invariant theory quotients of affine schemes, and are therefore natural extensions of GIT quotients. Our main result is that, with rational coefficients, every operational class can be represented by a so-called topologically strong cycle on the corresponding stack. Moreover, this cycle is unique modulo rational equivalence on the stack. Using out methods, we prove that if $X$ is the good moduli space of a properly stable, s…
Let $k$ be an algebraically closed field. Let $Λ$ be a noetherian commutative ring annihilated by an integer invertible in $k$ and let $\ell$ be a prime number different from the characteristic of $k$. We prove that if $X$ is a separated algebraic space of finite type over $k$ endowed with an action of a $k$-algebraic group $G$, the equivariant étale cohomology algebra $H^*([X/G],Λ)$, where $[X/G]$ is the quotient stack of $X$ by $G$, is finitely generated over $Λ$. Moreover, for coefficients $K \in D^+_c([X/G],\mathbb{F}_{\ell})$ endowed with a commutative multiplicative structure, we establi…
We prove some fundamental results like localization, excision, Nisnevich descent and the Mayer-Vietoris property for equivariant regular blow-up for the equivariant K-theory of schemes with an affine group scheme action. We also show that the equivariant K-theory with finite coefficients is invariant under equivariant vector bundle morphisms. We show that the equivariant homotopy K-theory is invariant under equivariant vector bundle morphisms and satisfies all the above properties, including nil-invariance.
For every smooth projective variety, we construct an action of the Heisenberg algebra on the direct sum of the Grothendieck groups of all the symmetric quotient stacks which contains the Fock space as a subrepresentation. The action is induced by functors on the level of the derived categories which form a weak categorification of the action.
If G is a reductive group which acts on a linearized smooth scheme $X$ then we show that under suitable standard conditions the derived category of coherent sheaves of the corresponding GIT quotient stack $X^{ss}/G$ has a semi-orthogonal decomposition consisting of derived categories of coherent sheaves of rings on the categorical quotient $X^{ss}/\!/G$ which are locally of finite global dimension. One of the components of the decomposition is a certain non-commutative resolution of $X^{ss}/\!/G$ constructed earlier by the authors. As a concrete example we obtain in the case of odd Pfaffians a…
We construct a smooth Artin stack parameterizing the stable weighted curves of genus one with twisted fields and prove that it is isomorphic to the blowup stack of the moduli of genus one weighted curves studied by Hu and Li. This leads to a blowup-free construction of Vakil-Zinger's desingularization of the moduli of genus one stable maps to projective spaces. This construction provides the cornerstone of the theory of stacks with twisted fields, which is thoroughly studied in arXiv:2005.03384 and leads to a blowup-free resolution of the stable map moduli of genus two.
This work characterizes global quotient stacks---smooth stacks associated to a finite group acting a manifold---among smooth quotient stacks $[M/G]$, where $M$ is a smooth manifold equipped with a smooth proper action by a Lie group $G$. The characterization is described in terms of the action of the connected component $G_0$ on $M$ and is related to (stacky) fundamental group and covering theory. This characterization is then applied to smooth toric Deligne-Mumford stacks, and global quotients among toric DM stacks are then characterized in terms of their associated combinatorial data of stac…
The moduli space of stable quotients introduced by Marian-Oprea-Pandharipande provides a natural compactification of the space of morphisms from nonsingular curves to a nonsingular projective variety and carries a natural virtual class. We show that the analogue of Givental's J-function for the resulting twisted projective invariants is described by the same mirror hypergeometric series as the corresponding Gromov-Witten invariants (which arise from the moduli space of stable maps), but without the mirror transform (in the Calabi-Yau case). This implies that the stable quotients and Gromov-Wit…
Automorphisms of a perfect complex naturally have the structure of an $\infty$-group: the 1-morphisms are quasi-isomorphisms, the 2-morphisms are homotopies, etc. This article starts by proving some basic properties of this $\infty$-group. We go on to study the deformation theory of this stack of $\infty$-groups and give a criterion for this stack to be formally smooth. The classifying stack of this $\infty$-group classifies forms of a complex. We discuss a version of Hilbert 90 for perfect complexes.
Let X be a smooth projective Deligne-Mumford stack over an algebraically closed field k of characteristic 0. In this paper we construct the moduli stack of very twisted stable maps, extending the notion of twisted stable maps by Abramovich and Vistoli to allow for generic stabilizers on the source curves. We also consider the Gromov-Witten theory given by this construction.
Motivated by the relation between (twisted) K3 surfaces and special cubic fourfolds, we construct moduli spaces of polarized twisted K3 surfaces of any fixed degree and order. We do this by mimicking the construction of the moduli space of untwisted polarized K3 surfaces as a quotient of a bounded symmetric domain.
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…
On A-twisted moduli stack for curves from Witten's gauged linear sigma models
Witten的规范线性sigma模型[Wi 1]是弦对偶背后的通用框架或结构之一。它的亏格为0的A-扭曲模空间已被用于镜像原理[L-L-Y]，该原理将Gromov-Witten不变量和镜像对称计算联系起来。本文定义了高亏格曲线的A-扭模叠加，并对其进行了系统的研究。证明了这样的模栈是Artin栈。对于亏格0，它具有[M-P]的A-扭曲模空间作为粗模空间.李俊在[L-L-Y：I and II]中对坍缩态射的正则性的详细证明可以看作是从亏格为0的稳定映射的模栈到亏格为0的A-扭曲模栈的自然态射。由于堆栈对物理学家的技术要求和超对称性对数学家的概念要求，与本文主要内容最相关的每个主题分别在开头和附录中给出了简要介绍。最后提出了进一步研究的主题。
The Hilbert scheme of point modules was introduced by Artin-Tate-Van den Bergh to study non-commutative graded algebras. The key tool is the construction of a map from the algebra to a twisted ring on this Hilbert scheme. In this paper, we study moduli stacks of more general "fat" point modules, and show that there is a similar map to a twisted ring associated to the stack. This is used to provide a sufficient criterion for a non-commutative projective surface to be birationally PI. It is hoped that such a criterion will be useful in understanding Mike Artin's conjecture on the birational clas…
We show that an algebraic stack with affine stabilizer groups satisfies the resolution property if and only if it is a quotient of a quasi-affine scheme by the action of the general linear group, or equivalently, if there exists a vector bundle whose associated frame bundle has quasi-affine total space. This generalizes a result of B. Totaro to non-normal and non-noetherian schemes and algebraic stacks. Also, we show that the vector bundle induces such a quotient structure if and only if it is a tensor generator in the category of quasi-coherent sheaves.
We describe the moduli stack of Gushel-Mukai varieties as a global quotient stack and its coarse moduli space as the corresponding GIT quotient. The construction is based on a comprehensive study of the relation between this stack and the stack of Lagrangian data; roughly speaking, we show that the former is a generalized root stack of the latter. As an application, we define the period map for Gushel-Mukai varieties and construct some complete nonisotrivial families of smooth Gushel-Mukai varieties. In an appendix, we describe a generalization of the root stack construction used in our approa…
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.
Abramovich, Corti and Vistoli have studied modular compactifications of stacks of curves equipped with abelian level structures arising as substacks of the stack of twisted stable maps into the classifying stack of a finite group, provided the order of the group is invertible on the base scheme. Recently Abramovich, Olsson and Vistoli extended the notion of twisted stable maps to allow arbitrary base schemes, where the target is a tame stack, not necessarily Deligne-Mumford. We use this to extend the results of Abramovich, Corti and Vistoli to the case of elliptic curves with level structures …
We investigate conditions for a Fourier-Mukai transform between derived categories of coherent sheaves on smooth projective stacks endowed with actions by finite groups to lift to the associated equivariant derived categories. As an application we give a condition under which a global quotient stack cannot be derived equivalent to a variety. We also apply our techniques to generalised Kummer stacks and symmetric quotients.
In this paper, we study quotients of groupoids and coarse moduli spaces of stacks in a general setting. Geometric quotients are not always categorical, but we present a natural topological condition under which a geometric quotient is categorical. We also show the existence of geometric quotients of finite flat groupoids and give explicit local descriptions. Exploiting similar methods, we give an easy proof of the existence of quotients of flat groupoids with finite stabilizers. As the proofs do not use noetherian methods and are valid for general algebraic spaces and algebraic stacks, we obta…
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…
