DOCSLIB.ORG

Smooth Toric Deligne-Mumford Stacks Barbara Fantechi, Etienne Mann, Fabio Nironi

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Smooth Toric Deligne-Mumford Stacks Barbara Fantechi, Etienne Mann, Fabio Nironi Smooth toric Deligne-Mumford stacks Barbara Fantechi, Etienne Mann, Fabio Nironi To cite this version: Barbara Fantechi, Etienne Mann, Fabio Nironi. Smooth toric Deligne-Mumford stacks. Jour- nal für die reine und angewandte Mathematik, Walter de Gruyter, 2010, 648, pp.201-244. 10.1515/CRELLE.2010.084. hal-00166751v2 HAL Id: hal-00166751 https://hal.archives-ouvertes.fr/hal-00166751v2 Submitted on 14 Sep 2012 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. AUTHOR’S COPY | AUTORENEXEMPLAR J. reine angew. Math. 648 (2010), 201—244 Journal fu¨r die reine und DOI 10.1515/CRELLE.2010.084 angewandte Mathematik ( Walter de Gruyter Berlin New York 2010 Á Smooth toric Deligne-Mumford stacks By Barbara Fantechi at Trieste, Etienne Mann at Montpellier and Fabio Nironi at New York Abstract. We give a geometric definition of smooth toric Deligne-Mumford stacks using the action of a ‘‘torus. We show that our definition is equivalent to the one of Borisov, Chen and Smith in terms of stacky fans. In particular, we give a geometric inter- pretation of the combinatorial data contained in a stacky fan. We also give a bottom up classification in terms of simplicial toric varieties and fiber products of root stacks. Contents Introduction 1. Notations and background 1.1. Conventions and notations 1.2. Smooth Deligne-Mumford stacks and orbifolds 1.3. Root constructions 1.4. Rigidification 1.5. Diagonalizable group schemes 1.6. Toric varieties 1.7. Picard stacks and action of a Picard stack 2. Deligne-Mumford tori 3. Definition of toric Deligne-Mumford stacks 4. Canonical toric Deligne-Mumford stacks 4.1. Canonical smooth Deligne-Mumford stacks 4.2. The canonical stack of a simplicial toric variety 5. Toric orbifolds 6. Toric Deligne-Mumford stacks 6.1. Gerbes and root constructions 6.2. Gerbes on toric orbifolds 6.3. Characterization of a toric Deligne-Mumford stack as a gerbe over its rigidification 7. Toric Deligne-Mumford stacks versus stacky fans 7.1. Toric Deligne-Mumford stacks as global quotients 7.2. Toric Deligne-Mumford stacks and stacky fans 7.3. Examples AUTHOR’S COPY | AUTORENEXEMPLAR AUTHOR’S COPY | AUTORENEXEMPLAR 202 Fantechi, Mann and Nironi, Deligne-Mumford stacks Appendix A. Uniqueness of morphisms to separated stacks Appendix B. Action of a Picard stack Appendix C. Stacky version of Zariskis Main Theorem References Introduction A toric variety is a normal, separated variety X with an open embedding T , X of a torus such that the action of the torus on itself extends to an action on X. To a toric! variety one can associate a fan, a collection of cones in the lattice of one-parameter subgroups of T. Toric varieties are very important in algebraic geometry, since algebro-geometric prop- erties of a toric variety translate in combinatorial properties of the fan, allowing to test con- jectures and produce interesting examples. In [10] Borisov, Chen and Smith define toric Deligne-Mumford stacks as explicit global quotient (smooth) stacks, associated to combinatorial data called stacky fans. Later, Iwanari proposed in [22] a definition of toric triple as an orbifold with a torus action having a dense orbit isomorphic to the torus1) and he proved that the 2-category of toric triples is equivalent to the 2-category of ‘‘toric stacks (We refer to [22] for the definition of ‘‘toric stacks). Nevertheless, it is clear that not all toric Deligne-Mumford stacks are toric triples, since some of them are not orbifolds. Then the generalization of the D-collections defined for toric varieties by Cox in [14] was done by Iwanari in [23] in the orbifold case and by Perroni in [31] in the general case. In this paper, we define a Deligne-Mumford torus T as a Picard stack isomorphic to T BG, where T is a torus, and G is a finite abelian group; we then define a smooth toric Deligne-Mumford stack as a smooth separated Deligne-Mumford stack with the action of a Deligne-Mumford torus T having an open dense orbit isomorphic to T. We prove a classification theorem for smooth toric Deligne-Mumford stacks and show that they coin- cide with those defined by [10]. The first main result of this paper is a bottom-up description of smooth toric Deligne- Mumford stacks, as follows: the structure morphism X X to the coarse moduli space factors canonically via the toric morphisms ! X Xrig Xcan X ! ! ! where X Xrig is an abelian gerbe over Xrig; Xrig Xcan is a fibered product of roots of toric divisors;! and Xcan X is the minimal orbifold! having X as coarse moduli space. Here X is a simplicial toric! variety, and Xrig and Xcan are smooth toric Deligne-Mumford stacks. More precisely, this bottom up construction can be stated as follows. Theorem I. Let X be a smooth toric Deligne-Mumford stack with Deligne-Mumford torus isomorphic to T BG. Denote by X the coarse moduli space of X. Denote by n the number of rays of the fan of X. 1) For the meaning of orbifold in this paper, see §1.2. AUTHOR’S COPY | AUTORENEXEMPLAR AUTHOR’S COPY | AUTORENEXEMPLAR Fantechi, Mann and Nironi, Deligne-Mumford stacks 203 n rig (1) There exist unique a1; ...; an A N>0 such that the stack X is isomorphic, as toric Deligne-Mumford stackð, to Þ ð Þ a1 an can Xcan can can can Xcan D1 = X X Dn = ; qffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi  ÁÁÁ qffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi can where Di is the divisor corresponding to the ray ri. l rig ... l X X (2) Given G mbj . There exist L1; ; L in Pic such that is isomorphic, as ¼ j 1 ð Þ Q¼ toric Deligne-Mumford stack, to b1 rig bl rig L1=X X rig X rig Ll=X : qffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi  ÁÁÁ qffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi rig rig Moreover, for any j A 1; ...; l , the class Lj in Pic X =bj Pic X is unique. f g ½ ð Þ ð Þ In the process, we get a description of the Picard group of smooth toric Deligne- Mumford stacks, which allows us to characterize weighted projective stacks as complete toric orbifolds with cyclic Picard group (cf. Proposition 7.28). Moreover, we classify all complete toric orbifolds of dimension 1 (cf. Example 7.31). We also show that the natural map from the Brauer group of a smooth toric Deligne-Mumford stack with trivial generic stabilizer to its open dense torus is injective (cf. Theorem 6.11). The second main result of this article is to give an explicit relation between the smooth toric Deligne-Mumford stacks and the stacky fans. Theorem II. Let X be a smooth toric Deligne-Mumford stack with coarse moduli space the toric variety denoted by X. Let S be a fan of X in NQ : N nZ Q. Assume that ¼ the rays of S generate NQ. There exists a stacky fan such that X is isomorphic, as toric Deligne-Mumford stack, to the smooth Deligne-Mumford stack associated to the stacky fan. Moreover, if X has a trivial generic stabilizer then the stacky fan is unique. When the smooth toric Deligne-Mumford stack X has a generic stabilizer the non- uniqueness of the stacky fan comes from three di¤erent choices. We refer to Remark 7.26 for a more precise statement. This result gives a geometrical interpretation of the combina- torial data of the stacky fan. In fact, the stacky fan can be read o¤ the geometry of the smooth toric Deligne-Mumford stack just like the fan can be read o¤ the geometry of the toric variety. Notice that one can deduce the above theorem when X is an orbifold from [31], Theorem 2.5, and [23], Theorem 1.4, and the geometric characterization of [24], Theorem 1.3. In the first part of this article, we fix the conventions and collect some results on smooth Deligne-Mumford stacks, root constructions, rigidification, toric varieties, Picard stacks and the action of a Picard stack. In Section 2, we define Deligne-Mumford tori. Sec- tion 3 contains the definition of smooth toric Deligne-Mumford stacks. In Section 4, we first define canonical smooth Deligne-Mumford stacks and then we show that the canonical stack associated to a simplicial toric variety is a smooth toric Deligne-Mumford stack (cf. Theorem 4.11). In Section 5, we prove the first part of Theorem I. In Section 6, we first prove in Proposition 6.9 that the essentially trivial banded gerbes over X are in bijection AUTHOR’S COPY | AUTORENEXEMPLAR AUTHOR’S COPY | AUTORENEXEMPLAR 204 Fantechi, Mann and Nironi, Deligne-Mumford stacks with finite extensions of the Picard group of X; then, we show that the natural map from the Brauer group of a smooth toric Deligne-Mumford stack with trivial generic stabilizer to its open dense torus is injective (cf. Theorem 6.11). Finally, we prove the second statement of Theorem I. In Section 7, we prove Theorem II and give some explicit examples. In Appendix B, we have put some details about the action of a Picard stack. Acknowledgments. The authors would like to acknowledge support from IHP, Mittag-Le¿er Institut, SNS where part of this work was carried out, as well as the Euro- pean projects MISGAM and ENIGMA.
Load more

Recommended publications
  • Representation Stability, Configuration Spaces, and Deligne
    Representation Stability, Configurations Spaces, and Deligne–Mumford Compactifications by Philip Tosteson A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy (Mathematics) in The University of Michigan 2019 Doctoral Committee: Professor Andrew Snowden, Chair Professor Karen Smith Professor David Speyer Assistant Professor Jennifer Wilson Associate Professor Venky Nagar Philip Tosteson [email protected] orcid.org/0000-0002-8213-7857 © Philip Tosteson 2019 Dedication To Pete Angelos. ii Acknowledgments First and foremost, thanks to Andrew Snowden, for his help and mathematical guidance. Also thanks to my committee members Karen Smith, David Speyer, Jenny Wilson, and Venky Nagar. Thanks to Alyssa Kody, for the support she has given me throughout the past 4 years of graduate school. Thanks also to my family for encouraging me to pursue a PhD, even if it is outside of statistics. I would like to thank John Wiltshire-Gordon and Daniel Barter, whose conversations in the math common room are what got me involved in representation stability. John’s suggestions and point of view have influenced much of the work here. Daniel’s talk of Braids, TQFT’s, and higher categories has helped to expand my mathematical horizons. Thanks also to many other people who have helped me learn over the years, including, but not limited to Chris Fraser, Trevor Hyde, Jeremy Miller, Nir Gadish, Dan Petersen, Steven Sam, Bhargav Bhatt, Montek Gill. iii Table of Contents Dedication . ii Acknowledgements . iii Abstract . .v Chapters v 1 Introduction 1 1.1 Representation Stability . .1 1.2 Main Results . .2 1.2.1 Configuration spaces of non-Manifolds .
    [Show full text]
  • The Nori Fundamental Gerbe of Tame Stacks 3
    THE NORI FUNDAMENTAL GERBE OF TAME STACKS INDRANIL BISWAS AND NIELS BORNE Abstract. Given an algebraic stack, we compare its Nori fundamental group with that of its coarse moduli space. We also study conditions under which the stack can be uniformized by an algebraic space. 1. Introduction The aim here is to show that the results of [Noo04] concerning the ´etale fundamental group of algebraic stacks also hold for the Nori fundamental group. Let us start by recalling Noohi’s approach. Given a connected algebraic stack X, and a geometric point x : Spec Ω −→ X, Noohi generalizes the definition of Grothendieck’s ´etale fundamental group to get a profinite group π1(X, x) which classifies finite ´etale representable morphisms (coverings) to X. He then highlights a new feature specific to the stacky situation: for each geometric point x, there is a morphism ωx : Aut x −→ π1(X, x). Noohi first studies the situation where X admits a moduli space Y , and proceeds to show that if N is the closed normal subgroup of π1(X, x) generated by the images of ωx, for x varying in all geometric points, then π1(X, x) ≃ π1(Y,y) . N Noohi turns next to the issue of uniformizing algebraic stacks: he defines a Noetherian algebraic stack X as uniformizable if it admits a covering, in the above sense, that is an algebraic space. His main result is that this happens precisely when X is a Deligne– Mumford stack and for any geometric point x, the morphism ωx is injective. For our purpose, it turns out to be more convenient to use the Nori fundamental gerbe arXiv:1502.07023v3 [math.AG] 9 Sep 2015 defined in [BV12].
    [Show full text]
  • CHARACTERIZING ALGEBRAIC STACKS 1. Introduction Stacks
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 136, Number 4, April 2008, Pages 1465–1476 S 0002-9939(07)08832-6 Article electronically published on December 6, 2007 CHARACTERIZING ALGEBRAIC STACKS SHARON HOLLANDER (Communicated by Paul Goerss) Abstract. We extend the notion of algebraic stack to an arbitrary subcanon- ical site C. If the topology on C is local on the target and satisfies descent for morphisms, we show that algebraic stacks are precisely those which are weakly equivalent to representable presheaves of groupoids whose domain map is a cover. This leads naturally to a definition of algebraic n-stacks. We also compare different sites naturally associated to a stack. 1. Introduction Stacks arise naturally in the study of moduli problems in geometry. They were in- troduced by Giraud [Gi] and Grothendieck and were used by Deligne and Mumford [DM] to study the moduli spaces of curves. They have recently become important also in differential geometry [Bry] and homotopy theory [G]. Higher-order general- izations of stacks are also receiving much attention from algebraic geometers and homotopy theorists. In this paper, we continue the study of stacks from the point of view of homotopy theory started in [H, H2]. The aim of these papers is to show that many properties of stacks and classical constructions with stacks are homotopy theoretic in nature. This homotopy-theoretical understanding gives rise to a simpler and more powerful general theory. In [H] we introduced model category structures on different am- bient categories in which stacks are the fibrant objects and showed that they are all Quillen equivalent.
    [Show full text]
  • The Orbifold Chow Ring of Toric Deligne-Mumford Stacks
    JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY Volume 18, Number 1, Pages 193–215 S 0894-0347(04)00471-0 Article electronically published on November 3, 2004 THE ORBIFOLD CHOW RING OF TORIC DELIGNE-MUMFORD STACKS LEVA.BORISOV,LINDACHEN,ANDGREGORYG.SMITH 1. Introduction The orbifold Chow ring of a Deligne-Mumford stack, defined by Abramovich, Graber and Vistoli [2], is the algebraic version of the orbifold cohomology ring in- troduced by W. Chen and Ruan [7], [8]. By design, this ring incorporates numerical invariants, such as the orbifold Euler characteristic and the orbifold Hodge num- bers, of the underlying variety. The product structure is induced by the degree zero part of the quantum product; in particular, it involves Gromov-Witten invariants. Inspired by string theory and results in Batyrev [3] and Yasuda [28], one expects that, in nice situations, the orbifold Chow ring coincides with the Chow ring of a resolution of singularities. Fantechi and G¨ottsche [14] and Uribe [25] verify this conjecture when the orbifold is Symn(S)whereS is a smooth projective surface n with KS = 0 and the resolution is Hilb (S). The initial motivation for this project was to compare the orbifold Chow ring of a simplicial toric variety with the Chow ring of a crepant resolution. To achieve this goal, we first develop the theory of toric Deligne-Mumford stacks. Modeled on simplicial toric varieties, a toric Deligne-Mumford stack corresponds to a combinatorial object called a stacky fan. As a first approximation, this object is a simplicial fan with a distinguished lattice point on each ray in the fan.
    [Show full text]
  • Handbook of Moduli
    Equivariant geometry and the cohomology of the moduli space of curves Dan Edidin Abstract. In this chapter we give a categorical definition of the integral cohomology ring of a stack. For quotient stacks [X=G] the categorical co- ∗ homology ring may be identified with the equivariant cohomology HG(X). Identifying the stack cohomology ring with equivariant cohomology allows us to prove that the cohomology ring of a quotient Deligne-Mumford stack is rationally isomorphic to the cohomology ring of its coarse moduli space. The theory is presented with a focus on the stacks Mg and Mg of smooth and stable curves respectively. Contents 1 Introduction2 2 Categories fibred in groupoids (CFGs)3 2.1 CFGs of curves4 2.2 Representable CFGs5 2.3 Curves and quotient CFGs6 2.4 Fiber products of CFGs and universal curves 10 3 Cohomology of CFGs and equivariant cohomology 13 3.1 Motivation and definition 14 3.2 Quotient CFGs and equivariant cohomology 16 3.3 Equivariant Chow groups 19 3.4 Equivariant cohomology and the CFG of curves 21 4 Stacks, moduli spaces and cohomology 22 4.1 Deligne-Mumford stacks 23 4.2 Coarse moduli spaces of Deligne-Mumford stacks 27 4.3 Cohomology of Deligne-Mumford stacks and their moduli spaces 29 2000 Mathematics Subject Classification. Primary 14D23, 14H10; Secondary 14C15, 55N91. Key words and phrases. stacks, moduli of curves, equivariant cohomology. The author was supported by NSA grant H98230-08-1-0059 while preparing this article. 2 Cohomology of the moduli space of curves 1. Introduction The study of the cohomology of the moduli space of curves has been a very rich research area for the last 30 years.
    [Show full text]
  • Introduction to Algebraic Stacks
    Introduction to Algebraic Stacks K. Behrend December 17, 2012 Abstract These are lecture notes based on a short course on stacks given at the Newton Institute in Cambridge in January 2011. They form a self-contained introduction to some of the basic ideas of stack theory. Contents Introduction 3 1 Topological stacks: Triangles 8 1.1 Families and their symmetry groupoids . 8 Various types of symmetry groupoids . 9 1.2 Continuous families . 12 Gluing families . 13 1.3 Classification . 15 Pulling back families . 17 The moduli map of a family . 18 Fine moduli spaces . 18 Coarse moduli spaces . 21 1.4 Scalene triangles . 22 1.5 Isosceles triangles . 23 1.6 Equilateral triangles . 25 1.7 Oriented triangles . 25 Non-equilateral oriented triangles . 30 1.8 Stacks . 31 1.9 Versal families . 33 Generalized moduli maps . 35 Reconstructing a family from its generalized moduli map . 37 Versal families: definition . 38 Isosceles triangles . 40 Equilateral triangles . 40 Oriented triangles . 41 1 1.10 Degenerate triangles . 42 Lengths of sides viewpoint . 43 Embedded viewpoint . 46 Complex viewpoint . 52 Oriented degenerate triangles . 54 1.11 Change of versal family . 57 Oriented triangles by projecting equilateral ones . 57 Comparison . 61 The comparison theorem . 61 1.12 Weierstrass compactification . 64 The j-plane . 69 2 Formalism 73 2.1 Objects in continuous families: Categories fibered in groupoids 73 Fibered products of groupoid fibrations . 77 2.2 Families characterized locally: Prestacks . 78 Versal families . 79 2.3 Families which can be glued: Stacks . 80 2.4 Topological stacks . 81 Topological groupoids . 81 Generalized moduli maps: Groupoid Torsors .
    [Show full text]
  • Algebraic Stacks Many of the Geometric Properties That Are Defined for Schemes (Smoothness, Irreducibility, Separatedness, Properness, Etc...)
    Algebraic stacks Tom´as L. G´omez Tata Institute of Fundamental Research Homi Bhabha road, Mumbai 400 005 (India) [email protected] 9 November 1999 Abstract This is an expository article on the theory of algebraic stacks. After intro- ducing the general theory, we concentrate in the example of the moduli stack of vector budles, giving a detailed comparison with the moduli scheme obtained via geometric invariant theory. 1 Introduction The concept of algebraic stack is a generalization of the concept of scheme, in the same sense that the concept of scheme is a generalization of the concept of projective variety. In many moduli problems, the functor that we want to study is not representable by a scheme. In other words, there is no fine moduli space. Usually this is because the objects that we want to parametrize have automorphisms. But if we enlarge the category of schemes (following ideas that go back to Grothendieck and Giraud, and were developed by Deligne, Mumford and Artin) and consider algebraic stacks, then we can construct the “moduli stack”, that captures all the information that we would like in a fine moduli space. The idea of enlarging the category of algebraic varieties to study moduli problems is not new. In fact A. Weil invented the concept of abstract variety to give an algebraic arXiv:math/9911199v1 [math.AG] 25 Nov 1999 construction of the Jacobian of a curve. These notes are an introduction to the theory of algebraic stacks. I have tried to emphasize ideas and concepts through examples instead of detailed proofs (I give references where these can be found).
    [Show full text]
  • The Algebraic Stack Mg
    The algebraic stack Mg Raymond van Bommel 9 October 2015 The author would like to thank Bas Edixhoven, Jinbi Jin, David Holmes and Giulio Orecchia for their valuable contributions. 1 Fibre products and representability Recall from last week ([G]) the definition of categories fibred in groupoids over a category S. Besides objects there are 1-morphisms (functors) between objects and 2-morphisms (natural transformations (that are isomorphisms automatically)) between the 1-morphisms. They form a so-called 2-category, CFG. We also defined the fibre product in CFG. In this chapter we will take a general base category S unless otherwise indicated. However, if wanted, you can think of S as being Sch. Given an object S 2 Ob(S), we can consider it as category fibred in groupoids, which is also called S=S, by taking arrows T ! S in S as objects and arrows over S in S as morphisms. The functor S=S !S is the forgetful functor, forgetting the map to S. Exercise 1. Let S; T 2 Ob(S). Check that the fibre (S=S)(T ) is isomorphic to the set Hom(T;S), i.e. the category whose objects are the elements of Hom(T;S) and whose arrows are the identities. Proposition 2. Let X be a category fibred in groupoids over S. Then X is equivalent to an object of S (i.e. there is an equivalence of categories that commutes with the projection to S) if and only if X has a final object. Proof. Given an object S 2 Ob(S) the associated category fibred in groupoids has final object id: S ! S.
    [Show full text]
  • Geometricity for Derived Categories of Algebraic Stacks 3
    GEOMETRICITY FOR DERIVED CATEGORIES OF ALGEBRAIC STACKS DANIEL BERGH, VALERY A. LUNTS, AND OLAF M. SCHNURER¨ To Joseph Bernstein on the occasion of his 70th birthday Abstract. We prove that the dg category of perfect complexes on a smooth, proper Deligne–Mumford stack over a field of characteristic zero is geometric in the sense of Orlov, and in particular smooth and proper. On the level of trian- gulated categories, this means that the derived category of perfect complexes embeds as an admissible subcategory into the bounded derived category of co- herent sheaves on a smooth, projective variety. The same holds for a smooth, projective, tame Artin stack over an arbitrary field. Contents 1. Introduction 1 2. Preliminaries 4 3. Root constructions 8 4. Semiorthogonal decompositions for root stacks 12 5. Differential graded enhancements and geometricity 20 6. Geometricity for dg enhancements of algebraic stacks 25 Appendix A. Bounded derived category of coherent modules 28 References 29 1. Introduction The derived category of a variety or, more generally, of an algebraic stack, is arXiv:1601.04465v2 [math.AG] 22 Jul 2016 traditionally studied in the context of triangulated categories. Although triangu- lated categories are certainly powerful, they do have some shortcomings. Most notably, the category of triangulated categories seems to have no tensor product, no concept of duals, and categories of triangulated functors have no obvious trian- gulated structure. A remedy to these problems is to work instead with differential graded categories, also called dg categories. We follow this approach and replace the derived category Dpf (X) of perfect complexes on a variety or an algebraic stack dg X by a certain dg category Dpf (X) which enhances Dpf (X) in the sense that its homotopy category is equivalent to Dpf (X).
    [Show full text]
  • Higher Analytic Stacks and Gaga Theorems
    HIGHER ANALYTIC STACKS AND GAGA THEOREMS MAURO PORTA AND TONY YUE YU Abstract. We develop the foundations of higher geometric stacks in complex analytic geometry and in non-archimedean analytic geometry. We study coherent sheaves and prove the analog of Grauert’s theorem for derived direct images under proper morphisms. We define analytification functors and prove the analog of Serre’s GAGA theorems for higher stacks. We use the language of infinity category to simplify the theory. In particular, it enables us to circumvent the functoriality problem of the lisse-étale sites for sheaves on stacks. Our constructions and theorems cover the classical 1-stacks as a special case. Contents 1. Introduction 2 2. Higher geometric stacks 4 2.1. Notations 4 2.2. Geometric contexts 5 2.3. Higher geometric stacks 6 2.4. Functorialities of the category of sheaves 8 2.5. Change of geometric contexts 16 3. Examples of higher geometric stacks 17 3.1. Higher algebraic stacks 17 3.2. Higher complex analytic stacks 17 3.3. Higher non-archimedean analytic stacks 18 3.4. Relative higher algebraic stacks 18 4. Proper morphisms of analytic stacks 19 5. Direct images of coherent sheaves 26 5.1. Sheaves on geometric stacks 26 arXiv:1412.5166v2 [math.AG] 28 Jul 2016 5.2. Coherence of derived direct images for algebraic stacks 32 5.3. Coherence of derived direct images for analytic stacks 34 6. Analytification functors 38 Date: December 16, 2014 (Revised on July 6, 2016). 2010 Mathematics Subject Classification. Primary 14A20; Secondary 14G22 32C35 14F05. Key words and phrases.
    [Show full text]
  • MODULAR FORMS SEMINAR, TALK 6: STACKS. Every Elliptic Curve (I.E
    MODULAR FORMS SEMINAR, TALK 6: STACKS. A. SALCH Every elliptic curve (i.e., genus 1 smooth projective curve with at least one point) over a field k is isomorphic to the projectivization of the affine curve given by the equation 2 3 2 y ` a1xy ` a3y “ x ` a2x ` a4x ` a6 for some a1; a2; a3; a4; a6 P k; this polynomial equation is called a Weierstrass equation, and a curve given by a Weierstrass equation is called a Weierstrass curve. A few useful quantities: 2 2 c4 “ pa1 ` 4a2q ´ 24p2a4 ` a1a3q; 2 3 2 2 c6 “ ´pa1 ` 4a2q ` 36pa1 ` 4a2qp2a4 ` a1a3q ´ 216pa3 ` 4a6q c3 ´ c2 ∆ “ 4 6 1728 dx ! “ : 2y ` a1x ` a3 If k is of characteristic ‰ 2; 3, then by a change of coordinates we can reduce to the simpler Weierstrass equation 2 3 (0.1) y “ x ´ 27c4x ´ 54c6; and then !, which is an algebraically-nice choice of generator for the module of dx differential 1-forms on the elliptic curve, takes the especially simple form 2y . While every elliptic curve is isomorphic to (the projectivization of) a Weier- strass curve, not every Weierstrass curve is an elliptic curve. The trouble is that a Weierstrass curve can have a singular point: a Jacobian calculation shows that you this happens if and only if ∆ “ 0. So, for every field k, you have a surjection ´1 from homComm RingspZra1; a2; a3; a4; a6sr∆ s; kq to the set of elliptic curves over k. Date: October 2018. 1 2 A. SALCH Better: let A “ Zra1; a2; a3; a4; a6s, and let Γ “ Arr; s; ts, with ring maps ηL : A Ñ Γ ηLpaiq “ ai for all i :Γ Ñ A prq “ 0 psq “ 0 ptq “ 0 ηR : A Ñ Γ ηRpa1q “ a1 ` 2s 2 ηRpa2q “ a2 ´ a1s
    [Show full text]
  • A GUIDE to the LITERATURE 03B0 Contents 1. Short Introductory Articles 1 2. Classic References 1 3. Books and Online Notes 2 4
    A GUIDE TO THE LITERATURE 03B0 Contents 1. Short introductory articles 1 2. Classic references 1 3. Books and online notes 2 4. Related references on foundations of stacks 3 5. Papers in the literature 3 5.1. Deformation theory and algebraic stacks 4 5.2. Coarse moduli spaces 5 5.3. Intersection theory 6 5.4. Quotient stacks 7 5.5. Cohomology 9 5.6. Existence of finite covers by schemes 10 5.7. Rigidification 11 5.8. Stacky curves 11 5.9. Hilbert, Quot, Hom and branchvariety stacks 12 5.10. Toric stacks 13 5.11. Theorem on formal functions and Grothendieck’s Existence Theorem 14 5.12. Group actions on stacks 14 5.13. Taking roots of line bundles 14 5.14. Other papers 14 6. Stacks in other fields 15 7. Higher stacks 15 8. Other chapters 15 References 16 1. Short introductory articles 03B1 • Barbara Fantechi: Stacks for Everybody [Fan01] • Dan Edidin: What is a stack? [Edi03] • Dan Edidin: Notes on the construction of the moduli space of curves [Edi00] • Angelo Vistoli: Intersection theory on algebraic stacks and on their moduli spaces, and especially the appendix. [Vis89] 2. Classic references 03B2 • Mumford: Picard groups of moduli problems [Mum65] This is a chapter of the Stacks Project, version fac02ecd, compiled on Sep 14, 2021. 1 A GUIDE TO THE LITERATURE 2 Mumford never uses the term “stack” here but the concept is implicit in the paper; he computes the picard group of the moduli stack of elliptic curves. • Deligne, Mumford: The irreducibility of the space of curves of given genus [DM69] This influential paper introduces “algebraic stacks” in the sense which are now universally called Deligne-Mumford stacks (stacks with representable diagonal which admit étale presentations by schemes).
    [Show full text]