Theta Liftings on Higher Covers of Symplectic Groups
Total Page:16
File Type:pdf, Size:1020Kb
Theta liftings on higher covers of symplectic groups Author: Spencer Leslie Persistent link: http://hdl.handle.net/2345/bc-ir:107937 This work is posted on eScholarship@BC, Boston College University Libraries. Boston College Electronic Thesis or Dissertation, 2018 Copyright is held by the author, with all rights reserved, unless otherwise noted. Theta liftings on higher covers of symplectic groups Spencer Leslie A dissertation submitted to the Faculty of the Department of Mathematics in partial fulfillment of the requirements for the degree of Doctor of Philosophy Boston College Morrissey College of Arts and Sciences Graduate School May 2018 c Copyright 2018 Spencer Leslie Theta liftings on higher covers of symplectic groups Spencer Leslie Thesis advisor: Solomon Friedberg We study a new lifting of automorphic representations using the theta representa- tion Θ on the 4-fold cover of the symplectic group, Sp2r(A). This lifting produces the first examples of CAP representations on higher degree metaplectic covering groups. Central to our analysis is the identification of the maximal nilpotent orbit associated to Θ. We conjecture a natural extension of Arthur's parameterization of the discrete spectrum to Sp2r(A). Assuming this, we compute the effect of our lift on Arthur parameters and show that the parameter of a representation in the image of the lift is non-tempered. We conclude by relating the lifting to the dimension equation of Ginzburg to predict the first non-trivial lift of a generic cuspidal representation of Sp2r(A). Contents 1 Introduction1 1.1 Theta functions and liftings.......................1 1.2 Main Results...............................6 2 Notations and Preliminaries 13 2.1 Subgroups and characters........................ 13 2.2 Formalism on roots............................ 16 3 Theta Representations: Local and Global Theory 17 3.1 Theta Representations: local theory................... 18 3.2 Theta Representations: global theory.................. 27 4 Fourier Coefficients Associated to a Nilpotent Orbit 31 4.1 Algebraic Setup.............................. 32 4.2 Local Fourier-Jacobi Coefficients..................... 37 4.3 Root Exchange.............................. 41 5 Fourier-Whittaker Coefficients: Identification of the Orbit 47 5.1 Vanishing Statements........................... 48 5.2 Non-Vanishing Statement........................ 56 6 Unramified Local Lifting and Satake Parameters 66 6.1 Statement of the local correspondence.................. 66 7 The Global Lifting and Cuspidality 77 7.1 Global Lifting............................... 77 7.2 Towering property of the theta lift.................... 79 8 CAP Representations and Arthur Parameters 89 8.1 CAP representations........................... 89 8.2 Conjectural Shimura Lift......................... 92 8.3 Arthur's conjectures........................... 94 9 Generic Lifts and the Dimension Equation 97 iv Contents v 10 Future Directions 103 A Appendices to Part 1 107 A.1 Local filtration.............................. 107 A.2 Technical Lemmas............................ 108 Bibliography 112 Citations to Previous Work This thesis is based on [Les17]. vi Acknowledgments To begin, I want to thank my advisor Sol Friedberg for several things: for first informing me about the program at BC and encouraging me to apply; for careful guid- ance into the world of automorphic forms; and for his unconditional mathematical, professional, and personal support over the past five years. I wish also to thank David Treumann for supporting me as though I was his own student and for generally being a joy to talk math with. Additionally, I thank Mark Reeder, not only for his teaching fantastic courses, but for his very useful advise at multiple points of my time as a graduate student. Finally, I thank Ben Howard for his active role in the \number theory" side of the department running several formative seminars. I would like to give special thanks to David Ginzburg for asking the question which ultimately led to this thesis, as well as for being generous with his ideas. Beyond this, there are several people I wish to thank for useful mathematical discussions, many of which were on other projects but all proved enjoyable and helpful: Arkady Berenstein, Yuanqing Cai, Wee Teck Gan, Jayce Getz, Kyle Hayden, Gus Lonergan, Ari Shnidman, Marty Weissman, Shucheng Yu, Lei Zhang, and Melissa Zhang. I thank you all. On a personal note, I want to give a special shoutout to Kyle Hayden for being a good friend throughout graduate school. Also, I would never have made it to graduate school were it not for the tireless work of James Cook, and I thank him for this. Finally and most importantly, I want to thank Casey Leslie, without whom this thesis would not have been possible and with whom the past five years have been a joy. vii To my best friend Casey. viii Chapter 1 Introduction 1.1 Theta functions and liftings One of the first modular functions ever studied was the classical theta function of Jacobi, which may be written as X πin2τ Θ(τ) = e ; where τ 2 C; Im(τ) > 0: n2Z While variations of this function were studied as far back as Euler, one of the most important early applications of the theta function comes in Riemann's second proof of the functional equation of the eponymous zeta function. The key property of this function is the functional equation 1 −1 Θ(τ) = p Θ ; τ τ which implies, along with the obvious invariance Θ(τ + 2) = Θ(τ), that Θ is a 1 modular form of weight 2 . Today, we understand, thanks to Weil [Wei64], that the theory of half-integral weight modular forms may be understood as studying certain automorphic representations of the metaplectic double cover Mp2(R) of the 1 2 Chapter 1: Introduction group SL2(R). Moreover, the Jacobi theta function corresponds to a particularly important automorphic representation ! known as the Segal-Shale-Weil(-oscillator) representation. In particular, the theory of automorphic forms on the non-linear covers of reductive groups is as old as the theory of modular forms itself. Let K be a number field, and let G be a reductive group over K. Motivated by the classical theory of theta functions and other applications to number theory ([KP84], [Kub69]), the theory of automorphic forms on covers of the group G(A), where A is the ring of adeles of K, has enjoyed much recent attention (for example, [KP84, Wei03, Wei14, GG14, FG17, BBF11, Gao18b]). While many people have developed the theory of topological covering groups of G(A), we will use the theory of Brylinski and Deligne [BD01] to describe the groups in which we are interested. Assuming K contain the nth roots of unity, Brylinski and Deligne classify degree n topological extensions GA of G(A) by µn(K) which arise from the algebraic K-theory of the field K. More precisely, viewing G as a sheaf of groups on the big Zariski site over Spec(K), Brylinski-Deligne characterize the objects in the Picard category CExt(G; K2) of central extensions (of sheaves) of G by Quillen's algebraic K-theory sheaf K2: That is, an object G 2 CExt(G; K2) is a sheaf of groups such that there is a short exact sequence 1 −! K2 −! G −! G −! 1 (1.1) with the image of K2 central in G. The classification is particularly simple when G is split, and for G semi-simple and simply connected, CExt(G; K2) is discrete with a single generator, essentially recovering Steinberg's universal extension. This classifi- cation of (BD-)covering groups works over a general base scheme S; in particular, we have an analogous theory over local fields F . Chapter 1: Introduction 3 Given a BD-extension G, we obtain a degree n topological covering group π 1 −! µn(K) −! G(A) −! G(A) −! 1 th (·;·)n by taking A-points of (1.1) and pushing out by the n -Hilbert symbol K2(A) −−−! th µn(A) = µn(K): The reason for studying central extensions by n -roots of unity is that, as noticed by Weil [Wei64], the nth-order reciprocity theorem of class field theory implies that the cover π splits over the discrete subgroup G(K) ⊂ G(A). Thus, upon fixing a section over the rational points, we may meaningfully study automorphic forms on G(A). This construction recovers essentially all topological covering groups that have arisen in automorphic representation theory. One reason for working with this formalism is that there is a reasonable notion of an L-group for such covering groups. Given an n-fold topological BD-covering _ group G, we may associate to it a natural complex dual group G , which can be distinct from the dual group of G. Recently, Weissman has put forward a promising candidate, LG; for the L-group of such covering groups (see [Wei14] and [Wei15]) as an extension _ L 1 −! G −! G −! WK −! 1: (1.2) It is thus important to test if this L-group allows us to extend Langlands functori- ality and Arthur's conjectures to the case of BD-covering groups. For example, the construction of the metaplectic tensor product has been shown to be functorial by Gan [Gan16]. Historically, the metaplectic 2-fold cover of the symplectic group, Mp(W ), where (W; h·; ·i) is a symplectic vector space over K, is the first example of a BD-covering group to be studied. Much is known about the representation theory of Mp(W ); in 4 Chapter 1: Introduction particular, the local Langlands correspondence1 has been extended to this group via work of Adams-Barbasch [AB95], [AB98] in the real case, and Gan-Savin [GS12] in the nonarchimedean case. A primary tool in the study of the representation theory of Mp(W ) has been the theta correspondence, which is an integral lifting construction 2 utilizing the oscillator representation ! , the generalization of the classical theta representation mentioned above. We pause here to sketch what we mean by an \integral lifting construction".