DOCSLIB.ORG

ABELIAN VARIETIES Note to the Reader 3 1. Basic Theory 4 1.1. Group Schemes 4 1.2. Complex Tori 5 1.3. Link Between Complex Abel

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
ABELIAN VARIETIES Note to the Reader 3 1. Basic Theory 4 1.1. Group Schemes 4 1.2. Complex Tori 5 1.3. Link Between Complex Abel ABELIAN VARIETIES BRIAN CONRAD LECTURE NOTES BY TONY FENG CONTENTS Note to the reader 3 1. Basic theory 4 1.1. Group schemes 4 1.2. Complex tori 5 1.3. Link between complex abelian varieties and complex tori 6 1.4. The Mordell–Weil Theorem 7 1.5. Commutativity 8 1.6. Torsion 11 1.7. Rigidity 12 2. The Picard functor 17 2.1. Overview 17 2.2. Rigidification 17 2.3. Representability 20 2.4. Properties of PicX =k 22 3. Line bundles on abelian varieties 25 3.1. Some fundamental tools 25 3.2. The φ construction 27 3.3. The Poincaré bundle 30 3.4. Projectivity of abelian varieties 31 4. Torsion 37 4.1. Multiplication by n 37 4.2. Structure of the torsion subgroup 40 5. The dual abelian variety 45 5.1. Smoothness 45 5.2. Characterization of φ 47 5.3. The Néron–Severi groupL 50 6. Descent 53 6.1. Motivation 53 6.2. fpqc descent 54 7. More on the dual abelian variety 61 7.1. Dual morphisms 61 7.2. Cohomology of the Poincaré bundle 62 7.3. Dual isogenies 66 1 Abelian Varieties Spring Quarter, 2015 7.4. Symmetric morphisms 68 7.5. Ampleness 70 7.6. Endomorphisms 72 8. The Weil Pairing 78 8.1. Cartier duality 78 8.2. Explicit description of the Weil pairing 81 9. The Mordell–Weil Theorem 85 9.1. Overview 85 9.2. Proof assuming weak Mordell–Weil plus heights 86 9.3. The weak Mordell–Weil Theorem 87 10. Heights 93 10.1. Naive Heights 93 10.2. Intrinsic theory of heights 97 10.3. Tate’s canonical height 100 References 105 2 Abelian Varieties Spring Quarter, 2015 NOTE TO THE READER This document consists of lecture notes that Tony Feng “live-TEXed” from a course given by Brian Conrad at Stanford University in the Spring quarter of 2015, which both Feng and Conrad edited afterwards. The material in §10.3 is largely distinct from Conrad’s lectures, and two substitute lectures were delivered (by Akshay Venkatesh and Zhiwei Yun) when Conrad was out of town. For two lectures missed by Feng, we are grateful to Ho Chung Siu and David Sherman for providing notes to fill in the gaps. 3 Abelian Varieties Spring Quarter, 2015 1. BASIC THEORY 1.1. Group schemes. Definition 1.1.1. Let S be a scheme. An S-group (or group scheme over S) is a group object in the category of S-schemes. In other words, it is an S-scheme G equipped with an S-map m : G S G G (multiplication), an S map i : G G (inversion), and a section e : S G such× that! the usual group axiom diagrams commute:! (1) (Associativity)! 1 m G G G × / G G × × × m 1 m × G G m / G × (2) (Identity) 1 e G S × / G G × × e 1 m × 1 % G G m / G × (3) (Inverse) 1,i G / G G × i ,1 G G % S m × e m # ) G Remark 1.1.2. By Yoneda’s Lemma, it is equivalent to endow G S Hom S ,G with a ( 0) = ( 0 ) group structure functorially in S-schemes S . 0 Exercise 1.1.3. Using the Yoneda interpretation, show that if G ,H are S-groups and f : G H is an S-scheme map that respects the multiplication morphisms, then it au- tomatically! respects the inversion map and identity section. Carry over all other triv- ialities from the beginnings of group theory (such as uniqueness of identity section). Can you do all this by writing huge diagrams and avoiding Yoneda? Exercise 1.1.4. Let f : G H be a homomorphism of S-groups. The fiber product f 1 e G S is the! scheme-theoretic kernel of f , denoted ker f . Prove that it − ( H ) = H ,eH is a locally closed× subscheme of G whose set of S -points (for an S-scheme S ) is the 0 0 subgroup ker G S H S . The situation for cokernels is far more delicate, much ( ( 0) ( 0)) like for quotient sheaves.! The fact that this is a (locally closed) subscheme is not entirely trivial, as sections need not be closed immersions in general! (Consider the affine line with the doubled origin mapping to the affine line by crushing the two origins.) 4 Abelian Varieties Spring Quarter, 2015 Exercise 1.1.5. For each of the following group-valued functors on schemes, write down a representing affine scheme and the multiplication, inversion, and identity maps at the level of coordinate rings: m Ga (S) = Γ (S, S ),GLn (S) = GLn (Γ (S, S )),µm = ker(t : GL1 GL1). O O ! For a finite group G , do the same for the functor of locally constant G -valued functions (called the constant Z-group associated to G ). Definition 1.1.6. An abelian variety over a field k is a smooth, connected, proper k- group scheme X . In particular, there are morphisms m : X X X , e X (k), i : X X satisfying the usual group-axiom diagrams. × ! 2 ! From the functor of points perspective, this is equivalent to R X (R) being a group functor on k-algebras R. 7! Remark 1.1.7. By smoothness, it suffices to check the group-scheme axioms for such given data on X on k-points. This is sometimes a useful fact. Example 1.1.8. In dimension 1, an abelian variety is an elliptic curve (a genus-1 curve with a rational point e X (k)). 2 Exercise 1.1.9. Let G be a group scheme locally of finite type over a field k, and let the map m : G G G be the multiplication morphism. Prove that the tangent map × ! d m(e ,e ) : Te (G ) Te (G ) Te (G ) ⊕ ! is addition. This is very useful! 1.2. Complex tori. Definition 1.2.1. A complex torus is a connected compact Lie group over C. These are the analytic analogues of abelian varieties over C. Example 1.2.2. If V Cg and Λ V is a lattice (a discrete, co-compact subgroup) then V =Λ is a complex torus.' ⊂ Example 1.2.3. Let C be a connected compact Riemann surface. Then C X an, where X is a smooth proper connected curve over C (i.e. “comes from” algebraic' geometry). We now construct a natural complex torus from C , studied by Abel and Jacobi long before the advent of the algebraic theory of abelian varieties (and in fact a big impetus for its development by Weil and others). 1 The space Ω (C ) of holomorphic 1-forms on C is a g -dimensional C-vector space. We have H C ,Z Z2g , and there is a natural map H C ,Z 1 C via integration 1( ) 1( ) Ω ( )∗ along cycles. Here' is a crucial property: ! Exercise 1.2.4. Show that the image of H C ,Z in 1 C is a lattice. One approach is to 1( ) Ω ( )∗ 1 1 1 use the fact from Hodge theory that the natural C-linear map Ω (C ) Ω (C ) H (C ,C) is an isomorphism. (There are proofs which do not use Hodge theory.)⊕ ! 1 R If we pick bases w j for Ω C and σi for H1 C ,Z , then !j is a 2g g matrix, ( )∗ ( ) ( σi ) called the period matrixf g . f g × 5 Abelian Varieties Spring Quarter, 2015 Definition 1.2.5. The analytic Jacobian of C is J 1 C H C ,Z , a g -dimensional C = Ω ( )∗= 1( ) complex torus. Remark 1.2.6. Notice that J is covariant in C . Namely, a map f : C C induces C 0 C C and f : H C ,Z H C ,Z . One can check that the diagram! Ω( 0)∗ Ω( )∗ 1( 0 ) 1( ) ! ∗ ! C H C ,Z Ω( 0) o 1( 0 ) Ω(C ) o H1(C ,Z) is commutative, hence we obtain an induced map on analytic Jacobians. If g > 0, then there is an almost canonical way of embedding C in JC . For a basepoint R c c0 C , we have a map ιc : C JC defined by c mod H1 C ,Z . The integral 0 c0 ( ( )) depends2 on the choice of path,! and integrating a holomorphic7! differential is unaffected by homotopy, so the integral is well-defined modulo integrals along loops. Exercise 1.2.7. If g > 0, then prove that the map of sets ιc0 : C JC is complex-analytic ! and has smooth image over which C is a finite analytic covering space. Deduce that ic0 is a closed embedding when g > 1, and prove that ic0 is an isomorphism when g = 1 by identifying H1(ic0 ,Z) with the identity map when g = 1. This is a powerful tool for studying curves using knowledge of complex tori. We would like to replicate this in algebraic geometry over C, and then over general fields. Before we discuss the algebraic theory, we remark on the ubiquity of the preceding construction. Theorem 1.2.8. Every complex torus A is commutative (contrast with connected com- pact Lie groups over R!) and the holomorphic exponential map expA : T0(A) A is a surjective homomorphism with kernel ΛA T0(A) a lattice. Hence A T0(A)=ΛA!. ⊂ ' Proof. See pp. 1-2 of [Mum]. The key is to study the adjoint representation of A act- ing on T A . This map a dc e (with c x a x a 1) is a holomorphic map A 0( ) a ( ) a ( ) = − GL(T0(A)) from a connected7! compact complex manifold into an open submanifold of! a Euclidean space, so it must be constant (by the maximum principle in several complex variables).
Load more

Recommended publications
  • Rigid Analytic Curves and Their Jacobians
    Rigid analytic curves and their Jacobians Dissertation zur Erlangung des Doktorgrades Dr. rer. nat. der Fakult¨at f¨urMathematik und Wirtschaftswissenschaften der Universit¨atUlm vorgelegt von Sophie Schmieg aus Ebersberg Ulm 2013 Erstgutachter: Prof. Dr. Werner Lutkebohmert¨ Zweitgutachter: Prof. Dr. Stefan Wewers Amtierender Dekan: Prof. Dr. Dieter Rautenbach Tag der Promotion: 19. Juni 2013 Contents Glossary of Notations vii Introduction ix 1. The Jacobian of a curve in the complex case . ix 2. Mumford curves and general rigid analytic curves . ix 3. Outline of the chapters and the results of this work . x 4. Acknowledgements . xi 1. Some background on rigid geometry 1 1.1. Non-Archimedean analysis . 1 1.2. Affinoid varieties . 2 1.3. Admissible coverings and rigid analytic varieties . 3 1.4. The reduction of a rigid analytic variety . 4 1.5. Adic topology and complete rings . 5 1.6. Formal schemes . 9 1.7. Analytification of an algebraic variety . 11 1.8. Proper morphisms . 12 1.9. Etale´ morphisms . 13 1.10. Meromorphic functions . 14 1.11. Examples . 15 2. The structure of a formal analytic curve 17 2.1. Basic definitions . 17 2.2. The formal fiber of a point . 17 2.3. The formal fiber of regular points and double points . 22 2.4. The formal fiber of a general singular point . 23 2.5. Formal blow-ups . 27 2.6. The stable reduction theorem . 29 2.7. Examples . 31 3. Group objects and Jacobians 33 3.1. Some definitions from category theory . 33 3.2. Group objects . 35 3.3. Central extensions of group objects .
    [Show full text]
  • Fundamental Groups of Schemes
    Fundamental Groups of Schemes Master thesis under the supervision of Jilong Tong Lei Yang Universite Bordeaux 1 E-mail address: [email protected] Chapter 1. Introduction 3 Chapter 2. Galois categories 5 1. Galois categories 5 §1. Definition and elementary properties. 5 §2. Examples and the main theorem 7 §2.1. The topological covers 7 §2.2. The category C(Π) and the main theorem 7 2. Galois objects. 8 3. Proof of the main theorem 12 4. Functoriality of Galois categories 15 Chapter 3. Etale covers 19 1. Some results in scheme theory. 19 2. The category of étale covers of a connected scheme 20 3. Reformulation of functoriality 22 Chapter 4. Properties and examples of the étale fundamental group 25 1. Spectrum of a field 25 2. The first homotopy sequence. 25 3. More examples 30 §1. Normal base scheme 30 §2. Abelian varieties 33 §2.1. Group schemes 33 §2.2. Abelian Varieties 35 §3. Geometrically connected schemes of finite type 39 4. G.A.G.A. theorems 39 Chapter 5. Structure of geometric fundamental groups of smooth curves 41 1. Introduction 41 2. Case of characteristic zero 42 §1. The case k = C 43 §2. General case 43 3. Case of positive characteristic 44 (p0) §1. π1(X) 44 §1.1. Lifting of curves to characteristic 0 44 §1.2. the specialization theory of Grothendieck 45 §1.3. Conclusion 45 ab §2. π1 46 §3. Some words about open curves. 47 Bibliography 49 Contents CHAPTER 1 Introduction The topological fundamental group can be studied using the theory of covering spaces, since a fundamental group coincides with the group of deck transformations of the asso- ciated universal covering space.
    [Show full text]
  • Arxiv:1610.06871V4 [Math.AT] 13 May 2019 Se[A H.7506 N SG E.B.6.2.7]): Rem
    THE MOREL–VOEVODSKY LOCALIZATION THEOREM IN SPECTRAL ALGEBRAIC GEOMETRY ADEEL A. KHAN Abstract. We prove an analogue of the Morel–Voevodsky localization theorem over spectral algebraic spaces. As a corollary we deduce a “derived nilpotent invariance” result which, informally speaking, says that A1-homotopy invariance kills all higher homotopy groups of a connective commutative ring spectrum. 1. Introduction ´et Let R be a connective E∞-ring spectrum, and denote by CAlgR the ∞-category of ´etale E∞-algebras over R. The starting point for this paper is the following fundamental result of J. Lurie, which says that the small ´etale topos of R is equivalent to the small ´etale topos of π0(R) (see [HA, Thm. 7.5.0.6] and [SAG, Rem. B.6.2.7]): Theorem 1.0.1 (Lurie). For any connective E∞-ring R, let π0(R) denote its 0-truncation E ´et ´et (viewed as a discrete ∞-ring). Then restriction along the canonical functor CAlgR → CAlgπ0(R) ´et induces an equivalence from the ∞-category of ´etale sheaves of spaces CAlgπ0(R) → Spc to the ´et ∞-category of ´etale sheaves of spaces CAlgR → Spc. Theorem 1.0.1 can be viewed as a special case of the following result (see [SAG, Prop. 3.1.4.1]): ′ Theorem 1.0.2 (Lurie). Let R → R be a homomorphism of connective E∞-rings that is ´et ´et surjective on π0. Then restriction along the canonical functor CAlgR → CAlgR′ defines a fully ´et faithful embedding of the ∞-category of ´etale sheaves CAlgR′ → Spc into the ∞-category of ´etale ´et sheaves CAlgR → Spc.
    [Show full text]
  • Fundamental Algebraic Geometry
    http://dx.doi.org/10.1090/surv/123 hematical Surveys and onographs olume 123 Fundamental Algebraic Geometry Grothendieck's FGA Explained Barbara Fantechi Lothar Gottsche Luc lllusie Steven L. Kleiman Nitin Nitsure AngeloVistoli American Mathematical Society U^VDED^ EDITORIAL COMMITTEE Jerry L. Bona Peter S. Landweber Michael G. Eastwood Michael P. Loss J. T. Stafford, Chair 2000 Mathematics Subject Classification. Primary 14-01, 14C20, 13D10, 14D15, 14K30, 18F10, 18D30. For additional information and updates on this book, visit www.ams.org/bookpages/surv-123 Library of Congress Cataloging-in-Publication Data Fundamental algebraic geometry : Grothendieck's FGA explained / Barbara Fantechi p. cm. — (Mathematical surveys and monographs, ISSN 0076-5376 ; v. 123) Includes bibliographical references and index. ISBN 0-8218-3541-6 (pbk. : acid-free paper) ISBN 0-8218-4245-5 (soft cover : acid-free paper) 1. Geometry, Algebraic. 2. Grothendieck groups. 3. Grothendieck categories. I Barbara, 1966- II. Mathematical surveys and monographs ; no. 123. QA564.F86 2005 516.3'5—dc22 2005053614 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy a chapter for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society. Requests for such permission should be addressed to the Acquisitions Department, American Mathematical Society, 201 Charles Street, Providence, Rhode Island 02904-2294, USA.
    [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]
  • Algebraic Stacks (Winter 2020/2021) Lecturer: Georg Oberdieck
    Algebraic Stacks (Winter 2020/2021) Lecturer: Georg Oberdieck Date: Wednesday 4-6, Friday 12-2. Oral Exam: February 19 and March 26, 2021. Exam requirement: You have to hand in solutions to at least half of all exercise problems to be admitted to the exam. Summary: The course is an introduction to the theory of algebraic stacks. We will discuss applications to the construction of moduli spaces. Prerequisites: Algebraic Geometry I and II (e.g. on the level of Hartshorne's book Chapter I and II plus some background on flat/etale morphisms). Some category theory (such as Vakil's Notes on Algebraic Geometry, Chapter 1). References: (1) Olsson, Algebraic Spaces and Stacks (2) Stacks Project (3) Vistoli, Notes on Grothendieck topologies, fibered categories and descent theory (available online) (4) Halpern-Leistner, The Moduli space, https://themoduli.space (5) Guide to the literature by Jarod Alper (6) Behrend, Introduction to algebraic stacks, lecture notes. The main reference of the coarse is Olsson and will be used throughout, in particular for many of the exercises. However, we will diverge in some details from Olsson's presentation, in particular on quasi-coherent sheaves on algebraic stacks where we follow the stacks project. The notes of Vistoli are also highly recommended for the first part which covers aspects of Grothendieck topologies, fibered categories and descent theory. In the second part we will use the notes of Halpern-Leistner. Exercises and student presentations: Friday's session will be used sometimes for informal discussion of the material covered in the problem sets. From time to time there will also be student presentations, see: http://www.math.uni-bonn.de/~georgo/stacks/presentations.pdf Schedule1 Oct 28: Motivation mostly.
    [Show full text]
  • Abelian Varieties
    Abelian Varieties J.S. Milne Version 2.0 March 16, 2008 These notes are an introduction to the theory of abelian varieties, including the arithmetic of abelian varieties and Faltings’s proof of certain finiteness theorems. The orginal version of the notes was distributed during the teaching of an advanced graduate course. Alas, the notes are still in very rough form. BibTeX information @misc{milneAV, author={Milne, James S.}, title={Abelian Varieties (v2.00)}, year={2008}, note={Available at www.jmilne.org/math/}, pages={166+vi} } v1.10 (July 27, 1998). First version on the web, 110 pages. v2.00 (March 17, 2008). Corrected, revised, and expanded; 172 pages. Available at www.jmilne.org/math/ Please send comments and corrections to me at the address on my web page. The photograph shows the Tasman Glacier, New Zealand. Copyright c 1998, 2008 J.S. Milne. Single paper copies for noncommercial personal use may be made without explicit permis- sion from the copyright holder. Contents Introduction 1 I Abelian Varieties: Geometry 7 1 Definitions; Basic Properties. 7 2 Abelian Varieties over the Complex Numbers. 10 3 Rational Maps Into Abelian Varieties . 15 4 Review of cohomology . 20 5 The Theorem of the Cube. 21 6 Abelian Varieties are Projective . 27 7 Isogenies . 32 8 The Dual Abelian Variety. 34 9 The Dual Exact Sequence. 41 10 Endomorphisms . 42 11 Polarizations and Invertible Sheaves . 53 12 The Etale Cohomology of an Abelian Variety . 54 13 Weil Pairings . 57 14 The Rosati Involution . 61 15 Geometric Finiteness Theorems . 63 16 Families of Abelian Varieties .
    [Show full text]
  • 4. Coherent Sheaves Definition 4.1. If (X,O X) Is a Locally Ringed Space
    4. Coherent Sheaves Definition 4.1. If (X; OX ) is a locally ringed space, then we say that an OX -module F is locally free if there is an open affine cover fUig of X such that FjUi is isomorphic to a direct sum of copies of OUi . If the number of copies r is finite and constant, then F is called locally free of rank r (aka a vector bundle). If F is locally free of rank one then we way say that F is invertible (aka a line bundle). The group of all invertible sheaves under tensor product, denoted Pic(X), is called the Picard group of X. A sheaf of ideals I is any OX -submodule of OX . Definition 4.2. Let X = Spec A be an affine scheme and let M be an A-module. M~ is the sheaf which assigns to every open subset U ⊂ X, the set of functions a s: U −! Mp; p2U which can be locally represented at p as a=g, a 2 M, g 2 R, p 2= Ug ⊂ U. Lemma 4.3. Let A be a ring and let M be an A-module. Let X = Spec A. ~ (1) M is a OX -module. ~ (2) If p 2 X then Mp is isomorphic to Mp. ~ (3) If f 2 A then M(Uf ) is isomorphic to Mf . Proof. (1) is clear and the rest is proved mutatis mutandis as for the structure sheaf. Definition 4.4. An OX -module F on a scheme X is called quasi- coherent if there is an open cover fUi = Spec Aig by affines and ~ isomorphisms FjUi ' Mi, where Mi is an Ai-module.
    [Show full text]
  • Nakai–Moishezon Ampleness Criterion for Real Line Bundles
    NAKAI{MOISHEZON AMPLENESS CRITERION FOR REAL LINE BUNDLES OSAMU FUJINO AND KEISUKE MIYAMOTO Abstract. We show that the Nakai{Moishezon ampleness criterion holds for real line bundles on complete schemes. As applications, we treat the relative Nakai{Moishezon ampleness criterion for real line bundles and the Nakai{Moishezon ampleness criterion for real line bundles on complete algebraic spaces. The main ingredient of this paper is Birkar's characterization of augmented base loci of real divisors on projective schemes. Contents 1. Introduction 1 2. Preliminaries 2 3. Augmented base loci of R-divisors 3 4. Proof of Theorem 1.4 4 5. Proof of Theorem 1.3 5 6. Proof of Theorem 1.5 7 7. Proof of Theorem 1.6 8 References 9 1. Introduction Throughout this paper, a scheme means a separated scheme of finite type over an alge- braically closed field k of any characteristic. We call such a scheme a variety if it is reduced and irreducible. Let us start with the definition of R-line bundles. Definition 1.1 (R-line bundles). Let X be a scheme (or an algebraic space). An R-line bundle (resp. a Q-line bundle) is an element of Pic(X) ⊗Z R (resp. Pic(X) ⊗Z Q) where Pic(X) is the Picard group of X. Similarly, we can define R-Cartier divisors. Definition 1.2 (R-Cartier divisors). Let X be a scheme. An R-Cartier divisor (resp. a Q-Cartier divisor) is an element of Div(X)⊗Z R (resp. Div(X)⊗Z Q) where Div(X) denotes the group of Cartier divisors on X.
    [Show full text]
  • Algebra & Number Theory Vol. 10 (2016)
    Algebra & Number Theory Volume 10 2016 No. 4 msp Algebra & Number Theory msp.org/ant EDITORS MANAGING EDITOR EDITORIAL BOARD CHAIR Bjorn Poonen David Eisenbud Massachusetts Institute of Technology University of California Cambridge, USA Berkeley, USA BOARD OF EDITORS Georgia Benkart University of Wisconsin, Madison, USA Susan Montgomery University of Southern California, USA Dave Benson University of Aberdeen, Scotland Shigefumi Mori RIMS, Kyoto University, Japan Richard E. Borcherds University of California, Berkeley, USA Raman Parimala Emory University, USA John H. Coates University of Cambridge, UK Jonathan Pila University of Oxford, UK J-L. Colliot-Thélène CNRS, Université Paris-Sud, France Anand Pillay University of Notre Dame, USA Brian D. Conrad Stanford University, USA Victor Reiner University of Minnesota, USA Hélène Esnault Freie Universität Berlin, Germany Peter Sarnak Princeton University, USA Hubert Flenner Ruhr-Universität, Germany Joseph H. Silverman Brown University, USA Sergey Fomin University of Michigan, USA Michael Singer North Carolina State University, USA Edward Frenkel University of California, Berkeley, USA Vasudevan Srinivas Tata Inst. of Fund. Research, India Andrew Granville Université de Montréal, Canada J. Toby Stafford University of Michigan, USA Joseph Gubeladze San Francisco State University, USA Ravi Vakil Stanford University, USA Roger Heath-Brown Oxford University, UK Michel van den Bergh Hasselt University, Belgium Craig Huneke University of Virginia, USA Marie-France Vignéras Université Paris VII, France Kiran S. Kedlaya Univ. of California, San Diego, USA Kei-Ichi Watanabe Nihon University, Japan János Kollár Princeton University, USA Efim Zelmanov University of California, San Diego, USA Yuri Manin Northwestern University, USA Shou-Wu Zhang Princeton University, USA Philippe Michel École Polytechnique Fédérale de Lausanne PRODUCTION [email protected] Silvio Levy, Scientific Editor See inside back cover or msp.org/ant for submission instructions.
    [Show full text]
  • More on Gauge Theory and Geometric Langlands
    More On Gauge Theory And Geometric Langlands Edward Witten School of Natural Sciences, Institute for Advanced Study, 1 Einstein Drive, Princeton, NJ 08540 USA Abstract: The geometric Langlands correspondence was described some years ago in terms of S-duality of = 4 super Yang-Mills theory. Some additional matters relevant N to this story are described here. The main goal is to explain directly why an A-brane of a certain simple kind can be an eigenbrane for the action of ’t Hooft operators. To set the stage, we review some facts about Higgs bundles and the Hitchin fibration. We consider only the simplest examples, in which many technical questions can be avoided. arXiv:1506.04293v3 [hep-th] 28 Jul 2017 Contents 1 Introduction 1 2 Compactification And Hitchin’s Moduli Space 2 2.1 Preliminaries 2 2.2 Hitchin’s Equations 4 2.3 MH and the Cotangent Bundle 7 2.4 The Hitchin Fibration 7 2.5 Complete Integrability 8 2.6 The Spectral Curve 10 2.6.1 Basics 10 2.6.2 Abelianization 13 2.6.3 Which Line Bundles Appear? 14 2.6.4 Relation To K-Theory 16 2.6.5 The Unitary Group 17 2.6.6 The Group P SU(N) 18 2.6.7 Spectral Covers For Other Gauge Groups 20 2.7 The Distinguished Section 20 2.7.1 The Case Of SU(N) 20 2.7.2 Section Of The Hitchin Fibration For Any G 22 3 Dual Tori And Hitchin Fibrations 22 3.1 Examples 23 3.2 The Case Of Unitary Groups 25 3.3 Topological Viewpoint 27 3.3.1 Characterization of FSU(N) 29 3.4 The Symplectic Form 30 3.4.1 Comparison To Gauge Theory 33 4 ’t Hooft Operators And Hecke Modifications 34 4.1 Eigenbranes 34 4.2 The Electric
    [Show full text]
  • Algebraic Cycles on Generic Abelian Varieties Compositio Mathematica, Tome 100, No 1 (1996), P
    COMPOSITIO MATHEMATICA NAJMUDDIN FAKHRUDDIN Algebraic cycles on generic abelian varieties Compositio Mathematica, tome 100, no 1 (1996), p. 101-119 <http://www.numdam.org/item?id=CM_1996__100_1_101_0> © Foundation Compositio Mathematica, 1996, tous droits réservés. L’accès aux archives de la revue « Compositio Mathematica » (http: //http://www.compositio.nl/) implique l’accord avec les conditions gé- nérales d’utilisation (http://www.numdam.org/conditions). Toute utilisa- tion commerciale ou impression systématique est constitutive d’une in- fraction pénale. Toute copie ou impression de ce fichier doit conte- nir 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/ Compositio Mathematica 100: 101-119,1996. 101 © 1996 KluwerAcademic Publishers. Printed in the Netherlands. Algebraic cycles on generic Abelian varieties NAJMUDDIN FAKHRUDDIN Department of Mathematics, the University of Chicago, Chicago, Illinois, USA Received 9 September 1994; accepted in final form 2 May 1995 Abstract. We formulate a conjecture about the Chow groups of generic Abelian varieties and prove it in a few cases. 1. Introduction In this paper we study the rational Chow groups of generic abelian varieties. More precisely we try to answer the following question: For which integers d do there exist "interesting" cycles of codimension d on the generic abelian variety of dimension g? By "interesting" cycles we mean cycles which are not in the subring of the Chow ring generated by divisors or cycles which are homologically equivalent to zero but not algebraically equivalent to zero. As background we recall that G. Ceresa [5] has shown that for the generic abelian variety of dimension three there exist codimen- sion two cycles which are homologically equivalent to zero but not algebraically equivalent to zero.
    [Show full text]