arxiv: v1 [math.rt] 7 Nov 2018

Transcription

1 arxiv: v1 [math.rt] 7 Nov 218 THE STRUCTURE OF DEENERATE PRINCIPAL SERIES REPRESENTATIONS OF EXCEPTIONAL ROUPS OF TYPE E 6 OVER p-adic FIELDS HEZI HALAWI 1 AND AVNER SEAL 2,3 Abstract. In this paper, we study the reducibility of degenerate principal series of the simple, simply-connected exceptional group of type E 6. Furthermore, we calculate the maximal semi-simple subrepresentation and quotient of these representations. Contents 1. Introduction 1 2. Preliminaries and Notations 3 3. Method Outline 6 4. Degenerate Principal Series Representations of E 6 14 Appendix A. Branching Rules Coming from Small Levi Subgroups 22 Appendix B. Example of Application of Branching Rules to Prove the Irreducibility of I P χ,s) 24 References Introduction One of the main problems in the representation theory of p-adic groups is the question of reducibility and structure of parabolic induction. More precisely, let be a p-adic group and let P be a parabolic subgroup of. Let M denote the Levi subgroup of P and let σ be a smooth irreducible representation of M. One can ask: Is the parabolic induction π = Ind P σ reducible? If the answer to the previous question is positive, what is Jordan-Hölder series of π? In this paper we completely answer the first question for degenerate principal series of the exceptional group of type E 6. We further calculate the maximal semi-simple subrepresentation and quotient of such representations which partially answers the second question. More precisely, let be a simple, split, simply-connected p-adic group of type E 6 and let P be a maximal parabolic subgroup of. For a one-dimensional representation Ω of P, we consider the normalized parabolic induction π = Ind P Ω. We determine for which Ω, π is 21 Mathematics Subject Classification. 22E5, 241, 25. 1

2 DEENERATE PRINCIPAL SERIES OF E 6 2 reducible and its maximal semi-simple subrepresentation and maximal semi-simple quotient. Our main result, Theorem 4.2, is summarized by the following corollary. Corollary 1.1. With the exception of one case, for any maximal Levi subgroup M of of type E 6 ) and any one-dimensional representation Ω of M, if the degenerate principal series representation π = Ind P Ω is reducible, then π admits a unique irreducible subrepresentation and a unique irreducible quotient. In the one exception, up to contragredience, Ω = χ ω 4 ) ω 4 1/2, where ω 4 is the 4 th fundamental weight and χ is a cubic character. In this case, π admits a maximal semi-simple quotient of length 3 and a unique irreducible subrepresentation. Similar studies were performed for both classical and smaller exceptional groups. For example, see: [5,21] for general linear groups. It should be noted that the scope of these works goes beyond degenerate principal series) [12] for symplectic groups. [2, 13] for orthogonal groups. [14] for type 2. [8] for type F 4. The reason that such a study was not preformed for groups of type E n before, is that Weyl groups of these types are extremely big and have complicated structure. For that reason, in Section 3 we describe an algorithm, to calculate the reducibility of degenerate principal series. This algorithm was implemented by us using Sagemath [19]). The study of degenerate principle series for groups of type E 7 and E 8, using the algorithm described in this paper, is a work in progress. This paper is organized as follows: Section 2 introduces the notations used in this paper. Section 3 introduces the algorithm used by us to calculate the reducibility of π = Ind P Ω and the maximal semi-simple subrepresentation and quotient of π. Section 4 begins with a short introduction of the group of and contains our main result, Theorem 4.2, the reducibility of degenerate principal series of E 6, their subrepresentations and their quotients. Appendix A contains a few technical results which are useful in the implementation of the algorithm in Section 3. Appendix B contains an example of the application of the irreducibility test described in Section 3. Acknowledgments. Both authors wish to thank Nadya urevich for many helpful discussion during the course of this work. This research was supported by the Israel Science Foundation, grant number 421/17 Segal).

3 DEENERATE PRINCIPAL SERIES OF E Preliminaries and Notations Let k be a locally-compact non-archimedean field and the group of k-rational points of a split simply-connected reductive algebraic group over k. Fix a Borel subgroup B of with torus T and assume that n = rank). Let Φ denote the set of roots of with respect to T and let denote the set of simple roots with respect to B. Also, let Φ + denote the set of positive roots of with respect to B. For α, let α denote the associated co-character and let ω α denote the associated fundamental weight. Namely, ωα,β = δ α,β α,β, where δ α,β denotes the usual Kronecker delta function on. Let W = W denote the Weyl group of with respect to T, it is generated by simple reflections s α with respect to the simple roots α For Θ, let P Θ denote the associated standard parabolic subgroup of and denote its Levi subgroup by M Θ. In this case, let M = Θ. Let Φ M = Φ Span Z M ) be the set of roots of M with respect to T, Φ + M = Φ+ Φ M be the set of positive roots of M and let ρ M = ρ M = 1 2 α Φ + M be the half-sum of positive roots in M. Also, let W M denote the Weyl group of M relative to T, it is the subgroup of W generated by {s α α M }. For any α we denote L α = M {α} and M α = M \{α}. For a Levi subgroup M of, we denote its complex manifold of characters by XM). As XM) is a commutative group, it is convenient to adopt additive notations for its elements. In particular, for λ XM), λ denotes its inverse. The trivial element in XM) will be denoted by either 1 or. Within XM), we distinct the real and imaginary characters on M, ReXM)) = { λ XM) λ,α R α }, ImXM)) = irexm)). It holds that XM) = ReXM)) ImXM)). For µ XM), we write Reµ) for the projection of µ to ReXM)) and Imµ) for the projection of µ to ImXM)). Let µ XM), and assume that there exists k N such that µ k = 1. We say that µ is of finite order and denote the minimal such k by ordµ), the order of µ. In particular, ord1) = 1 and, for a quadratic character µ, ordµ) = 2. We further denote by X M) the ring of rational characters of M and let a M,C = X M) Z C. One can choose a direct sum complement XM) = a M,C X M,, where the characters in X M, are of finite order. We note that restriction to T gives rise to the following inclusions 2.1) ι M : XM) XT), X M) X T), a M,C a T,C, X M, X T,. α

4 DEENERATE PRINCIPAL SERIES OF E 6 4 The image of these embeddings can be identified by restriction to the derived group M der. Namely, for χ XT) it holds that χ XM) if and only if χ,α = for all α M. Similarly for X M), a M,C and X M,. Recall that a M,C = C n M. We use this identification and write elements of a M,C as vectors in C n M whose basis elements are the fundamental weights ω α for α \ M. In fact, by identify X m k)) with C we may write any element Ω XM) in the form Ω = α \ M Ω α ω α, where Ω α X m k)). Let λ XT). We say that λ is dominant if Re λ,α ) α. In other words, Reλ) is in the closed) positive Weyl chamber. We say that λ is antidominant if λ is dominant. Let M be the Levi subgroup of a parabolic subgroup P of. We recall two functors associating representations of M and. For a representation Ω of M, we denote the normalized parabolic induction of Ω to by i M Ω. In particular, i M : RepM) Rep). For a representation π of, we denote the normalized Jacquet functor of π along P by rm π. In particular, r M : Rep) RepM). These two functors are adjunct to each other, namely they satisfy the Frobenius reciprocity 2.2) Hom π,i M σ ) = HomM r M π,σ ). Note that for a 1-dimensional representation Ω of M, it holds that r M T Ω = ι M Ω) ρ M B M. Inmostofthiswork, weconsiderrepresentationsofagrouph aselementsintherothendieck ring RH) of H. In particular, we write π = π 1 +π 2 if, for any irreducible representation ρ of H, it holds that multρ,π) = multρ,π 1 )+multρ,π 2 ). Here, multρ, π) denotes the multiplicity of ρ in the Jordan-Hölder series of π. Furthermore, we write π π if, for any irreducible representation ρ of H, it holds that multρ,π) mult ρ,π ). Remark 2.1. Both XM) RepM) and RM) are commutative groups of interest here. Furthermore, there is a natural map RepM) RM). And so, elements of XM) can be identified with elements in RM). However, this is not a group homomorphism. Namely, the sum of two characters in XM) is a character in XM), while a sum of two characters in RM) is a two-dimensional representation of M.

5 DEENERATE PRINCIPAL SERIES OF E 6 5 Hence, in order to avoid confusion, given Ω RepM) we will write [Ω] for the image of in RM). In that spirit, we have Ω 1 + Ω 2 XM) is the product of Ω 1 and Ω 2 in XM), i.e. Ω 1 +Ω 2 )m) = Ω 1 m)ω 2 m). n Ω XM) is the character given by n Ω)m) = Ωm n ). Ω is the inverse of Ω XM). While, on the other hand, [Ω 1 ]+[Ω 2 ] is the class, in RM), of the direct sum Ω 1 Ω 2. n [Ω] RM) is the class in RM) of n i=1 Ω. [Ω], with Ω RepM), is a virtual representation. We recall the following fundamental result see [6, lem. 2.12] [7, Theorem 6.3.6]). Lemma 2.2 eometric Lemma). For Levi subgroups L and M of, let W M,L = { w W w Φ + M) Φ +, w Φ + ) L Φ + } be the set of shortest representatives in W of W L \W/W M. For a smooth representation Ω of M, the Jacquet functor rl i MΩ, as an element of RL), is given by: [ 2.3) r L i MΩ ] = [ i L L w rm M Ω], where, for w W M,L, w W M,L M = M w L) L = wm) L. In particular, for an admissible representation Ω of M, the Jacquet functor rt M Ω, as an element of RT), is a finite sum of one-dimensional representations of T. Each such representation is called an exponent of Ω. If λ = rt M Ω is one-dimensional, then λ is said to be the leading exponent of i M Ω. Let M = M \{α} denote the Levi subgroup of a standard maximal parabolic subgroup P of. Any element in XM) is of the form 2.4) Ω M,χ,s = s+χ) ω α, where s C and χ X M,. We denote χ M,s = r T Ω M,χ,s and Note that I P χ,s) = i M Ω M,χ,s. 2.5) I P χ,s) i T χ M,s. In this paper we study the degenerate principal series representations of a the simplyconnected, simple, split group of type E 6. Namely, we study the reducibility of I P χ,s), when P is a maximal parabolic subgroup of. Since the algorithm described in Section 3

6 DEENERATE PRINCIPAL SERIES OF E 6 6 is applicable to other groups, we postpone the discussion on the structure of this group to Section Method Outline In this section we explain the algorithm used to compute the reducibility of degenerate principal series and the mathematical background behinds it. Through out this section, we fix. For a maximal parabolic subgroup P of with Levi subgroup M, s C and χ X M, = XL1, let π = I P χ,s). For any such triple P,s,χ) we wish to determine the reducibility of I P χ,s) and the structure of its maximal semi-simple subrepresentation and quotient. The algorithm we implement for doing this has four parts: 1) For regular I P χ,s) determine whether I P χ,s) is reducible or not. This part is completely determined by the results of [6, 7]. 2) Apply various reducibility criteria for non-regular I P χ,s). 3) Apply an irreducibility test for non-regular I P χ,s) by applying a chain of branching rules which will be introduced in Subsection 3.3). 4) For a reducible representation, determine its maximal semi-simple subrepresentation and quotient. For the convenience of the reader, in framed boxes throughout this section, we outline the way in which we implemented the relevant calculations. Also, we wish to point out that, as it turns out, the results of the following calculations depend on ordχ) but not the particular choice of χ Part I - Regular Case We say that I P χ,s) is regular if Stab W χ M,s ) = {e}. Remark 3.1. We note the following facts regarding stabilizers of elements in XM): The stabilizer of a character λ a T,R is generated by the generalized reflections s β for β Φ orthogonal to λ. If I P χ,s) is non-regular, then the imaginary part must satisfy Ims) 2π Q. Namely, Ims) as an element of XL 1 )) has finite order. In particular, one can assume that s R. SinceStab W χ M,s ) = Stab W Reχ M,s )) Stab W Imχ M,s )),itfollowsthatifi P χ,s) is non-regular, then Stab W Reχ M,s )) is non-trivial. iven M and s R, Stab W χ M,s ) depends only on the order of χ. Note that there are only finitely many triples P,χ,s) such that I P χ,s) is nonregular.

7 DEENERATE PRINCIPAL SERIES OF E 6 7 Calculating non-regular points: In order to find all non-regular I P χ,s) we proceed with the following steps: We start by making a list X all values of s such that Stab W Reχ M,s )) is nontrivial. We do this be listing all s R such that Re χ M,s,α ) = for some α Φ +. We then make a list Y of all values m N such that Stab W Imχ M,s )) is nontrivial. For any w W M,T, we write w ω α ω α = α n α α and let m = gcdn α ) α. We list all the positive divisors m of m. For all candidates s,m) X Y, we check if χ M,s is non-regular, where χ is of order m. Let w W such that w Reχ M,s ) is anti-dominant and denote λ a.d. = w χ M,s. The stabilizer of Reλ a.d. ) is generated by the simple reflections associated with α such that Reλ a.d. ),α =. The imaginary part of λ a.d. is given by Imλ a.d. ) = χ w ω i ). If there exits a non trivial u Stab W Reχ M,s )) such that χ w ω i ) = χ uw ω i ) then I P χ,s) is non-regular. For π = I P χ,s) and a Levi subgroup L of we let its Bernstein-Zelevinsky set to be 3.1) BZ L π) = i L L w τ w W M,L M = M w L) L = wm) L τ rm M Ω M,χ,s ) is irreducible We quote a corollary of [12, Theorem 3.1.2] for this case. Corollary 3.2. The following are equivalent: π = I P χ,s) is irreducible. σ is irreducible for any α and σ BZ Lα π). For a Levi subgroup, L α, of semi-simple rank 1 and an element w W M,Lα the Levi factor L α of L α is either T or L α. The Levi factor M of M is either T or w L α ). More precisely If w α i ) Φ M then L α = L α and M = w L α ). If w α i ) / Φ M then L α = T and M = T. We recall that, for a regular µ XT), i Lα T µ is reducible if and only if µ,α = ±1 since L α has semi-simple rank 1.

8 DEENERATE PRINCIPAL SERIES OF E 6 8 Calculating the regular points of reducibility: First, given α and χ of order m, we calculate all points s R where BZ Lα π) is reducible, where π = i M Ω M,χ,s. By the above discussion, it is given by: { s R α Φ + \Φ+ M : χm,s,α = ±1 } The list of reducible regular degenerate principal series is given by the intersection between this set and the set of s R such that I P χ,s) is regular. We now wish to determine whether a non-regular I P χ,s) is reducible Part II - Reducibility Tests We consider the following reducibility criterion [18, Lemma 3.1]). Lemma 3.3 RC). Let π = i MΩ. Assume there exist smooth representations Π and σ of of finite length and a Levi subgroup L of such that: 1) π Π, σ Π. 2) r L π +r L σ r L Π. 3) r L π r L σ. Then π is reducible and admits a common irreducible subquotient with σ. We also have: Lemma 3.4. For λ a.d. W χ M,s, such that Reλ a.d. ) is anti-dominant, it holds that mult r T π λ a.d.) = #Stab W λ a.d. ). Proof. We first recall an algorithm to find all the reduced Weyl words w W such that, for a given λ a T,R, w λ is in the closed fundamental Weyl chamber. Write λ = n a i ω i. Choose a coordinate i such that a i < and apply the simple reflection s i. Note that, in this case, λ s i λ), namely s i λ λ,α for any α. Repeating this process will produce a reduced Weyl word w = w[i l,...,i 1 ] such that w λ is dominant. Note that if a i <, then s i λ) λ. A similar approach can be used to find all Weyl elements w W so that w λ is in the negative Weyl chamber i.e. anti-dominant). We say that a Weyl element w W starts with s i if lenws i ) < lenw). Write Reχ M,s ) = n a i ω i. As P = P i we have a j = for all i j and a i. By i=1 the above mentioned algorithm, any Weyl word w W such that w Reχ M,s ) is antidominant,starts with s i, as a i > and does not start with s j for j i since a j <. On the other hand, W M,T = {w W lws j ) > lw) j i}. i=1

9 DEENERATE PRINCIPAL SERIES OF E 6 9 It follows that {w W w Reχ M,s ) anti-dominant} W M,T. Remark 3.5. iven two degenerate principal series i M Ω and i M Ω such that W r M Ω W rm Ω it follows that W r M Ω = W r M Ω. Furthermore, Lemma 3.4 implies that for any anti-dominant λ a.d. rt i MΩ it holds that mult r T i M Ωλ a.d.) = mult r T i M Ω λ a.d.) = #Stab W λ a.d. ). In particular, assumption 2) in Lemma 3.3 holds automatically for π = i M Ω, σ = i M Ω and Π = i T r M T Ω ). Namely, π and σ share a common spherical) subquotient. For a given non-regular representation I P χ,s), let v P,χ,s denote the set of all w χ M,s, for w W such that Rew χ M,s ) is anti-dominant. We call the elements of v P,χ,s the anti-dominant exponents of I P χ,s). Implementing the reducibility criterion for non-regular points: We implement the reducibility test in two steps: 1) Consider two triples P,χ.s) and P,χ,s) such that I P χ,s) and I P χ,s ) share an anti-dominant exponent λ a.d.. In order to show that π is reducible, it will be enough to show that π = I P χ,s), σ = I P χ,s ) and Π = Ind B χ M,s satisfy the conditions in RC). Conditions 1) and 2) automatically follow from Equation 2.5) and Lemma 3.4. Condition 3) can be verified using the following methods: If #W,P) > #W,P ), 3) holds. If mult π χ M,s ) > mult σ χ M,s ), 3) holds. If w χ M,s w χ M,s, 3) holds. W M,T W M,T We note here that these tests could be performed to check the reducibility of I P χ,s) and I P χ,s ) simultaneously. Also, we have performed these test at this order, as each test requires more computations than the previous one. 2) For triples P, χ.s) such that reducibility could not be verified using the previous comparisons and irreducibility could not be verified either see Subsection 3.3), we performed the following reducibility test. iven λ W χ M,s and Θ = { α λ,α = }, λ = r M Θ T Ω, with Ω XM Θ ). If the conditions of RC) hold with respect to π = I P χ,s), σ = i M Θ Ω and Π = Ind B χ M,s, then it follows that π is reducible. We note here, that usually, in this case, there is a maximal Levi subgroup M of such that i M M Θ is an irreducible degenerate principal series of M.

10 DEENERATE PRINCIPAL SERIES OF E 6 1 Remark 3.6. For computational reasons, we applied step 2) only after the irreducibility test introduced in Subsection Part III - Irreducibility Test After applying the reducibility test 1) explained above, one is left with a list of triples P,χ,s) such that I P χ,s) is expected to be irreducible. We now explain the method we used to test irreducibility of such representations. The main idea we use to show that π = I P χ,s) is irreducible goes as follows: Let v r T π be an exponent such that Rev) is anti-dominant and let π π be an irreducible representation such that v r T π. The Jacquet functor is exact and hence r T π r T π. If one can show that r T π = r T π e.g. by showing that dim Cr T π #W,P) = dim C r T π), then π = π is irreducible. In order to prove that rt π = rt π we use branching rules. Branching Rules: Let L be a Levi subgroup of and λ rt π such that there exists a unique irreducible representation σ of L such that λ rt L σ. Then the following hold: The multiplicity mult r L T σ λ) divides the multiplicity mult rt λ). π If n = mult r T π λ) mult r Lσ λ) then n [ rt Lσ] [ rt π ]. T Proof. Indeed, write [ r L π ] k = n i [σ i ], where σ i are disjoint irreducible representations of L. Since r T = rl T r L i=1 it follows that [λ] [ r T π ] = k n i [ rt L σ i], Without any loss of generality, λ r L T σ 1. Since σ is the unique irreducible representation of L such that λ r L T σ then: σ 1 = σ. λ r L T σ i for i > 1. mult r T π λ) = n 1 mult r L T σ λ). n 1 [ r L T σ] r T π. i=1 A list of branching rules, which were used by us in Section 4, can be found in Appendix A. These branching rules are associated with Levi subgroups M such that M der is of type A 1,

11 DEENERATE PRINCIPAL SERIES OF E 6 11 A 2, A 3 or D 4. Implementing the irreducibility criterion for non-regular points: We start by choosing an anti-dominant exponent of I P χ,s). Namely, we choose an anti-dominant λ a.d. in rt I P χ,s)). Also, let π π be an irreducible subquotient such that λ a.d. rt π. It follows from Equation A.1) that π is the unique subquotient of π with that property and that Stab W λ a.d. ) λ a.d. rt π. We then create a list of pairs [λ,n λ ], where λ is an exponent of I P χ,s) and n λ is a lower bound on the multiplicity of λ in π. For any λ in the list we check which of the branching rules see Appendix A) can be applied to λ and update the bounds n λ accordingly. The process is terminated when either n λ [λ] = rtπ, λ inwhichcase π = π isirreducible, orthat nomorebranchingrulescan befurtherapplied, in which case the algorithm is inconclusive. Remark 3.7. In Appendix B we give an example of a proof of irreducibility using this algorithm Part IV - Irreducible Quotients and Subrepresentations We now describe the tools used to calculate the maximal semi-simple subrepresentation of π = i MΩ and its maximal semi-simple quotient. First, note that, by contragredience, it is enough to find its maximal semi-simple subrepresentation. Furthermore, note the following bound on its length: Lemma 3.8. For Ω = Ω M,χ,s and π = i M Ω), the number of irreducible subrepresentations of π is bounded by mult π χ M,s ). Proof. We prove that for any irreducible π such that it holds that χ M,s r T π. Note that Hence, π is a subrepresentation of i T χ M,s. On the hand, by Frobenius reciprocity, π π = i MΩ π i M Ω i T χ M,s. Hom π,i T χ M,s) = HomT r T π,χ M,s ). Since the left-hand side is non-trivial, so is the right-hand side. It follows that χ M,s r T π. The claim then follows.

12 DEENERATE PRINCIPAL SERIES OF E 6 12 Corollary 3.9. If Ω = Ω M,χ,s is regular then π = i M Ω) admits a unique irreducible quotient and a unique irreducible subrepresentation. Each of them has multiplicity one in π. We now describe the various methods used by us for calculating the maximal semi-simple subrepresentation of π. Case I: If mult π χ M,s ) = 1, then π = i M Ω) admits a unique irreducible subrepresentation. This subrepresentation, π, appears with multiplicity 1 in π as mult π χ M,s ) = mult π χ M,s ). Implementing Case I: This only requires calculating mult π χ M,s ) and show that it is 1. If that is not the case, we move to the next cases. Remark 3.1. We note here that in all of the relevant cases, if s >, then mult π χ M,s ) = 1 so I P χ,s) admits a unique irreducible subrepresentation. This, in fact, follows directly from [4, Theorem 6.3]. It is thus enough, to consider s. Case II: Assume that m = mult π χ M,s ) and that, using a sequence of branching rules, one can show that there exists an irreducible representation π π of such that m [χ M,s ] [ r T π ]. Then, π = i M Ω) admits a unique irreducible subrepresentation. This subrepresentation, π, appears with multiplicity 1 in π as mult π χ M,s ) = mult π χ M,s ). Implementing Case II: This calculation follows the ideas of Subsection 3.3. Here we do not aim to show that λ n λ [λ] = [ r T π] ; rather we aim to show that n χm,s = mult π χ M,s ). As in the irreducibility criterion, we start with an anti-dominant exponent λ a.d. r T π. Since we assume that s, there is a subrepresentation π of π such that λ a.d. r T π. We then start to apply branching rules on λ a.d.. This computation would terminate if it found that n χm,s = mult π χ M,s ), in which case π is the unique irreducible subrepresentation of π, or if no more branching rules can be further applied, in which case this test is inconclusive. We now describe one more possible case, which occurred in the course of this work. Due to the scarcity of its use, we did not implement it as part of our algorithm. The triples M,s,χ) in which these cases were relevant will be further discussed in Section 4. Case III: Let: M be a Levi subgroup of. M = M M. Ω = r M M Ω

13 Assume that i M M Ω = σ i is semi-simple. By induction in stage, it follows that i M Ω i M i M M Ω ) = i M Ω DEENERATE PRINCIPAL SERIES OF E 6 13 = i M i M M Ω ) = i M σ i Furthermore, assume that each of the i M σ i admits a unique irreducible subrepresentation π i. It follows that the maximal semi-simple subrepresentation of π is a subrepresentation of π i. It remains to determine which of the π i -s is a subrepresentation of π and the equivalencies between them. Both of these can often be done by a comparison of Jacquet modules and multiplicities of certain exponents in them. We finish this section by noting a useful fact, which other sources sometimes refer to as a central character argument. This is, in a sense, a counterpart of Lemma 3.8. Lemma Let π be a smooth irreducible representation of. If λ r T π then π i T λ. Proof. Let ρ = r T π and for any ω : T C let V ω,n = {v V ρt) ωt)) n v = t T}, where V denotes the underlying finite dimensional) vector space of ρ. Furthermore, let V ω, = n 1 V ω,n, V ω = V ω,1. From [7, Proposition 2.1.9] note that Z T = T) it follows that 3.2) V = ω:t C V ω,, where V ω, {} for only finitely many ω. Namely, ρ = i I V ωi,, for a finite set I. By Frobenius reciprocity, Hom π,i T λ) = HomT r T π,λ ) = Hom T ρ,λ) Since λ ρ, it follows that V λ {}. By Equation 3.2), Hom T r T π,λ ) = Hom T ρ i,,λ) = Hom T ρ λ,,λ) {}. i I We conclude that Hom π,i T λ ) {} and hence π i Tλ.

14 DEENERATE PRINCIPAL SERIES OF E Degenerate Principal Series Representations of E 6 Let be the simple, split and simply-connected F-group of type E 6. In this section, we describe the structure of the degenerate principal series of using the algorithm described in Section 3. Namely, we determine the following: All regular reducible degenerate principal series I P χ,s) of. All non-regular degenerate principal series I P χ,s) of. For each non-regular I P χ,s), we determine whether it is reducible or irreducible. For reducible I P χ,s) we determine its maximal semi-simple subrepresentation and quotient. In fact, we show that, with only one exception, all I P χ,s) admit a unique irreducible quotient and a unique irreducible subrepresentation The Exceptional roup of Type E 6 We start by describing the structure of. We consider as a simply-connected Chevalley group of type E 6 see [16, pg. 21]). Namely, we fix a Borel subgroup B whose Levi subgroup is a torus T. This gives rise to a set of 72 roots Φ, containing a set of simple roots = {α 1,α 2,α 3,α 4,α 5,α 6 }. The Dynkin diagram of type E 6 is α2 α1 α3 α4 α5 α6 The group is generated by the symbols {x α r) α Φ r F} subject to the Chevalley-Steinberg relations see [16, pg. 66]). We record the isomorphism classes of standard Levi subgroups M Θ of, with Θ inducing a connected sub-dynkin diagram, in the following lemma. Lemma 4.1. Let Θ induce a connected sub-diagram. Then, Θ is either A n with 1 n 5), D 4 or D 5. Furthermore, M Θ is classified as follows: If Θ is of type A n, with n 4, then M Θ = Ln+1 L 5 n 1. If Θ is of type D 5, then M Θ = Spin1. If Θ is of type D 4, then M Θ = L1 Spin 8. If Θ is of type A 5, then M Θ = µ2 \SL 6 L 1 ) is an algebraic triple cover of L 6. Proof. If Θ is of type D 5, then this is the Levi subgroup of the parabolic subgroup of whose nilradical is Abelian considered in [2]. If Θ is of type D 4 or A n with n 4, this follows from [1] together with the fact that Θ is contained in a sub-dynkin diagram of type D 5. If Θ is of type A 5 this follows from a direct calculation. Let P i denote the maximal standard parabolic subgroup associated to Θ i = \{α i }. Let M i = M αi = M Θi denote the Levi subgroup of P i.

15 DEENERATE PRINCIPAL SERIES OF E 6 15 Let W denote the Weyl group of associated with T. It holds that W = 51,84. The Weyl group W Mi of the maximal Levi subgroup M i has the following cardinality 1,92, if i = 1,6 72, if i = 2 W Mi =. 24, if i = 3,5 72, if i = 4 Hence, the set W Mi,T of minimal representatives of W/W Mi has the following cardinality 27, if i = 1,6 W M i,t = W/WMi = W W Mi = 72, if i = , if i = 3,5 72, if i = 4 Wenoteherethatfora1-dimensional representationωofm i, r T i M i Ωhasdimension W M i,t. We also note here that any λ XT) can be written as the following combination 6 Ω i ω αi. i=1 As a shorthand, we will write ) Ω 4.1) 2 = Ω 1 Ω 3 Ω 4 Ω 5 Ω 6 6 Ω i ω αi. [ ] ) Ω Also, let 2 Ω denote the class in RT) of 2. Ω 1 Ω 3 Ω 4 Ω 5 Ω 6 Ω 1 Ω 3 Ω 4 Ω 5 Ω 6 i= The Degenerate Principal Series of E 6 Before stating the results, we make a few general comments. By contragredience, it is enough to state the results for s. For short, we write [i,s,k] for I P χ,s) with P = P i and χ of order k. By the action of the outer automorphism group,z/2z of DynE 6 ), it is enough to consider the parabolic subgroups P 1, P 2, P 3 and P 4. The results for P 5 and P 6 are similar to those of P 1 and P 3 respectively. Theorem 4.2. For any 1 i 4, all reducible regular I P χ,s) and all non-regular I P χ,s) are given in the following tables.

16 For P = P 1 and P = P 6 : DEENERATE PRINCIPAL SERIES OF E 6 16 ordχ) 1 s For P = P 2 : ordχ) 1 2 s For P = P 3 or P = P 5 : ordχ) 1 2 s For P = P 4 : ordχ) s

17 DEENERATE PRINCIPAL SERIES OF E 6 17 All of the above representations admit a unique irreducible subrepresentation and a unique irreducible quotient, with the exception of [ 4, 1 2,3], in which case I P χ,s) admits a unique irreducible quotient and a maximal semi-simple subrepresentation of the form σ 1 σ 2 σ 3 where the σ i are inequivalent). Furthermore, for all cases, any irreducible subrepresentation or quotient of I P χ,s) appears in I P χ,s) with multiplicity 1. Remark 4.3. We note here that our results for the parabolic subgroup P 1 agree with the results of [2] see page 297). In particular, the unique irreducible subrepresentation, Π min., of I P1 1, 3) is the minimal representation of. By examining the anti-dominant exponent of Π min., one sees that this is also the unique irreducible subrepresentation of I P2 1, 7 2), I P6 1, 3) and I P4 1, 5 2). This fact gives rise to a Siegel-Weil identity between the relevant Eisenstein series at these points see [11, pg. 68]). Proof. We deal with the question of reducibility separately from the calculation of maximal semi-simple subrepresentations. Reducibility For most I P χ,s), the algorithm provided in Section 3 suffices to yield the results stated in the theorem. In particular, reducibility of regular I P χ,s) and irreducibility of non-regular I P χ,s) is completely determined by the tools described there. The branching rules used in this proof are listed in Appendix A. See Appendix B for an example of a proof of the irreducibility of I P χ,s), in the case [1, 2,1], using branching rules. We note that in the case [ 3, 3 2,1], the branching rules supplied in Appendix A did not cover all of rt π. One can still prove irreducibility as will be explained later. Formostnon-regularreducibleI P χ,s),reducibilitycanbedeterminedbyrc)lemma3.3) by setting Π = i T χ M,s and σ being another degenerate principal series. In such a case, we quote one triple [i,s,k] relevant for the proof in the following table. Usually, there is more than one such triple, in which case we recorded only one. A few cases required the application of RC) with respect to an induction from a nonmaximal parabolic M Θ such that Θ = 4. In such a case, we write [[i 1,i 2 ],[s 1,s 2 ],[k 1,k 2 ]] to represent the induction from M = M Θ with Θ = \{α i1,α i2 } with initial exponent +s 1 +k 1 χ) ω αi1 +s 2 +k 2 χ) ω αi2, j i 1,i 2 ω αj where χ is of order k. In this case, again, there is more than one possible choice of data [[i 1,i 2 ],[s 1,s 2 ],[k 1,k 2 ]] that will yield a proof of reducibility; we record only one such choice. The reducibility in the remaining case, [ 4, 1 2,3], follows from the fact that, in that case, I P χ,s) admits a maximal semi-simple subrepresentation of length 3 as will be shown later. For P = P 1

18 DEENERATE PRINCIPAL SERIES OF E 6 18 ordχ) s [6, 3,1] For P = P 2 ordχ) s [1, 3,1] [1,,1] [[1,2],[,],[,]] For P = P 3 ordχ) s [1, 4,1] [6,,1] [ 2, 1 2,1] For P = P 4 ordχ) s [1, 3,1] [ 2, 1 2,1] [3,,1] 2 [3,,2] [ [3,6], [ 1 2, 3 2],[,] ] [ [1,5], [ 1 2, 1 2],[1,1] ] 3 It is left to explain how to prove the irreducibility of π = I P χ,s) in the case [ 3, 1 2,1]. The anti-dominant exponent in this case is given by ) λ a.d. =.

19 DEENERATE PRINCIPAL SERIES OF E 6 19 As mentioned above, applying the branching rules from Appendix A on exponents, starting with λ a.d., doesn t result with the full Jacquet module rt π. Still, irreducibility follows from that calculation, as will be explained now. Let ) ) λ =, λ 1 =, 3 4 denotetheleadingexponentsofπanditscontragredient π. Sincemultλ,π) = multλ 1,π) = 1 it follows that π admits a unique irreducible subrepresentation and a unique irreducible quotient. Let π π be the irreducible subquotient of π such that λ a.d. r T π. Applying the branching rules in Appendix A on λ a.d. yields that λ,λ 1 r T π. Hence, π is both the unique irreducible subrepresentation and the unique irreducible quotient of π. It follows that π = π is irreducible. Subrepresentations For all I P χ,s) with s > regardless of regularity and reducibility), the fact that they admit a unique irreducible subrepresentation follows from Corollary 3.9. By contragredience, I P χ,s), with s, admits a unique irreducible quotient. Using the same reasoning, we see that this quotient appears in I P χ,s) with multiplicity 1. Wenowtreat themaximal semi-simplesubrepresentationofreduciblenon-regulari P χ,s), with s. First of all, note that, by Corollary 3.9, when I P χ,s) is regular, it admits a unique irreducible subrepresentation. When I P χ,s) is non-regular, the fact that I P χ,s) admits a unique irreducible subrepresentation follows from the considerations explained in Subsection 3.4. In the following tables, we list all cases which follow from Case I and Case II or Case III. For points where we used Case III [ 4, 1 2,1] and [ 4, 1 2,3] ), the argument is detailed at the end of this proof. For P = P 1 ordχ) s Case I For P = P 2 ordχ) s Case I Case II Case I

20 DEENERATE PRINCIPAL SERIES OF E 6 2 For P = P 3 ordχ) s Case II Case II Case II For P = P 4 ordχ) s Case II Case II Case II Case III 2 Case II Case II 3 Case III Also, we note that when I P χ,s) admits a unique irreducible subrepresentation, τ, then it is the unique subquotient of I P χ,s) such that rt τ contains an anti-dominant exponent. It follows that τ appears in I P χ,s) with multiplicity 1. Itremains todeal withthecases [ 4, 1 2,1] and [ 4, 1 2,3]. Both calculations are oftheform suggested in Subsection 3.4 as Case III. However, for [ 4, 1 2,1] ) we show that π = I P χ, 1 2 admits a unique irreducible subrepresentation while for [ 4, 1 2,3] we show that the maximal semi-simple subrepresentation is of length 3. Consider π = I P χ, 1 2), where P = P4 and χ = 1. Let M = M 6 and M = M M = M 1,2,3,5. Furthermore, let Ω = rm M Ω, where Ω = Ω M,χ,s, and note that As explained in Subsection 3.4, λ = r M T Ω = r M T Ω = ). 2 i MΩ i M i M M Ω ). We now note that i M M Ω is an irreducible representation of M. This follows from [3, Theorem 5.3]. Alternatively, one can show, using Subsection 3.4, that ) i M M Ω admits a unique irreduciblesubrepresentation. Ontheotherhandi M M Ω = i M M 1 Ω andi M M 1isunitary. It follows that i M M Ω is semi-simple of length 1 and hence it is irreducible.

21 We then note that λ a.d. r M T It follows that DEENERATE PRINCIPAL SERIES OF E 6 21 i M M Ω ) and hence, by Lemma 3.11, i M M Ω i M T λ a.d.. i M Ω i M i M T λ a.d.) = i T λ a.d.. Since i T λ a.d. admits a unique irreducible subrepresentation, then so does i M Ω. Consider π = I P χ, 1 2), where P = P4 and χ is of order 3. We show that the maximal semi-simple subrepresentation of π has length 3. In particular, this proves that π is reducible. The leading exponent in this case is ) ) λ = +χ, 2 1 while ) λ a.d. = +χ is an anti-dominant exponent in rt π. We notethatλ a.d. = w λ andthat N w 42354,λ ) is an isomorphismas acomposition of 5 isomorphisms associated with simple reflections). It follows that I P χ, 1 ) i 2 Tλ a.d.. One checks that Following the analysis in [1,17] we have Stab W λ a.d. ) = w 3165 = Z/3Z. i M 4 T λ a.d. = ξ Z/3Z Since i M 4 σ ξ is a standard module for any ξ Z/3Z, it admits a unique irreducible subrepresentation π ξ. So ξ Z/3Z π ξ is the maximal semi-simple subrepresentation of i T λ a.d.. We prove that it is a subrepresentation of π. Note that and σ ξ. mult r T i T λ a.d. λ a.d.) = 3 mult r T π ξ λ a.d. ) = 1 for any ξ Z/3Z. Namely, these are the only subquotients of i T λ a.d. containing the exponent λ a.d.. Since mult r T π λ a.d.) = 3, ξ Z/3Z π ξ is the maximal semi-simple subrepresentation of π. )

22 Appendices 22 Appendix A. Branching Rules Coming from Small Levi Subgroups In this section, we describe the branching rules see Subsection 3.3) used in Section 4. A branching rule stemming from a Levi subgroups M, whose derived subgroups M der is of type X n will be referred to as an X n -branching rules. We will only record the relevant results on the representation theory of M and the branching rules following from it. For further discussion on the representations of L n for small n, see [15]. We note that since the representations I P χ,s) have cuspidal support on T, then the same holds for all the constituents of r M I P χ,s) for any standard Levi subgroup M of. Namely, r M I P χ,s) does not contain supercuspidals. A.1. olden Rule - Induction from the Trivial Character of the Torus Let π be an irreducible representation of, λ rt π and let We note that λ α α Θ λ and hence We also note that i M Θ λ T Θ λ = { α λ,α = }. i M Θ λ T λ = i M ) Θ λ T 1 λ. 1 is irreducible. On the other hand, [ r M Θ λ T i M Θ λ T )] λ = W MΘλ [λ], and hence i M Θ λ T λ is the unique irreducible representation of M Θλ such that λ r M Θ λ T π. We conclude that A.1) λ r T π = WMΘλ [λ] [ r T π ]. A.2. A 1 -Branching Rules Let M = M {α} be a Levi subgroup of whose derived subgroup M der is isomorphic to SL 2. It follows that i M T λ is irreducible if λ,α ±1. We then have the following A 1 -branching rule: A.2) λ r T π, λ,α ±1 = [λ]+[s α λ] [ r T π].

23 23 A.3. A 2 -Branching Rules Let M = M {α,β} be a Levi subgroup of whose derived subgroup M der is isomorphic to SL 3. Assume that λ,α = ±1 and λ,β =. In such a case, i M T λ has length two. We write i M T λ = σ 1 +σ 2. Up to conjugating induces, we have [ ] r T σ 1 = [λ]+[sβ λ]+[s α s β λ] = 2 [λ]+[s α λ] [ r T σ 2 ] = [sα λ]+[s β s α λ]+[s α s β s α λ] = 2 [s β s α λ]+[s α λ] We then have the following A 2 -branching rule: A.3) λ r Tπ, λ,α = ±1, λ,β = = 2 [λ]+[s α λ] [ r Tπ ]. A.4. A 3 -Branching Rules Let M = M {α,β,γ} be a Levi subgroup of whose derived subgroup M der is isomorphic to SL 4. Assume that β is a neighbor of both α and γ in Dyn), the Dynkin diagram of. Further assume that λ,α = 1, λ,β = and λ,γ =. There exists a unique irreducible representation σ of M such that λ rt σ. Furthermore, it holds that [ r T σ ] = 2 [λ]+[s α λ]+[s γ λ]+2 [s α s γ λ]. We conclude the following A 3 -branching rule: A.4) λ r T π, λ,α = 1, λ,β =, λ,γ = = 2 [λ]+[s α λ]+[s γ λ]+2 [s α s γ λ] [ r T π]. A.5. D 4 -Branching Rules Let M = M {α,β,γ,δ} be a Levi subgroup of whose derived subgroup M der is isomorphic to Spin 8 or SO 8. The representation theory of these groups was studied in [2] and [9]. Assume that β is a neighbor of both α, γ and δ in Dyn) and let w = s β s α s γ s δ s β. Further assume that λ,β = and λ,α = λ,γ = λ,δ =. There exists a unique irreducible representation σ of M such that λ rt σ. Furthermore, it holds that [ r T σ ] = [w w λ)]. w W M {β},t M \{1,s β} We conclude the following D 4 -branching rule:

24 24 A.5) λ rt π, λ,β =, λ,α = λ,γ = λ,δ = = [w w λ)] [ rt σ]. w W M {β},t M \{1,s β} Appendix B. Example of Application of Branching Rules to Prove the Irreducibility of I P χ,s) In this section, we consider a detailed example of the application of branching rules in order to prove the irreducibility of I P1 1, 2). We start by writing the initial exponent of I P1 1, 2): [ ] λ =. 3 The anti-dominant exponent in the W-orbit of λ is [ ] λ a.d. =. Let π be an irreducible representation of such that π I P1 1, 2) and λ a.d. rt π. Note that dim C rt I P 1 1, 2) = 27 and hence dim C rt π 27. In particular, if we show that dim C rt π = 27, then it would follow that π = I P 1 1, 2) is irreducible. We apply branching rules as follows: Since Stab W λ a.d. ) = 4, it follows from Equation A.1) that 4 λ a.d. r T π. Applying the A 2 -branching rules on λ a.d. with respect to the Levi subgroups M {α2,α 4 } or M {α4,α 5 }) and M {α5,α 6 } yields: [ ] [ +2 1 ] rtπ. [ ] Applying, on, the A 1 -branching rule associated to M 2 1 {α3 } yields [ ] r Tπ. Applying the A 1 -branching rule associated to M {α1 } on this exponent yields [ ] 2 r 3 Tπ.

25 [ ] Applying on the A 2 -branching rule associated to M 1 {α2,α 4 } yields [ ] r Tπ. We now apply [ a sequence of A 1 ] -branching rules associated with entries which are not or ±1 on and subsequent exponents. This yields rt π We conclude that 4 λ a.d

26 [ ] + r 7 Tπ 26 Since we have proven that 27 dim C r T π, it follows that π = I P 1 1, 2) is irreducible. References [1] Mahdi Asgari. Local L-functions for split spinor groups. Canad. J. Math., 544): , 22. [2] Dubravka Ban and Chris Jantzen. Degenerate principal series for even-orthogonal groups. Represent. Theory, 7:44 48, 23. [3] Dubravka Ban and Chris Jantzen. Degenerate principal series for even-orthogonal groups. Represent. Theory, 7:44 48 electronic), 23. [4] Dubravka Ban and Chris Jantzen. Jacquet modules and the Langlands classification. Michigan Math. J., 563): , 28. [5] I. N. Bernšteĭn and A. V. Zelevinskiĭ. Representations of the group Ln,F), where F is a local non- Archimedean field. Uspehi Mat. Nauk, )):5 7, [6] I. N. Bernstein and A. V. Zelevinsky. Induced representations of reductive p-adic groups. I. Ann. Sci. École Norm. Sup. 4), 14): , [7] W. Casselman. Introduction to the theory of admissible representations of p-adic reductive groups [8] Seungil Choi and Chris Jantzen. Degenerate principal series for the exceptional p-adic groups of type F 4. J. Lie Theory, 24):785 86, 21. [9] Wee Teck an and ordan Savin. A family of Arthur packets of triality Spin8). Unpublished. [1] S. S. elbart and A. W. Knapp. Irreducible constituents of principal series of SL nk). Duke Math. J., 482): , [11] Hezi Halawi. Poles of Degenerate Eisenstein Series and Siegel-Weil Identities for Exceptional Split roups. PhD thesis, Ben-urion University, 216. [12] Chris Jantzen. Degenerate principal series for symplectic groups. Mem. Amer. Math. Soc., 12488):xiv+111, [13] Chris Jantzen. Degenerate principal series for symplectic and odd-orthogonal groups. Mem. Amer. Math. Soc., 12459):viii+1, [14] oran Muić. The unitary dual of p-adic 2. Duke Math. J., 93): , [15] Avner Segal. Survey on the princiapl series representations of L n for small n. Unpublished. [16] Robert Steinberg. Lectures on Chevalley groups. Yale University, New Haven, Conn., Notes prepared by John Faulkner and Robert Wilson. [17] Marko Tadić. Notes on representations of non-archimedean SLn). Pacific J. Math., 1522): , [18] Marko Tadić. On reducibility of parabolic induction. Israel J. Math., 17:29 91, 1998.

27 27 [19] The Sage Developers. SageMath, the Sage Mathematics Software System Version x.y.z), YYYY. [2] Martin H. Weissman. The Fourier-Jacobi map and small representations. Represent. Theory, 7: electronic), 23. [21] A. V. Zelevinsky. Induced representations of reductive p-adic groups. II. On irreducible representations of Ln). Ann. Sci. École Norm. Sup. 4), 132):165 21, School of Mathematics, Ben urion University of the Negev, POB 653, Be er Sheva 8415, Israel 2 Department of Mathematics, University of British Columbia, Vancouver, BC, V6T 1Z2, Canada 3 Department of Mathematics, Bar Ilan University, Ramat an 5292, Israel address: halawi@math.bgu.ac.il, avners@math.ubc.ca, segalav4@biu.ac.il