DOCSLIB.ORG

Computations of the Cohomological Brauer Group of Some Algebraic Stacks

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Computations of the Cohomological Brauer Group of Some Algebraic Stacks Computations of the cohomological Brauer group of some algebraic stacks by Minseon Shin A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy in Mathematics in the Graduate Division of the University of California, Berkeley Committee in charge: Professor Martin C. Olsson, Chair Professor Sug Woo Shin Professor Daniel Tataru Professor Surjeet Rajendran Spring 2019 Computations of the cohomological Brauer group of some algebraic stacks Copyright 2019 by Minseon Shin 1 Abstract Computations of the cohomological Brauer group of some algebraic stacks by Minseon Shin Doctor of Philosophy in Mathematics University of California, Berkeley Professor Martin C. Olsson, Chair The theme of this dissertation is the Brauer group of algebraic stacks. Antieau and Meier showed that if k is an algebraically closed field of char k 6= 2, then Br(M1;1;k) = 0, where M1;1 is the moduli stack of elliptic curves. We show that if char k = 2 then Br(M1;1;k) = Z=(2). In another direction, we compute the cohomological Brauer group of Gm-gerbes; this is an analogue of a result of Gabber which computes the cohomological Brauer group of Brauer- Severi schemes. We also discuss two kinds of algebraic stacks X for which not all torsion 2 0 classes in H´et(X; Gm) are represented by Azumaya algebras on X (i.e. Br 6= Br ). i Contents Acknowledgements iii Introduction iv 1. Generalities 1 1.1. Skolem-Noether for locally ringed sites 1 1.2. Azumaya algebras and the Brauer group 3 1.3. Gerbes and twisted sheaves 7 1.4. Brauer map 11 1.5. The cup product and cyclic algebras 13 2. Brauer groups of algebraic stacks: generalities and examples 17 2.1. Surjectivity of Brauer map 17 2.2. Low-dimensional stacks 19 2.3. Quotient stacks by discrete groups 20 2.4. Classifying stack of an elliptic curve 21 2.5. Classifying stack of diagonalizable groups 22 2.6. Classifying stack of GLn 26 3. The Brauer group of the moduli stack of elliptic curves 30 3.1. Introduction 30 3.2. Preliminary observations 30 3.3. The case char k is not 2 32 3.4. The case char k is 2 37 4. The cohomological Brauer group of Gm-gerbes 49 4.1. Main theorem and introductory remarks 49 4.2. Gerbes and the transgression map 50 4.3. Picard groups of (Laurent) polynomial rings 52 4.4. Unit groups of Laurent polynomial rings 59 4.5. Proof of the main theorem 61 5. Variants 66 5.1. The Azumaya Brauer group of a Brauer-Severi scheme 66 5.2. The Azumaya Brauer group of a Gm-gerbe 67 5.3. A1-homotopy invariance of the Brauer group 68 Appendix A. Torsors under torsion-free abelian groups 71 Appendix B. Cohomology and spectral sequences 71 B.1. Cohomological descent spectral sequence 72 B.2. Higher direct images of sheaves on classifying stacks of discrete groups 72 Appendix C. Inverse image of gerbes 73 Appendix D. The Weierstrass and Hesse presentations of M1;1 77 D.1. Full level N structures 77 D.2. Comparing the Weierstrass and Hesse presentations 78 ii Appendix E. Computation using Magma 84 References 85 iii Acknowledgements I would like to thank my advisor Martin Olsson. He suggested this research topic, gen- erously shared his ideas, and patiently answered my questions. I greatly admire his mathe- matical style and taste and hope to continue learning from him. I had many helpful conversations with friends, for whom I am very grateful. They taught me many things, mathematical and otherwise, and they continue to humble me. I thank my family for their support in general. I received support from NSF grant DMS-1646385 (the Berkeley RTG in Arithmetic Geom- etry and Number Theory) during Fall 2017 and Fall 2018, and the Raymond H. Sciobereti Fellowship (the Berkeley mathematics department spring fellowship) during Spring 2017. iv Introduction The Brauer group of a field k is a classical invariant which classifies central simple k- algebras, and the Brauer group of an algebraic variety X classifies Azumaya OX -algebras, which are \twists" of the matrix algebra Matn×n(OX ) over the structure sheaf OX . In complex geometry, the fact that the Brauer group is an invariant for birational maps can be used to determine whether a variety is rational. In number theory, the Tate conjecture for divisors for a smooth projective surface X over a finite field is known to be equivalent to the finiteness of Br X. In this dissertation, we are interested in Brauer groups of algebraic stacks. An Azumaya algebra on a moduli stack corresponds to a family of Azumaya algebras on the objects of the moduli stack compatible with all morphisms between the objects. The Brauer group of a quotient stack [X=G] corresponds to Azumaya algebras on X that are equivariant with respect to the G-action. The Brauer group of stacks may sometimes be used to answer questions about algebraic varieties; for example, Lieblich [61] considered the Brauer group of classifying stacks Bµn to prove new cases of the period-index conjecture for function fields of curves over local fields. For the moduli stack of elliptic curves M1;1;k over an algebraically closed field k, Antieau and Meier had shown that Br(M1;1;k) = 0 if char k 6= 2. In Section 3 we compute Br(M1;1;k) in the characteristic 2 case: Theorem A1 ([4, 11.2] in char k 6= 2). Let k be an algebraically closed field. Then Br M1;1;k is 0 unless char k = 2, in which case Br M1;1;k = Z=(2). Theorem A2. Let k be a finite field of characteristic 2. Then ( Z=(12) ⊕ Z=(2) if x2 + x + 1 has a root in k Br M1;1;k = Z=(24) otherwise. The methods of [4] do not apply to the characteristic 2 case since they rely on the finite Galois cover of M1;1;k obtained by fixing a full level 2 structure. We study the char k = 2 case by considering full level 3 structures instead, which comes at the cost of increasing the size of the group (by which M1;1;k is a quotient stack) from j GL2(F2)j = 6 to j GL2(F3)j = 48. Gabber proved that, given a Brauer-Severi scheme π : X ! S, the cohomological Brauer group Br0(X) is the quotient of Br0(S) by the class [X]. In Section 4 we prove an analogous result on the cohomological Brauer group of Gm-gerbes: 0 Theorem B. Let S be a scheme and let πG : G! S be a Gm;S-gerbe with [G] 2 Br S. Then the sequence π∗ 0 0 G 0 H´et(S; Z) ! Br S ! Br G! 0 is exact, where the first map sends 1 7! [G]. This is one of the first computations of the Brauer group of an algebraic stack that is not a Deligne-Mumford stack. It may be viewed as a generalization of Gabber's result since the 1 2 image of a Brauer-Severi scheme X under the coboundary H´et(S; PGLn) ! H´et(S; Gm) is a torsion Gm-gerbe. Assuming additional hypotheses on S (i.e. that it is regular and its fraction field has characteristic 0), we give another proof of Gabber's result. v We discuss two kinds examples of algebraic stacks for which Br 6= Br0, namely the classi- fying stack of Z ⊕ Z over a regular local ring (see Example 2.3.5), and the classifying stack of an elliptic curve (see Corollary 2.4.6). In Section 5 we explore some questions related to the Brauer group of algebraic stacks. Whereas in Gabber's result and our Theorem B we are concerned with the cohomological Brauer group, it would also be interesting to ask whether the same statements hold with \Br0" replaced by \Br" (the Azumaya Brauer group). Partial positive results are discussed in Section 5.1 and Section 5.2. In Section 5.3 we discuss whether the Brauer group functor is an \A1-homotopy invariant", 1 namely whether Br S ! Br AS is an isomorphism. This is a question that arises naturally when trying to compute the Brauer group via the descent spectral sequence associated to a smooth covering; it may be viewed as being part of a collection of questions asking when i the ´etalecohomology functor H´et(−; Gm) for i ≥ 0 is invariant with respect to polynomial extensions of the ground ring. It is known that the unit group (i.e. the i = 0 case) is invariant exactly when the ring is reduced, and the Picard group (i.e. the i = 1 case) is invariant exactly when the ring is seminormal; it would be nice to find a similar, purely ring-theoretic criterion which corresponds exactly to those cases in which the Brauer group (roughly the i = 2 case) is invariant. The only unknown part is concerning the `-torsion for primes ` that are not invertible in the base. We extend a result of Knus and Ojanguren to show that the Brauer group is A1-homotopy invariant if the base is a monoid algebra over a small class of regular rings. 1 1. Generalities In this section we discuss Azumaya algebras on locally ringed sites. Some standard refer- ences are Giraud [40], Lieblich [59], and the Stacks Project [88]. 1.1. Skolem-Noether for locally ringed sites. Definition 1.1.1 (Locally ringed site, locally ringed topos). 1 A locally ringed site is a ringed site (C; O) such that, for every object U 2 C and f 2 Γ(U; O), there exists a covering fUi ! Ugi2I of U such that for each i 2 I, either fjUi or (1 − f)jUi is a unit of Γ(Ui; O).
Load more

Recommended publications
  • AZUMAYA, SEMISIMPLE and IDEAL ALGEBRAS* Introduction. If a Is An
    BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 78, Number 4, July 1972 AZUMAYA, SEMISIMPLE AND IDEAL ALGEBRAS* BY M. L. RANGA RAO Communicated by Dock S. Rim, January 31, 1972 Introduction. If A is an algebra over a commutative ring, then for any ideal I of R the image of the canonical map / ® R A -» A is an ideal of A, denoted by IA and called a scalar ideal. The algebra A is called an ideal algebra provided that / -> IA defines a bijection from the ideals of R to the ideals of A. The contraction map denned by 21 -> 91 n JR, being the inverse mapping, each ideal of A is a scalar ideal and every ideal of R is a contraction of an ideal of A. It is known that any Azumaya algebra is an ideal algebra (cf. [2], [4]). In this paper we initiate the study of ideal algebras and obtain a new characterization of Azumaya algebras. We call an algebra finitely genera­ ted (or projective) if the R-module A is, and show that a finitely generated algebra A is Azumaya iff its enveloping algebra is ideal (1.7). Hattori introduced in [9] the notion of semisimple algebras over a commutative ring as those algebras whose relative global dimension [10] is zero. If R is a Noetherian ring, central, finitely generated semisimple algebras have the property that their maximal ideals are all scalar ideals [6, Theorem 1.6]. It is also known that for R, a Noetherian integrally closed domain, finitely generated, projective, central semisimple algebras are maximal orders in central simple algebras [9, Theorem 4.6].
    [Show full text]
  • 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]
  • No Transcendental Brauer-Manin Obstructions on Abelian Varieties
    THERE ARE NO TRANSCENDENTAL BRAUER-MANIN OBSTRUCTIONS ON ABELIAN VARIETIES BRENDAN CREUTZ Abstract. Suppose X is a torsor under an abelian variety A over a number field. We show that any adelic point of X that is orthogonal to the algebraic Brauer group of X is orthogonal to the whole Brauer group of X. We also show that if there is a Brauer-Manin obstruction to the existence of rational points on X, then there is already an obstruction coming from the locally constant Brauer classes. These results had previously been established under the assumption that A has finite Tate-Shafarevich group. Our results are unconditional. 1. Introduction Let X be a smooth projective and geometrically integral variety over a number field k. In order that X possesses a k-rational point it is necessary that X has points everywhere locally, i.e., that the set X(Ak) of adelic points on X is nonempty. The converse to this statement is called the Hasse principle, and it is known that this can fail. When X(k) is nonempty one can ask if weak approximation holds, i.e., if X(k) is dense in X(Ak) in the adelic topology. Manin [Man71] showed that the failure of the Hasse principle or weak approximation can, in many cases, be explained by a reciprocity law on X(Ak) imposed by the Brauer group, 2 Br X := Hét(X, Gm). Specifically, each element α ∈ Br X determines a continuous map, α∗ : X(Ak) → Q/Z, between the adelic and discrete topologies with the property that the subset X(k) ⊂ X(Ak) of rational points is mapped to 0.
    [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]
  • Brauer Groups of Abelian Schemes
    ANNALES SCIENTIFIQUES DE L’É.N.S. RAYMOND T. HOOBLER Brauer groups of abelian schemes Annales scientifiques de l’É.N.S. 4e série, tome 5, no 1 (1972), p. 45-70 <http://www.numdam.org/item?id=ASENS_1972_4_5_1_45_0> © Gauthier-Villars (Éditions scientifiques et médicales Elsevier), 1972, tous droits réservés. L’accès aux archives de la revue « Annales scientifiques de l’É.N.S. » (http://www. elsevier.com/locate/ansens) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systé- matique est constitutive d’une infraction pénale. Toute copie ou impression de ce fi- chier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ Ann. scienL EC. Norm. Sup., 4® serie, t. 5, 1972, p. 45 ^ 70. BRAUER GROUPS OF ABELIAN SCHEMES BY RAYMOND T. HOOBLER 0 Let A be an abelian variety over a field /c. Mumford has given a very beautiful construction of the dual abelian variety in the spirit of Grothen- dieck style algebraic geometry by using the theorem of the square, its corollaries, and cohomology theory. Since the /c-points of Pic^n is H1 (A, G^), it is natural to ask how much of this work carries over to higher cohomology groups where the computations must be made in the etale topology to render them non-trivial. Since H2 (A, Gm) is essentially a torsion group, the representability of the corresponding functor does not have as much geometric interest as for H1 (A, G^).
    [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]
  • Uniform Distribution in Subgroups of the Brauer Group of an Algebraic Number Field
    Pacific Journal of Mathematics UNIFORM DISTRIBUTION IN SUBGROUPS OF THE BRAUER GROUP OF AN ALGEBRAIC NUMBER FIELD GARY R. GREENFIELD Vol. 107, No. 2 February 1983 PACIFIC JOURNAL OF MATHEMATICS Vol. 107, No. 2, 1983 UNIFORM DISTRIBUTION IN SUBGROUPS OF THE BRAUER GROUP OF AN ALGEBRAIC NUMBER FIELD GARY R. GREENFIELD We construct subgroups of the Brauer group of an algebraic number field whose member classes have Hasse invariants satisfying a rigid arithmetic structure — that of (relative) uniform distribution. After ob- taining existence and structure theorems for these subgroups, we focus on the problem of describing algebraic properties satisfied by the central simple algebras in these subgroups. Key results are that splitting fields are determined up to isomorphism, and there exists a distinguished subgroup of central automorphisms which can be extended. 1. Introduction. Let K be an algebraic number field, and let denote the class of the finite dimensional central simple X-algebra A in the Brauer group B(K) of K. The class [A] is determined arithmetically by its Hasse invariants at the primes of K. Algebraic properties of A often impose severe but interesting arithmetic properties on its invariants. As evidence we cite the important work of M. Benard and M. Schacher [2] concerning the invariants when [A] is in S(K) the Schur subgroup of K, and the surprising result of G. Janusz [4] obtained in considering the problem of when an automorphism of K extends to A. In this paper we offer a construction which gives rise to subgroups of B(K) whose member classes have invariants which possess a rigid arith- metic structure — that of uniform distribution — then search for corre- sponding algebraic properties.
    [Show full text]
  • Non-Additive Ring and Module Theory IV the Brauer Group of a Symmetric
    Lecture Notes in Mathematics Edited by A. Dold and B. Eckmann 549 Brauer Groups Proceedings of the Conference Held at Evanston, October 11-15,1975 * 416 109 546 200 16 Edited by D. Zelinsky Springer-Verlag Berlin · Heidelberg · NewYork1976 Editor Daniel Zelinsky Northwestern University Department of Mathematics Evanston, II. 60091/USA Library of Congress Cataloging in Publication Data Main entry under title: Brauer groups. (Lecture notes in mathematics ; 5^9) "Sponsored by Northwestern University." Bi bli ography: ρ. Includes index. 1. Brauer group--Congresses. 2. Separable algebras—Congresses. I. Zelinsky, Daniel. II. Northwestern University, Evanston, 111. III. Series: Lecture notes in mathematics (Berlin) ; 5^9. QA3.L28 no. 5^9 [QA251.3] 510'.8s [512».2*0 76-kekie AMS Subject Classifications (1970): 13A20, 16A16, 18H20, 14C20, 14H99, 14L15, 18D10 ISBN 3-540-07989-0 Springer-Verlag Berlin · Heidelberg · New York ISBN 0-387-07989-0 Springer-Verlag New York · Heidelberg · Berlin This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically those of translation, re­ printing, re-use of illustrations, broadcasting, reproduction by photocopying machine or similar means, and storage in data banks. Under § 54 of the German Copyright Law where copies are made for other than private use, a fee is payable to the publisher, the amount of the fee to be determined by agreement with the publisher. © by Springer-Verlag Berlin · Heidelberg 1976 Printed in Germany Printing and binding: Beltz Offsetdruck, Hemsbach/Bergstr. CONTENTS Lindsay N, Childs On Brauer groups of some normal local rings..... 1 P.
    [Show full text]
  • The Brauer Group of the Moduli Stack of Elliptic Curves Over Algebraically Closed fields of Characteristic 2, J
    The Brauer group of the moduli stack of elliptic curves Benjamin Antieau∗ and Lennart Meier† Abstract We compute the Brauer group of M1,1, the moduli stack of elliptic curves, over Spec Z, its localizations, finite fields of odd characteristic, and algebraically closed fields of characteristic not 2. The methods involved include the use of the parameter space of Legendre curves and the moduli stack M(2) of curves with full (naive) level 2 structure, the study of the Leray–Serre spectral sequence in ´etale cohomology and the Leray spectral sequence in fppf cohomology, the computation of the group cohomology of S3 in a certain integral representation, the classification of cubic Galois extensions of Q, the computation of Hilbert symbols in the ramified case for the primes 2 and 3, and finding p-adic elliptic curves with specified properties. Key Words. Brauer groups, moduli of elliptic curves, level structures, Hilbert sym- bols. Mathematics Subject Classification 2010. Primary: 14F22, 14H52, 14K10. Secondary: 11G05, 11G07. Contents 1 Introduction 2 2 Brauer groups, cyclic algebras, and ramification 4 3 The low-dimensional Gm-cohomology of BCm 10 4 A presentation of the moduli stack of elliptic curves 13 arXiv:1608.00851v3 [math.AG] 5 May 2020 5 Beginning of the computation 17 6 The p-primary torsion in Br(MZ[ 1 ]) for primes p 5 21 2 ≥ 7 The 3-primary torsion in Br(M ) 22 Z 1 [ 6 ] 8 The ramification of the 3-torsion 24 9 The 2-primary torsion in Br(M 1 ) 26 Z[ 2 ] 10 The Brauer group of M 30 11 The Brauer group of M over Fq with q odd 31 ∗Benjamin Antieau was supported by NSF Grants DMS-1461847 and DMS-1552766.
    [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]
  • Brauer Groups and Galois Cohomology of Function Fields Of
    Brauer groups and Galois cohomology of function fields of varieties Jason Michael Starr Department of Mathematics, Stony Brook University, Stony Brook, NY 11794 E-mail address: [email protected] Contents 1. Acknowledgments 5 2. Introduction 7 Chapter 1. Brauer groups and Galois cohomology 9 1. Abelian Galois cohomology 9 2. Non-Abelian Galois cohomology and the long exact sequence 13 3. Galois cohomology of smooth group schemes 22 4. The Brauer group 29 5. The universal cover sequence 34 Chapter 2. The Chevalley-Warning and Tsen-Lang theorems 37 1. The Chevalley-Warning Theorem 37 2. The Tsen-Lang Theorem 39 3. Applications to Brauer groups 43 Chapter 3. Rationally connected fibrations over curves 47 1. Rationally connected varieties 47 2. Outline of the proof 51 3. Hilbert schemes and smoothing combs 54 4. Ramification issues 63 5. Existence of log deformations 68 6. Completion of the proof 70 7. Corollaries 72 Chapter 4. The Period-Index theorem of de Jong 75 1. Statement of the theorem 75 2. Abel maps over curves and sections over surfaces 78 3. Rational simple connectedness hypotheses 79 4. Rational connectedness of the Abel map 81 5. Rational simply connected fibrations over a surface 82 6. Discriminant avoidance 84 7. Proof of the main theorem for Grassmann bundles 86 Chapter 5. Rational simple connectedness and Serre’s “Conjecture II” 89 1. Generalized Grassmannians are rationally simply connected 89 2. Statement of the theorem 90 3. Reductions of structure group 90 Bibliography 93 3 4 1. Acknowledgments Chapters 2 and 3 notes are largely adapted from notes for a similar lecture series presented at the Clay Mathematics Institute Summer School in G¨ottingen, Germany in Summer 2006.
    [Show full text]