DOCSLIB.ORG

The Work of Granville–Stark on ABC and Siegel Zeros

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
The Work of Granville–Stark on ABC and Siegel Zeros The work of Granville{Stark on ABC and Siegel zeros Christian T´afula D´epartement de math´ematiques et de statistique (DMS), Universit´ede Montr´eal(UdeM) Math 726: Topics in Number Theory Modular forms and the theory of complex multiplication T´afula,C. (DMS, UdeM) Granville{Stark October 2020 0 / 22 Contents 1 Introduction 2 Lower bounds for h(D) 3 The Siegel zero T´afula,C. (DMS, UdeM) Granville{Stark October 2020 1 / 22 Contents 1 Introduction 2 Lower bounds for h(D) 3 The Siegel zero T´afula,C. (DMS, UdeM) 1. Intro October 2020 2 / 22 Notation p p D < 0 fundamental discriminant (so D2 = R, D = disc Q( D)); p C`(D) = class group of Q( D); p h(D) = jC`(D)j class number of Q( D); j = j-invariant function: 3 1 + 240 P P d3qn n≥1 djn 2πiτ j(τ) := Q n 24 =(τ) > 0; q = e q n≥1(1 − q ) j(i) = 1728; q-expansion of j: j(τ + 1) = j(τ); 2πi=3 j(e ) = 0; 1 j(−1/τ) = j(τ); j(τ) = + 744 + 196884q + ··· \j(i1) = 11"; q T´afula,C. (DMS, UdeM) 1. Intro October 2020 3 / 22 Singular moduli (1/2) Let τ 2 h (=(τ) > 0) A; B; C 2 ; A > 0; CM-point: τ j Aτ 2 + Bτ + C = 0 Z gcd(A; B; C) = 1; unique Singular modulus: j(τ)(j = j-invariant, τ a CM-point) CM-points Quadratic forms F ! τ 2 h Ax2 + Bxy + Cy2 2πi πi e 3 e 3 disc(τ) := B2 − 4AC • ◦ τ ∼ τ 0 () (A; B; C) ∼ (A0;B0;C0) τ 2 F () (A; B; C) reduced -1 -0.5 0 0.5 1 T´afula,C. (DMS, UdeM) 1. Intro October 2020 4 / 22 Singular moduli (2/2) Heegner points ΛD Reduced prim. quad. forms of disc. D 8 (a; b; c) := ax2 + bxy + cy2 9 CM-points τ 2 F ; < = ! s.t. b2 − 4ac = D; and disc(τ) = D :−a < b ≤ a < c or 0 ≤ b ≤ a = c; p 2 p 2 D −1 + D τD := or $ Principal form p 2 2 Z[τD] = O ( D) |{z} | {z } | {z } Q D≡0(4) D≡1(4) D 1−D (1;0;− 4 ) or (1;1; 4 ) p Write HD := Hilbert class field of Q( D). p p HD = Q( D; j(τD)) [HD : Q( D)] = [Q(j(τD)) : Q] = h(D) p fj(τ) j τ 2 ΛDg = Gal(Q=Q( D))-conjugates of j(τD) j(τD) is an algebraic integer! T´afula,C. (DMS, UdeM) 1. Intro October 2020 5 / 22 The equation x3 − Dy2 = 1728 In class, we saw the equation x3 − Dy2 = 1728 (= j(i)). Factorization of differences of singular moduli 3 2 Solutions of the type (j(τD); j(τD) − 1728) = (x ; Dy ) Idea: ABC =) few such solns =) lower bounds for h(D) ABC : a; b; c 2 Z coprime: 8" > 0; 9C" > 0 s.t. Q 1+" (a + b = c) maxfjaj; jbj; jcjg < C" pjabc p Example (Class number 1) p We've seen that h(D) = 1 =) x; y jDj 2 Z. However, in this case, p abc p 3 2 1+" jj(τD)j ≤ maxfjxj ; jy Dj ; 1728g ≤ C" · jx · y Dj 5 (1+") ≤ C" · jj(τD)j 6 ; so there can only be finitely many D < 0 with h(D) = 1. 4 T´afula,C. (DMS, UdeM) 1. Intro October 2020 6 / 22 How does h(D) grow? What do we know? h(D) ! 1 as D ! −∞ (Heilbronn, 1934) List h(D) (small values of jDj) Estimate h(D) (large values of jDj) −D 2 f3; 4; 7; 8; 11; 19; 43; 67; 163g are the only D s.t. h(D) = 1 Solved by Heegner (∼1952) [based on Weber's work] Reworked and clarified by Stark, Birch (1967∼9) Baker's solution (∼1970) [based on Baker's theorem] h(D) grows roughly like jDj1=2 (GRH =) err ≈ (log log jDj)±1) h(D) Hecke (1917): If ζ p (s) 6= 0 near 1, then (log jDj)−1 Q( D) jDj1=2 h(D ) h(D ) Landau (1918): max 1 ; 2 (log jD D j)−1 1=2 1=2 1 2 jD1j jD2j h(D) Siegel (1935): jDj−" (unconditional but ineffective) jDj1=2 " T´afula,C. (DMS, UdeM) 1. Intro October 2020 7 / 22 Contents 1 Introduction 2 Lower bounds for h(D) 3 The Siegel zero T´afula,C. (DMS, UdeM) 2. LB for h(D) October 2020 8 / 22 The Granville{Stark Theorem Theorem (Granville{Stark, 2000) \No Siegel zeros" for Uniform abc-conj. =) ζ p (s); D < 0 Q( D) Study x3 − y2 = 1728 A. Granville Uniform ABC for number fields (U-abc) U-abc =) lower bounds for h(D) 1 Lower bounds h(D) () 2 \no Siegel zeros" H. Stark T´afula,C. (DMS, UdeM) 2. LB for h(D) October 2020 9 / 22 The equation x3 − y2 = 1728 3 2 Solutions of the type (j(τD); j(τD) − 1728) = (x ; y ) X ABC (for Q) : log maxfjaj; jbj; jcjg < (1 + ") log p + O"(1) pjabc | {z } log -conductor Applying the same logic for x3 − y2 − 1728 = 0, we would get: log maxfjxj3; jyj2g ≤ log maxfjxj3; jyj2; 1728g abc ≤ (1 + ") log -cond(12jxyj) + tax 5 ≤ (1 + ") log maxfjxj3; jyj2g + tax 6 How to make −! this precise? log maxfjxj3; jyj2g < (6 + "0) · tax T´afula,C. (DMS, UdeM) 2. LB for h(D) October 2020 10 / 22 abc-conjecture for number fields (1/2) non Let K=Q be a NF, MK its places, MK ⊆ MK non-arch. places n For a point P = [x0 : ··· : xn] 2 PK , define: (na¨ıve, abs, log) height ht(P ) (log) conductor NK (P ) 1 1 X X fv log(pv) log maxfkxikvg [K : ] [K : Q] i Q v2Mnon v2MK K 9i;j≤n s:t: v(xi)6=v(xj ) For a; b; c 2 coprime, Z $ 8 v ∼ p = p ht([a : b : c]) = log maxfjaj; jbj; jcjg <> v p ∼ p \ Q v v Q NQ([a : b : c]) = log pjabc p :> fv := [Kv : Qpv ] 1 X α integral ) ht(α) = log+ jα∗j jAj For α 2 Q, ht(α) := ht([α : 1]). α∗2A A = fconjugates of αg T´afula,C. (DMS, UdeM) 2. LB for h(D) October 2020 11 / 22 abc-conjecture for number fields (2/2) abc-conjecture for number fields Fix K=Q a number field. Then, for every " > 0, there is C(K; ") 2 R+ such that, 8a; b; c 2 K j a + b + c = 0, we have ht([a : b : c]) < (1 + ") NK ([a : b : c]) + log(rdK ) + C(K; "); 1=[K: ] where rdK := j∆K j Q is the root-discriminant of K. Example (a; b; c integral, coprime) For a; b; c 2 OK coprime (meaning v(a) 6= v(b) 6= v(c) for v < 1), 1 1 1 [K:Q] [K:Q] [K:Q] maxfjNK=Q(a)j ; jNK=Q(b)j ; jNK=Q(c)j g !1+" Y OK < CK;" j∆K j pOK ; p j (abc) with CK;" = exp([K : Q] ·C(K; ")). T´afula,C. (DMS, UdeM) 2. LB for h(D) October 2020 12 / 22 What do we get? 3 2 3 2 (j(τD); j(τD) − 1728) = (x ; y ) x − y = 1728 j(τD) 2 HD He D := HD(x; y) [He D :HD] ≤ 6 3 2 • \ log maxfjxj ; jyj g" < (6 + ") · tax(He D;") More precisely: ht(j(τD)) < 6 (1 + ") log(rd ) + C(HD;") He D e p p p \Factorization": rd ≤ 6 jDj rdH = rd = jDj He D D Q( D) 1 Uniform ABC-conj.: C(K; ") = C(") =) tax(") log jDj . 2 T´afula,C. (DMS, UdeM) 2. LB for h(D) October 2020 13 / 22 Lower bounds for h(D) Lemma [G{S] Unif. ABC-conj. =) ht(j(τD)) ≤ (3 + o(1)) log jDj However, 1 X ax2 + bxy + cy2 ht(j(τ )) = log+ jj(τ )j D h(D) (a;b;c) reduced; (a;b;c) 2 p b − 4ac = D 1 X π jDj = + O(1); h(D) a p (a;b;c) −b + D τ(a;b;c) = and thus: 2a Theorem [G{S] q-expansion! p U-abc π jDj X 1 1 h(D) ≥ + o(1) j(τ) = + O(1) 3 log jDj a q (a;b;c) T´afula,C. (DMS, UdeM) 2. LB for h(D) October 2020 14 / 22 Contents 1 Introduction 2 Lower bounds for h(D) 3 The Siegel zero T´afula,C. (DMS, UdeM) 3. Siegel zero October 2020 15 / 22 p Dedekind zeta function of Q( D) X 1 c−1 ζ (s) = = + c + O(s − 1) (s ! 1) K N(a)s s − 1 0 a⊆OK Conjecture (\no Siegel zeros" for D < 0) δ There is δ > 0 such that ζ p (β) 6= 0 for 1 − ≤ β < 1. Q( D) log jDj π h(D) • Dirichlet's class number formula: c−1(D) = (D < −4) pjDj p 1 π h(D) log jDj −1 ζ (β) ≤ − + c0(D) + O (log jDj) Q( D) δ pjDj U-abc 1 X 1 ≤ − + o(1) + c (D) + o(1) δ a 0 (a;b;c) T´afula,C. (DMS, UdeM) 3. Siegel zero October 2020 16 / 22 Kronecker's limit formula (KLF) X 1 We just need to show that c (D) (as D ! −∞). 0 a (a;b;c) +1 ! 1 X X 1 ζ p (s) = Q( D) 2 (am2 + bmn + cn2)s (a;b;c) m;n=−∞ m;n 6= 0 | {z } Epstein zeta function: Z(a;b;c)(s) KLF [Kronecker 1863, Weber 1881, :::, Chowla{Selberg 1967, :::] The constant term (c0) of Z(a;b;c)(s) as s ! 1 is given by: p p ! π 1 jDj −b+ D 4 2γ − log(2) − log jDj − log η pjDj 2 2a 2a T´afula,C.
Load more

Recommended publications
  • Class Numbers of Quadratic Fields Ajit Bhand, M Ram Murty
    Class Numbers of Quadratic Fields Ajit Bhand, M Ram Murty To cite this version: Ajit Bhand, M Ram Murty. Class Numbers of Quadratic Fields. Hardy-Ramanujan Journal, Hardy- Ramanujan Society, 2020, Volume 42 - Special Commemorative volume in honour of Alan Baker, pp.17 - 25. hal-02554226 HAL Id: hal-02554226 https://hal.archives-ouvertes.fr/hal-02554226 Submitted on 1 May 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. Hardy-Ramanujan Journal 42 (2019), 17-25 submitted 08/07/2019, accepted 07/10/2019, revised 15/10/2019 Class Numbers of Quadratic Fields Ajit Bhand and M. Ram Murty∗ Dedicated to the memory of Alan Baker Abstract. We present a survey of some recent results regarding the class numbers of quadratic fields Keywords. class numbers, Baker's theorem, Cohen-Lenstra heuristics. 2010 Mathematics Subject Classification. Primary 11R42, 11S40, Secondary 11R29. 1. Introduction The concept of class number first occurs in Gauss's Disquisitiones Arithmeticae written in 1801. In this work, we find the beginnings of modern number theory. Here, Gauss laid the foundations of the theory of binary quadratic forms which is closely related to the theory of quadratic fields.
    [Show full text]
  • Li's Criterion and Zero-Free Regions of L-Functions
    CORE Metadata, citation and similar papers at core.ac.uk Provided by Elsevier - Publisher Connector Journal of Number Theory 111 (2005) 1–32 www.elsevier.com/locate/jnt Li’s criterion and zero-free regions of L-functions Francis C.S. Brown A2X, 351 Cours de la Liberation, F-33405 Talence cedex, France Received 9 September 2002; revised 10 May 2004 Communicated by J.-B. Bost Abstract −s/ Let denote the Riemann zeta function, and let (s) = s(s− 1) 2(s/2)(s) denote the completed zeta function. A theorem of X.-J. Li states that the Riemann hypothesis is true if and only if certain inequalities Pn() in the first n coefficients of the Taylor expansion of at s = 1 are satisfied for all n ∈ N. We extend this result to a general class of functions which includes the completed Artin L-functions which satisfy Artin’s conjecture. Now let be any such function. For large N ∈ N, we show that the inequalities P1(),...,PN () imply the existence of a certain zero-free region for , and conversely, we prove that a zero-free region for implies a certain number of the Pn() hold. We show that the inequality P2() implies the existence of a small zero-free region near 1, and this gives a simple condition in (1), (1), and (1), for to have no Siegel zero. © 2004 Elsevier Inc. All rights reserved. 1. Statement of results 1.1. Introduction Let (s) = s(s − 1)−s/2(s/2)(s), where is the Riemann zeta function. Li [5] proved that the Riemann hypothesis is equivalent to the positivity of the real parts E-mail address: [email protected].
    [Show full text]
  • And Siegel's Theorem We Used Positivi
    Math 259: Introduction to Analytic Number Theory A nearly zero-free region for L(s; χ), and Siegel's theorem We used positivity of the logarithmic derivative of ζq to get a crude zero-free region for L(s; χ). Better zero-free regions can be obtained with some more effort by working with the L(s; χ) individually. The situation is most satisfactory for 2 complex χ, that is, for characters with χ = χ0. (Recall that real χ were also the characters that gave us the most difficulty6 in the proof of L(1; χ) = 0; it is again in the neighborhood of s = 1 that it is hard to find a good zero-free6 region for the L-function of a real character.) To obtain the zero-free region for ζ(s), we started with the expansion of the logarithmic derivative ζ 1 0 (s) = Λ(n)n s (σ > 1) ζ X − − n=1 and applied the inequality 1 0 (z + 2 +z ¯)2 = Re(z2 + 4z + 3) = 3 + 4 cos θ + cos 2θ (z = eiθ) ≤ 2 it iθ s to the phases z = n− = e of the terms n− . To apply the same inequality to L 1 0 (s; χ) = χ(n)Λ(n)n s; L X − − n=1 it it we must use z = χ(n)n− instead of n− , obtaining it 2 2it 0 Re 3 + 4χ(n)n− + χ (n)n− : ≤ σ Multiplying by Λ(n)n− and summing over n yields L0 L0 L0 0 3 (σ; χ ) + 4 Re (σ + it; χ) + Re (σ + 2it; χ2) : (1) ≤ − L 0 − L − L 2 Now we see why the case χ = χ0 will give us trouble near s = 1: for such χ the last term in (1) is within O(1) of Re( (ζ0/ζ)(σ + 2it)), so the pole of (ζ0/ζ)(s) at s = 1 will undo us for small t .
    [Show full text]
  • Zeta Functions of Finite Graphs and Coverings, III
    Graph Zeta Functions 1 INTRODUCTION Zeta Functions of Finite Graphs and Coverings, III A. A. Terras Math. Dept., U.C.S.D., La Jolla, CA 92093-0112 E-mail: [email protected] and H. M. Stark Math. Dept., U.C.S.D., La Jolla, CA 92093-0112 Version: March 13, 2006 A graph theoretical analog of Brauer-Siegel theory for zeta functions of number …elds is developed using the theory of Artin L-functions for Galois coverings of graphs from parts I and II. In the process, we discuss possible versions of the Riemann hypothesis for the Ihara zeta function of an irregular graph. 1. INTRODUCTION In our previous two papers [12], [13] we developed the theory of zeta and L-functions of graphs and covering graphs. Here zeta and L-functions are reciprocals of polynomials which means these functions have poles not zeros. Just as number theorists are interested in the locations of the zeros of number theoretic zeta and L-functions, thanks to applications to the distribution of primes, we are interested in knowing the locations of the poles of graph-theoretic zeta and L-functions. We study an analog of Brauer-Siegel theory for the zeta functions of number …elds (see Stark [11] or Lang [6]). As explained below, this is a necessary step in the discussion of the distribution of primes. We will always assume that our graphs X are …nite, connected, rank 1 with no danglers (i.e., degree 1 vertices). Let us recall some of the de…nitions basic to Stark and Terras [12], [13].
    [Show full text]
  • SPEECH: SIEGEL ZERO out Line: 1. Introducing the Problem of Existence of Infinite Primes in Arithmetic Progressions (Aps), 2. Di
    SPEECH: SIEGEL ZERO MEHDI HASSANI Abstract. We talk about the effect of the positions of the zeros of Dirichlet L-function in the distribution of prime numbers in arithmetic progressions. We point to effect of possible existence of Siegel zero on above distribution, distribution of twin primes, entropy of black holes, and finally in the size of least prime in arithmetic progressions. Out line: 1. Introducing the problem of existence of infinite primes in Arithmetic Progressions (APs), 2. Dirichlet characters and Dirichlet L-functions, 3. Brief review of Dirichlet's proof, and pointing importance of L(1; χ) 6= 0 in proof, 4. About the zeros of Dirichlet L-functions: Zero Free Regions (ZFR), Siegel zero and Siegel's theorem, 5. Connection between zeros of L-functions and distribution of primes in APs: Explicit formula, 6. Prime Number Theorem (PNT) for APs, 7. More about Siegel zero and the problem of least prime in APs. Extended abstract: After introducing the problem of existence of infinite primes in the arithmetic progression a; a + q; a + 2q; ··· with (a; q) = 1, we give some fast information about Dirichlet characters and Dirichlet L-functions: mainly we write orthogonality relations for Dirichlet characters and Euler product for L-fucntions, and after taking logarithm we arrive at 1 X X (1) χ(a) log L(s; χ) = m−1p−ms '(q) χ p;m pm≡a [q] where the left sum is over all '(q) characters molulo q, and in the right sum m rins over all positive integers and p runs over all primes.
    [Show full text]
  • Standard Zero-Free Regions for Rankin–Selberg L-Functions
    STANDARD ZERO-FREE REGIONS FOR RANKIN–SELBERG L-FUNCTIONS VIA SIEVE THEORY PETER HUMPHRIES, WITH AN APPENDIX BY FARRELL BRUMLEY Abstract. We give a simple proof of a standard zero-free region in the t- aspect for the Rankin–Selberg L-function L(s,π × πe) for any unitary cuspidal automorphic representation π of GLn(AF ) that is tempered at every nonar- chimedean place outside a set of Dirichlet density zero. 1. Introduction Let F be a number field, let n be a positive integer, and let π be a unitary cuspidal automorphic representation of GLn(AF ) with L-function L(s, π), with π normalised such that its central character is trivial on the diagonally embedded copy of the positive reals. The proof of the prime number theorem due to de la Valle´e-Poussin gives a zero-free region for the Riemann zeta function ζ(s) of the form c σ> 1 − log(|t| + 3) for s = σ + it, and this generalises to a zero-free region for L(s, π) of the form c (1.1) σ ≥ 1 − (n[F : Q])4 log(q(π)(|t| + 3)) for some absolute constant c> 0, where q(π) is the analytic conductor of π in the sense of [IK04, Equation (5.7], with the possible exception of a simple real-zero βπ < 1 when π is self-dual. A proof of this is given in [IK04, Theorem 5.10]; the method requires constructing an auxiliary L-function having a zero of higher order than the order of the pole at s = 1, then using an effective version of Landau’s lemma [IK04, Lemma 5.9].
    [Show full text]
  • THE TRUTH ABOUT TORSION in the CM CASE 1. Introduction the Aim of This Note Is to Prove the Following Result. Theorem 1. There I
    THE TRUTH ABOUT TORSION IN THE CM CASE PETE L. CLARK AND PAUL POLLACK Abstract. We show that the upper order of the size of the torsion subgroup of a CM elliptic curve over a degree d number field is d log log d. 1. Introduction The aim of this note is to prove the following result. Theorem 1. There is an absolute, effective constant C such that for all number fields F of degree d ≥ 3 and all elliptic curves E=F with complex multiplication, #E(F )[tors] ≤ Cd log log d: It is natural to compare this result with the following one. Theorem 2 (Hindry{Silverman [HS99]). For all number fields F of degree d ≥ 2 and all elliptic curves E=F with j-invariant j(E) 2 OF , we have #E(F )[tors] ≤ 1977408d log d: Every CM elliptic curve E=F has j(E) 2 OF , but only finitely many j 2 OF are j-invariants of CM elliptic curves E=F . Thus Theorem 1 has a significantly stronger hypothesis and a slightly stronger conclusion than Theorem 2. But the improvement of log log d over log d is interesting in view of the following result. Theorem 3 (Breuer [Br10]). Let E=F be an elliptic curve over a number field. There exists a constant c(E; F ) > 0, integers 3 ≤ d1 < d2 < : : : < dn < : : : and + number fields Fn ⊃ F with [Fn : F ] = dn such that for all n 2 Z we have ¨ c(E; F )dn log log dn if E has CM; #E(Fn)[tors] ≥ p c(E; F ) dn log log dn otherwise: Thus if TCM(d) is the largest size of a torsion subgroup of a CM elliptic curve defined over a number field of degree d, its upper order is d log log d: T (d) lim sup CM 2 ]0; 1[: d d log log d To our knowledge this is the first instance of an upper order result for torsion points on a class of abelian varieties over number fields of varying degree.
    [Show full text]
  • Landau-Siegel Zeros and Their Illusory Consequences Kyle Pratt University of Illinois
    University of Mississippi eGrove NSF-CBMS Conference: L-functions and 2019 NSF-CBMS Conference: L-functions and Multiplicative Number Theory Multiplicative Number Theory May 20th, 2:30 PM - 3:30 PM Landau-Siegel zeros and their illusory consequences Kyle Pratt University of Illinois Follow this and additional works at: https://egrove.olemiss.edu/cbms2019 Part of the Number Theory Commons Recommended Citation Pratt, Kyle, "Landau-Siegel zeros and their illusory consequences" (2019). NSF-CBMS Conference: L-functions and Multiplicative Number Theory. 18. https://egrove.olemiss.edu/cbms2019/2019/schedule/18 This Presentation is brought to you for free and open access by the Mathematics, Department of at eGrove. It has been accepted for inclusion in NSF- CBMS Conference: L-functions and Multiplicative Number Theory by an authorized administrator of eGrove. For more information, please contact [email protected]. Landau-Siegel zeros and their illusory consequences Kyle Pratt May 20, 2019 Prelude: effective and ineffective constants I Since the terms effective and ineffective will arise often, let us briefly define them I A constant, implied or otherwise, is effective if, given enough time and patience, one could go through a proofp and write down an actual value for the constant like π 17=1234 or 10−1010 etc I A constant is ineffective if it is not possible (!) to make the constant effective. That is, the very mechanism of the proof does not allow one to compute the constant. Ineffective constants usually arise from invoking the law of the excluded middle Landau-Siegel zeros and class numbers I Dirichlet (1837) introduced his eponymous characters χ (mod D) to prove there are infinitely many primes p ≡ a (mod D), (a; D) = 1.
    [Show full text]
  • Arxiv:2001.02405V1 [Math.NT]
    ′ ON ( L (1, χ)) AND ZERO-FREE REGIONS NEAR s =1 ℜ L CHRISTIAN TAFULA´ Abstract. Let q 2 be an integer, χ (mod q) a primitive Dirichlet character, ≥ and f : Z≥2 R a function satisfying 2 f(q) log(q). We show that, if L(s,χ) has no zeros→ in the region ≤ ≪ 1 1 σ + it C σ> 1 , t < 1 , ∈ − f(q) | | − ( f(q) log(q) ) ′ L p then ( L (1,χ)) f(q) log(q) uniformly for primitive χ (mod q). As an exam- ple ofℜ an application,≪ we show that the uniform abc-conjecture implies a strong p version of “no Siegel zeros” for odd real characters of qo(1)-smooth moduli, by using our result in T. [9] together with a theorem of Chang [1] on zero-free regions. 1. Introduction Write s = σ + it C (with σ = (s), t = (s)), and consider the critical strip s C 0 <σ< ∈1 . A family ofℜ regions ℑ = (q) s C 0 <σ< 1 , { ∈ | } Q Q ⊆ { ∈ | } for q Z 2, shall be called quasi zero-free (in the q-aspect) for primitive Dirichlet ∈ ≥ s characters χ (mod q) if the Dirichlet L-function L(s, χ) = n 1 χ(n)n− has no zeros in (q) when χ is complex (i.e., not real), and has at most≥ one real simple Q1 P zero β > 2 in (q) when χ is real (the so-called Siegel zero). Note that this excludes principal characters,Q for the only primitive principal character is the trivial character modulo 1.
    [Show full text]
  • Arxiv:2010.01308V2 [Math.NT] 3 Nov 2020 L Eee O Nipoe Presentation
    CONDITIONAL BOUNDS ON SIEGEL ZEROS GAUTAMI BHOWMIK AND KARIN HALUPCZOK Dedicated to Melvyn Nathanson. Abstract. We present an overview of bounds on zeros of L- functions and obtain some improvements under weak conjectures related to the Goldbach problem. 1. Introduction The existence of non-trivial real zeros of a Dirichlet L-function would contradict the Generalised Riemann Hypothesis. One possible counter- example, called the Landau–Siegel zero, is real and simple and the re- gion in which it could eventually exist is important to determine. In 1936 Siegel gave a quantitative estimate on the distance of an excep- tional zero from the line s = 1. The splitting into cases depending on whether such an exceptionalℜ zero exists or not happens to be an im- portant technique often used in analytic number theory, for example in the theorem of Linnik. In the first section we discuss properties of the Siegel zero and results assuming classical and more recent hypotheses. This part of the paper is expository. In the second section we present a conditional bound. In 2016 Fei improved Siegel’s bound for certain moduli under a weakened Hardy– Littlewood conjecture on the Goldbach problem of representing an even number as the sum of two primes. In Theorem 11 and Corollary 1 we further weaken this conjecture and enlarge the set of moduli to include arXiv:2010.01308v2 [math.NT] 3 Nov 2020 more Dirichlet characters. 2. Background Consider a completely multiplicative, periodic arithmetic function χ : Z C where for q 1 there exists a group homomorphism → ≥ χ˜ : (Z/qZ)× C× such that χ(n)=χ ˜(n(mod q)) for n coprime to q and χ(n) = 0→ if not.
    [Show full text]
  • L-Functions: Siegel-Type Theorems and Structure Theorems
    Universita` degli Studi di Milano Dipartimento di Matematica Dottorato di Ricerca in Matematica IX Ciclo Tesi di Dottorato L-functions: Siegel-type theorems and structure theorems Giuseppe Molteni Relatore: Alberto Perelli (Dipartimento di Metodi e Modelli Matematici, Universit`adi Genova) Giuseppe Molteni Dipartimento di Matematica Universit`adegli Studi di Milano Via Saldini, 50 20133 Milano — Italy email: [email protected] Acknowledgments I wish to thank my thesis advisor, Prof. Alberto Perelli. During these years he has been an helpful teacher and a sure guide. I wish to thank Prof. C. Viola and R. Dvornicich of University of Pisa, Prof. U. Zannier of University of Venezia and Prof. J. Kaczorowski of University of Pozna`nfor many interesting and useful discussions. I wish to thank dr. A. Languasco of University of Padova and dr. A. Zaccagnini of University of Parma for their suggestions and friendship. Contents Notation iii Introduction 1 Chapter 1. Arithmetical relations coming from Euler products 3 1.1. Explicit computations 3 1.2. An Ω-result 5 1.3. An interesting identity 6 1.4. Estimates for products of coefficients of Dirichlet series with Euler product 9 1.5. The ”fudge factor” and Rankin-Selberg convolution 13 Chapter 2. The Siegel zero 21 2.1. Introduction 21 2.2. The axiomatic L∗-classes 26 2.3. Siegel-type theorems 44 Chapter 3. Existence of a singularity for certain functions of degree 1 55 3.1. Introduction 55 3.2. Definitions and results 55 3.3. Proof of lemma 58 3.4. Appendix 62 Chapter 4. About the Selberg class Sd, 0 ≤ d ≤ 1 65 4.1.
    [Show full text]
  • Arxiv:2105.14653V1 [Math.NT]
    SIEGEL ZEROS AND SARNAK’S CONJECTURE JAKE CHINIS Abstract. Assuming the existence of Siegel zeros, we prove that there exists an increasing sequence of positive integers for which Chowla’s Conjecture on k-point correlations of the Liouville function holds. This extends work of Germ´an and K´atai, where they studied the case k = 2 under identical hypotheses. An immediate corollary, which follows from a well-known argument due to Sarnak, is that Sarnak’s Conjecture on M¨obius disjointness holds. More precisely, assuming the existence of Siegel zeros, there exists a subsequence of the natural numbers for which the Liouville function is asymptotically orthogonal to any sequence of topological entropy zero. 1. Introduction The Liouville function, λ, is the completely multiplicative function defined by λ(p) := −1 for all primes p. As such, λ(n) = 1 if n has an even number of prime factors, counted with multiplicity, and λ(n) = −1 otherwise. An important problem in analytic number theory is to understand the asymptotic behaviour of the partial sums n≤x λ(n). Viewing {λ(n)}n as a sequence of independent random variables, each taking the value ±1 withP equal probability, we might expect that the partial sums of λ exhibit some cancellation. Indeed, the Prime Number Theorem (PNT) is equivalent to the fact λ(n)= o(x), nX≤x as x → ∞. The Riemann Hypothesis (RH) is equivalent to the fact that the partial sums of λ exhibit “square-root cancellation:” for any ǫ> 0, λ(n) ≪ x1/2+ǫ, nX≤x as x → ∞. A famous conjecture due to Chowla [Cho65] states similar estimates hold for multiple correlations of λ: Conjecture 1.1 (Chowla’s Conjecture).
    [Show full text]