
TL;DR
This paper proves a conjecture relating to the structure of standard modules in certain reductive groups, establishing that the unique generic subquotient is a subrepresentation, with implications for classical types.
Contribution
It extends the existence of strategic embeddings for irreducible generic discrete series representations, confirming the conjecture for a broad class of groups.
Findings
Confirmed the conjecture for classical type groups.
Extended results of Moeglin on embeddings.
Established the subrepresentation property for generic subquotients.
Abstract
We prove a conjecture of Casselman and Shahidi stating that the unique irreducible generic subquotient of a standard module is necessarily a subrepresentation for a large class of connected quasi-split reductive groups, in particular for those which have a root system of classical type (or product of such groups). To do so, we prove and use the existence of strategic embeddings for irreducible generic discrete series representations, extending some results of Moeglin.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
The generalized Injectivity conjecture
Sarah Dijols
312 Jingzhai, Tsinghua University, Qinghuqyuan street, Haidian District, Beijing, China
Abstract.
We prove a conjecture of Casselman and Shahidi stating that the unique irreducible generic subquotient of a standard module is necessarily a subrepresentation for a large class of connected quasi-split reductive groups, in particular for those which have a root system of classical type (or product of such groups). To do so, we prove and use the existence of strategic embeddings for irreducible generic discrete series representations, extending some results of Moeglin.
Acknowledgements.
This work is part of the author’s PhD thesis under the supervision of Volker Heiermann, at Aix-Marseille University. The author has benefited from a grant of Agence Nationale de la Recherche with reference ANR-13-BS01-0012 FERPLAY. We are very grateful to Patrick Delorme for a careful reading and detailed comments on various part of this work. We also thank Dan Ciabotaru, Jean-Pierre Labesse, Omer Offen, François Rodier, Allan Silberger, and Marko Tadić for interesting suggestions and discussions. The author would like to express her gratitude to the anonymous referee for her/his very careful reading which helped improve the clarity of exposition.
Key words and phrases:
representations of p-adic groups, Whittaker models, generic subquotients, standard module
1991 Mathematics Subject Classification:
11F70, 22E50
1. Introduction
1.1.
Let be a quasi-split connected reductive group over a non-Archimedean local field of characteristic zero. We assume we are given a standard parabolic subgroup with Levi decomposition as well as an irreducible, tempered, generic representation of . Let now be an element in the dual of the real Lie algebra of the split component of ; we take it in the positive Weyl chamber. The induced representation , called the standard module, has a unique irreducible quotient, , often named the Langlands quotient. Since the representation is generic (for a non-degenerate character of , see the Section 2), i.e. has a Whittaker model, the standard module is also generic. Further, by a result of Rodier [29] any generic induced module has a unique irreducible generic subquotient.
In their paper Casselman and Shahidi [7] conjectured that:
- (A)
is generic if and only if is irreducible. 2. (B)
The unique irreducible generic subquotient of is a subrepresentation.
These questions were originally formulated for real groups by Vogan [38]. Conjecture (B), was resolved in [7] provided the inducing data is cuspidal. Conjecture (A), known as the Standard Module Conjecture, was first proven for classical groups by Muić in [26], and was settled for quasi-split p-adic groups in [18] assuming the Tempered L Function Conjecture proven a few years later in [19].
The second conjecture, known as the Generalized Injectivity Conjecture was proved for classical groups , and for a maximal parabolic subgroup, by Hanzer in [13].
In the present work we prove the Generalized Injectivity Conjecture (Conjecture (B)) for a large class of quasi-split connected reductive groups provided the irreducible components of a certain root system (denoted ) are of type or (see Theorem 1.1 below for a precise statement). Following the terminology of Borel-Wallach [4.10 in [3]], for a standard parabolic subgroup , a tempered representation and , a positive Weyl chamber, is referred as Langlands data, and is the Langlands parameter, see the Definition 2.2 in this manuscript.
We will study the unique irreducible generic subquotient of a standard module and make first the following reductions:
- •
is discrete series representation of the standard Levi subgroup
- •
is a maximal parabolic subgroup.
Then, is written , see the Subsection Notations for a definition of the latter.
Then, our approach has two layers: First, we realize the generic discrete series as a subrepresentation of an induced module for a unitary generic cuspidal representation of (using Proposition 2.5 of [19]), and the parameter is dominant (i.e in some positive closed Weyl chamber) in a sense later made precise; Using induction in stages, we can therefore embed the standard module in .
Let us denote . The unique generic subquotient of the standard module is also the unique generic subquotient in . By a result of Heiermann-Opdam [Proposition 2.5 of [19]], this generic subquotient appears as a subrepresentation of yet another induced representation characterized by a parameter in the closure of some positive Weyl chamber.
In an ideal scenario, and are dominant with respect to (resp. ), i.e. and are in the closed positive Weyl chamber, and we may then build a bijective operator between those two induced representations using the dominance property of the Langlands parameters.
In case the parameter is not in the closure of the positive Weyl chamber, two alternatives procedures are considered: first, another strategic embedding of the irreducible generic subquotient in the representation induced from (relying on extended Moeglin’s Lemmas) when the parameter (which depends on the form of ) has a very specific aspect (this is Proposition 6.4); or (resp. and) showing the intertwining operator between (resp. ) and has non-generic kernel.
1.2.
In order to study a larger framework than the one of classical groups studied in [13], we will use the notion of residual points of the function (the function is the main ingredient of the Plancherel density for p-adic groups (see the Definition 2.1 and Subsection 2.2).
Indeed, as briefly suggested in the previous point, the triple , introduced above, plays a pivotal role in all the arguments developed thereafter, and of particular importance, the parameter is related to the function in the following ways:
- •
When is a residual point for the function (abusively one says that is a residual point once the context is clear), the unique irreducible generic subquotient in the module induced from is discrete series (a result of Heiermann in [15], see Proposition 2.2).
- •
Once the cuspidal representation is fixed, we attach to it the set , a root system in a subspace of defined using the function. More precisely, let be a root in the set of reduced roots of in Lie() and be the centralizer of (the identity component of the kernel of in ). We will consider the set
[TABLE]
It is a subset of which is a root system in a subspace of (cf [35] 3.5) and we suppose the irreducible components of are of type or . Let us denote the Weyl group of .
This is where stands the particularity of our method, to deal with all possible standard modules, we needed an explicit description of this parameter lying in . Thanks to Opdam’s work in the context of affine Hecke algebras and Heiermann’s one in the context of p-adic reductive groups such descriptive approach is made possible. Indeed, we have a bijective correspondence between the following sets explained in Section 4:
The notion of Weighted Dynkin diagram is established and recalled in the Appendix Weighted Dynkin diagrams. We use this correspondence to express the coordinates of the dominant residual point and name this expression of the residual point a residual segment generalizing the classical notion of segments (of Bernstein-Zelevinsky). We associate to such a residual segment set(s) of Jumps (a notion connected to that of Jordan blocks elements in the classical groups setting of Moeglin-Tadić in [23]).
Further, the function is intrinsically related to the intertwining operators mentioned in the previous subsection: A key aspect of this work is an appropriate use of (standard) intertwining operators, more precisely the use of intertwining operators with non-generic kernel. Using the functoriality of induction, it is always possible to reduce the study of intertwining operators to rank one intertwining operators (i.e consider the well-understood intertwining operator between and ); and in particular if is irreducible cuspidal (see Theorem 2.1). At the level of rank one intertwining operator (where is the direct sum of two non-isomorphic representations, see Theorem 2.1), determining the non-genericity of the kernel of the map reduces to a simple condition on the relevant coordinates (i.e the coordinates determined by ) of .
1.3.
Having defined the root system , let us present the main result of this paper:
Theorem 1.1** (Generalized Injectivity conjecture for quasi-split group).**
Let be a quasi-split, connected group defined over a p-adic field (of characteristic zero) such that its root system is of type or (or product of these). Let be the unique irreducible generic subquotient of the standard module , then embeds as a subrepresentation in the standard module .
Theorem 1.2** (Generalized Injectivity conjecture for quasi-split group).**
Let be a quasi-split, connected group defined over a p-adic field (of characteristic zero). Let be the unique irreducible generic subquotient of the standard module , let be an irreducible, generic, cuspidal representation of such that a twist by an unramified real character of is in the cuspidal support of .
Suppose that all the irreducible components of are of type or , then, under certain conditions on the Weyl group of (explained in Section 6.1, in particular Corollary 6.1.1), embeds as a subrepresentation in the standard module .
Theorem 1.1 results from 1.2. The Theorem 1.2 is true when the root system of the group contains components of type provided is irreducible of type . We do not know if an analogue of Corollary 6.1.1 hold for groups whose root systems are of type or . Further, in the exceptional groups of type or , many cases where the cuspidal support of is (generalized principal series) cannot be dealt with the methods proposed in this work, see Section 9 for details.
1.4.
Let us briefly comment on the organisation of this manuscript, therefore giving a general overview of our results and the scheme of proof.
In Section 3, we formulate the problem in an as broad as possible context (any quasi-split reductive p-adic group ) and prove a few results on intertwining operators.
As M.Hanzer in [13], we distinguish two cases: the case of a generic discrete series subquotient, and the case of a non-discrete series generic subquotient. As stated in 1.2, the case of discrete series subquotient corresponds to (in the cuspidal support of the generic discrete series) being a residual point.
As just stated in 1.2, our approach uses the bijection between Weyl group orbits of residual points and weighted Dynkin diagrams as studied in [27] and explained in the Appendix Bala-Carter theory.
Through this approach, we can make explicit the Langlands parameters of subquotients of the representations induced from the generic cuspidal support and classify them using the order on parameters in as given in Chapter XI, Lemma 2.13 in [3]. In particular, the minimal element for this order (in a sense later made precise) characterizes the unique irreducible generic non-discrete series subquotient, see Theorem 5.2.
Although requiring us to get acquainted with the notions of residual points, and then residual segments, our methods have two advantages.
The first is proving the Generalized Injectivity Conjecture for a large class of quasi-split reductive groups (provided a certain construction of the standard Levi subgroup and the irreducible components of to be of type or ; we have verified those conditions when the root system of the quasi-split (hence reductive) group is of type or ), and recovering the results of Hanzer through alternative proofs. In particular, a key ingredient (which was not used by Hanzer in [13]) in our method is an embedding result of Heiermann-Opdam (Proposition 2.1). The second is a self-contained and uniform (in the sense that cases of root systems of type and are all treated in the same proofs) treatment.
Although based on the ideas of Hanzer in [13], our approach includes a much larger class of quasi-split groups and some cases of exceptional groups.
We separate this work into two different problems. The first problem is determining the conditions on so that the unique generic subquotient of with irreducible unitary generic cuspidal representation of a standard Levi is a subrepresentation. The results on this problem are presented in Theorem 6.1.
The second problem is to show that any standard module can be embedded in a module induced from cuspidal generic data, with satisfying one of the conditions mentioned in Theorem 6.1. This is done in the Section 7 and the following.
Regarding the first problem: in the Subsection 6.3, we present an embedding result for the unique irreducible generic discrete series subquotient of the generic standard module (see Proposition 6.4) relying on two extended Moeglin’s Lemmas (see Lemmas 13 and 14) and the result of Heiermann-Opdam (see Proposition 2.1). This embedding and the use of standard intertwining operators with non-generic kernel allow us to prove the Theorem 6.1.
Once achieved the Theorem 6.1, it is rather straightforward to prove the Generalized Injectivity Conjecture for discrete series generic subquotient, first when is a maximal parabolic subgroup and secondly for any parabolic subgroup in Section 7.1.
In Subsection 7.2, we continue with the case of a generic non-discrete series subquotient, and further conclude with the case of the standard module induced from a tempered representation in Corollary 7.2.1 and Corollary 8.3.
The proof of Theorem 1.2 is done in several steps. First, we prove it for the case of an irreducible generic discrete series subquotient assuming discrete series, and irreducible in Proposition 7.1.
We use this latter result for the case of a non-square integrable irreducible generic subquotient in Proposition 7.3; and also for the case of standard modules induced from non-maximal standard parabolic (Theorems 7.1 and 7.2). Then, the case of tempered follows (Corollary 7.2.1). The case of reducible is done in Section 8 and relies on the Appendix Projections of roots systems.
The reader familiar with the work of Bernstein-Zelevinsky on (see [30] or [40]) may want to have a look at the author PhD thesis where we treat independently the case of of type to get a quicker overview on some tools used in this work.
From here, we use the following notations:
Notations*.*
- •
Standard module induced from a maximal parabolic subgroup:
Let for in , and let be a maximal parabolic subgroup of . We denote the half sum of positive roots in ,and for the unique simple root for which is not a root for ,
[TABLE]
(Rather than , in the split case, we could also take the fundamental weight corresponding to ). Since is in (of dimension rank() - rank= 1 since is maximal), and should satisfy for all , the standard module in this case is where such that , and is an irreducible tempered representation of .
- •
For the sake of readability we sometimes denote when the parameter is expressed in terms of residual segments.
- •
Let be an irreducible cuspidal representation of a Levi subgroup in a standard parabolic subgroup , and let be in , we denote the unique irreducible generic discrete series (resp. essentially square-integrable) in the standard module .
We will omit the index when the representation is a representation of : ; often will be written explicitly with residual segments to emphasize the dependency on specific sequences of exponents.
2. Preliminaries
2.1. Basic objects
Throughout this paper we will let be a non-Archimedean local field of characteristic 0. We will denote by the group of -rational points of a quasi-split connected reductive group defined over . We fix a minimal parabolic subgroup (which is a Borel since is quasi-split) with Levi decomposition and a maximal split torus (over ) of . is said to be standard if it contains . More generally, if rather contains , it is said to be semi-standard. Then contains a unique Levi subgroup containing , and is said to be semi-standard. For a semi-standard Levi subgroup , we denote the set of parabolic subgroups with Levi factor .
We denote by the maximal split torus in the center of , the Weyl group of defined with respect to (i.e. ). The choice of determines an order in , and we denote by the longest element in .
If denote the set of roots of with respect to , the choice of also determines the set of positive roots (resp., negative roots, simple roots) which we denote by (resp., , ).
To a subset we associate a standard parabolic subgroup with Levi decomposition , and denote the split component of . We will write for the dual of the real Lie-algebra of , for its complexification and for the positive Weyl chamber in defined with respect to . Further denotes the set of roots of in Lie(). It is a subset of . For any root , we can associate a coroot . For , we denote the subset of positive roots of relative to .
Let be the group of -rational characters of , we have:
[TABLE]
For , , and in , the pairing is given by:
Following [39] we define a map
[TABLE]
such that
[TABLE]
for every -rational character in of , being the cardinality of the residue field of . Then is the extension of this homomorphism to , extended trivially along .
We denote by the group of unramified characters of .
Let us assume that is an admissible complex representation of . We adopt the convention that the isomorphism class of is denoted by . If is in , with , then we write for the representation on the space .
Let be an admissible representation of finite length of , a Levi subgroup containing a minimal Levi subgroup, centralizer of the maximal split torus . Let and be in . Consider the intertwining integral:
[TABLE]
where and denote the unipotent radical of and , respectively.
For in with Re( for all in the defining integral of converges absolutely. Moreover, defined in this way on some open subset of becomes a rational function on ([39] Theorem IV 1.1). Outsides its poles, this defines an element of
[TABLE]
Moreover, for any in , there exists an element in such that is not zero ([39], IV.1 (10))
In particular, for all in an open subset of , and the opposite parabolic subgroup to , we have an intertwining operator
[TABLE]
and for in far away from the walls it is defined by the convergent integral:
[TABLE]
The intertwining operator is meromorphic in and the map is a scalar. Its inverse equals the Harish-Chandra function up to a constant and will be denoted .
Convention*.*
By [32] Sections 3.3 and 1.4, we can fix a non-degenerate character of which, for every Levi subgroup , is compatible with . We will still denote the restriction of to . Every generic representation of becomes generic with respect to after changing the splitting in . Throughout this paper, generic means -generic. When the groups are quasi-split and connected, by a theorem of Rodier, the standard -generic modules have exactly one -generic irreducible subquotient. This unicity will be used in numerous proofs: we will use the name [U] to refer to this result.
2.2. The function
Harish-Chandra’s -function is the main ingredient of the Plancherel density for a p-adic reductive group [39]. It assigns to every discrete series representation of a Levi subgroup a complex number and can be analytically extended to a meromorphic function on the space of essentially square-integrable representations of Levi subgroups.
Let be a parabolic subgroup of a connected reductive group over and an irreducible unitary cuspidal representation of , then the Harish-Chandra’s -function corresponding to defines a meromorphic function , (cf. [15], Proposition 4.1, [34], 1.6) which (in a certain context, see Proposition 4.1 in [15]) can be written:
[TABLE]
where is a meromorphic function without poles and zeroes on and the are non-negative rational numbers such that if and are conjugate. We refer the reader to Sections IV.3 and V.2 of [39] for some further properties of the Harish-Chandra function.
Clearly the function denoted above can be defined with respect to any reductive group , in particular we will use below the functions for a Levi subgroup .
Let be a standard parabolic subgroup. In [16] and [17], with the notations introduced in the Section 3.2.1, the following results are mentioned:
Theorem 2.1** (Harish-Chandra, see [17], 1.2).**
Fix a root and an irreducible cuspidal representation of .
a) If , then there exists a unique (see Casselman’s notes, 7.1 in [6]) non trivial element in so that and .
b) If there exists a unique non trivial element in so and , then is reducible.
If it is reducible, it is the direct sum of two non isomorphic representations.
The function’s factor in this setting is:
[TABLE]
Lemma 1** (Lemma 1.8 in [17]).**
Let , and assume is a standard Levi subgroup of . The operators are meromorphic functions in for unitary cuspidal representation and a parameter in .
The poles of are precisely the zeroes of . Any pole has order one and its residue is bijective. Furthermore, equals up to a multiplicative constant.
Let us summarize the different cases:
- •
If has a pole at ; then, the operators and (which are necessarily both non-zero) cannot be bijective. Indeed, at their product is zero, if any was bijective, it would imply the other is zero.
- •
If has a zero in ; it is Lemma 1 above.
Further by a general result concerning the function, it has one and only one pole on the positive real axis if and only if, for a unitary irreducible cuspidal representation, . Therefore, for each , by definition, there is be one on the positive real axis such that has a pole.
Example 2.1**.**
Consider the group and one of its maximal Levi subgroups . Set with irreducible unitary cuspidal representation of . Then, and it is well known that at , has a pole and the operators and are not bijective.
2.3. Some results on residual points
Let be any parabolic subgroup of , with Levi decomposition . We recall that the parabolic rank of (with respect to ) is , where stands for the semi-simple rank. The following definition will be useful:
Definition 2.1** (residual point).**
A point for an irreducible unitary cuspidal representation of is called a residual point for if
[TABLE]
where appears in the Section 2.2.
Remark*.*
Since the function depends only on a complex variable identified with , for ; once the unitary cuspidal representation is fixed we will freely talk about (rather than ) as a residual point.
The main result of Heiermann in [15] is the following:
Theorem 2.2** (Corollary 8.7 in [15]).**
Let be a parabolic subgroup of , a unitary cuspidal representation of , and in . For the induced representation to have a discrete series subquotient, it is necessary and sufficient for to be a residual point for and the restriction of to (the maximal split component in the center of ) to be a unitary character.
We will also make a crucial use of the following result from [19]:
Proposition 2.1** (Proposition 2.5 in [19]).**
Let be an irreducible generic representation which is a discrete series of . There exists a standard parabolic subgroup of and a unitary generic cuspidal representation of , with such that is a subrepresentation of .
We need the following definition to recall the Langlands’ classification (see for instance [3] Theorem 2.11 or [20]):
Definition 2.2**.**
A set of Langlands data for is a triple with the following properties:
- (1)
is a standard parabolic subgroup of 2. (2)
is in 3. (3)
is (the equivalence class of) an irreducible tempered representation of .
Theorem 2.3** (Langlands’ classification).**
- (1)
Let be a set of Langlands data. Then the induced representation has a unique irreducible quotient, the Langlands quotient denoted 2. (2)
Let be an irreducible admissible representation of . Then there exists a unique triple as in (1) such that . We call this triple the Langlands data, and is called the Langlands parameter of .
Theorem 2.4** (Standard module conjecture proved in [18] and [19]).**
Let , and be an irreducible tempered generic representation of . Denote the Langlands quotient of the induced representation . Then, the representation is generic if and only if is irreducible.
3. Setting and first results on intertwining operators
3.1. The setting
Following [19], let us denote , where are the roots in which are in (with basis ) (see also [28] V.3.13).
With the setting and notations as given at the end of the introduction (see Notations), we consider a generic discrete series of . By the above proposition (Proposition 2.1) there exists a standard parabolic subgroup of , and we could further assume , a cuspidal representation of , Levi subgroup of such that is a generic discrete series that appears as subrepresentation of , with is in the closed positive Weyl chamber relative to , . Moreover, is a residual point for .
By transitivity of induction, we have:
[TABLE]
where satisfies and (Rather than , we could also take the fundamental weight corresponding to , but we will rather follow a convention of Shahidi [see [7]]).
Convention*.*
The reader should note that our standard module is induced from an essentially square integrable representation . The general case of a tempered representation will follow in the Corollary 7.2.1. Throughout this paper, we will adopt the following convention: will denote a discrete series representation, an (irreducible) cuspidal representation. Also following notations (as for instance in [13] or [23]), means is realised as a subquotient of , whereas is stronger, and means it embeds as a subrepresentation.
In the following sections we will study the generic subquotient of and consider the cases where either there exists a discrete series subquotient, or there isn’t and therefore tempered or non-tempered generic (not square integrable) subquotients may occur.
Given a generic discrete series subquotient in , using Proposition 2.1 above, it appears as a generic subrepresentation in some induced representation for in the closure of the positive Weyl chamber with respect to , and irreducible cuspidal generic.
The set-up is summarized in the following diagram:
{\gamma\leq}$${I_{P}^{G}(\tau_{s\tilde{\alpha}})}$${I_{P_{1}}^{G}(\sigma_{\nu+s\tilde{\alpha}})}$${\gamma}$${I_{P^{\prime}}^{G}(\sigma^{\prime}_{\lambda^{\prime}})}
We will investigate the existence of a bijective up-arrow on the right of this diagram.
3.2. Intertwining operators
Lemma 2**.**
Let and be two parabolic subgroups of having the same Levi subgroup .
Then, there exists an isomorphism between the two induced modules and for any irreducible unitary cuspidal representation whenever is dominant for both and .
Proof.
We first assume that and are adjacent (Two parabolic subgroups and are adjacent along if ). We denote the common root of and . is the parabolic subgroup opposite to with Levi subgroup .
We have
[TABLE]
where is the centralizer of (the identity component in the kernel of ) in , a semi-standard Levi subgroup (confer section 1 in [39]), and the same inductive formula holds replacing by . Since is dominant for both and , (since is a root in ), but also since is a root in . Therefore, .
We have in which decomposes as and we write . The dual of the Lie algebra, , is of dimension one (since is a maximal Levi subgroup in ) generated by . If , the projection of on is also zero. That is or is unitary.
Therefore, with unitary, and a unitary character, the representations
[TABLE]
are unitary. Since they trivially satisfy the conditions (i) of Theorem 2.9 in [2] (see also [28] VI.5.4) they have equivalent Jordan-Hölder composition series, and are therefore isomorphic (as unitary representations, having equivalent Jordan-Hölder composition series). Tensoring with preserves the isomorphism between
[TABLE]
That is, there exists an isomorphism between and . The induction of this isomorphism therefore gives an isomorphism between and that we call .
If we further assume that and are not adjacent, but can be connected by a sequence of adjacent parabolic subgroups of , with We have the following set-up :
[TABLE]
Again, under the assumption that is dominant for and , we have and for each in , hence . Therefore, there exists an isomorphism between and denoted . The composition of the isomorphisms will eventually give us the desired isomorphism between and . ∎
Proposition 3.1**.**
Let and be two induced modules with (resp. ) irreducible cuspidal representation of (resp. ), , , sharing a common subquotient, then:
- (1)
There exists an element in such that and have the same Levi subgroup. 2. (2)
If and are dominant for (resp. ), there exists an isomorphism between and
Proof.
First, since the representations and share a common subquotient by Theorem 2.9 in [2], there exists an element in such that , and , where for . The last point follows from the equality .
For the second point, we first apply the map between and which is an isomorphism that sends on
As is dominant for is dominant for , and we can further apply the isomorphism defined in the previous lemma (Lemma 2): (since and have the same Levi subgroup: ), we will therefore have:
[TABLE]
and is the isomorphism given by the composition of and . ∎
3.2.1. Intertwining operators with non-generic kernels
Our objective is to embed an irreducible generic subquotient as a subrepresentation in a module induced from the data knowing it embeds in one with Langlands’ data . Notice that is not necessarily a Langlands data since, as explained in the beginning of Section 4, the parameter is not necessarily in the positive Weyl chamber . If the intertwining operator between those two induced modules has non-generic kernel, the generic subrepresentation will necessarily appear in the image of the intertwining operator, and therefore will appear as a subrepresentation in the induced module with Langlands’ data . We detail the conditions to obtain the non-genericity of the kernel of the intertwining operator.
Proposition 3.2**.**
Let and be two parabolic subgroups of having the same Levi subgroup .
Consider the two induced modules and , and assume is an irreducible generic cuspidal representation and is dominant for and anti-dominant for . Then there exists an intertwining map from to which has non-generic kernel.
Proof.
We first assume that and are adjacent. We denote the common root of and .
We have where is the centralizer of ( the identity component in the kernel of ) in , a semi-standard Levi subgroup (confer Section 1 in [39]), and the same inductive formula holds replacing by . Then, there are two cases: The case of is Lemma 2. If , let us consider the intertwining operator defined in Section 2 between and and assume it is not an isomorphism. The representation being cuspidal, these modules are length two representations by the Corollary 7.1.2 of Casselman’s [6]. Let be the kernel of this intertwining map and the Langlands quotient its image. One has the exact sequences:
[TABLE]
[TABLE]
Further, the projection from
[TABLE]
to
[TABLE]
defines a map whose kernel, , is not generic (by the main result of [18] which proves the Standard module Conjecture). In other words, we have the following exact sequence:
[TABLE]
Inducing from to , one observes that the kernel of the induced map () is the induction of the kernel . Therefore, the kernel of the induced map is non-generic (here, we use the fact that there exists an isomorphism between the Whittaker models of the inducing and the induced representations, using result of [29] and [8]).
Assume now that and are not adjacent, but can be connected by a sequence of adjacent parabolic subgroups of ,
[TABLE]
We have the following set-up :
[TABLE]
Assume that certain maps have a kernel, by the same argument as above their kernels are non-generic and therefore the kernel of the composite map is non-generic. Indeed, we have the next Lemma 3. ∎
Lemma 3**.**
The composition of intertwining operators with non-generic kernel has non-generic kernel.
Proof.
Consider first the composition of two operators, and as follows:
[TABLE]
Clearly, the kernel of the composite () contains the kernel of and the elements in the space of the representation , , such that is in the kernel of .
This means we have the following sequence of homomorphisms:
[TABLE]
pull-back by of element in . The pull-back of a non-generic kernel yields a non-generic subspace in the pre-image. The fact that this sequence is exact is clear except for the surjectivity of the map . But, if , then there exists such that and we have since .
If both and are non-generic, the kernel of () is itself non-generic. Extending the reasoning to a sequence of rank one operators with non-generic kernels yields the result. ∎
We have observed that the nature of intertwining operators rely on the dominance of the parameters and . We now need a more explicit description of these parameters; to do so we will call on a result first presented in [27] in the Hecke algebra context (Theorem Proposition 8.1 in [27], see also Appendix Bala-Carter theory) and further developed in [16].
4. Description of residual points via Bala-Carter
With the notations of Section 3, we will study generic subquotient in induced modules and .
One needs to observe, following the construction of our setting in Section 3, that is in the closed positive Weyl chamber relative to , , whereas is in the positive Weyl chamber , therefore it is not expected that should be in the closure of the positive Weyl chamber .
In particular, let be the only root in which is not in , we may have and therefore for some roots , written as linear combination containing the simple root , we may also have: .
However, by the result presented in Appendix Bala-Carter theory, if is a residual point, it is in the Weyl group orbit of a dominant residual point (i.e. one whose expression can be directly deduced from a weighted Dynkin diagram). We therefore define:
Definition 4.1** (dominant residual point).**
A residual point for an irreducible cuspidal representation is dominant if is in the closed positive Weyl chamber .
Bala-Carter theory allows to describe explicitly the Weyl group orbit of a residual point. In the context of reductive p-adic groups studied in [16] (see in particular Proposition 6.2 in [16]), the fact that lies in the cuspidal support of a discrete series can be translated somehow to the assertion that corresponds to a distinguished nilpotent orbit in the dual of the Lie algebra , and therefore by Proposition .5 (see also [27], Appendices A and B, Proposition 8.1) to a weighted Dynkin diagram. Notice that Proposition .5 requires: to be a semi-simple adjoint group; a certain parameter to equal one for any root in ; further, it concerns only the case of unramified characters.
In the present work we treat the case of weighted Dynkin diagrams of type . The key proposition is Proposition 4.3 below.
Our setting
Recall that in Section 3 we embedded the standard module as follows:
[TABLE]
By hypothesis, is a residual point for .
is in .
Describing explicitly the form of the parameter is essential for two reasons: first, to determine the nature (i.e discrete series, tempered, or non-tempered representations) of the irreducible generic subquotients in the induced module ; secondly, to describe the intertwining operators and in particular the (non)-genericity of their kernels.
We will explain the following correspondences:
[TABLE]
The connection between residual points and roots systems involved for Weighted Dynkin Diagrams require a careful description of the involved participants:
The root system
Let us now recall that the set of representatives in of elements in the quotient group of minimal length in their right classes modulo .
Assume is a unitary cuspidal representation of a Levi subgroup in , and let be the subgroup of stabilizer of . The Weyl group of is , the subgroup of generated by the reflexions .
Proposition 4.1** (3.5 in [35]).**
The set is a root system.
For , let the unique element in which conjugates and . The Weyl group of identifies to the subgroup of generated by reflexions , .
* the unique element in which satisfies .*
Then is the set of coroots of , the duality being that of and .
The set is the set of positive roots for a certain order on .
Remark*.*
An equivalent proposition is proved in [17] (Proposition 1.3). There, the author considers the set of equivalence classes of representations of the form where is an unramified character of . He proves that the set is a root system.
The Weyl group of relative to a maximal split torus in acts on . The previous statement holds replacing by , the subgroup of stabilizer of .
Lemma 4**.**
If is the trivial representation of , the root system is the root system of the group relative to (with length given by the choice of ).
Proof.
Recall that is a root system. Apply this definition to the trivial representation. Clearly, for any , the trivial representation is fixed by any element in , and therefore by satisfying . It is well-known that the induced representation is irreducible; therefore using Harish-Chandra’s Theorem (Theorem 2.1) above, . Then
[TABLE]
∎
In general, the root system is the disjoint union of irreducible or empty components for . This will be detailed in the Subsection 4.4.2.
Proposition 4.2**.**
Let be a quasi-split group whose root system is of type or . Then the irreducible components of are of type or .
Proof.
See the main result of the article [12] recalled in the Appendix Projections of roots systems. ∎
How the root system determines the Weighted Dynkin diagrams to be used in this work
Proposition 4.3**.**
Assume quasi-split over . Let be a Levi subgroup of and a generic irreducible unitary cuspidal representation of . Put . Let
[TABLE]
The set is a root system in a subspace of (cf. Proposition 4.1). Suppose that the irreducible components of are all of type , , or . Denote, for each irreducible component of , by the subspace of generated by , by its dimension and by a basis of (resp. of a vector space of dimension containing if is of type ) so that the elements of the root system are written in this basis as in Bourbaki [4].
For each , there is a unique real number such that, if lies in , then is reducible.
If is of type or , then there is in addition a unique element such that is reducible.
Let be in with real numbers.
Then is in the cuspidal support of a discrete series representation of , if and only if the following two properties are satisfied
(i) ;
(ii) For all , corresponds to the Dynkin diagram of a distinguished parabolic of a simple complex adjoint group of
- type (resp. ) if is of type (resp. );
otherwise:
- of type , if ;
- of type , if .
Proof.
As lies in , lies in the cuspidal support of a discrete series representation of , if and only if it is a residual point of Harish-Chandra’s -function.
Denote the rational character of whose dual pairing with an element of with coordinates
[TABLE]
in the dual basis equals and by the one whose dual pair equals .
The -function decomposes as . By assumption, the function won’t have a pole or zero on except if . This means that
(i) is of the form , ;
(ii) is of the form , , and of type , or ;
(iii) is of the form or and of respectively type or .
Let be a family of real numbers as in the statement of the proposition and put . It follows from Langlands-Shahidi theory (cf. the proof of Theorem 5.1 in [19]) that there is, for each , a real number and , so that:
- If , , then
[TABLE]
where denotes a rational function in , which is regular and non-zero for real .
- If or , then
[TABLE]
with .
Put if is of type and put if is of type or and otherwise . As is in the closure of the positive Weyl chamber, it follows that, for to be a residual point of Harish-Chandra’s -function, it is necessary and sufficient, that for every , one has
[TABLE]
If or , then this is the condition for defining a distinguished nilpotent element in the Lie algebra of an adjoint simple complex group of type , or as in 5.7.5 in [5]. If , one sees that defines a distinguished nilpotent element in the Lie algebra of an adjoint simple complex group of type .
In other words, corresponds to the Dynkin diagram of a distinguished parabolic subgroup of an adjoint simple complex group of type , or , if and is respectively , or [math], and of type if .
∎
Example 4.1** (See also Proposition 1.13 in [17] and the Appendix of the author’s PhD thesis [11]).**
In the context of classical groups, let us spell out the Levi subgroups and cuspidal representations of these Levi considered in the previous proposition:
Let be a standard Levi subgroup of a classical group and a generic irreducible unitary cuspidal representation of .
Then, up to conjugation by an element of , we can assume:
[TABLE]
where is a semi-simple group of absolute rank of the same type as and
[TABLE]
Let us assume , and if .
We identify to and denote the rational character of (identified with ) which sends an element
[TABLE]
to if and to if .
Let be a family of non-negative real numbers, , and for fixed. Then,
[TABLE]
is in the cuspidal support of a discrete series representations of , if and only if the following properties are satisfied:
i) one has for every ;
ii) denote by the unique element in such that the representation of parabolically induced from is reducible (we use the result of Shahidi on reducibility points for generic cuspidal representations).
iii) if, in addition, , the situation can be a little subtler. For instance, in the maximal parabolic case, with and odd, the long Weyl conjugate of is where is a length zero representative of . In particular, if , is not ramified, and no gives reducibility. However, this can still be the support of a discrete series.
Then, for all , corresponds to the Dynkin diagram of a distinguished parabolic subgroup of a simple complex adjoint group of
-
type if ; then
-
type if ; then
-
type if ; then .
For , since , we have .
Then is isomorphic to
[TABLE]
4.1. From weighted Dynkin diagrams to residual segments
The Dynkin diagram of a distinguished parabolic subgroup mentioned in the Proposition 4.3 are also called Weighted Dynkin diagrams: a definition is given in Appendix Bala-Carter theory and their forms in Weighted Dynkin diagrams .
Let a parameter be written in a basis (resp. for type ) (such that this basis is the canonical basis associated to the classical Lie algebra , as in [4] when = ) and assume it is a dominant residual point. As it is dominant, observe that (resp. for type ). Further it corresponds by the previous Proposition (4.3) to a weighted Dynkin diagram of a certain type or (see also Bala-Carter theory presented in Appendix Bala-Carter theory).
Let us explain the following correspondence:
[TABLE]
First, let us explain the following assignment:
[TABLE]
Let us start with a weighted Dynkin diagram of type or . The weights under roots are 2 (respectively 0) which correspond to (respectively 0). See the weighted Dynkin diagrams given in Appendix Weighted Dynkin diagrams. Notice that we abusively use rather than in the product expression, to be consistent with the notations in the weighted Dynkin diagrams.
Using the expressions of in the canonical basis (for instance , , or ), we compute the vector of coordinates with integers or half-integers entries. For instance, for , when , we get , whereas if then . Conversely, let us be given a vector of coordinates with integers or half-integers entries and the type of root system ( or ). Using the relations and for any , we deduce the weights under each root and therefore obtain the weighted Dynkin diagram.
Definition 4.2** (residual segment).**
The residual segment of type associated to the dominant residual point (depending on a fixed irreducible cuspidal representation of ) is the expression in coordinates of this dominant residual point in a particular basis of (the basis such that the roots in the Weighted Dynkin diagram are canonically expressed as in [4]).
It is therefore a decreasing sequence of positive (half)-integers uniquely obtained from a Weighted Dynkin diagram by the aforementioned procedure.
It is uniquely characterized by:
- •
An infinite tuple ( or ( where is the number of times the integer or half-integer value appears in the sequence.
- •
The greatest (half)-integer in the sequence, , such that if it exists.
- •
the greatest integer, , such that, for any , and for any , .
This residual segment uniquely determines the weighted Dynkin diagram of type or from which it originates.
Therefore, the values obtained for the ’s depend on the Weighted Dynkin diagram (see the Appendix Weighted Dynkin diagrams) one observes the following relations:
- •
Type : , or , or . (The regular orbit where for all is a special case)
- •
Type : or ; , (The regular orbit where for all is a special case)
- •
Type :
- (1)
for all and , for all . 2. (2)
or , , n_{0}=\left\{\begin{array}[]{ll}\frac{n_{1}}{2}\leavevmode\nobreak\ \mbox{if}\leavevmode\nobreak\ n_{1}\leavevmode\nobreak\ \mbox{is even}\\ \frac{n_{1}+1}{2}\leavevmode\nobreak\ \mbox{if}\leavevmode\nobreak\ n_{1}\leavevmode\nobreak\ \mbox{is odd}\end{array}\right\}
It will be denoted .
The residual segment of type (we say linear residual segment, referring to the general linear group) is characterized with the same three objects, and also corresponds bijectively to a weighted Dynkin diagram of type . Then it is a decreasing sequence of (not necessarily positive) reals and the infinite tuple given above is (, i.e for all . It is symmetrical around zero.
We will also abusively say linear residual segment for the translated version of a residual segment of type ; i.e if it is not symmetrical around zero.
We usually do not write the commas to separate the (half)-integers in the sequence.
The use of the terminology “segments” is explained through the following example.
An example: Bernstein-Zelevinsky’s segments
Consider the weighted Dynkin diagram of type :
[TABLE]
As for all for all ; the vector of coordinates is therefore a strictly decreasing sequence of real numbers :. Notice the specific font used to write linear residual segment.
The group is an example of reductive group whose root system is of type . We may now recall the notions of segments for as defined in [2], and following the treatment in [30]. We fix an irreducible cuspidal representation , and denote . The representation denotes the parabolically induced representation from .
Definition 4.3** (Segment, Linked segments).**
[Bernstein-Zelevinsky; following [30]] Let . A segment is an isomorphism class of irreducible cuspidal representations of a group , of the form . We denote it .
There is also a notion of intersection and union of two such segments explained in particular in [30]: the intersection of and is written , the union is written .
Let be two segments. We say and are linked if and is a segment.
Once is fixed, a segment is solely characterized by a string of (half)-integers, it seems therefore natural, in analogy with Bernstein-Zelevinsky’s theory, to name any vector corresponding to a dominant residual point and therefore by Proposition 4.3 (see also .5 and [27], Proposition 8.1) to a weighted Dynkin diagram: a residual segment.
Let us define a sequence of representations twisted by decreasing exponents, and notice the difference with the definition of the segment as given in Bernstein-Zelevinsky where the exponents are increasing. The unique irreducible subrepresentation (resp. quotient) of is denoted (resp. ). If it is a subrepresentation, it is essentially square-integrable. Often, we denote it , and more generally for and any two real numbers such that . In the literature, the generalized Steinberg is also denoted , it is the canonical discrete series associated to the segment , for an irreducible cuspidal representation . Often, will simply be denoted .
This is a general phenomenon, since by Theorem 2.2, for any quasi-split reductive group, we associate to any residual segment an essentially square- integrable (resp. discrete series) representation. The well-known example of the Steinberg representation of is also characteristic since the Steinberg is the unique irreducible generic subquotient in the parabolically induced representation .
By Theorems 2.2 and 5.1, combined with Rodier’s result, if the cuspidal support , a residual point, is generic, then the induced representation is generic and the unique irreducible generic subquotient is essentially square integrable. Therefore, the phenomenon presented here with the Steinberg subquotient, occurs more generally. When the generic representation is a dominant residual point, the residual segment corresponding to characterizes the unique irreducible generic discrete series (resp. essentially square integrable) subquotient.
Example 4.2**.**
Consider for instance (see Weighted Dynkin diagrams to understand the relations between the ’s), with :
[TABLE]
We have and therefore . and therefore ; , so . Eventually the vector of coordinates corresponding to a dominant residual point, is
[TABLE]
4.2. Set of Jumps associated to a residual segment
In a following subsection (6.3), we will present certain embeddings of generic discrete series in parabolically induced modules. The proof of these embeddings necessitates to introduce the definition of the set of Jumps associated to a residual segment and therefore, transitively, to an irreducible generic discrete series.
These Jumps compose a finite set, set of Jumps, of (half)-integers ’s, such that the set of integers is of a given parity. In the context of classical groups, the latter set (composed of elements of a given parity) coincides with the Jordan block defined in [23]. We will also use the notion of Jordan block in this subsection.
Let us recall our steps so far.
If we are given , an irreducible generic discrete series of , by Proposition 2.1 and Theorem 2.2, it embeds as a subrepresentation in for a dominant residual point. Further, by the results of [16] (see in particular Proposition 6.2), corresponds to a distinguished unipotent orbit and therefore a weighted Dynkin diagram. Once is fixed (see the Subsection 4 or the introduction for the Definition of ), and assuming it is irreducible, the type of weighted Dynkin diagram is given. All details will be given in Section 4.3. By the previous argumentation (Subsection 4.1), we associate a residual segment to the irreducible generic discrete series .
We illustrate these steps in the following example:
Example 4.3** (classical groups).**
Let be in the cuspidal support of a generic discrete series of a classical group (or its variants) , of rank . First, assume where is a unitary cuspidal representation of , and a generic cuspidal representation of . Using Bala-Carter theory, since is a residual point, it is in the -orbit of a dominant residual point, which corresponds to a weighted Dynkin diagram of type (resp. ) and further the above sequence of exponents is encoded of type (resp. ). The type of weighted diagram only depends on the reducibility point of the induced representation of as explained in Proposition 4.3.
The bijective correspondence between Residual segments and set of Jumps
Let us start with the bijective map:
[TABLE]
The length of a residual segment is the sum of the multiplicities: .
We first write a length residual segment
as a length (resp. ) sequence of exponents (betokening an unramified character of the corresponding classical group, e.g. to corresponds )
[TABLE]
for type only, we add the central zero. It is a decreasing sequence of (for type ) or (for type ) (half)-integers; from the previous Subsection (4.1), the reader has noticed that for .
Then, we decompose this decreasing sequence as a multiset of (resp. for type or for type ) (it is the number of elements in the Jordan block) linear residual segments symmetrical around zero:
(resp.
where is the largest (half)-integer in the above decreasing sequence, is the largest (half)-integer with multiplicity 2, and in general is the largest (half)-integer with multiplicity .
Definition 4.4** (set of Jumps).**
The set of Jumps is the set: (resp. ). As one notices, the terminology comes from the observation that multiplicities at each jump increases by one: .
Let us make a parallel for the reader familiar with Moeglin-Tadić terminology for classical groups [23] (see also Tadić’s notes [36] and [37] for an introductory summary of these notions). In such context the Jordan block of the irreducible discrete series associated to the residual segment (denoted ) is constituted of the integers:
[TABLE]
(resp. ). This is not a complete characterization of a Jordan block: for a correct use of the definition of Jordan block, we should also fix a self-dual irreducible cuspidal representation of a general linear group and an irreducible cuspidal representation of a smaller classical group. We abusively use the terminology Jordan block to define one partition but such partition is only one of the constituents of the Jordan block as defined in [23]. Clearly the Jordan block is a set of distinct odd (resp. even) integers. According to [23], the following condition should also be satisfied: for type (resp. for type ).
Moreover, we are now going to explain there is a canonical way to obtain for a given type (, or ) and a fixed length all distinguished nilpotent orbits, thus all Weighted Dynkin diagrams and therefore all residual segments of these given type and length.
This is given by Bala-Carter theory (see the Appendix Bala-Carter theory and in particular the Theorem .4). First, one should partition the integer (resp. ) into distinct odd (resp. even) integers (given , or there is a finite number of such partitions). Each partition corresponds to a distinguished orbit and further to a dominant residual point, hence a residual segment.
In fact, each partition corresponds to a Jordan block of an irreducible discrete series (whose associated residual segment is ). Let us detail the three cases ( and ).
Let us finally illustrate the following correspondence:
[TABLE]
- •
In case of , the set Jumps of derives easily from the choice of one partition of in distinct odd integers: . Then Jumps of .
Once this set of Jumps identified, one writes the corresponding symmetrical around zero linear segments ’s and by combining and reordering them, form a decreasing sequence of integers of length .
This length sequence is symmetrical around zero, with a length sequence of non-negative elements, a central zero, and the symmetrical sequence of negative elements. The length sequence of positive elements is the residual segment .
- •
Again the case of (by Theorem .4 in Appendix Bala-Carter theory) is partitioned into distinct even integers, each partition corresponds to a distinguished orbit and further to a dominant residual point, hence a residual segment.
The correspondence is the following: to the Jordan block of a generic discrete series, and its associated residual segment :
, for each , one writes . One takes all elements in all these sequences, reorder them to get a decreasing sequence of half-integers. The length sequence of positive half-integers corresponds to residual segment of type .
- •
In case of , let be the Jordan block of a generic discrete series, ; then write the corresponding linear segments ’s, with all these residual segments, form a decreasing sequence of integers of length . This length sequence is symmetrical around zero. The length sequence of positive elements in chosen to form the residual segment .
Example 4.4** ().**
Let us consider one partition of 2.14+1 into distinct odd integers: .
For each odd integer in this partition, write it as and write the corresponding linear residual segments :
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
Re-assembling, we get
[TABLE]
Then, the corresponding residual segment of length 14 (29=2.14+1) is: 54433222111100.
Example 4.5** ().**
Then is 18, and we decompose 18 into distinct even integers: 18; 14+4; 12+4+2; 16+2; 8+6+4, 12+6, 10+8. To each of these partitions corresponds the Weyl group orbit of a residual point and therefore a residual segment. The regular orbit (since the exponents of the associated residual segment form a regular character of the torus) correspond to 18. It is simply
[TABLE]
The half-integer 17/2 is such that 2(17/2) + 1 =18.
Let us consider the third partition, 12+4+2, : 12= 2(11/2) + 1; 4= 2(3/2) + 1; 2 = 2(1/2) + 1. Each even integer gives a strictly decreasing sequence of half-integers (11/2,9/2,7/2,5/2,3/2,1/2); (3/2,1/2); (1/2). Finally, we reorder the nine half-integers obtained as a decreasing sequence :
[TABLE]
Remark*.*
Once given a residual segment, , and its corresponding set of Jumps , one observes that for any , is in the -orbit of this residual segment, where is a linear residual segment and a residual segment of the same type as ().
Therefore, a set of asymmetrical linear segments along with the smallest residual segment of a given type (e.g for type , resp. for type ) or a linear segments (resp. for type ) is in the -orbit of the residual segment .
Clearly, a set of linear symmetrical segments cannot be in the -orbit of the residual segment .
4.3. Application of the theory of residual segments: reformulation of our setting
4.3.1. Reformulation of our setting
Let us come back to our setting (recalled at the beginning of the Section 4).
Let be a Levi subgroup of and a generic irreducible unitary cuspidal representation of . Put (resp. ). The set is a root system in a subspace of (resp. )(cf. [35] 3.5).
Suppose that the irreducible components of are all of type , , or . First assume is irreducible and let us denote its type, and the basis of (following our choice of basis for the root system of ).
We will consider maximal standard Levi subgroups of , , corresponding to sets , for a simple root (here we use the notation to avoid confusion with the roots in ). Since , , or in other words, if we denote the projection of on the orthogonal of in then (see the Appendix Projections of roots systems for precise definition and analysis of this set), and even more then . If is not a extremal root of the Dynkin diagram of , decomposes in two disjoint components.
Remark*.*
The careful reader has already noticed that it is possible that breaks into three components rather than two: in the context is of type and in the above notation is the simple root . In this remark and in the Appendix Projections of roots systems, we rather use the notation to denote the simple roots in ; and their projections on the orthogonal to . By the calculations done in [12], to obtain any root system in for of type , we need either and in to be in ; or only one of them in . In case both of them are in but is not, we are reduced to the case of . Then would be the last root in . Therefore, if , and therefore is irreducible; we treat the conjecture for this case in the Subsection 7.0.1. In the case only one of them (without loss of generality ) is in , the projection has squared norm equal to 3/2. This forbids this root to belong to and therefore to be the root such that is . Indeed as explained in the very beginning of Section 4.3, since the root which is not a root in is not either a root in .
Then, is a disjoint union of two irreducible components of type and , one of which may be empty (if we remove extremal roots from the Dynkin diagram). If we remove , is empty, and is of type , whereas if we remove , is of type and is empty.
Else we assume is not irreducible but a disjoint union of irreducible components or empty components for of type , , or : . Then, the basis of is
[TABLE]
Again, we will consider maximal standard Levi subgroup of , , corresponding to sets .
Then, for an index , is a disjoint union of two irreducible components of type and , one of which may be empty (if is an “extremal” root of the Dynkin diagram of ). If we remove the last simple root, , of the Dynkin diagram, is empty, and is of type , whereas if we remove , is of type and is empty. Therefore, it will be enough to prove our results and statements in the case of irreducible; since in case of reducibility, without loss of generality, we choose a component and the same reasonings apply.
Now, in our setting (see the beginning of the Section 4), is a residual point for . Recall is of rank . Therefore, the residual point is in the cuspidal support of the generic discrete series if and only if (applying Proposition 4.3 above): .
We write and corresponds to residual segments and .
Let us assume that the representation is in the cuspidal support of the essentially square integrable representation of , , where . We add the twist on the linear part (i.e corresponding to ), and therefore is left unchanged and is thus , whereas becomes .
Then, we need to obtain from a residual segment of length and type . Indeed, it is the only option to insure is a residual point (applying Proposition 4.3) for , in particular, since (and therefore writing does not satisfy the requirement of Proposition 4.3).
4.3.2. Cuspidal strings
Assume we remove a non-extremal simple root of the Dynkin diagram, the parameter in the cuspidal support is therefore constituted of a couple of residual segments, one of which is a linear residual segment: , and the other is denoted . It will be convenient to define the cuspidal support to be given by the tuple where is a tuple characterization uniquely the residual segment. We define:
Definition 4.5** (cuspidal string).**
Given two residual segments, strings of integers (or half-integers): . The tuple where is the -tuple
[TABLE]
is named a cuspidal string.
Recall is the Weyl group of the root system .
Definition 4.6** (-cuspidal string).**
Given a tuple where is the -tuple , the set of all three-tuples where is a -tuple in the orbit of is called -cuspidal string.
Remark*.*
These definitions can be extended to include the case of linear residual segments (i.e of type ) : and a residual segment of type or , then the parameter in the cuspidal support will be denoted .
4.4. Application to the case of classical groups
We illustrate in the following subsection how these definitions naturally appear in the context of classical groups.
4.4.1. Unramified principal series
Let be a generic discrete series of , the maximal Levi subgroup in a classical group , is a linear group and is a smaller classical group. It is a tensor product of an essentially square integrable representation of a linear group and an irreducible generic discrete series of a smaller classical group of the same type as .
[TABLE]
111It is worth noting that in the case of the Siegel parabolic for classical groups, is see p7, [31]
. Further, let us assume . The twisted Steinberg is the unique subrepresentation in , whereas .
Therefore,
[TABLE]
4.4.2. The general case
Assume is an irreducible generic essentially square integrable representation of a maximal Levi subgroup of a classical group of rank . Then , with .
We study the cuspidal support of the generic (essentially) square integrable representations and .
By Proposition 2.1, such that:
[TABLE]
where is a semi-simple group of absolute rank of the same type as .
We write the cuspidal representation of and assume the inertial classes of the representations of , , are mutually distinct and if are in the same inertial orbit.
The residual point is dominant: . Applying Proposition 4.3 below with and the root system , we have: where each for is a residual point, corresponding to a residual segment of type .
Further,
[TABLE]
where is the residual segment of type : , and is the linear part of Levi subgroup . Such that eventually: And can be rewritten:
[TABLE]
The character , representation of , can be splitted in two parts and , residual points, giving the discrete series denoted in and in . By a simple computation, it can be shown that the twist will be added on the ’linear part’ of the representation and leaves the semi-simple part (classical part) invariant.
Namely is given by a vector and we add the twist on the first element to get the vector: where each is a residual segment associated to the subsystem .
To use the bijection between orbits of residual points and weighted Dynkin diagrams, one needs to use a certain root system and its associated Weyl group. Then is a tuple of residual segments of different types: . If the parameter is written as a -tuple: , it is dominant if and only if each is dominant with respect to the subsystem .
We have not yet used the genericity property of the cuspidal support. This is where we use Proposition 4.3. The generic representation and the reducibility point of the representation induced from determine the type of the residual segment obtained.
5. Characterization of the unique irreducible generic subquotient in the standard module
5.1.
Let us first outline the results presented in this section. Let us assume that the irreducible generic subquotient in the standard module is not discrete series. We characterize the Langlands parameter of this unique irreducible non-square integrable subquotient using an order on Langlands parameters given in Lemma 5 below: more precisely, in Theorem 5.2, we prove this unique irreducible generic subquotient is identified by its Langlands parameter being minimal for this order.
We then compare Langlands parameters in the Subsection 5.3, and along those results and Theorem 5.2, we will prove a lemma (Lemma 10) in the vein of Zelevinsky’s Theorem at the end of this Section.
Finally, before entering the next section we need to come back on the depiction of the intertwining operators used in our context. This subsection 5.4 on intertwining operators also contains a lemma (Lemma 8) which is crucial in the proof of main Theorem 6.1 in the following Section.
5.2. An order on Langlands’ parameters
Using Langlands’ classification (see Theorem 2.3) and the Standard module conjecture (see Theorem 2.4), we can characterize the unique irreducible generic non-square integrable subquotient, denoted . In particular, on a given cuspidal support, we can characterize the form of the Langlands’ parameter . We introduce the necessary tools and results regarding this theory in this subsection.
To study subquotients in the standard module induced from a maximal parabolic subgroup , , we will use the following well-known lemma from [3]:
Let us recall their definition of the order:
Definition 5.1** (order).**
if for simple roots in and .
Lemma 5** (Borel-Wallach, 2.13 in Chapter XI of [3]).**
Let be Langlands data. If is a constituent of the standard module, and if is the Langlands quotient, then , and equality occurs if and only if is .
We will write this order on Langlands parameters:
[TABLE]
Lemma 6**.**
Let in the canonical basis of . if and only if for any in non- cases. In the case of , one needs to specify for any , and .
Proof.
From the expression in the canonical basis of , we can recover an expression of in the canonical basis of the Lie algebra : .
Let us make explicit :
[TABLE]
[TABLE]
From above We have : except for root system of type , where for index and , and , and for where .
Notice that for , and such that .
Therefore, if and only if for any in non- cases. In the case of , one needs to specify for any , and . ∎
Our next result, Theorem 5.2, will be used in the course of the proof of the Generalized Injectivity Conjecture for non-discrete series subquotients presented in the Sections 7 and 7.2. We use the notations of Section 3. We will need the following theorem:
Theorem 5.1**.**
[Theorem 2.2 of [18]]
Let be a -standard parabolic subgroup of and an irreducible generic cuspidal representation of . If the induced representation has a subquotient which lies in the discrete series of (resp. is tempered) then the unique irreducible generic sub-quotient of lies in the discrete series of (resp. is tempered).
Theorem 5.2**.**
Let be a generic standard module and the Langlands data of its unique irreducible generic subquotient.
If is the Langlands data of any other irreducible subquotient, then . The inequality is strict if the standard module is generic.
In other words, is the smallest Langlands parameter for the order (defined in Lemma 5) among the Langlands parameters of standard modules having as cuspidal support.
Proof.
First using the result of Heiermann-Opdam (in [19]), we let be embedded in with cuspidal support .
Using Langlands’ classification, we write an irreducible generic subquotient of . Then the standard module conjecture claims that .
The first case to consider is a generic standard module . From the unicity of the generic irreducible module with cuspidal support (Rodier’s Theorem, [U]), one sees that . Hence, .
Secondly, if the standard module is any (non-generic) subquotient having as cuspidal support, since this cuspidal support is generic one will see that one can replace by the generic tempered representation with same cuspidal support and conserve the Langlands parameter and we are back to the first case. This is explained in the next paragraph. The lemma follows.
To replace the tempered representation of the argument goes as follows: Since the representation in the cuspidal support of this representation is generic, by Theorem 5.1 the unique irreducible generic representation subquotient in the representation induced from this cuspidal support is tempered. As any representation in the cuspidal support of must lie in the cuspidal support of , any such representation must be conjugated to . That is there exists a Weyl group element such that if then
[TABLE]
Twisting by comes second. Therefore, conjugation by this Weyl group element leaves invariant the Langlands parameter , and and share therefore the same cuspidal support. ∎
5.3. Linear residual segments
Let be a standard module, we call the parameter the Langlands parameter of the standard module. We have seen that this Langlands parameter (the twist) depends only on the linear (not semi-simple) part of the cuspidal support, i.e the linear residual segment.
In this section and the following we use the notation (see the Definition 4.3) to denote a linear residual segment, the underlying irreducible cuspidal representation is implicit. A simple computation gives that if a standard module , where is a maximal parabolic, embeds in for a cuspidal string , then . The parameter is in , but to use Lemma 5 we will need to consider it as an element of .
Then, we say this Langlands parameter is associated to the linear residual segment . In this subsection, we compare Langlands parameters associated to linear residual segments.
Lemma 7**.**
Let be a real number such that .
Splitting a linear residual segment whose associated Langlands parameter is into two segments: yields necessarily a larger Langlands parameter, for the order given in Lemma 5.
Proof.
We write as an element in to be able to use Lemma 5 (i.e the Lemma 5 also applies with ):
[TABLE]
[TABLE]
Therefore, . Since as written in the proof of Lemma 6, one observes that for any , and . Hence, by Lemma 6. ∎
Proposition 5.1**.**
Consider two linear (i.e of type ) residual segments, i.e strictly decreasing sequences of real numbers such that the difference between two consecutive reals is one: . Typically, one could think of decreasing sequences of consecutive integers or consecutive half-integers.
Assume so that they are linked in the terminology of Bernstein-Zelevinsky. Taking intersection and union yield two unlinked residual segments .
Denote the Langlands parameter associated to and , and expressed in the canonical basis associated to the Lie algebra .
Denote the one associated to the two unlinked segments ordered so that .
Then, .
Proof.
Let be two segments with so that the two segments are linked. The associated Langlands parameter is:
[TABLE]
Then taking union and intersection of those two segments gives: or ordered so that . The Langlands parameter will therefore be given by:
- (1)
If :
[TABLE] 2. (2)
If :
[TABLE]
Then the difference equals:
- •
In case (1),
First, . Secondly, since as written in the proof of Lemma 6, one observes that all subsequent are greater or equal to , for .
And
- •
In case (2),
Here .
∎
Proposition 5.2**.**
The Langlands parameter , as defined in the previous Proposition 5.1, is the minimal Langlands parameter for the order given in Lemma 5 on this cuspidal support.
Proof.
Let us consider a decreasing sequence of real numbers such that the difference between two consecutive elements is one: with the following conditions: and all real numbers between and are repeated twice. Let us call this sequence .
We consider the set of tuple of linear segments (strictly decreasing sequence of reals) such that if then the linear segment is placed on the left of , i.e. :
[TABLE]
In this set , let us first consider the special case of a decreasing sequence where each segment is length one and . Then the Langlands parameter is just
Secondly, let us consider the case where all segments are mutually unlinked, then they have to be included in one another. The reader will readily notice that the only option is the following element in :
[TABLE]
Its Langlands parameter is:
Let us show that .
Clearly on the vector : , and one observes that all subsequent are greater or equal to , and is the sum of the elements (counted with multiplicities) in the vector minus , therefore as this sum ends up the same as in the proof of the previous proposition.
Let us show that is the unique, irreducible element obtained in when taking repeatedly intersection and union of any two segments in any element . Let us write an arbitrary as , since we had a certain number of reals repeated twice in , it is clear that some of the are mutually linked.
For our purpose, we write the vector of lengths of the segments in : . Let us assume, without loss of generality, that and are linked. Taking intersection and union, we obtain two unlinked segments and . If , then , and , i.e. the greatest length necessarily increases. Therefore, the potential is increasing, while the number of segments is non-increasing. The process ends when we cannot take anymore intersection and union of linked segments, then the longest segment contains entirely the second longest, this is the element introduced above.
Since at each step (of taking intersection and union of two linked segments) the Langlands parameter of the element is smaller than at the previous step (by Proposition 5.1), it is clear that is the minimal element for the order on Langlands parameter. ∎
Remark*.*
Let us assume we fix the cuspidal representation and two segments . As a result of this proposition, the standard module induced from the unique irreducible generic essentially square integrable representation obtained when taking intersection and union and (i.e. which embeds in ) is irreducible by Theorem 5.2.
5.4. Intertwining operators
In the following result, we play for the first time with cuspidal strings and intertwining operators. We fix a unitary irreducible cuspidal representation of and let and be two elements in some -cuspidal string; i.e, there exists a Weyl group element such that .
For the sake of readability we sometimes denote when the parameter is expressed in terms of residual segments. We would like to study intertwining operators between and . As explained in Section 3 and Proposition 3.2, this operator can be decomposed in rank one operators. Let us recall how one can conclude on the non-genericity of their kernels in the two main cases.
Example 5.1** (Rank one intertwining operators with non-generic kernel).**
Let us assume is irreducible of type or . We fix a unitary irreducible cuspidal representation and let be a simple root in . The element operates on in . In this first example, we illustrate the case where acts as a coordinates’ transposition on written in the standard basis of .
Let us focus on two adjacent elements in the residual segment corresponding to (at the coordinates and ): , let us consider the rank one operator which goes from to . By Proposition 3.2 it is an operator with non-generic kernel if and only if ; Indeed if we denote , then (The action of on leaves fixed the other coordinates of that we simply denote by dots).
Since , by point (a) in Harish-Chandra’s Theorem [Theorem 2.1], there is a unique non-trivial element in such that and which operates as the transposition from to . The rank one operator from to is bijective. Eventually we have shown that the composition of those two which goes from to has non-generic kernel.
If the Weyl group is isomorphic to , the Weyl group element corresponding to is the sign change and we operate this sign change on the latest coordinate of (extreme right of the cuspidal string).
By the same argumentation as in the first example, for , the operator to has non-generic kernel.
Example 5.2**.**
Let be a classical group of rank . Let us take an irreducible unitary generic cuspidal representation of , a standard Levi subgroup of . Let us assume is irreducible of type , and take in , an irreducible unitary cuspidal representation of , and an irreducible unitary cuspidal representation of . Then is:
[TABLE]
The element operates as follows:
[TABLE]
Indeed, for such (which is in ), one checks that property (a) in Theorem 2.1 holds: . This is verified for any . The intertwining operator usually considered in this manuscript is induced by functoriality from the application .
Lemma 8**.**
Let . Fix a unitary irreducible cuspidal representation of a maximal Levi subgroup in a quasi-split reductive group , and two cuspidal strings and in a -cuspidal string (notice that the right end of these are equals with value ). If , the intertwining operator between and has non-generic kernel.
Proof.
In this proof, to detail the operations on cuspidal strings more explicitly we write the residual segments of type defined in Definition 4.2 as:
[TABLE]
where denote the number of times the (half)-integer is repeated. We present the arguments for integers, the proof for half-integers follows the same argumentation.
First, assume , and consider changes on the cuspidal strings
[TABLE]
consisting in permuting successively all elements in with their right hand neighbor, as soon as this right hand neighbor is larger. We incorporate all elements starting with until from the left into the right hand residual segment. The rank one intertwining operators associated to those permutations have non-generic kernel (see Example 5.1); hence the intertwining operator from to as composition of those rank one operators has non-generic kernel.
Assume now and write . Let us show that there exists an intertwining operator with non-generic kernel from the module induced from to the one induced from . The decomposition in rank one operators has the following two steps (the details on the first step are given in the next paragraph):
-
(1)
-
(a)
If From the cuspidal string
[TABLE]
to
[TABLE]
and then to
[TABLE] 2. (b)
If From the cuspidal string
[TABLE]
to
[TABLE]
and then to
[TABLE] 2. (2)
In case (a), from to by the same arguments as in the case treated in the first paragraph of this proof.
We detail the operations in step 1:
- (i)
Starting with , all negative elements in are successively sent to the extreme right of the second residual segment . At each step, the rank one intertwining operator between and where is a negative integer (or half-integer) and has non-generic kernel. 2. (ii)
We use rank one operators of the second type (sign chance of the extreme right element of the cuspidal string). Since they intertwine cuspidal strings where the last element changes from negative to positive, they have non-generic kernels. Then, the positive element is moved up left. The right-hand residual segment goes from
[TABLE]
to
[TABLE]
and then to
[TABLE]
Once changed to positive, permuting successively elements from right to left, one can reorganize the residual segment such as it is a decreasing sequence of (half)-integers. Again intertwining operators following these changes on the cuspidal string have non-generic kernels.
∎
Example 5.3**.**
Consider the cuspidal string (543210-1)(43 322 211 1 0) and the dominant residual point in its -cuspidal string: (54 433 3222 21111 10 0). To the Weyl group element associate an intertwining operator from the module induced with string (534210-1)(43 322 211 1 0) to the one induced with cuspidal-string (54 433 3222 21111 10 0) which has non-generic kernel.
Indeed one will decompose it into transpositions such as (-1,4) to (4,-1) and similarly for any : to .
This process will result in (543210)(43 322 211 1 0 -1). Then one will change the -1 to 1, and by the above the associated rank-one operator also has non-generic kernel. Then use the rank one operators with non-generic kernel such as :.
Then notice that the ’4’, ’3’ and ’2’ in the middle of the sequence can be moved to the left with a sequence of rank one operators with non-generic kernel such as :.
Lemma 9**.**
Let be an ordered sequence of linear segments and let us denote , for any in . This sequence is ordered so that for any in , . Let us assume that for some indices in the linear residual segments are linked.
Let us denote the ordered sequence corresponding to the end of the procedure of taking union and intersection of linked linear residual segments. This sequence is composed of at most unlinked residual segments .
Taking repeatedly intersection and union yields smaller Langlands parameters for the order defined in Lemma 5; and we denote the smallest element for this order, . It corresponds to the sequence as explained in Proposition 5.2.
Then, there exists an intertwining operator with non-generic kernel from the induced module to .
Proof.
Let us first consider the case .
Consider two linear (i.e of type ) residual segments, i.e strictly decreasing sequences of either consecutive integers or consecutive half-integers .
Assume so that they are linked in the terminology of Bernstein-Zelevinsky. Taking intersection and union yield two unlinked linear residual segments : or ordered so that .
As in the proof of Lemma 8, because and also there exists an intertwining operator with non-generic kernel from the module induced with cuspidal support to the one induced with cuspidal support . This intertwining operator is a composition of rank one intertwining operators associated to permutations which have non-generic kernel (see Example 5.1); as composition of those rank one operators, it has non-generic kernel.
Similarly, because , there exists an intertwining operator with non-generic kernel from the module induced with cuspidal support to the one induced with cuspidal support .
Let us now assume the result of this lemma true for linear residual segments. Consequently, there exists an intertwining operator with non-generic kernel from to . In this case and may be linked and taking union and intersection of them yields and and the existence of an intertwining operator with non-generic kernel from to . The latter argument is repeated if and are linked, and so on.
Another case to consider would be with , and linked to . Then, using the irreducibility of the induced from the two segments and , one would interchange them, then deal with the intersection and union of and , obtain and and the existence of an intertwining operator from to .
Since the resulting segments , and are unlinked, we can organize them so that their exponents are ordered. If is linked to any , , we repeat this argument.
Eventually there exists an intertwining operator with non-generic kernel from to , where is the sequence of unlinked segments obtained at the end of the procedure of taking intersection and union. ∎
5.5. A Lemma in the vein of Zelevinsky’s Theorem
Recall this fundamental result of Zelevinsky, for the general linear group, which was also presented as Theorem 5 in [30]. We use the notation introduced in Definition 4.3.
Proposition 5.3** (Zelevinsky, [40], Theorem 9.7).**
If any two segments, , in of the linear group are not linked, we have the irreducibility of and conversely if is irreducible, then all segments are mutually unlinked.
Here, we prove a similar statement in the context of any quasi-split reductive group of type .
Lemma 10**.**
Let be an irreducible generic discrete series of a standard Levi subgroup in a quasi-split reductive group . Let be an irreducible unitary generic cuspidal representation of a standard Levi subgroup in the cuspidal support of . Let us assume is irreducible of rank and type .
Let be ordered such that with , for two real numbers .
Then is a generic standard module embedded in and is composed of residual segments of type .
Let us assume that the segments are mutually unlinked. Then is not a residual point and therefore the unique irreducible generic subquotient of the generic module , is not a discrete series. This irreducible generic subquotient is . In other words, the generic standard module is irreducible. Further, for any reordering of the tuple , which corresponds to an element such that and discrete series of such that and , we have .
Proof.
By the result of Heiermann-Opdam (Proposition 2.1), there exists a standard parabolic subgroup , a unitary cuspidal representation , a parameter such that the generic discrete series embeds in . By Heiermann’s Theorem (see Theorem 2.2), is a residual point so it is composed of residual segments of type . Then twisting by and inducing to , we obtain:
[TABLE]
Let be the unique irreducible generic subquotient of the generic standard module . Then using Langlands’ classification and the standard module conjecture . Assume is discrete series. We apply again the result of Heiermann-Opdam to this generic discrete series to embed in .
As any representation in the cuspidal support of must lie in the cuspidal support of , any such representation much be conjugated to , therefore is in the Weyl group orbit of . Let us consider this Weyl group orbit under the assumption that the segments are unlinked.
Whether the union of any two segments in is not a segment, or the segments are mutually included in one another, it is clear there are no option to take intersections and unions to obtain new linear residual segments. Further, starting with , to generate new elements in its -orbit, one can split the segments . By Lemma 7, this procedure yields necessarily larger Langlands parameters. Therefore, there is no option to reorganize them to obtain residual segments of type such that for some and , for some such that .
The second option is to permute the order of the segments to obtain any other parameter in the Weyl group orbit of . From this , one clearly obtains the parameter as a simple permutation of the tuple .
On the Langlands parameter , which is the unique among the ’s described in the previous paragraph in the Langlands situation (we consider all standard modules ), we can use Theorem 5.2 to conclude that the generic standard module for is irreducible.
Now, we want to show is isomorphic to .
Looking at the cuspidal support, it is clear that there exists a Weyl group element in sending to , and therefore to the Langlands data .
Consider first the case of a maximal parabolic subgroup in . Set , and is a generic discrete series representation. We apply the map between and which is an isomorphism. By definition, the parabolic has Levi . Then, by Lemma 5.4 [1] (see also the Remark 2.10 in [2]) since the Levi subgroups and inducing representations are the same, the Jordan-Hölder composition series of and are the same, and since is irreducible, they are isomorphic and irreducible.
Secondly, consider the case when the two parabolic subgroups and , with Levi subgroup and , are connected by a sequence of adjacent parabolic subgroups of . Using Theorem 5.2 with any Levi subgroup in , in particular a Levi subgroup (containing as a maximal Levi subgroup) shows that the representation is irreducible.
Then, we are in the context of the above paragraph and (the image of the composite of the map with the map ) is irreducible, and isomorphic to .
Let us denote the parabolic subgroup adjacent to along . Induction from to yields that is isomorphic to . Writing the Weyl group element in such that as a product of elementary symmetries , and applying a sequence of intertwining maps as above yields the isomorphism between and . ∎
Remark*.*
For an example, see [2], 2.6.
6. Conditions on the parameter so that the unique irreducible generic subquotient of is a subrepresentation
The goal of this section is to present specific forms of the parameter such that the unique irreducible generic subquotient of with irreducible unitary generic cuspidal representation of any standard Levi is a subrepresentation. There is an obvious choice of parameter satisfying this condition as it is proven in the following Lemma:
Lemma 11**.**
Let be an irreducible generic cuspidal representation of and be a dominant residual point and consider the generic induced module . Its unique irreducible generic square-integrable subquotient is a subrepresentation.
Proof.
From Theorem 2.2, since is a residual point, has a discrete series subquotient. From Rodier’s Theorem, it also has a unique irreducible generic subquotient, denote it .
From Theorem 5.1, this unique irreducible generic subquotient is discrete series. Consider this unique generic discrete series subquotient, by Proposition 2.1, there exists a parabolic subgroup such that , and dominant for . Then the lemma follows from Proposition 3.1 in Section 3. ∎
We need the following definition:
Definition 6.1**.**
Let be in the generic cuspidal support of an irreducible generic discrete series.
Let us denote . Let us assume that , where, for any , is an irreducible component of type .
We say this cuspidal support satisfies the conditions (CS) (given in Proposition 6.1 and Corollary 6.1.1) if:
- •
is irreducible of rank .
- •
If then , where can be different from if is of type .
- •
For any , has fixed cardinal. Furthermore, the interval between any two disjoint consecutive components , is of length one.
Our main result in this section is the following theorem.
Theorem 6.1**.**
Let us consider with irreducible unitary generic cuspidal representation of a standard Levi , and such that satisfies the conditions (see Definition 6.1). Let be the Weyl group of the root system . The unique irreducible generic subquotient of is necessarily a subrepresentation if the parameter is one of the following:
- (1)
If is a residual point:
- (a)
* is a dominant residual point.* 2. (b)
* is a residual point of the form with two consecutive jumps in the Jumps set associated to the dominant residual point in its -orbit.* 3. (c)
* is a residual point of the form such that the dominant residual point in its -orbit has associated Jumps set containing as two consecutive jumps and .* 2. (2)
If is not a residual point
- (a)
* is of the form such that the Langlands’ parameter is minimal for the order on Langlands parameter (see Subsection 5.2)* 2. (b)
If is of the form with in the -orbit of a parameter as in (2).a).
The proof of this theorem given in Subsection 6.4, relies on Moeglin’s extended lemmas and an embedding result (6.4).
6.1. On some conditions on the standard Levi and some relationships between and
Let be a quasi-split reductive group over (resp. a product of such groups) whose root system is of type or , is an irreducible generic discrete series of whose cuspidal support contains the representation of a standard Levi subgroup , where and is an irreducible unitary cuspidal generic representation.
Let
[TABLE]
Let us denote . Then contains simple roots.
Let us denote the set of non-trivial restrictions (or projections) to (resp. to ) of simple roots in such that elements in (roots which are positive for ) are linear combinations of simple roots in .
Let us denote and the simple root in which projects onto in .
As is the cuspidal support of an irreducible discrete series, as explained in the Proposition 4.3, the set is a root system of rank in and its basis, when we set as the set of positive roots for , is .
Proposition 6.1**.**
With the context of the previous paragraphs, let be irreducible. If then , where can be different from if is of type .
Proof.
This is a result of the case-by-case analysis conducted in the independent paper [12], where denotes there the considered in this Proposition. From its definition is a subsystem in . If contains a root system of type , it is clear that the last root, denoted , of this system (which is either the short of long root depending on the chosen reduced system) can be different from if is of type . ∎
We have not included the root in because (as opposed to the context of classical groups) it is possible that there exists an irreducible cuspidal representation such that .
A typical example of the above Proposition (6.1) is when if of type and is of type , then it occurs that contains or whereas contains .
This proposition allows us to use our results on intertwining operators with non-generic kernel (see Proposition 3.2, and Example 5.1).
In the context of Harish-Chandra’s Theorem 2.1, the element denoted corresponds to the element as defined in Chapter 1 in [32].
Let us describe it:
Let be a standard parabolic. Let , . In [32], Shahidi defines as the element in which sends to a subset of but every other root to a negative root.
If , are the longest elements in the Weyl groups of in and , respectively, then . The length of this element in is the difference of the lengths of each element in this composition. Therefore, if a representative of this element in normalizes , since it is of minimal length in its class in the quotient , this representative belongs to .
When is maximal and self-associate (meaning ) then if is the simple root of in Lie(), . In this case , the opposite of for a representative of in .
Remark*.*
Applying the previous paragraph to the context of and , we first observe that . Then, one notices that sends to .
In analogy with the notations of Theorem 2.1, let us denote , we have: , then if is in and is a residual point of type .
By definition, if , by Harish-Chandra’s Theorem 2.1, and , and this means that is a representative in of a Weyl group element sending on .
Corollary 6.1.1**.**
Let be an irreducible cuspidal representation of a standard Levi subgroup and let us assume that is irreducible of rank and type or , then:
- (1)
For any in , . 2. (2)
. 3. (3)
Let (resp. ) be an irreducible cuspidal representation of a standard Levi subgroup (resp. standard Levi subgroup ). Let us assume they are the cuspidal support of the same irreducible discrete series. Then .
Proof.
Point (1):
Let us assume has the form given in Appendix Projections of roots systems, Theorem .5, that is a disjoint union of irreducible components: . Then, let us show that for any in , .
By definition, is a representative in of the element .
Let us first assume that is the restriction of the simple root connecting and , both of type , in the Dynkin diagram of . Then
[TABLE]
The element operates on each component as the longest Weyl group element for that component: it sends to if is the length of the connected component .
In a second time, operates on in a similar fashion, and trivially on each component in .
Secondly, let us assume that is the restriction of the simple root connecting of type and of type or in the Dynkin diagram of .
(since this element simply permutes and multiply by (-1) the simple roots in ), while . Further, acts as (-1) on all the simple roots in .
Eventually, fixes pointwise and sends each root in to another root in . It also fixes pointwise . Therefore, for any in , , hence . Furthermore, since the length of this element is the difference of the lengths of each element in this composition, it is clear that is of minimal length in its class in the quotient , hence this element is in .
Point (2)
Any element in is a representative of minimal length in its class in the quotient . The described above where the elements are a set of generators of . Recall from Proposition 6.1 that and , where can be different from if is of type . Therefore, .
We also recall that in the context of of type and of type or : .
Point (3)
Let us denote , and and assume that and are written as , where, for any , is an irreducible component of type .
Since the cuspidal data are the support of the same irreducible discrete series, by Theorem 2.9 in [2], there exists such that , . Since is isomorphic to , is isomorphic to .
Hence, applying the observations made in the first part of the proof of this Proposition to and , we observe and share the same constraints: their components of type are all of the same cardinal and the interval between any two of these consecutive components is of length one. Also, since is isomorphic to , its last component is of the same type as . Therefore, . Hence . ∎
Remark*.*
This implies that if and are both standard parabolic subgroups such that their Levi subgroups satisfy the conditions of the previous Proposition, they are actually equal.
6.2. A few preliminary results for the proof of Moeglin’s extended lemmas
Let us recall Casselman’s square-integrability criterion as stated in [39] whose proof can be found in ([6],(4.4.6)). Let be a set of simple roots, then , resp., denote the set of in of the following form: with , resp. . Further, denote the Jacquet module of with respect to , and the set of exponents of as defined in Section I.3 in [39].
Proposition 6.2** (Propositions III.1.1 and III.2.2 in [39]).**
Let be an irreducible representation with unitary central character. The following conditions are equivalent:
- (1)
* is square-integrable (resp. tempered);* 2. (2)
for any semi-standard parabolic subgroup of , and for any in , (resp. ). 3. (3)
for any standard parabolic subgroup of , proper and maximal, and for any in , (resp. ).
In the following two lemmas we will apply the previous Proposition as follows:
Proposition 6.3**.**
Let embed in . Let us write the parameter as a vector in the basis (the basis of as chosen in the Definition 4.2, for instance) as for a linear residual segment , and assume . Then is not square-integrable.
Proof.
Indeed, if
[TABLE]
by Frobenius reciprocity, the character appears as exponent of the Jacquet module of with respect to . Let us write as
[TABLE]
it is clear that, for any integer , , and notice there is an index such that . Therefore, using the hypothesis of the Proposition, . But then does not satisfy the requirement of Proposition 6.2 since is negative. ∎
We will also use the following well-known result:
Theorem 6.2** ([28], Theorem VII.2.6).**
Let be a admissible irreducible representation of . Then is tempered if and only if there exists a standard parabolic subgroup of , , and a square integrable irreducible representation of such that is a subrepresentation of .
Lemma 12**.**
Let , and assume , then the elementary intertwining operator associated to is bijective at .
Proof.
Set for , and . Recall we have equals up to a multiplicative constant.
Recall denotes the set of equivalence classes of representations of the form where is an unramified character of . The operator is regular at each unitary representation in (see [39], V.2.3), is itself regular on , since this operator is polynomial on . By the general result mentioned after Lemma 1, the function has a pole at for on the positive real axis, if . Therefore, by definition, since , there is no pole at . Further, since the regular operators and are non-zero at any point, if does not have a pole at , these operators and are bijective. ∎
A consequence of this lemma is that for any root which admits a reduced decomposition without elements in , the intertwining operators associated to are everywhere bijective.
6.3. Extended Moeglin’s Lemmas
In this section and the following the core of our argumentation relies on the form of the parameters ; changes on the form of these parameters are induced by actions of Weyl group elements (see for instance Example 5.2). In fact, the Weyl group operates on and any Weyl group element decomposes in elementary symmetries for . This kind of decomposition is explained in details in I.1.8 of the book [24]. If is in , by Harish-Chandra’s Theorem (Theorem 2.1), ; however recall that for (see Proposition 6.1), we may not have .
The three next lemmas, inspired by Remark 3.2 page 154 and Lemma 5.1 in Moeglin [22] are used in our main embedding Proposition 6.4 (of the irreducible generic discrete series) result.
Recall that in general is the parabolic subgroup associated to the subset , and contains all the roots in . Recall that we denote the simple root in which restricts to in .
Lemma 13**.**
Let be a generic discrete series of a quasi-split reductive group (of type or ) whose cuspidal support satisfies the condition (CS) (see the Definition 6.1).
Let
[TABLE]
This defines the integer .
Let us denote
[TABLE]
Let us assume there exists , and an irreducible generic representation which is the unique generic subquotient of such that
[TABLE]
Let us assume is minimal for this property.
Then is square integrable.
Proof.
Let us first remark that in Equation 6.1 the parameter in is decomposed as
[TABLE]
Let us denote the generic irreducible subquotient in , and let us show that is square integrable.
Assume on the contrary that is not square-integrable.
Then is tempered (but not square integrable) or non-tempered. Langlands’ classification [Theorem 2.3] insures us that is a Langlands quotient for a parabolic subgroup of or equivalently a subrepresentation in , (equivalently , the inequality is strict in the non-tempered case).
This is equivalent to claim there exists an irreducible generic cuspidal representation , (half)-integers with and such that:
[TABLE]
[TABLE]
We have extracted the linear segment out of the segment and named what is left.
Let us justify Equation (6.3): The parameter reads
[TABLE]
[TABLE]
From Equation (6.2)
[TABLE]
Since also embeds as a subrepresentation in , by Theorem 2.9 in [2] (see also [28] VI.5.4) there exists a Weyl group element in such that and . This means we can take in . But we can be more precise on this Weyl group element: from Equation (6.2) and the hypothesis in the statement of the Lemma, we see we can take it in and it leaves the leftmost part of the cuspidal support, , invariant, this element therefore depends on and . We denote this element .
Let
[TABLE]
Now, let us consider two cases. First, let us assume . If the two linear segments are unlinked and the generic subquotient in is irreducible, applying Lemma 10, we can interchange them in the above Equation (6.4) and we reach a contradiction to the Casselman Square Integrability criterion applied to the discrete series (considering its Jacquet module with respect to , see Proposition 6.3 using ).
By Proposition 5.2 and Remark Remark, if the two linear segments are linked the irreducible generic subquotient of embeds in (for some Weyl group element , such that ).
By Lemma 9 there exists an intertwining operator with non generic kernel sending to . Then by [U] in , embeds in .
Therefore, inducing to , we have
[TABLE]
but then since (since ), we reach a contradiction to the Casselman Square Integrability criterion applied to the discrete series (considering its Jacquet module with respect to ).
Secondly, let us assume . The induced representation
[TABLE]
is reducible only if . Then using Proposition 5.2 and Remark Remark, we know that the irreducible generic subquotient of
[TABLE]
should embed in
[TABLE]
(or only in if ).
Applying Lemma 10, we also know that it embeds in (we can interchange the order of the two unlinked segments and ). Then, using Lemma 9 and [U] as above, we embed in .
But does not embed in since is minimal for such (embedding) property.
Therefore, rather embeds in the quotient of .
Then embeds in
[TABLE]
Since , using Proposition 6.3, we reach a contradiction. ∎
Lemma 14**.**
Let be a generic discrete series of whose cuspidal support satisfies the conditions CS (see the Definition 6.1). Let be two consecutive jumps in the set of Jumps of .
Let us assume there exists an irreducible representation of a standard Levi such that
[TABLE]
Then there exists a generic discrete series of such that:
* embeds in with and a residual segment.*
We split the proof in two steps:
Step A
We first need to show that is necessarily tempered following the argumentation given in [22]. Assume on the contrary that is not tempered. Langlands’ classification [Theorem 2.3] insures us that is a subrepresentation in , for a parabolic standard subgroup and
[TABLE]
This is equivalent to claim there exists with , and , a Levi subgroup
[TABLE]
a unitary cuspidal representation in the group orbit of , and the element decomposes as such that:
[TABLE]
[TABLE]
The first equality in the first equation is due to the Standard module conjecture since is generic. The second equation results from the following sequences of equivalences: .
The element in leaves the leftmost part, , invariant.
Then from Equation (6.5) and inducing to :
[TABLE]
We can change to if and only if the two segments and are unlinked (see the Lemma 10). As , this condition is equivalent to .
If we can change, since , we get by Proposition 6.3 a contradiction to the square integrability of .
Assume therefore we cannot change, then the two segments are linked by Proposition 5.1.
Let .
The induced representation
[TABLE]
has a generic submodule which is:
[TABLE]
(for some Weyl group element such that )
We twist these by the character central for , and therefore, by [U]:
Let , we rewrite this as:
[TABLE]
[TABLE]
for some Weyl group element such that .
Further, we have since is negative, and . In this context, the above Lemma 13 claims there exists :
[TABLE]
And then the unique irreducible generic subquotient of is square-integrable, or equivalently is a residual point for (The type is given by ). Further, is a residual point for (type given by ), corresponding to the generic discrete series .
Then the set of Jumps of the residual segment associated to contains the set of Jumps of the residual segment associated to and two more elements and . But then , and this contradicts the fact that and are two consecutive jumps.
We have shown that is necessarily tempered.
Step B
Let be the residual segment canonically associated to a generic discrete series . Let us now denote the greatest integer smaller than in the set of Jumps of . Therefore, the half-integers, and satisfy the conditions of this lemma.
As the representation is tempered, by Theorem 6.2, there exists a standard parabolic subgroup of and a discrete series such that .
Again, as an irreducible generic discrete series representation of a non necessarily maximal Levi subgroup, using the result of Heiermann-Opdam (Proposition 2.1), there exists an irreducible cuspidal representation and a standard parabolic of such that embeds in , where is a residual segment corresponding to an irreducible generic discrete series and along with ’s are linear residual segments for (half)-integers .
Clearly, the point is in .
Then
[TABLE]
Since is standard in which is standard in , there exists a standard parabolic subgroup in , such that, when inducing Equation 6.7, we obtain:
[TABLE]
Let us denote .
Since also embeds as a subrepresentation in , by Theorem 2.9 in [2] (see also [28] VI.5.4) there exists a Weyl group element in such that and .
Since is irreducible and is standard, we have by Point (3) in Corollary 6.1.1 that , and we can take in . Further since and are standard parabolic subgroups of , and is irreducible, they are actually equal (see Remark Remark). Now, by Point (2) in Corollary 6.1.1 any element in is either in or decomposes in elementary symmetries in and and :
[TABLE]
Let us assume we are in the context where . As explained in the first part of Section 6 (see Proposition 6.1), this happens if is of type . Let us apply the bijective operator (see Lemma 12) from to and then the bijective map (the definition of the map has been given in the proof of Proposition 3.1) to .
As explained in Remark Remark, since is a residual point of type . Therefore, we have a bijective map from to . The induction of this bijective map gives a bijective map from to . Hence we may write Equation (6.8) as:
[TABLE]
Let us set , for , two consecutive elements in the set of Jumps of . Therefore, is in the Weyl group orbit of the residual segment associated to : .
Let us show that is in the -orbit of .
One notices that in the tuple of the residual segment the following relations are satisfied:
[TABLE]
[TABLE]
Consequently, when we withdraw from this residual segment, we obtain a segment which cannot be a residual segment since for ; or if , but is now the greatest element in the set of Jumps associated to the segment , so we should have .
Therefore, to obtain a residual point (residual segment ), we need to remove twice .
Then, for any , if we remove twice , and, for all , the relations are still satisfied. As we also remove one zero, we have for , which is compatible with removing twice .
The residual segment left, thus obtained, will be denoted . We have shown that is in the -orbit of .
Since is a residual segment, from the conditions detailed in Equations 6.10 and 6.11 (see also Remark Remark in Section 4.2) no symmetrical linear residual segment can be extracted from to obtain another residual segment such that is in the -orbit of .
So and
[TABLE]
Eventually, using induction in stages Equation (6.7) rewrites:
[TABLE]
and since the two segments and are linked, we can take their union and deduce there exists an irreducible generic essentially square integrable representation of a Levi subgroup in which once induced embeds as a subrepresentation in and therefore by multiplicity one of the irreducible generic piece ([U], see Convention) , , we have:
[TABLE]
Proposition 6.4**.**
Let be a residual segment associated to an irreducible generic discrete series of whose cuspidal support satisfies the conditions CS (see the Definition 6.1).
Let be Jumps of this residual segment. Let be a standard parabolic subgroup, be a unitary irreducible cuspidal representation of such that .
For any , there exists a standard parabolic subgroup with Levi subgroup , residual segment and an irreducible generic essentially square-integrable representation such that embeds as a subrepresentation in
[TABLE]
Proof.
By the result of Heiermann-Opdam [Proposition 2.1] and Lemma 11, to any residual segment we associate the unique irreducible generic discrete series subquotient in .
Then as explained in the Subsection 4.2 this residual segment defines uniquely Jumps : .
Start with the two elements and and consider the following induced representation:
[TABLE]
Let us denote .
The induced representation is a generic induced module.
The form of implies is not necessarily a residual point for . Indeed, the first linear residual segment is certainly a residual segment (of type ), but the second not necessarily.
Let be the unique irreducible generic subquotient of (which exists by Rodier’s Theorem). We have: and .
Assume has an irreducible generic subquotient different from , then and would be two generic irreducible subquotients in contradicting Rodier’s theorem. Hence .
Further, since embeds as a subrepresentation in
[TABLE]
it also has to embed as a subrepresentation in .
Therefore, applying Lemma 14, we conclude there exists a residual segment an essentially square integrable representation such that embeds as a subrepresentation in
[TABLE]
Let us consider now the elements and . As in the proof of Lemma 10, since the linear residual segments and are unlinked, we apply a composite map from the induced representation to . We can interchange the two segments and as in the proof of Lemma 10, applying this intertwining map and inducing to preserves the unique irreducible generic subrepresentation of .
We repeat this argument with
[TABLE]
and further repeat it with all exponents until .
Eventually, the unique irreducible subrepresentation appears as a subrepresentation in .
[TABLE]
Let be the unique irreducible generic subquotient of (which exists by Rodier’s Theorem). We have: and
[TABLE]
Assume has an irreducible generic subquotient different from , then and would be two generic irreducible subquotients in contradicting Rodier’s theorem. Hence . Further, since embeds as a subrepresentation in
[TABLE]
it also embeds as a subrepresentation in .
Hence applying Lemma 14, we conclude there exists a residual segment and an essentially square- integrable representation such that embeds as a subrepresentation in .
Similarly, for any two consecutive elements in the set of Jumps, and , the same argumentation (i.e first embedding as a subrepresentation in using intertwining operators, and conclude with Lemma 14) yields the embedding:
[TABLE]
for an irreducible generic essentially square-integrable representation
[TABLE]
∎
6.4. Proof of the Theorem 6.1
- •
(1)a) is the result of Lemma 11.
- •
(1)b) is the result of Proposition 6.4.
- •
(1)c) Let us denote the unique irreducible generic subquotient in . By Proposition 2.1, there exists a parabolic subgroup such that embeds as a subrepresentation in the induced module , for a dominant residual point for . Let be the dominant (for ) residual point in the -orbit of , then (using Theorem 2.9 in [2] or Theorem VI.5.4 in [28]) is the unique irreducible generic subquotient in , and Proposition 3.1 gives us that these two ( and ) are isomorphic.
The point is a dominant residual point with respect to : and there is a unique element in the orbit of the Weyl group of a residual point which is dominant and is explicitly given by a residual segment using the correspondence of the Subsection 2.5.1. We denote this residual segment. Since , . Hence, .
Since , and is a residual segment, it is clear that is a jump. [Indeed, if you extract a linear residual segment such that from such that what remains is a residual segment, then has to be in the set of Jumps of the residual segment as defined in the Subsection 4.2]. Let us denote the greatest integer smaller than in the set of Jumps. Therefore, the (half)-integers, and satisfy the conditions of Proposition 6.4. We will show below that . Let be a maximal parabolic subgroup, with Levi subgroup , which contains .
Let , for be the generic essentially square integrable representation with cuspidal support associated to the residual segment (in the -orbit of ). It is some discrete series twisted by the Langlands parameter with . By the Proposition 6.4 we can write
[TABLE]
Here, we need to justify that given , for any we have: .
Consider again the residual segment , and observe that by definition the sequence is the longest linear segment with greatest (half)-integer that one can withdraw from such that the remaining segment is a residual segment of the same type and is in the Weyl group orbit of .
Further, this is true for any couple of elements in the set of Jumps associated to the residual segment . It is therefore clear that given and such that is the smallest positive (half)-integers as possible, we have and is necessarily greater or equal to .
Once this embedding is given, using Lemma 8, there exists an intertwining operator with non-generic kernel from the induced module given in Equation (6.13) to any other induced module from the cuspidal support with .
Therefore,
- •
(2)a) Since is not a residual point, the generic subquotient is non-discrete series. By Langlands’ classification, Theorem 2.3, and the Standard module conjecture, it has the form . By Theorem 5.2, corresponds to the minimal Langlands parameter (this notion was introduced in the Theorem 2.3) for a given cuspidal support.
For an explicit description of the parameter , given the cuspidal string , the reader is encouraged to read the analysis conducted in the Appendix of the author’s thesis manuscript [11].
The representation (e.g. in the context of classical groups, for a given integer ) corresponds to a cuspidal string , and cuspidal representation , that is:
[TABLE]
By the Theorem 2.9 in [2], we know the cuspidal data and are conjugated by an element .
By Corollary 6.1.1 and since and are standard parabolic subgroups (see Remark Remark), we have , . Any element in decomposes in elementary symmetries with elements in and :
[TABLE]
Let us assume we are in the context where . As explained in the first part of Section 6.3, this happens if is of type .
Let us apply the bijective operator (see Lemma 12) from to and then the bijective map (the definition of the map has been given in the proof of 3.1) to . As explained in Remark Remark, since is a residual point of type . Therefore, we have a bijective map from to . The induction of this bijective map gives a bijective map from to .
- •
(2)b) Assume now that we consider a tempered or non-tempered subquotient in . We first apply the argumentation developed in the previous point (2)a) to embed it in . Then it is enough to understand how one passes from the cuspidal string to to understand the strategy for embedding the unique irreducible generic subquotient as a subrepresentation .
Starting from , to minimize the Langlands parameter , we usually remove elements at the end of the first segment (i.e. the segment to insert them on the second residual segment, or we enlarge the first segment on the right. This means either , or , or both.
If , and , in particular if , we have a non-generic kernel operator between and as proved in Lemma 8.
6.5. An order on the cuspidal strings in a -orbit
It is possible to describe the set of points in the -orbit of a dominant residual point as follows.
Let us define a set of points in the -orbit of a dominant residual point such that they are written as : with at most one linear residual segment satisfying the condition . Then is a Jump as explained in the proof of Theorem 6.1, point 1)c).
Let us attach a positive integer to any of these points.
By definition, . What are the points in such that the function is maximal?
Lemma 15**.**
The function on is maximal for the points which are the form for any two consecutive elements in the Jumps sets associated to .
Proof.
Let us choose a point in ; since it is a point in , it uniquely determines a jump (as its left end). For any fixed , we show that the function is maximal for . Let denote the set of points in such that the linear residual segment (if it exists) has left end . The union of the where runs over the set of Jumps is .
Let us choose a point in and denote the length of the residual segment . Recall also that
- •
Case
Consider and .
Let us consider first those roots which are of the forms : On the number of these roots which have non-positive scalar product is: where is some constant depending on the multiplicities for .
Secondly, let us consider the roots of the forms ; on the number of these roots which have non-positive scalar product is:
[TABLE]
Finally, one should also take into account the roots of type or if is the dimension of and of type , or . There are such roots in our context.
[TABLE]
[TABLE]
[TABLE]
Therefore
[TABLE]
- •
Case
Consider and . The number and differ by . As this number is clearly positive, we have: .
This shows that decreases as the length of the linear residual segment decreases. Furthermore, from the definition of residual segment (Definition 4.2) and the observations made on cuspidal lines, the sequence is the longest linear segment with greatest (half)-integer that one can withdraw from such that the remaining segment is a residual segment of the same type and is in the -orbit of . Therefore, is maximal on the set . ∎
As a consequence of this Lemma, we will denote the points of maximal , for any in the jumps set of .
The elementary symmetries associated to roots in permute the (half)-integers appearing in the cuspidal line .
We illustrate the set with a picture: Let us assume any two points in the -orbit are connected by an edge if they share the same parameter and/or the intertwining operator associated to the sequence of elementary symmetries connecting the two points has non-generic kernel. Any point in is on an edge joining the points of maximal to . We obtain the following picture.
Then the proof of the Theorem 6.1 could be thought about in this way: Relying on the extended Moeglin’s Lemmas we obtain the embedding of the unique irreducible generic subquotient for a set of parameters . Those parameters are indexed by the jumps in a (finite) set of Jumps associated to the dominant residual point (they are in the -orbit of ). Once this key embedding is given, for each jump , we use intertwining operators with non-generic kernel to send the unique irreducible generic subrepresentation which lies in to , for any where is a residual segment of the same type as .
7. Proof of the Generalized Injectivity Conjecture for Discrete Series Subquotients
Before entering the proof of the Conjecture for Discrete Series Subquotients, let us mention two aside results. First, in order to use Theorem 2.2, let us first prove the following lemma:
Lemma 16**.**
Under the assumption that has a pole at (assumption 1) for and has a pole at (for ) of maximal order, for , is a residual point.
Proof.
We will use the multiplicativity formula for the function (see Section IV 3 in [39], or the earlier result (Theorem 1) in [33]) :
[TABLE]
We first notice that if has a pole in (for ) of maximal order, for , also has a pole of maximal order at (since is in , we twist by a character of which leaves the function unchanged). Under the assumption 1, the order of the pole at of the right side of the equation is:
[TABLE]
Since is maximal we have: , then
Hence, , and the lemma follows. ∎
The element being a residual point (a pole of maximal order for ) for , by Theorem 2.2 we have a discrete series subquotient in . Further, consider the following classical lemma (see for instance [41]):
Lemma 17**.**
Take a tempered representation of , and in the positive Weyl chamber. If is a pole for then is reducible.
This lemma results from the fact that when is tempered and in the positive Weyl chamber, is holomorphic at . If the function has a pole at then is the zero operator at . The image of would then be in the kernel of , a subspace of which is null if is irreducible. This would imply is a zero operator which is not possible. So must be reducible.
Under the hypothesis of Lemma 16, the module has a generic discrete series subquotient. We aim to prove in this section that this generic subquotient is a subrepresentation.
We present here the proof of the generalized injectivity conjecture in the case of a standard module induced from a maximal parabolic . Then, the roots in Lie() are all the roots in but . We first present the proof in case is not an extremal root in the Dynkin diagram of , and secondly when it is an extremal root.
Proposition 7.1**.**
Let be an irreducible generic representation of a quasi-split reductive group of type or which embeds as a subquotient in the standard module , with a maximal parabolic subgroup and discrete series of .
Let be in the cuspidal support of the generic discrete series representation of the maximal Levi subgroup and we take in , such that and denote in .
Let us assume that the cuspidal support of satisfies the conditions CS (see the Definition 6.1).
Let us assume that is not an extremal simple root on the Dynkin diagram of .
Let us assume is a residual point for . This is equivalent to say that the induced representation has a discrete series subquotient. Then, , which is discrete series embeds as a submodule in and therefore in the standard module .
Proof.
First, notice that if , the induced module is unitary hence any irreducible subquotient is a subrepresentation; in the rest of the proof we can therefore assume in .
We are in the context of the Subsection 4.3, and therefore we can write , for some (half)-integers , and residual segment . In this context, as we denote the Langlands parameter twisting the discrete series , then .
Notice that since is in the -orbit of a dominant residual point whose parameter corresponds to a residual segment of type or , and are not only reals but (half)-integers. The conditions of application of Theorem 6.1 1)b) or 1)c) are satisfied and therefore the unique irreducible generic subquotient in is a subrepresentation. By multiplicity one, it will also embed as a subrepresentation in the standard module . ∎
Remark*.*
From the Theorem 6.1 and the argumentation given in the proof of the previous Proposition, it is easy to deduce that if appears as a submodule in the standard module
[TABLE]
with Langlands parameter , it also appears as a submodule in any standard module with Langlands’ parameter for the order defined in Lemma 5 as soon as has equivalent cuspidal support.
7.0.1. The case of irreducible
Proposition 7.2**.**
Let be an irreducible generic discrete series of with cuspidal support and let us assume is irreducible. Let be a standard maximal Levi subgroup such that is irreducible.
Then, embeds as a subrepresentation in the standard module , where is an irreducible generic discrete series of .
Proof.
Assume is irreducible of rank , let be the basis of (following our choice of basis for the root system of ) and let us denote its type.
We consider maximal standard Levi subgroups of , , such that the root system is irreducible. Typically .
Now, in our setting, is a residual point for . It is in the cuspidal support of the generic discrete series if and only if (applying Proposition 4.3): . Let us denote the residual segment corresponding to the irreducible generic discrete series of .
If is a residual segment of type to obtain a residual segment of rank and type:
- •
: we need and
- •
: we need and
- •
: we need and
If is a residual segment of type (, , ) we need to obtain a residual segment of type and rank .
In all these cases, the twist corresponds on the cuspidal support to add one element on the left to the residual segment ; then the segment is a residual segment:
[TABLE]
This is equivalent to say is a dominant residual point and therefore, by Lemma 11, embeds as a subrepresentation in and therefore in by [U] in the standard module. ∎
7.1. Non necessarily maximal parabolic subgroups
In the course of the main theorem in this section, we will need the following result:
Lemma 18**.**
Let be unlinked linear segments with for any . If
[TABLE]
is a residual segment ; then at least one segment merges with to form a residual segment .
Proof.
Consider the case of unlinked segments, with at least one disjoint from the others, we aim to prove that this segment can be inserted into independently of the others to obtain a residual segment. For each such (disjoint from the others) segment , inserted, the following conditions are satisfied:
[TABLE]
The relations and come from the fact that the elements and cannot belong to any other segment unlinked to . If, for any , those conditions are satisfied, is a residual segment, by hypothesis.
Now, let us choose a segment which does not contain zero: . Since by the Equation (7.1) and , adding only yields equations as (7.1) and therefore a residual segment.
If this segment contains zero and is disjoint from the others, then adding all segments or just this one yields the same results on the numbers of zeroes and ones: , , therefore there is no additional constraint under these circumstances.
Secondly, let us consider the case of a chain of inclusions, that, without loss of generality, we denote . Starting from , observe that adding the linear residual segments yields the following conditions:
[TABLE]
[TABLE]
Then, for any , we clearly observe ; and . Assume we only add the segment , then we observe and , satisfying the conditions for to be a residual segment.
Assume contains zero, then any also. Assume there is an obstruction at zero to form a residual segment when adding segments. If adding only zeroes does not form a residual segment, but zeroes do, we had . Then (the option is immediately excluded since there is at most two ’1’ per segment ).
We need to add times ’1’. Then we need at least times ’2’ and times ’3’..etc. Since, all ’s will contain (10 -1). There is no obstruction at zero while adding solely (i.e ) and since and needs to contain , can merge with to form a residual segment.
Finally, it would be possible to observe the case of a residual segment containing and with and disjoint (or two-or more- disjoint chains of inclusions). Again, we have:
[TABLE]
Assume we only add the segment , then we observe and , satisfying the conditions for to be a residual segment. ∎
Remark*.*
We show in this remark that if , the linear segments with and with are such that one of them is included in the other (therefore unlinked).
If the length of the segments are the same, they are equal; without loss of generality let us consider the following case of different lengths:
[TABLE]
Since , and from Equation (7.2) replacing by , and further by , we obtain:
[TABLE]
Therefore,
Consequently, the content of the proofs of the next Theorem (7.1), when considering the case of equal parameters , remain the same.
Theorem 7.1**.**
Let us assume is in the cuspidal support of a generic discrete series representation of a standard Levi subgroup of a quasi-split reductive group . Let us assume that the cuspidal support of satisfies the conditions (CS) (see the Definition 6.1). Let us take in , such that and denote in . Let us assume is a residual point for . Let be an irreducible generic discrete series representation of which is a subquotient in . Then, the unique irreducible generic square-integrable subquotient, , in the standard module is a subrepresentation.
Proof.
Let us assume that is a disjoint union of subsystems of type and a subsystem of type . Let be ordered such that with , for two (half)-integers .
Using the depiction of residual points in Subsection 4.3, we write the residual point
[TABLE]
Let us denote the linear residual segments and assume that for some indices , the segments are linked. By Lemma 9, there exists an intertwining operator with non-generic kernel from to . Therefore, if we prove the unique irreducible discrete series subquotient appears as subrepresentation in , it will consequently appears as subrepresentation in . This means we are reduced to the case of the cuspidal support being constituted of unlinked segments.
Further, notice that by the above Remark Remark when , the segments , and are unlinked. This allows us to treat the case and .
So let us assume all linear segments are unlinked.
We prove the theorem by induction on the number of linear residual segments.
First, , let , and be the generic irreducible square integrable representation corresponding to the dominant residual point .
[TABLE]
By Lemma 11, being in the closure of the positive Weyl chamber, the unique irreducible generic discrete series subquotient is necessarily a subrepresentation.
The proof of the step from to is Proposition 7.1.
Assume the result true for any standard module with or less than linear residual segments, where is any standard parabolic subgroup whose Levi subgroup is obtained by removing or less than simple (non-extremal) roots from .
We consider now the unique irreducible generic discrete series subquotient in
[TABLE]
To distinguish with the case of a discrete series of , we denote the irreducible generic discrete series and in .
Using Lemma 18, we know there is at least one linear segment with index such that can be inserted in ( to form a residual segment. Without loss of generality, let us choose this index to be (else we use bijective intertwining operators on the unlinked segments to set in the last position). Then, there exists a Weyl group element such that for a residual segment .
Let with for some and where , if we assume (by convention) that the root connects the two connected components and .
Since is a maximal parabolic subgroup in , we can apply the result of Proposition 7.1 to the unique irreducible discrete series subquotient in .
Notice that is a reducible root system, and therefore so is ; it is because we choose an irreducible component of that we can apply the result of Proposition 7.1.
It appears as a subrepresentation in .
Then, since the parameter corresponds to a central character for , we have:
[TABLE]
By Proposition 7.1, the subquotient appears as a subrepresentation in
and therefore in the standard module embedded in by [U].
Since the parameter correspond to a central character for , we have:
[TABLE]
We have therefore two options: Either is irreducible and then it is the unique irreducible generic subrepresentation in
[TABLE]
[TABLE]
and by multiplicity one in . Otherwise, it is reducible, but then its unique irreducible generic subquotient is also the unique irreducible generic subquotient in .
Then, by induction hypothesis, it embeds as a subrepresentation in ; and by [U], also in . Hence, it embeds in , and therefore in concluding this induction argument, and the proof. ∎
7.2. Proof of the Generalized Injectivity Conjecture for Non-Discrete Series Subquotients
We could have reducible without having hypothesis 1 in Lemma 17 satisfied, that is without having a pole of the function for ; i.e the converse of the Lemma17 doesn’t necessarily hold.
It is only in this case that a non-tempered or tempered (but not square-integrable) generic subquotient may occur in .
Proposition 7.3**.**
Let be in the cuspidal support of a generic discrete series representation of a maximal Levi subgroup of a quasi-split reductive group . Let us take in , such that and denote in .
Let us assume that the cuspidal support of satisfies the conditions CS (see the Definition 6.1).
Let us assume is not a residual point for , and therefore the unique irreducible generic subquotient in is essentially tempered but not square integrable or not essentially tempered.
Then, this unique irreducible generic subquotient embeds as a submodule in and therefore in the standard module .
Proof.
First, notice that if the induced module is unitary hence any irreducible subquotient is a subrepresentation, in the rest of the proof we can therefore assume in .
Let us denote the irreducible generic tempered or non-tempered representation which appears as subquotient in a standard module induced from a maximal parabolic subgroup of .
We are in the context of the Subsection 4.3, and therefore we can write , for some , and residual segment . Here, we assume is not a residual point. Then has a unique irreducible generic subquotient which is tempered or non-tempered.
Following the proof of the Theorem 6.1 2)a) and b), we can write this unique irreducible generic subquotient , either it is embeds in an induced module which satisfies the conditions 2)a) or 2)b) of the Theorem 6.1 and then we can conclude by [U]. This is the context of existence of an intertwining operator with non-generic kernel between the induced module with cuspidal strings and .
Otherwise, one observes that passing from to require certain elements , with , to move up, i.e. from right to left. This means using rank one operators which change to for integers , those rank one operators may clearly have generic kernel.
In this context, we will rather use the results of Proposition 7.1.
Consider again embedded in . Let us denote the unique irreducible generic discrete series subquotient corresponding to the dominant residual point . Let be a standard Levi subgroup, we have:
[TABLE]
Since the character corresponding to the linear residual segment is central for , we write:
[TABLE]
Since is irreducible (and generic), we also have we know:
[TABLE]
By the generalized injectivity conjecture for square-integrable subquotient (Proposition 7.1), any standard module embedded in has as subrepresentation. We may therefore embed as subrepresentation in
[TABLE]
with , and therefore inducing Equation 7.3 to
[TABLE]
The sequence is chosen appropriately to have an intertwinning operator with non-generic kernel from to .
The unique irreducible generic subrepresentation in cannot appear in the kernel and therefore appears in the image of this operator. It therefore appears as a subrepresentation in and conclude by [U]. ∎
Theorem 7.2**.**
Let be in the cuspidal support of a generic discrete series representation of a standard Levi subgroup of a quasi-split reductive group.
Let us take in , such that and denote in . Let us assume that is not a residual point for and that the unique irreducible generic subquotient satisfies the conditions CS (see the Definition 6.1).
Then, the unique irreducible generic in (which is essentially tempered or non-tempered) embeds as a subrepresentation in .
Proof.
First, notice that, by the Remark Remark, when the segments , and are unlinked.
Using the argument given in Subsection 4.3, we write as , where reads .
The proof goes along the same inductive line than in the proof of Proposition 7.1.
The case of is Proposition 7.3. That is, given a cuspidal support , for any standard module induced from a maximal parabolic subgroup : , the unique irreducible generic subquotient is a subrepresentation. We use an induction argument on the number of linear residual segments obtained when removing simple roots to define the Levi subgroup . Considering that an essentially tempered or non-tempered irreducible generic subquotient in a standard module with linear residual segments is necessarily a subrepresentation; one uses the same arguments than in the proof of Theorem 7.1 to conclude that a tempered or non-tempered irreducible generic subquotient in a standard module with linear residual segments is a subrepresentation, therefore proving the theorem. ∎
Eventually, we now consider the generic subquotients of when is a generic irreducible tempered representation.
Corollary 7.2.1** (Standard modules).**
Let be a quasi-split reductive group of type or and let us assume is irreducible.
The unique irreducible generic subquotient of when is a generic irreducible tempered representation of a standard Levi is a subrepresentation.
Proof.
Let . By Theorem 6.2, as a tempered representation of , appears as a subrepresentation of for some discrete series and standard parabolic of ; is generic irreducible representation of the Levi subgroup , therefore
[TABLE]
where is not necessarily a maximal parabolic subgroup of . Since is in , is in . Let us write this parameter when it is in .
The unique irreducible generic subquotients of are the unique irreducible generic subquotients of , where is in . Since is not a maximal parabolic subgroup of , we may now use Theorems 7.1 and 7.2 with in to conclude that these unique irreducible generic subquotients, whether square-integrable or not, are subrepresentations. ∎
8. The case reducible
Let us recall that the set is a root system in a subspace of (cf. [35] 3.5) and we assume that the irreducible components of are all of type , , or . In Proposition 4.3, we have denoted for each irreducible component of , by the subspace of generated by , by its dimension and by a basis of (resp. of a vector space of dimension containing if is of type ) so that the elements of the root system are written in this basis as in Bourbaki, [4].
The following result is analogous to Proposition 1.10 in [17]. Recall denotes the set of equivalence classes of representations of the form where is an unramified character of .
Proposition 8.1**.**
Let , and . If the intersection of with is empty, the operator is well defined and bijective on .
Proof.
The operator is decomposed in elementary operators which come from intertwining operators relative to with , so it is enough to consider the case where is a maximal parabolic subgroup of and . Then, if and by the same reasoning than in the Lemma 12, the operator is well defined and bijective at any point on . ∎
Let , , be defined as in the main Theorem 1.2.
In this section, we consider the case of a reducible root system . As explained in Appendix Projections of roots systems, this case occurs in particular when (see the notations in Appendix Projections of roots systems) is reducible, and then has connected components of type of different lengths. An example is the following Dynkin diagram for :
[TABLE]
Let us assume is a disjoint union of components of type , where each component of type appears times. Set .
Let us denote the non-trivial restrictions of roots in , generating the set . Similar to the case of irreducible, we may have where can be different from in the case of type or . For any , the pre-image of the root is not simple.
Indeed, for instance, in the above Dynkin diagram, the first root ’removed’ is , the second is , etc; they are simple roots and their restrictions to are roots of (the generating set of ) ; the last root to consider is which restricts to ; then the preimage of is not simple.
However, since restricts to ; the pre-image of is simple.
The Levi subgroup is defined such that .
It is a standard Levi subgroup for . This is quite an important remark since most of our results in the previous sections were conditional on having standard parabolic subgroups.
Furthermore, since generates and is of rank , the semi-simple rank of is . Since is irreducible, an equivalent of Proposition 6.1 is satisfied for .
Proposition 8.2**.**
Let be an irreducible generic representation of a quasi-split reductive group , and assume it is the unique irreducible generic subquotient in the standard module , where is a maximal Levi subgroup (and is not an extremal simple root on the Dynkin diagram of ) of and is an irreducible generic discrete series of . Let us assume is reducible.
Then is a subrepresentation in the standard module .
Proof.
The proof starts with the setting of Section 3: is an irreducible generic discrete series of a maximal Levi subgroup, and by Heiermann-Opdam’s result, , for . Then, is a residual point for .
Let us write , then the residual point condition is , where is the dimension of generated by . The residual point decomposes in disjoint residual segments: .
Since decomposes into two disjoint irreducible components, one of them being of type , the restrictions of simple roots of this irreducible component of type in generates an irreducible component of of type , let us denote this component for , , and denote the twisted residual segment of type .
Let us further assume that there is one index such that there exists a residual segment of length and type ( or ) in the -orbit of where the residual segment is of the same type as .
Since all intertwining operators corresponding to rank one operators associated to for are bijective (see Lemma 12), all intertwining operators interchanging any two residual segments and are bijective. Therefore, we can interchange the positions of all residual segments (or said differently interchange the order of the irreducible components for ) and therefore set in the last position, i.e we set . This flexibility is quite powerful since it allows us to circumvent the difficulty arising with not being standard for any .
When adding the root to (when inducing from to ), we form from the disjoint union the irreducible root system that we denote .
The Levi subgroup is the smallest standard Levi subgroup of containing , the simple root and the set of simple roots whose restrictions to lie in . It is a group of semi-simple rank . We may, therefore, apply the results of the previous subsections with irreducible to this context: Let us assume first the unique irreducible generic subquotient is discrete series. From the result of Heiermann-Opdam, we have:
[TABLE]
where the residual segment is the dominant residual segment in the -orbit of . The unramified character corresponding to the remaining residual segments ’s, is a central character of (since it’s expression in the is orthogonal to all the roots in ). Then:
[TABLE]
As a result:
[TABLE]
In Equation (8.1), we claim embeds first in by the Heiermann-Opdam embedding result (since the residual segment corresponds to a parameter in ), therefore it should embed in by [U].
Applying our conclusion in the case of irreducible root system (in Proposition 7.1) to , we embed in the induced module as a subrepresentation (and therefore in a standard module embedded in ).
[TABLE]
Therefore:
[TABLE]
In case is non-(essentially) square integrable, i.e tempered or non-tempered, and embeds in (see the construction in the Section 6.4, 2)a)), we had shown in Proposition 7.3 there existed an intertwining operator with non-generic kernel sending in . Since the other remaining residual segments ’s, do not contribute when minimizing the Langlands parameter , the unique irreducible generic subquotient in embeds in and we can use the inducting of the previously defined (at the level of ) intertwining operator to send this generic subquotient as a subrepresentation in . We conclude the argument as usual: by [U]. ∎
Proposition 8.3**.**
Let be an irreducible generic representation and assume it is the unique irreducible generic subquotient in the standard module , where the set of simple roots in () is the set of simple roots minus simple roots, such that and is an irreducible generic discrete series.
Then it is a subrepresentation.
Proof.
The representation is an irreducible generic discrete series of a non-maximal Levi subgroup such that is a standard module. By Heiermann-Opdam’s result, , for . Then, is a residual point for .
Let us denote . Then where , for is of type .
Since is a standard Levi subgroup of contained in , we can write , then the residual point condition is , where is the dimension of generated by . The residual point decomposes in linear residual segments along with residual segments: .
Adding the twist , we obtain a parameter in composed of twisted linear residual segments and residual segments .
Let us first assume that is a residual point.
This means all linear residual segments can be incorporated in the residual segments of type to form residual segments of type and length such that where is . It is also possible that, as twisted linear residual segments they are already in a form as in Proposition 7.2. In that case, the linear residual segment need not be incorporated in any residual segment of type .
Furthermore, as in the proof of Theorem 7.1, we can reduce our study to the case of unlinked residual linear segments.
By Heiermann-Opdam’s Proposition (2.1):
[TABLE]
Let us consider the last irreducible component of and the residual segment associated to it.
Let us assume this irreducible subsystem is obtained from some subsystems of type denoted and one of type when inducing from to
The Levi subgroup is the smallest standard Levi subgroup of containing , simple roots (among the simple roots in ) and the set of roots whose restrictions to lie in . It is a group of semi-simple rank .
We may therefore apply the results of the previous subsections with irreducible to this context: the unique irreducible generic discrete series, , in the induced module is a subrepresentation.
As in the proof of the Proposition 8.2, since also embeds in , when we add the twist by the central character corresponding to , we obtain:
[TABLE]
In case is non-tempered, and embeds (as a subrepresentation) in , we had shown in Proposition 7.3 there existed an intertwining operator with non-generic kernel sending in .
Since the other remaining residual segments ’s, do not contribute when minimizing the Langlands parameter , the unique irreducible generic subquotient in embeds in and we can use the inducting of the previously defined intertwining operator to send this generic subquotient as a subrepresentation in .
Then
[TABLE]
We conclude the argument with [U] as usual.
Using bijective intertwining operators, we now reorganize this cuspidal support so as to put the linear residual segments on the left-most part and in the right-most part. The residual segment is (possibly) again formed of some linear residual segments and the residual segment . We argue just as above. Since the linear residual segments are unlinked, we can reorganize them so as to insure .
Eventually repeating this procedure,
[TABLE]
Further, by [U] the generic piece also embeds as a subrepresentation in the standard module. ∎
Corollary 8.0.1**.**
Let be an irreducible generic representation of and assume it is the unique irreducible generic subquotient in the standard module , where is a standard Levi subgroup of . Let us assume is reducible.
Then it is a subrepresentation.
Proof.
Let . We argue as in the Corollary 7.2.1: using the Theorem 6.2, the tempered representation of , , appears as a subrepresentation of for some discrete series and standard parabolic subgroup of ; is a generic irreducible representation of the standard Levi subgroup , therefore
[TABLE]
where is not necessarily a maximal parabolic subgroup of .
Since is in , is in . Let us write this parameter when it is in .
The unique irreducible generic subquotients of are the unique irreducible generic subquotients of , where is in . Since is not a maximal parabolic subgroup of , we use the result of the Proposition 8.3. ∎
9. Exceptional groups
The arguments developed in the context of reductive groups whose roots systems are of classical type may apply in the context of exceptional groups provided the set is equal to the Weyl group or differ by one element as in the Corollary 6.1.1. However, this hypothesis shall not be necessarily satisfied, as the Example 5.3.3 in [35] illustrates: in this example, where , the Weyl group of , is of type , it shall be rather different from .
In an auxiliary work [12], we have observed that in most cases where a root system of rank occurs in , it is of type or ; or of very small rank (such as in ).
Further, the main result of [12] (Theorem 2) is that only classical root systems occur in ; except when is of type and contains one (any) root of .
This latter case along with the case of (in the context of exceptional groups), , and a generic irreducible representation of (in particular the case of trivial representation ) shall be treated in an independent work since the combinatorial arguments given in this work shall not apply as easily.
Furthermore, it might be necessary for the case and containing only one root to obtain a result analogous to the Proposition 4.3 which includes the exceptional root systems; it would allow to use the weighted Dynkin diagrams (of exceptional type) to express the coordinates of residual points.
- (1)
Let us assume contains of type and the basis of contains at least two projections of simple roots in : and . Let us assume that the standard module is such that is a discrete series of and . The proof of the Generalized Injectivity conjecture for of type (see [11]) carries over this context if the Levi given there is such that and one should pay attention to the choice of (order of simple roots in the) basis to insure that the parameter for the root system splits into two residual segments appropriately (hence also an appropriate choice of determining ). Let us simply recall that from the Lemmas 10 and 5.1, we know that if there is an embedding of the irreducible generic subquotient into , the parameter is in the -orbit of , hence and since . 2. (2)
Under the assumption that equals or (see Corollary 6.1.1) and , the cases where is irreducible of type in can be dealt with the methods proposed in this work.
It follows:
Proposition 9.1**.**
Let be a quasi-split reductive group of exceptional type, its root system, and a basis of . Let be a standard parabolic subgroup of .
Let us consider with an irreducible discrete series of , . Let be a unitary cuspidal representation of in the cuspidal support of and assume (defined with respect to ) is of type and irreducible of rank . Further assume that contains at least two restrictions of simple roots in .
Then, the unique irreducible generic subquotient of is a subrepresentation.
9.1. Generalized Injectivity in
Theorem 9.1**.**
Let be of type . Let be the unique irreducible generic subquotient of a standard module , then it is a subrepresentation.
We follow the parametrization of the root system of as in Muić [25]: is the short root and the long root. We have , . Without loss of generality, let us assume is a discrete series representation of , the reasoning is the same for . As is a discrete series for , .
[TABLE]
We twist with ;
[TABLE]
Conjecturally for two values of (since there are only two weighted Dynkin diagrams conjecturally in bijection with dominant residual points) we obtain a dominant residual point of type . Since they are dominant residual points, the unique generic subquotient in is a subrepresentation, and therefore appears as subrepresentation in .
Suppose the value of is such that is not a dominant residual point. The set up considered is that of twisted by so that it embeds in . Then, . Using the result of Casselman-Shahidi (generalized injectivity conjecture for cuspidal inducing data) it is clear that the generic irreducible subquotient in embeds as a subrepresentation.
9.1.1. The case of a non-discrete series induced representation
We now consider the general case of a standard module, with a tempered representation of . As an irreducible tempered representation of , . Then the standard module is . Since is unitary, its unique generic subquotient is itself; and there is nothing to prove.
9.1.2. Residual segments
As an aside, we compute the residual segments of type here. The weighted Dynkin diagrams for are:
\circ$$\scriptscriptstyle\alpha$$\scriptscriptstyle 2 \scriptstyle<$$\circ$$\scriptscriptstyle 2; \circ$$\scriptscriptstyle\alpha$$\scriptscriptstyle 0 \scriptstyle<$$\circ$$\scriptscriptstyle 2
Let means that . On the other hand, it is known that
[TABLE]
From the first weighted Dynkin diagram above, the parameter satisfies:
[TABLE]
From the above relations 9.1, one should be able to compute that the residual segment is .
In the second weighted Dynkin diagram, the parameter satisfies:
[TABLE]
And using the above relations 9.1, we conclude that the residual segment is (1,1).
APPENDIX
Bala-Carter theory
This short appendix is written with considerably more details in the author’s PhD thesis [11].
Let be the cone of nilpotent elements in . This cone is the disjoint union of a finite number of -orbits. Let be a nilpotent orbit in and let be a representative element. A theorem of Jacobson-Morozov extends to a standard () triple , where can be chosen to lie in the fundamental dominant Weyl chamber :
[TABLE]
Theorem .2** (Kostant,[21]).**
Let . A nilpotent orbit is completely determined by the values .
For every simple root in , we have (see section 3.5 in [9]).
If we label every node of the Dynkin diagram of with the eigenvalues of on the corresponding simple root space , then all labels are 0,1 or 2. We call such a labeled Dynkin diagram, a weighted Dynkin diagram.
Weighted Dynkin diagrams
The diagrams presented here are also presented in Carter’s book [5], page 175.
\circ$$\scriptscriptstyle\alpha_{1}$$\scriptscriptstyle 2 \circ$$\scriptscriptstyle\alpha_{2}$$\scriptscriptstyle 2 \cdot$$\cdot$$\cdot$$\cdot$$\cdot$$\cdot$$\cdot$$\cdot$$\cdot \circ$$\scriptscriptstyle\alpha_{d}$$\scriptscriptstyle 2
\underbrace{\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-2.33932pt\raise 5.0pt\hbox to0.0pt{\scriptscriptstyle\alpha_{1}\hss}\kern 2.33932pt\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 2\hss}\kern 1.125pt{\kern 1.75pt\raise 2.2222pt\hbox to0.0pt{\vrule height=0.125pt,depth=0.125pt,width=10.0pt\hss}\kern 10.0pt\kern 1.75pt}\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-2.33932pt\raise 5.0pt\hbox to0.0pt{\scriptscriptstyle\alpha_{2}\hss}\kern 2.33932pt\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 2\hss}\kern 1.125pt{\kern 1.75pt\kern 2.5pt\kern-1.1pt\hbox to0.0pt{\cdot\hss}\kern 1.1pt\kern 2.5pt\kern-1.1pt\hbox to0.0pt{\cdot\hss}\kern 1.1pt\kern 2.5pt\kern-1.1pt\hbox to0.0pt{\cdot\hss}\kern 1.1pt\kern 2.5pt\kern 1.75pt}{\kern 1.75pt\raise 2.2222pt\hbox to0.0pt{\vrule height=0.125pt,depth=0.125pt,width=10.0pt\hss}\kern 10.0pt\kern 1.75pt}\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 2\hss}\kern 1.125pt}_{m}{\kern 1.75pt\raise 2.2222pt\hbox to0.0pt{\vrule height=0.125pt,depth=0.125pt,width=10.0pt\hss}\kern 10.0pt\kern 1.75pt}\underbrace{\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 2\hss}\kern 1.125pt{\kern 1.75pt\raise 2.2222pt\hbox to0.0pt{\vrule height=0.125pt,depth=0.125pt,width=10.0pt\hss}\kern 10.0pt\kern 1.75pt}\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 0\hss}\kern 1.125pt}_{p_{1}}{\kern 1.75pt\raise 2.2222pt\hbox to0.0pt{\vrule height=0.125pt,depth=0.125pt,width=10.0pt\hss}\kern 10.0pt\kern 1.75pt}\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 2\hss}\kern 1.125pt{\kern 1.75pt\raise 2.2222pt\hbox to0.0pt{\vrule height=0.125pt,depth=0.125pt,width=10.0pt\hss}\kern 10.0pt\kern 1.75pt}\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 0\hss}\kern 1.125pt{\kern 1.75pt\kern 2.5pt\kern-1.1pt\hbox to0.0pt{\cdot\hss}\kern 1.1pt\kern 2.5pt\kern-1.1pt\hbox to0.0pt{\cdot\hss}\kern 1.1pt\kern 2.5pt\kern-1.1pt\hbox to0.0pt{\cdot\hss}\kern 1.1pt\kern 2.5pt\kern 1.75pt}\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 0\hss}\kern 1.125pt{\kern 1.75pt\raise 2.2222pt\hbox to0.0pt{\vrule height=0.125pt,depth=0.125pt,width=10.0pt\hss}\kern 10.0pt\kern 1.75pt}\underbrace{\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 2\hss}\kern 1.125pt{\kern 1.75pt\raise 2.2222pt\hbox to0.0pt{\vrule height=0.125pt,depth=0.125pt,width=10.0pt\hss}\kern 10.0pt\kern 1.75pt}\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 0\hss}\kern 1.125pt{\kern 1.75pt\raise 2.2222pt\hbox to0.0pt{\vrule height=0.125pt,depth=0.125pt,width=10.0pt\hss}\kern 10.0pt\kern 1.75pt}{\kern 1.75pt\kern 2.5pt\kern-1.1pt\hbox to0.0pt{\cdot\hss}\kern 1.1pt\kern 2.5pt\kern-1.1pt\hbox to0.0pt{\cdot\hss}\kern 1.1pt\kern 2.5pt\kern-1.1pt\hbox to0.0pt{\cdot\hss}\kern 1.1pt\kern 2.5pt\kern 1.75pt}\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 0\hss}\kern 1.125pt}_{p_{k}}{\kern 1.55pt\raise 3.2222pt\hbox to0.0pt{\vrule height=0.125pt,depth=0.125pt,width=10.4pt\hss}\raise 1.2222pt\hbox to0.0pt{\vrule height=0.125pt,depth=0.125pt,width=10.4pt\hss}\kern 10.4pt\kern 1.55pt}{\kern 1.75pt\kern 10.0pt\kern 1.75pt\kern-13.5pt\raise 0.68pt\hbox to0.0pt{\kern-10.25pt\scriptstyle<\hss}}\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-2.37619pt\raise 5.0pt\hbox to0.0pt{\scriptscriptstyle\alpha_{d}\hss}\kern 2.37619pt\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 2\hss}\kern 1.125pt
with , or for each . (, is a special case)
\underbrace{\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-2.33932pt\raise 5.0pt\hbox to0.0pt{\scriptscriptstyle\alpha_{1}\hss}\kern 2.33932pt\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 2\hss}\kern 1.125pt{\kern 1.75pt\raise 2.2222pt\hbox to0.0pt{\vrule height=0.125pt,depth=0.125pt,width=10.0pt\hss}\kern 10.0pt\kern 1.75pt}\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-2.33932pt\raise 5.0pt\hbox to0.0pt{\scriptscriptstyle\alpha_{2}\hss}\kern 2.33932pt\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 2\hss}\kern 1.125pt{\kern 1.75pt\kern 2.5pt\kern-1.1pt\hbox to0.0pt{\cdot\hss}\kern 1.1pt\kern 2.5pt\kern-1.1pt\hbox to0.0pt{\cdot\hss}\kern 1.1pt\kern 2.5pt\kern-1.1pt\hbox to0.0pt{\cdot\hss}\kern 1.1pt\kern 2.5pt\kern 1.75pt}\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 2\hss}\kern 1.125pt}_{m}{\kern 1.75pt\raise 2.2222pt\hbox to0.0pt{\vrule height=0.125pt,depth=0.125pt,width=10.0pt\hss}\kern 10.0pt\kern 1.75pt}\underbrace{\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 2\hss}\kern 1.125pt{\kern 1.75pt\raise 2.2222pt\hbox to0.0pt{\vrule height=0.125pt,depth=0.125pt,width=10.0pt\hss}\kern 10.0pt\kern 1.75pt}\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 0\hss}\kern 1.125pt}_{p_{1}}{\kern 1.75pt\raise 2.2222pt\hbox to0.0pt{\vrule height=0.125pt,depth=0.125pt,width=10.0pt\hss}\kern 10.0pt\kern 1.75pt}\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 2\hss}\kern 1.125pt{\kern 1.75pt\raise 2.2222pt\hbox to0.0pt{\vrule height=0.125pt,depth=0.125pt,width=10.0pt\hss}\kern 10.0pt\kern 1.75pt}\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 0\hss}\kern 1.125pt{\kern 1.75pt\kern 2.5pt\kern-1.1pt\hbox to0.0pt{\cdot\hss}\kern 1.1pt\kern 2.5pt\kern-1.1pt\hbox to0.0pt{\cdot\hss}\kern 1.1pt\kern 2.5pt\kern-1.1pt\hbox to0.0pt{\cdot\hss}\kern 1.1pt\kern 2.5pt\kern 1.75pt}{\kern 1.75pt\raise 2.2222pt\hbox to0.0pt{\vrule height=0.125pt,depth=0.125pt,width=10.0pt\hss}\kern 10.0pt\kern 1.75pt}\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 0\hss}\kern 1.125pt{\kern 1.75pt\raise 2.2222pt\hbox to0.0pt{\vrule height=0.125pt,depth=0.125pt,width=10.0pt\hss}\kern 10.0pt\kern 1.75pt}\underbrace{\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 2\hss}\kern 1.125pt{\kern 1.75pt\raise 2.2222pt\hbox to0.0pt{\vrule height=0.125pt,depth=0.125pt,width=10.0pt\hss}\kern 10.0pt\kern 1.75pt}\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 0\hss}\kern 1.125pt{\kern 1.75pt\raise 2.2222pt\hbox to0.0pt{\vrule height=0.125pt,depth=0.125pt,width=10.0pt\hss}\kern 10.0pt\kern 1.75pt}{\kern 1.75pt\kern 2.5pt\kern-1.1pt\hbox to0.0pt{\cdot\hss}\kern 1.1pt\kern 2.5pt\kern-1.1pt\hbox to0.0pt{\cdot\hss}\kern 1.1pt\kern 2.5pt\kern-1.1pt\hbox to0.0pt{\cdot\hss}\kern 1.1pt\kern 2.5pt\kern 1.75pt}\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 0\hss}\kern 1.125pt}_{p_{k}}{\kern 1.55pt\raise 3.2222pt\hbox to0.0pt{\vrule height=0.125pt,depth=0.125pt,width=10.4pt\hss}\raise 1.2222pt\hbox to0.0pt{\vrule height=0.125pt,depth=0.125pt,width=10.4pt\hss}\kern 10.4pt\kern 1.55pt}{\kern 1.75pt\kern 10.0pt\kern 1.75pt\kern-13.5pt\raise 0.68pt\hbox to0.0pt{\kern-10.25pt\scriptstyle>\hss}}\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-2.37619pt\raise 5.0pt\hbox to0.0pt{\scriptscriptstyle\alpha_{d}\hss}\kern 2.37619pt\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 0\hss}\kern 1.125pt
with , or for and
[TABLE]
In addition the diagram:
\circ$$\scriptscriptstyle\alpha_{1}$$\scriptscriptstyle 2 \circ$$\scriptscriptstyle\alpha_{2}$$\scriptscriptstyle 2$$\cdot$$\cdot$$\cdot \circ$$\scriptscriptstyle 2$$\cdot$$\cdot$$\cdot \circ$$\scriptscriptstyle 2 \circ$$\scriptscriptstyle 2 \circ$$\scriptscriptstyle 2 \cdot$$\cdot$$\cdot$$\circ$$\scriptscriptstyle 2 \circ$$\scriptscriptstyle 2 \cdot$$\cdot$$\cdot$$\circ$$\scriptscriptstyle 2 \scriptstyle>$$\circ$$\scriptscriptstyle 2
is distinguished.
\underbrace{\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-2.33932pt\raise 5.0pt\hbox to0.0pt{\scriptscriptstyle\alpha_{1}\hss}\kern 2.33932pt\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 2\hss}\kern 1.125pt{\kern 1.75pt\raise 2.2222pt\hbox to0.0pt{\vrule height=0.125pt,depth=0.125pt,width=10.0pt\hss}\kern 10.0pt\kern 1.75pt}\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-2.33932pt\raise 5.0pt\hbox to0.0pt{\scriptscriptstyle\alpha_{2}\hss}\kern 2.33932pt\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 2\hss}\kern 1.125pt{\kern 1.75pt\kern 2.5pt\kern-1.1pt\hbox to0.0pt{\cdot\hss}\kern 1.1pt\kern 2.5pt\kern-1.1pt\hbox to0.0pt{\cdot\hss}\kern 1.1pt\kern 2.5pt\kern-1.1pt\hbox to0.0pt{\cdot\hss}\kern 1.1pt\kern 2.5pt\kern 1.75pt}\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 2\hss}\kern 1.125pt}_{m}{\kern 1.75pt\raise 2.2222pt\hbox to0.0pt{\vrule height=0.125pt,depth=0.125pt,width=10.0pt\hss}\kern 10.0pt\kern 1.75pt}\underbrace{\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 2\hss}\kern 1.125pt{\kern 1.75pt\raise 2.2222pt\hbox to0.0pt{\vrule height=0.125pt,depth=0.125pt,width=10.0pt\hss}\kern 10.0pt\kern 1.75pt}\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 0\hss}\kern 1.125pt{\kern 1.75pt\raise 2.2222pt\hbox to0.0pt{\vrule height=0.125pt,depth=0.125pt,width=10.0pt\hss}\kern 10.0pt\kern 1.75pt}\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 2\hss}\kern 1.125pt{\kern 1.75pt\raise 2.2222pt\hbox to0.0pt{\vrule height=0.125pt,depth=0.125pt,width=10.0pt\hss}\kern 10.0pt\kern 1.75pt}\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 0\hss}\kern 1.125pt{\kern 1.75pt\kern 2.5pt\kern-1.1pt\hbox to0.0pt{\cdot\hss}\kern 1.1pt\kern 2.5pt\kern-1.1pt\hbox to0.0pt{\cdot\hss}\kern 1.1pt\kern 2.5pt\kern-1.1pt\hbox to0.0pt{\cdot\hss}\kern 1.1pt\kern 2.5pt\kern 1.75pt}\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 2\hss}\kern 1.125pt{\kern 1.75pt\raise 2.2222pt\hbox to0.0pt{\vrule height=0.125pt,depth=0.125pt,width=10.0pt\hss}\kern 10.0pt\kern 1.75pt}\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 0\hss}\kern 1.125pt}_{2k}{\hbox{\kern 0.9pt\hbox to0.0pt{\displaystyle<\hss}\kern 8.0pt{\raise-3.8pt\hbox{\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}}}{\raise 3.8pt\hbox{\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}}}}}\raise 3.8pt\hbox{\kern 2.5pt\raise 1.0pt\hbox to0.0pt{\scriptscriptstyle 2\hss}\kern-2.5pt}\raise-3.8pt\hbox{\kern 2.5pt\raise 1.0pt\hbox to0.0pt{\scriptscriptstyle 2\hss}\kern-2.5pt}
with , and those of the form
\underbrace{\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-2.33932pt\raise 5.0pt\hbox to0.0pt{\scriptscriptstyle\alpha_{1}\hss}\kern 2.33932pt\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 2\hss}\kern 1.125pt{\kern 1.75pt\raise 2.2222pt\hbox to0.0pt{\vrule height=0.125pt,depth=0.125pt,width=10.0pt\hss}\kern 10.0pt\kern 1.75pt}\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-2.33932pt\raise 5.0pt\hbox to0.0pt{\scriptscriptstyle\alpha_{2}\hss}\kern 2.33932pt\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 2\hss}\kern 1.125pt{\kern 1.75pt\kern 2.5pt\kern-1.1pt\hbox to0.0pt{\cdot\hss}\kern 1.1pt\kern 2.5pt\kern-1.1pt\hbox to0.0pt{\cdot\hss}\kern 1.1pt\kern 2.5pt\kern-1.1pt\hbox to0.0pt{\cdot\hss}\kern 1.1pt\kern 2.5pt\kern 1.75pt}\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 2\hss}\kern 1.125pt}_{m}{\kern 1.75pt\raise 2.2222pt\hbox to0.0pt{\vrule height=0.125pt,depth=0.125pt,width=10.0pt\hss}\kern 10.0pt\kern 1.75pt}\underbrace{\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 2\hss}\kern 1.125pt{\kern 1.75pt\raise 2.2222pt\hbox to0.0pt{\vrule height=0.125pt,depth=0.125pt,width=10.0pt\hss}\kern 10.0pt\kern 1.75pt}\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 0\hss}\kern 1.125pt}_{p_{1}}{\kern 1.75pt\raise 2.2222pt\hbox to0.0pt{\vrule height=0.125pt,depth=0.125pt,width=10.0pt\hss}\kern 10.0pt\kern 1.75pt}\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 2\hss}\kern 1.125pt{\kern 1.75pt\raise 2.2222pt\hbox to0.0pt{\vrule height=0.125pt,depth=0.125pt,width=10.0pt\hss}\kern 10.0pt\kern 1.75pt}\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 0\hss}\kern 1.125pt{\kern 1.75pt\kern 2.5pt\kern-1.1pt\hbox to0.0pt{\cdot\hss}\kern 1.1pt\kern 2.5pt\kern-1.1pt\hbox to0.0pt{\cdot\hss}\kern 1.1pt\kern 2.5pt\kern-1.1pt\hbox to0.0pt{\cdot\hss}\kern 1.1pt\kern 2.5pt\kern 1.75pt}\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 0\hss}\kern 1.125pt{\kern 1.75pt\raise 2.2222pt\hbox to0.0pt{\vrule height=0.125pt,depth=0.125pt,width=10.0pt\hss}\kern 10.0pt\kern 1.75pt}\underbrace{\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 2\hss}\kern 1.125pt\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 0\hss}\kern 1.125pt{\kern 1.75pt\kern 2.5pt\kern-1.1pt\hbox to0.0pt{\cdot\hss}\kern 1.1pt\kern 2.5pt\kern-1.1pt\hbox to0.0pt{\cdot\hss}\kern 1.1pt\kern 2.5pt\kern-1.1pt\hbox to0.0pt{\cdot\hss}\kern 1.1pt\kern 2.5pt\kern 1.75pt}\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}\kern-1.125pt\raise-3.6pt\hbox to0.0pt{\scriptscriptstyle 0\hss}\kern 1.125pt{\hbox{\kern 0.9pt\hbox to0.0pt{\displaystyle<\hss}\kern 8.0pt{\raise-3.8pt\hbox{\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}}}{\raise 3.8pt\hbox{\hbox to0.0pt{\kern-1.75pt\raise-0.1pt\hbox{\kern-0.75pt\hbox to0.0pt{\circ\hss}\kern 4.25pt}\kern-1.75pt}}}}}\raise 3.8pt\hbox{\kern 2.5pt\raise 1.0pt\hbox to0.0pt{\scriptscriptstyle 2\hss}\kern-2.5pt}\raise-3.8pt\hbox{\kern 2.5pt\raise 1.0pt\hbox to0.0pt{\scriptscriptstyle 2\hss}\kern-2.5pt}}_{p_{k}}
with , or for and
[TABLE]
The key notion used by Bala and Carter was the notion of distinguished nilpotent element. It is an element that is not contained in any proper Levi subalgebra. Alternatively, a nilpotent element is called distinguished if it does not commute with any non-zero semi-simple element of . Or also, a nilpotent element (resp. orbit ) is distinguished if the only Levi subalgebra containing (resp. meeting ) is itself.
Definition .1** (distinguished parabolic subalgebra).**
A parabolic subalgebra of is called distinguished if , in which is a Levi decomposition of , with Levi part .
The Theorem 5.9.5 in [5] implies the following correspondence:
[TABLE]
in which is a Levi factor, is a distinguished parabolic subalgebra of the semi-simple part of .
Let us give a few more results on distinguished orbits, in particular the Theorem .4 explains the partitions used in 4.2:
We need to introduce a grading: given a non-zero nilpotent element in , using the standard triple above, the Jacobson-Morozov Lie algebra homomorphism satisfies and is in the dominant chamber of .
The adjoint action of on yields a grading in which
[TABLE]
and . Further, set
[TABLE]
The Lie subalgebra contains , and is thus a parabolic subalgebra whose Levi decomposition is .
On the other hand, starting with a subset , and denoting the standard parabolic subalgebra, one defines a function , defined on roots of as twice the indicator function of and extended linearly to all roots.
We obtain a grading: by declaring and otherwise . Then, and its nilpotent radical is .
To summarize, to the standard triple containing one attaches a parabolic subalgebra of with Levi decomposition .
If , then we call (resp. ) an even nilpotent element (even nilpotent orbit, respectively).
Proposition .2** (Corollary 3.8.8 in [9]).**
A weighted Dynkin diagram has labels only 0 or 2 if and only if it corresponds to an even nilpotent orbit (i.e, if )
The two following propositions are taken from Chapter 2 of Di Martino’s thesis [10]:
Proposition .3**.**
The standard parabolic subalgebra is distinguished if and only if . In this case, if is any element in the unique open orbit of the parabolic subgroup on its nilpotent radical , then the parabolic subalgebra associated to as in (.3) equals .
A distinguished nilpotent element also satisfies the following:
Proposition .4**.**
A nilpotent element is distinguished if and only if . Moreover, if is distinguished, then .
Theorem .3** (Theorem 8.2.3 in [9]).**
Any distinguished orbit in is even.
Theorem .4** (Theorem 8.2.14 in [9]).**
- (1)
If is of type A, then the only distinguished orbit is principal. 2. (2)
If is of type B, C or D, then an orbit is distinguished if and only if its partition has no repeated parts. Thus the partition of a distinguished orbit in types B, D has only odd parts, each occurring once, while the partition of a distinguished orbit in type C has only even parts, each occurring once.
Distinguished Nilpotent orbits and residual points
The connection with the notion of residual point is now made accessible.
Let be a Chevalley (semi-simple) group and a maximal split torus and a Borel subgroup. We have a root datum . By reversing the role of and , we obtain a new root datum . Let be the triple with root datum . The L-group is the dual group, with maximal torus , and Borel subgroup . Denote the respective Lie algebra and . Let be a finite dimensional Euclidean space containing and spanned by the root system: , the canonical pairing between and is denoted by . We fix an inner product on by transport of structure from via the canonical isomorphism associated with . Thus this map becomes an isometry, and for each , the coroot is given as the image of .
To this data we associate the Weyl group generated by the reflexions over the hyperplanes consisting of elements which are orthogonal to with respect to .
Let us make a remark before stating the correspondence result related to our use in this manuscript:
Remark*.*
The bijective correspondence (below) is originally formulated for residual subspaces. Let be the “coupling parameter” as defined in [14]. An affine subspace is called residual if, for a root system (in a root datum)
[TABLE]
(If is semi-simple, there exist residual subspaces which are singletons , the residual points).
For example, when the parameter (called “coupling parameter” in [14]) equals 1, the Weyl vector is a residual point, since the above equation is verified. More generally, for any , the vector is a residual point.
Then the bijective correspondence is given between the set of nilpotent orbits in the Langlands dual Lie algebra and the set of - orbits of residual subspaces.
We mention the following result partially related to Proposition 4.3. The bijective correspondence concerns only unramified characters and we fix the parameter for all .
Proposition .5**.**
There is a bijective correspondence between the set of distinguished nilpotent orbits in the Langlands dual Lie algebra and the set of -orbits of residual points.
Proof.
This particular bijection is a specific case of the larger bijective correspondence given between the set of nilpotent orbits in the Langlands dual Lie algebra and the set of -orbits of residual subspaces. It is discussed in details in [[27], Appendices A and B], but also in [[16], Proposition 6.2]. ∎
Let be a representative of a class, for which and is a standard distinguished parabolic subalgebra. We have a corresponding distinguished nilpotent orbit . With Proposition .3, the data is equivalent to the assignment of an even weighted Dynkin diagram: .
Since we have and , the assignment of an even weighted Dynkin diagram implies and this equality sets as a residual point.
The definition of depends on the choice of positive roots and Borel subgroup . A different choice yields a different element on the same -orbit. See [27], Appendices A and B, and particularly Proposition 8.1 in [27].
Projections of roots systems
Let us first follow the notations of the book of [28], Chapter V. We will also use the notations of Section 2. Let denote the group of rational characters of ; its dual is . We denote and .
The duality between and extends to a duality (canonical pairing) between the vector spaces and (see the Chapter V of [28], or the author’s PhD thesis).
Because of the existence of the scalar product (sustaining the duality), the restriction map from to is a projection map from to . With the notations of the Section 6, the roots in generating are non -trivial restrictions of roots in (recall that in the notations of [24], I.1.6, are the roots of which are in ), and is generated by the projection of roots in . In the article [12], we have rather considered projections of roots. We have studied the set , projections of roots onto the orthogonal to . Let us denote the dimension of , i.e the cardinal of .
Theorem .5** (see [12]).**
Let be an irreducible root system of classical type (i.e of type or ). The subsystems in are necessarily of classical type. In addition, if the irreducible (connected) components of of type are all of the same length and the interval between each of them of length one, then contains an irreducible root system of rank (non necessarily reduced).
We have used the following observation, from [4, Equation (10) in VI.3, Proposition 12 in VI.4, Chapter VI]: Let and be two non-orthogonal elements of a root system. Set
[TABLE]
Thus, if
[TABLE]
The case of reducible
In [12] have seen that in order to obtain a projected root system irreducible and of rank , we had to impose several constraints. Let us explain once more some of them. Let us first consider two components and of (the Dynkin diagram of) , let and be the vectors in the basis vectors of smallest index such corresponds to and to . Let us assume two simple consecutive roots and are outside of and . Then . Let us consider the projections of and : Since is orthogonal to all roots in , . Therefore:
Then and if we assume i.e , we have:
[TABLE]
If and were to be part of a root system, we would need
[TABLE]
This implies and a contradiction. This illustrates the fact that in the main theorem (Theorem .5) the intervals between the irreducible connected components of need to be of length one, and at most one.
In general, the complement of Theorem .5 above is the following:
Theorem .6**.**
Let be an irreducible root system of type or . If the irreducible (connected) components of of type are all not of the same length and the interval between each of them of length one, then contains a reducible root system of rank (non necessarily reduced); and if is the rank of the irreducible i-th component, then .
The number of irreducible components () is as many as there are changes of length plus one. That is, if there are components of type , followed by components of type , et cetera until components of type , such that for any , and one last component of type or or , there are changes in the length () and therefore irreducible connected components in . The set is composed of irreducible components of type and possibly one component of type or .
Proof.
We have explained the condition on the interval being of at most length one in the paragraph preceding the statement of the theorem. We do not repeat here the methods of proof for the case of irreducible which apply here: in particular the treatment of the case , the reduction to this case’s argumentation when , and the argumentation showing that the components of type of should be of the same length to obtain a root system in the projection.
We consider the case of root system of type . Let us then assume that we have components of type in , by the argumentation given in [12], we obtain a root system of type . Let us assume that these components of type are followed by components of type , . Let us denote the vector associated to the last component of type and the vector associated to the first component of type .
The projection of cannot be a root in (it would contradict the conditions of validity of the value and when calculated with respect to the last root of the previously considered ).
However, the projections of the roots corresponding to the intervals between any two of the components of type (say of ) along with all roots of the form or (resp. or ) form a root system of type . Some specificities, such as root system of type appearing in the projection for certain cases under of type or carry over here (see [12]).
The key mechanism assuring that the sum of the equals is the observation that one need three consecutive components of type of a given length (followed by components of length ) to obtain in the projection a (hence of rank three!) whereas one would obtain only a type of root system. This means that even if the root connecting the to is not a root in the projection, i.e “we are missing a simple root”; we get a simple root of type or .
One may notice that another possibility would be to obtain a reducible root system such as . This case is not excluded but it would not be possible to find such a system of maximal rank.
Indeed, let us briefly recall the formulas written for the case of of type in [12], where we consider three vectors and whose projections are associated to three components of of type and : Let be a root whose projection is and a root whose projection is , then the square of the scalar product of and is
[TABLE]
This excludes the possibility of and being orthogonal. Therefore for two consecutive roots in the projection (projections of simple roots), it is not possible to obtain a system of type .
If there is a sequence of connected consecutive components of of type that we index by an integer (in increasing order) and length with for any , let us denote where and .
Further, let us denote where and . The orthogonal roots and form a root system of type .
The root does not contribute to this subsystem.
Therefore, the maximal number of factor such that the reducible root system appear in is .
By a similar reasoning, it would be possible to obtain a reducible system of type if is composed of a succession of connected components of type such that the three first ones are of length , the three next ones of length , etc. Then the projection of the root connecting and would not contribute to this subsystem. Again, this would never give any reducible system of maximal rank d.
Because to any change of length of the components, the corresponding root (connecting the two components of different length) cannot appear as a (simple) root in the projection, we are missing a root (of the set of size ) at any change of length. In the case is of type , this ’missing’ root is not replaced by any short or long root ( or ), therefore it is impossible to obtain a basis of root system in the projection. In other words, there does not exist any reducible root system of maximal rank in the projection of of type . ∎
Let us illustrate one case of the previous theorem with a Dynkin diagram of of type :
[TABLE]
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] J. Bernstein, P. Deligne, and D. Kazhdan. Trace Paley-Wiener theorem for reductive p-adic groups. J. Analyse Math. , 42:180–192, 1986.
- 2[2] J. Bernstein and A. Zelevinsky. Induced representations of reductive p-adic groups I. Ann. Sci. École Norm. Sup , 10(4):441–472, 1977.
- 3[3] A. Borel and N. Wallach. Continuous cohomology, discrete subgroups, and representations of reductive groups . AMS, 1999.
- 4[4] N. Bourbaki. Groupes et Algèbres de Lie, Chapitres 4,5, et 6 . 1981.
- 5[5] R. Carter. Finite groups of Lie type, conjugacy classes, and complex character . Wiley-Interscience, 1985.
- 6[6] W. Casselman. Introduction to the theory of admissible representations of p-adic reductive groups. unpublished notes.
- 7[7] W. Casselman and F. Shahidi. On irreducibility of standard modules for generic representations. Ann. Scien. École Norm. Sup. , 31(4):561–589, 1998.
- 8[8] W. Casselman and J. Shalika. The unramified principal series of p-adic groups II, the Whittaker function. Compositio Math. , 41:207–231, 1980.
