DOCSLIB.ORG

Moments of Automorphic L-Functions at Special Points

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Moments of Automorphic L-Functions at Special Points Moments of automorphic L-functions at special points Dissertation Presented in Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in the Graduate School of The Ohio State University By Alexander Lu Beckwith, B.A., M.S. Graduate Program in Mathematics The Ohio State University 2020 Dissertation committee Dr. Wenzhi Luo, Advisor Dr. James Cogdell Dr. Roman Holowinsky ⃝c Copyright by Alexander Lu Beckwith 2020 Abstract We study the behavior of families of L-functions at exhibiting conductor-dropping behavior. We derive asymptotic expansions of the short interval first and second moments of GL(2) × GL(2) L-functions at special points with power-saving error terms. As a consequence, we obtain an essentially optimal lower bound on the number of cusp forms for the Hecke congruence surfaces Γ0(p) n H of prime level are destroyed under quasiconformal deformation of these surfaces. Additionally, we show that a large number of cusp forms for the Hecke congruence surfaces Γ0(p) n H of prime level are simultaneously destroyed in two directions of the associated Teichmüller space. We also establish upper bounds for the second moment of GL(2) × GL(3) L-functions and the sixth moment of GL(2) L-functions at special points as the spectral parameter varies in a short interval. An auxiliary twisted spectral large sieve inequality for short intervals is derived for the latter two results. ii Dedicated to my grandparents iii Acknowledgments During my time as a student I have been very fortunate to have had the guidance and support of a number of wise and thoughtful people. There is a very long list of individuals whom I count myself lucky to have met and to whom I wish to extend my thanks in the following—I regret that I have surely neglected some from what appears below. First and foremost, to my advisor, Wenzhi Luo, for his thoughtful guidance, constant and enduring support, for his many kind words of encouragement, and for his boundless patience: Thank you, a thousand times, thank you. To Roman Holowinsky: for all his work helping graduate students navigate the nonacademic post- academic world, from which I have personally benefited so much. To Jim Cogdell: for organizing the automorphic forms seminar that I and many other students have benefited from greatly over the years. To Ghaith Hiary: for serving on my candidacy committee, and for teaching a topics course on computa- tional number theory that I found to be a formative experience. To my undergraduate professors, Judy Holdener, Bob Milnikel, and Marie Snipes: for encouraging me to study math a decade ago now. To my mentor and friend Jessen Book: for his wisdom and guidance when I needed a push in the right direction many years ago. And most of all, to my family, for all their love and support they have given me, no matter how much I stumbled. Thank you. iv Vita 1992 . Born in Midland, Michigan 2014 . B.A. in Mathematics, Concentration in Humane Studies, Kenyon College Gambier, Ohio 2017 . M.S. in Mathematics, The Ohio State University Columbus, Ohio 2014-2015 . University Fellow The Ohio State University Columbus, Ohio 2015-Present . Graduate Teaching Associate, Graduate Research Associate The Ohio State University Columbus, Ohio Fields of Study Major field: Mathematics Specialization: Analytic number theory, automorphic forms v Contents Abstract ................................................... ii Acknowledgments .............................................. iv Vita ..................................................... v Notation and conventions ......................................... ix 1 Introduction 1 I Preliminaries 7 2 Preliminaries on automorphic forms 8 2.1 Automorphic forms for GL(2; R) .................................. 9 2.2 Automorphic forms for GL(3; R) .................................. 33 3 Preliminaries on automorphic L-functions 42 3.1 Automorphic L-functions ...................................... 42 3.2 On conductor-dropping behavior of L-functions in the spectral aspect ............. 48 4 Preliminaries on the spectral theory of hyperbolic Riemann surfaces and Teichmüller theory 51 4.1 Riemann surfaces ........................................... 51 4.2 Some remarks on Teichmüller theory and hyperbolic 2-surfaces ................. 52 4.3 The Phillips-Sarnak deformation theory of discrete groups .................... 55 II Upper bounds for moments of L-functions at special points 58 5 A short interval large sieve inequality with spectral twists 59 5.1 Background and survey of existing literature ........................... 60 5.2 The short interval twisted spectral large sieve inequality ..................... 67 5.3 Proof of Theorem 5.2.1 ........................................ 73 5.4 Proof of Lemmas 5.2.4 and 5.2.5 .................................. 75 6 The second moment of GL(2) × GL(3) L-functions at special points over a shortened spectral interval 83 6.1 Background and survey of existing literature ........................... 84 6.2 Preliminaries on GL(2) × GL(3) Rankin-Selberg L-functions ................... 86 6.3 The shortened spectral interval second moment of GL(2) × GL(3) L-functions at special points 88 6.4 The shortened spectral interval sixth moment of GL(2) L-functions at the special point ... 93 vi Contents III Asymptotic expansions of moments of L-functions at special points 97 7 The nonvanishing of GL(2) × GL(2) L-functions at special points over shortened spectral intervals 100 7.1 Properties of the Rankin-Selberg L-function ............................ 102 7.2 An asymptotic expansion of the first moment of GL(2) × GL(2) L-functions at special points over shortened spectral intervals .................................. 103 8 The simultaneous nonvanishing of GL(2) × GL(2) L-functions at special points 117 8.1 Proof of Theorem 8.0.1: an asymptotic expansion of the second moment of GL(2) × GL(2) L-functions at special points over shortened spectral intervals .................. 119 IV Future directions 138 9 Future directions 139 9.1 Direct analogues ........................................... 140 9.2 An asymptotic expansion of the fourth moment of GL(2) L-functions at special points .... 140 9.3 The first moment of GL(2) × GL(3) L-functions at special points ................ 141 9.4 The prime geodesic theorem ..................................... 142 9.5 Special point subconvexity problems ................................ 144 9.6 Higher-order Fermi golden rules ................................... 147 9.7 The newform Weyl law ........................................ 148 References 148 V Appendices 157 A Compendium of special functions and their properties 158 A.1 Bessel functions ............................................ 158 B Asymptotic behavoir of oscillatory integral 164 C Miscellaneous bounds for character sums 172 C.1 Compendium of properties of Kloosterman sums and Ramanujan sums and special character sums .................................................. 172 vii List of Figures Chapter 2 2.1 Fundamental domain F0;1 for the modular group SL(2; Z) .................... 13 2.2 Some examples of fundamental domains for the Hecke congruence subgroups Γ0(N) ..... 14 2.3 Some examples of quotient surfaces for the Hecke congruence subgroups Γ0(N) ........ 15 2.4 Plot of cuspidal and residual spectrum of ∆ and poles of Eisenstein series for SL(2; Z) .... 22 viii List of Tables Chapter 3 3.1 Some effects of conductor-dropping for L-functions in the spectral aspect ........... 49 Chapter 6 6.1 Status of upper bounds for families of L-functions at special points ............... 85 ix Notation and conventions We standardize the common notation and conventions used throughout this document. • N: the set of natural numbers 1; 2; 3;::: • H: the upper half of the complex plane, H = fx + iy : x; y 2 R; y > 0g • SL(2; R), SL(2; Z): the special linear group over R, Z, respectively • GL(n; R): the general linear group of degree n over R • Γ0(N): the Hecke congruence subgroup of level N • Γa: the stability group of a cusp a of Γ • νf (n): the normalized Fourier coefficients at 1 of an automorphic form over GL(2; R) • λf (n): the Hecke eigenvalues of an automorphic form f • λf : the Laplace eigenvalue of an automorphic form f • ΦΓ(s);'Γ(s): the scattering matrix for Γ and the determinant of ΦΓ(s) • S(n; m; c): the Kloosterman sums for SL(2; Z), X∗ an + an S(n; m; c) = S11(n; m; c) = e : c a(c) Sab(m; n; c) denotes the Kloosterman sums of a discrete subgroup Γ ⊆ SL(2; R) attached to cusps a and b. As we will deal primarily with Kloosterman sums for the full modular group, we will not use this notation much. • δ(condition): the delta symbol • δ: the reflection operator, unless it appears in an exponent, in which case it is a positive constant. • h·; ·i: the Petersson inner product • k · k: the Petersson norm, unless looking at a sequence, in which case k · k denotes the (possibly truncated) `2-norm x List of Tables • 'e: the Mellin transform of a function ' (satisfying the appropriate conditions) defined by Z 1 dx 'e(s) = '(x)xs 0 x • 'b: the Fourier transforms of a function ' (satisfying the appropriate conditions) defined by Z 'b(ξ) = '(x)e(−ξx)dx R • τ2; τ3: the binary and ternary divisor functions defined by X X X τ2(n) = 1 and τ3(n) = 1 = τ2(n1): n1n2=n n1n2n3=n n1n2=n Note that these are distinct from the divisor functions τit given by X d it τ (n) = : it k dk=n When the order of the divisor function is a natural number (i.e., τk with k 2 N), we mean the k-ary th divisor function. We reserve σk for the k -power-of-divisors function. − t−T 2 • `a˚u¯sfi¯sfi˚i`a‹nffl(t): the Gaussian function centered at T of width M, `a˚u¯sfi¯sfi˚i`a‹nffl(t) = e ( M ) GT;M GT;M • e(x): the additive character e(x) = e2πix • hT;M (t): usually the (even) twisted Gaussian centered at T of width M it −it `a˚u¯sfi¯sfi˚i`a‹nffl m `a˚u¯sfi¯sfi˚i`a‹nffl m hT;M (t; m; n) = (t) + (−t) GT;M n GT;M n • ρ, denote the weight function and phase function, respectively, in an oscillatory integral, except when possibly denotes an SL(3; Z) Maass cusp form.
Load more

Recommended publications
  • Arxiv:1908.09677V4 [Math.AG] 13 Jul 2021 6 Hr Ro Fterm12.1 Theorem of Proof Third a 16
    AN ANALYTIC VERSION OF THE LANGLANDS CORRESPONDENCE FOR COMPLEX CURVES PAVEL ETINGOF, EDWARD FRENKEL, AND DAVID KAZHDAN In memory of Boris Dubrovin Abstract. The Langlands correspondence for complex curves is traditionally for- mulated in terms of sheaves rather than functions. Recently, Langlands asked whether it is possible to construct a function-theoretic version. In this paper we use the algebra of commuting global differential operators (quantum Hitchin Hamilto- nians and their complex conjugates) on the moduli space of G-bundles of a complex algebraic curve to formulate a function-theoretic correspondence. We conjecture the existence of a canonical self-adjoint extension of the symmetric part of this al- gebra acting on an appropriate Hilbert space and link its spectrum with the set of opers for the Langlands dual group of G satisfying a certain reality condition, as predicted earlier by Teschner. We prove this conjecture for G = GL1 and in the simplest non-abelian case. Contents 1. Introduction 2 Part I 8 2. Differential operators on line bundles 8 3. Differential operators on BunG 11 4. The spectrum and opers 15 5. The abelian case 19 6. Bundles with parabolic structures 26 1 7. The case of SL2 and P with marked points 28 arXiv:1908.09677v4 [math.AG] 13 Jul 2021 8. Proofs of two results 30 Part II 33 9. Darboux operators 34 10. EigenfunctionsandmonodromyforDarbouxoperators 38 11. Essentially self-adjoint algebras of unbounded operators 43 12. The main theorem 49 13. Generalized Sobolev and Schwartz spaces attached to the operator L. 49 14. Proof of Theorem 12.1 60 15.
    [Show full text]
  • Arxiv:2107.01242V1 [Math.OA] 2 Jul 2021 Euneo Ievle ( Eigenvalues of Sequence a Eetdacrigt T Agbac Utpiiy Y[ by Multiplicity
    CONNES’ INTEGRATION AND WEYL’S LAWS RAPHAEL¨ PONGE Abstract. This paper deal with some questions regarding the notion of integral in the frame- work of Connes’s noncommutative geometry. First, we present a purely spectral theoretic con- struction of Connes’ integral. This answers a question of Alain Connes. We also deal with the compatibility of Dixmier traces with Lebesgue’s integral. This answers another question of Alain Connes. We further clarify the relationship of Connes’ integration with Weyl’s laws for compact operators and Birman-Solomyak’s perturbation theory. We also give a ”soft proof” of Birman-Solomyak’s Weyl’s law for negative order pseudodifferential operators on closed mani- fold. This Weyl’s law yields a stronger form of Connes’ trace theorem. Finally, we explain the relationship between Connes’ integral and semiclassical Weyl’s law for Schr¨odinger operators. This is an easy consequence of the Birman-Schwinger principle. We thus get a neat link between noncommutative geometry and semiclassical analysis. 1. Introduction The quantized calculus of Connes [18] aims at translating the main tools of the classical infin- itesimal calculus into the operator theoretic language of quantum mechanics. As an Ansatz the integral in this setup should be a positive trace on the weak trace class L1,∞ (see Section 2). Natural choices are given by the traces Trω of Dixmier [23] (see also [18, 34] and Section 2). These traces are associated with extended limits. Following Connes [18] we say that an operator A L is measurable when the value of Tr (A) is independent of the extended limit.
    [Show full text]
  • WEYL's LAW on RIEMANNIAN MANIFOLDS Contents 1. the Role of Weyl's Law in the Ultraviolet Catastrophe 1 2. Riemannian Manifol
    WEYL'S LAW ON RIEMANNIAN MANIFOLDS SETH MUSSER Abstract. We motivate Weyl's law by demonstrating the relevance of the distribution of eigenvalues of the Laplacian to the ultraviolet catastrophe of physics. We then introduce Riemannian geometry, define the Laplacian on a general Riemannian manifold, and find geometric analogs of various concepts in Rn, along the way using S2 as a clarifying example. Finally, we use analogy with Rn and the results we have built up to prove Weyl's law, making sure at each step to demonstrate the physical significance of any major ideas. Contents 1. The Role of Weyl's Law in the Ultraviolet Catastrophe 1 2. Riemannian Manifolds 3 3. Weyl's Law 11 4. Acknowledgements 20 References 20 1. The Role of Weyl's Law in the Ultraviolet Catastrophe In the year 1900 Lord Rayleigh used the equipartition theorem of thermodynamics to de- duce the famous Rayleigh-Jeans law of radiation. Rayleigh began with an idealized physical concept of the blackbody; a body which is a perfect absorber of electromagnetic radiation and which radiates all the energy it absorbs independent of spatial direction. We sketch his proof to find the amount of radiation energy emitted by the blackbody at a given frequency. Take a blackbody in the shape of a cube for definiteness, and assume it is made of con- ducting material and is at a temperature T . We will denote the cube by D = [0;L]3 ⊆ R3. Inside this cube we have electromagnetic radiation that obeys Maxwell's equations bouncing around. The equipartition theorem of thermodynamics says that every wave which has con- stant spatial structure with oscillating amplitude, i.e.
    [Show full text]
  • Scalar Curvature for Noncommutative Four-Tori
    SCALAR CURVATURE FOR NONCOMMUTATIVE FOUR-TORI FARZAD FATHIZADEH AND MASOUD KHALKHALI Abstract. In this paper we study the curved geometry of noncommutative 4 4-tori Tθ. We use a Weyl conformal factor to perturb the standard volume form and obtain the Laplacian that encodes the local geometric information. We use Connes' pseudodifferential calculus to explicitly compute the terms in the small time heat kernel expansion of the perturbed Laplacian which corre- 4 spond to the volume and scalar curvature of Tθ. We establish the analogue of Weyl's law, define a noncommutative residue, prove the analogue of Connes' trace theorem, and find explicit formulas for the local functions that describe 4 the scalar curvature of Tθ. We also study the analogue of the Einstein-Hilbert action for these spaces and show that metrics with constant scalar curvature are critical for this action. Contents 1. Introduction 1 2. Noncommutative Tori 3 2.1. Noncommutative real tori. 3 2.2. Noncommutative complex tori. 4 3. Laplacian and its Heat Kernel 5 4 3.1. Perturbed Laplacian on Tθ. 5 4 3.2. Connes' pseudodifferential calculus for Tθ. 7 3.3. Small time asymptotic expansion for Trace(e−t4' ). 8 4. Weyl's Law and Connes' Trace Theorem 10 4.1. Asymptotic distribution of the eigenvalues of 4'. 10 4 4.2. A noncommutative residue for Tθ. 12 4 4.3. Connes' trace theorem for Tθ. 15 5. Scalar Curvature and Einstein-Hilbert Action 16 5.1. Scalar curvature for 4. 17 arXiv:1301.6135v1 [math.QA] 25 Jan 2013 Tθ 4 5.2.
    [Show full text]
  • Scientific Report for 2013
    Scientific Report for 2013 Impressum: Eigent¨umer,Verleger, Herausgeber: The Erwin Schr¨odingerInternational Institute for Mathematical Physics - U of Vienna (DVR 0065528), Boltzmanngasse 9, A-1090 Vienna. Redaktion: Goulnara Arzhantseva, Joachim Schwermer. Supported by the Austrian Federal Min- istry of Science and Research (BMWF) through the U of Vienna. Contents Preface 3 The Institute and its Mission in 2013 . 3 Scientific activities in 2013 . 4 The ESI in 2013 . 6 Scientific Reports 7 Main Research Programmes . 7 Teichm¨ullerTheory . 7 The Geometry of Topological D-branes, Categories, and Applications . 11 Jets and Quantum Fields for LHC and Future Colliders . 18 GEOQUANT 2013 . 25 Forcing, Large Cardinals and Descriptive Set Theory . 28 Heights in Diophantine Geometry, Group Theory and Additive Combinatorics . 31 Workshops organized independently of the Main Programmes . 36 ESI Anniversary - Two Decades at the Interface of Mathematics and Physics The [Un]reasonable Effectiveness of Mathematics in the Natural Sciences . 36 Word maps and stability of representations . 38 Complexity and dimension theory of skew products systems . 42 Advances in the theory of automorphic forms and their L-functions . 44 Research in Teams . 51 Marcella Hanzer and Goran Muic: Eisenstein Series . 51 Vladimir N. Remeslennikov et al: On the first-order theories of free pro-p groups, group extensions and free product groups . 53 Raimar Wulkenhaar et al: Exactly solvable quantum field theory in four dimensions . 57 Jan Spakula et al: Nuclear dimension and coarse geometry . 60 Alan Carey et al: Non-commutative geometry and spectral invariants . 62 Senior Research Fellows Programme . 64 Vladimir Korepin: The Algebraic Bethe Ansatz . 64 Simon Scott: Logarithmic TQFT, torsion, and trace invariants .
    [Show full text]
  • Location and Weyl Formula for the Eigenvalues of Some Non Self-Adjoint Operators
    Location and Weyl formula for the eigenvalues of some non self-adjoint operators Vesselin Petkov Abstract We present a survey of some recent results concerning the location and the Weyl formula for the complex eigenvalues of two non self-adjoint operators. We study the eigenvalues of the generator G of the contraction semigroup etG, t ≥ 0, related to the wave equation in an unbounded domain Ω with dissipative boundary conditions on ∂Ω. Also one examines the interior transmission eigenvalues (ITE) in a bounded domain K obtaining a Weyl formula with remainder for the counting function N(r) of complex (ITE). The analysis is based on a semi-classical approach. 1 Introduction ∞ Let P(x,Dx) be a second order differential operator with C (K) real-valued coef- d ficients in a bounded domain K ⊂ R , d ≥ 2, with C∞ boundary ∂K. Consider a boundary problem ( P(x,D )u = f in K, x (1.1) B(x,Dx)u = g on ∂K, where B(x,Dx) is a differential operator with order less or equal to 1 and the princi- 2 pal symbol P(x,ξ) of P(x,Dx) satisfies p(x,ξ) ≥ c0|ξ| , c0 > 0. Assume that there exists 0 < ϕ < π such that the problem ( (P(x,D ) − z)u = f in K, x (1.2) B(x,Dx)u = g on ∂K. is parameter-elliptic for every z ∈ Γψ = {z : argz = ψ}, 0 < |ψ| ≤ ϕ. Then following a classical result of Agranovich-Vishik [1] we can find a closed operator A with Vesselin Petkov Institut de Mathematiques´ de Bordeaux, 351, Cours de la Liberation,´ 33405 Talence, France , e- mail: [email protected] 1 2 Vesselin Petkov domain D(A) ⊂ H2(K) related to the problem (1.1).
    [Show full text]
  • An Introduction to Pseudo-Differential Operators
    An introduction to pseudo-differential operators Jean-Marc Bouclet1 Universit´ede Toulouse 3 Institut de Math´ematiquesde Toulouse [email protected] 2 Contents 1 Background on analysis on manifolds 7 2 The Weyl law: statement of the problem 13 3 Pseudodifferential calculus 19 3.1 The Fourier transform . 19 3.2 Definition of pseudo-differential operators . 21 3.3 Symbolic calculus . 24 3.4 Proofs . 27 4 Some tools of spectral theory 41 4.1 Hilbert-Schmidt operators . 41 4.2 Trace class operators . 44 4.3 Functional calculus via the Helffer-Sj¨ostrandformula . 50 5 L2 bounds for pseudo-differential operators 55 5.1 L2 estimates . 55 5.2 Hilbert-Schmidt estimates . 60 5.3 Trace class estimates . 61 6 Elliptic parametrix and applications 65 n 6.1 Parametrix on R ................................ 65 6.2 Localization of the parametrix . 71 7 Proof of the Weyl law 75 7.1 The resolvent of the Laplacian on a compact manifold . 75 7.2 Diagonalization of ∆g .............................. 78 7.3 Proof of the Weyl law . 81 A Proof of the Peetre Theorem 85 3 4 CONTENTS Introduction The spirit of these notes is to use the famous Weyl law (on the asymptotic distribution of eigenvalues of the Laplace operator on a compact manifold) as a case study to introduce and illustrate one of the many applications of the pseudo-differential calculus. The material presented here corresponds to a 24 hours course taught in Toulouse in 2012 and 2013. We introduce all tools required to give a complete proof of the Weyl law, mainly the semiclassical pseudo-differential calculus, and then of course prove it! The price to pay is that we avoid presenting many classical concepts or results which are not necessary for our purpose (such as Borel summations, principal symbols, invariance by diffeomorphism or the G˚ardinginequality).
    [Show full text]
  • The Role of the Ramanujan Conjecture in Analytic Number Theory
    BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 50, Number 2, April 2013, Pages 267–320 S 0273-0979(2013)01404-6 Article electronically published on January 14, 2013 THE ROLE OF THE RAMANUJAN CONJECTURE IN ANALYTIC NUMBER THEORY VALENTIN BLOMER AND FARRELL BRUMLEY Dedicated to the 125th birthday of Srinivasa Ramanujan Abstract. We discuss progress towards the Ramanujan conjecture for the group GLn and its relation to various other topics in analytic number theory. Contents 1. Introduction 267 2. Background on Maaß forms 270 3. The Ramanujan conjecture for Maaß forms 276 4. The Ramanujan conjecture for GLn 283 5. Numerical improvements towards the Ramanujan conjecture and applications 290 6. L-functions 294 7. Techniques over Q 298 8. Techniques over number fields 302 9. Perspectives 305 J.-P. Serre’s 1981 letter to J.-M. Deshouillers 307 Acknowledgments 313 About the authors 313 References 313 1. Introduction In a remarkable article [111], published in 1916, Ramanujan considered the func- tion ∞ ∞ Δ(z)=(2π)12e2πiz (1 − e2πinz)24 =(2π)12 τ(n)e2πinz, n=1 n=1 where z ∈ H = {z ∈ C |z>0} is in the upper half-plane. The right hand side is understood as a definition for the arithmetic function τ(n) that nowadays bears Received by the editors June 8, 2012. 2010 Mathematics Subject Classification. Primary 11F70. Key words and phrases. Ramanujan conjecture, L-functions, number fields, non-vanishing, functoriality. The first author was supported by the Volkswagen Foundation and a Starting Grant of the European Research Council. The second author is partially supported by the ANR grant ArShiFo ANR-BLANC-114-2010 and by the Advanced Research Grant 228304 from the European Research Council.
    [Show full text]
  • Kuznetsov Trace Formula and the Distribution of Fourier Coefficients
    A GL(3) Kuznetsov Trace Formula and the Distribution of Fourier Coefficients of Maass Forms Jo~ao Leit~aoGuerreiro Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the Graduate School of Arts and Sciences COLUMBIA UNIVERSITY 2016 c 2016 Jo~aoLeit~aoGuerreiro All Rights Reserved ABSTRACT A GL(3) Kuznetsov Trace Formula and the Distribution of Fourier Coefficients of Maass Forms Jo~ao Leit~aoGuerreiro We study the problem of the distribution of certain GL(3) Maass forms, namely, we obtain a Weyl's law type result that characterizes the distribution of their eigenvalues, and an orthogonality relation for the Fourier coefficients of these Maass forms. The approach relies on a Kuznetsov trace formula on GL(3) and on the inversion formula for the Lebedev-Whittaker transform. The family of Maass forms being studied has zero density in the set of all GL(3) Maass forms and contains all self-dual forms. The self-dual forms on GL(3) can also be realised as symmetric square lifts of GL(2) Maass forms by the work of Gelbart-Jacquet. Furthermore, we also establish an explicit inversion formula for the Lebedev-Whittaker transform, in the nonarchimedean case, with a view to applications. Table of Contents 1 Introduction 1 2 Preliminaries 6 2.1 Maass Forms for SL(2; Z) ................................. 6 2.2 Maass Forms for SL(3; Z) ................................. 8 2.3 Fourier-Whittaker Expansion . 11 2.4 Hecke-Maass Forms and L-functions . 15 2.5 Eisenstein Series and Spectral Decomposition . 18 2.6 Kloosterman Sums .
    [Show full text]
  • What Is Noncommutative Geometry ? How a Geometry Can Be Commutative and Why Mine Is Not
    What is Noncommutative Geometry ? How a geometry can be commutative and why mine is not Alessandro Rubin Junior Math Days 2019/20 SISSA - Scuola Internazionale Superiore di Studi Avanzati This means that the algebra C∞(M) contains enough information to codify the whole geometry of the manifold: 1. Vector fields: linear derivations of C∞(M) 2. Differential 1-forms: C∞(M)-linear forms on vector fields 3. ... Question Do we really need a manifold’s points to study it ? Do we really use the commutativity of the algebra C∞(M) to define the aforementioned objects ? Doing Geometry Without a Geometric Space Theorem Two smooth manifolds M, N are diffeomorphic if and only if their algebras of smooth functions C∞(M) and C∞(N) are isomorphic. 1/41 Question Do we really need a manifold’s points to study it ? Do we really use the commutativity of the algebra C∞(M) to define the aforementioned objects ? Doing Geometry Without a Geometric Space Theorem Two smooth manifolds M, N are diffeomorphic if and only if their algebras of smooth functions C∞(M) and C∞(N) are isomorphic. This means that the algebra C∞(M) contains enough information to codify the whole geometry of the manifold: 1. Vector fields: linear derivations of C∞(M) 2. Differential 1-forms: C∞(M)-linear forms on vector fields 3. ... 1/41 Do we really use the commutativity of the algebra C∞(M) to define the aforementioned objects ? Doing Geometry Without a Geometric Space Theorem Two smooth manifolds M, N are diffeomorphic if and only if their algebras of smooth functions C∞(M) and C∞(N) are isomorphic.
    [Show full text]
  • Beyond Endoscopy for the Relative Trace Formula II: Global Theory
    BEYOND ENDOSCOPY FOR THE RELATIVE TRACE FORMULA II: GLOBAL THEORY YIANNIS SAKELLARIDIS Abstract. For the group G = PGL2 we perform a comparison between two relative trace formulas: on one hand, the relative trace formula of Jacquet for the quotient T \G/T , where T is a non-trivial torus, and on the other the Kuznetsov trace formula (involving Whittaker periods), applied to non-standard test functions. This gives a new proof of the celebrated result of Waldspurger on toric periods, and suggests a new way of comparing trace formulas, with some analogies to Langlands’ “Beyond Endoscopy” program. Contents 1. Introduction. 1 Part 1. Poisson summation 18 2. Generalities and the baby case. 18 3. Direct proof in the baby case 31 4. Poisson summation for the relative trace formula 41 Part 2. Spectral analysis. 54 5. Main theorems of spectral decomposition 54 6. Completion of proofs 67 7. The formula of Waldspurger 85 Appendix A. Families of locally multiplicative functions 96 Appendix B. F-representations 104 arXiv:1402.3524v3 [math.NT] 9 Mar 2017 References 107 1. Introduction. 1.1. The result of Waldspurger. The celebrated result of Waldspurger [Wal85], relating periods of cusp forms on GL2 over a nonsplit torus (against a character of the torus, but here we will restrict ourselves to the trivial character) with the central special value of the corresponding quadratic base 2010 Mathematics Subject Classification. 11F70. Key words and phrases. relative trace formula, beyond endoscopy, periods, L-functions, Waldspurger’s formula. 1 2 YIANNIS SAKELLARIDIS change L-function, was reproven by Jacquet [Jac86] using the relative trace formula.
    [Show full text]
  • 18.785 Notes
    Contents 1 Introduction 4 1.1 What is an automorphic form? . 4 1.2 A rough definition of automorphic forms on Lie groups . 5 1.3 Specializing to G = SL(2; R)....................... 5 1.4 Goals for the course . 7 1.5 Recommended Reading . 7 2 Automorphic forms from elliptic functions 8 2.1 Elliptic Functions . 8 2.2 Constructing elliptic functions . 9 2.3 Examples of Automorphic Forms: Eisenstein Series . 14 2.4 The Fourier expansion of G2k ...................... 17 2.5 The j-function and elliptic curves . 19 3 The geometry of the upper half plane 19 3.1 The topological space ΓnH ........................ 20 3.2 Discrete subgroups of SL(2; R) ..................... 22 3.3 Arithmetic subgroups of SL(2; Q).................... 23 3.4 Linear fractional transformations . 24 3.5 Example: the structure of SL(2; Z)................... 27 3.6 Fundamental domains . 28 3.7 ΓnH∗ as a topological space . 31 3.8 ΓnH∗ as a Riemann surface . 34 3.9 A few basics about compact Riemann surfaces . 35 3.10 The genus of X(Γ) . 37 4 Automorphic Forms for Fuchsian Groups 40 4.1 A general definition of classical automorphic forms . 40 4.2 Dimensions of spaces of modular forms . 42 4.3 The Riemann-Roch theorem . 43 4.4 Proof of dimension formulas . 44 4.5 Modular forms as sections of line bundles . 46 4.6 Poincar´eSeries . 48 4.7 Fourier coefficients of Poincar´eseries . 50 4.8 The Hilbert space of cusp forms . 54 4.9 Basic estimates for Kloosterman sums . 56 4.10 The size of Fourier coefficients for general cusp forms .
    [Show full text]