DOCSLIB.ORG

REPRESENTATIONS of REDUCTIVE P-ADIC GROUPS

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
REPRESENTATIONS of REDUCTIVE P-ADIC GROUPS REPRESENTATIONS OF REDUCTIVE p-ADIC GROUPS Under revision March 2009 Table of Contents 1. Introduction :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 2 2. Valuations and local fields :::::::::::::::::::::::::::::::::::::::::::::::::::: 5 3. Smooth representations of locally compact totally disconnected groups :::::::: 11 4. Haar measure, convolution, and characters of admissible representations:::::::: 21 5. Induced representations - general properties ::::::::::::::::::::::::::::::::::: 29 6. Parabolic induction and Jacquet modules ::::::::::::::::::::::::::::::::::::: 37 7. Supercuspidal representations and Jacquet's subrepresentation theorem :::::::: 50 8. Depth zero supercuspidal representations ::::::::::::::::::::::::::::::::::::: 63 9. Parahoric subgroups in symplectic groups ::::::::::::::::::::::::::::::::::::: 70 10. Cuspidal representations and the Deligne-Lusztig construction ::::::::::::::: 73 11. Tori over Fq and unramified tori in p-adic groups :::::::::::::::::::::::::::: 74 12. Depth zero supercuspidal L-packets :::::::::::::::::::::::::::::::::::::::::: 76 13. Hecke algebras and K-types for smooth representations :::::::::::::::::::::: 77 14. Discrete series representations ::::::::::::::::::::::::::::::::::::::::::::::: 86 15. Asymptotic behaviour of matrix coefficients of admissible representations ::::: 92 16. More about Jacquet modules :::::::::::::::::::::::::::::::::::::::::::::::: 100 17. Linear independence of characters ::::::::::::::::::::::::::::::::::::::::::: 102 18. Principal series representations :::::::::::::::::::::::::::::::::::::::::::::: 104 19. Intertwining maps ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 110 20. The Satake isomorphism ::::::::::::::::::::::::::::::::::::::::::::::::::::: 115 21. Macdonald's formula and spherical representations ::::::::::::::::::::::::::: 120 22. References :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 127 1 1. Introduction Let F be a field and n a positive integer. The set G = GLn(F ) of invertible matrices with entries in the field F forms a group with respect to matrix multiplication. This is an example of a reductive group. If F is a finite field, then G is a finite group. As (complex) representations of finite groups are discussed in earlier courses, some results concerning representations of G in the case when F is a finite field will be assumed. In this course, we will be particularly interested in the case where F is a p-adic field (p-adic fields will be described in section 2). But we can ask what are the representations of G for any field F . A representation of G consists of a (possibly infinite dimensional) complex vector space V and a homomorphism π from G to the set of invertible linear operators on V . Depending on the field F , we restrict our attention to representations satisfying \extra" topological conditions. We make a few remarks about the connection between representations of p-adic groups and automorphic forms. Suppose that F is a number field (a finite extension of the rational numbers). Then F has completions with respect to the various valuations on F . For example, if F is the rational numbers, the completion of F with respect to the standard valuation (absolute value) j · j1 is the real numbers. For each prime integer p, the completion of F with respect to the p-adic valuation j· jp is the p-adic numbers Qp (see Q section 2). The adelic ring A of Q is a certain subring of the direct product R× p Qp of all of these completions. Similarly we can form the adelic ring AF of a general number field F . Given a reductive group G which is defined over F , we can define the adelic group G(AF ) (e.g. GLn(AF )). An automorphic form on G(AF ) is a complex-valued function on G(AF ) satisfying certain conditions (not discussed here). Now suppose that V is a subspace of the vector space of complex-valued functions on G(AF ), having the property that for f 2 V and g 2 G(AF ), the function x 7! f(xg) also belongs to V . Then we have a natural representation π on V :(π(g)f)(x) = f(xg). If V happens to consist of automorphic forms, then π is said to be an automorphic representation of G(AF ). The group G(AF ) can be expressed as a restricted direct product of the groups G(Fv), as Fv runs over the various completions of F . Also, the automorphic representation π decomposes into a tensor product of representations πv, where πv is a representation of G(Fv). The fields Fv are called local fields, and the representations πv are called the local components of π. It turns out that for all but finitely many completions, Fv is a p-adic field. So most of the local components of automorphic representations are representations of reductive p-adic groups. 2 (The other components are also important - they are representations of real or complex reductive groups). Now we discuss harmonic analysis on topological groups. A topological group G is a group which is also a topological space and has the property that the map (x; y) 7! xy−1 from G × G to G is continuous. Assume that G is (the rational points of) a reductive group over a p-adic field: such a group is a locally compact topological group. There exists a measure µ on G which is G-invariant: µ(gS) = µ(Sg) = µ(S), for g 2 G, and S any measurable subset of G. This measure µ is unique up to positive scalar multiples and is called Haar measure on G. Let L2(G) denote the set of complex valued functions on G which are square integrable relative to Haar measure. The representation R of G defined by (R(y)f)(x) = f(xy), x; y 2 G, f 2 L2(G), is called the right regular representation. One of the main problems in harmonic analysis on G is to decompose the right regular representation, that is, to express it in terms of irreducible representations of G. Another major problem is to determine Plancherel measure. This involves character theory and Fourier transforms. Associated to an irreducible representation π of G (satisfying certain smoothness conditions) is a distribution Θπ, the character of π. This distribution is a linear functional on some vector space V of complex valued functions on G. In the case of P finite groups Θπ(f) = g2G trace(π(g)) f(g). In general, π(g) is an operator on an infinite dimensional vector space and so does not have a trace - but if we replace the finite sum with integration with respect to Haar measure, and move the trace outside the integral, and make enough assumptions on π and V, then we are taking the trace of an operator which has finite rank, so Θπ(f) is defined. Let Gb be the set of irreducible unitary representations of G. Given f 2 V, the Fourier transform fb of f is the complex valued function on Gb defined by fb(π) = Θπ(f). Plancherel measure is a measure ν on Gb having the property that Z f(1) = fb(π) dν(π); f 2 V: Gb This expression is called the Plancherel formula. A character Θπ is an example of an g g −1 invariant distribution on G:Θπ(f ) = Θπ(f) for all g 2 G, where f (x) = f(gxg ). The map f 7! f(1) is also an invariant distribution. Invariant distributions play an important role in harmonic analysis. Given an invariant distribution D, we can try to find a measure ν on G such that D b Z D(f) = fb(π) dνD(π); f 2 V: Gb Note that Plancherel measure is νD for D(f) = f(1). Harmonic analysis on locally compact 3 abelian groups and compact groups is well understood. Much work has been done for Lie groups, nilpotent, solvable, and semisimple Lie groups, etc. A fair amount is known for nilpotent and solvable p-adic groups. However, for reductive p-adic groups, there is very little known, and there are many open problems in harmonic analysis. For example, the characters of the irreducible representations of reductive groups over p-adic fields are not yet well understood. In this course, we study some basic results in the theory of admissible representations of reductive p-adic groups. These results play important roles in applications to auto- morphic forms and harmonic analysis. As the structure of reductive algebraic groups is not discussed here, many of the results will be stated and proved for p-adic general lin- ear groups. In these cases, the main ideas of the argument for arbitrary reductive p-adic groups is the same as that for general linear groups. 4 2. Valuations and local fields The references for this part are the books by Bachman and Cassels. Let F be a field. Definition. A valuation on F is a map j · j : F ! R≥0 such that, for x, y 2 F , jxj = 0 () x = 0 jxyj = jxjjyj jx + yj ≤ jxj + jyj c Definition. Two valuations j · j1 and j · j2 on F are said to be equivalent if j · j1 = j · j2 for some positive real number c. Definition. A valuation j · j is discrete if there exists δ > 0 such that 1 − δ < jaj < 1 + δ implies jaj = 1. That is, f log jaj j a 2 F × g is a discrete subgroup of the additive group R. Example: Let p be a fixed prime integer. Given x 2 Q×, there exist unique integers m, n and r such that m and n are relatively prime, p does not divide m or n, and x = prm=n. −r Set jxjp = p (and j0jp = 0). This defines the p-adic valuation on Q. This valuation is discrete. Observe that if x = prm=n and y = p`m0=n0, then prmn0 + p`m0n jx + yj = j j = jprmn0 + p`m0nj p nn0 p p −r −` ≤ maxfp ; p g = maxfjxjp; jyjpg: Furthermore, if jxjp 6= jyjp, then jx + yjp = maxfjxjp; jyjpg. Definition. A valuation j · j is non archimedean if j · j (is equivalent to) a valuation which satisfies the ultrametric inequality: jx + yj ≤ maxfjxj; jyjg, x; y 2 F . Otherwise j · j is archimedean. Example: If F is a finite field, then the only valuation on F is the trivial valuation.
Load more

Recommended publications
  • Automorphism Groups of Locally Compact Reductive Groups
    PROCEEDINGS OF THE AMERICAN MATHEMATICALSOCIETY Volume 106, Number 2, June 1989 AUTOMORPHISM GROUPS OF LOCALLY COMPACT REDUCTIVE GROUPS T. S. WU (Communicated by David G Ebin) Dedicated to Mr. Chu. Ming-Lun on his seventieth birthday Abstract. A topological group G is reductive if every continuous finite di- mensional G-module is semi-simple. We study the structure of those locally compact reductive groups which are the extension of their identity components by compact groups. We then study the automorphism groups of such groups in connection with the groups of inner automorphisms. Proposition. Let G be a locally compact reductive group such that G/Gq is compact. Then /(Go) is dense in Aq(G) . Let G be a locally compact topological group. Let A(G) be the group of all bi-continuous automorphisms of G. Then A(G) has the natural topology (the so-called Birkhoff topology or ^-topology [1, 3, 4]), so that it becomes a topo- logical group. We shall always adopt such topology in the following discussion. When G is compact, it is well known that the identity component A0(G) of A(G) is the group of all inner automorphisms induced by elements from the identity component G0 of G, i.e., A0(G) = I(G0). This fact is very useful in the study of the structure of locally compact groups. On the other hand, it is also well known that when G is a semi-simple Lie group with finitely many connected components A0(G) - I(G0). The latter fact had been generalized to more general groups ([3]).
    [Show full text]
  • LIE GROUPS and ALGEBRAS NOTES Contents 1. Definitions 2
    LIE GROUPS AND ALGEBRAS NOTES STANISLAV ATANASOV Contents 1. Definitions 2 1.1. Root systems, Weyl groups and Weyl chambers3 1.2. Cartan matrices and Dynkin diagrams4 1.3. Weights 5 1.4. Lie group and Lie algebra correspondence5 2. Basic results about Lie algebras7 2.1. General 7 2.2. Root system 7 2.3. Classification of semisimple Lie algebras8 3. Highest weight modules9 3.1. Universal enveloping algebra9 3.2. Weights and maximal vectors9 4. Compact Lie groups 10 4.1. Peter-Weyl theorem 10 4.2. Maximal tori 11 4.3. Symmetric spaces 11 4.4. Compact Lie algebras 12 4.5. Weyl's theorem 12 5. Semisimple Lie groups 13 5.1. Semisimple Lie algebras 13 5.2. Parabolic subalgebras. 14 5.3. Semisimple Lie groups 14 6. Reductive Lie groups 16 6.1. Reductive Lie algebras 16 6.2. Definition of reductive Lie group 16 6.3. Decompositions 18 6.4. The structure of M = ZK (a0) 18 6.5. Parabolic Subgroups 19 7. Functional analysis on Lie groups 21 7.1. Decomposition of the Haar measure 21 7.2. Reductive groups and parabolic subgroups 21 7.3. Weyl integration formula 22 8. Linear algebraic groups and their representation theory 23 8.1. Linear algebraic groups 23 8.2. Reductive and semisimple groups 24 8.3. Parabolic and Borel subgroups 25 8.4. Decompositions 27 Date: October, 2018. These notes compile results from multiple sources, mostly [1,2]. All mistakes are mine. 1 2 STANISLAV ATANASOV 1. Definitions Let g be a Lie algebra over algebraically closed field F of characteristic 0.
    [Show full text]
  • 1:34 Pm April 11, 2013 Red.Tex
    1:34 p.m. April 11, 2013 Red.tex The structure of reductive groups Bill Casselman University of British Columbia, Vancouver [email protected] An algebraic group defined over F is an algebraic variety G with group operations specified in algebraic terms. For example, the group GLn is the subvariety of (n + 1) × (n + 1) matrices A 0 0 a with determinant det(A) a = 1. The matrix entries are well behaved functions on the group, here for 1 example a = det− (A). The formulas for matrix multiplication are certainly algebraic, and the inverse of a matrix A is its transpose adjoint times the inverse of its determinant, which are both algebraic. Formally, this means that we are given (a) an F •rational multiplication map G × G −→ G; (b) an F •rational inverse map G −→ G; (c) an identity element—i.e. an F •rational point of G. I’ll look only at affine algebraic groups (as opposed, say, to elliptic curves, which are projective varieties). In this case, the variety G is completely characterized by its affine ring AF [G], and the data above are respectively equivalent to the specification of (a’) an F •homomorphism AF [G] −→ AF [G] ⊗F AF [G]; (b’) an F •involution AF [G] −→ AF [G]; (c’) a distinguished homomorphism AF [G] −→ F . The first map expresses a coordinate in the product in terms of the coordinates of its terms. For example, in the case of GLn it takes xik −→ xij ⊗ xjk . j In addition, these data are subject to the group axioms. I’ll not say anything about the general theory of such groups, but I should say that in practice the specification of an algebraic group is often indirect—as a subgroup or quotient, say, of another simpler one.
    [Show full text]
  • Linear Algebraic Groups
    Clay Mathematics Proceedings Volume 4, 2005 Linear Algebraic Groups Fiona Murnaghan Abstract. We give a summary, without proofs, of basic properties of linear algebraic groups, with particular emphasis on reductive algebraic groups. 1. Algebraic groups Let K be an algebraically closed field. An algebraic K-group G is an algebraic variety over K, and a group, such that the maps µ : G × G → G, µ(x, y) = xy, and ι : G → G, ι(x)= x−1, are morphisms of algebraic varieties. For convenience, in these notes, we will fix K and refer to an algebraic K-group as an algebraic group. If the variety G is affine, that is, G is an algebraic set (a Zariski-closed set) in Kn for some natural number n, we say that G is a linear algebraic group. If G and G′ are algebraic groups, a map ϕ : G → G′ is a homomorphism of algebraic groups if ϕ is a morphism of varieties and a group homomorphism. Similarly, ϕ is an isomorphism of algebraic groups if ϕ is an isomorphism of varieties and a group isomorphism. A closed subgroup of an algebraic group is an algebraic group. If H is a closed subgroup of a linear algebraic group G, then G/H can be made into a quasi- projective variety (a variety which is a locally closed subset of some projective space). If H is normal in G, then G/H (with the usual group structure) is a linear algebraic group. Let ϕ : G → G′ be a homomorphism of algebraic groups. Then the kernel of ϕ is a closed subgroup of G and the image of ϕ is a closed subgroup of G.
    [Show full text]
  • Real Group Orbits on Flag Manifolds
    Real group orbits on flag manifolds Dmitri Akhiezer Abstract In this survey, we gather together various results on the action of a real form G0 of a complex semisimple group G on its flag manifolds. We start with the finiteness theorem of J. Wolf implying that at least one of the G0-orbits is open. We give a new proof of the converse statement for real forms of inner type, essentially due to F.M. Malyshev. Namely, if a real form of inner type G0 ⊂ G has an open orbit on a complex algebraic homogeneous space G/H then H is parabolic. In order to prove this, we recall, partly with proofs, some results of A.L. Onishchik on the factorizations of reductive groups. Finally, we discuss the cycle spaces of open G0-orbits and define the crown of a symmetric space of non- compact type. With some exceptions, the cycle space agrees with the crown. We sketch a complex analytic proof of this result, due to G. Fels, A. Huckleberry and J. Wolf. 1 Introduction The first systematic treatment of the orbit structure of a complex flag manifold X = G/P under the action of a real form G0 ⊂ G is due to J. Wolf [38]. Forty years after his paper, these real group orbits and their cycle spaces are still an object of intensive research. We present here some results in this area, together with other related results on transitive and locally transitive actions of Lie groups on complex manifolds. The paper is organized as follows. In Section 2 we prove the celebrated finiteness theorem for G0-orbits on X (Theorem 2.3).
    [Show full text]
  • NON-SPLIT REDUCTIVE GROUPS OVER Z Brian Conrad
    NON-SPLIT REDUCTIVE GROUPS OVER Z Brian Conrad Abstract. | We study the following phenomenon: some non-split connected semisimple Q-groups G admit flat affine Z-group models G with \everywhere good reduction" (i.e., GFp is a connected semisimple Fp-group for every prime p). Moreover, considering such G up to Z-group isomorphism, there can be more than one such G for a given G. This is seen classically for types B and D by using positive-definite quadratic lattices. The study of such Z-groups provides concrete applications of many facets of the theory of reductive groups over rings (scheme of Borel subgroups, auto- morphism scheme, relative non-abelian cohomology, etc.), and it highlights the role of number theory (class field theory, mass formulas, strong approximation, point-counting over finite fields, etc.) in analyzing the possibilities. In part, this is an expository account of [G96]. R´esum´e. | Nous ´etudions le ph´enom`ene suivant : certains Q-groupes G semi-simples connexes non d´eploy´es admettent comme mod`eles des Z-groupes G affines et plats avec \partout bonne r´eduction" (c'est `adire, GFp est un Fp- groupe Q-groupes G pour chaque premier p). En outre, consid´erant de tels G `a Z-groupe isomorphisme pr`es, il y a au plus un tel G pour un G donn´e.Ceci est vu classiquement pour les types B et D en utilisant des r´eseaux quadratiques d´efinis positifs. L'´etude de ces Z-groupes donne lieu `ades applications concr`etes d'aspects multiples, de la th´eorie des groupes r´eductifs sur des anneaux (sch´emas de sous-groupes de Borel, sch´emas d'automorphismes, cohomologie relative non ab´elienne, etc.), et met en ´evidence le r^ole de la th´eorie des nombres (th´eorie du corps de classes, formules de masse, approximation forte, comptage de points sur les corps finis, etc.) dans l'analyse des possibilit´es.En partie, ceci est un article d'exposition sur [G96].
    [Show full text]
  • CUSPIDAL IRREDUCIBLE COMPLEX OR L-MODULAR REPRESENTATIONS of QUATERNIONIC FORMS of P-ADIC CLASSICAL GROUPS for ODD P
    CUSPIDAL IRREDUCIBLE COMPLEX OR l-MODULAR REPRESENTATIONS OF QUATERNIONIC FORMS OF p-ADIC CLASSICAL GROUPS FOR ODD p DANIEL SKODLERACK Abstract. Given a quaternionic form G of a p-adic classical group (p odd) we clas- sify all cuspidal irreducible representations of G with coefficients in an algebraically closed field of characteristic different from p. We prove two theorems: At first: Every irreducible cuspidal representation of G is induced from a cuspidal type, i.e. from a certain irreducible representation of a compact open subgroup of G, constructed from a β-extension and a cuspidal representation of a finite group. Secondly we show that two intertwining cuspidal types of G are up to equivalence conjugate under some ele- ment of G. [11E57][11E95][20G05][22E50] 1. Introduction This work is the third part in a series of three papers, the first two being [35] and [37]. Let F be a non-Archimedean local field with odd residue characteristic p. The construc- tion and classification of cuspidal irreducible representation complex or l-modular of the set of rational points G(F) of a reductive group G defined over F has already been success- fully studied for general linear groups (complex case: [11] Bushnell{Kutzko, [31], [4], [32] Broussous{Secherre{Stevens; modular case: [44] Vigneras, [23] Minguez{Sech´erre)and for p-adic classical groups ([42] Stevens, [21] Kurinczuk{Stevens, [20] Kurinczuk{Stevens joint with the author). In this paper we are generalizing from p-adic classical groups to their quaternionic forms. Let us mention [46] Yu, [15], [16] Fintzen and [19] Kim for results over reductive p-adic groups in general.
    [Show full text]
  • Classification of Special Reductive Groups 11
    CLASSIFICATION OF SPECIAL REDUCTIVE GROUPS ALEXANDER MERKURJEV Abstract. We give a classification of special reductive groups over arbitrary fields that improves a theorem of M. Huruguen. 1. Introduction An algebraic group G over a field F is called special if for every field extension K=F all G-torsors over K are trivial. Examples of special linear groups include: 1. The general linear group GLn, and more generally the group GL1(A) of invertible elements in a central simple F -algebra A; 2. The special linear group SLn and the symplectic group Sp2n; 3. Quasi-trivial tori, and more generally invertible tori (direct factors of quasi-trivial tori). 4. If L=F is a finite separable field extension and G is a special group over L, then the Weil restriction RL=F (G) is a special group over F . A. Grothendieck proved in [3] that a reductive group G over an algebraically closed field is special if and only if the derived subgroup of G is isomorphic to the product of special linear groups and symplectic groups. In [4] M. Huruguen proved the following theorem. Theorem. Let G be a reductive group over a field F . Then G is special if and only if the following three condition hold: (1) The derived subgroup G0 of G is isomorphic to RL=F (SL1(A)) × RK=F (Sp(h)) where L and K are ´etale F -algebras, A an Azumaya algebra over L and h an alternating non-degenerate form over K. (2) The coradical G=G0 of G is an invertible torus.
    [Show full text]
  • Examples of the Atlas of Lie Groups and Representations
    Examples of the Atlas of Lie Groups and Representations Jeffrey Adams September 9, 2007 1 Introduction The Atlas of Lie Groups and Representations is a project in representation theory of real reductive groups. The main goal of the atlas computer soft- ware, currently under development, is to compute the unitary dual of any real reductive Lie group G. As a step in this direction it currently computes the admissible representations of G. The underlying mathematics of the software is described in Algorithms for Representation Theory of Real Reductive Groups [1]. This paper is a com- plement, and contains examples illustrating the algorithm and the software. 1.1 How to read this paper A brief summary of the main constructions and results of Algorithms for Representation Theory of Real Reductive Groups is given in Section 2. We recommend the reader have the paper [1] available. Unexplained notation is as in [1]. We also recommend the reader download the software from the At- las web site, www.liegroups.org; also see the www.liegroups.org/papers. The online help commands are another a useful source of information. The software is currently in an early stage of development (version 0.2.6). There will be substantial changes to the interface for version 1.0, and some additional features, which we hope to release in fall 2008. Most of the changes in the interface will be in the input methods, and we do not expect the format of ouptut to change significantly. 1 We plan to publish a manual for the software at the time version 1.0 is released.
    [Show full text]
  • Supercuspidal Representations of Finite Reductive Groups
    JOURNAL OF ALGEBRA 184, 839]851Ž. 1996 ARTICLE NO. 0287 Supercuspidal Representations of Finite Reductive Groups Gerhard Hiss IWR der Uni¨ersitatÈ Heidelberg, Im Neuenheimer Feld 368, D-69120 Heidelberg, Germany View metadata, citation and similar papersCommunicated at core.ac.uk by Michel Broue brought to you by CORE provided by Elsevier - Publisher Connector Received January 9, 1995 DEDICATED TO MY PARENTS 1. INTRODUCTION A powerful tool in representation theory of finite groups of Lie type is Harish]Chandra induction. It is a method to construct, in a systematic way, representations for the group from those ofŽ. split Levi subgroups. Let G be a finite group of Lie type. An irreducible representationŽ of finite degree over a field containing the <<G th roots of unity. of G is called cuspidal if it does not occur as a subrepresentation of a Harish]Chandra induced representation of a proper Levi subgroup. In order to find all irreducible representations of G, one has to construct the cuspidal repre- sentations of all Levi subgroups first. Then one has to find all irreducible subrepresentations of Harish]Chandra induced cuspidal representations. Some of the cuspidal representations may occur as subquotients of Harish]Chandra induced representations. Following Vigneras, we call an irreducible representation of G super- cuspidal if it does not occur as a subquotient of a Harish]Chandra induced representation of a proper Levi subgroup. Thus, in particular, a supercuspidal representation is cuspidal. If the characteristic of the under- lying field does not divide the order of G, all representations of G are semisimple, so each subquotient is also a subrepresentation.
    [Show full text]
  • Arxiv:2102.03100V1 [Math.NT]
    L The special values of the standard -functions for GSp2n × GL1 Shuji Horinaga, Ameya Pitale, Abhishek Saha, Ralf Schmidt Abstract We prove the expected algebraicity property for the critical L-values of character twists of the standard L-function associated to vector-valued holomorphic Siegel cusp forms of archimedean type (k1, k2,...,kn), where kn ≥ 2n + 2 and all ki are of the same parity. For the proof, we use an explicit integral representation to reduce to arithmetic properties of differential operators on vector-valued nearly holomorphic Siegel cusp forms. We establish these properties via a representation-theoretic approach. Contents 1 Introduction 1 1.1 Notation........................................ 4 2 Lie algebra action and differential operators 5 2.1 Basics on the Lie algebra of Sp2n(R)......................... 6 2.2 Generators for the center of the universal enveloping algebra ........... 7 2.3 Differentialoperators. ..... 8 2.4 The relationship between elements of U(gC) and differential operators . 9 2.5 Scalar and vector-valued automorphic forms . ........... 10 3 Nearly holomorphic Siegel modular forms 14 3.1 Definitionsandbasicproperties . ........ 14 3.2 Nearly holomorphic modular forms and (p−)-finite automorphic forms . 15 3.3 Action of Aut(C).................................... 18 3.4 Arithmeticity of certain differential operators on nearly holomorphic cusp forms . 24 4 Special values of L-functions 28 arXiv:2102.03100v1 [math.NT] 5 Feb 2021 4.1 Automorphicrepresentations . ....... 28 4.2 Classicalandadeliccuspforms . ....... 29 4.3 Eisensteinseries ................................ .... 32 4.4 Algebraicity of critical L-values............................ 32 Bibliography 34 1 Introduction The arithmetic of special values of L-functions is of great interest in modern number theory.
    [Show full text]
  • Whittaker–Fourier Coefficients of Cusp Forms
    WHITTAKER{FOURIER COEFFICIENTS OF CUSP FORMS ZHENGYU MAO Abstract. We report on the work with E. Lapid about a conjecture relating Whittaker- Fourier coefficients of cusp forms to special values of L−functions. Contents 1. Introduction 1 2. Statement of the conjecture 2 3. Some known cases 5 4. Case of classical group and metaplectic group: automorphic descent 6 References 10 1. Introduction Let G be a quasi-split reductive group over a number field F and A the ring of adeles of F . Let B be a Borel subgroup of G defined over F , N the unipotent radical of B and fix a non-degenerate character N of N(A), trivial on N(F ). For a cusp form ' of G(F )nG(A) we consider the Whittaker{Fourier coefficient Z N −1 −1 W(') = W (') := (vol(N(F )nN(A))) '(n) N (n) dn: N(F )nN(A) If π is an irreducible cuspidal representation then W, if non-zero, gives a realization of π in the space of Whittaker functions on G(A), which by local multiplicity one depends only on π as an abstract representation. It therefore provides a useful tool for understanding π, both computationally and conceptually. It is natural to study the size of W('). In [LM15], inspired by the work of Ichino-Ikeda [II10], with E. Lapid we made a conjecture relating the size of W(') with a special L−value of π. In this note, we report on the work with Lapid on this conjecture. In modular form language, the notion of Whittaker-Fourier coefficient is roughly that of Fourier coefficient of a modular form.
    [Show full text]