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.
We shall show that the stable categories of graded Cohen-Macaulay modules over quotient singularities have tilting objects. In particular, these categories are triangle equivalent to derived categories of finite dimensional algebras. Our method is based on higher dimensional Auslander-Reiten theory, which gives cluster tilting objects in the stable categories of (ungraded) Cohen-Macaulay modules.
We introduce a new moduli stack, called the Serre stable moduli stack, which corresponds to studying families of point objects in an abelian category with a Serre functor. This allows us in particular, to re-interpret the classical derived equivalence between most concealed-canonical algebras and weighted projective lines by showing they are induced by the universal sheaf on the Serre stable moduli stack. We explain why the method works by showing that the Serre stable moduli stack is the tautological moduli problem that allows one to recover certain nice stacks such as weighted projective lin…
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.
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.
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 suggest to endow Mumford's GIT quotient scheme with a stack structure, by replacing Proj(-) of the invariant ring with its stack theoretic analogue. We analyse the stacks resulting in this way from classically studied invariant rings, and in particular for binary forms of low degree. Our viewpoint is that the stack structure carries interesting geometric information that is intrinsically present in the invariant ring, but lost when passing to its Proj(-).
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…
In the setting of a variety $X$ admitting a tilting bundle $T$ we consider the problem of constructing $X$ as a quiver GIT quotient of the endomorphism algebra $A=\textrm{End}_X(T)^{\textrm{op}}$ corresponding to the tilting bundle. We prove that if the tilting equivalence restricts to a bijection between the skyscraper sheaves of $X$ and the closed points of a quiver GIT moduli functor for $A$ then $X$ is indeed a fine moduli space for this quiver GIT moduli functor, and we prove this result without any assumptions on the singularities of $X$. As an application we consider varieties which are…
A natural question is to determine which algebraic stacks are qoutient stacks. In this paper we give some partial answers and relate it to the old question of whether, for a scheme X, the natural map from the Brauer goup (equivalence classes of Azumaya algebras) to the cohomological Brauer group (the torsion subgroup of $H^2(X,{\mathbb G}_m)$ is surjective.
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…
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.
Given a $k$--scheme $X$ that admits a tilting object $T$, we prove that the Hochschild (co-)homology of $X$ is isomorphic to that of $A= End_{X}(T)$. We treat more generally the relative case when $X$ is flat over an affine scheme $Y=\Spec R$ and the tilting object satisfies an appropriate Tor-independence condition over $R$. Among applications, Hochschild homology of $X$ over $Y$ is seen to vanish in negative degrees, smoothness of $X$ over $Y$ is shown to be equivalent to that of $A$ over $R$, and for $X$ a smooth projective scheme we obtain that Hochschild homology is concentrated in degree…
KLR-Schur algebra of coherent sheaves on the projective line: Tilting and PBW bases
Laboratoire de Mathématiques d’Orsay, Université de Paris-Saclay(巴黎萨克雷大学);Simion Stoilow Institute of Mathematics, Bucharest(布加勒斯特西蒙·斯托伊洛数学研究所);Max Planck Institute for Mathematics, Bonn(波恩马克斯·普朗克数学研究所)
We prove the equivalence of two fundamental properties of algebraic stacks: being a quotient stack in a strong sense, and the resolution property, which says that every coherent sheaf is a quotient of some vector bundle. Moreover, we prove these properties in the important special case of orbifolds whose associated algebraic space is a scheme.
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…
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.
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…
There is a well-known stratification of the moduli space $M_g$ of Deligne-Mumford stable curves of genus $g$ by the loci of stable curves with a fixed number $i$ of nodes, where $i \le 3g-3$. The associated moduli stack ${\cal M}_g$ admits an analogous stratification. Our main objects of study are those one-dimensional substacks of the moduli stack, which are the irreducible components of the stratum corresponding to stable curves with exactly $3g-4$ nodes. We describe these substacks explicitely as quotient stacks, and relate them to other, and simpler, moduli stacks of (permutation classes o…
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…
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 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…
In this expository article we give a categorical definition of the integral cohomology ring of a stack. We show that for quotient stacks the categorical cohomology may be identified with equivariant cohomology. Via this identification we show that for Deligne-Mumford quotient stacks this cohomology is rationally isomorphic to the rational cohomology of the coarse moduli space. The theory is presented with a focus on the stacks of smooth and stable curves.
We find a new presentation of the stack of hyperelliptic curves of odd genus as a quotient stack and we use it to compute its integral Chow ring by means of equivariant intersection theory.
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…
This paper proves a result on the existence of finite flat scheme covers of Deligne-Mumford stacks. This result is used to prove that a large class of smooth Deligne-Mumford stacks with affine moduli space are quotient stacks, and in the case of quasi-projective moduli space, to reduce the question to one concerning Brauer groups of schemes.
This note introduces the theory of quasimaps to GIT quotients with intuition and concrete examples, with the goal of explaining a closed formula for the quasimap $I$-function. Along the way, it emphasizes aspects of this story that illustrate general stacky concepts.
We view the moduli space of semistable sheaves on a K3 surface as a global quotient stack, and compute its cotangent complex in terms of the universal sheaf on the Quot scheme. Relevant facts on the classical and reduced Atiyah classes are reviewed. We also define the notion of a symplectic stack, and show that it includes all moduli stacks of semistable sheaves on K3 surfaces.
We give a presentation for the stack of rational curves with at most 1 node as the quotient by GL(3) of an open set in a 6-dimensional irreducible representation. We then use equivariant intersection theory to calculate the integral Chow ring of this stack.
Let A denote the ring of differential operators on the affine line with its two usual generators t and d/dt given degrees +1 and -1 respectively. Let X be the stack having coarse moduli space the affine line Spec k[z] and isotropy groups Z/2 at each integer point. Then the category of graded A-modules is equivalent to the category of quasi-coherent sheaves on X. Version 2: corrected typos and deleted appendix at referee's suggestion.
We prove an Atiyah-Segal isomorphism for the higher $K$-theory of coherent sheaves on quotient Deligne-Mumford stacks over $\C$. As an application, we prove the Grothendieck-Riemann-Roch theorem for such stacks. This theorem establishes an isomorphism between the higher $K$-theory of coherent sheaves on a Deligne-Mumford stack and the higher Chow groups of its inertia stack. Furthermore, this isomorphism is covariant for proper maps between Deligne-Mumford stacks.
We prove that the Hodge-de Rham spectral sequence for smooth proper tame Artin stacks in characteristic p (as defined by Abramovich, Olsson, and Vistoli) which lift mod p^2 degenerates. We push the result to the coarse spaces of such stacks, thereby obtaining a degeneracy result for schemes which are etale locally the quotient of a smooth scheme by a finite linearly reductive group scheme.
The Chow quotient of a toric variety by a subtorus, as defined by Kapranov-Sturmfels-Zelevinsky, coarsely represents the main component of the moduli space of stable toric varieties with a map to a fixed projective toric variety, as constructed by Alexeev and Brion. We show that, after endowing both spaces with the structure of a logarithmic stack, the resulting spaces are isomorphic. Along the way, we construct the Chow quotient stack and demonstrate several properties that it satisfies.