Traces of Hecke Operators Traces of Hecke Operators

Total Page:16

File Type:pdf, Size:1020Kb

Traces of Hecke Operators Traces of Hecke Operators http://dx.doi.org/10.1090/surv/133 Traces of Hecke Operators Traces of Hecke Operators Andrew Knightly Charles Li American Mathematical Society EDITORIAL COMMITTEE Jerry L. Bona Peter S. Landweber Michael G. Eastwood Michael P. Loss J. T. Stafford, Chair 2000 Mathematics Subject Classification. Primary 11-XX. For additional information and updates on this book, visit www.ams.org/bookpages/surv-133 Library of Congress Cataloging-in-Publication Data Knightly, Andrew, 1972- Traces of Hecke operators / Andrew Knightly, Charles Li. p. cm. — (Mathematical surveys and monographs ; v. 133) Includes bibliographical references and index. ISBN-13: 978-0-8218-3739-9 (alk. paper) ISBN-10: 0-8218-3739-7 (alk. paper) 1. Hecke operators. 2. Trace formulas. 3. Number theory. I. Li, Charles, 1973- II. Title. QA243.K54 2006 515/.7246-dc22 2006047814 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy a chapter for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society. Requests for such permission should be addressed to the Acquisitions Department, American Mathematical Society, 201 Charles Street, Providence, Rhode Island 02904-2294, USA. Requests can also be made by e-mail to [email protected]. © 2006 by the American Mathematical Society. All rights reserved. The American Mathematical Society retains all rights except those granted to the United States Government. Printed in the United States of America. @ The paper used in this book is acid-free and falls within the guidelines established to ensure permanence and durability. Visit the AMS home page at http://www.ams.org/ 10 9 8 7 6 5 4 3 2 1 11 10 09 08 07 06 Dedicated to: Dwight, Leah, Mom, Dad -A.K. Mom, Dad -C.L. Contents Traces of Hecke Operators 1. Introduction 1 2. The Arthur-Selberg trace formula for GL(2) 3 3. Cusp forms and Hecke operators 7 3.1. Congruence subgroups of SL2(Z) 7 3.2. Weak modular forms 10 3.3. Cusps and Fourier expansions of modular forms 12 3.4. Hecke rings 20 3.5. The level N Hecke ring 24 3.6. The elements T(n) 29 3.7. Hecke operators 34 3.8. The Petersson inner product 37 3.9. Adjoints of Hecke operators 42 3.10. Traces of the Hecke operators 45 Odds and Ends 4. Topological groups 49 5. Adeles and ideles 52 5.1. p-adic Numbers 52 5.2. Adeles and ideles 54 6. Structure theorems and strong approximation for GL2(A) 59 6.1. Topology of GL2(A) 59 6.2. The Iwasawa decomposition 61 6.3. Strong approximation for GL2(A) 63 6.4. The Cart an decomposition 66 6.5. The Bruhat decomposition 69 7. Haar measure 69 7.1. Basic properties of Haar measure 69 7.2. Invariant measure on a quotient space 74 7.3. Haar measure on a restricted direct product 82 7.4. Haar measure on the adeles and ideles 85 7.5. Haar measure on B 87 7.6. Haar measure on GL(2) 90 7.7. Haar measure on SL2(R) 92 7.8. Haar measure on GL(2) 94 7.9. Discrete subgroups and fundamental domains 95 7.10. Haar measure on Q\A and Q*\A* 102 7.11. Quotient measure on GL2(Q)\GL2(A) 103 7.12. Quotient measure on 5(Q)\G(A) 105 viii CONTENTS 8. The Poisson summation formula 108 9. Tate zeta functions 119 9.1. Definition and meromorphic continuation 119 9.2. Functional equation and behavior at s = 1 124 10. Intertwining operators and matrix coefficients 128 10.1. Linear algebra 129 10.2. Representation theory 134 10.3. Orthogonality of matrix coefficients 140 11. The discrete series of GL2(R) 151 11.1. if-type decompositions 151 11.2. Representations of 0(2) 155 11.3. K-type decomposition of an induced representation 156 11.4. The (s, If)-modules (VX)K 162 11.5. Classification of irreducible (g, K)-modules for GL2(R) 165 11.6. A detailed look at the Lie algebra action 181 11.7. Characterization of the weight k discrete series of GL2(R) 186 Groundwork 12. Cusp forms as elements of LQ(UJ) 195 12.1. From Dirichlet characters to Hecke characters 195 12.2. From cusp forms to functions on G(A) 197 12.3. Comparison of classical and adelic Fourier coefficients 198 12.4. Characterizing the image of Sk(iV,u/) in LQ(U) 201 13. Construction of the test function / 206 13.1. The non-archimedean component of / 206 13.2. Spectral properties of R(f) 213 14. Explicit computations for /k and /<*> 221 The Trace Formula 15. Introduction to the trace formula for R(f) 227 16. Terms that contribute to K(x, y) 230 17. Truncation of the kernel 231 18. Bounds for £7 l/fcrSfe)! 240 19. Integrability of kj(g) 248 20. The hyperbolic terms as weighted orbital integrals 259 21. Simplifying the unipotent term 270 22. The trace formula 276 Computation of the Trace 23. The identity term 279 24. The hyperbolic terms 280 24.1. A lemma about orbital integrals 280 24.2. The archimedean orbital integral and weighted orbital integral 281 24.3. Simplification of the hyperbolic term 283 24.4. Calculation of the local orbital integrals 283 24.5. The global hyperbolic result 286 25. The unipotent term 288 25.1. Explicit evaluation of the zeta integral at oo 288 25.2. Computation of the non-archimedean local zeta functions 291 CONTENTS ix 25.3. The global unipotent result 293 26. The elliptic terms 294 26.1. Properties of the elliptic orbital integrals 295 26.2. The archimedean elliptic orbital integral 300 26.3. Orders and lattices in an imaginary quadratic field 302 26.4. Local-global theory for lattices 307 26.5. From G(Afin) to lattices in E 310 26.6. The non-archimedean orbital integral for N — 1 314 26.7. The case of level N 318 Applications 27. Dimension formulas 333 27.1. The elliptic terms 333 27.2. The unipotent term 337 27.3. The dimension of 5k(7V, a/) and some examples 338 28. Computing Hecke eigenvalues 340 28.1. Obtaining eigenvalues from knowledge of the traces 340 28.2. Integrality of Hecke eigenvalues 343 28.3. The r-function 344 28.4. An example with nontrivial character 347 29. The distribution of Hecke eigenvalues 351 29.1. Bounds for the Eichler-Selberg trace formula 352 29.2. Chebyshev polynomials 355 29.3. Distribution of eigenvalues 356 29.4. Further applications and generalizations 359 30. A recursion relation for traces of Hecke operators 360 Bibliography 363 Tables of notation 368 Statement of the final result 370 Index 373 Bibliography [Arl] Arthur, J., A trace formula for reductive groups I. Duke Math J., 45, (1978), 911-952. [Ar2] , The invariant trace formula, I & II, J. Amer. Math. Soc. 1 (1988), no. 2,3. [Ar3] , The L2-Lefschetz numbers of Hecke operators, Invent. Math. 97 (1989), 257-290. [Ar4] , An introduction to the trace formula, in "Harmonic analysis, the trace formula, and Shimura varieties", Clay Math. Proa, 4, Amer. Math. Soc, Providence, RI, (2005), 1-263. [Ax] Axler, S., Linear algebra done right, Second edition, Springer-Verlag, New York, 1997. [Ba] Baldoni, M. W., General representation theory of real reductive Lie groups, in [Rep]. [Bar] Bargmann, V., Irreducible unitary representations of the Lorentz group, Annals of Math., 48, (1947), 568-640. [Bo] Bourbaki, N., Integration I, II, translation by S. Berberian, Springer- Verlag, Heidelberg, 2004. [Bu] Bump, D., Automorphic Forms and Representations, Cambridge Stud­ ies in Advanced Mathematics 55, Cambridge University Press 1998. [CD] Clozel, L., and Delorme, P., Pseudo-coefficients et cohomologie des groupes de Lie reductifs reels, C. R. Acad. Sci. Paris, 300, Serie I, no. 12, 1985. [CKM] Cogdell, J., Kim, H., and Murty, R., Lectures on automorphic L- functions. Fields Institute Monographs 20, American Mathematical So­ ciety, Providence, RI, 2004. [Coh] Cohen, H., Trace des operateurs de Hecke sur To(N), Seminaire de Theorie des Nombres (1976-1977), Exp. No. 4, 9 pp. Lab. Theorie des Nombres, CNRS, Talence, 1977. [CDF] Conrey, B., Duke, W., and Farmer, D., The distribution of the eigen­ values of Hecke operators, Acta Arith. 78 (1997), no. 4, 405-409. [Cox] Cox, D., Primes of the form x2 + ny2, John Wiley & Sons, Inc., New York, 1989. [Da] Darmon, H., A proof of the full Shimura-Taniyama-Weil conjecture is announced, Notices Amer. Math. Soc. 46 (1999), no. 11, 1397-1401. 363 364 BIBLIOGRAPHY [De] Deligne, P., Formes modularies et representations l-adiques, Seminaire Bourbaki 1968/69, expose 355, Lecture Notes in Math., Vol. 179, p. 139-186, Springer-Verlag, 1971. [DL] Duflo, M., and Labesse, J.-P., Sur la formule des traces de Selberg, Ann. Scient. Ec. Norm. Sup., series 4, 1971, pp. 193-284. [DS] Diamond, F., and Shurman, J., A first course in modular forms, Springer-Verlag, New York, 2005. [E] Eichler, M., Fine Verallgemeinerung der Abelschen Integrale, Math. Z. 67 (1957), 267-298. [Fl] Flath, D., Decomposition of representations into tensor products, Proc. Symp. Pure Math., 33, Part 1, Amer. Math. Soc, Providence, RI, 1979, 179-183. [Fol] Folland, G., Real analysis: modern techniques and their applications, Second edition, John Wiley Sz Sons, Inc., New York, 1999.
Recommended publications
  • Identities Between Hecke Eigenforms Have Been Studied by Many Authors
    Identities between Hecke Eigenforms D. Bao February 20, 2018 Abstract In this paper, we study solutions to h = af 2 + bfg + g2, where f,g,h are Hecke newforms with respect to Γ1(N) of weight k > 2 and a, b = 0. We show that the number of solutions is finite for 6 all N. Assuming Maeda’s conjecture, we prove that the Petersson inner product f 2, g is nonzero, where f and g are any nonzero cusp h i eigenforms for SL2(Z) of weight k and 2k, respectively. As a corollary, we obtain that, assuming Maeda’s conjecture, identities between cusp 2 n eigenforms for SL2(Z) of the form X + i=1 αiYi = 0 all are forced by dimension considerations. We also give a proof using polynomial P identities between eigenforms that the j-function is algebraic on zeros of Eisenstein series of weight 12k. 1 Introduction arXiv:1701.03189v1 [math.NT] 11 Jan 2017 Fourier coefficients of Hecke eigenforms often encode important arithmetic information. Given an identity between eigenforms, one obtains nontrivial relations between their Fourier coefficients and may in further obtain solu- tions to certain related problems in number theory. For instance, let τ(n) be the nth Fourier coefficient of the weight 12 cusp form ∆ for SL2(Z) given by ∞ ∞ ∆= q (1 qn)24 = τ(n)qn − n=1 n=1 Y X 1 11 and define the weight 11 divisor sum function σ11(n) = d n d . Then the Ramanujan congruence | P τ(n) σ (n) mod691 ≡ 11 can be deduced easily from the identity 1008 756 E E2 = × ∆, 12 − 6 691 where E6 (respectively E12) is the Eisenstein series of weight 6 (respectively 12) for SL2(Z).
    [Show full text]
  • An Introduction to the Trace Formula
    Clay Mathematics Proceedings Volume 4, 2005 An Introduction to the Trace Formula James Arthur Contents Foreword 3 Part I. The Unrefined Trace Formula 7 1. The Selberg trace formula for compact quotient 7 2. Algebraic groups and adeles 11 3. Simple examples 15 4. Noncompact quotient and parabolic subgroups 20 5. Roots and weights 24 6. Statement and discussion of a theorem 29 7. Eisenstein series 31 8. On the proof of the theorem 37 9. Qualitative behaviour of J T (f) 46 10. The coarse geometric expansion 53 11. Weighted orbital integrals 56 12. Cuspidal automorphic data 64 13. A truncation operator 68 14. The coarse spectral expansion 74 15. Weighted characters 81 Part II. Refinements and Applications 89 16. The first problem of refinement 89 17. (G, M)-families 93 18. Localbehaviourofweightedorbitalintegrals 102 19. The fine geometric expansion 109 20. Application of a Paley-Wiener theorem 116 21. The fine spectral expansion 126 22. The problem of invariance 139 23. The invariant trace formula 145 24. AclosedformulaforthetracesofHeckeoperators 157 25. Inner forms of GL(n) 166 Supported in part by NSERC Discovery Grant A3483. c 2005 Clay Mathematics Institute 1 2 JAMES ARTHUR 26. Functoriality and base change for GL(n) 180 27. The problem of stability 192 28. Localspectraltransferandnormalization 204 29. The stable trace formula 216 30. Representationsofclassicalgroups 234 Afterword: beyond endoscopy 251 References 258 Foreword These notes are an attempt to provide an entry into a subject that has not been very accessible. The problems of exposition are twofold. It is important to present motivation and background for the kind of problems that the trace formula is designed to solve.
    [Show full text]
  • Modular Forms, the Ramanujan Conjecture and the Jacquet-Langlands Correspondence
    Appendix: Modular forms, the Ramanujan conjecture and the Jacquet-Langlands correspondence Jonathan D. Rogawski1) The theory developed in Chapter 7 relies on a fundamental result (Theorem 7 .1.1) asserting that the space L2(f\50(3) x PGLz(Op)) decomposes as a direct sum of tempered, irreducible representations (see definition below). Here 50(3) is the compact Lie group of 3 x 3 orthogonal matrices of determinant one, and r is a discrete group defined by a definite quaternion algebra D over 0 which is split at p. The embedding of r in 50(3) X PGLz(Op) is defined by identifying 50(3) and PGLz(Op) with the groups of real and p-adic points of the projective group D*/0*. Although this temperedness result can be viewed as a combinatorial state­ ment about the action of the Heckeoperators on the Bruhat-Tits tree associated to PGLz(Op). it is not possible at present to prove it directly. Instead, it is deduced as a corollary of two other results. The first is the Ramanujan-Petersson conjec­ ture for holomorphic modular forms, proved by P. Deligne [D]. The second is the Jacquet-Langlands correspondence for cuspidal representations of GL(2) and multiplicative groups of quaternion algebras [JL]. The proofs of these two results involve essentially disjoint sets of techniques. Deligne's theorem is proved using the Riemann hypothesis for varieties over finite fields (also proved by Deligne) and thus relies on characteristic p algebraic geometry. By contrast, the Jacquet­ Langlands Theorem is analytic in nature. The main tool in its proof is the Seiberg trace formula.
    [Show full text]
  • Applications of the Trace Formula
    Proceedings of Symposia in Pure Mathematics Volume 61 (1997), pp. 413–431 Applications of the Trace Formula A. W. Knapp and J. D. Rogawski This paper is an introduction to some ways that the trace formula can be applied to proving global functoriality. We rely heavily on the ideas and techniques in [Kn1], [Kn2], and [Ro4] in this volume. To address functoriality with the help of the trace formula, one compares the trace formulas for two different groups. In particular the trace formula for a single group will not be enough, and immediately the analysis has to be done in an adelic setting. The idea is to show that the trace formulas for two different groups are equal when applied respectively to suitably matched functions. The actual matching is a problem in local harmonic analysis, often quite difficult and as yet not solved in general. The equality of the trace formulas and some global analysis allow one to prove cases of functoriality of automorphic representations. We discuss three examples in the first three sections—the Jacquet-Langlands correspondence, existence of automorphic induction in a special case, and aspects of base change. A feature of this kind of application is that it is often some variant of the trace formula that has to be used. In our applications we use the actual trace formula in the first example, a trace formula that incorporates an additional operator in the second example, and a “twisted trace formula” in the third example. The paper [Ja] in this volume describes a “relative trace formula” in this context, and [Ar2] describes the need for a “stable trace formula” and a consideration of “endoscopy.” See [Ar-Cl], [Bl-Ro], [Lgl-Ra], [Ra], and [Ro2] for some advanced applications.
    [Show full text]
  • Remarks on Codes from Modular Curves: MAGMA Applications
    Remarks on codes from modular curves: MAGMA applications∗ David Joyner and Salahoddin Shokranian 3-30-2004 Contents 1 Introduction 2 2 Shimura curves 3 2.1 Arithmeticsubgroups....................... 3 2.2 Riemannsurfacesasalgebraiccurves . 4 2.3 An adelic view of arithmetic quotients . 5 2.4 Hecke operators and arithmetic on X0(N) ........... 8 2.5 Eichler-Selbergtraceformula. 10 2.6 The curves X0(N)ofgenus1 .................. 12 3 Codes 14 3.1 Basicsonlinearcodes....................... 14 3.2 SomebasicsonAGcodes. 16 arXiv:math/0403548v1 [math.NT] 31 Mar 2004 3.3 SomeestimatesonAGcodes. 17 4 Examples 19 4.1 Weight enumerators of some elliptic codes . 20 4.2 Thegeneratormatrix(apr´esdesGoppa) . 22 5 Concluding comments 24 ∗This paper is a modification of the paper [JS]. Here we use [MAGMA], version 2.10, instead of MAPLE. Some examples have been changed and minor corrections made. MSC 2000: 14H37, 94B27,20C20,11T71,14G50,05E20,14Q05 1 1 INTRODUCTION 2 1 Introduction Suppose that V is a smooth projective variety over a finite field k. An important problem in arithmetical algebraic geometry is the calculation of the number of k-rational points of V , V (k) . The work of Goppa [G] and others have shown its importance in geometric| | coding theory as well. We refer to this problem as the counting problem. In most cases it is very hard to find an explicit formula for the number of points of a variety over a finite field. When the variety is a “Shimura variety” defined by certain group theoret- ical conditions (see 2 below), methods from non-abelian harmonic analysis on groups can be used§ to find an explicit solution for the counting problem.
    [Show full text]
  • Langlands Program, Trace Formulas, and Their Geometrization
    BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 50, Number 1, January 2013, Pages 1–55 S 0273-0979(2012)01387-3 Article electronically published on October 12, 2012 LANGLANDS PROGRAM, TRACE FORMULAS, AND THEIR GEOMETRIZATION EDWARD FRENKEL Notes for the AMS Colloquium Lectures at the Joint Mathematics Meetings in Boston, January 4–6, 2012 Abstract. The Langlands Program relates Galois representations and auto- morphic representations of reductive algebraic groups. The trace formula is a powerful tool in the study of this connection and the Langlands Functorial- ity Conjecture. After giving an introduction to the Langlands Program and its geometric version, which applies to curves over finite fields and over the complex field, I give a survey of my recent joint work with Robert Langlands and NgˆoBaoChˆau on a new approach to proving the Functoriality Conjecture using the trace formulas, and on the geometrization of the trace formulas. In particular, I discuss the connection of the latter to the categorification of the Langlands correspondence. Contents 1. Introduction 2 2. The classical Langlands Program 6 2.1. The case of GLn 6 2.2. Examples 7 2.3. Function fields 8 2.4. The Langlands correspondence 9 2.5. Langlands dual group 10 3. The geometric Langlands correspondence 12 3.1. LG-bundles with flat connection 12 3.2. Sheaves on BunG 13 3.3. Hecke functors: examples 15 3.4. Hecke functors: general definition 16 3.5. Hecke eigensheaves 18 3.6. Geometric Langlands correspondence 18 3.7. Categorical version 19 4. Langlands functoriality and trace formula 20 4.1.
    [Show full text]
  • The Trace Formula and Its Applications: an Introduction to the Work of James Arthur
    Canad. Math. Bull. Vol. 44 (2), 2001 pp. 160–209 The Trace Formula and Its Applications: An Introduction to the Work of James Arthur Robert P. Langlands I balanced all, brought all to mind, An Irish airman foresees his death W. B. Yeats In May, 1999 James Greig Arthur, University Professor at the University of Toronto was awarded the Canada Gold Medal by the National Science and Engineering Re- search Council. This is a high honour for a Canadian scientist, instituted in 1991 and awarded annually, but not previously to a mathematician, and the choice of Arthur, although certainly a recognition of his great merits, is also a recognition of the vigour of contemporary Canadian mathematics. Although Arthur’s name is familiar to most mathematicians, especially to those with Canadian connections, the nature of his contributions undoubtedly remains obscure to many, for they are all tied in one way or another to the grand project of developing the trace formula as an effective tool for the study, both analytic and arithmetic, of automorphic forms. From the time of its introduction by Selberg, the importance of the trace formula was generally accepted, but it was perhaps not until Wiles used results obtained with the aid of the trace formula in the demonstration of Fermat’s theorem that it had any claims on the attention of mathematicians—or even number theorists—at large. Now it does, and now most mathematicians are willing to accept it in the context in which it has been developed by Arthur, namely as part of representation theory.
    [Show full text]
  • Algebra & Number Theory Vol. 4 (2010), No. 6
    Algebra & Number Theory Volume 4 2010 No. 6 mathematical sciences publishers Algebra & Number Theory www.jant.org EDITORS MANAGING EDITOR EDITORIAL BOARD CHAIR Bjorn Poonen David Eisenbud Massachusetts Institute of Technology University of California Cambridge, USA Berkeley, USA BOARD OF EDITORS Georgia Benkart University of Wisconsin, Madison, USA Susan Montgomery University of Southern California, USA Dave Benson University of Aberdeen, Scotland Shigefumi Mori RIMS, Kyoto University, Japan Richard E. Borcherds University of California, Berkeley, USA Andrei Okounkov Princeton University, USA John H. Coates University of Cambridge, UK Raman Parimala Emory University, USA J-L. Colliot-Thel´ ene` CNRS, Universite´ Paris-Sud, France Victor Reiner University of Minnesota, USA Brian D. Conrad University of Michigan, USA Karl Rubin University of California, Irvine, USA Hel´ ene` Esnault Universitat¨ Duisburg-Essen, Germany Peter Sarnak Princeton University, USA Hubert Flenner Ruhr-Universitat,¨ Germany Michael Singer North Carolina State University, USA Edward Frenkel University of California, Berkeley, USA Ronald Solomon Ohio State University, USA Andrew Granville Universite´ de Montreal,´ Canada Vasudevan Srinivas Tata Inst. of Fund. Research, India Joseph Gubeladze San Francisco State University, USA J. Toby Stafford University of Michigan, USA Ehud Hrushovski Hebrew University, Israel Bernd Sturmfels University of California, Berkeley, USA Craig Huneke University of Kansas, USA Richard Taylor Harvard University, USA Mikhail Kapranov Yale
    [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]
  • Selberg's Trace Formula: an Introduction
    Selberg’s Trace Formula: An Introduction Jens Marklof School of Mathematics, University of Bristol, Bristol BS8 1TW, U.K. [email protected] The aim of this short lecture course is to develop Selberg’s trace formula for a compact hyperbolic surface , and discuss some of its applications. The main motivation for our studiesM is quantum chaos: the Laplace-Beltrami oper- ator ∆ on the surface represents the quantum Hamiltonian of a particle, whose− classical dynamicsM is governed by the (strongly chaotic) geodesic flow on the unit tangent bundle of . The trace formula is currently the only avail- able tool to analyze the fineM structure of the spectrum of ∆; no individual formulas for its eigenvalues are known. In the case of more− general quan- tum systems, the role of Selberg’s formula is taken over by the semiclassical Gutzwiller trace formula [11], [7]. We begin by reviewing the trace formulas for the simplest compact man- ifolds, the circle S1 (Section 1) and the sphere S2 (Section 2). In both cases, the corresponding geodesic flow is integrable, and the trace formula is a con- sequence of the Poisson summation formula. In the remaining sections we shall discuss the following topics: the Laplacian on the hyperbolic plane and isometries (Section 3); Green’s functions (Section 4); Selberg’s point pair in- variants (Section 5); The ghost of the sphere (Section 6); Linear operators on hyperbolic surfaces (Section 7); A trace formula for hyperbolic cylinders and poles of the scattering matrix (Section 8); Back to general hyperbolic surfaces (Section 9); The spectrum of a compact surface, Selberg’s pre-trace and trace formulas (Section 10); Heat kernel and Weyl’s law (Section 11); Density of closed geodesics (Section 12); Trace of the resolvent (Section 13); Selberg’s zeta function (Section 14); Suggestions for exercises and further reading (Sec- tion 15).
    [Show full text]
  • Modular Forms and L-Functions
    MODULAR FORMS AND L-FUNCTIONS A Thesis by TEKIN KARADAĞ Submitted to the Office of Graduate and Professional Studies of Texas A&M University in partial fulfillment of the requirement for the degree of MASTER OF SCIENCE Chair of Committee, Mathhew P Young Committee Members, Mohamad Riad Masri Daren B. H. Cline Head of Department, Emil Straube August 2016 Major Subject: Mathematics Copyright 2016 Tekin Karadağ ABSTRACT In this thesis, our main aims are expressing some strong relations between modular forms, Hecke operators, and L-functions. We start with background information for mod- ular forms and give some information about the linear space of modular forms. Next, we introduce Hecke operators and their properties. Also we find a basis of Hecke eigenforms. Then, we explain how to construct L-functions from modular forms. Finally, we give a nice functional equation for completed L-function. ii Dedicated to my nieces Ahsen Yıldırım, Hüma Yıldırım, Meryem Özkale and my nephew Ömer Özkale. iii ACKNOWLEDGMENTS I would like to express my sincere gratitude to my supervisor Matthew P. Young for his excellent guidance, valuable suggestions, encouragement and patience. I would also like to thank Mohamad Riad Masri and Daren B. H. Cline for a careful reading of this thesis. I would like to thank to our Associate Head for Graduate Programs Peter Howard who always finds solutions to graduate students’ problems. I am so grateful to my mother, my father, my sisters for increasing my motivation whenever I need. I would like to thank to my friends Ahmed Sehy Youssef, Alisettar Huseynli, and Veysel Kaşdaş who are always with me whenever I experience difficulties.
    [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]