The Second Moment of Rankin-Selberg L-Functions, Hybrid Subconvexity Bounds, and Related Topics

Total Page:16

File Type:pdf, Size:1020Kb

The Second Moment of Rankin-Selberg L-Functions, Hybrid Subconvexity Bounds, and Related Topics The Second Moment of Rankin-Selberg L-functions, Hybrid Subconvexity Bounds, and Related Topics Dissertation Presented in Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in the Graduate School of The Ohio State University By Zhilin Ye, B.S. Graduate Program in Department of Mathematics The Ohio State University 2014 Dissertation Committee: Roman Holowinsky, Advisor James Cogdell Wenzhi Luo Mark Berliner c Copyright by Zhilin Ye 2014 Abstract In this thesis, we study three problems related to subconvexity bounds of Rankin- Selberg L-functions. Let M; N be two coprime square-free integers. Let f be either a holomorphic or a Maaß cusp form of level N. Using a large sieve inequality, we establish P ( j) 2 a bound for an unamplified 2nd moment average, such as g L (1=2 + it; f ⊗ g) t; j, M + M2=3−βN4=3 (MN) where β ≈ 1=500 and g ranges over an orthonormal basis of holo- morphic cusp forms of level M and a fixed weight for any j. As a consequence, we obtain a subconvexity bound for L( j) (1=2 + it; f ⊗ g) for any N < M satisfying the conditions above. Moreover, by symmetry, we establish a level aspect hybrid subconvexity bound for any coprime square-free M and N when both forms are holomorphic. We also establish a k=2 1=2 −1=6+ sup-norm bound for holomorphic forms such that ky f (z)k1 k N k f k2. Further- more, we establish an equidistribution property of mod c reciprocals which is natural to the subconvexity problem and second moments of Rankin-Selberg L-functions. ii This is dedicated to the one I love. iii Acknowledgments I would like to express my special appreciation and thanks to my advisor Professor Roman Holowinsky for his tremendous mentoring, encouraging, and priceless advice on my research. I would also like to thank my committee members, Professor James Cogdell, Professor Wenzhi Luo, and Professor Mark Berliner for serving as my committee members even at hardship. I also want to thank my family, my friends and all of people who have been there to support me during my life as a Ph.D. candidate. iv Vita 2006-2010 . .B.S., Mathematics, Zhejiang University, Hangzhou, Zhejiang, P.R. China. 2010-2014 . .Ph.D., Mathematics, The Ohio State University, Columbus, OH, USA. Fields of Study Major Field: Mathematics Studies in Analytic Number Theory: Roman Holowinsky v Table of Contents Page Abstract......................................... ii Dedication........................................ iii Acknowledgments.................................... iv Vita...........................................v 1. Introduction....................................1 1.1 L-functions, their properties, and the subconvexity problem.......1 1.2 Known subconvexity bounds and their applications............ 12 1.2.1 The Burgess’s bound and subconvexity bound for GL1 ...... 12 1.2.2 The subconvexity bound for GL2 case............... 18 1.2.3 The QUE conjecture and the subconvexity problem of higher rank 20 2. Preliminaries and Past Works........................... 27 2.1 Automorphic forms and the normalization................. 27 2.2 Rankin-Selberg convolution and L-functions............... 31 2.3 Properties of Bessel functions....................... 34 2.4 The Voronoi formula, trace formulae and large sieve inequalities..... 40 2.5 Jutila’s version of circle method...................... 47 2.6 Past works on hybrid subconvexity bounds for Rankin-Selberg L-functions 48 2.7 Past works on Sup-norm bounds for modular forms............ 51 2.8 Past works on the distribution of inverses mod c .............. 54 3. Main Results................................... 58 3.1 Hybrid subconvexity bounds for Rankin-Selberg L-functions....... 58 3.2 Sup-norm bounds for holomorphic modular forms............ 60 3.3 The distribution of inverses mod c ..................... 61 vi 4. The Proof of Hybrid Subconvexity Bounds for Rankin-Selberg L-functions.. 63 4.1 The deduction of Theorem 3.1.1 and Corollary 3.1.2 from Proposition 3.1.1.................................... 63 4.2 A sketch proof of Propositon 3.1.1..................... 66 4.3 The proof of Proposition 3.1.1....................... 70 4.3.1 Step 1. Reducing to sums of Kloosterman sums via trace for- mula................................ 71 4.3.2 Step 2. Removing large and small values of D.......... 71 4.3.3 Step 3. Applying the Voronoi formula to convert Kloosterman Sums to Ramanujan sums..................... 73 4.3.4 Step 4. Treating the zero shift................... 75 4.3.5 The sum of shifted sums...................... 75 4.3.6 Step 5. Applying the circle method................ 76 4.3.7 Step 6. Applying Vornoi formula twice to regenerate Klooster- mann sums............................. 78 4.3.8 Step 7. Applying the large sieve type inequality to the sum of Kloostermann sums........................ 80 4.3.9 Conclusion and the final bound.................. 82 4.4 The estimation of weight functions.................... 84 4.5 The proof of Theorem 3.1.3........................ 91 5. The Proof of Sup-norm Bounds for Holomorphic Modular Forms........ 96 5.1 Preliminary................................. 96 5.1.1 The Sup-norm via Fourier expansion............... 96 5.1.2 Pretrace formula for holomorphic cusp forms........... 96 5.1.3 Amplification method....................... 97 5.1.4 Counting lattice points....................... 100 5.1.5 The estimation of parabolic matrices............... 104 5.2 The proof of Theorem 3.2.1........................ 107 6. The Proof of the Distribution of Inverses mod c ................. 110 6.1 Wilton’s bound for Eisenstein series.................... 110 6.2 The proof of Theorem 3.3.1........................ 119 Bibliography...................................... 122 vii Chapter 1: Introduction 1.1 L-functions, their properties, and the subconvexity problem The study of L-functions plays a key role in number theory. The most famous L- function is the Riemman Zeta function, which is defined as X1 1 ζ(s):= ns n=1 when Re (s) > 1. It has a meromorphic continuation to any complex number s. Fur- thermore, by the unique factorization of the integers, we have the Euler product when Re (s) > 1 Y ζ(s) = 1 − p−s−1 ; p primes which relates ζ(s) to prime numbers. The locations of poles and zeros of the Riemann Zeta function carry highly nontrivial information about the distribution of prime numbers. For example, we can prove that there are infinitely many prime numbers by showing that ζ(s) has a pole at s = 1. A deeper result is the Prime Number Theorem Theorem 1.1.1 (Prime Number Theorem). Let π(x) denote the number of primes p 6 x. As x ! 1, we have x π(x) ∼ : log x 1 This theorem is equivalent to the fact that ζ(s) , 0 when Re (s) = 1. For a complete proof, see [IK04] Chapter 2. These examples illustrate why the study of the locations of zeros of ζ(s) has attracted number theorists for over 100 years. In 1859, B. Riemann made a conjecture about the lo- cations of these zeros. His conjecture, which is now called the Riemann Hypothesis, claims that all the solutions of the equation ζ(s) = 0 such that 0 < Re (s) < 1 lie on the vertical Re 1 line (s) = 2 . This conjecture is still open. In order to study prime numbers in arithmetic progressions, L. Dirichlet (1837) invented multiplicative characters χ(mod q) and associated a Dirichlet L-functions to each of them. The explicit definition is as follows. Denote by Z the set of all integers. Denote by C× the set of all nonzero complex numbers. Let q > 1 be a positive integer. Denote by (Z=qZ)× the modulo q multiplicative × × group. Let χq : (Z=qZ) ! C be a character. A Dirichlet L-function is defined as 1 X χq(n) L(s; χ ) = ; q ns n=1 when Re (s) > 0. It also has a meromorphic continuation to any complex number s and can be rewritten as the Euler product − Y −s 1 L(s; χq) = 1 − χq(p)p : p primes Just like the the Riemann Zeta function, the zeros of Dirichlet L-functions carry infor- mation about prime numbers. For example, we can prove that there are infinitely many primes p such that p ≡ 1(mod 3) by showing that L(s; χ3) , 0 when Re (s) = 1. For a complete proof, see [IK04] Chapter 2. 2 The Generalized Riemann Hypothesis suggests that all the zeros of L(s; χq) in the strip Re Re 1 0 < (s) < 1 lie on the vertical line (s) = 2 for any Dirichilet character χq modulo q. There are other arithmetic objects with L-functions associated to them. For example, 2 let SL2(R) be the group of 2-by-2 matrices with determinant 1. Let H be the upper-half ! a b plane of C. Any γ = 2 SL (R) acts on H2 via Mobius¨ action c d 2 az + b γ:z = : cz + d Let M > 0 be an integer and κ > 0 be an even integer. Let ( ! ) a b Γ (M):= 2 SL (Z): c ≡ 0(mod M) 0 c d 2 be a congruence subgroup of SL2(Z). The holomorphic cusp forms with weight κ, level M, and trivial nebentypus are holo- morphic functions on the upper half-plane F : H2 ! C satisfying F(γ:z) = (cz + d)κF(z); when ! a b γ = 2 Γ (M); c d 0 and vanishing at every cusp, e.g. F(a:z) ! 0 as Im (z) ! 1 for any a 2 SL2(Z). κ Let f (z) = y 2 F(z) where F is a holomorphic cusp form with weight κ, level M and trivial nebentypus. We call such f (z) a Hecke newform, if it is not generated by cusp 3 forms with lower levels (see [IK04] Chapter 14, [Cas73] for more details) and it is the eigenfunction of Hecke operators Tm for all m > 0, where ! 1 X X az + b T f (z):= p f : m d m ad=m 06b<d (a;M)=1 Denote by λ f (m) the corresponding eigenvalues.
Recommended publications
  • April 2010 Contents
    International Association of Mathematical Physics News Bulletin April 2010 Contents International Association of Mathematical Physics News Bulletin, April 2010 Contents Reflections on the IAMP Geography 3 Aharonov-Bohm & Berry Phase Anniversaries 50/25 5 The 25th anniversary of the founding of HARL 8 An interview with Huzihiro Araki 10 Shing-Tung Yau the Wolf Prize laureate 2010 in Mathematics 14 News from the IAMP Executive Committee 22 A new associated member: PIMS 26 Bulletin editor Valentin Zagrebnov Editorial board Evans Harrell, Masao Hirokawa, David Krejˇciˇr´ık, Jan Philip Solovej Contacts [email protected] http://www.iamp.org Cover photo (courtesy of Professor A.Tonomura): From double-slit experiment to the Aharonov-Bohm effect. See a comment at the end of the page 7. The views expressed in this IAMP News Bulletin are those of the authors and do not necessary represent those of the IAMP Executive Committee, Editor or Editorial board. Any complete or partial performance or reproduction made without the consent of the author or of his successors in title or assigns shall be unlawful. All reproduction rights are henceforth reserved, mention of the IAMP News Bulletin is obligatory in the reference. (Art.L.122-4 of the Code of Intellectual Property). 2 IAMP News Bulletin, April 2010 Editorial Reflections on the IAMP Geography by Pavel Exner (IAMP President) The topic of today’s meditation was inspired by complaints of American colleagues about the shaky position our discipline enjoys in the U.S. True, such woes are ubiquitous since com- petition for resources in science was and will always be tough.
    [Show full text]
  • Sastra Prize 2011
    UF SASTRA PRIZE Mathematics 2011 Research Courses Undergraduate Graduate News Resources People ROMAN HOLOWINSKY TO RECEIVE 2011 SASTRA RAMANUJAN PRIZE The 2011 SASTRA Ramanujan Prize will be awarded to Roman Holowinsky, who is now an Assistant Professor at the Department of Mathematics, Ohio State University, Columbus, Ohio, USA. This annual prize which was established in 2005, is for outstanding contributions by very young mathematicians to areas influenced by the genius Srinivasa Ramanujan. The age limit for the prize has been set at 32 because Ramanujan achieved so much in his brief life of 32 years. The $10,000 prize will be awarded at the International Conference on Number Theory, Ergodic Theory and Dynamics at SASTRA University in Kumbakonam, India (Ramanujan's hometown) on December 22, Ramanujan's birthday. Dr. Roman Holowinsky has made very significant contributions to areas which are at the interface of analytic number theory and the theory of modular forms. Along with Professor Kannan Soundararajan of Stanford University (winner of the SASTRA Ramanujan Prize in 2005), Dr. Holowinsky solved an important case of the famous Quantum Unique Ergodicity (QUE) Conjecture in 2008. This is a spectacular achievement. In 1991, Zeev Rudnick and Peter Sarnak formulated the QUE Conjecture which in its general form concerns the correspondence principle for quantizations of chaotic systems. One aspect of the problem is to understand how waves are influenced by the geometry of their enclosure. Rudnick and Sarnak conjectured that for sufficiently chaotic systems, if the surface has negative curvature, then the high frequency quantum wave functions are uniformly distributed within the domain.
    [Show full text]
  • Scientific Report for 2012
    Scientific Report for 2012 Impressum: Eigent¨umer,Verleger, Herausgeber: The Erwin Schr¨odingerInternational Institute for Mathematical Physics - University of Vienna (DVR 0065528), Boltzmanngasse 9, A-1090 Vienna. Redaktion: Joachim Schwermer, Jakob Yngvason. Supported by the Austrian Federal Ministry of Science and Research (BMWF) via the University of Vienna. Contents Preface 3 The Institute and its Mission . 3 Scientific activities in 2012 . 4 The ESI in 2012 . 7 Scientific Reports 9 Main Research Programmes . 9 Automorphic Forms: Arithmetic and Geometry . 9 K-theory and Quantum Fields . 14 The Interaction of Geometry and Representation Theory. Exploring new frontiers. 18 Modern Methods of Time-Frequency Analysis II . 22 Workshops Organized Outside the Main Programmes . 32 Operator Related Function Theory . 32 Higher Spin Gravity . 34 Computational Inverse Problems . 35 Periodic Orbits in Dynamical Systems . 37 EMS-IAMP Summer School on Quantum Chaos . 39 Golod-Shafarevich Groups and Algebras, and the Rank Gradient . 41 Recent Developments in the Mathematical Analysis of Large Systems . 44 9th Vienna Central European Seminar on Particle Physics and Quantum Field Theory: Dark Matter, Dark Energy, Black Holes and Quantum Aspects of the Universe . 46 Dynamics of General Relativity: Black Holes and Asymptotics . 47 Research in Teams . 49 Bruno Nachtergaele et al: Disordered Oscillator Systems . 49 Alexander Fel'shtyn et al: Twisted Conjugacy Classes in Discrete Groups . 50 Erez Lapid et al: Whittaker Periods of Automorphic Forms . 53 Dale Cutkosky et al: Resolution of Surface Singularities in Positive Characteristic . 55 Senior Research Fellows Programme . 57 James Cogdell: L-functions and Functoriality . 57 Detlev Buchholz: Fundamentals and Highlights of Algebraic Quantum Field Theory .
    [Show full text]
  • Generic Transfer from Gsp(4) to GL(4)
    Compositio Math. 142 (2006) 541–550 doi:10.1112/S0010437X06001904 Generic transfer from GSp(4) to GL(4) Mahdi Asgari and Freydoon Shahidi Abstract We establish the Langlands functoriality conjecture for the transfer from the generic spec- trum of GSp(4) to GL(4) and give a criterion for the cuspidality of its image. We apply this to prove results toward the generalized Ramanujan conjecture for generic representations of GSp(4). 1. Introduction Let k be a number field and let G denote the group GSp(4, Ak). The (connected component of the) L-group of G is GSp(4, C), which has a natural embedding into GL(4, C). Langlands functoriality predicts that associated to this embedding there should be a transfer of automorphic representations of G to those of GL(4, Ak)(see[Art04]). Langlands’ theory of Eisenstein series reduces the proof of this to unitary cuspidal automorphic representations. We establish functoriality for the generic spectrum of GSp(4, Ak). More precisely (cf. Theorem 2.4), we prove the following. Let π be a unitary cuspidal representation of GSp(4, Ak), which we assume to be globally generic. Then π has a unique transfer to an automorphic representation Π of GL(4, Ak). 2 The transfer is generic (globally and locally) and satisfies ωΠ = ωπ and Π Π⊗ωπ. Here, ωπ and ωΠ denote the central characters of π and Π, respectively. Moreover, we give a cuspidality criterion for Π and prove that, when Π is not cuspidal, it is an isobaric sum of two unitary cuspidal representations of GL(2, Ak)(cf.Proposition2.2).
    [Show full text]
  • Fall 2006 [Pdf]
    Le Bulletin du CRM • www.crm.umontreal.ca • Automne/Fall 2006 | Volume 12 – No 2 | Le Centre de recherches mathématiques A Review of CRM’s 2005 – 2006 Thematic Programme An Exciting Year on Analysis in Number Theory by Chantal David (Concordia University) The thematic year “Analysis in Number The- tribution of integers, and level statistics), integer and rational ory” that was held at the CRM in 2005 – points on varieties (geometry of numbers, the circle method, 2006 consisted of two semesters with differ- homogeneous varieties via spectral theory and ergodic theory), ent foci, both exploring the fruitful interac- the André – Oort conjectures (equidistribution of CM-points tions between analysis and number theory. and Hecke points, and points of small height) and quantum The first semester focused on p-adic analy- ergodicity (quantum maps and modular surfaces) The main sis and arithmetic geometry, and the second speakers were Yuri Bilu (Bordeaux I), Bill Duke (UCLA), John semester on classical analysis and analytic number theory. In Friedlander (Toronto), Andrew Granville (Montréal), Roger both themes, several workshops, schools and focus periods Heath-Brown (Oxford), Elon Lindenstrauss (New York), Jens concentrated on the new and exciting developments of the re- Marklof (Bristol), Zeev Rudnick (Tel Aviv), Wolfgang Schmidt cent years that have emerged from the interplay between anal- (Colorado, Boulder and Vienna), K. Soundararajan (Michigan), ysis and number theory. The thematic year was funded by the Yuri Tschinkel (Göttingen), Emmanuel Ullmo (Paris-Sud), and CRM, NSF, NSERC, FQRNT, the Clay Institute, NATO, and Akshay Venkatesh (MIT). the Dimatia Institute from Prague. In addition to the partici- The workshop on “p-adic repre- pants of the six workshops and two schools held during the sentations,” organised by Henri thematic year, more than forty mathematicians visited Mon- Darmon (McGill) and Adrian tréal for periods varying from two weeks to six months.
    [Show full text]
  • Converse Theorem
    A strengthening of the GL(2) converse theorem Andrew R. Booker and M. Krishnamurthy dedicated to Ilya Piatetski-Shapiro (1929{2009) Abstract We generalize the method of [Bo03] to prove a version of the converse theorem of Jacquet- Langlands with relaxed conditions on the twists by ramified id`eleclass characters. Contents 1 Introduction 1 1.1 Notation . 3 2 The classical case 5 3 Additive and multiplicative twists 8 3.1 Multiplicative to additive twists . 8 3.2 Additive to multiplicative twists . 9 4 Some generalities of the GL2 theory 12 4.1 New vectors at the finite places . 12 4.2 Archimedean Whittaker functions . 13 4.3 Bounds for the archimedean parameters . 16 4.4 Fourier coefficients and Dirichlet series . 16 5 Proof of Theorem 1.1 19 5.1 Reduction to additively twisted L-functions . 19 5.2 Automorphy relations from unramified twists . 20 5.3 Producing additive twists . 21 5.4 Taylor expansions . 22 5.5 Proof of Lemma 5.2 . 27 Appendix A. Binomial coefficients 38 1. Introduction The \converse theorem" in the theory of automorphic forms has a long history, beginning with the work of Hecke [He36] and a paper of Weil [We67] relating the automorphy relations satisfied by classical holomorphic modular forms f to analytic properties of the twisted L-functions L(s; f × χ) for Dirichlet characters χ. Soon after, the classical theory was recast in the modern setting of automorphic representations by Jacquet and Langlands [JL70], who generalized Weil's result to GL2 representations π over a global field, characterizing them in terms of their twists L(s; π ⊗ !) by id`eleclass characters !.
    [Show full text]
  • From Quantum Systems to L-Functions: Pair Correlation Statistics and Beyond
    From Quantum Systems to L-Functions: Pair Correlation Statistics and Beyond Owen Barrett, Frank W. K. Firk, Steven J. Miller, and Caroline Turnage-Butterbaugh Abstract The discovery of connections between the distribution of energy levels of heavy nuclei and spacings between prime numbers has been one of the most sur- prising and fruitful observations in the twentieth century. The connection between the two areas was first observed through Montgomery’s work on the pair correla- tion of zeros of the Riemann zeta function. As its generalizations and consequences have motivated much of the following work, and to this day remains one of the most important outstanding conjectures in the field, it occupies a central role in our discussion below. We describe some of the many techniques and results from the past sixty years, especially the important roles played by numerical and experimen- tal investigations, that led to the discovery of the connections and progress towards understanding the behaviors. In our survey of these two areas, we describe the com- mon mathematics that explains the remarkable universality. We conclude with some thoughts on what might lie ahead in the pair correlation of zeros of the zeta function, and other similar quantities. Owen Barrett, arXiv:1505.07481v1 [math.NT] 27 May 2015 Yale University, New Haven, CT 06520, e-mail: [email protected] Frank W. K. Firk, Yale University, New Haven, CT 06520 e-mail: [email protected] Steven J. Miller, Williams College, Williamstown, MA 01267 e-mail: [email protected]. edu,[email protected] Caroline Turnage-Butterbaugh, Duke University, Durham, NC 27708 e-mail: [email protected] 1 Contents From Quantum Systems to L-Functions: Pair Correlation Statistics and Beyond ..................................................
    [Show full text]
  • January 2019 Volume 66 · Issue 01
    ISSN 0002-9920 (print) ISSN 1088-9477 (online) Notices ofof the American MathematicalMathematical Society January 2019 Volume 66, Number 1 The cover art is from the JMM Sampler, page 84. AT THE AMS BOOTH, JMM 2019 ISSN 0002-9920 (print) ISSN 1088-9477 (online) Notices of the American Mathematical Society January 2019 Volume 66, Number 1 © Pomona College © Pomona Talk to Erica about the AMS membership magazine, pick up a free Notices travel mug*, and enjoy a piece of cake. facebook.com/amermathsoc @amermathsoc A WORD FROM... Erica Flapan, Notices Editor in Chief I would like to introduce myself as the new Editor in Chief of the Notices and share my plans with readers. The Notices is an interesting and engaging magazine that is read by mathematicians all over the world. As members of the AMS, we should all be proud to have the Notices as our magazine of record. Personally, I have enjoyed reading the Notices for over 30 years, and I appreciate the opportunity that the AMS has given me to shape the magazine for the next three years. I hope that under my leadership even more people will look forward to reading it each month as much as I do. Above all, I would like the focus of the Notices to be on expository articles about pure and applied mathematics broadly defined. I would like the authors, topics, and writing styles of these articles to be diverse in every sense except for their desire to explain the mathematics that they love in a clear and engaging way.
    [Show full text]
  • Arxiv:1412.3500V2 [Math.NT] 29 Oct 2015 Γ En Smrhc(Hn3) Ti Ojcueo Aqe Hti Sh It That Jacquet of Conjecture a Is It Let ([Hen93])
    GAMMA FACTORS OF PAIRS AND A LOCAL CONVERSE THEOREM IN FAMILIES GILBERT MOSS Abstract. We prove a GL(n) × GL(n − 1) local converse theorem for ℓ-adic families of smooth representations of GLn(F ) where F is a finite extension of Qp and ℓ =6 p. Along the way, we extend the theory of Rankin-Selberg integrals, first introduced in [JPSS83], to the setting of families, continuing previous work of the author [Mos]. 1. Introduction Let F be a finite extension of Qp. A local converse theorem is a result along the ′ following lines: given V1 and V2 representations of GLn(F ), if γ(V1 × V ,X,ψ) = ′ ′ γ(V2×V ,X,ψ) for all representations V of GLn−1(F ), then V1 and V2 are the same. There exists such a converse theorem for complex representations: if V1, V2, and ′ V are irreducible admissible generic representations of GLn(F ) over C, “the same” means isomorphic ([Hen93]). It is a conjecture of Jacquet that it should suffice to ′ n let V vary over representations of GL n (F ), or in other words a GL(n)×GL(⌊ ⌋) ⌊ 2 ⌋ 2 converse theorem should hold. In this paper we construct γ(V ×V ′,X,ψ) and prove a GL(n)×GL(n−1) local converse theorem in the setting of ℓ-adic families. We deal with admissible generic families that are not typically irreducible, so “the same” will mean that V1 and V2 have the same supercuspidal support. Over families, there arises a new dimension to the local converse problem: determining the smallest coefficient ring over which the twisting representations V ′ can be taken while still having the theorem hold.
    [Show full text]
  • Functorial Products for GL2× GL3 and the Symmetric Cube For
    Annals of Mathematics, 155 (2002), 837–893 Functorial products for GL2× GL3 and the symmetric cube for GL2 By Henry H. Kim and Freydoon Shahidi* Dedicated to Robert P. Langlands Introduction In this paper we prove two new cases of Langlands functoriality. The first is a functorial product for cusp forms on GL GL as automorphic forms 2 × 3 on GL6, from which we obtain our second case, the long awaited functorial symmetric cube map for cusp forms on GL2. We prove these by applying a recent version of converse theorems of Cogdell and Piatetski-Shapiro to analytic properties of certain L-functions obtained from the method of Eisenstein series (Langlands-Shahidi method). As a consequence we prove the bound 5/34 for Hecke eigenvalues of Maass forms over any number field and at every place, finite or infinite, breaking the crucial bound 1/6 (see below and Sections 7 and 8) towards Ramanujan-Petersson and Selberg conjectures for GL2. As noted below, many other applications follow. To be precise, let π1 and π2 be two automorphic cuspidal representations of GL2(AF ) and GL3(AF ), respectively, where AF is the ring of ad`eles of a number field F . Write π1 = ⊗vπ1v and π2 = ⊗vπ2v. For each v, finite or otherwise, let π1v ⊠ π2v be the irreducible admissible representation of GL6(Fv), attached to (π1v,π2v) through the local Langlands correspondence by Harris-Taylor [HT], Henniart [He], and Langlands [La4]. We point out that, if ϕiv, i = 1, 2, are the two- and the three-dimensional representations of Deligne-Weil group, arXiv:math/0409607v1 [math.NT] 30 Sep 2004 parametrizing πiv, respectively, then π1v⊠π2v is attached to the six-dimensional representation ϕ ϕ .
    [Show full text]
  • Automorphic Forms and L-Functions
    Program of the Israel Science Foundation Workshop on Automorphic Forms and L-functions May 15-19, 2006, Rehovot and Tel-Aviv MONDAY, May 15 (Weizmann Institute, Schmidt Lecture Hall) 09:00 – 10:00 Registration of participants 10:00 – 12:30 Morning session on the trace formula James Arthur (University of Toronto) 12:30 LUNCH 14:30 – 15:30 Marie-France Vigneras (Institut Mathematiques de Jussieu) Irreducibility and cuspidality of the Steinberg representation modulo p 16:00 – 17:00 Prof. Chaim Leib Pekeris Memorial Lecture by Peter Sarnak (Princeton University) Equidistribution and Primes (Dolfi and Lola Ebner Auditorium) TUESDAY, May 16 (Tel-Aviv University, Melamed Auditorium) 08:30 – 9:30 Bus from San-Martin to Tel-Aviv University 10:00 – 12:30 Morning session on L-functions Daniel Bump (Stanford University) James Cogdell (Ohio State University) 12:30 LUNCH 14:00 – 15:00 Akshay Venkatesh (Courant Institute) A spherical simple trace formula, and Weyl’s law for cusp forms 15:30 – 16:30 Wee Teck Gan (University of California, San Diego) The regularized Siegel-Weil formula for exceptional groups 17:00 – 18:00 Jiu-Kang Yu (Purdue University) Construction of tame types WEDNESDAY, May 17 (Weizmann Institute, Schmidt Lecture Hall) 10:00 – 12:30 Morning session on theta correspondence Roger Howe (Yale University) Stephen Kudla (University of Maryland) 13:00 – 22:00 A tour and dinner in Jerusalem (bus leaves from San-Martin) THURSDAY, May 18 (Weizmann Institute, Schmidt Lecture Hall) 10:00 – 11:00 Birgit Speh (Cornell University) The restriction
    [Show full text]
  • Infosys Prize 2011 the Infosys Science Foundation
    Prof. Kalyanmoy Deb Engineering and Computer Science Prof. Kannan Dr. Imran Siddiqi Soundararajan Life Sciences Mathematical Sciences Prof. Sriram Prof. Raghuram Ramaswamy G. Rajan Physical Sciences Social Sciences – Economics Dr. Pratap Bhanu Mehta Social Sciences – Political Science and International Relations INFOSYS SCIENCE FOUNDATION INFOSYS SCIENCE FOUNDATION Infosys Campus, Electronics City, Hosur Road, Bangalore 560 100 Tel: 91 80 2852 0261 Fax: 91 80 2852 0362 Email: [email protected] www.infosys-science-foundation.com Infosys Prize 2011 The Infosys Science Foundation Securing India's scientific future The Infosys Science Foundation, a not-for-profit trust, was set up in February 2009 by Infosys and some members of its Board. The Foundation instituted the Infosys Prize, an annual award, to honor outstanding achievements of researchers and scientists across five categories: Engineering and Computer Science, Life Sciences, Mathematical Sciences, Physical Sciences and Social Sciences, each carrying a prize of R50 Lakh. The award intends to celebrate success and stand as a marker of excellence in scientific research. A jury comprising eminent leaders in each of these fields comes together to evaluate the achievements of the nominees against the standards of international research, placing the winners on par with the finest researchers in the world. In keeping with its mission of spreading the culture of science, the Foundation has instituted the Infosys Science Foundation Lectures – a series of public talks by jurors and laureates of the Infosys Prize on their work that will help inspire young researchers and students. “Science is a way of thinking much more than it is a body of knowledge.” Carl Edward Sagan 1934 – 1996 Astronomer, Astrophysicist, Author, Science Evangelist Prof.
    [Show full text]