From Quadratic Reciprocity to the Langlands Program

Total Page:16

File Type:pdf, Size:1020Kb

From Quadratic Reciprocity to the Langlands Program From quadratic reciprocity to the Langlands program (Oliver Lorscheid, April 2018) In honor of the 2018 Abel prize winner Robert Langlands What is the Langlands program? The Langlands program consists of a web of conjectures, partially relying on conjectural objects, that connect L-functions for Galois representations and automorphic representations. A simple, but yet unproven and tantalizing instance is the following. Conjecture (Langlands 1970) For every positive integer n, there is a bijection 8 irreducible automorphic 9 irreducible representations < = Φ cuspidal representations GL −! ρ : LQ ! n(C) : π of GLn over Q ; such that if where is the L(ρ, s) = L(π; s) π = Φ(ρ) LQ (conjectural) Langlands group of Q, which is an extension of absolute Galois group Gal(Q=Q) of Q. Part 1: Reciprocity laws and class eld theory Quadratic reciprocity Let p be an odd prime number and a an integer that is not divisible by p. The Legendre symbol of a mod p is ( a 1 if a is a square modulo p, = p −1 if not. Conjecture (Euler 1783, Legendre 1785) Let and be distinct odd primes. Then p q Adrien-Marie Legendre q p p−1 q−1 = (−1) 2 2 : p q I First complete proof by Gauÿ in 1796. I Up to today, there are more than 240 dierent proofs. Carl Friedrich Gauÿ The p-adic numbers Let p be a prime number. The p-adic absolute value i a −i 0 is dened as whenever is not |·|p : Q ! R≥ p b p = p ab divisible by p. The p-adic numbers are the completion Qp of Q with respect to the norm . |·|p The -adic integers are 1 . p Zp = a 2 Qp jajp ≤ Since R is the completion of Q at the archimedean absolute value sign , we often write and to jaj1 = (a) · a Q1 = R p ≤ 1 express that p is a prime number or the symbol 1. Hilbert reciprocity Let a and b be rational numbers and p ≤ 1. The Hilbert symbol is (1 if 2 2 2 has a solution 3 ax + by = z (x; y; z) 2 Qp; (a; b)p = −1 if not. Theorem (Hilbert 1897) For all a; b 2 Q, we have (a; b)p = 1 for almost all p and Y (a; b)p = 1: p≤∞ David Hilbert Remark: Note that this implies quadratic reciprocity since for distinct odd prime numbers p and q, we have Y p−1 q−1 q p (p; q) = (p; q)2(p; q) (p; q) = (−1) 2 2 : ` p q p q `≤∞ Class eld theory and Artin reciprocity Theorem (Takagi 1920, Artin 1927) Let L=Qp be a nite Galois extension with abelian Galois group G = Gal(L=Qp) and norm N : L ! Qp, dened by Q . Then there is a N(a) = σ2G σ(a) group isomorphism Teiji Takagi × × ∼ Gal (−; L=Qp): Qp =N(L ) −! (L=Qp); which is called the local Artin symbol. Theorem (Artin 1927) Let L=Q be a Galois extension with abelian Galois Emil Artin group Gal ). Then Q 1 G = (L=Q p≤∞(a; L Qp=Qp) = × for all a 2 Q . Remark: This generalizes Hilbert's reciprocity law since p (a;L = )( b) p (a; b) = QppQp where L = [ b]. p b Q Chevalley's idelic formulation The idele group of Q is the group Q × × for almost all IQ = (ap) 2 p≤∞ Qp ap 2 Zp p < 1 : Note that × embeds diagonally into . Q IQ The idele class group of is ×. Q CQ = IQ=Q Theorem (Chevalley 1936) Claude Chevalley ab Let Q be the maximal abelian extension of Q. The product over all local Artin symbols denes a surjective group homomorphism Gal ab r : CQ −! (Q =Q) whose kernel is the connected component C 0 of the identity Q component of (w.r.t. the idelic topology on ). CQ CQ Part 2: L-series The Euler product In 1740, Euler describes explicit formulas for X 1 ζ(s) = ns n≥1 where s is an even positive integer. The case s = 2 solved the long standing Basel problem. Leonard Euler Moreover, Euler showed that Y 1 ζ(s) = 1 − p−s p<1 for real numbers s > 1, which is known as the Euler product nowadays. Dirichlet series × Let χ : Z ! C be a group homomorphism of nite order, i.e. χ(n) = 1 for some n ≥ 1. The Dirichlet series of χ is X χ(n) Y 1 L(χ, s) = = : ns 1 − χ(p)p−s n≥1 p<1 Application to primes in arithmetic progression: Peter Gustav Lejeune Theorem (Dirichlet 1840) Dirichlet Let a and n be positive integers. Then there are innitely many prime numbers p congruent to a modulo n. Riemann's analysis of ζ(s) Theorem (Riemann 1856) As a complex function, ζ(s) converges absolutely in the halfplane fs 2 CjRe(s) > 1g, has a meromorphic continuation to C with a simple pole at 1, and it satises a functional equation of the form Bernard Riemann ζ(1 − s) = (well-behaved factor) · ζ(s): In the following, we shall refer to such properties as arithmetic. In honor of Riemann's 1856 paper, ζ(s) is called the Riemann zeta function nowadays. Not to forget the Riemann hypothesis: Conjecture (Riemann 1856) If ζ(s) = 0, then s is an even negative integer or Re(s) = 1=2. Hecke L-functions Generalization of Dirichlet series (here only for Q): A Hecke character is a continuous group homo- morphism ×. It is unramied at χ : CQ ! C p if the composition × × is trivial. Zp ! CK ! C The Hecke L-function of χ is Y 1 L(χ, s) = : Erich Hecke 1 − χ(p)p−s χ unramied at p Theorem (Hecke 1916) L(χ, s) is arithmetic. If χ is nontrivial, then L(χ, s) is entire, i.e. without pole at 1. Problem: How to factorize large L-functions into smaller L-functions? Artin L-functions Let K=Q be a Galois extension with Galois group G = Gal(K=Q). An n-dimensional Galois representation of G is a continuous group homomorphism ρ : G −! GLn(C): If n = 1, then ρ is called a character. The Artin L-function of ρ is dened as the product Y L(ρ, s) = Lp(ρ, s) p<1 of local factors Lp(ρ, s), which are, roughly speaking, the reciprocals of the characteristic polynomials of ρ(Frobp) where Frobp is a lift of the Frobenius automorphism of the residue eld. Artin reciprocity, part 2 As a consequence of Artin's and Chevalley's theorems, the reciprocity map Gal ab induces an isomorphism r : CQ ! (Q =Q) ∗ Hom Gal ab × ∼ Hom 0 × r : ( (Q =Q); C ) −! (CQ=CQ; C ) between the respective character groups via r ∗(ρ) = ρ ◦ r. Theorem (Artin 1927) If χ = ρ ◦ r, then L(χ, s) = L(ρ, s). Applications: (1) Artin L-functions are arithmetic. (2) Factorization of large L-functions into smaller L-functions. The abelian Langlands correspondence Let Gal be the absolute Galois group of . GQ = (Q; Q) Q Since Gal( ab= ) = G ab and since every group homomorphism Q Q Q G ! × factors through G ab, we gain an isomorphism Q C Q Hom × Hom Gal ab × ∼ Hom 0 × (GQ; C ) = ( (Q =Q); C ) −! (CQ=CQ; C ): To extend this to an isomorphism with the whole character group of , we have to exchange by the Weil group of . CQ GQ WQ Q Theorem (Langlands correspondence for GL1) Artin reciprocity induces an isomorphism Hom × ∼ Hom × Φ: (WQ; C ) −! (CQ; C ) such that if . L(ρ, s) = L(χ, s) χ = Φ(ρ) André Weil Part 3: Going nonabelianthe Taniyama-Shimura-Weil conjecture Dirichlet series of a modular form The Poincaré upper half plane is H = fz 2 CjIm(z) > 0g. A modular cusp form (of weight k and level N) is an holomorphic function f : H ! C of the form Henri Poincaré 1 X 2 az + b f (z) = a e πinz=N s.t. f = (cz + d)k f (z) n cz + d n=1 for all a b SL congruent to 1 0 modulo . c d 2 2(Z) 0 1 N It is a (Hecke) eigenform if apq = apaq for all primes p 6= q. The Dirichlet series of f is X an Y 1 L(f ; s) = s = −s : n 1 − app n≥1 p<1 Theorem (Hecke 1936) L(f ; s) is arithmetic. Elliptic curves 1 1 An elliptic curve over Q is a Lie group E ' S × S (i.e. a complex torus) that is dened by equations over Q. In particular, it contains a subgroup on which acts. E(Q) ⊂ E GQ n n For a prime ` and n ≥ 1, let E(Q)[` ] be the subgroup of ` -torsion points of E(Q). The Tate module of E is T (E) = lim E( )[`n]; ` − Q n which is isomorphic to 2 and has an action of . Z` GQ For every good prime ` and embedding Z` ! C, we get a Galois representation John Tate GL GL2 ρ : GQ −! (T`(E) ⊗Z` C) ' (C): The L-function of E is the Artin L-function L(E; s) = L(ρ, s). The Taniyama-Shimura-Weil conjecture Conjecture (Taniyama 1955, Shimura 1957, Weil 1967) For every elliptic curve E over Q, there is a modular cusp eigenform f of weight 2 such that L(E; s) = L(f ; s). The conjecture was proven, step-by-step, by I Weil (1967), I Wiles (1995), with some help of Taylor, I Diamond (1996), Yukata Taniyama I Conrad, Diamond, Taylor (1999), I Brevil, Conrad, Diamond, Taylor (2001).
Recommended publications
  • Algebraic Hecke Characters and Compatible Systems of Abelian Mod P Galois Representations Over Global fields
    Algebraic Hecke characters and compatible systems of abelian mod p Galois representations over global fields Gebhard B¨ockle January 28, 2010 Abstract In [Kh1, Kh2, Kh3], C. Khare showed that any strictly compatible systems of semisimple abelian mod p Galois representations of a number field arises from a unique finite set of algebraic Hecke Characters. In this article, we consider a similar problem for arbitrary global fields. We give a definition of Hecke character which in the function field setting is more general than previous definitions by Goss and Gross and define a corresponding notion of compatible system of mod p Galois representations. In this context we present a unified proof of the analog of Khare's result for arbitrary global fields. In a sequel we shall apply this result to compatible systems arising from Drinfeld modular forms, and thereby attach Hecke characters to cuspidal Drinfeld Hecke eigenforms. 1 Introduction In [Kh1, Kh2, Kh3], C. Khare studied compatible systems of abelian mod p Galois rep- resentations of a number field. He showed that the semisimplification of any such arises from a direct sum of algebraic Hecke characters, as was suggested by the framework of motives. On the one hand, this result shows that with minimal assumptions such as only knowing the mod p reductions, one can reconstruct a motive from an abelian compati- ble system. On the other hand, which is also remarkable, the association of the Hecke characters to the compatible systems is based on fairly elementary tools from algebraic number theory. The first such association was based on deep transcendence results by Henniart [He] and Waldschmidt [Wa] following work of Serre [Se].
    [Show full text]
  • Hecke Characters, Classically and Idelically
    HECKE CHARACTERS CLASSICALLY AND IDELICALLY` Hecke's original definition of a Gr¨ossencharakter, which we will call a Hecke character from now on, is set in the classical algebraic number theory environment. The definition is as it must be to establish the analytic continuation and functional equation for a general number field L-function X Y L(χ, s) = χ(a)Na−s = (1 − χ(p)Np−s)−1 a p analogous to Dirichlet L-functions. But the classical generalization of a Dirich- let character to a Hecke character is complicated because it must take units and nonprincipal ideals into account, and it is difficult to motivate other than the fact that it is what works. By contrast, the definition of a Hecke character in the id`elic context is simple and natural. This writeup explains the compatibility of the two definitions. Most of the ideas here were made clear to me by a talk that David Rohrlich gave at PCMI in 2009. Others were explained to me by Paul Garrett. The following notation is in effect throughout: • k denotes a number field and O is its ring of integers. • J denotes the id`elegroup of k. • v denotes a place of k, nonarchimedean or archimedean. 1. A Multiplicative Group Revisited This initial section is a warmup whose terminology and result will fit into what follows. By analogy to Dirichlet characters, we might think of groups of the form (O=f)×; f an ideal of O as the natural domains of characters associated to the number field k. This idea is na¨ıve, because O needn't have unique factorization, but as a starting point we define a group that is naturally isomorphic to the group in the previous display.
    [Show full text]
  • Class Numbers of CM Algebraic Tori, CM Abelian Varieties and Components of Unitary Shimura Varieties
    CLASS NUMBERS OF CM ALGEBRAIC TORI, CM ABELIAN VARIETIES AND COMPONENTS OF UNITARY SHIMURA VARIETIES JIA-WEI GUO, NAI-HENG SHEU, AND CHIA-FU YU Abstract. We give a formula for the class number of an arbitrary CM algebraic torus over Q. This is proved based on results of Ono and Shyr. As applications, we give formulas for numbers of polarized CM abelian varieties, of connected components of unitary Shimura varieties and of certain polarized abelian varieties over finite fields. We also give a second proof of our main result. 1. Introduction An algebraic torus T over a number field k is a connected linear algebraic group over k such d that T k k¯ isomorphic to (Gm) k k¯ over the algebraic closure k¯ of k for some integer d 1. The class⊗ number, h(T ), of T is by⊗ definition, the cardinality of T (k) T (A )/U , where A≥ \ k,f T k,f is the finite adele ring of k and UT is the maximal open compact subgroup of T (Ak,f ). Asa natural generalization for the class number of a number field, Takashi Ono [18, 19] studied the class numbers of algebraic tori. Let K/k be a finite extension and let RK/k denote the Weil restriction of scalars form K to k, then we have the following exact sequence of tori defined over k 1 R(1) (G ) R (G ) G 1, −→ K/k m,K −→ K/k m,K −→ m,k −→ where R(1) (G ) is the kernel of the norm map N : R (G ) G .
    [Show full text]
  • Nonvanishing of Hecke L-Functions and Bloch-Kato P
    NONVANISHING OF HECKE L{FUNCTIONS AND BLOCH-KATO p-SELMER GROUPS ARIANNA IANNUZZI, BYOUNG DU KIM, RIAD MASRI, ALEXANDER MATHERS, MARIA ROSS, AND WEI-LUN TSAI Abstract. The canonical Hecke characters in the sense of Rohrlich form a set of algebraic Hecke characters with important arithmetic properties. In this paper, we prove that for an asymptotic density of 100% of imaginary quadratic fields K within certain general families, the number of canonical Hecke characters of K whose L{function has a nonvanishing central value is jdisc(K)jδ for some absolute constant δ > 0. We then prove an analogous density result for the number of canonical Hecke characters of K whose associated Bloch-Kato p-Selmer group is finite. Among other things, our proofs rely on recent work of Ellenberg, Pierce, and Wood on bounds for torsion in class groups, and a careful study of the main conjecture of Iwasawa theory for imaginary quadratic fields. 1. Introduction and statement of results p Let K = Q( −D) be an imaginary quadratic field of discriminant −D with D > 3 and D ≡ 3 mod 4. Let OK be the ring of integers and letp "(n) = (−D=n) = (n=D) be the Kronecker symbol. × We view " as a quadratic character of (OK = −DOK ) via the isomorphism p ∼ Z=DZ = OK = −DOK : p A canonical Hecke character of K is a Hecke character k of conductor −DOK satisfying p 2k−1 + k(αOK ) = "(α)α for (αOK ; −DOK ) = 1; k 2 Z (1.1) (see [R2]). The number of such characters equals the class number h(−D) of K.
    [Show full text]
  • Notes on the Riemann Hypothesis Ricardo Pérez-Marco
    Notes on the Riemann Hypothesis Ricardo Pérez-Marco To cite this version: Ricardo Pérez-Marco. Notes on the Riemann Hypothesis. 2018. hal-01713875 HAL Id: hal-01713875 https://hal.archives-ouvertes.fr/hal-01713875 Preprint submitted on 21 Feb 2018 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. NOTES ON THE RIEMANN HYPOTHESIS RICARDO PEREZ-MARCO´ Abstract. Our aim is to give an introduction to the Riemann Hypothesis and a panoramic view of the world of zeta and L-functions. We first review Riemann's foundational article and discuss the mathematical background of the time and his possible motivations for making his famous conjecture. We discuss some of the most relevant developments after Riemann that have contributed to a better understanding of the conjecture. Contents 1. Euler transalgebraic world. 2 2. Riemann's article. 8 2.1. Meromorphic extension. 8 2.2. Value at negative integers. 10 2.3. First proof of the functional equation. 11 2.4. Second proof of the functional equation. 12 2.5. The Riemann Hypothesis. 13 2.6. The Law of Prime Numbers. 17 3. On Riemann zeta-function after Riemann.
    [Show full text]
  • Tate's Thesis
    学士学位论文 Tate 的论文 作者姓名: 刘浩浩 学科专业: 数学与应用数学 导师姓名: Benoît Stroh 教授 欧阳毅 教授 完成时间: 二〇一九年五月一日 University of Science and Technology of China A dissertation for bachelor’s degree Tate’s Thesis Author: Haohao Liu Speciality: Mathematics and Applied Mathematics Supervisors: Prof. Benoît Stroh, Prof. Yi Ouyang Finished time: May 1, 2019 中国科学技术大学本科毕业论文 Acknowledgements 撰写论文期间,我得到了两位老师的指导,他们是:中国科学技术大学的欧 阳毅教授和巴黎六大的 Benoît Stroh 教授。我感谢欧阳老师所给的选题建议,让 我有机会仔细学习 Tate’s thesis 这一优美而重要的工作。欧阳老师也为我提供了 关于参考资料的宝贵意见,论文修改也花费了他诸多时间。Stroh 老师具体指导 我的学习,他看待问题观点新颖,和他的讨论每每让我眼前一亮。他指出我理解 的不足,并且制定了论文的具体内容。在此对两位老师深表谢意。 Please send me an email if you note any mistakes: [email protected]. 中国科学技术大学本科毕业论文 Contents 中文内容摘要 ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ 3 英文内容摘要 ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ 4 Chapter 1 简介/Introduction ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ 6 Chapter 2 经典理论/Classical Theory ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ 7 2.1 Dedekind zeta function ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ 7 2.1.1 General Minkowski space ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ 7 2.1.2 Functional equation ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ 10 2.2 Zeta function of global function field ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ 12 2.2.1 Rational expression ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ 15 2.2.2 Functional equation ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ 16 2.3 Dirichlet L­function ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ
    [Show full text]
  • Algebraic Hecke Characters Motivation
    Algebraic Hecke Characters Motivation This motivation was inspired by the excellent article [Serre-Tate, x 7]. Our goal is to prove the main theorem of complex multiplication. The Galois theoretic formulation is as follows: Theorem (Main Theorem of Complex Multiplication). Let (A; α) be a CM abelian variety over a number field K ⊂ Q; and let (L; Φ) be its CM-type. (i) The reflex field E ⊂ Q is contained in K: × (ii) There exists a unique algebraic Hecke character : AK ! L such that for each `; the continuous homomorphism ab × φ` : Gal(K =K) ! L` −1 φ`(a) = (a)alg(a` ) ab is equal to the `-adic representation of Gal(K =K) on the `-adic Tate module V`(A): (iii) The algebraic part of is alg = NΦ ◦ NmK=E; where NΦ : ResE=QGm ! ResL=QGm denotes the reflex norm. (v) If v is a finite place of K where A has good reduction, say A/κv; then for any uniformizer πv of OKv ; we have (πv) = F rA;qv ; where #κv = qv: Let's meditate on this statement to understand the need for algebraic Hecke characters. We start with (v): Because A=K has CM by L; we have a diagram 0 redv 0 i : L,! End (A) −−! End (AL) where the second map is the reduction at v map. The second map is injective. Indeed, for any m prime to qv;A[m] is a finite etale group scheme over OKv ; for such group schemes, the reduction map is always isomorphism. Now F rA;qv commutes with every kv endomorphism of A: In particular, it centralizes the image of i in End0(A): But because A is CM, so in particular, [iL : Q] = 2 dim(A); we must have 1 0 F rA;qv 2 im(i): Let πv 2 L denote the unique preimage of F rA;qv : All Galois representations φ` on 0 V`(A) are completely encoded in the collection fπvg; by the Chebotarev density theorem.
    [Show full text]
  • Birch and Swinnerton-Dyer Conjecture in the Complex Multiplication Case
    BIRCH AND SWINNERTON-DYER CONJECTURE IN THE COMPLEX MULTIPLICATION CASE AND THE CONGRUENT NUMBER PROBLEM KAZUMA MORITA Abstract. For an elliptic curve E over K, the Birch and Swinnerton-Dyer conjecture predicts that the rank of Mordell-Weil group E(K) is equal to the order of the zero of L(E/K ,s) at s = 1. In this paper, we shall give a proof for elliptic curves with complex multiplications. The key method of the proof is to reduce the Galois action of infinite order on the Tate module of an elliptic curve to that of finite order by using the p-adic Hodge theory. As a corollary, we can determine whether a given natural number is a congruent number (con- gruent number problem). This problem is one of the oldest unsolved problems in mathematics. 1. Introduction A natural number N is called a congruent number if it is the area of a rational right-angled triangle. To determine whether N is a congruent number is a difficult problem which can be traced back at least a millennium and is the oldest major unsolved problem in number theory. For example, it is easy to verify that 6 is a congruent number since the sides lengths (3, 4, 5) give the right-angled triangle whose area is 6. Furthermore, 5 and 7 are shown to be congruent numbers by Fibonacci and Euler. On the other hand, Fermat showed that the square numbers are never congruent numbers and, based on this experience, led to the famous Fermat’s conjecture. In modern language, a natural number N is a congruent number if and only if there exists a rational point (x, y) with y =6 0 on the elliptic arXiv:1803.11074v3 [math.NT] 30 May 2019 curve y2 = x3 − N 2x.
    [Show full text]
  • L-Functions and Non-Abelian Class Field Theory, from Artin to Langlands
    L-functions and non-abelian class field theory, from Artin to Langlands James W. Cogdell∗ Introduction Emil Artin spent the first 15 years of his career in Hamburg. Andr´eWeil charac- terized this period of Artin's career as a \love affair with the zeta function" [77]. Claude Chevalley, in his obituary of Artin [14], pointed out that Artin's use of zeta functions was to discover exact algebraic facts as opposed to estimates or approxi- mate evaluations. In particular, it seems clear to me that during this period Artin was quite interested in using the Artin L-functions as a tool for finding a non- abelian class field theory, expressed as the desire to extend results from relative abelian extensions to general extensions of number fields. Artin introduced his L-functions attached to characters of the Galois group in 1923 in hopes of developing a non-abelian class field theory. Instead, through them he was led to formulate and prove the Artin Reciprocity Law - the crowning achievement of abelian class field theory. But Artin never lost interest in pursuing a non-abelian class field theory. At the Princeton University Bicentennial Conference on the Problems of Mathematics held in 1946 \Artin stated that `My own belief is that we know it already, though no one will believe me { that whatever can be said about non-Abelian class field theory follows from what we know now, since it depends on the behavior of the broad field over the intermediate fields { and there are sufficiently many Abelian cases.' The critical thing is learning how to pass from a prime in an intermediate field to a prime in a large field.
    [Show full text]
  • Universal Adelic Groups for Imaginary Quadratic Number Fields and Elliptic Curves Athanasios Angelakis
    Universal Adelic Groups for Imaginary Quadratic Number Fields and Elliptic Curves Athanasios Angelakis To cite this version: Athanasios Angelakis. Universal Adelic Groups for Imaginary Quadratic Number Fields and Elliptic Curves. Group Theory [math.GR]. Université de Bordeaux; Universiteit Leiden (Leyde, Pays-Bas), 2015. English. NNT : 2015BORD0180. tel-01359692 HAL Id: tel-01359692 https://tel.archives-ouvertes.fr/tel-01359692 Submitted on 23 Sep 2016 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. Universal Adelic Groups for Imaginary Quadratic Number Fields and Elliptic Curves Proefschrift ter verkrijging van de graad van Doctor aan de Universiteit Leiden op gezag van Rector Magnificus prof. mr. C.J.J.M. Stolker, volgens besluit van het College voor Promoties te verdedigen op woensdag 2 september 2015 klokke 15:00 uur door Athanasios Angelakis geboren te Athene in 1979 Samenstelling van de promotiecommissie: Promotor: Prof. dr. Peter Stevenhagen (Universiteit Leiden) Promotor: Prof. dr. Karim Belabas (Universit´eBordeaux I) Overige leden: Prof.
    [Show full text]
  • LECTURES on HEIGHT ZETA FUNCTIONS of TORIC VARIETIES by Yuri Tschinkel
    S´eminaires & Congr`es 6, 2002, p. 227–247 LECTURES ON HEIGHT ZETA FUNCTIONS OF TORIC VARIETIES by Yuri Tschinkel Abstract.— We explain the main ideas and techniques involved in recent proofs of asymptotics of rational points of bounded height on toric varieties. 1. Introduction Toric varieties are an ideal testing ground for conjectures: their theory is sufficiently rich to reflect general phenomena and sufficiently rigid to allow explicit combinato- rial computations. In these notes I explain a conjecture in arithmetic geometry and describe its proof for toric varieties. Acknowledgments. — Iwould like to thank the organizers of the Summer School for the invitation. The results concerning toric varieties were obtained in collaboration with V. Batyrev. It has been a great pleasure and privilege to work with A. Chambert- Loir, B. Hassett and M. Strauch — Iam very much indebted to them. My research was partially supported by the NSA. 1.1. Counting problems Example 1.1.1.—LetX ⊂ Pn be a smooth hypersurface given as the zero set of a homogeneous form f of degree d (with coefficients in Z). Let N(X, B)=#{x | f(x)=0, max(|xj |) B} n+1 (where x =(x0,...,xn) ∈ Z /(±1) with gcd(xj) = 1) be the number of Q-rational points on X of “height” B. Heuristically, the probability that f represents 0 is about B−d and the number of “events” about Bn+1. Thus we expect that lim N(X, B) ∼ Bn+1−d. B→∞ 2000 Mathematics Subject Classification.—14G05, 11D45, 14M25, 11D57. Key words and phrases.—Rational points, heights, toric varieties, zeta functions.
    [Show full text]
  • Arxiv:1604.08551V6 [Math.NT] 23 Feb 2019 field Conductor 1.1
    BURGESS-LIKE SUBCONVEXITY FOR GL1 HAN WU Abstract. We generalize our previous method on subconvexity problem for GL2 × GL1 with cuspidal representations to Eisenstein series, and deduce a Burgess-like subconvex bound for Hecke characters, 1/4−(1−2θ)/16+ǫ i.e., the bound |L(1/2,χ)|≪F,ǫ C(χ) for varying Hecke characters χ over a number field F with analytic conductor C(χ). As a main tool, we apply the extended theory of regularized integral due to Zagier developed in a previous paper to obtain the relevant triple product formulas of Eisenstein series. Contents 1. Introduction 1 1.1. Statement of Main Result 1 1.2. Discussion on Method 3 1.3. Notations and Conventions 4 2. Miscellaneous Preliminaries 5 2.1. Extension of Zagier’s Regularized Integral 5 2.2. Regularized Triple Product Formula 7 2.3. Extension of Global Zeta Integral 12 2.4. Classical Vectors in Spherical Series 15 3. Local Estimations 18 3.1. Non Archimedean Places for Exceptional Part 18 3.2. Non Archimedean Places for L4-Norms 19 4. Proof of Main Result 20 4.1. Reduction to Global Period Bound 20 4.2. Reduction to Bound of Truncated Integral 21 4.3. Interlude: Failure of Truncation on Eisenstein series 22 4.4. Regroupment of Generalized Fourier Inversion 23 4.5. Bounds for Each Part 24 5. Complements of Global Estimations 25 5.1. Estimation for Exceptional Part 25 5.2. Estimation for Regularized L4-Norms 28 arXiv:1604.08551v6 [math.NT] 23 Feb 2019 6. Appendix: Dis-adelization in a Special Case 32 Acknowledgement 37 References 37 1.
    [Show full text]