DOCSLIB.ORG

Algebraic Number Theory Springer-Verlag Berlin Heidelberg Gmbh H

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Algebraic Number Theory Springer-Verlag Berlin Heidelberg Gmbh H Algebraic Number Theory Springer-Verlag Berlin Heidelberg GmbH H. Koch Algebraic Number Theory Springer Consulting Editors of the Series: A.A. Agrachev, A.A. Gonchar, E.E Mishchenko, N.M. Ostianu, V.P. Sakharova, A.B. Zhishchenko Title of the Russian edition: Itogi nauki i tekhniki, Sovremennye problemy matematiki, FundamentaPnye napravleniya, Vol. 62, Teoriya chisel 2 Publisher VINITI, Moscow 1988 Second Printing 1997 of the First Edition 1992, which was originally published as Number Theory II, Volume 62 of the Encyclopaedia of Mathematical Sciences. Die Deutsche Bibliothek - CIP-Einheitsaufnahme Koch, H: Algebraic number theory / H. Koch. Ed.: A. N. Parshin; I. R. Shafarevich. - 1. ed., 2. printing. - Berlin; Heidelberg; New York; Barcelona; Budapest; Hongkong; London; Mailand; Paris; Santa Clara; Singapur; Tokio: Springer, 1997 ISBN 978-3-540-63003-6 ISBN 978-3-642-58095-6 (eBook) DOI 10.1007/978-3-642-58095-6 Mathematics Subject Classification (1991): nRxx, nSxx This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is per• mitted only under the provisions of the German Copyright Law of September 9,1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law. © Springer-Verlag Berlin Heidelberg 1997 Originally published by Springer-Verlag Berlin Heidelberg New York in 1997 Softcover reprint of the hardcover 1st edition 1997 Typesetting: Asco Trade Typesetting Ltd., Hong Kong SPIN: 10889896 41/3111-5432 1 - Printed on acid-free paper. List of Editors, Authors and Translators Editor-in-Chief R.V. Gamkrelidze, Russian Academy of Sciences, Steklov Mathematical Institute, ul. Gubkina 8, 117966 Moscow, Institute for Scientific Information (VINITI), ul. Usievicha 20 a, 125219 Moscow, Russia; e-mail: [email protected] Consulting Editors A. N. Parshin, Steklov Mathematical Institute, ul. Gubkina 8, 117966 Moscow, Russia 1. R. Shafarevich, Steklov Mathematical Institute, ul. Gubkina 8, 117966 Moscow, Russia Author H. Koch, Max-Planck-Gesellschaft zur Forderung der Wissenschaften e.V., Arbeitsgruppe "Algebraische Geometrie und Zahlentheorie" an der Humboldt-UniversiHit zu Berlin, JagerstraBe 10-11,10117 Berlin, Germany Algebraic Number Fields H. Koch Contents Preface... ...... ... .... ..... ... ........ .... ...... .. .. 7 Chapter 1. Basic Number Theory ................................ 8 § 1. Orders in Algebraic Number Fields ........................... 9 1.1. Modules and Orders ................................... 10 1.2. Module Classes ....................................... 12 1.3. The Unit Group of an Order ............................ 15 1.4. The Unit Group of a Real-Quadratic Number Field ........ 17 1.5. Integral Representations of Rational Numbers by Complete Forms............................................... 18 1.6. Binary Quadratic Forms and Complete Modules in Quadratic Number Fields. 19 1.7. Representatives for Module Classes in Quadratic Number Fields. 21 § 2. Rings with Divisor Theory .................................. 22 2.1. Unique Factorization in Prime Elements .................. 22 2.2. The Concept of a Domain with Divisor Theory ............ 23 2.3. Divisor Theory for the Maximal Order of an Algebraic Number Field ........................................ 25 § 3. Dedekind Rings ........................................... 27 3.1. Definition of Dedekind Rings ........................... 28 3.2. Congruences ......................................... 29 3.3. Semilocalization ...................................... 30 3.4. Extensions of Dedekind Rings ........................... 30 3.5. Different and Discriminant ............................. 33 3.6. Inessential Discriminant Divisors ........................ 36 3.7. Normal Extensions .................................... 36 3.8. Ideals in Algebraic Number Fields ....................... 40 3.9. Cyclotomic Fields ..................................... 41 3.10. Application to Fermat's Last Theorem I .................. 43 2 Contents § 4. Valuations ................................................ 45 4.1. Definition and First Properties of Valuations .............. 45 4.2. Completion of a Field with Respect to a Valuation ......... 49 4.3. Complete Fields with Discrete Valuation .................. 49 4.4. The Multiplicative Structure of a p-adic Number Field ...... 51 4.5. Extension of Valuations ................................ 53 4.6. Finite Extensions of p-adic Number Fields ................ 55 4.7. Kummer Extensions ................................... 58 4.8. Analytic Functions in Complete Non-Archimedean Valued Fields ............................................... 59 4.9. The Elementary Functions in p-adic Analysis .............. 60 4.10. Lubin-Tate Extensions ................................. 62 § 5. Harmonic Analysis on Local and Global Fields ................. 63 5.1. Harmonic Analysis on Local Fields, the Additive Group .... 64 5.2. Harmonic Analysis on Local Fields, the Multiplicative Group 65 5.3. Adeles ............................................... 66 5.4. Ideles ............................................... 68 5.5. Subgroups of J(K)/Kx of Finite Index and the Ray Class Groups.............................................. 69 § 6. Heeke L-Series and the Distribution of Prime Ideals ............. 70 6.1. The Local Zeta Functions .............................. 74 6.2. The Global Functional Equation ........................ 76 6.3. Heeke Characters ..................................... 77 6.4. The Functional Equation for Heeke L-Series .............. 79 6.5. Gaussian Sums ....................................... 80 6.6. Asymptotical Distribution of Ideals and Prime Ideals ....... 82 6.7. Chebotarev's Density Theorem .......................... 84 6.8. Kronecker Densities and the Theorem of Bauer ............ 85 6.9. The Prime Ideal Theorem with Remainder Term ........... 87 6.10. Explicit Formulas ..................................... 87 6.11. Discriminant Estimation ............................... 88 Chapter 2. Class Field Theory ................................... 90 § 1. The Main Theorems of Class Field Theory ..................... 92 1.1. Class Field Theory for Abelian Extensions of Q ............ 92 1.2. The Hilbert Class Field ................................ 93 1.3. Local Class Field Theory ............................... 93 1.4. The Idele Class Group of a Normal Extension ............. 95 1.5. Global Class Field Theory .............................. 96 1.6. The Functorial Behavior of the Norm Symbol ............. 97 1.7. Artin's General Reciprocity Law ......................... 98 1.8. The Power Residue Symbol ............................. 99 1.9. The Hilbert Norm Symbol .............................. 101 1.10. The Reciprocity Law for the Power Residue Symbol ........ 102 Contents 3 1.11. The Principal Ideal Theorem ............................ 103 1.12. Local-Global Relations ................................ 104 1.13. The Zeta Function of an Abelian Extension ............... 105 § 2. Complex Multiplication ..................................... 107 2.1. The Main Polynomial ................................. 107 2.2. The First Main Theorem ............................... 108 2.3. The Reciprocity Law .................................. 109 2.4. The Construction of the Ray Class Field .................. 109 2.5. Algebraic Theory of Complex Multiplication .............. 111 2.6. Generalization........................................ 112 § 3. Cohomology of Groups ..................................... 112 3.1. Definition of Cohomology Groups ....................... 112 3.2. Functoriality and the Long Exact Sequence ............... 113 3.3. Dimension Shifting .................................... 114 3.4. Shapiro's Lemma ..................................... 115 3.5. Corestriction ......................................... 115 3.6. The Transgression and the Hochschild-Serre-Sequence ...... 116 3.7. Cup Product ......................................... 117 3.8. Modified Cohomology for Finite Groups ................. 119 3.9. Cohomology for Cyclic Groups ......................... 120 3.10. The Theorem of Tate .................................. 121 § 4. Proof of the Main Theorems of Class Field Theory .............. 121 4.1. Application of the Theorem of Tate to Class Field Theory ... 121 4.2. Class Formations ..................................... 122 4.3. Cohomology of Local Fields ............................ 124 4.4. Cohomology of Ideles and Idele Classes .................. 125 4.5. Analytical Proof of the Second Inequality ................. 129 4.6. The Canonical Class for Global Extensions ............... 130 § 5. Simple Algebras ........................................... 131 5.1. Simple Algebras over Arbitrary Fields .................... 131 5.2. The Reduced Trace and Norm .......................... 132 5.3. Splitting Fields ....................................... 133 5.4. The Brauer Group .................................... 133 5.5. Simple Algebras over Local Fields ....................... 134 5.6. The Structure of the Brauer Group of an Algebraic Number Field ............................... _. ... .. 135 5.7. Simple Algebras over Algebraic Number Fields ...........
Load more

Recommended publications
  • On the Galois Module Structure of the Square Root of the Inverse Different
    University of California Santa Barbara On the Galois Module Structure of the Square Root of the Inverse Different in Abelian Extensions A dissertation submitted in partial satisfaction of the requirements for the degree Doctor of Philosophy in Mathematics by Cindy (Sin Yi) Tsang Committee in charge: Professor Adebisi Agboola, Chair Professor Jon McCammond Professor Mihai Putinar June 2016 The Dissertation of Cindy (Sin Yi) Tsang is approved. Professor Jon McCammond Professor Mihai Putinar Professor Adebisi Agboola, Committee Chair March 2016 On the Galois Module Structure of the Square Root of the Inverse Different in Abelian Extensions Copyright c 2016 by Cindy (Sin Yi) Tsang iii Dedicated to my beloved Grandmother. iv Acknowledgements I would like to thank my advisor Prof. Adebisi Agboola for his guidance and support. He has helped me become a more independent researcher in mathematics. I am indebted to him for his advice and help in my research and many other things during my life as a graduate student. I would also like to thank my best friend Tim Cooper for always being there for me. v Curriculum Vitæ Cindy (Sin Yi) Tsang Email: [email protected] Website: https://sites.google.com/site/cindysinyitsang Education 2016 PhD Mathematics (Advisor: Adebisi Agboola) University of California, Santa Barbara 2013 MA Mathematics University of California, Santa Barbara 2011 BS Mathematics (comprehensive option) BA Japanese (with departmental honors) University of Washington, Seattle 2010 Summer program in Japanese language and culture Kobe University, Japan Research Interests Algebraic number theory, Galois module structure in number fields Publications and Preprints (4) Galois module structure of the square root of the inverse different over maximal orders, in preparation.
    [Show full text]
  • Determining Large Groups and Varieties from Small Subgroups and Subvarieties
    Determining large groups and varieties from small subgroups and subvarieties This course will consist of two parts with the common theme of analyzing a geometric object via geometric sub-objects which are `small' in an appropriate sense. In the first half of the course, we will begin by describing the work on H. W. Lenstra, Jr., on finding generators for the unit groups of subrings of number fields. Lenstra discovered that from the point of view of computational complexity, it is advantageous to first consider the units of the ring of S-integers of L for some moderately large finite set of places S. This amounts to allowing denominators which only involve a prescribed finite set of primes. We will de- velop a generalization of Lenstra's method which applies to find generators of small height for the S-integral points of certain algebraic groups G defined over number fields. We will focus on G which are compact forms of GLd for d ≥ 1. In the second half of the course, we will turn to smooth projective surfaces defined by arithmetic lattices. These are Shimura varieties of complex dimension 2. We will try to generate subgroups of finite index in the fundamental groups of these surfaces by the fundamental groups of finite unions of totally geodesic projective curves on them, that is, via immersed Shimura curves. In both settings, the groups we will study are S-arithmetic lattices in a prod- uct of Lie groups over local fields. We will use the structure of our generating sets to consider several open problems about the geometry, group theory, and arithmetic of these lattices.
    [Show full text]
  • Algebraic Number Theory II
    Algebraic number theory II Uwe Jannsen Contents 1 Infinite Galois theory2 2 Projective and inductive limits9 3 Cohomology of groups and pro-finite groups 15 4 Basics about modules and homological Algebra 21 5 Applications to group cohomology 31 6 Hilbert 90 and Kummer theory 41 7 Properties of group cohomology 48 8 Tate cohomology for finite groups 53 9 Cohomology of cyclic groups 56 10 The cup product 63 11 The corestriction 70 12 Local class field theory I 75 13 Three Theorems of Tate 80 14 Abstract class field theory 83 15 Local class field theory II 91 16 Local class field theory III 94 17 Global class field theory I 97 0 18 Global class field theory II 101 19 Global class field theory III 107 20 Global class field theory IV 112 1 Infinite Galois theory An algebraic field extension L/K is called Galois, if it is normal and separable. For this, L/K does not need to have finite degree. For example, for a finite field Fp with p elements (p a prime number), the algebraic closure Fp is Galois over Fp, and has infinite degree. We define in this general situation Definition 1.1 Let L/K be a Galois extension. Then the Galois group of L over K is defined as Gal(L/K) := AutK (L) = {σ : L → L | σ field automorphisms, σ(x) = x for all x ∈ K}. But the main theorem of Galois theory (correspondence between all subgroups of Gal(L/K) and all intermediate fields of L/K) only holds for finite extensions! To obtain the correct answer, one needs a topology on Gal(L/K): Definition 1.2 Let L/K be a Galois extension.
    [Show full text]
  • Galois Modules Torsion in Number Fields
    Galois modules torsion in Number fields Eliharintsoa RAJAONARIMIRANA ([email protected]) Université de Bordeaux France Supervised by: Prof Boas Erez Université de Bordeaux, France July 2014 Université de Bordeaux 2 Abstract Let E be a number fields with ring of integers R and N be a tame galois extension of E with group G. The ring of integers S of N is an RG−module, so an ZG−module. In this thesis, we study some other RG−modules which appear in the study of the module structure of S as RG− module. We will compute their Hom-representatives in Frohlich Hom-description using Stickelberger’s factorisation and show their triviliaty in the class group Cl(ZG). 3 4 Acknowledgements My appreciation goes first to my supervisor Prof Boas Erez for his guidance and support through out the thesis. His encouragements and criticisms of my work were of immense help. I will not forget to thank the entire ALGANT staffs in Bordeaux and Stellenbosch and all students for their help. Last but not the least, my profond gratitude goes to my family for their prayers and support through out my stay here. 5 6 Contents Abstract 3 1 Introduction 9 1.1 Statement of the problem . .9 1.2 Strategy of the work . 10 1.3 Commutative Algebras . 12 1.4 Completions, unramified and totally ramified extensions . 21 2 Reduction to inertia subgroup 25 2.1 The torsion module RN=E ...................................... 25 2.2 Torsion modules arising from ideals . 27 2.3 Switch to a global cyclotomic field . 30 2.4 Classes of cohomologically trivial modules .
    [Show full text]
  • [1, 2, 3], Fesenko Defined the Non-Abelian Local Reciprocity
    Algebra i analiz St. Petersburg Math. J. Tom 20 (2008), 3 Vol. 20 (2009), No. 3, Pages 407–445 S 1061-0022(09)01054-1 Article electronically published on April 7, 2009 FESENKO RECIPROCITY MAP K. I. IKEDA AND E. SERBEST Dedicated to our teacher Mehpare Bilhan Abstract. In recent papers, Fesenko has defined the non-Abelian local reciprocity map for every totally ramified arithmetically profinite (APF) Galois extension of a given local field K, by extending the work of Hazewinkel and Neukirch–Iwasawa. The theory of Fesenko extends the previous non-Abelian generalizations of local class field theory given by Koch–de Shalit and by A. Gurevich. In this paper, which is research-expository in nature, we give a detailed account of Fesenko’s work, including all the skipped proofs. In a series of very interesting papers [1, 2, 3], Fesenko defined the non-Abelian local reciprocity map for every totally ramified arithmetically profinite (APF) Galois extension of a given local field K by extending the work of Hazewinkel [8] and Neukirch–Iwasawa [15]. “Fesenko theory” extends the previous non-Abelian generalizations of local class field theory given by Koch and de Shalit in [13] and by A. Gurevich in [7]. In this paper, which is research-expository in nature, we give a very detailed account of Fesenko’s work [1, 2, 3], thereby complementing those papers by including all the proofs. Let us describe how our paper is organized. In the first Section, we briefly review the Abelian local class field theory and the construction of the local Artin reciprocity map, following the Hazewinkel method and the Neukirch–Iwasawa method.
    [Show full text]
  • Elliptic Curves of Odd Modular Degree
    ISRAEL JOURNAL OF MATHEMATICS 169 (2009), 417–444 DOI: 10.1007/s11856-009-0017-x ELLIPTIC CURVES OF ODD MODULAR DEGREE BY Frank Calegari∗ and Matthew Emerton∗∗ Northwestern University, Department of Mathematics 2033 Sheridan Rd. Evanston, IL 60208 United States e-mail: [email protected], [email protected] ABSTRACT The modular degree mE of an elliptic curve E/Q is the minimal degree of any surjective morphism X0(N) E, where N is the conductor of E. → We give a necessary set of criteria for mE to be odd. In the case when N is prime our results imply a conjecture of Mark Watkins. As a technical tool, we prove a certain multiplicity one result at the prime p = 2, which may be of independent interest. 1. Introduction Let E be an elliptic curve over Q of conductor N. Since E is modular [3], there exists a surjective map π : X (N) E defined over Q. There is a unique such 0 → map of minimal degree (up to composing with automorphisms of E), and its degree mE is known as the modular degree of E. This degree has been much studied, both in relation to congruences between modular forms [38] and to the Selmer group of the symmetric square of E [14], [15], [35]. Since this Selmer ∗ Supported in part by the American Institute of Mathematics. ∗∗ Supported in part by NSF grant DMS-0401545. Receved August 11, 2006 and in revised form June 28, 2007 417 418 FRANKCALEGARIANDMATTHEWEMERTON Isr. J.Math. group can be considered as an elliptic analogue of the class group, one might expect in analogy with genus theory to find that mE satisfies certain divisibility properties, especially, perhaps, by the prime 2.
    [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]
  • CHARACTERS of ALGEBRAIC GROUPS OVER NUMBER FIELDS Bachir Bekka, Camille Francini
    CHARACTERS OF ALGEBRAIC GROUPS OVER NUMBER FIELDS Bachir Bekka, Camille Francini To cite this version: Bachir Bekka, Camille Francini. CHARACTERS OF ALGEBRAIC GROUPS OVER NUMBER FIELDS. 2020. hal-02483439 HAL Id: hal-02483439 https://hal.archives-ouvertes.fr/hal-02483439 Preprint submitted on 18 Feb 2020 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. CHARACTERS OF ALGEBRAIC GROUPS OVER NUMBER FIELDS BACHIR BEKKA AND CAMILLE FRANCINI Abstract. Let k be a number field, G an algebraic group defined over k, and G(k) the group of k-rational points in G: We deter- mine the set of functions on G(k) which are of positive type and conjugation invariant, under the assumption that G(k) is gener- ated by its unipotent elements. An essential step in the proof is the classification of the G(k)-invariant ergodic probability measures on an adelic solenoid naturally associated to G(k); this last result is deduced from Ratner's measure rigidity theorem for homogeneous spaces of S-adic Lie groups. 1. Introduction Let k be a field and G an algebraic group defined over k. When k is a local field (that is, a non discrete locally compact field), the group G = G(k) of k-rational points in G is a locally compact group for the topology induced by k.
    [Show full text]
  • Non-Vanishing of L-Functions, the Ramanujan Conjecture, and Families of Hecke Characters
    NON-VANISHING OF L-FUNCTIONS, THE RAMANUJAN CONJECTURE, AND FAMILIES OF HECKE CHARACTERS VALENTIN BLOMER AND FARRELL BRUMLEY Abstract. We prove a non-vanishing result for families of GLn × GLn Rankin-Selberg L-functions in the critical strip, as one factor runs over twists by Hecke characters. As an application, we simplify the proof, due to Luo, Rudnick, and Sarnak, of the best known bounds towards the Generalized Ramanujan Conjecture at the infinite places for cusp forms on GLn. A key ingredient is the regularization of the units in residue classes by the use of an Arakelov ray class group. 1. Introduction In this paper we prove a non-vanishing result for Rankin-Selberg L-functions for cusp forms on GLn when one factor ranges over twists by infinite order Hecke characters and give applications to bounds towards the Ramunujan conjecture. 1.1. Infinite order Hecke characters. Before stating our precise results, we enunciate two ways, one automorphic, the other arithmetic, in which infinite order Hecke characters have been put to use to solve problems in number theory whose formulation is naturally posed over number fields. The first is the principle that a cusp form (for the group GL2 at least) should always be taken together with its twists by mod 1 Grossencharacters. This philosophy has been attributed to Sarnak and has its origins in the hybrid mean value estimate of [31]. A striking justification is the recent article by Booker and Krishnamurthy [5] where it is shown that for an irreducible two dimensional complex representation ρ of the Weil-Deligne group, if the Artin-Weil L-function L(s; ρ !) is entire for all mod 1 Grossencharacters ! then ρ is automorphic.
    [Show full text]
  • Zeros of Dirichlet L-Functions Over Function Fields
    ZEROS OF DIRICHLET L-FUNCTIONS OVER FUNCTION FIELDS JULIO C. ANDRADE, STEVEN J. MILLER, KYLE PRATT, AND MINH-TAM TRINH ABSTRACT. Random matrix theory has successfully modeled many systems in physics and math- ematics, and often the analysis and results in one area guide development in the other. Hughes and Rudnick computed 1-level density statistics for low-lying zeros of the family of primitive Dirichlet L-functions of fixed prime conductor Q, as Q , and verified the unitary symmetry predicted by random matrix theory. We compute 1- and 2→-level ∞ statistics of the analogous family of Dirichlet L-functions over Fq(T ). Whereas the Hughes-Rudnick results were restricted by the support of the Fourier transform of their test function, our test function is periodic and our results are only restricted by a decay condition on its Fourier coefficients. We show the main terms agree with unitary sym- metry, and also isolate error terms. In concluding, we discuss an Fq(T )-analogue of Montgomery’s Hypothesis on the distribution of primes in arithmetic progressions, which Fiorilli and Miller show would remove the restriction on the Hughes-Rudnick results. CONTENTS 1. Introduction 1 2. Dirichlet L-Function Preliminaries 6 3. The 1-Level Global Regime 7 4. The 2-Level Global Regime 11 5. The Local Regime 13 6. Montgomery’s Hypothesis 16 Appendix A. Proof of the Explicit Formula 18 Appendix B. Traces of the Frobenius Class 19 References 20 1. INTRODUCTION arXiv:1404.2435v1 [math.NT] 9 Apr 2014 1.1. Background. In the 1970s, Montgomery and Dyson conjectured that local statistics of crit- ical zeros of the Riemann zeta function—in the limit of large height—should match those of angles of eigenvalues of matrices in the Gaussian Unitary Ensemble (GUE), which Wigner, Dyson and others (see [FirM] for a historical overview) had already used with great success in modeling the energy levels of heavy nuclei.
    [Show full text]
  • Galois Module Structure of Lubin-Tate Modules
    GALOIS MODULE STRUCTURE OF LUBIN-TATE MODULES Sebastian Tomaskovic-Moore A DISSERTATION in Mathematics Presented to the Faculties of the University of Pennsylvania in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy 2017 Supervisor of Dissertation Ted Chinburg, Professor of Mathematics Graduate Group Chairperson Wolfgang Ziller, Professor of Mathematics Dissertation Committee: Ted Chinburg, Professor of Mathematics Ching-Li Chai, Professor of Mathematics Philip Gressman, Professor of Mathematics Acknowledgments I would like to express my deepest gratitude to all of the people who guided me along the doctoral path and who gave me the will and the ability to follow it. First, to Ted Chinburg, who directed me along the trail and stayed with me even when I failed, and who provided me with a wealth of opportunities. To the Penn mathematics faculty, especially Ching-Li Chai, David Harbater, Phil Gressman, Zach Scherr, and Bharath Palvannan. And to all my teachers, especially Y. S. Tai, Lynne Butler, and Josh Sabloff. I came to you a student and you turned me into a mathematician. To Philippe Cassou-Nogu`es,Martin Taylor, Nigel Byott, and Antonio Lei, whose encouragement and interest in my work gave me the confidence to proceed. To Monica Pallanti, Reshma Tanna, Paula Scarborough, and Robin Toney, who make the road passable using paperwork and cheer. To my fellow grad students, especially Brett Frankel, for company while walking and for when we stopped to rest. To Barbara Kail for sage advice on surviving academia. ii To Dan Copel, Aaron Segal, Tolly Moore, and Ally Moore, with whom I feel at home and at ease.
    [Show full text]
  • GALOIS MODULE STRUCTURE of FIELD EXTENSIONS Patrik
    International Electronic Journal of Algebra Volume 2 (2007) 100-105 GALOIS MODULE STRUCTURE OF FIELD EXTENSIONS Patrik Lundstr¨om Received: 31 January 2007; Revised: 24 April 2007 Communicated by Derya Keskin T¨ut¨unc¨u Abstract. We show, in two different ways, that every finite field extension has a basis with the property that the Galois group of the extension acts faithfully on it. We use this to prove a Galois correspondence theorem for general finite field extensions. We also show that if the characteristic of the base field is different from two and the field extension has a normal closure of odd degree, then the extension has a self-dual basis upon which the Galois group acts faithfully. Mathematics Subject Classification (2000): 12F10, 12G05 Keywords: Galois theory, normal basis, self-dual basis 1. Introduction If K=k is a finite field extension and G is a subgroup of the group Autk(K) of k-automorphisms of K, then the action of G on K induces a left k[G]-module structure on K in a natural way. If the order of G equals the degree [K : k] of K as a vector space over k, then K=k is a Galois extension and the well known normal basis theorem (see e.g. Theorem 13.1 in [8]) implies that K is a free k[G]-module with one generator. This result can of course be formulated more concretely by saying that there is an element x in K such that the conjugates g(x), g 2 G, form a basis for K as a vector space over k.
    [Show full text]