DOCSLIB.ORG

[Math.AG] 2 Dec 2020 on the Brauer Groups of Fibrations

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
[Math.AG] 2 Dec 2020 on the Brauer Groups of Fibrations On the Brauer groups of fibrations Yanshuai Qin December 3, 2020 Contents 1 Introduction 1 1.1 TateconjectureandBrauergroup . .. 2 1.2 Brauergroupsforfibrations . 3 1.3 The finiteness of the Galois invariant part of geometric Brauer group . 4 1.4 Sketch of the proof of Theorem 1.4 ...................... 4 1.5 NotationandTerminology ........................... 5 2 Geometric Brauer groups and Tate-Shafarevich groups 8 2.1 Preliminary on Tate’s conjecture and Brauer groups . .... 8 2.2 The Galois invariant part of geometric Brauer group . ... 8 2.3 Tate-Shafarevichgroup. .. .. 12 2.4 Cofiniteness of Brauer groups and Tate-Shafarevich groups . ........ 14 3 Proof of the main theorem 15 arXiv:2012.01324v1 [math.AG] 2 Dec 2020 3.1 The left exactness in Theorem 1.4 ....................... 15 3.2 Thepull-backtrick ............................... 18 3.3 Proof of Theorem 1.4 .............................. 20 4 Applications 21 4.1 Proof of Theorem 1.8 .............................. 21 4.2 Proof of Theorem 1.2 .............................. 22 4.3 Brauer groups of integral models of abelian varieties and K3 surfaces . 22 1 Introduction Let C be the spectrum of the ring of integers in a number field or a smooth projective geometrically connected curve over a finite field with function field K. Let X be a 2- dimensional regular scheme and π : X −→ C be a proper flat morphism such that 1 the generic fiber X of π is smooth and geometrically connected over K. Artin and Grothendieck (cf.[Gro3, § 4] or [Ulm, Prop. 5.3]) proved that there is an isomorphism X 0 ∼ (PicX/K ) = Br(X ) X 0 up to finite groups. Assuming the finiteness of (PicX/K ) or Br(X ), Milne [Mil4], Gonzales-Aviles [Goa] and Geisser [Gei1] gave a precise relation between their orders. In this paper, we generalize the original result of Artin and Grothendieck to fibrations of high relative dimensions over arbitrary finitely generated fields. As a consequence, we reduce the Tate conjecture for divisors on smooth projective varieties over a finitely generated field K to the Tate conjecture for divisors on smooth projective varieties over the prime subfield of K. For any noetherian scheme X, the cohomological Brauer group 2 Br(X) := H (X, Gm)tor 2 is defined to be the torsion part of the etale cohomology group H (X, Gm). 1.1 Tate conjecture and Brauer group Let us first recall the Tate conjecture for divisors over finitely generated fields. Conjecture 1.1. ( Conjecture T 1(X,ℓ)) Let X be a projective and smooth variety over a finitely generated field k of characteristic p ≥ 0, and ℓ =6 p be a prime number. Then the cycle class map 2 Gk Pic(X) ⊗Z Qℓ −→ H (Xks , Qℓ(1)) is surjective. The conjecture is proved for abelian varieties by Tate [Tat3] (over finite fields), Zarhin [Zar1, Zar2] (over positive characteristics) and Faltings [Fal1, Fal2] (over characteristic zero), for K3 surfaces over characteristic zero by Andr´e[And] and Tankeev [Tan4, Tan5], for K3 surfaces over positive characteristics by Nygaard [Nyg], Nygaard-Ogus [NO], Artin- Swinnerton-Dyer[ASD], Maulik [Mau], Charles [Cha] and Madapusi-Pera [MP]. By a well-known result (see Proposition 2.1 ), T 1(X,ℓ) is equivalent to the finiteness Gk of Br(Xks ) (ℓ). Theorem 1.2. Let k be a prime field and K be a finitely generated field over k. Let ℓ be a prime different from char(k). Assuming that T 1(X ,ℓ) is true for all smooth projective varieties X over k, then T 1(X,ℓ) holds for all smooth projective varieties X over K. Remark 1.3. T 1(X,ℓ) for smooth projective varieties over finite fields has been reduced 1 1 to T (X,ℓ) for smooth projective surfaces X over finite fields with H (X, OX ) = 0 by the work of de Jong [deJ2], Morrow[Mor, Thm. 4.3] and Yuan [Yua1, Thm. 1.6]. The above reduction theorem was proved by Ambrosi[Amb]. The idea of our proof is to work on the obstructions of the Tate conjecture, i.e. Brauer groups directly. We obtain the following relation between Brauer groups for fibrations. 2 1.2 Brauer groups for fibrations For a torsion abelian group M and a prime number p, let M(non-p) denote the subgroup of elements of order prime to p. We also define M(non-p) := M for p = 0. For two abelian groups M and N, we say that they are almost isomorphic if there exists a subquotient M1/M0 of M(resp. N1/N0 of N) such that M0 (resp. N0) and M/M1 (resp. N/N1) are finite and M1/M0 ∼= N1/N0. Let f : M → N be a homomorphism with a finite cokernel and a kernel almost isomorphic to an abelian group H, in this situation, we say that the sequence 0 → H → M → N → 0 is exact up to finite groups. Theorem 1.4. Let k be a finitely generated field of characteristic p ≥ 0. Let X be a smooth geometrically connected variety over k and C be a smooth projective geometrically connected curve over k with function field K. Let π : X −→ C be a dominant morphism such that the generic fiber X is smooth projective geometrically connected over K. Let K′ s 0 denote Kk and write P for PicX/K,red. Define 1 ′ 1 X ′ sh K (P ) := Ker(H (K ,P ) −→ Y H (Kv ,P )). v∈Cks Then there is an exact sequence up to finite groups Gk Gk GK 0 → XK′ (P ) (non-p) → Br(Xks ) (non-p) → Br(XKs ) (non-p) → 0. In the case that k is a finite field and X is projective over k, the following result generalizes Artin-Grothendieck’s theorem to high relative dimensions. Corollary 1.5. Let π : X −→ C be a proper flat morphism, where C is a smooth projective geometrically connected curve over a finite field k of characteristic p with function field K. Assuming that X is smooth projective over k and the generic fiber X of π is smooth projective geometrically connected over K, then there is an exact sequence up to finite groups X 0 GK 0 → (PicX/K,red)(non-p) → Br(X )(non-p) → Br(XKs ) (non-p) → 0. Gk In Theorem 1.4, when k is finite, the canonical maps X(P )(non-p) → XK′ (P ) (non-p) Gk and Br(X ) → Br(Xks ) have finite kernels and cokernels (cf. Proposition 2.8 and [Yua2, Cor. 1.4]). Thus, Corollary 1.5 follows from Theorem 1.4. It is well-known that the BSD conjecture for an abelian variety over a global function field is equivalent to the finiteness of the Tate-Shafarevich group (cf. [Mil5] and [Sch]). Thus, Corollary 1.5 implies the following result: Corollary 1.6. Notations as in Corollary 1.5, then T 1(X ,ℓ) is equivalent to the BSD 0 1 conjecture for PicX/K,red and T (X,ℓ). Remark 1.7. Geisser[Gei2] first studied fibrations of high relative dimensions over finite fields by using etale motivic cohomology theory. He proved Corollary 1.6 and gave a 3 precise relation between the orders of the Tate-Shafarevich group of the Albanese variety of the generic fiber and the Brauer group of X under the assumption of the finiteness of Br(X ). For fibrations over the spectrum of the ring of integers in a number field of relative dimension > 1, the above question was first studied by Tankeev (cf.[Tan1, Tan2, Tan3]). In our forthcoming work, we will prove a version of Corollary 1.5 over the spectrum of the ring of integers in a number field. 1.3 The finiteness of the Galois invariant part of geometric Brauer group Gk In [SZ1], Skorobogatov and Zarkhin conjectured that Br(Xks ) is finite for any smooth projective variety X over a finitely generated field k. By the following result, assuming Gk Tate conjecture for divisors, we have that Br(Xks ) (non-p) is finite if k is a finitely generated field of characteristic p> 0. Theorem 1.8. Let k be a prime field and K be a field finitely generated over k. Then the following statements are true. Gk (1) If k = Q and Br(Xks ) is finite for any smooth projective variety X over k, then GK Br(XKs ) is finite for any smooth projective variety X over K. (2) If k = Fp and the Tate conjecture for divisors holds for any smooth projective variety GK over k, then Br(XKs ) (non-p) is finite for any smooth projective variety X over K. Gk Remark 1.9. In [SZ1, SZ2], Skorobogatov and Zarkhin proved the finiteness of Br(Xks ) (non-p) for abelian varieties and K3 surfaces(char(k) =6 2). 1.4 Sketch of the proof of Theorem 1.4 For the proof of Theorem 1.4, the left exactness will follow from Grothendieck’s argument in [Gro3, § 4]. The tricky part is to show that the natural map Gk GK Br(Xks ) (non-p) −→ Br(XKs ) (non-p) has a finite cokernel. The key idea is to use a pull-back trick developed by Colliot-Th´el`ene and Skorobogatov (cf.[CTS] or [Yua2] ) to reduce it to cases of relative dimension 1. Choose an open dense subset U ⊆ C such that π−1(U) −→ U is smooth and proper. Write V for π−1(U). By purity for Brauer groups, the natural map Gk Gk Br(Xks ) (non-p) −→ Br(Vks ) (non-p) is injective and has a finite cokernel. It suffices to show that GK Br(V)(non-p) −→ Br(XKs ) (non-p) 4 has a finite cokernel.
Load more

Recommended publications
  • Tate's Conjecture, Algebraic Cycles and Rational K-Theory In
    K-Theory 13: 109–122, 1998. 109 © 1998 Kluwer Academic Publishers. Printed in the Netherlands. Tate’s Conjecture, Algebraic Cycles and Rational K-Theory in Characteristic p THOMAS GEISSER? Institute for Experimental Mathematics, Ellernstr. 29, 45326 Essen, Germany e-mail: [email protected] (Received: May 1997) Abstract. The purpose of this article is to discuss conjectures on motives, algebraic cycles and K-theory of smooth projective varieties over finite fields. We give a characterization of Tate’s conjecture in terms of motives and their Frobenius endomorphism. This is used to prove that if Tate’s conjecture holds and rational and numerical equivalence over finite fields agree, then higher rational K-groups of smooth projective varieties over finite fields vanish (Parshin’s conjecture). Parshin’s conjecture in turn implies a conjecture of Beilinson and Kahn giving bounds on rational K-groups of fields in finite characteristic. We derive further consequences from this result. Mathematics Subject Classifications (1991). 19E08, 14C35, 19E15. Key words: higher algebraic K-theory, Milnor K-theory, finite fields, Tate’s conjecture, Beilinson’s conjecture, Parshin’s conjecture, Chow groups. 1. Introduction There are three results which allow to deduce properties of the category of motives for numerical equivalence: Deligne’s proof of the Weil conjectures, Jannsen’s semi- simplicity theorem, and the existence of the Frobenius automorphism πM for motives M. If one further assumes Tate’s conjecture, one can give a very precise description of this category (Milne [10]). For example, simple motives are determined by their Frobenius endomorphism, and one can recover the endomorphism algebra with the Frobenius.
    [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]
  • 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]
  • 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]
  • Monodromy and the Tate Conjecture-1
    Monodromy and the Tate conjecture-1 Monodromy and ttthe Tattte conjjjecttture::: Piiicard numbers and Mordellllll-Weiiilll ranks iiin famiiillliiies A. Johan de Jong and Nicholas M. Katz Intttroductttiiion We use results of Deligne on …-adic monodromy and equidistribution, combined with elementary facts about the eigenvalues of elements in the orthogonal group, to give upper bounds for the average "middle Picard number" in various equicharacteristic families of even dimensional hypersurfaces, cf. 6.11, 6.12, 6.14, 7.6, 8.12. We also give upper bounds for the average Mordell- Weil rank of the Jacobian of the generic fibre in various equicharacteristic families of surfaces fibred over @1, cf. 9.7, 9.8. If the relevant Tate Conjecture holds, each upper bound we find for an average is in fact equal to that average The paper is organized as follows: 1.0 Review of the Tate Conjecture 2.0 The Tate Conjecture over a finite field 3.0 Middle-dimensional cohomology 4.0 Hypersurface sections of a fixed ambient variety 5.0 Smooth hypersurfaces in projective space 6.0 Families of smooth hypersurfaces in projective space 7.0 Families of smooth hypersurfaces in products of projective spaces 8.0 Hypersurfaces in @1≠@n as families over @1 9.0 Mordell-Weil rank in families of Jacobians References 1...0 Reviiiew of ttthe Tattte Conjjjecttture 1.1 Let us begin by recalling the general Tate Conjectures about algebraic cycles on varieties over finitely generated ground fields, cf. Tate's articles [Tate-Alg] and [Tate-Conj]. We start with a field k, a separable closure äk of k, and Gal(äk/k) its absolute galois group.
    [Show full text]
  • Arxiv:1810.06480V3 [Math.AG] 10 May 2021 1.2.1
    A NOTE ON THE BEHAVIOUR OF THE TATE CONJECTURE UNDER FINITELY GENERATED FIELD EXTENSIONS EMILIANO AMBROSI ABSTRACT. We show that the `-adic Tate conjecture for divisors on smooth proper varieties over finitely generated fields of positive characteristic follows from the `-adic Tate conjecture for divisors on smooth projective surfaces over finite fields. Similar results for cycles of higher codimension are given. 1. INTRODUCTION Let k be a field of characteristic p ≥ 0 with algebraic closure k and write π1(k) for the absolute Galois group of k.A k-variety is a reduced scheme, separated and of finite type over k. For a k-variety Z i write Zk := Z ×k k and CH (Zk) for the group of algebraic cycles of codimension i modulo rational equivalence. Let ` 6= p be a prime. 1.1. Conjectures. Recall the following versions of the Grothendieck-Serre-Tate conjectures ([Tat65], [And04, Section 7.3]): Conjecture 1.1.1. If k is finitely generated and Z is a smooth proper k-variety, then: • T (Z; i; `): The `-adic cycle class map [ 0 c : CHi(Z ) ⊗ ! H2i(Z ; (i))π1(k ) Zk k Q` k Q` [k0:k]<+1 is surjective; 2i • S(Z; i; `): The action of π1(k) on H (Zk; Q`(i)) is semisimple; 2i π1(k) 2i • WS(Z; i; `): The inclusion H (Zk; Q`(i)) ⊆ H (Zk; Q`(i)) admits a π1(k)-equivariant splitting. For a field K, one says that T (K; i; `) holds if for every finite field extension K ⊆ L and every smooth proper L-variety Z, T (Z; i; `) holds.
    [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]
  • Arxiv:1711.06456V4 [Math.AG] 1 Dec 2018
    PURITY FOR THE BRAUER GROUP KĘSTUTIS ČESNAVIČIUS Abstract. A purity conjecture due to Grothendieck and Auslander–Goldman predicts that the Brauer group of a regular scheme does not change after removing a closed subscheme of codimension ě 2. The combination of several works of Gabber settles the conjecture except for some cases that concern p-torsion Brauer classes in mixed characteristic p0,pq. We establish the remaining cases by using the tilting equivalence for perfectoid rings. To reduce to perfectoids, we control the change of the Brauer group of the punctured spectrum of a local ring when passing to a finite flat cover. 1. The purity conjecture of Grothendieck and Auslander–Goldman .............. 1 Acknowledgements ................................... ................................ 3 2. Passage to a finite flat cover ................................................... .... 3 3. Passage to the completion ................................................... ....... 6 4. The p-primary Brauer group in the perfectoid case .............................. 7 5. Passage to perfect or perfectoid towers ........................................... 11 6. Global conclusions ................................................... ............... 13 Appendix A. Fields of dimension ď 1 ................................................ 15 References ................................................... ........................... 16 1. The purity conjecture of Grothendieck and Auslander–Goldman Grothendieck predicted in [Gro68b, §6] that the cohomological Brauer group of a regular scheme X is insensitive to removing a closed subscheme Z Ă X of codimension ě 2. This purity conjecture is known in many cases (as we discuss in detail below), for instance, for cohomology classes of order 2 invertible on X, and its codimension requirement is necessary: the Brauer group of AC does not agree with that of the complement of the coordinate axes (see [DF84, Rem. 3]). In this paper, we finish the remaining cases, that is, we complete the proof of the following theorem.
    [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]
  • A REMARK on UNIFORM BOUNDEDNESS for BRAUER GROUPS 1. Introduction 1.1. Let K Be a Field of Characteristic P ≥ 0 and Let K Be A
    A REMARK ON UNIFORM BOUNDEDNESS FOR BRAUER GROUPS ANNA CADORET AND FRANC¸OIS CHARLES Abstract. The Tate conjecture for divisors on varieties over number fields is equivalent to finiteness of `-primary torsion in the Brauer group. We show that this finiteness is actually uniform in one-dimensional families for varieties that satisfy the Tate conjecture for divisors { e.g. abelian varieties and K3 surfaces. 1. Introduction 1.1. Let k be a field of characteristic p ≥ 0 and let k be a separable closure of k. Let X be a smooth proper variety over k. For any prime number ` 6= p, consider the cycle class map 2 c1 : Pic(Xk) ⊗ Q` ! H (Xk; Q`(1)): 2 The absolute Galois group Gal(k=k) of k acts naturally on the ´etalecohomology group H (Xk; Q`(1)), and the image of the cycle class map c1 is contained in the group [ 2 U H (Xk; Q`(1)) ; U where U runs through the open subgroups of Gal(k=k). We say that X satisfies the `-adic Tate conjecture for divisors if the image of c1 is equal to the group above. As is well-known, the Tate conjecture for divisors is related to finiteness results for the Brauer group. Indeed, given X and ` as above, X satisfies the `-adic Tate conjecture for divisors if and only if for every subgroup U of finite index in Gal(k=k), the group U 1 Br(Xk) [` ] is finite. 1.2. In this paper, we investigate whether one might be able to find uniform bounds on the Brauer groups above when the variety X varies in a family.
    [Show full text]
  • The Mumford-Tate Conjecture for Drinfeld-Modules
    MUMFORD-TATE CONJECTURE 1 THE MUMFORD-TATE CONJECTURE FOR DRINFELD-MODULES by Richard PINK* Abstract Consider the Galois representation on the Tate module of a Drinfeld module over a finitely generated field in generic characteristic. The main object of this paper is to determine the image of Galois in this representation, up to commensurability. We also determine the Dirichlet density of the set of places of prescribed reduction type, such as places of ordinary reduction. §0. Introduction Let F be a finitely generated field of transcendence degree 1 over a finite field of characteristic p. Fix a place ∞ of F , and let A be the ring of elements of F which are regular outside ∞. Consider a finitely generated extension K of F and a Drinfeld module ϕ : A → EndK (Ga) of rank n ≥ 1 (cf. Drinfeld [10]). In other words K is a finitely generated field of transcendence degree ≥ 1 over Fp, and ϕ has “generic characteristic”. sep Let K ⊂ K¯ denote a separable, respectively algebraic closure of K. Let Fλ denote the completion of F at a place λ. If λ 6= ∞ we have a continuous representation sep ρλ : Gal(K /K) −→ GLn(Fλ) Communicated by Y. Ihara, September 20, 1996. 1991 Mathematics Subject Classifications: 11G09, 11R58, 11R45 * Fakult¨at f¨ur Mathematik und Informatik, Universit¨at Mannheim, D-68131 Mannheim, Germany 2 RICHARD PINK which describes the Galois action on the λ-adic Tate module of ϕ. The main goal of this article is to give a qualitative characterization of the image of ρλ. Here the term “qualitative” refers to properties that are shared by all open subgroups, i.e.
    [Show full text]