Arithmetic Applications of the Euler Systems of Beilinson–Flach Elements and Diagonal Cycles

Total Page:16

File Type:pdf, Size:1020Kb

Arithmetic Applications of the Euler Systems of Beilinson–Flach Elements and Diagonal Cycles Universitat Politecnica` de Catalunya Programa de doctorat de matematica` aplicada Facultat de Matematiques` i Estad´ıstica Arithmetic applications of the Euler systems of Beilinson{Flach elements and diagonal cycles Author: Advisor: Oscar´ RIVERO SALGADO Victor ROTGER CERDA` PhD dissertation submitted for the degree of Doctor in Mathematics Barcelona, February 2021 2 Aos meus pais, Alberto e Josefa, por quererme sempre de xeito incondicional. \Tra bufalo e locomotiva la differenza salta agli occhi: la locomotiva ha la strada segnata, il bufalo pu`oscartare di lato e cadere." Francesco De Gregori. Contents Abstract 5 Resum 7 Acknowledgements and funding 9 Introduction 11 The Birch and Swinnerton-Dyer conjecture and beyond . 11 A taste of the main results: a p-adic Gross{Stark formula . 15 Exceptional zeros of Euler systems . 18 Artin formalism and Euler systems . 19 Organization of the thesis . 20 1 Background material I 21 1.1 BSD-type conjectures . 21 1.2 Euler systems . 26 1.3 p-adic L-functions . 33 2 Background material II 43 2.1 Gross{Stark units . 43 2.2 The exceptional zero phenomenon . 53 2.3 Congruences between modular forms . 58 3 Beilinson{Flach elements and exceptional zeros 65 3.1 Introduction . 65 3.2 Preliminary concepts . 72 3.3 Derived Beilinson{Flach elements . 76 3.4 Derivatives of Fourier coefficients via Galois deformations . 83 3.5 Proof of main results . 88 3.6 Darmon{Dasgupta units and p-adic L-functions . 91 4 Beilinson{Flach elements and Stark units 95 4.1 Introduction . 95 4.2 The main conjecture of Darmon, Lauder and Rotger . 99 4.3 Beilinson{Flach elements and the main conjecture . 100 4.4 The self-dual case . 105 4.5 Particular cases of the conjecture . 109 3 4 CONTENTS 5 Cyclotomic derivatives and a Gross{Stark formula 113 5.1 Introduction . 113 5.2 Analogy with the case of circular units . 116 5.3 Beilinson{Flach elements . 118 5.4 Cyclotomic derivatives and proof of the main theorem . 121 5.5 A reinterpretation of the special value formula . 123 5.6 A conjectural p-adic L-function . 125 6 Exceptional zeros and elliptic units 129 6.1 Introduction . 129 6.2 Circular units . 132 6.3 Elliptic units . 137 6.4 Exceptional zeros and elliptic units . 142 6.5 Beilinson{Flach elements and beyond . 148 7 Generalized Kato classes and exceptional zeros 155 7.1 Introduction . 155 7.2 Preliminaries . 161 7.3 Derived diagonal cycles and an explicit reciprocity law . 166 7.4 Derivatives of triple product p-adic L-functions . 172 7.5 Applications to the Elliptic Stark Conjecture . 175 8 Congruences between units and Kato elements 181 8.1 Introduction . 181 8.2 Modular curves, modular units and Eisenstein series . 185 8.3 First congruence relation . 186 8.4 Second congruence relation . 196 9 Summaries in Catalan and Galician 201 9.1 Resum extens en catal`a . 201 9.2 Resumo extenso en galego . 208 9.3 Tra bufalo e locomotiva: una visi´opersonal . 215 Abstract In this thesis we study several applications of the theory of Euler systems and p-adic L-functions, with an emphasis on special value formulas, exceptional zeros, and congruence relations. The first chapters deal with different kinds of exceptional zero phenomena. The main result we obtain is the proof of a conjecture of Darmon, Lauder and Rotger on special values of the Hida{Rankin p-adic L-function, which may be regarded both as the proof of a Gross{Stark type conjecture, or as the determination of the L-invariant corresponding to the adjoint representation of a weight one modular form. The proof recasts to Hida theory and to the ideas developed by Greenberg{Stevens, and makes use of the Galois deformation techniques introduced by Bella¨ıche and Dimitrov. We further discuss a similar exceptional zero phenomenon from the Euler system side, leading us to the construction of derived Beilinson{Flach classes. This allows us to give a more conceptual proof of the previous result, using the underlying properties of this Euler system. We also discuss other instances of this formalism, studying exceptional zeros at the level of cohomology classes both in the scenario of elliptic units and diagonal cycles. The last part of the thesis aims to start a systematic study of the Artin formalism for Euler systems. This relies on ideas regarding factorizations of p-adic L-functions, and also recasts to the theory of Perrin-Riou maps and the study of canonical periods attached to weight two modular forms. We hope that these results could be extended to different settings concerning the other Euler systems studied in this memoir. Keywords: exceptional zeros, Euler systems, p-adic L-functions, Elliptic Stark Conjecture, Eisenstein congruences. MSC2010: 11F67, 11F80, 11G40, 11F33. 5 6 ABSTRACT Resum En aquesta tesi estudiem diverses aplicacions de la teoria dels sistemes d'Euler i les funcions L p-`adiques,posant l'`emfasien f´ormules de valors especials, zeros excepcionals i relacions de con- gru`enciesentre formes modulars. Als primers cap´ıtolses consideren diferents fen`omensde zeros excepcionals. El primer resultat que obtenim ´esla prova d'una conjectura de Darmon, Lauder i Rotger al voltant dels valors especials de la funci´o L p-`adicade Hida{Rankin en el cas autoadjunt. Aquest teorema es pot veure, per una banda, com un cas m´esde les conjectures de Gross{Stark, i per l'altra, com la determinaci´ode l'invariant L corresponent a la representaci´oadjunta d'una forma modular de pes 1. La prova fa servir teoria de Hida, aix´ıcom algunes de les idees desenvolupades per Greenberg{Stevens i tamb´e les t`ecniquesde deformacions de Galois introdu¨ıdesper Bella¨ıche i Dimitrov. Discutim despr´esun fenomen semblant de zeros excepcionals des del punt de vista dels sistemes d'Euler, la qual cosa ens porta a la construcci´ode classes de Beilinson{Flach derivades. Aix`oens permetr`adonar una prova m´esconceptual del resultat precedent, fent servir per a aix`oles propietats d'aquest sistema d'Euler derivat. Discutim per ´ultimaltres exemples on s'observen aquests fen`omensal nivell de sistemes d'Euler, centrant-nos en els casos d'unitats el·l´ıptiquesi cicles diagonals. La darrera part de la tesi pret´encomen¸car un estudi sistem`aticdel formalisme d'Artin pels sistemes d'Euler. Aquesta teoria fa servir factoritzacions de les funcions L p-`adiques,i tamb´e requereix un estudi de les aplicacions de Perrin-Riou i dels per´ıodes can`onics associats a les formes modulars de pes 2. Esperem que aquests resultats es puguin estendre a altres casos relatius als sistemes d'Euler estudiats al llarg d'aquesta mem`oria. Paraules claus: zeros excepcionals, sistemes d'Euler, funcions L p-`adiques,conjectures de Stark, congru`enciesd'Eisenstein. MSC2010: 11F67, 11F80, 11G40, 11F33. 7 8 RESUM Acknowledgements and funding My first words of gratitude go to my advisor Victor Rotger, with whom I held many stimulating mathematical discussions and who shared with me his privilege insights into number theory. Along the PhD programme, I did two long-term research visits where I enjoyed the environment of the departments of mathematics at both Princeton University and McGill University. I would like to thank those institutions for their warm hospitality, and specially my hosts there, Chris Skinner and Henri Darmon, with whom I had the privilege to discuss about mathematics and learn from their proficiency. It was also at Princeton University where I had the opportunity to share interesting discussions with Francesc Castell`a,whose help was crucial in some parts of the thesis. This monograph has also benefited from discussions with other number theorists, both during the different conferences I attended or by electronic correspondence. Even at the risk of forgetting some names, I am indebted to Ra´ulAlonso, Daniel Barrera, Denis Benois, Adel Betina, Kazim B¨uy¨ukboduk, Antonio Cauchi, Mladen Dimitrov, Francesca Gatti, Adrian Iovita, Antonio Lei, David Loeffler, Giovanni Rosso, and Preston Wake. I also thank Mart´ıRoset and Guillem Sala for a careful reading of some parts of this dissertation. The environment at the Number Theory group of Barcelona was close to exceptional, having the possibility to learn a lot from the different people with whom I shared seminars and study groups. This includes all the research trainees, postdoctoral researchers and faculties with whom I had the opportunity to coincide. In particular, I would like to thank Francesc Fit´efor his constant support during my first year of PhD. Further, it is a pleasure to mention all these people for the time we have spent together and their constant encouragement: Luis Dieulefait, Daniel Gil, Francesc Gispert, Xavier Guitart, Armando Guti´errez,Valentin Hern´andez,V´ıctor Hern´andez, Marc Masdeu, Santiago Molina, Eduardo Soto, and Carlos de Vera. Apart from them, it is a must to also recognize the work of all those people who are around the STNB activities, with whom it is always a pleasure to share insights and experiences. From the School of Mathematics and Statistics, I would like to thank a few people for their encouragement, and for making the corridors of the office building a more human place. The Dean Jaume Franch represents very well the confidence I have felt from the School, where I had the opportunity to teach several courses; Juanjo Ru´ehas been always supportive, being willing to hear and talk about whatever issue; Santi Boza, Angeles´ Carmona, Andr´esEncinas, Jordi Quer, Natalia Sadovskaia, and Enric Ventura also shared teaching duties with me, and it was enriching to work with them; the administrative stuff coordinating the graduate studies, specially Carme Capdevila, has made our job easier; Marta Altarriba, Carles Checa, and Andreu Tom`astrusted on me for the supervision of their bachelor thesis, and I had the chance to become a better mathematician discussing with them; finally, all my undergraduate students deserve my deepest gratitude.
Recommended publications
  • On Functional Equations of Euler Systems
    ON FUNCTIONAL EQUATIONS OF EULER SYSTEMS DAVID BURNS AND TAKAMICHI SANO Abstract. We establish precise relations between Euler systems that are respectively associated to a p-adic representation T and to its Kummer dual T ∗(1). Upon appropriate specialization of this general result, we are able to deduce the existence of an Euler system of rank [K : Q] over a totally real field K that both interpolates the values of the Dedekind zeta function of K at all positive even integers and also determines all higher Fitting ideals of the Selmer groups of Gm over abelian extensions of K. This construction in turn motivates the formulation of a precise conjectural generalization of the Coleman-Ihara formula and we provide supporting evidence for this conjecture. Contents 1. Introduction 1 1.1. Background and results 1 1.2. General notation and convention 4 2. Coleman maps and local Tamagawa numbers 6 2.1. The local Tamagawa number conjecture 6 2.2. Coleman maps 8 2.3. The proof of Theorem 2.3 10 3. Generalized Stark elements and Tamagawa numbers 13 3.1. Period-regulator isomorphisms 13 3.2. Generalized Stark elements 16 3.3. Deligne-Ribet p-adic L-functions 17 3.4. Evidence for the Tamagawa number conjecture 18 arXiv:2003.02153v1 [math.NT] 4 Mar 2020 4. The functional equation of vertical determinantal systems 18 4.1. Local vertical determinantal sytems 19 4.2. The functional equation 20 5. Construction of a higher rank Euler system 24 5.1. The Euler system 25 5.2. The proof of Theorem 5.2 26 6.
    [Show full text]
  • Heegner Points, Stark-Heegner Points, and Values of L-Series
    Heegner points, Stark-Heegner points, and values of L-series Henri Darmon∗ Abstract. Elliptic curves over Q are equipped with a systematic collection of Heegner points arising from the theory of complex multiplication and defined over abelian exten- sions of imaginary quadratic fields. These points are the key to the most decisive progress in the last decades on the Birch and Swinnerton-Dyer conjecture: an essentially complete proof for elliptic curves over Q of analytic rank 1, arising from the work of Gross-Zagier ≤ and Kolyvagin. In [Da2], it is suggested that Heegner points admit a host of conjectural generalisations, referred to as Stark-Heegner points because they occupy relative to their classical counterparts a position somewhat analogous to Stark units relative to elliptic or circular units. A better understanding of Stark-Heegner points would lead to progress on two related arithmetic questions: the explicit construction of global points on elliptic curves (a key issue arising in the Birch and Swinnerton-Dyer conjecture) and the analytic construction of class fields sought for in Kronecker's Jugendtraum and Hilbert's twelfth problem. The goal of this article is to survey Heegner points, Stark-Heegner points, their arithmetic applications and their relations (both proved, and conjectured) with special values of L-series attached to modular forms. Mathematics Subject Classification (2000). Primary 11G05; Secondary 11G15. Keywords. Elliptic curves, modular forms, L-series, Heegner points, Stark-Heegner points. 1. Introduction Elliptic curves are distinguished among projective algebraic curves by the fact that they alone are endowed with the structure of a (commutative) algebraic group.
    [Show full text]
  • Microfilmed 1994 Information to Users
    U-M-I MICROFILMED 1994 INFORMATION TO USERS This manuscript has been reproduced from the microfilm master. UMI films the text directly from the original or copy submitted. Thus, some thesis and dissertation copies are in typewriter face, while others may be from any type of computer printer. The quality of this reproduction is dependent upon the quality of the copy submitted. Broken or indistinct print, colored or poor quality illustrations and photographs, print bleedthrough, substandard margins, and improper alignment can adversely affect reproduction. In the unlikely, event that the author did not send UMI a complete manuscript and there are missing pages, these will be noted. Also, if unauthorized copyright material had to be removed, a note will indicate the deletion. Oversize materials (e.g., maps, drawings, charts) are reproduced by sectioning the original, beginning at the upper left-hand corner and continuing from left to right in equal sections with small overlaps. Each original is also photographed in one exposure and is included in reduced form at the bade of the book. Photographs induded in the original manuscript have been reproduced xerographically in this copy. Higher quality 6" x 9" black and white photographic prints are available for any photographs or illustrations appearing in this copy for an additional charge. Contact UMI directly to order. UMI University Microfilms International A Bell & Howell Information Company 300 North Zeeb Road. Ann Arbor. Ml 48106-1346 USA 313/761-4700 800/521-0600 Order Number 04209G0 On the M2-part” of the Birch and Swlnnerton-Dyer Conjecture for elliptic curves with complex multiplication Gonzalez-Aviles, Cristian D., Ph.D.
    [Show full text]
  • Euler Systems and Refined Conjectures of Birch Swinnerton
    Contemporary Mathematics Volume 00, 0000 Euler Systems and Refined Conjectures of Birch Swinnerton-Dyer Type HENRI DARMON Abstract. The relationship between arithmetic objects (such as global fields, or varieties over global fields) and the analytic properties of their L- functions poses many deep and difficult questions. The theme of this paper is the Birch and Swinnerton Dyer conjecture, and certain refinements that were proposed by Mazur and Tate. We will formulate analogues of these conjectures over imaginary quadratic fields involving Heegner points, and explain how the fundamental work of V.A. Kolyvagin sheds light on these new conjectures. 1 Preliminaries. x The relationship between arithmetic objects (such as global fields, or varieties over global fields) and the analytic properties of their L-functions poses many deep and subtle questions. The theme of this paper is the Birch Swinnerton-Dyer conjecture, which concerns the case where the arithmetic object in question is an elliptic curve defined over a global field. Let E be an elliptic curve defined over the rational numbers. The conjecture of Shimura-Taniyama-Weil asserts that E is modular, i.e., is equipped with a rational map ' : X (N) E; 0 −! where X0(N) is the modular curve of level N, defined over Q, which parameter- izes elliptic curves with a distinguished cyclic N-isogeny. We assume that E has this property. (For a specific E this can be checked by a finite computation.) 1991 Mathematics Subject Classification. Primary 11G40; Secondary 11G05. The ideas for this paper are part of the author's Harvard PhD thesis; he gratefully ac- knowledges the support of Harvard University, and in particular of his advisor, B.H.
    [Show full text]
  • Anticyclotomic Euler Systems for Unitary Groups
    ANTICYCLOTOMIC EULER SYSTEMS FOR UNITARY GROUPS ANDREW GRAHAM AND SYED WAQAR ALI SHAH Abstract. Let n ≥ 1 be an odd integer. We construct an anticyclotomic Euler system for certain cuspidal automorphic representations of unitary groups with signature (1; 2n − 1). Contents 1. Introduction 1 2. Preliminaries 7 3. Cohomology of unitary Shimura varieties 13 4. Horizontal norm relations 15 5. Interlude: cohomology functors 25 6. Vertical norm relations at split primes 31 7. The anticyclotomic Euler system 41 Appendix A. Continuous ´etalecohomology 49 Appendix B. Shimura{Deligne varieties 55 Appendix C. Ancona's construction for Shimura{Deligne varieties 60 References 64 1. Introduction In [Kol89], Kolyvagin constructs an anticyclotomic Euler system for (modular) elliptic curves over Q which satisfy the so-called \Heegner hypothesis". One can view the classes in this construction as images under the modular parameterisation of certain divisors on modular curves arising from the embedding of reductive groups (1.1) ResE=Q Gm ,! GL2 where E is an imaginary quadratic number field. These divisors (Heegner points) are defined over ring class fields of E and satisfy trace compatibility relations as one varies the field of definition. In particular, Kolyvagin shows that if the bottom Heegner point is non-torsion, then the group of E-rational points has rank equal to one. Combining this so-called \Kolyvagin step" with the Gross{Zagier formula that relates the height of this point to the derivative of the L-function at the central value, one obtains instances of the Birch{ Swinnerton-Dyer conjecture in the analytic rank one case. The above construction has been generalised to higher weight modular forms and to situations where a more general hypothesis is placed on the modular form (see [Sch86], [Nek92], [BDP13] and [Zha01]).
    [Show full text]
  • AN INTRODUCTION to P-ADIC L-FUNCTIONS
    AN INTRODUCTION TO p-ADIC L-FUNCTIONS by Joaquín Rodrigues Jacinto & Chris Williams Contents General overview......................................................................... 2 1. Introduction.............................................................................. 2 1.1. Motivation. 2 1.2. The Riemann zeta function. 5 1.3. p-adic L-functions. 6 1.4. Structure of the course.............................................................. 11 Part I: The Kubota–Leopoldt p-adic L-function.................................... 12 2. Measures and Iwasawa algebras.......................................................... 12 2.1. The Iwasawa algebra................................................................ 12 2.2. p-adic analysis and Mahler transforms............................................. 14 2.3. An example: Dirac measures....................................................... 15 2.4. A measure-theoretic toolbox........................................................ 15 3. The Kubota-Leopoldt p-adic L-function. 17 3.1. The measure µa ..................................................................... 17 3.2. Restriction to Zp⇥ ................................................................... 18 3.3. Pseudo-measures.................................................................... 19 4. Interpolation at Dirichlet characters..................................................... 21 4.1. Characters of p-power conductor. 21 4.2. Non-trivial tame conductors........................................................ 23 4.3. Analytic
    [Show full text]
  • L-FUNCTIONS and CYCLOTOMIC UNITS 1. Introduction
    L-FUNCTIONS AND CYCLOTOMIC UNITS TOM WESTON, UNIVERSITY OF MICHIGAN 1. Introduction Let K be a number field with r1 real embeddings and r2 pairs of complex con- jugate embeddings. If ζK (s) is the Dedekind zeta function of K, then ζK (s) has a zero of order r1 + r2 1 at s = 0, and the value of the first non-zero derivative is given by the Dirichlet− class number formula: (r1+r2 1) hK RK ζK − (0) = : − wK Here RK is the regulator of K, wK is the number of roots of unity in K and hK is the class number of K. This formula is a striking connection between arithmetic and analysis, and there have been many attempts to generalize it to other L-functions: one expects that the value of a \motivic" L-function at an integer point should involve a transcendental factor, a boring rational factor, and an interesting rational factor. In the case of the Dedekind zeta function, these roles are played by RK , wK , and hK , respectively. In the general case one expects that the interesting rational factor is the order of a certain Selmer group. 2. Selmer groups and Kolyvagin systems Let us recall the definition of the Selmer group of a p-adic Galois representation. Let T be a free Zp-module with a continuous action of the absolute Galois group ¯ GK = Gal(K=K). We define the Cartier dual of T by T ∗ = HomZp (T; µp1 ) with the adjoint Galois action. Let be a Selmer structure on T . Recall that consists of choices of local Selmer structuresF F 1 1 H (Kv;T ) H (Kv;T ) F ⊆ for each place v of K; these are assumed to coincide with the unramified choice at almost all places v.
    [Show full text]
  • Kato's Euler System and Rational Points on Elliptic Curves I: a P-Adic
    KATO'S EULER SYSTEM AND RATIONAL POINTS ON ELLIPTIC CURVES I: A p-ADIC BEILINSON FORMULA MASSIMO BERTOLINI AND HENRI DARMON Abstract. This article is the ¯rst in a series devoted to Kato's Euler system arising from p-adic families of Beilinson elements in the K-theory of modular curves. It proves a p-adic Beilinson formula relating the syntomic regulator (in the sense of Coleman-de Shalit and Besser) of certain distinguished elements in the K-theory of modular curves to the special values at integer points ¸ 2 of the Mazur-Swinnerton-Dyer p-adic L-function attached to cusp forms of weight 2. When combined with the explicit relation between syntomic regulators and p-adic ¶etalecohomology, this leads to an alternate proof of the main results of [Br2] and [Ge] which is independent of Kato's explicit reciprocity law. Contents 1. Introduction 1 2. Complex L-series 2 2.1. Eisenstein series 3 2.2. Rankin's method 4 2.3. A factorisation of critical values 6 2.4. Beilinson's formula 7 2.5. Algebraicity 8 3. p-adic L-functions 9 3.1. Rankin's p-adic L-functions 9 3.2. Factorisation of p-adic L-functions 10 4. p-adic regulators 11 4.1. The regulator on K2 12 4.2. The general case 14 5. The p-adic Beilinson formula 15 5.1. The main results 15 5.2. Relation with the work of Brunault and Gealy 15 References 17 1. Introduction This article is the ¯rst in a series devoted to Kato's Euler system arising from p-adic families of Beilinson elements in the K-theory of modular curves.
    [Show full text]
  • Arxiv:1710.04956V2 [Math.NT]
    EULER SYSTEMS WITH LOCAL CONDITIONS DAVID LOEFFLER AND SARAH LIVIA ZERBES Abstract. Euler systems are certain compatible families of cohomology classes, which play a key role in studying the arithmetic of Galois representations. We briefly survey the known Euler systems, and recall a standard conjecture of Perrin-Riou predicting what kind of Euler system one should expect for a general Galois representation. Surprisingly, several recent constructions of Euler systems do not seem to fit the predictions of this conjecture, and we formulate a more general conjecture which explains these extra objects. The novel aspect of our conjecture is that it predicts that there should often be Euler systems of several different ranks associated to a given Galois representation, and we describe how we expect these objects to be related. Acknowledgements. This survey is based on the notes of a lecture given by the second author at the 60th birthday conference for Michael Harris at MSRI, Berkeley, in 2014. It was expanded to a survey article during the “Euler Systems and Special Cycles” semester at the Centre Bernoulli, Lausanne, in autumn 2017. We are grateful to MSRI and to the Centre Bernoulli for their hospitality. We would also like to thank the anonymous referee, and the editorial board of the Iwasawa centenary proceedings, for their valuable comments on earlier drafts of this paper. 1. Cohomology of Galois representations The representations of Galois groups of number fields play a central role in number theory. For instance, if K is a number field and E/K is an elliptic curve, one can consider its Tate module T (E) := lim E[pn], p ←− n for a prime p; this is a free rank 2 Zp-module, with a continuous action of the group GK := Gal(K/K).
    [Show full text]
  • Tamagawa Number Conjecture for Zeta Values 165
    ICM 2002 · Vol. III · 1–3 Tamagawa Number Conjecture for zeta Values Kazuya Kato* Abstract Spencer Bloch and the author formulated a general conjecture (Tama- gawa number conjecture) on the relation between values of zeta functions of motives and arithmetic groups associated to motives. We discuss this conjec- ture, and describe some application of the philosophy of the conjecture to the study of elliptic curves. 2000 Mathematics Subject Classification: 11G40. Keywords and Phrases: zeta function, Etale cohomology, Birch Swinnerton- Dyer conjecture. Mysterious relations between zeta functions and various arithmetic groups have been important subjects in number theory. (0.0) zeta functions ↔ arithmetic groups. A classical result on such relation is the class number formula discovered in 19th century, which relates zeta functions of number field to ideal class groups and unit groups. As indicated in (0.1)–(0.3) below, the formula of Grothendieck ex- pressing the zeta functions of varieties over finite fields by etale cohomology groups, Iwasawa main conjecture proved by Mazur-Wiles, and Birch and Swinnerton-Dyer conjectures for abelian varieties over number fields, considered in 20th century, also have the form (0.0). (0.1) Formula of Grothendieck. zeta functions ↔ etale cohomology groups. (0.2) Iwasawa main conjecture. zeta functions, zeta elements ↔ ideal class groups, unit groups. (0.3) Birch Swinnerton-Dyer conjectures (see 4). arXiv:math/0304233v1 [math.NT] 16 Apr 2003 zeta functions ↔ groups of rational points, Tate-Shafarevich groups. Here in (0.2), “zeta elements” mean cyclotomic units which are units in cyclo- tomic fields and closely related to zeta functions. Roughly speaking, the relations *Department of Mathematical Sciences, University of Tokyo, Komaba 3-8-1, Meguro, Tokyo, Japan.
    [Show full text]
  • On the Uniqueness Part of Shahidi's L-Packet Conjecture
    Pan Asia Number Theory Conference 2016 Institute of Mathematics, Academia Sinica, Taipei, Taiwan July 11 { 15, 2016 On the uniqueness part of Shahidi's L-packet conjecture Hiraku Atobe Kyoto University E-mail:[email protected] Abstract The local Langlands conjecture for quasi-split classical groups G over a non-archimedean local field F has been established by Arthur and Mok. This conjecture says that the set of irreducible tempered smooth representations of G(F ) is divided by finite sets, which are called tempered L-packets. A Whittaker datum is a conjugacy class of a pair w = (B; µ), where B = TU is an F - rational Borel subgroup of G, and µ is a generic character of U(F ). An irreducible smooth representation π of G(F ) is called generic with respect to w if π admits a w-Whittaker model. Generic representations are important for both the representation theory and the arithmetic theory. In 1990, Shahidi predicted that each tempered L-packet has a generic representation with respect to a fixed Whittaker datum for G. One can also consider the uniqueness, i.e., one can expect that such a generic representation would be unique in each L-packet. A proof of the existence part is given in the books of Arthur and Mok. Also, both of the existence and uniqueness parts of Shahidi's conjecture are a special case of the local Gan{Gross{Prasad conjecture, which is now established by Waldspurger, Beuzart-Plessis, Gan{Ichino, and myself. However, these proofs are long and complicated after the works of Arthur and Mok.
    [Show full text]
  • Kolyvagin's Euler System for Elliptic Curves and Its Application in Recent
    UCLA Fall 2007 Kolyvagin's Euler system for elliptic curves and its application in recent work of Ciperjani-Wiles Organization: G. B¨ockle, C.. Khare Mon 3{4.15 pm, MS 6227 Programme In the recent preprint [CW], C¸iperiani and Wiles begin a program whose aim it is to prove that any genus one curve C defined over Q has a solvable point. An important role in this is the investigation of the Tate-Shafarevich group W(E; Q) where E is the elliptic curve (over Q) that is the Jacobian of C. The group W(E; Q) is the obstruction to a local-global principle for points on E. In particular, if C has local points at all places, then C yields a class c in W(E; Q) and C will have a global point over every field extension of Q which trivializes c { over any such C and E will be isomorphic. A main tool in their study of W(E; Q) is Kolyvagin's Heegner point Euler system. The cohomology classes produced by it split over a solvable extension of Q. So one would like to show that the above class c is a linear combination of Kolyvagin's classes. Kolyvagin's Euler system is well understood if the analytic rank of E is at most one. Then it proves the finiteness of W(E; Q). The main surprise in the work of C¸iperiani and Wiles is their use of such classes without this restriction on the rank! This they achieve by cleverly exploiting work of Cornut and Vatsal on Heegner points in anticyclotomic towers as well as a variant of the Wiles-Taylor method which was instrumental in the proof of Fermat's last theorem.
    [Show full text]