Abstract
In 1980 Zelevinsky introduced certain commuting varieties whose irreducible components classify complex, irreducible representations of the general linear group over a non-archimedean local field with a given supercuspidal support. We formulate geometric conditions for certain triples of such components and conjecture that these conditions are related to irreducibility of parabolic induction. The conditions are in the spirit of the Geiss–Leclerc–Schröer condition that occurs in the conjectural characterization of \(\square \)-irreducible representations. We verify some special cases of the new conjecture and check that the geometric and representation-theoretic conditions are compatible in various ways.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let F be a local non-archimedean field. The smooth, complex representations of \({\text {GL}}_n(F)\), \(n\ge 0\) were studied in depth in the seminal work of Bernstein and Zelevinsky [4, 5, 31]. In particular, Zelevinsky obtained a classification of the set \({\text {Irr}}\) of irreducible representations of \({\text {GL}}_n(F)\), \(n\ge 0\) in terms of multisegments—an essentially combinatorial object. Denote by \(Z({\mathfrak {m}})\) the irreducible representation corresponding to a multisegment \({\mathfrak {m}}\). A basic property is that for any \(\pi _i=Z({\mathfrak {m}}_i)\), \(i=1,\dots ,k\), the representation \(Z({\mathfrak {m}}_1+\dots +{\mathfrak {m}}_k)\) occurs with multiplicity one in the Jordan–Hölder sequence of the representation \(\pi _1\times \dots \times \pi _k\) parabolically induced from \(\pi _1\otimes \dots \otimes \pi _k\). In particular, if \(\pi _1\times \dots \times \pi _k\) happens to be irreducible, then it is equivalent to \(Z({\mathfrak {m}}_1+\dots +{\mathfrak {m}}_k)\). However, the problem of characterizing the irreducibility of \(Z({\mathfrak {m}}_1)\times \dots \times Z({\mathfrak {m}}_k)\) was left open. In this paper we study the case \(k = 2\).
An important special case is when \(\pi _2=\pi _1\). We say that a representation \(\pi \) is \(\square \)-irreducible if \(\pi \times \pi \) is irreducible. It is a well-known consequence of a theorem of Bernstein [7] that every unitarizable representation \(\pi \in {\text {Irr}}\) is \(\square \)-irreducible. However, our emphasis in this paper is on general irreducible representations. The first example of a non-\(\square \)-irreducible \(\pi \in {\text {Irr}}\) was given by Leclerc [22].
The analogues of \(\square \)-irreducible representations in different (but related) contexts (where a different terminology is used) play an important role in the monoidal categorification of cluster algebras, a problem considered by Hernandez–Leclerc [11, 12] and more recently by Kang–Kashiwara–Kim–Oh [15]. We will not say anything about this problem here except to mention that the argument of [14], adapted to the case at hand, shows that if \(\pi \) is \(\square \)-irreducible, then for any \(\pi '\in {\text {Irr}}\), the socles \({\text {soc}}(\pi \times \pi ')\) and \({\text {soc}}(\pi '\times \pi )\) are irreducible and each one occurs with multiplicity one in the Jordan–Hölder sequence of \(\pi \times \pi '\) [20]. It follows that if at least one of \(\pi =Z({\mathfrak {m}})\) and \(\pi '=Z({\mathfrak {m}}')\) is \(\square \)-irreducible, then the irreducibility of \(Z({\mathfrak {m}})\times Z({\mathfrak {m}}')\) is equivalent to the conjunction of the condition
and its symmetric counterpart (interchanging \({\mathfrak {m}}\) and \({\mathfrak {m}}'\)).
On the other hand, in [29] Zelevinsky proposed a geometric framework for his classification. The purpose was twofold: to interpret multiplicities of irreducible representations in a standard module using Kazhdan–Lusztig theory, and to give a geometric interpretation of the Zelevinsky involution. The first goal was expounded in [30] and is best explained by the Arakawa–Suzuki functors [1]—see [20, §10] and the references therein for more details. The second goal was accomplished by Mœglin–Waldspurger who also give a combinatorial description of the resulting involution on multisegments [24]. (The fact that the Zelevinsky involution preserves irreducible representations is a special case of a more general result proved independently by Aubert [2, 3] and Schneider–Stuhler [26]—see also [6] for a more recent treatment).
In this geometric framework, the work of Geiss–Leclerc–Schröer [9] suggests a simple, conjectural geometric criterion for the \(\square \)-irreducibility of \(Z({\mathfrak {m}})\). More precisely, fix a finite-dimensional graded vector space V over \({\mathbb {C}}\) and let \({\mathbb {G}}(V)\) be the group of grading preserving automorphisms of V. Then, the multisegments with supercuspidal support determined by the graded dimension of V, parameterize the finitely many \({\mathbb {G}}(V)\)-orbits on the space of linear transformations \(A:V\rightarrow V\) that are homogeneous of degree 1 (or alternatively, \(-1\)). They also parameterize the irreducible components of the variety \({\mathfrak {X}}(V)\) of commuting pairs of linear transformation \(A,B:V\rightarrow V\) of degree 1 and \(-1\) respectively. Denote by \({\mathfrak {C}}_{\mathfrak {m}}\) irreducible component corresponding to \({\mathfrak {m}}\). The conjecture of [20], inspired by [10, Conjecture 18.1], is that \(Z({\mathfrak {m}})\) is \(\square \)-irreducible if and only if \({\mathfrak {C}}_{\mathfrak {m}}\) admits an open \({\mathbb {G}}(V)\)-orbit. (See Sect. 4 for more details.) This condition can be explicated fairly concretely and can be efficiently checked, at least by a randomized algorithm—see [20] where also a special case of this conjecture was proved, and was related to singularities of Schubert varieties of type A.
The main goal of this paper is to propose and substantiate a conjectural geometric criterion for the irreducibility of \(Z({\mathfrak {m}})\times Z({\mathfrak {m}}')\), provided that at least one of \(Z({\mathfrak {m}})\) and \(Z({\mathfrak {m}}')\) is \(\square \)-irreducible. More precisely, suppose that \({\mathfrak {C}}_{{\mathfrak {m}}}\subset {\mathfrak {X}}(V)\) and \({\mathfrak {C}}_{{\mathfrak {m}}'}\subset {\mathfrak {X}}(V')\). Then, \({\mathfrak {C}}_{{\mathfrak {m}}+{\mathfrak {m}}'}\subset {\mathfrak {X}}(V\oplus V')\) and we can embed \({\mathfrak {C}}_{{\mathfrak {m}}}\times {\mathfrak {C}}_{{\mathfrak {m}}'}\) diagonally in \({\mathfrak {C}}_{{\mathfrak {m}}+{\mathfrak {m}}'}\).
Conjecture 1
Suppose that at least one of \(Z({\mathfrak {m}})\) and \(Z({\mathfrak {m}}')\) is \(\square \)-irreducible. Then,
More generally, under the above assumption we give a conjectural geometric criterion for (1). (See Sect. 5 for more details.) Recall that \({\mathfrak {C}}_{\mathfrak {m}}\) comes with a distinguished \({\mathbb {G}}(V)\)-invariant Zariski open subset \({\mathfrak {C}}_{\mathfrak {m}}^\circ \) (containing the interior of \({\mathfrak {C}}_{\mathfrak {m}}\) in \({\mathfrak {X}}(V)\), but not equal to it in general). Let \({\mathfrak {Y}}\) be the subvariety of \({\mathfrak {C}}_{{\mathfrak {m}}+{\mathfrak {m}}'}\) consisting of the pairs (A, B) satisfying the following two conditions.
-
1.
\(A(V'),B(V')\subset V'\), and \((A\big |_{V'},B\big |_{V'})\in {\mathfrak {C}}_{{\mathfrak {m}}'}^{\circ }\).
-
2.
The induced pair on the quotient V belongs to \({\mathfrak {C}}_{{\mathfrak {m}}}^{\circ }\).
Conjecture 2
Suppose that at least one of \(Z({\mathfrak {m}})\) and \(Z({\mathfrak {m}}')\) is \(\square \)-irreducible. Then,
This conjecture implies Conjecture 1.
The geometric conditions in the two conjectures are in the spirit of the Geiss–Leclerc–Schröer condition. They are equally concrete and can be checked (by a randomized algorithm) very efficiently on a computer.
We will give supportive evidence for Conjecture 2, ergo, Conjecture 1. (See Sect. 6 for more details.) For instance, we show that they hold (without restriction on \({\mathfrak {m}}'\)) in any one of the following cases.
-
1.
\(Z({\mathfrak {m}})\) is unitarizable.
-
2.
\({\mathfrak {m}}\) is a ladder multisegment in the sense of [18].
-
3.
\(Z({\mathfrak {m}})\) is generic, or more generally every segment in \({\mathfrak {m}}\) has the same length.
-
4.
\(Z({\mathfrak {m}})\) is unramified, or more generally, the Zelevinsky dual of \(Z({\mathfrak {m}})\) is generic.
A key ingredient for the proof is the results of [19]. In fact, the conjecture was forged as an attempt to explain the results of [19] geometrically. We also show that Conjecture 2 satisfies a number of non-trivial consistency checks. While in all likelihood new ideas will be needed to establish the conjecture in general, we believe that the attestation that we already have so far cannot be coincidental.
In the best-case scenario, Conjecture 2 may in fact hold without restriction on \({\mathfrak {m}}\) and \({\mathfrak {m}}'\). If true, this would imply that
However, we feel that at this stage it would be too parlous to postulate such a strong form of Conjecture 2 (even in one direction) since our evidence for this generality is indirect and nowhere near conclusive. The main reason is that we do not have a practical way to check the condition (1) independently in general.
At any rate, the condition that \(Z({\mathfrak {m}}+{\mathfrak {m}}')\text { is a direct summand of }Z({\mathfrak {m}})\times Z({\mathfrak {m}}')\) is strictly weaker than the irreducibility of \(Z({\mathfrak {m}})\times Z({\mathfrak {m}}')\). In fact, there are plenty of examples of irreducible representations \(\pi \) of \({\text {GL}}_n(F)\) such that \(\pi \times \pi \) is semisimple of length two. Consequently, Conjecture 1 would have been false had we lifted the assumptions on \({\mathfrak {m}}\) and \({\mathfrak {m}}'\). In order to obtain a precise irreducibility criterion without restriction on \({\mathfrak {m}}\) and \({\mathfrak {m}}'\), we would need to characterize the condition
(which in general is stronger than (1)) and at present we do not have a conjectural geometric criterion for this.
In a different direction, a natural follow-up question, which we hope to address in the future, is to obtain a geometric insight on \({\text {soc}}(Z({\mathfrak {m}})\times Z({\mathfrak {m}}'))\), assuming as before that at least one of \(Z({\mathfrak {m}})\) and \(Z({\mathfrak {m}}')\) is \(\square \)-irreducible.
Finally, we point out that our conjectures do not seem to lie in the scope of the Langlands program.
The contents of the paper are as follows. After introducing the relevant notation and the Zelevinsky classification (Sect. 2) we recall the notion of \(\square \)-irreducible representations and basic facts about irreducibility of parabolic induction (Sect. 3). In Sect. 4 we recall the geometric condition of Geiss–Leclerc–Schröer and the conjecture relating it to \(\square \)-irreducibility. The heart of the paper is Sect. 5 where we state Conjectures 1 and 2 and analyze the pertinent geometric conditions. In Sect. 6 we state results confirming these conjectures in special cases and provide several consistency checks for them. These results are proved in Sect. 8 using Jacquet module techniques and other combinatorial tools which are recalled in Sect. 7.
2 Notation and preliminaries
2.1 General notation
Throughout the paper we fix a non-archimedean local field F with normalized absolute value \(\left| {\cdot }\right| \). For a non-negative integer n let \({\mathcal {M}}_n\) denote the \({\mathbb {C}}\)-linear, locally finite, abelian category of complex, smooth, finite length (hence admissible) representations of the group \({\text {GL}}_n(F)\). Set
and denote the simple objects of \({\mathcal {M}}\) by
In particular, write \({\text {Irr}}{\mathcal {M}}_0=\{{\mathbf {1}}\}\). We denote by
the subset of irreducible supercuspidal representations. By abuse of notation we often write \(\pi \in {\mathcal {M}}\) to mean that \(\pi \) is an object of \({\mathcal {M}}\).
For \(\tau ,\pi \in {\mathcal {M}}\) we write \(\tau \hookrightarrow \pi \) (resp., \(\tau \twoheadrightarrow \pi \)) if there exists an injective (resp., surjective) morphism from \(\tau \) to \(\pi \). If \(\tau \in {\text {Irr}}\) and \(\pi \in {\mathcal {M}}\), we will write \(\tau \le \pi \) for the condition that \(\tau \) occurs as a subquotient of \(\pi \) (i.e., \(\tau \) occurs in the Jordan–Hölder sequence \({\text {JH}}(\pi )\) of \(\pi \)). If \(\tau \) occurs with multiplicity one in \({\text {JH}}(\pi )\), then we will write \(\tau \trianglelefteq \pi \).
As customary, normalized parabolic induction with respect to standard (block upper triangular) parabolic subgroup will be denoted by \(\times \). This is a bilinear biexact bifunctor with associativity constraints given by induction in stages. In other words, \(\times \) endows \({\mathcal {M}}\) with the structure of a ring category with unit element \({\mathbf {1}}\). The Grothendieck group
of \({\mathcal {M}}\) inherits a structure of a graded commutative ring.
For any \(\pi \in {\mathcal {M}}_n\) and a character \(\chi \) of \(F^*\), we denote by \(\pi \cdot \chi \) the representation obtained from \(\pi \) by twisting by the character \(\chi \circ \det \). In particular, we write
We denote by \(\pi ^\vee \) the contragredient of \(\pi \) and by \({\text {soc}}(\pi )\) the socle of \(\pi \), i.e., the largest semisimple subobject of \(\pi \). (If \(\pi \ne 0\), then \({\text {soc}}(\pi )\ne 0\).)
Definition 1
We say that \(\pi \in {\mathcal {M}}\) is socle irreducible (SI) if \({\text {soc}}(\pi )\) is irreducible and \({\text {soc}}(\pi )\trianglelefteq \pi \).
Note that if \(\pi \in {\mathcal {M}}\) is SI and \(0\ne \tau \hookrightarrow \pi \) then \(\tau \) is SI and \({\text {soc}}(\tau )={\text {soc}}(\pi )\).
By the argument of [24, p. 173], for any \(\pi _1,\pi _2,\tau \in {\text {Irr}}\) we have
For any set A we denote by \({\mathbb {N}}({A})\) the free commutative monoid generated by the elements of A. It consists of finite formal sums of elements of A. The standard order on \({\mathbb {N}}({A})\) will be denoted by \(\le \).
We may view \({\text {JH}}\) as a map from the objects of \({\mathcal {M}}\) to \({\mathbb {N}}({{\text {Irr}}})\). Thus, for \(\tau \in {\text {Irr}}\) and \(\pi \in {\mathcal {M}}\) we have \(\tau \le \pi \) if and only if \(\tau \le {\text {JH}}(\pi )\) in \({\mathbb {N}}({{\text {Irr}}})\).
For any \(\pi \in {\text {Irr}}\) there exist \(\rho _1,\dots ,\rho _k\in {\text {Irr}}_c\) such that \(\pi \le \rho _1\times \dots \times \rho _k\). The supercuspidal support map
is well-defined and finite-to-one [5].
2.2 Zelevinsky classification and involution [31]
A segment (of length k) is a nonempty finite set of the form
where \(\rho _i\in {\text {Irr}}_c\) and \(\rho _{i+1}=\overset{\rightarrow }{\rho }_i\) for all \(i=1,\dots ,k-1\). For any such \(\varDelta \) we set
For compatibility, we also set \(Z(\emptyset )=L(\emptyset )={\mathbf {1}}\). Let \(\varSigma \) be the set of all segments. For \(\varDelta , \varDelta '\in \varSigma \) we write \(\varDelta \prec \varDelta '\) (and say that \(\varDelta \) precedes \(\varDelta '\)) if \(b(\varDelta )\notin \varDelta '\), \(b(\varDelta ')\in \overset{\rightarrow }{\varDelta }\) and \(e(\varDelta ')\notin \varDelta \). Thus,
We say that \(\varDelta ,\varDelta '\in \varSigma \) are linked if either \(\varDelta \prec \varDelta '\) or \(\varDelta '\prec \varDelta \). (Equivalently, \(\varDelta \cup \varDelta '\in \varSigma \) and \(\varDelta ,\varDelta '\subsetneq \varDelta \cup \varDelta '\).)
By definition, a multisegment is an element of \({\mathbb {N}}({\varSigma })\). We extend the maps \(\varDelta \mapsto {\text {supp}}(\varDelta )\) and \(\varDelta \mapsto \varDelta ^\vee \) to an additive map
and an additive involution \({\mathfrak {m}}\mapsto {\mathfrak {m}}^\vee \) on \({\mathbb {N}}({\varSigma })\), respectively. Given \({\mathfrak {m}}=\varDelta _1+\dots +\varDelta _k\in {\mathbb {N}}({\varSigma })\) we may enumerate the \(\varDelta _i\)’s (in possibly more than one way) such that \(\varDelta _i\not \prec \varDelta _j\) whenever \(i<j\). Then, the representation \({\mathfrak {z}}({\mathfrak {m}})=Z(\varDelta _1)\times \dots \times Z(\varDelta _k)\) is SI and up to equivalence, depends only on \({\mathfrak {m}}\). The main result of Zelevinsky is that the map
is a bijection between \({\mathbb {N}}({\varSigma })\) and \({\text {Irr}}\). There is also a dual bijection given by \({\mathfrak {m}}\mapsto L({\mathfrak {m}}):={\text {soc}}(\lambda ({\mathfrak {m}}))\) where \(\lambda ({\mathfrak {m}})=L(\varDelta _k)\times \dots \times L(\varDelta _1)\) (under the same assumption on the order of the \(\varDelta _i\)’s). The latter is essentially the Langlands classification in this context. We refer the reader to [19, §3] for a summary of the basic properties of these bijections. In particular, \(Z(0)=L(0)={\mathbf {1}}\),
\({\mathfrak {s}}(Z({\mathfrak {m}}))={\mathfrak {s}}(L({\mathfrak {m}}))={\text {supp}}{\mathfrak {m}}\) and
The two bijections are related by Deligne–Lusztig type duality. Let \(^t\) denote the duality functor on \({\mathcal {M}}\) defined by Schneider–Stuhler in [26], composed with the contragredient (in order to make it covariant). (See also [6] for a more recent approach.) Then
for all \({\mathfrak {m}}\in {\mathbb {N}}({\varSigma })\) and
Finally, let
be the bijection (in fact, involution) such that \(L({\mathfrak {m}})=Z({\mathfrak {m}}^\#)\). Note that \(^{\#}\) is not additive.
We recall the recursive algorithm, due to Mœglin–Waldspurger [24], for the computation of the involution \({\mathfrak {m}}\mapsto {\mathfrak {m}}^{\#}\). For convenience (although it is not absolutely necessary) we fix a total order \(\le \) on \({\text {Irr}}_c\) subject only to the condition that \(\rho <\overset{\rightarrow }{\rho }\) for all \(\rho \in {\text {Irr}}_c\). Set \(0^{\#}=0\). For \(0\ne {\mathfrak {m}}=\sum _{i\in I}\varDelta _i\in {\mathbb {N}}({\varSigma })\) define
Let \(m\ge 1\) and \(i_1,\dots ,i_m\in I\) be indices such that
We call \(i_1,\dots ,i_m\) leading indices of \({\mathfrak {m}}\). (Note that \(i_1,\dots ,i_m\) are not uniquely determined, but m and \(\varDelta _{i_1},\dots ,\varDelta _{i_m}\) are.) Let \(\varDelta ({\mathfrak {m}})\) be the segment
and setFootnote 1
so that \({\text {supp}}({\mathfrak {m}})={\text {supp}}({\mathfrak {m}}^-)+{\text {supp}}(\varDelta ({\mathfrak {m}}))\). (We discard \(\varDelta '_i\) if it is the empty set.) By [24, §II.2], \({\mathfrak {m}}^\#=({\mathfrak {m}}^-)^\#+\varDelta ({\mathfrak {m}})\). Moreover, \(\varDelta ({\mathfrak {m}})\) is the segment of \({\mathfrak {m}}^\#\) such that \(e(\varDelta ({\mathfrak {m}}))=\max {\mathfrak {m}}=\max {\mathfrak {m}}^\#\) and \(b(\varDelta ({\mathfrak {m}}))\) is minimal with respect to this property.
3 The conditions \({\text {SA}}({\mathfrak {m}},{\mathfrak {m}}')\) and \({\text {SSA}}({\mathfrak {m}},{\mathfrak {m}}')\); \(\square \)-irreducibility
3.1 Subadditivity conditions
Let \({\mathfrak {m}},{\mathfrak {m}}'\in {\mathbb {N}}({\varSigma })\). The following properties will be our main concern.
Definition 2
-
1.
We denote by \({\text {SA}}({\mathfrak {m}},{\mathfrak {m}}')\) the following equivalent conditions (by (2), (6) and (7)).
-
(a)
\(Z({\mathfrak {m}}+{\mathfrak {m}}')\hookrightarrow Z({\mathfrak {m}})\times Z({\mathfrak {m}}')\).
-
(b)
\(L({\mathfrak {m}}+{\mathfrak {m}}')\hookrightarrow L({\mathfrak {m}}')\times L({\mathfrak {m}})\).
-
(c)
\(Z({\mathfrak {m}}')\times Z({\mathfrak {m}})\twoheadrightarrow Z({\mathfrak {m}}+{\mathfrak {m}}')\).
-
(d)
\(L({\mathfrak {m}})\times L({\mathfrak {m}}')\twoheadrightarrow L({\mathfrak {m}}+{\mathfrak {m}}')\).
-
(a)
-
2.
We denote by \({\text {SSA}}({\mathfrak {m}},{\mathfrak {m}}')\) the following equivalent conditions (by (5) and [19, Lemma 4.2]).
-
(a)
\(Z({\mathfrak {m}}+{\mathfrak {m}}')\simeq {\text {soc}}(Z({\mathfrak {m}})\times Z({\mathfrak {m}}'))\).
-
(b)
\(\forall \tau \in {\text {Irr}}\), \(\tau \hookrightarrow Z({\mathfrak {m}})\times Z({\mathfrak {m}}')\implies \tau =Z({\mathfrak {m}}+{\mathfrak {m}}')\).
-
(c)
\(Z({\mathfrak {m}})\times Z({\mathfrak {m}}')\hookrightarrow {\mathfrak {z}}({\mathfrak {m}}+{\mathfrak {m}}')\).
-
(d)
\(L({\mathfrak {m}}+{\mathfrak {m}}')\simeq {\text {soc}}(L({\mathfrak {m}}')\times L({\mathfrak {m}}))\).
-
(e)
\(\forall \tau \in {\text {Irr}}\), \(\tau \hookrightarrow L({\mathfrak {m}}')\times L({\mathfrak {m}})\implies \tau =L({\mathfrak {m}}+{\mathfrak {m}}')\).
-
(f)
\(\lambda ({\mathfrak {m}}+{\mathfrak {m}}')\twoheadrightarrow L({\mathfrak {m}})\times L({\mathfrak {m}}')\).
-
(a)
(The notation \({\text {SA}}({\mathfrak {m}},{\mathfrak {m}}')\) and \({\text {SSA}}({\mathfrak {m}},{\mathfrak {m}}')\) stand for “(strongly) subrepresentation + additive”).
Clearly, \({\text {SSA}}({\mathfrak {m}},{\mathfrak {m}}')\implies {\text {SA}}({\mathfrak {m}},{\mathfrak {m}}')\), while
and similarly for \({\text {SSA}}({\mathfrak {m}},{\mathfrak {m}}')\).
A simple sufficient condition for \({\text {SSA}}({\mathfrak {m}},{\mathfrak {m}}')\) is the following (see e.g., [19, Proposition 3.5]).
The conditions \({\text {SA}}({\mathfrak {m}},{\mathfrak {m}}')\) and \({\text {SSA}}({\mathfrak {m}},{\mathfrak {m}}')\) are instrumental for proving irreducibility. More precisely, again by (5),
As we will recall below, it is possible that \(Z({\mathfrak {m}})\times Z({\mathfrak {m}}')\) is semisimple but not irreducible. In particular, \({\text {SSA}}({\mathfrak {m}},{\mathfrak {m}}')\) is strictly stronger than \({\text {SA}}({\mathfrak {m}},{\mathfrak {m}}')\).
3.2 \(\square \)-irreducible representations
For any \(0\ne \pi _i\in {\mathcal {M}}_{n_i}\), \(i=1,2\) consider the standard (unnormalized) intertwining operators
They are given by convergent integrals for \(\mathfrak {R}s\gg 0\) and admit a meromorphic continuation (e.g., [28, Ch. IV]).Footnote 2 The leading term in the Laurent expansion at \(s=0\) is a non-zero intertwining operator
The following key definition is inspired by the work of Hernandez–Leclerc and Kang–Kashiwara–Kim–Oh.
Definition 3
(See [14, 15, 20]) An object \(\pi \ne 0\) of \({\mathcal {M}}\) (necessarily in \({\text {Irr}}\)) is called \(\square \)-irreducible if the following equivalent conditions are satisfied.
-
1.
\(\pi \times \pi \) is irreducible.
-
2.
\({\text {End}}_{{\mathcal {M}}}(\pi \times \pi )={\mathbb {C}}\).
-
3.
\(R_{\pi ,\pi }\) is a scalar.
-
4.
\(\pi \times \pi \) is SI.
-
5.
\(\pi =Z({\mathfrak {m}})\) and \({\text {SSA}}({\mathfrak {m}},{\mathfrak {m}})\).
We denote by \({\text {Irr}}^\square \subset {\text {Irr}}\) the class of \(\square \)-irreducible representations. Clearly, this class is invariant under contragredient and the duality \(^t\). The first example of an irreducible representation \(\pi \) (of \({\text {GL}}_8(F)\)) which is not \(\square \)-irreducible was given by Leclerc [22]. Explicitly, let
and for simplicity we write [a, b] for the segment \(\{\left| {\cdot }\right| ^a,\dots ,\left| {\cdot }\right| ^b\}\) consisting of characters of \({\text {GL}}_1(F)=F^*\). Then,
Note that \(\pi ^\vee =\pi ^t=\pi \).
3.3 Basic properties
An important property of \(\square \)-irreducible representations is the following.
Proposition 1
( [20] which is based on [14, 15]) Suppose that \(\pi \) is \(\square \)-irreducible. Then, for any \(\pi '\in {\text {Irr}}\),
-
1.
\(\pi \times \pi '\) and \(\pi '\times \pi \) are SI.
-
2.
\({\text {soc}}(\pi \times \pi ')={\text {Im}} R_{\pi ',\pi }\).
-
3.
\({\text {soc}}(\pi '\times \pi )={\text {Im}} R_{\pi ,\pi '}\).
-
4.
The following conditions are equivalent:
-
(a)
\(\pi \times \pi '\) is irreducible.
-
(b)
\(R_{\pi ,\pi '}\) is an isomorphism.
-
(c)
\(R_{\pi ',\pi }\) is an isomorphism.
-
(d)
\(\pi \times \pi '\simeq \pi '\times \pi \).
-
(e)
\({\text {soc}}(\pi \times \pi ')\simeq {\text {soc}}(\pi '\times \pi )\).
-
(a)
Corollary 1
Suppose that
Then, the following conditions are equivalent.
-
1.
\({\text {SA}}({\mathfrak {m}},{\mathfrak {m}}')\).
-
2.
\({\text {SSA}}({\mathfrak {m}},{\mathfrak {m}}')\).
-
3.
The image of \(R_{Z({\mathfrak {m}}'),Z({\mathfrak {m}})}\) is isomorphic to \(Z({\mathfrak {m}}+{\mathfrak {m}}')\).
In particular, \(Z({\mathfrak {m}})\times Z({\mathfrak {m}}')\) is irreducible \(\iff \) both \({\text {SA}}({\mathfrak {m}},{\mathfrak {m}}')\) and \({\text {SA}}({\mathfrak {m}}',{\mathfrak {m}})\) are satisfied.
We do not know whether in general the condition \({\text {SA}}({\mathfrak {m}},{\mathfrak {m}}')\) implies that \(Z({\mathfrak {m}}+{\mathfrak {m}}')\) is a subrepresentation of the image of \(R_{Z({\mathfrak {m}}'),Z({\mathfrak {m}})}\).
Remark 1
Let \(\pi =Z({\mathfrak {m}})\in {\text {Irr}}\) and \(\varPi =\pi \times \pi \).
-
1.
By (2), every irreducible subrepresentation of \(\varPi \) also occurs as a quotient of \(\varPi \). Hence, any irreducible subrepresentation \(\tau \) of \(\varPi \) such that \(\tau \trianglelefteq \varPi \) is a direct summand of \(\varPi \). It easily follows that if \(\varPi \) is multiplicity free (i.e., if every element of \({\text {JH}}(\varPi )\) occurs with multiplicity one), then \(\varPi \) is semisimple, and in particular \({\text {SA}}({\mathfrak {m}},{\mathfrak {m}})\) is satisfied.
-
2.
In Leclerc’s example (12), \(\varPi \) is of length two, and in particular multiplicity free. Hence, in general the condition \({\text {SA}}({\mathfrak {m}},{\mathfrak {m}})\) is strictly weaker than \({\text {SSA}}({\mathfrak {m}},{\mathfrak {m}})\) (i.e., the \(\square \)-irreducibility of \(\pi \)).
-
3.
The first-named author computed \({\text {JH}}(\varPi )\) for all multisegments \({\mathfrak {m}}\) consisting of at most 6 segments. (The computation involves Kazhdan–Lusztig polynomials of the symmetric group \(S_{12}\). See [17] for more details.) It turns out that in these cases, \(\varPi \) is multiplicity free if and only if \(\varPi \) has length one or two. An example where this condition fails is
$$\begin{aligned} {\mathfrak {m}}=[1,3]+[-2,2]+[-1,1]+[0,0]+[-3,-1] \end{aligned}$$in which \(\varPi \) has length 9 with
$$\begin{aligned}&Z([-2,3]+[-3,2]+[1,3]+[-1,2]+[-2,1]+[0,1]+[-1,0]+[-3,-1])\\&\quad = Z([-2,3]+[-3,2]) \times Z([1,3]+[-1,2] +\,[-2,1]+[0,1]+[-1,0]+[-3,-1]) \end{aligned}$$occurring with multiplicity 2 in \({\text {JH}}(\varPi )\). Another example is
$$\begin{aligned} {\mathfrak {m}}=[2,4]+[-2,3]+[-1,2]+[0,1]+[-4,0]+[-3,-1] \end{aligned}$$for which \(\varPi \) has length 257 (the largest possible for \({\mathfrak {m}}\) up to 6 segments), with
$$\begin{aligned}&Z([-2,4]+[-3,3]+[-4,2]+[2,4]+[-4,3]+[-1,2]+[-2,1]\\&+[-3,0] + [0,0]+[-1,-1])= Z([-2,4]+[-3,3]+[-4,2]) \times \\&Z([2,4]+[-4,3]+[-1,2]+[-2,1]+[-3,0])\times Z([0,0]+[-1,-1]) \end{aligned}$$occurring with multiplicity 9 (again, the highest possible) in \({\text {JH}}(\varPi )\).
-
4.
Unfortunately, in contrast to the multiplicity freeness of \(\varPi \), we do not have a practical way to completely determine whether \(\varPi \) is semisimple or whether the condition \({\text {SA}}({\mathfrak {m}},{\mathfrak {m}})\) is satisfied. In fact, at the moment we are unable to refute the condition \({\text {SA}}({\mathfrak {m}},{\mathfrak {m}})\), or even the semisimplicity of \(\varPi \), in any single example.
We also remark that if \(\pi _1,\pi _2\) are \(\square \)-irreducible and \(\pi _1\times \pi _2\) is irreducible, then \(\pi _1\times \pi _2\) is \(\square \)-irreducible ( [20, Corollary 2.7]).
Finally, we mention another simple property, which is a powerful tool for proving \(\square \)-irreducibility ( [20, Lemma 2.10]).
An interesting question, which will not be discussed here, is whether conversely, given a non-supercuspidal \(\pi \in {\text {Irr}}^\square \), do there always exist \({\mathbf {1}}\ne \pi _1,\pi _2\in {\text {Irr}}^\square \) such that \(\pi \hookrightarrow \pi _1\times \pi _2\) and \(\pi \times \pi _1\) is irreducible?
4 A geometric condition of Geiss–Leclerc–Schröer
4.1 Zelevinsky’s commuting varieties
We recall Zelevinsky’s geometric picture of his classification [16, 24, 29, 30]. Consider a finite-dimensional \({\text {Irr}}_c\)-graded \({\mathbb {C}}\)-vector space
Up to isomorphism, \({\mathbf {V}}\) is determined by its graded dimension
Let
be the group of grading preserving linear automorphisms of \({\mathbf {V}}\) and let
be the vector space of (nilpotent) linear transformations \(A:{\mathbf {V}}\rightarrow {\mathbf {V}}\) such that \(A({\mathbf {V}}_\rho )\subseteq {\mathbf {V}}_{\overset{\rightarrow }{\rho }}\) (resp., \(A({\mathbf {V}}_\rho )\subseteq {\mathbf {V}}_{\overset{\leftarrow }{\rho }}\)) for all \(\rho \in {\text {Irr}}_c\). We will use the notational convention \(\overset{\leftrightarrow }{{\mathbb {E}}}({\mathbf {V}})\) to denote either of the spaces \(\overset{\rightarrow }{{\mathbb {E}}}({\mathbf {V}})\) and \(\overset{\leftarrow }{{\mathbb {E}}}({\mathbf {V}})\). A similar praxis will apply in other instances.
The group \({\mathbb {G}}({\mathbf {V}})\) acts on each of the spaces \(\overset{\leftrightarrow }{{\mathbb {E}}}({\mathbf {V}})\) (by conjugation) with finitely many orbits and the spaces \(\overset{\leftrightarrow }{{\mathbb {E}}}({\mathbf {V}})\) are in duality with respect to the \({\mathbb {G}}({\mathbf {V}})\)-invariant pairing \((A,B)\mapsto {\text {tr}}AB={\text {tr}}BA\). The orbit of an element \(A\in \overset{\leftrightarrow }{{\mathbb {E}}}({\mathbf {V}})\) is determined by the non-negative integers \({\text {rk}}A^i\big |_{{\mathbf {V}}_\rho }\), \(i\ge 0\), \(\rho \in {\text {Irr}}_c\) (which are non-zero for only finitely many i’s and \(\rho \)’s). The orbits are parameterized by the multisegments \({\mathfrak {m}}\) such that \({\text {supp}}({\mathfrak {m}})={\text {grdim}}{\mathbf {V}}\). Concretely, given such \({\mathfrak {m}}=\sum _{i\in I}\varDelta _i\in {\mathbb {N}}({\varSigma })\), an element \(A\in \overset{\leftrightarrow }{{\mathbb {E}}}({\mathbf {V}})\) belongs to the orbit \(\overset{\leftrightarrow }{{\mathcal {O}}}_{{\mathfrak {m}}}\) corresponding to \({\mathfrak {m}}\) if and only if there exists a graded basis \(x_{\rho ,i}\), \(i\in I\), \(\rho \in \varDelta _i\) (graded by \(\rho \)) of \({\mathbf {V}}\) for which A has a graded Jordan normal form
where we set \(x_{\rho ,j}=0\) if \(\rho \notin \varDelta _j\).
The \({\mathbb {G}}({\mathbf {V}})\)-orbits in \(\overset{\leftrightarrow }{{\mathbb {E}}}({\mathbf {V}})\) are also in one-to-one correspondence with the irreducible components of the commuting variety
[25]. These bijections take an orbit \({\mathcal {O}}\) in \(\overset{\leftrightarrow }{{\mathbb {E}}}({\mathbf {V}})\) to the Zariski closure \(\overline{\overset{\leftrightarrow }{p}_{{\mathbf {V}}}^{-1}({\mathcal {O}})}\) of \(\overset{\leftrightarrow }{p}_{{\mathbf {V}}}^{-1}({\mathcal {O}})\) where
are the canonical projections. Let \(\overset{\leftrightarrow }{{\mathfrak {C}}}_{{\mathfrak {m}}}\) be the irreducible components of \({\mathfrak {X}}({\mathbf {V}})\) corresponding to \(\overset{\leftrightarrow }{{\mathcal {O}}}_{{\mathfrak {m}}}\). They are related by \(\overset{\rightarrow }{{\mathfrak {C}}}_{{\mathfrak {m}}}=\overset{\leftarrow }{{\mathfrak {C}}}_{{\mathfrak {m}}^\#}\) [24] where we recall that \({\mathfrak {m}}^\#\) was defined in Sect. 2.2. We also write
so that \(\overset{\leftrightarrow }{{\mathfrak {C}}}_{{\mathfrak {m}}}=\overline{\overset{\leftrightarrow }{{\mathfrak {C}}}^\circ _{{\mathfrak {m}}}}\). Note that \(\overset{\leftrightarrow }{{\mathfrak {C}}}^\circ _{{\mathfrak {m}}}\) is \({\mathbb {G}}({\mathbf {V}})\)-invariant and open in \(\overset{\leftrightarrow }{{\mathfrak {C}}}_{{\mathfrak {m}}}\). (We caution that \(\overset{\leftrightarrow }{{\mathfrak {C}}}^\circ _{{\mathfrak {m}}}\) contains the interior \(\overset{\leftrightarrow }{{\mathfrak {C}}}_{{\mathfrak {m}}}{\setminus } \cup _{{\mathfrak {m}}'\ne {\mathfrak {m}}}\overset{\leftrightarrow }{{\mathfrak {C}}}_{{\mathfrak {m}}'}\) of \(\overset{\leftrightarrow }{{\mathfrak {C}}}_{\mathfrak {m}}\) in \({\mathfrak {X}}({\mathbf {V}})\), but the inclusion is strict in general).
4.2 The condition \(GLS(\hbox {m})\)
In general, there are infinitely many \({\mathbb {G}}({\mathbf {V}})\)-orbits in \({\mathfrak {X}}({\mathbf {V}})\). Following Geiss–Leclerc–Schröer [10] we make the following definition. (As before, \({\mathfrak {m}}\in {\mathbb {N}}({\varSigma })\) and \({\text {supp}}{\mathfrak {m}}={\text {grdim}}{\mathbf {V}}\).)
Definition 4
We say that the condition \(GLS({\mathfrak {m}})\) holds if \(\overset{\rightarrow }{{\mathfrak {C}}}_{\mathfrak {m}}\) admits an open (i.e., dense) \({\mathbb {G}}({\mathbf {V}})\)-orbit.
By [20, Remark 4.6], the analogous condition for \(\overset{\leftarrow }{{\mathfrak {C}}}_{\mathfrak {m}}\) is equivalent. Therefore, from now on we will exclusively work with \(\overset{\rightarrow }{{\mathfrak {C}}}_{\mathfrak {m}}\). In order to simplify the notation, we will henceforth write \({\mathfrak {C}}_{{\mathfrak {m}}}\) instead of \(\overset{\rightarrow }{{\mathfrak {C}}}_{\mathfrak {m}}\) (and similarly for \({\mathcal {O}}_{{\mathfrak {m}}}\) and \({\mathfrak {C}}_{{\mathfrak {m}}}^{\circ }\)).
Note that an open \({\mathbb {G}}({\mathbf {V}})\)-orbit in \({\mathfrak {C}}_{\mathfrak {m}}\), if exists, is necessarily contained in \({\mathfrak {C}}_{\mathfrak {m}}^\circ \).
Conjecture 3
( [20], following [10, Conjecture 18.1]) For any multisegment \({\mathfrak {m}}\), \(Z({\mathfrak {m}})\) is \(\square \)-irreducible if and only if \(GLS({\mathfrak {m}})\) holds.
4.3 Linearization
As in [20, §4], it is advantageous to explicate the condition \(GLS({\mathfrak {m}})\) by linearization. More precisely, fix \({\mathbf {A}}_{{\mathfrak {m}}}\in {\mathcal {O}}_{\mathfrak {m}}\) and write it in the form (14) for a suitable basis \(x_{\rho ,i}\), \(\rho \in \varDelta _i\), \(i\in I\). The map \(\overset{\leftarrow }{p}_{{\mathbf {V}}}\) identifies the fibre \(\overset{\rightarrow }{p}_{{\mathbf {V}}}^{-1}({\mathbf {A}}_{{\mathfrak {m}}})\) with the centralizer \({\mathbf {C}}_{\mathfrak {m}}\) of \({\mathbf {A}}_{{\mathfrak {m}}}\) in \(\overset{\leftarrow }{{\mathbb {E}}}({\mathbf {V}})\). The stabilizer \({\mathbf {G}}_{\mathfrak {m}}\) of \({\mathbf {A}}_{{\mathfrak {m}}}\) in \({\mathbb {G}}({\mathbf {V}})\) acts linearly on \({\mathbf {C}}_{{\mathfrak {m}}}\). (Note that \({\mathbf {G}}_{{\mathfrak {m}}}\) is usually not reductive.) Thus, \(GLS({\mathfrak {m}})\) holds if and only if \({\mathbf {G}}_{{\mathfrak {m}}}\) admits an open (i.e., dense) orbit in \({\mathbf {C}}_{{\mathfrak {m}}}\), i.e., \({\mathbf {C}}_{{\mathfrak {m}}}\) is a prehomogenuous vector space with respect to the action of \({\mathbf {G}}_{{\mathfrak {m}}}\). Passing to the Lie algebra, we can rephrase it by saying that there exists \(\lambda \in {\mathbf {C}}_{{\mathfrak {m}}}\) such that \([{\mathfrak {g}}_{\mathfrak {m}},\lambda ]={\mathbf {C}}_{{\mathfrak {m}}}\) where \({\mathfrak {g}}_{\mathfrak {m}}\) is the Lie algebra of \({\mathbf {G}}_{{\mathfrak {m}}}\).
The vector space \({\mathbf {C}}_{{\mathfrak {m}}}\) was explicated in [24, Lemme II.4] as follows. Let \(X_{\mathfrak {m}}\) be the set
Then, \({\mathbf {C}}_{{\mathfrak {m}}}\) admits a basis \(\alpha _{i,j}=\alpha _{i,j}^{{\mathfrak {m}}}\), \((i,j)\in X_{\mathfrak {m}}\) given by
where \(\delta _{r,s}\) is Kronecker’s delta. (Recall that by convention, \(x_{\rho ,j}=0\) if \(\rho \notin \varDelta _j\).) For any \(\lambda \in {\mathbf {C}}_{{\mathfrak {m}}}\), we write the coordinates of \(\lambda \) with respect to the basis \(\alpha _{i,j}\) as \(\lambda _{i,j}\in {\mathbb {C}}\), \((i,j)\in X_{\mathfrak {m}}\). Thus,
Similarly, the group \({\mathbf {G}}_{{\mathfrak {m}}}\) and its Lie algebra \({\mathfrak {g}}_{\mathfrak {m}}\) are described in [24, Lemme II.5]. Let \(Y_{\mathfrak {m}}\) be the set
Then, as a vector space, \({\mathfrak {g}}_{\mathfrak {m}}\) has a basis \(\beta _{i,j}=\beta _{i,j}^{{\mathfrak {m}}}\), \((i,j)\in Y_{\mathfrak {m}}\) given by
Thus, \(g\in {\mathbb {G}}({\mathbf {V}})\) is in \({\mathbf {G}}_{{\mathfrak {m}}}\) if and only if
for scalars \(g_{i,j}\), \((i,j)\in Y_{\mathfrak {m}}\). We will call \(g_{i,j}\) the coordinates of g.
Moreover, we have
where for convenience we set \(\alpha _{r,s}=0\) if \((r,s)\notin X_{\mathfrak {m}}\).
Therefore, by passing to the dual map we can explicate the surjectivity of the linear map \([\cdot ,\lambda ]:{\mathfrak {g}}_{\mathfrak {m}}\rightarrow {\mathbf {C}}_{{\mathfrak {m}}}\) as follows.
Lemma 1
Consider the \({\mathbb {C}}\)-vector space \({\mathbb {C}}^{Y_{\mathfrak {m}}}\) with standard basis \(\{y_{i,j}:(i,j)\in Y_{\mathfrak {m}}\}\). Then, \(GLS({\mathfrak {m}})\) is satisfied if and only if there exists \(\lambda \in {\mathbf {C}}_{{\mathfrak {m}}}\), with coordinates \(\lambda _{i,j}\in {\mathbb {C}}\), \((i,j)\in X_{\mathfrak {m}}\), such that the vectors
are linearly independent in \({\mathbb {C}}^{Y_{\mathfrak {m}}}\).
Note that the linear independence of \(v_{i,j}^{\mathfrak {m}}(\lambda )\), \((i,j)\in X_{\mathfrak {m}}\) is an open and \({\mathbf {G}}_{{\mathfrak {m}}}\)-invariant condition in \(\lambda \in {\mathbf {C}}_{{\mathfrak {m}}}\). This condition is also easy to check (by a randomized algorithm) on a computer. (See [20, Remark 4.9] for a hypothetical approach to make this deterministic.) We refer to [20, §4] for examples and further discussion.
The condition \(GLS({\mathfrak {m}})\) is invariant under the involutions \({\mathfrak {m}}\mapsto {\mathfrak {m}}^\vee \) and \({\mathfrak {m}}\mapsto {\mathfrak {m}}^\#\) [20, Remark 4.18].
The main result of [20] is that Conjecture 3 holds in the special case where \({\mathfrak {m}}=\sum _{i\in I}\varDelta _i\) is regular, i.e., when \(e(\varDelta _i)\ne e(\varDelta _j)\) and \(b(\varDelta _i)\ne b(\varDelta _j)\) for all \(i\ne j\). In this case, the condition is also related, somewhat surprisingly, to smoothness of Schubert varieties of type A.
It was also verified computationally that Conjecture 3 holds for \({\mathfrak {m}}\) consisting of up to 6 segments.
5 Conjectural geometric conditions for \({\text {SA}}({\mathfrak {m}},{\mathfrak {m}}')\)
In this section, which is the heart of the paper, we introduce a new, and easy to check, geometric condition \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\) pertaining to two multisegments \({\mathfrak {m}},{\mathfrak {m}}'\). This condition is in the spirit of the condition \(GLS({\mathfrak {m}})\) discussed in Sect. 4.2. We conjecture that \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\) is equivalent to \({\text {SA}}({\mathfrak {m}},{\mathfrak {m}}')\), at least under the condition (ALO) of Sect. 3.3. In particular, in this case it would give a practical condition for irreducibility of parabolic induction.
5.1 General setup
We continue to work with the geometric setup and the notation of the previous section.
Let \({\mathbf {V}}\) and \({\mathbf {V}}'\) be two finite-dimensional \({\text {Irr}}_c\)-graded vector spaces over \({\mathbb {C}}\). Consider the direct sum \({\tilde{{\mathbf {V}}}}={\mathbf {V}}\oplus {\mathbf {V}}'\) and the short exact sequence
Define the spaces \(\overset{\rightarrow }{{\mathbb {E}}^{\imath }}({\tilde{{\mathbf {V}}}})\) and \(\overset{\leftarrow }{{\mathbb {E}}^{\imath }}({\tilde{{\mathbf {V}}}})\) by
and let
The stabilizer \({\mathbb {P}}^{\imath }\) of \({\mathbf {V}}\) in \({\mathbb {G}}({\tilde{{\mathbf {V}}}})\) is a parabolic subgroup of \({\mathbb {G}}({\tilde{{\mathbf {V}}}})\) with Levi quotient isomorphic to \({\mathbb {G}}({\mathbf {V}})\times {\mathbb {G}}({\mathbf {V}}')\) and unipotent radical
which is commutative.
Any \(A\in \overset{\leftrightarrow }{{\mathbb {E}}^{\imath }}({\tilde{{\mathbf {V}}}})\) restricts to a map in \(\overset{\leftrightarrow }{{\mathbb {E}}}({\mathbf {V}})\) and induces a map in \(\overset{\leftrightarrow }{{\mathbb {E}}}({\mathbf {V}}')\). We denote by
the resulting \({\mathbb {P}}^{\imath }\)-equivariant surjective maps (with \({\mathbb {U}}^{\imath }\) acting trivially on the target). (These projections should not be confused with the projections \(\overset{\leftrightarrow }{p}_{{\mathbf {V}}}\) defined in Sect. 4.1.) Let
Again, \(p_\imath \) is \({\mathbb {P}}^{\imath }\)-equivariant (and in particular, \({\mathbb {U}}^{\imath }\)-invariant) and surjective.
Define similarly \(\overset{\leftrightarrow }{{\mathbb {E}}^{\imath '}}({\tilde{{\mathbf {V}}}})\), \({\mathfrak {X}}^{\imath '}({\tilde{{\mathbf {V}}}})\), \({\mathbb {P}}^{\imath '}\), \({\mathbb {U}}^{\imath '}\) and
by interchanging the roles of \({\mathbf {V}}\) and \({\mathbf {V}}'\). The parabolic subgroups \({\mathbb {P}}^{\imath }\) and \({\mathbb {P}}^{\imath '}\) are opposite with
Finally, let
be the diagonal embedding. Its image is
and \(p_{\imath }\circ {\mathcal {D}}_{\imath ,\imath '}={\text {id}}\).
5.2 Sum of multisegments
Now let \({\mathfrak {m}},{\mathfrak {m}}'\) be two multisegments such that \({\text {supp}}{\mathfrak {m}}={\text {grdim}}{\mathbf {V}}\) and \({\text {supp}}{\mathfrak {m}}'={\text {grdim}}{\mathbf {V}}'\), and let \({\mathfrak {n}}={\mathfrak {m}}+{\mathfrak {m}}'\), so that \({\text {supp}}{\mathfrak {n}}={\text {grdim}}{\tilde{{\mathbf {V}}}}\). As in Sect. 4.1, let \({\mathcal {O}}_{{\mathfrak {m}}}\) (resp., \({\mathcal {O}}_{{\mathfrak {m}}'}\), \({\mathcal {O}}_{{\mathfrak {n}}}\)) be the \({\mathbb {G}}({\mathbf {V}})\) (resp., \({\mathbb {G}}({\mathbf {V}}')\), \({\mathbb {G}}({\tilde{{\mathbf {V}}}})\)) orbit in \(\overset{\rightarrow }{{\mathbb {E}}}({\mathbf {V}})\) (resp., \(\overset{\rightarrow }{{\mathbb {E}}}({\mathbf {V}}')\), \(\overset{\rightarrow }{{\mathbb {E}}}({\tilde{{\mathbf {V}}}})\)) corresponding to \({\mathfrak {m}}\) (resp., \({\mathfrak {m}}'\), \({\mathfrak {n}}\)). Recall that \({\mathfrak {C}}^\circ _{{\mathfrak {m}}}=\overset{\rightarrow }{p}_{{\mathbf {V}}}^{-1}({\mathcal {O}}_{{\mathfrak {m}}})\), \({\mathfrak {C}}^\circ _{{\mathfrak {m}}'}=\overset{\rightarrow }{p}_{{\mathbf {V}}'}^{-1}({\mathcal {O}}_{{\mathfrak {m}}'})\), \({\mathfrak {C}}^\circ _{{\mathfrak {n}}}=\overset{\rightarrow }{p}_{{\tilde{{\mathbf {V}}}}}^{-1}({\mathcal {O}}_{{\mathfrak {n}}})\) and \({\mathfrak {C}}_{{\mathfrak {m}}}=\overline{{\mathfrak {C}}^\circ _{{\mathfrak {m}}}}\), \({\mathfrak {C}}_{{\mathfrak {m}}'}=\overline{{\mathfrak {C}}^\circ _{{\mathfrak {m}}'}}\), \({\mathfrak {C}}_{{\mathfrak {n}}}=\overline{{\mathfrak {C}}^\circ _{{\mathfrak {n}}}}\) are the respective (Zariski) closures.
Let \({\mathfrak {Y}}_{{\mathfrak {m}},{\mathfrak {m}}'}^{\imath }\) be the \({\mathbb {P}}^{\imath }\)-invariant subvariety
(We do not know whether the above inclusion can be strict.) Similarly, let
Let
Note that
since \(\supset \) clearly holds while
Since \({\mathfrak {Y}}_{{\mathfrak {m}}',{\mathfrak {m}}}^{\imath '}\) is \({\mathbb {P}}^{\imath '}\)-invariant and \({\mathbb {U}}^{\imath }{\mathbb {P}}^{\imath '}\) is dense in \({\mathbb {G}}({\tilde{{\mathbf {V}}}})\), we have \(\overline{{\mathbb {G}}({\tilde{{\mathbf {V}}}})\cdot {\mathfrak {Y}}_{{\mathfrak {m}}',{\mathfrak {m}}}^{\imath '}}= \overline{{\mathbb {U}}^{\imath }\cdot {\mathfrak {Y}}_{{\mathfrak {m}}',{\mathfrak {m}}}^{\imath '}}\).
Also, \({\mathbb {P}}^{\imath }\cdot {\mathfrak {Z}}_{{\mathfrak {m}},{\mathfrak {m}}'}={\mathbb {U}}^{\imath }\cdot {\mathfrak {Z}}_{{\mathfrak {m}},{\mathfrak {m}}'}\) since \({\mathfrak {Z}}_{{\mathfrak {m}},{\mathfrak {m}}'}\) is \({\mathbb {M}}\)-invariant.
We can now formulate the main geometric conditions.
Proposition 2
The following conditions are equivalent.
Definition 5
We denote the above equivalent conditions by \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\). (This stands for “subrepresentation+geometric”) We denote by \({\text {IG}}({\mathfrak {m}},{\mathfrak {m}}')\) (for “irreducible+geometric”) the condition
Example 1
Let \({\mathfrak {m}}=\{\rho \}\), \({\mathfrak {m}}'=\{\overset{\rightarrow }{\rho }\}\) for some \(\rho \in {\text {Irr}}_c\). Note that \({\mathfrak {X}}({\mathbf {V}})={\mathfrak {X}}({\mathbf {V}}')=\{(0,0)\}\), \({\mathbb {G}}({\tilde{{\mathbf {V}}}})={\mathbb {P}}^{\imath }={\mathbb {P}}^{\imath '}\) is a two-dimension torus, \({\mathbb {U}}^{\imath }={\mathbb {U}}^{\imath '}=1\), \(\overset{\leftrightarrow }{{\mathbb {E}}}({\tilde{{\mathbf {V}}}})\) are one-dimensional and \({\mathfrak {X}}({\tilde{{\mathbf {V}}}})\) is the “cross” \({\mathfrak {C}}_{{\mathfrak {n}}}\cup {\mathfrak {C}}_{\varDelta }\) where \({\mathfrak {C}}_{{\mathfrak {n}}}=\{0\}\times \overset{\leftarrow }{{\mathbb {E}}}({\tilde{{\mathbf {V}}}})\), \(\varDelta =\{\rho ,\overset{\rightarrow }{\rho }\}\), \({\mathfrak {C}}_{\varDelta }=\overset{\rightarrow }{{\mathbb {E}}}({\tilde{{\mathbf {V}}}})\times \{0\}\). Thus, \({\mathfrak {Y}}_{{\mathfrak {m}}',{\mathfrak {m}}}^{\imath '}={\mathfrak {Z}}_{{\mathfrak {m}},{\mathfrak {m}}'}=\{(0,0)\}\), \({\mathfrak {Y}}_{{\mathfrak {m}},{\mathfrak {m}}'}^{\imath }={\mathfrak {C}}_{{\mathfrak {n}}}\). Hence, \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\) is not satisfied and \({\text {SG}}({\mathfrak {m}}',{\mathfrak {m}})\) is satisfied.
We will give some more equivalent conditions for \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\) in Sect. 5.4 below and ultimately prove Proposition 2 in Sect. 5.8. In the meantime, we state a simple corollary of Proposition 2.
Corollary 2
\({\text {IG}}({\mathfrak {m}},{\mathfrak {m}}')\) is the conjunction of \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\) and \({\text {SG}}({\mathfrak {m}}',{\mathfrak {m}})\).
Proof
Clearly, \({\text {IG}}({\mathfrak {m}},{\mathfrak {m}}')\) implies (16a) and its symmetric analog (interchanging \({\mathfrak {m}}\) and \({\mathfrak {m}}'\)). Conversely, (16b) and the symmetric counterpart of (16a) imply that
The corollary follows. \(\square \)
5.3 The main conjecture
We now state the new conjecture.
Conjecture 4
Suppose (ALO) of Sect. 3.3. Then,
-
1.
The conditions \({\text {SA}}({\mathfrak {m}},{\mathfrak {m}}')\) and \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\) are equivalent.
-
2.
\(Z({\mathfrak {m}})\times Z({\mathfrak {m}}')\) is irreducible if and only if \({\text {IG}}({\mathfrak {m}},{\mathfrak {m}}')\).
Note that the second part of the conjecture would follow from the first one by Corollaries 1 and 2.
More generally, it would be desirable to have a geometric/combinatorial grasp on \({\text {soc}}(Z({\mathfrak {m}})\times Z({\mathfrak {m}}'))\) under (ALO). We hope to get back to this question in the future.
A more ambitious formulation of Conjecture 4 is the following.
Question 1
Are the conditions \({\text {SA}}({\mathfrak {m}},{\mathfrak {m}}')\) and \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\) equivalent even without assuming (ALO) ?
An affirmative answer would give that
However, it would not directly give an exact irreducibility criterion for \(\pi _1\times \pi _2\) when neither \(\pi _1\) nor \(\pi _2\) is \(\square \)-irreducible.
Remark 2
-
1.
As we shall see in Sect. 5.4 below, the condition \(GLS({\mathfrak {m}})\) implies \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}})\) for any \({\mathfrak {m}}\). (This is consistent with Conjecture 3 and the fact that \({\text {SSA}}({\mathfrak {m}},{\mathfrak {m}})\) implies \({\text {SA}}({\mathfrak {m}},{\mathfrak {m}})\).)
-
2.
By inspection, for \({\mathfrak {m}}\) consisting of up to 6 segments, \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}})\) is equivalent to the multiplicity freeness of \(Z({\mathfrak {m}})\times Z({\mathfrak {m}})\), and in particular it implies \({\text {SA}}({\mathfrak {m}},{\mathfrak {m}})\) in these cases (cf. Remark 1). Leclerc’s example (12) shows that in general, the condition \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}})\) is strictly weaker than \(GLS({\mathfrak {m}})\).
-
3.
If neither \(GLS({\mathfrak {m}})\) nor \(GLS({\mathfrak {m}}')\) is satisfied, then at the moment we do not have a conjectural geometric criterion for either \({\text {SSA}}({\mathfrak {m}},{\mathfrak {m}}')\) or the irreducibility of \(Z({\mathfrak {m}})\times Z({\mathfrak {m}}')\) (cf. (11b)).
5.4 Linearization
Before proving the equivalence of the conditions in Proposition 2 we will first linearize and explicate them in a way similar to what was done for the condition \(GLS({\mathfrak {m}})\) in Sect. 4.3.
Write \({\mathfrak {m}}=\sum _{i\in I}\varDelta _i\) and \({\mathfrak {m}}'=\sum _{i'\in I'}\varDelta _{i'}\) with \(I\cap I'=\emptyset \). Fix \({\mathbf {A}}_{{\mathfrak {m}}}\in {\mathcal {O}}_{{\mathfrak {m}}}\) and \({\mathbf {A}}_{{\mathfrak {m}}'}\in {\mathcal {O}}_{{\mathfrak {m}}'}\) and let \({\mathbf {A}}_{{\mathfrak {n}}}={\mathbf {A}}_{{\mathfrak {m}}}\oplus {\mathbf {A}}_{{\mathfrak {m}}'}\in {\mathcal {O}}_{{\mathfrak {n}}}\). We take a graded basis \(x_{\rho ,i}\), \(\rho \in \varDelta _i\), \(i\in I\) (resp., \(i\in I'\)) for \({\mathbf {V}}\) (resp. \({\mathbf {V}}'\)) for which \({\mathbf {A}}_{{\mathfrak {m}}}\) (resp., \({\mathbf {A}}_{{\mathfrak {m}}'}\)) has a graded Jordan normal form (14). Thus, \({\mathbf {A}}_{{\mathfrak {n}}}\) has a graded Jordan normal form with respect to the union \(x_{\rho ,i}\), \(\rho \in \varDelta _i\), \(i\in I\cup I'\). Let
and
so that \(X_{{\mathfrak {m}}}=X_{{\mathfrak {m}},{\mathfrak {m}}}\) and \(Y_{\mathfrak {m}}=Y_{{\mathfrak {m}},{\mathfrak {m}}}\) (see Sect. 4.3). We have \(X_{\mathfrak {n}}=X_{{\mathfrak {m}}}\cup X_{{\mathfrak {m}}'}\cup X_{{\mathfrak {m}},{\mathfrak {m}}'}\cup X_{{\mathfrak {m}}',{\mathfrak {m}}}\) and \(Y_{\mathfrak {n}}=Y_{{\mathfrak {m}}}\cup Y_{{\mathfrak {m}}'}\cup Y_{{\mathfrak {m}},{\mathfrak {m}}'}\cup Y_{{\mathfrak {m}}',{\mathfrak {m}}}\) (disjoint unions). As in Sect. 4.3, let \({\mathbf {C}}_{{\mathfrak {m}}}\), \({\mathbf {C}}_{{\mathfrak {m}}'}\) and \({\mathbf {C}}_{{\mathfrak {n}}}\) be the centralizers of \({\mathbf {A}}_{{\mathfrak {m}}}\) \({\mathbf {A}}_{{\mathfrak {m}}'}\) and \({\mathbf {A}}_{{\mathfrak {n}}}\) in \(\overset{\leftarrow }{{\mathbb {E}}}({\mathbf {V}})\), \(\overset{\leftarrow }{{\mathbb {E}}}({\mathbf {V}}')\) and \(\overset{\leftarrow }{{\mathbb {E}}}({\tilde{{\mathbf {V}}}})\) respectively. Similarly, let \({\mathbf {G}}_{{\mathfrak {m}}}\) (resp., \({\mathbf {G}}_{{\mathfrak {m}}'}\), \({\mathbf {G}}_{{\mathfrak {n}}}\)) be the centralizer of \({\mathbf {A}}_{{\mathfrak {m}}}\) (resp., \({\mathbf {A}}_{{\mathfrak {m}}'}\), \({\mathbf {A}}_{{\mathfrak {n}}}\)) in \({\mathbb {G}}({\mathbf {V}})\) (resp., \({\mathbb {G}}({\mathbf {V}}')\), \({\mathbb {G}}({\tilde{{\mathbf {V}}}})\)). Let \({\mathbf {C}}_{{\mathfrak {n}}}^{\imath }={\mathbf {C}}_{{\mathfrak {n}}}\cap \overset{\leftarrow }{{\mathbb {E}}^{\imath }}({\tilde{{\mathbf {V}}}})\). Thus, \({\mathbf {C}}_{{\mathfrak {n}}}^{\imath }\) consists of the elements of \({\mathbf {C}}_{{\mathfrak {n}}}\) whose \(X_{{\mathfrak {m}}',{\mathfrak {m}}}\)-coordinates vanish. Define similarly \({\mathbf {C}}_{{\mathfrak {n}}}^{\imath '}\) and let \({\mathbf {C}}_{{\mathfrak {n}}}^{\imath ,\imath '}={\mathbf {C}}_{{\mathfrak {n}}}^{\imath }\cap {\mathbf {C}}_{{\mathfrak {n}}}^{\imath '}\simeq {\mathbf {C}}_{{\mathfrak {m}}}\oplus {\mathbf {C}}_{{\mathfrak {m}}'}\). Let
so that
The Lie algebra of \({\mathbf {U}}^{\imath }\) is spanned by \(\beta _{i,j}^{{\mathfrak {n}}}\), \((i,j)\in Y_{{\mathfrak {m}},{\mathfrak {m}}'}\).
Proposition 3
We have \(\overline{{\mathbf {G}}_{{\mathfrak {n}}}\cdot {\mathbf {C}}_{{\mathfrak {n}}}^{\imath '}}=\overline{{\mathbf {U}}^{\imath }\cdot {\mathbf {C}}_{{\mathfrak {n}}}^{\imath '}}\) and \({\mathbf {P}}^{\imath }\cdot {\mathbf {C}}_{{\mathfrak {n}}}^{\imath ,\imath '}={\mathbf {U}}^{\imath }\cdot {\mathbf {C}}_{{\mathfrak {n}}}^{\imath ,\imath '}\). Moreover, the following conditions are equivalent.
-
1.
\({\mathbf {G}}_{{\mathfrak {n}}}\cdot {\mathbf {C}}_{{\mathfrak {n}}}^{\imath '}\) (or equivalently, \({\mathbf {U}}^{\imath }\cdot {\mathbf {C}}_{{\mathfrak {n}}}^{\imath '}\)) is dense in \({\mathbf {C}}_{{\mathfrak {n}}}\).
-
2.
\({\mathbf {P}}^{\imath }\cdot {\mathbf {C}}_{{\mathfrak {n}}}^{\imath ,\imath '}\) (or equivalently. \({\mathbf {U}}^{\imath }\cdot {\mathbf {C}}_{{\mathfrak {n}}}^{\imath ,\imath '}\)) is dense in \({\mathbf {C}}_{{\mathfrak {n}}}^{\imath }\).
-
3.
There exist \(\lambda \in {\mathbf {C}}_{{\mathfrak {m}}}\) and \(\lambda '\in {\mathbf {C}}_{{\mathfrak {m}}'}\) with coordinates \(\lambda _{i,j}\), \((i,j)\in X_{{\mathfrak {m}}}\) and \(\lambda '_{i,j}\), \((i,j)\in X_{{\mathfrak {m}}'}\) respectively, such that the vectors \(v_{i,j}^{{\mathfrak {m}},{\mathfrak {m}}'}(\lambda ,\lambda ')\), \((i,j)\in X_{{\mathfrak {m}},{\mathfrak {m}}'}\) given by
$$\begin{aligned} v_{i,j}^{{\mathfrak {m}},{\mathfrak {m}}'}(\lambda ,\lambda ')= & {} \sum _{r\in I:(i,r)\in X_{{\mathfrak {m}}},(r,j)\in Y_{{\mathfrak {m}},{\mathfrak {m}}'}}\lambda _{i,r}y_{r,j}\nonumber \\&- \sum _{s\in I':(s,j)\in X_{{\mathfrak {m}}'},(i,s)\in Y_{{\mathfrak {m}},{\mathfrak {m}}'}}\lambda '_{s,j}y_{i,s} \end{aligned}$$(17)are linearly independent in the complex vector space \({\mathbb {C}}^{Y_{{\mathfrak {m}},{\mathfrak {m}}'}}\) with standard basis \(\{y_{i,j}:(i,j)\in Y_{{\mathfrak {m}},{\mathfrak {m}}'}\}\).
Finally, \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\) is equivalent to the conditions above.
In the rest of the section we will prove Proposition 3.
Remark 3
Assume that Proposition 3 holds. Then,
-
1.
By the same argument as in Corollary 2 (or alternatively, using Remark 4 below), \({\text {IG}}({\mathfrak {m}},{\mathfrak {m}}')\) is equivalent to the condition
$$\begin{aligned} {\mathbf {G}}_{{\mathfrak {n}}}\cdot {\mathbf {C}}_{{\mathfrak {n}}}^{\imath ,\imath '}\text { is dense in }{\mathbf {C}}_{{\mathfrak {n}}}. \end{aligned}$$ -
2.
For any \({\mathfrak {m}}\), \(GLS({\mathfrak {m}})\) implies \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}})\), since in the notation of Lemma 1 we have
$$\begin{aligned} v_{i,j}^{\mathfrak {m}}(\lambda )=v_{i,j}^{{\mathfrak {m}},{\mathfrak {m}}}(\lambda ,\lambda ) \end{aligned}$$for \((i,j)\in X_{\mathfrak {m}}\) and \(\lambda \in {\mathbf {C}}_{{\mathfrak {m}}}\).
-
3.
The linear independence of (17) is an open and \({\mathbf {G}}_{{\mathfrak {m}}}\times {\mathbf {G}}_{{\mathfrak {m}}'}\)-invariant condition in \((\lambda ,\lambda ')\in {\mathbf {C}}_{{\mathfrak {m}}}\times {\mathbf {C}}_{{\mathfrak {m}}'}\).
-
4.
The conditions \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\) and \({\text {SG}}({\mathfrak {m}}'^\vee ,{\mathfrak {m}}^\vee )\) are equivalent, since \(X_{{\mathfrak {m}},{\mathfrak {m}}'}=X_{{\mathfrak {m}}'^\vee ,{\mathfrak {m}}^\vee }\) and \(Y_{{\mathfrak {m}},{\mathfrak {m}}'}=Y_{{\mathfrak {m}}'^\vee ,{\mathfrak {m}}^\vee }\). Thus, taking into account (9), in Conjecture 4 we may assume without loss of generality that \(Z({\mathfrak {m}})\) is \(\square \)-irreducible.
-
5.
Condition 3 is the least conceptual but the most practical to check. It can be easily implemented on a computer, at least as a randomized algorithm. Nonetheless, it would be interesting to replace it by a deterministic criterion.
5.5 Proof of first part of Proposition 3
Since \({\mathbf {C}}_{{\mathfrak {n}}}^{\imath ,\imath '}\) is \({\mathbf {M}}\)-invariant and \({\mathbf {P}}^{\imath }={\mathbf {M}}\ltimes {\mathbf {U}}^{\imath }\), it is clear that \({\mathbf {P}}^{\imath }\cdot {\mathbf {C}}_{{\mathfrak {n}}}^{\imath ,\imath '}={\mathbf {U}}^{\imath }\cdot {\mathbf {C}}_{{\mathfrak {n}}}^{\imath ,\imath '}\).
Also, since \({\mathbf {U}}^{\imath }{\mathbf {P}}^{\imath '}\) is dense in \({\mathbf {G}}_{{\mathfrak {n}}}\) (e.g., by considering the Lie algebras) and \({\mathbf {C}}_{{\mathfrak {n}}}^{\imath '}\) is \({\mathbf {P}}^{\imath '}\)-invariant, we have \(\overline{{\mathbf {G}}_{{\mathfrak {n}}}\cdot {\mathbf {C}}_{{\mathfrak {n}}}^{\imath '}}=\overline{{\mathbf {U}}^{\imath }\cdot {\mathbf {C}}_{{\mathfrak {n}}}^{\imath '}}\).
Next, we show the equivalence of conditions 1, 2 and 3 of Proposition 3. We use the following simple general criterion.
Remark 4
Suppose that G is a linear algebraic group with a rational (linear) representation on a finite-dimensional vector space W and let \(W'\) be a subspace of W. Then,
Returning to the case at hand, we identify
with \({\mathbb {C}}^{X_{{\mathfrak {m}},{\mathfrak {m}}'}}\) by considering the \(X_{{\mathfrak {m}},{\mathfrak {m}}'}\)-coordinates. For any \(\mu \in {\mathbf {C}}_{{\mathfrak {n}}}^{\imath '}\) the linear map
gives rise to a linear map
which depends only on the image \((\lambda ,\lambda ')\) of \(\mu \) under the projection \({\mathbf {C}}_{{\mathfrak {n}}}^{\imath '}\rightarrow {\mathbf {C}}_{{\mathfrak {m}}}\oplus {\mathbf {C}}_{{\mathfrak {m}}'}\). Thus, by Remark 4, the conditions 1 and 2 of Proposition 3 are both equivalent to the surjectivity of \(L_\mu \) for some \(\mu \in {\mathbf {C}}_{{\mathfrak {n}}}^{\imath ,\imath '}\). Condition 3 is merely an explication of this (or more precisely, of the injectivity of the dual map).
5.6 A simple reduction
It remains to show the equivalence of each of the conditions in Proposition 2 with the corresponding condition in Proposition 3, thus completing the proof of the two propositions.
We use the following simple result.
Lemma 2
Let G be a linear algebraic group acting algebraically on quasi-affine varieties X and Y and let \(p:X\rightarrow Y\) be a G-equivariant morphism. Let H be a closed subgroup of G and let W be an H-invariant subvariety of X. Assume that G acts transitively on Y and fix \(y_0\in Y\). Let \(G_0\) be the stabilizer of \(y_0\) in G, \(X_0=p^{-1}(y_0)\) and \(W_0=W\cap X_0\). Assume that \(X_0\) is irreducible and that \(W=H\cdot W_0\). Then, \(G\cdot W=G\cdot W_0\) and
Proof
The first assertion is clear since \(W=H\cdot W_0\). Suppose that \(\overline{G_0\cdot W_0}=X_0\). Then \(\overline{G\cdot W_0}=\overline{G\cdot G_0\cdot W_0}=\overline{G\cdot X_0}\supset G\cdot X_0=X\) by the transitivity of G on Y. Conversely, suppose that \(\overline{G\cdot W_0}=X\). Then \(G\cdot W_0\) contains an open dense (and without loss of generality, G-invariant) subset U of X. The set
is G-invariant and non-empty (and in fact dense in Y). Since G acts transitively on Y we infer that \(p^{-1}(y)\cap U\ne \emptyset \) for all \(y\in Y\). In particular, \(X_0\cap U\) is a non-empty open subset of \(X_0\), hence dense since \(X_0\) is irreducible. A fortiori, \(X_0\cap G\cdot W_0\) is dense in \(X_0\). However, \(X_0\cap G\cdot W_0=G_0\cdot W_0\) since if \(gx_0\in X_0\) where \(x_0\in X_0\) and \(g\in G\), then necessarily \(g\in G_0\). Hence, \(G_0\cdot W_0\) is dense in \(X_0\) as required. \(\square \)
5.7 An auxiliary result
We go back to the setup of Sect. 5.2. In order to invoke Lemma 2 we will need an additional result.
Lemma 3
We have the following equalities of spaces.
A similar statement holds for \(\imath '\).
Proof
By the \({\mathbb {P}}^{\imath }\)-equivariant of the map \(\overset{\rightarrow }{p}^{\imath }\) and the surjectivity of the map \({\mathbb {P}}^{\imath }\rightarrow {\mathbb {G}}({\mathbf {V}})\times {\mathbb {G}}({\mathbf {V}}')\), we have
Hence, the equality (18a) implies (18b)
Next, we show that (18b) implies (18c). Indeed, assuming (18b), we have
Since
we deduce that
Also,
by (18b) and hence
as required.
Note that the statements with respect to \(\imath '\) are obtained from the original ones by interchanging \({\mathfrak {m}}\) and \({\mathfrak {m}}'\). Thus, it remains to prove (18a).
Since \(\overset{\rightarrow }{p}^{\imath }\) is \({\mathbb {U}}^{\imath }\)-invariant, the \({\mathbb {U}}^{\imath }\)-orbit of \({\mathbf {A}}_{{\mathfrak {n}}}\) is contained in \({\mathcal {O}}_{{\mathfrak {n}}}\cap (\overset{\rightarrow }{p}^{\imath })^{-1}({\mathbf {A}}_{{\mathfrak {m}}},{\mathbf {A}}_{{\mathfrak {m}}'})\).
Next, we show that
Indeed, recall that
and
On the other hand, for any \(D\in (\overset{\rightarrow }{p}^{\imath })^{-1}({\mathbf {A}}_{{\mathfrak {m}}},{\mathbf {A}}_{{\mathfrak {m}}'})\) we have
Our claim follows.
It remains to show that \({\mathcal {O}}_{{\mathfrak {n}}}\cap (\overset{\rightarrow }{p}^{\imath })^{-1}({\mathbf {A}}_{{\mathfrak {m}}},{\mathbf {A}}_{{\mathfrak {m}}'})\) is contained in the \({\mathbb {U}}^{\imath }\)-orbit of \({\mathbf {A}}_{{\mathfrak {n}}}\).
Consider the abelian category whose objects are pairs (U, D) where U is a finite-dimensional \({\text {Irr}}_c\)-graded vector space and \(D\in \overset{\rightarrow }{{\mathbb {E}}}(U)\); the morphisms between (U, D) and \((U',D')\) are the grading preserving linear transformations \(T:U\rightarrow U'\) such that \(T\circ D=D'\circ T\).
The statement that we need to prove is that if
is a short exact sequence and \(({\tilde{{\mathbf {V}}}},D)\simeq ({\tilde{{\mathbf {V}}}},{\mathbf {A}}_{{\mathfrak {n}}})=({\mathbf {V}},{\mathbf {A}}_{{\mathfrak {m}}})\oplus ({\mathbf {V}}',{\mathbf {A}}_{{\mathfrak {m}}'})\), then (19) splits. In fact, this is true for any locally finite \({\mathbb {C}}\)-linear abelian category. Indeed, we have an exact sequence
and
Comparing dimensions we infer that \(\imath _*\) is onto. Hence, (19) splits. \(\square \)
5.8 Conclusion of proof of Propositions 2 and 3
Using Lemmas 2 and 3 we show the equivalence of (16a) and (16b) with the first (resp., second) condition in Proposition 3, thereby completing the proofs of Propositions 2 and 3.
For the first equivalence we apply Lemma 2 to
with \(G={\mathbb {G}}({\tilde{{\mathbf {V}}}})\) and \(H={\mathbb {P}}^{\imath '}\). Note that \(G_0={\mathbf {G}}_{{\mathfrak {n}}}\) and the embedding \(W_0\hookrightarrow X_0\) can be identified via \(\overset{\leftarrow }{p}_{{\tilde{{\mathbf {V}}}}}\) with \({\mathbf {C}}_{{\mathfrak {n}}}^{\imath '}\hookrightarrow {\mathbf {C}}_{{\mathfrak {n}}}\). By Lemma 3 (with respect to \(\imath '\)) we have \(W=H\cdot W_0\) and \({\mathfrak {Y}}_{{\mathfrak {m}}',{\mathfrak {m}}}^{\imath '}=\overline{W}\). Also, by definition, \({\mathfrak {C}}_{{\mathfrak {n}}}=\overline{X}\).
For the second equivalence, we apply Lemma 2 with
\(G={\mathbb {P}}^{\imath }\) and \(H={\mathbb {G}}({\mathbf {V}})\times {\mathbb {G}}({\mathbf {V}}')\). By Lemma 3, G acts transitively on Y. The condition \(W=H\cdot W_0\) is clear. We have \(G_0={\mathbf {U}}^{\imath }\) and the embedding \(W_0\hookrightarrow X_0\) can be identified using \(\overset{\leftarrow }{p}_{{\tilde{{\mathbf {V}}}}}\), with \({\mathbf {C}}_{{\mathfrak {n}}}^{\imath ,\imath '}\hookrightarrow {\mathbf {C}}_{{\mathfrak {n}}}^{\imath }\). Note that by (15) we have \({\mathfrak {Z}}_{{\mathfrak {m}},{\mathfrak {m}}'}=\overline{W}\), and as before, \(\overline{X}={\mathfrak {Y}}_{{\mathfrak {m}},{\mathfrak {m}}'}^{\imath }\). \(\square \)
Remark 5
Let \(p:{\mathbf {C}}_{{\mathfrak {n}}}^{\imath }\rightarrow {\mathbf {C}}_{{\mathfrak {m}}}\oplus {\mathbf {C}}_{{\mathfrak {m}}'}\) be the restriction of \(\overset{\leftarrow }{p}^{\imath }\) to \({\mathbf {C}}_{{\mathfrak {n}}}^{\imath }\). Thus, \(p(\lambda )_{i,j}=\lambda _{i,j}\) for \((i,j)\in X_{{\mathfrak {m}}}\cup X_{{\mathfrak {m}}'}\). Clearly, p is \({\mathbf {U}}^{\imath }\)-invariant, to wit, \({\mathbf {U}}^{\imath }\) acts on the fibers of p.
It is not difficult to see that \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\) is also equivalent to each of the following conditions.
-
1.
The set
$$\begin{aligned} \{(\lambda ,\lambda ')\in {\mathbf {C}}_{{\mathfrak {m}}}\oplus {\mathbf {C}}_{{\mathfrak {m}}'}:p^{-1}(\lambda ,\lambda ')\text { is a }{\mathbf {U}}^{\imath }\text {-orbit}\} \end{aligned}$$is dense in \({\mathbf {C}}_{{\mathfrak {m}}}\oplus {\mathbf {C}}_{{\mathfrak {m}}'}\).
-
2.
The set
$$\begin{aligned} \{(x,y)\in {\mathfrak {C}}_{{\mathfrak {m}}}\times {\mathfrak {C}}_{{\mathfrak {m}}'}: {\mathfrak {C}}_{{\mathfrak {n}}}\cap p_{\imath }^{-1}(x,y)\text { is a }{\mathbb {U}}^{\imath }\text {-orbit}\} \end{aligned}$$is dense in \({\mathfrak {C}}_{{\mathfrak {m}}}\times {\mathfrak {C}}_{{\mathfrak {m}}'}\).
We will not give details since we will not use this result.
Remark 6
We could have defined an analogous condition \(\overset{\leftarrow }{{\text {SG}}}({\mathfrak {m}},{\mathfrak {m}}')\) to \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\) by considering \(\overset{\leftarrow }{{\mathfrak {C}}}_{\mathfrak {m}}\) instead of \(\overset{\rightarrow }{{\mathfrak {C}}}_{\mathfrak {m}}\) (and similarly for other objects). Propositions 2 and 3 can be modified accordingly to yield that the conditions \(\overset{\leftarrow }{{\text {SG}}}({\mathfrak {m}},{\mathfrak {m}}')\) and \({\text {SG}}({\mathfrak {m}}',{\mathfrak {m}})\) are equivalent.
6 Corroborating evidence
6.1 Main evidence
For convenience, let us say that a multisegment \({\mathfrak {m}}\) is good if for every multisegment \({\mathfrak {m}}'\) the conditions \({\text {SA}}({\mathfrak {m}},{\mathfrak {m}}')\) and \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\) are equivalent and the conditions \({\text {SA}}({\mathfrak {m}}',{\mathfrak {m}})\) and \({\text {SG}}({\mathfrak {m}}',{\mathfrak {m}})\) are equivalent. Note that if \({\mathfrak {m}}\) is good and \(Z({\mathfrak {m}})\) is \(\square \)-irreducible, then for any \({\mathfrak {m}}'\in {\mathbb {N}}({\varSigma })\) the irreducibility of \(Z({\mathfrak {m}})\times Z({\mathfrak {m}}')\) is equivalent to \({\text {IG}}({\mathfrak {m}},{\mathfrak {m}}')\). By remark 3, Conjecture 4 is equivalent to saying that every \({\mathfrak {m}}\) such that \(Z({\mathfrak {m}})\in {\text {Irr}}^\square \) is good, while Question 1 asks whether in fact every \({\mathfrak {m}}\in {\mathbb {N}}({\varSigma })\) is good.
Recall that a multisegment \({\mathfrak {m}}\) is called a (strict) ladder if it can be written as \(\varDelta _1+\dots +\varDelta _k\) where \(\varDelta _{i+1}\prec \varDelta _i\) for all \(i=1,\dots ,k-1\). This class is invariant under \({\mathfrak {m}}\mapsto {\mathfrak {m}}^\#\). The corresponding representations were studied in [18, 19]. In particular, \(GLS({\mathfrak {m}})\) is satisfied and \(Z({\mathfrak {m}})\) is \(\square \)-irreducible for any ladder \({\mathfrak {m}}\).
The following result provides plenty of examples of good multisegments, in support of Conjecture 4.
Theorem 1
-
1.
Every ladder multisegment is good.
-
2.
Suppose that \({\mathfrak {m}}_1,\dots ,{\mathfrak {m}}_k\) are good multisegments and that \(Z({\mathfrak {m}}_i)\times Z({\mathfrak {m}}_j)\) is irreducible for all i, j. Then \({\mathfrak {m}}={\mathfrak {m}}_1+\dots +{\mathfrak {m}}_k\) is good. (Recall that in this case, \(Z({\mathfrak {m}})=Z({\mathfrak {m}}_1)\times \dots \times Z({\mathfrak {m}}_k)\) is \(\square \)-irreducible.)
We note that the class of representations in the second part of Theorem 1 is invariant under the Zelevinsky involution. (We do not know whether in general, \({\mathfrak {m}}\) is good \(\iff \) \({\mathfrak {m}}^\#\) is good.) Also note that if both \({\mathfrak {m}},{\mathfrak {m}}'\) are ladders, then the condition \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\) (and consequently, the irreducibility of \(Z({\mathfrak {m}})\times Z({\mathfrak {m}}')\)) admits a very simple combinatorial description—see [19, Lemma 6.21].
Corollary 3
If \(Z({\mathfrak {m}})\) is unitarizable, then \({\mathfrak {m}}\) is good. Also, if every segment in \({\mathfrak {m}}\) (or \({\mathfrak {m}}^\#\)) has the same length, then \({\mathfrak {m}}\) is good. In particular, if \(Z({\mathfrak {m}})\) is generic or unramified, then \({\mathfrak {m}}\) is good.
Indeed, the first part follows from Tadić classification [27] (see also [19]) which implies that if \(Z({\mathfrak {m}})\) is unitarizable, then we can write \({\mathfrak {m}}\) as a sum of multisegments
where each \({\mathfrak {m}}_i\) is a ladder of the form \({\mathfrak {m}}_i=\varDelta _{i,1}+\dots +\varDelta _{i,r_i}\) where \(\varDelta _{i,j+1}=\overset{\leftarrow }{\varDelta }_{i,j}\), \(j=1,\dots ,r_i-1\), and moreover \(Z({\mathfrak {m}}_i)\times Z({\mathfrak {m}}_j)\) is irreducible for all i, j.
The second part follows from [21, Proposition 2.7].
Finally, if \(Z({\mathfrak {m}})\) is generic (resp., unramified), then every segment is \({\mathfrak {m}}\) (resp., \({\mathfrak {m}}^\#\)) is a singleton.
Another case which will be useful later on is the following.
Example 2
Suppose that \({\mathfrak {m}}=\varDelta _1+\dots +\varDelta _k\) and there exists \(\rho \in {\text {Irr}}_c\) such that \(b(\varDelta _i)\in \{\rho ,\overset{\rightarrow }{\rho }\}\) for all i. Then, we can write \({\mathfrak {m}}={\mathfrak {m}}_1+\dots +{\mathfrak {m}}_l\) such that each \({\mathfrak {m}}_i\) is a ladder (consisting of either one or two segments) and \(Z({\mathfrak {m}}_i)\times Z({\mathfrak {m}}_j)\) is irreducible for all i, j. (See Sect. 8.7 below.) Thus, \({\mathfrak {m}}\) is good.
We will prove the theorem (along with all other results stated in this section) in Sect. 8 below.
6.2 More precise statements
The proof of Theorem 1 depends on several compatibility properties of the conditions \({\text {SA}}({\mathfrak {m}},{\mathfrak {m}}')\) and \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\) which are interesting in their own right. We formulate them in the following propositions, which provide additional attestation for Conjecture 4 as well as for an affirmative answer to Question 1.
Recall the notation \(\max {\mathfrak {m}}\) and \({\mathfrak {m}}^-\) from Sect. 2.2.
Proposition 4
Suppose that \(0\ne {\mathfrak {m}},{\mathfrak {m}}'\in {\mathbb {N}}({\varSigma })\) with \(\max {\mathfrak {m}}<\max {\mathfrak {m}}'\). Then
-
1.
\({\text {SA}}({\mathfrak {m}},{\mathfrak {m}}')\) if and only if \({\text {SA}}({\mathfrak {m}},{\mathfrak {m}}'^-)\) and \(({\mathfrak {m}}+{\mathfrak {m}}')^-={\mathfrak {m}}+{\mathfrak {m}}'^-\).
-
2.
\({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\) if and only if \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}'^-)\) and \(({\mathfrak {m}}+{\mathfrak {m}}')^-={\mathfrak {m}}+{\mathfrak {m}}'^-\).
Thus, Conjecture 4 and Question 1 reduce to the case where \(\max {\mathfrak {m}}'\le \max {\mathfrak {m}}\).
The first part of Theorem 1 will follow from Proposition 4 and the following.
Proposition 5
Let \({\mathfrak {m}}=\sum _{i\in I}\varDelta _i,{\mathfrak {m}}'=\sum _{i'\in I'}\varDelta _{i'}\in {\mathbb {N}}({\varSigma })\). Assume that \(I=I_1\cup I_2\) and \(I'=I_1'\cup I_2'\) (disjoint unions) and that
Let \({\mathfrak {m}}_r=\sum _{i\in I_r}\varDelta _i\) and \({\mathfrak {m}}'_r=\sum _{i'\in I'_r}\varDelta _{i'}\), \(r=1,2\). Then,
-
1.
\({\text {SA}}({\mathfrak {m}},{\mathfrak {m}}')\) implies \({\text {SA}}({\mathfrak {m}}_1,{\mathfrak {m}}_1')\) and \({\text {SA}}({\mathfrak {m}}_2,{\mathfrak {m}}_2')\).
-
2.
If \(Z({\mathfrak {m}})\times Z({\mathfrak {m}}')\) is irreducible, then \(Z({\mathfrak {m}}_1)\times Z({\mathfrak {m}}_1')\) and \(Z({\mathfrak {m}}_2)\times Z({\mathfrak {m}}_2')\) are irreducible.
-
3.
\({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\) implies \({\text {SG}}({\mathfrak {m}}_1,{\mathfrak {m}}_1')\) and \({\text {SG}}({\mathfrak {m}}_2,{\mathfrak {m}}_2')\).
-
4.
\(GLS({\mathfrak {m}})\) implies \(GLS({\mathfrak {m}}_1)\) and \(GLS({\mathfrak {m}}_2)\).
Extending the partial order on \({\text {Irr}}_c\) lexicographically to \(\varSigma \) (see Sect. 7.3) we infer
Corollary 4
For any two multisegments \({\mathfrak {m}}=\sum _{i\in I}\varDelta _i\), \({\mathfrak {m}}'=\sum _{i'\in I'}\varDelta _{i'}\) and \(\varDelta \in \varSigma \) we have
-
1.
\({\text {SA}}({\mathfrak {m}},{\mathfrak {m}}')\implies {\text {SA}}(\sum _{i\in I:\varDelta _i\ge \varDelta }\varDelta _i,\sum _{i'\in I':\varDelta _{i'}\ge \varDelta }\varDelta _{i'})\).
-
2.
\({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\implies {\text {SG}}(\sum _{i\in I:\varDelta _i\ge \varDelta }\varDelta _i,\sum _{i'\in I':\varDelta _{i'}\ge \varDelta }\varDelta _{i'})\).
-
3.
\({\text {SA}}({\mathfrak {m}},{\mathfrak {m}}')\implies {\text {SA}}(\sum _{i\in I:e(\varDelta _i)\in \varDelta }\varDelta _i,\sum _{i'\in I':e(\varDelta _{i'})\in \varDelta }\varDelta _{i'})\).
-
4.
\({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\implies {\text {SG}}(\sum _{i\in I:e(\varDelta _i)\in \varDelta }\varDelta _i,\sum _{i'\in I':e(\varDelta _{i'})\in \varDelta }\varDelta _{i'})\).
-
5.
\({\text {SA}}({\mathfrak {m}},{\mathfrak {m}}')\implies {\text {SA}}(\sum _{i\in I:b(\varDelta _i)\in \varDelta }\varDelta _i,\sum _{i'\in I':b(\varDelta _{i'})\in \varDelta }\varDelta _{i'})\).
-
6.
\({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\implies {\text {SG}}(\sum _{i\in I:b(\varDelta _i)\in \varDelta }\varDelta _i,\sum _{i'\in I':b(\varDelta _{i'})\in \varDelta }\varDelta _{i'})\).
-
7.
If \(Z({\mathfrak {m}})\) is \(\square \)-irreducible, then so are \(Z(\sum _{i\in I:\varDelta _i\ge \varDelta }\varDelta _i)\), \(Z(\sum _{i\in I:e(\varDelta _i)\in \varDelta }\varDelta _i)\) and \(Z(\sum _{i\in I:b(\varDelta _i)\in \varDelta }\varDelta _i)\).
-
8.
\(GLS({\mathfrak {m}})\) implies \(GLS(\sum _{i\in I:\varDelta _i\ge \varDelta }\varDelta _i)\), \(GLS(\sum _{i\in I:e(\varDelta _i)\in \varDelta }\varDelta _i)\) and \(GLS(\sum _{i\in I:b(\varDelta _i)\in \varDelta }\varDelta _i)\).
The second part of Theorem 1 follows from the following more precise statement.
Proposition 6
Let \({\mathfrak {m}},{\mathfrak {m}}',{\mathfrak {n}}\in {\mathbb {N}}({\varSigma })\). Then,
-
1.
\({\text {SA}}({\mathfrak {m}},{\mathfrak {m}}')\) and \({\text {SA}}({\mathfrak {m}}+{\mathfrak {m}}',{\mathfrak {n}})\) imply \({\text {SA}}({\mathfrak {m}},{\mathfrak {m}}'+{\mathfrak {n}})\).
-
2.
\({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\) and \({\text {SG}}({\mathfrak {m}}+{\mathfrak {m}}',{\mathfrak {n}})\) imply \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}'+{\mathfrak {n}})\) and \({\text {SG}}({\mathfrak {m}},{\mathfrak {n}})\).
-
3.
\({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\) and \({\text {SG}}({\mathfrak {m}},{\mathfrak {n}})\) imply \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}'+{\mathfrak {n}})\).
-
4.
Suppose that \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\) and \({\text {SG}}({\mathfrak {m}}',{\mathfrak {m}})\). Then
$$\begin{aligned} {\text {SG}}({\mathfrak {m}}+{\mathfrak {m}}',{\mathfrak {n}})\iff {\text {SG}}({\mathfrak {m}},{\mathfrak {n}})\text { and }{\text {SG}}({\mathfrak {m}}',{\mathfrak {n}}). \end{aligned}$$ -
5.
Suppose that \(Z({\mathfrak {m}})\) and \(Z({\mathfrak {m}}')\) are \(\square \)-irreducible and \(Z({\mathfrak {m}})\times Z({\mathfrak {m}}')\) is irreducible. Then
$$\begin{aligned} {\text {SA}}({\mathfrak {m}}+{\mathfrak {m}}',{\mathfrak {n}})\iff {\text {SA}}({\mathfrak {m}},{\mathfrak {n}})\text { and }{\text {SA}}({\mathfrak {m}}',{\mathfrak {n}}). \end{aligned}$$
By passing to the contragredient, similar statements hold for the relations obtained from \({\text {SA}}\) or \({\text {SG}}\) by switching the arguments.
Note that the statements of the proposition are not completely symmetric in \({\text {SA}}\) and \({\text {SG}}\). It would be interesting to show the missing representation-theoretic counterparts, namely
at least when \(Z({\mathfrak {m}})\), \(Z({\mathfrak {m}}')\) and \(Z({\mathfrak {n}})\) are \(\square \)-irreducible.
6.3 Further evidence
The following compatibility result is motivated by (13).
Proposition 7
Let \({\mathfrak {m}},{\mathfrak {m}}'\in {\mathbb {N}}({\varSigma })\) and \({\mathfrak {n}}={\mathfrak {m}}+{\mathfrak {m}}'\).
-
1.
Suppose that \(Z({\mathfrak {m}})\), \(Z({\mathfrak {m}}')\) are \(\square \)-irreducible and the conditions \({\text {SA}}({\mathfrak {m}},{\mathfrak {m}}')\) and \({\text {SA}}({\mathfrak {n}},{\mathfrak {m}})\) are satisfied. Then, \(Z({\mathfrak {n}})\) is \(\square \)-irreducible.
-
2.
Suppose that the conditions \(GLS({\mathfrak {m}})\), \(GLS({\mathfrak {m}}')\), \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\) and \({\text {SG}}({\mathfrak {n}},{\mathfrak {m}})\) are satisfied. Then, \(GLS({\mathfrak {n}})\) holds.
For the last consistency check that we will state here, we fix \(\rho \in {\text {Irr}}_c\). For \(\pi \in {\text {Irr}}\) we write if there does not exist \(\pi '\in {\text {Irr}}\) such that \(\pi \hookrightarrow \rho \times \pi '\). (A more general notation will be introduced in Sect. 7.2 below.) For any \(\pi =Z({\mathfrak {m}})\in {\text {Irr}}\) there exist a unique integer \(m\ge 0\) and a unique \(\pi '=Z({\mathfrak {m}}')\in {\text {Irr}}\) such that \(\pi \hookrightarrow \overbrace{\rho \times \dots \times \rho }^m\times \pi '\) and . We denote \({_{\rho }}{{\mathfrak {m}}}={\mathfrak {m}}'\).
Proposition 8
Let \({\mathfrak {m}},{\mathfrak {m}}'\in {\mathbb {N}}({\varSigma })\), \(\rho \in {\text {Irr}}_c\) and assume that . Let \({\tilde{X}}^\rho _{{\mathfrak {m}},{\mathfrak {m}}'}\) and \({\tilde{Y}}^\rho _{{\mathfrak {m}},{\mathfrak {m}}'}\) be as in (32) below. Then
-
1.
\({\text {SA}}({\mathfrak {m}},{\mathfrak {m}}')\iff {\text {SA}}({_{\rho }}{{\mathfrak {m}}},{\mathfrak {m}}')\text { and }\#{\tilde{X}}^\rho _{{\mathfrak {m}},{\mathfrak {m}}'}=\#{\tilde{Y}}^\rho _{{\mathfrak {m}},{\mathfrak {m}}'}\).
-
2.
\({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\iff {\text {SG}}({_{\rho }}{{\mathfrak {m}}},{\mathfrak {m}}')\text { and }\#{\tilde{X}}^\rho _{{\mathfrak {m}},{\mathfrak {m}}'}=\#{\tilde{Y}}^\rho _{{\mathfrak {m}},{\mathfrak {m}}'}\).
7 Some preparation
7.1 Jacquet modules
For any \(n,m\ge 0\) let \(J_{n,m}:{\mathcal {M}}_{n+m}\rightarrow {\mathcal {M}}_n\otimes {\mathcal {M}}_m\) be the Jacquet functor with respect to the standard parabolic subgroup of type (n, m) where we identify \({\mathcal {M}}_n\otimes {\mathcal {M}}_m\) with the category of finite-length representations of \({\text {GL}}_n(F)\times {\text {GL}}_m(F)\).Footnote 3 We obtain the “total” Jacquet functor
On the level of the Grothendieck group, this gives rise to a ring homomorphism
For instance, for any segment \(\varDelta =\{\rho _1,\dots ,\rho _k\}\) with \(\rho _{i+1}=\overset{\rightarrow }{\rho }_i\), \(i=1,\dots ,k-1\) we have
By Frobenius reciprocity, for any \(\pi ,\pi '\in {\mathcal {M}}\) we have a canonical functorial surjection [5]
For any \({\mathfrak {s}}\in {\mathbb {N}}({{\text {Irr}}_c})\) let \({\mathcal {M}}_{{\mathfrak {s}}}\) be the Serre subcategory of \({\mathcal {M}}\) consisting of representations all of whose irreducible subquotients have supercuspidal support \({\mathfrak {s}}\). We have
and \({\mathcal {M}}_{{\mathfrak {s}}}\times {\mathcal {M}}_{{\mathfrak {s}}'}\subset {\mathcal {M}}_{{\mathfrak {s}}+{\mathfrak {s}}'}\) for any \({\mathfrak {s}},{\mathfrak {s}}'\in {\mathbb {N}}({{\text {Irr}}_c})\). For any \(\pi \in {\mathcal {M}}\) and \({\mathfrak {s}}\in {\mathbb {N}}({{\text {Irr}}_c})\) we denote by \(\pi _{{\mathfrak {s}}}\) the \({\mathfrak {s}}\)-component of \(\pi \) with the respect to the decomposition (22). Thus,
Similarly, for any \(\varPi \in {\mathcal {M}}\otimes {\mathcal {M}}\) and \({\mathfrak {s}},{\mathfrak {s}}'\in {\mathbb {N}}({{\text {Irr}}_c})\) we denote by \(\varPi _{{\mathfrak {s}}\otimes {\mathfrak {s}}'}\) the \({\mathfrak {s}}\otimes {\mathfrak {s}}'\)-component of \(\varPi \) with the respect to the decomposition
Remark 7
Let \(\pi \in {\mathcal {M}}\), \({\mathfrak {s}}\in {\mathbb {N}}({{\text {Irr}}_c})\) and \(\tau \in {\mathcal {M}}_{{\mathfrak {s}}}\). Any morphism \(p:\pi \rightarrow \tau \) factor through a morphism \(\pi _{{\mathfrak {s}}}\rightarrow \tau \). Suppose that p is surjective. Then, the restriction \(p^{{\mathfrak {s}}}\) of p to \(\pi _{{\mathfrak {s}}}\) is surjective. Moreover, the following conditions are equivalent.
-
1.
\(p^{{\mathfrak {s}}}\) is an isomorphism.
-
2.
\(\pi _{{\mathfrak {s}}}\simeq \tau \).
-
3.
\({\text {JH}}(\pi _{{\mathfrak {s}}})={\text {JH}}(\tau )\).
-
4.
\({\text {JH}}(\pi _{{\mathfrak {s}}})\le {\text {JH}}(\tau )\) in \({\mathbb {N}}({{\text {Irr}}})\).
In this case, we say that p is a component map, or that (somewhat informally) \(\tau \) “is” the \({\mathfrak {s}}\)-component of \(\pi \). Similar terminology will apply for \({\mathcal {M}}\otimes {\mathcal {M}}\) and \({\mathfrak {s}}\otimes {\mathfrak {s}}'\) with \({\mathfrak {s}},{\mathfrak {s}}'\in {\mathbb {N}}({{\text {Irr}}_c})\).
7.2 Separated representations
The following technical definition will be useful.
Definition 6
Suppose that \(\pi \in {\mathcal {M}}_{{\mathfrak {s}}}\) and \(\pi '\in {\mathcal {M}}_{{\mathfrak {s}}'}\) for some \({\mathfrak {s}},{\mathfrak {s}}'\in {\mathbb {N}}({{\text {Irr}}_c})\). We write and say that \(\pi \) is left-separated from \(\pi '\) if \({\mathfrak {p}}_{\pi ,\pi '}\) is a component map, i.e., if the following equivalent conditions are satisfied.
-
1.
The map \({\mathfrak {p}}_{\pi ,\pi '}\) factors through an isomorphism \(J(\pi \times \pi ')_{{\mathfrak {s}}\otimes {\mathfrak {s}}'}\rightarrow \pi \otimes \pi '\).
-
2.
\(J(\pi \times \pi ')_{{\mathfrak {s}}\otimes {\mathfrak {s}}'}\simeq \pi \otimes \pi '\).
-
3.
\({\text {JH}}(J(\pi \times \pi ')_{{\mathfrak {s}}\otimes {\mathfrak {s}}'})={\text {JH}}(\pi \otimes \pi ')(={\text {JH}}(\pi )\otimes {\text {JH}}(\pi '))\).
-
4.
\({\text {JH}}(J(\pi \times \pi ')_{{\mathfrak {s}}\otimes {\mathfrak {s}}'})\le {\text {JH}}(\pi \otimes \pi ')\) in \({\mathbb {N}}({{\text {Irr}}\times {\text {Irr}}})\).
As the notation suggests, the relation is not symmetric.
Example 3
Suppose that \(\rho \in {\text {Irr}}_c\) and \(\pi \in {\text {Irr}}\). Then
The following easy property will be used repeatedly.
Lemma 4
Suppose that \(\pi \in {\mathcal {M}}_{{\mathfrak {s}}}\) and \(\pi '\in {\mathcal {M}}_{{\mathfrak {s}}'}\) for some \({\mathfrak {s}},{\mathfrak {s}}'\in {\mathbb {N}}({{\text {Irr}}_c})\). If , then for any subquotient \(\tau \) of \(\pi \) and \(\tau '\) of \(\pi '\). Conversely, if for every \(\tau \in {\text {JH}}(\pi )\) and \(\tau '\in {\text {JH}}(\pi ')\), then .
Proof
Suppose that we have a short exact sequence
Then, we have a commutative diagram
where the rows are exact and the vertical morphisms are surjective. It follows that if and only if and . A similar statement holds for a short exact sequence
The lemma immediately follows. \(\square \)
We will use two additional properties of the relation .
Lemma 5
Let \(\pi ,\pi '\in {\text {Irr}}\) and suppose that . Then, \(\pi \times \pi '\) is SI and
Moreover, up to isomorphism, \({\text {soc}}(\pi \times \pi ')\) is the only irreducible subquotient \(\sigma \) of \(\pi \times \pi '\) such that \(J(\sigma )_{{\mathfrak {s}}(\pi )\otimes {\mathfrak {s}}(\pi ')}\ne 0\).
Proof
If \(\sigma \) is a non-zero subrepresentation of \(\pi \times \pi '\), then by Frobenius reciprocity \(J(\sigma )\twoheadrightarrow \pi \otimes \pi '\). Since it follows that \(J(\sigma )_{{\mathfrak {s}}(\pi )\otimes {\mathfrak {s}}(\pi ')}=J(\pi \times \pi ')_{{\mathfrak {s}}(\pi )\otimes {\mathfrak {s}}(\pi ')}=\pi \otimes \pi '\). The statements now follow from the exactness of J. \(\square \)
Lemma 6
Suppose that \(\pi \in {\mathcal {M}}_{{\mathfrak {s}}}\), \(\pi '\in {\mathcal {M}}_{{\mathfrak {s}}'}\) and . Then,
Proof
Clearly, \({\text {soc}}({\text {soc}}(\pi )\times {\text {soc}}(\pi '))\hookrightarrow {\text {soc}}(\pi \times \pi ')\). Let \(\tau \) be an irreducible subrepresentation of \(\pi \times \pi '\) and suppose on the contrary that \(\tau \) is not a subrepresentation of \({\text {soc}}(\pi )\times {\text {soc}}(\pi ')\). Then \(\tau \cap ({\text {soc}}(\pi )\times {\text {soc}}(\pi '))=0\), and by the exactness of J we have \(J(\tau )\cap J({\text {soc}}(\pi )\times {\text {soc}}(\pi '))=0\). In particular,
On the other hand, we claim that
Indeed, since , the restriction of \({\mathfrak {p}}_{\pi ,\pi '}\) to \(J(\pi \times \pi ')_{{\mathfrak {s}}\otimes {\mathfrak {s}}'}\) is an isomorphism. It is therefore enough to check that the image of \(J({\text {soc}}(\pi )\times {\text {soc}}(\pi '))_{{\mathfrak {s}}\otimes {\mathfrak {s}}'}\) under \({\mathfrak {p}}_{\pi ,\pi '}\) is \({\text {soc}}(\pi \otimes \pi ')={\text {soc}}(\pi )\otimes {\text {soc}}(\pi ')\), and this holds since by Lemma 4.
It follows from (24) and (25) that \(J(\tau )_{{\mathfrak {s}}\otimes {\mathfrak {s}}'}=0\) since any non-zero subrepresentation of \(J(\pi \times \pi ')_{{\mathfrak {s}}\otimes {\mathfrak {s}}'}\) must intersect its socle nontrivially. However, by Frobenius reciprocity \({\text {Hom}}(J(\tau ),\pi \otimes \pi ')\ne 0\) and hence \(J(\tau )_{{\mathfrak {s}}\otimes {\mathfrak {s}}'}\ne 0\). We get a contradiction. \(\square \)
Corollary 5
If \(\pi \in {\mathcal {M}}_{{\mathfrak {s}}}\), \(\pi '\in {\mathcal {M}}_{{\mathfrak {s}}'}\) are SI and , then \(\pi \times \pi '\) is SI and \({\text {soc}}(\pi \times \pi ')={\text {soc}}({\text {soc}}(\pi )\times {\text {soc}}(\pi '))\). Moreover, \({\text {soc}}(\pi )\otimes {\text {soc}}(\pi ')\trianglelefteq J(\pi \times \pi ')\).
Indeed, \({\text {soc}}(\pi )\otimes {\text {soc}}(\pi ')\le J({\text {soc}}({\text {soc}}(\pi )\times {\text {soc}}(\pi ')))\) by Frobenius reciprocity, while \({\text {soc}}(\pi )\otimes {\text {soc}}(\pi ')\trianglelefteq J(\pi \times \pi ')\) since \({\text {soc}}(\pi )\otimes {\text {soc}}(\pi ')\trianglelefteq J(\pi \times \pi ')_{{\mathfrak {s}}\otimes {\mathfrak {s}}'}\simeq \pi \otimes \pi '\) by assumption.
7.3 A simple criterion for separation
Recall that we fixed a total order \(\le \) on \({\text {Irr}}_c\) subject only to the condition that \(\rho <\overset{\rightarrow }{\rho }\) for all \(\rho \in {\text {Irr}}_c\). We extend this lexicographically to a total order on \(\varSigma \) (also denoted by \(\le \)), that is, \(\varDelta \le \varDelta '\) iff either \(e(\varDelta )<e(\varDelta ')\) or \(e(\varDelta )=e(\varDelta ')\) and \(b(\varDelta )\le b(\varDelta ')\). Clearly, if \(\varDelta \prec \varDelta '\) (resp., \(\overset{\leftarrow }{\varDelta }\prec \varDelta '\)) then \(\varDelta <\varDelta '\) (resp., \(\varDelta \le \varDelta '\)). Note that if \(e(\varDelta )=e(\varDelta ')\) then \(\varDelta \le \varDelta '\) if and only if \(\varDelta \supseteq \varDelta '\). (In order to avoid confusion, we will never consider \(\varSigma \) as a poset with respect by inclusion.)
If \({\mathfrak {m}}=\sum _{i\in I}\varDelta _i\in {\mathbb {N}}({\varSigma })\) and \(\varDelta \in \varSigma \), then we write \({\mathfrak {m}}_{\ge \varDelta }=\sum _{i\in I:\varDelta _i\ge \varDelta }\varDelta _i\) and similarly for \({\mathfrak {m}}_{<\varDelta }\).
Lemma 7
Let \({\mathfrak {m}}=\sum _{i\in I}\varDelta _i,{\mathfrak {m}}'=\sum _{i'\in I'}\varDelta _{i'}\in {\mathbb {N}}({\varSigma })\) with \(I\cap I'=\emptyset \). Suppose that \(\overset{\leftarrow }{\varDelta }_i\not \prec \varDelta _{i'}\) for all \(i\in I\), \(i'\in I'\). (For instance, this holds if there exists \(\varDelta \in \varSigma \) such that \({\mathfrak {m}}={\mathfrak {m}}_{\ge \varDelta }\) and \({\mathfrak {m}}'={\mathfrak {m}}'_{<\varDelta }\).) Then, and .
Proof
We show that , the other part being similar. Suppose on the contrary that this is not the case. Then, by the geometric lemma of Bernstein–Zelevinsky and (21), there exists for each \(i\in I\cup I'\) a partition \(\varDelta _i=A_i\cup B_i\) such that
-
\(\rho _1<\rho _2\) whenever \(\rho _1\in A_i\) and \(\rho _2\in B_i\), \(i\in I\cup I'\). In particular, \(A_i,B_i\in \varSigma \cup \{\emptyset \}\).
-
\(0\ne \sum _{i\in I}{\text {supp}}B_i=\sum _{i'\in I'}{\text {supp}}A_{i'}\) and in particular \(\cup _{i'\in I'}A_{i'}=\cup _{i\in I}B_i\ne \emptyset \).
Let
and let \(i\in I\) be such that \(\rho \in B_i\). Then, \(e(\varDelta _i)\in B_i\) and therefore there exists \(i'\in I'\) such that \(e(\varDelta _i)\in A_{i'}\). Thus, \(b(\varDelta _{i'})\in A_{i'}\) and we infer that \(b(\varDelta _{i'})\ge \rho \) by the minimality of \(\rho \). Hence, \(\overset{\leftarrow }{B}_i\prec A_{i'}\) (cf. (3)) and therefore \(\overset{\leftarrow }{\varDelta }_i\prec \varDelta _{i'}\), in contradiction to our assumption. \(\square \)
Corollary 6
Suppose that \(\pi \in {\mathcal {M}}_{{\mathfrak {s}}}\), \(\pi '\in {\mathcal {M}}_{{\mathfrak {s}}'}\) and there exists \(\varDelta \in \varSigma \) such that each irreducible subquotient \(Z({\mathfrak {m}})\) of \(\pi \) (resp., \(\pi ')\) satisfies \({\mathfrak {m}}={\mathfrak {m}}_{\ge \varDelta }\) (resp., \({\mathfrak {m}}={\mathfrak {m}}_{<\varDelta }\)). Then, . A similar conclusion holds if each irreducible subquotient \(L({\mathfrak {m}})\) of \(\pi \) (resp., \(\pi ')\) satisfies \({\mathfrak {m}}={\mathfrak {m}}_{<\varDelta }\) (resp., \({\mathfrak {m}}={\mathfrak {m}}_{\ge \varDelta }\)).
8 Proofs
In this section we prove the statements of Sect. 6.
For the properties pertaining to the geometric condition \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\) we will mostly use the last and most tangible criterion of Proposition 3. It is likely, however, that the proofs can be made more conceptual.
When writing a multisegment as \({\mathfrak {m}}=\sum _{i\in I}\varDelta _i\) it will sometimes be convenient to allow \(\varDelta _i=\emptyset \) for some indices. These inconsequential indices will not have any effect on \({\mathfrak {m}}\) or on the objects pertaining to it (such as \(X_{\mathfrak {m}}\), \(Y_{\mathfrak {m}}\) of Sect. 4.3). We will use this convention throughout.
8.1 Proof of Proposition 5 and Corollary 4
Let \(\pi =Z({\mathfrak {m}})\), \(\pi '=Z({\mathfrak {m}}')\), \(\pi _j=Z({\mathfrak {m}}_j)\), \(\pi _j'=Z({\mathfrak {m}}'_j)\), \(j=1,2\). Then, by (10) and (20a), \(\pi ={\text {soc}}(\pi _1\times \pi _2)\) and \(\pi '={\text {soc}}(\pi '_1\times \pi '_2)\). Thus \(J(\pi )\twoheadrightarrow \pi _1\otimes \pi _2\) and \(J(\pi ')\twoheadrightarrow \pi '_1\otimes \pi '_2\). By the geometric lemma, it follows that \(J(\pi \times \pi ')\) admits \(\pi _1\times \pi '_1\otimes \pi _2\times \pi '_2\) as a subquotient. On the other hand by (20b) and Lemma 7, and hence
Since \({\text {JH}}(\pi _1\times \pi _1'\times \pi _2\times \pi _2')={\text {JH}}(\pi _1 \times \pi _2\times \pi _1'\times \pi _2')\), we infer that
Moreover, (since ) and \({\text {SA}}({\mathfrak {m}}_1+{\mathfrak {m}}_1',{\mathfrak {m}}_2+{\mathfrak {m}}_2')\) (by (20a) and (10)). Hence, by Lemma 5
The first two parts of Proposition 5 readily follow from (26) and (27). Indeed, if \(Z({\mathfrak {m}}+{\mathfrak {m}}')\hookrightarrow \pi \times \pi '\), then
while if \(\pi \times \pi '\) is irreducible (in which case \(\pi \times \pi '=Z({\mathfrak {m}}+{\mathfrak {m}}')\)) then
as required.
To prove the third part, let \(\lambda \in {\mathbf {C}}_{\mathfrak {m}}\) and \(\lambda '\in {\mathbf {C}}_{{\mathfrak {m}}'}\). For \(r=1,2\), let \({\tilde{\lambda }}\in {\mathbf {C}}_{{\mathfrak {m}}_r}\) be such that \({\tilde{\lambda }}_{i,j}=\lambda _{i,j}\) for all \((i,j)\in X_{{\mathfrak {m}}_r}\). Define \({\tilde{\lambda }}'\in {\mathbf {C}}_{{\mathfrak {m}}'_r}\) similarly. Clearly, for any \((i,j)\in X_{{\mathfrak {m}}_r,{\mathfrak {m}}_r'}\), the \(Y_{{\mathfrak {m}}_r,{\mathfrak {m}}_r'}\)-coordinates of \(v_{i,j}^{{\mathfrak {m}},{\mathfrak {m}}'}(\lambda ,\lambda ')\) coincide with those of \(v_{i,j}^{{\mathfrak {m}}_r,{\mathfrak {m}}_r'}({\tilde{\lambda }},{\tilde{\lambda }}')\). On the other hand, the assumptions (20a) and (20b) imply that the coordinates outside \(Y_{{\mathfrak {m}}_r,{\mathfrak {m}}_r'}\) vanish. This clearly implies the third part of Proposition 5.
The last part of Proposition 5 is proved similarly.
Corollary 4 is now an immediate consequence.
8.2 Proof of first part of Proposition 4
For any \(0\ne {\mathfrak {m}}=\sum _{i\in I}\varDelta _i\in {\mathbb {N}}({\varSigma })\) we write \({\mathfrak {m}}={\mathfrak {m}}_{{{\text {mx}}}}+{\mathfrak {m}}_{{{\text {nmx}}}}\) where \({\mathfrak {m}}_{{{\text {mx}}}}=\sum _{i\in I:e(\varDelta _i)=\max {\mathfrak {m}}}\varDelta _i\) and \({\mathfrak {m}}_{{{\text {nmx}}}}=\sum _{i\in I:e(\varDelta _i)<\max {\mathfrak {m}}}\varDelta _i\). For consistency we also write \(0_{{{\text {mx}}}}=0_{{{\text {nmx}}}}=0\).
Lemma 8
For any \({\mathfrak {m}}\in {\mathbb {N}}({\varSigma })\), the representation \(L({\mathfrak {m}}_{{{\text {nmx}}}})\times L({\mathfrak {m}}_{{\text {mx}}})\) is SI and we have \(L({\mathfrak {m}})={\text {soc}}(L({\mathfrak {m}}_{{{\text {nmx}}}})\times L({\mathfrak {m}}_{{\text {mx}}}))\). Moreover, suppose that \(L({\mathfrak {m}}')\) is an irreducible subquotient of \(L({\mathfrak {m}}_{{{\text {nmx}}}})\times L({\mathfrak {m}}_{{\text {mx}}})\) such that \({\mathfrak {m}}'_{{\text {mx}}}={\mathfrak {m}}_{{\text {mx}}}\). Then, \({\mathfrak {m}}'={\mathfrak {m}}\).
This follows from (10) and Lemmas 5 and 7.
Lemma 9
Suppose that \({\mathbf {1}}\ne \pi \in {\text {Irr}}\) and \(0\ne {\mathfrak {m}}\in {\mathbb {N}}({\varSigma })\) with \(\max {\text {supp}}\pi <\max {\mathfrak {m}}\). Then
In particular, for any \({\mathfrak {m}}'\in {\mathbb {N}}({\varSigma })\)
Proof
The first equality of (28) follows from Lemma 8 while the last one follows from Lemma 6, Corollary 6 and the condition on \(\pi \). It remains to show that any irreducible subrepresentation \(\pi '\) of \(\pi \times L({\mathfrak {m}}_{{{\text {nmx}}}})\times L({\mathfrak {m}}_{{{\text {mx}}}})\) is contained in \(\pi \times L({\mathfrak {m}})\). Assume on the contrary that this is not the case. Then \(\pi '\hookrightarrow \pi \times L({\mathfrak {m}}'')\) for some \(L({\mathfrak {m}}'')\le L({\mathfrak {m}}_{{{\text {nmx}}}})\times L({\mathfrak {m}}_{{{\text {mx}}}})\) with \({\mathfrak {m}}''_{{{\text {mx}}}}\ne {\mathfrak {m}}_{{{\text {mx}}}}\) (by the second part of Lemma 8). On the other hand, by the last equality of (28) we have \(\pi '\hookrightarrow \tau \times L({\mathfrak {m}}_{{{\text {mx}}}})\) for some irreducible \(\tau \hookrightarrow \pi \times L({\mathfrak {m}}_{{{\text {nmx}}}})\) and hence by Lemma 8 we have \({\mathfrak {m}}'_{{{\text {mx}}}}={\mathfrak {m}}_{{{\text {mx}}}}\) where we write \(\pi '=L({\mathfrak {m}}')\).
Now, \(\pi '\hookrightarrow \pi \times L({\mathfrak {m}}''_{{{\text {nmx}}}})\times L({\mathfrak {m}}''_{{{\text {mx}}}})\). Hence, \(\pi '\hookrightarrow \tau '\times L({\mathfrak {m}}''_{{{\text {mx}}}})\) for some irreducible subquotient \(\tau '\) of \(\pi \times L({\mathfrak {m}}''_{{{\text {nmx}}}})\). It follows from Lemma 8 that \({\mathfrak {m}}''_{{{\text {mx}}}}={\mathfrak {m}}'_{{{\text {mx}}}}={\mathfrak {m}}_{{{\text {mx}}}}\). We get a contradiction.
The last part follows from (28) and Lemma 8. \(\square \)
Corollary 7
Let \(\pi \) and \({\mathfrak {m}}\) be as in Lemma 9. Let \(\varDelta \) be a segment in \({\mathfrak {m}}\) such that \(e(\varDelta )=\max {\mathfrak {m}}\). Then, for any \({\mathfrak {m}}'\in {\mathbb {N}}({\varSigma })\)
Indeed, if \(\max ({\mathfrak {m}}-\varDelta )\ne \max {\mathfrak {m}}\), i.e., if \({\mathfrak {m}}_{{{\text {mx}}}}=\varDelta \) then this is just Lemma 9; otherwise this follows from Lemma 9 by applying it to both \({\mathfrak {m}}\) and \({\mathfrak {m}}-\varDelta \) (with \({\mathfrak {m}}'\) and \({\mathfrak {m}}'-\varDelta \) respectively).
In fact, the following slightly more precise statement holds (although we shall not use it here).
Corollary 8
Under the conditions of Corollary 7 we have
Proof
Since
and \(L({\mathfrak {m}}_{{{\text {mx}}}})=L({\mathfrak {m}}_{{{\text {mx}}}}-\varDelta )\times L(\varDelta )\), the equality \({\text {soc}}(\pi \times L({\mathfrak {m}}))={\text {soc}}(\pi \times L({\mathfrak {m}}-\varDelta )\times L(\varDelta ))\) follows from Lemma 9 which also implies that
Note that since \(L({\mathfrak {m}}_{{{\text {mx}}}})=L({\mathfrak {m}}_{{{\text {mx}}}}-\varDelta )\times L(\varDelta )\) is \(\square \)-irreducible, for any \(\sigma \in {\text {Irr}}\) we have
The same is therefore true for any semisimple \(\sigma \). Since \({\text {soc}}(\pi \times L({\mathfrak {m}}_{{{\text {nmx}}}}))\) is semisimple (by definition of \({\text {soc}}\)) we infer that
On the other hand, applying Lemma 9 to \({\mathfrak {m}}-\varDelta \) (if \(\max ({\mathfrak {m}}-\varDelta )=\max {\mathfrak {m}}\)) we have
(If \(\max ({\mathfrak {m}}-\varDelta )\ne \max {\mathfrak {m}}\) then the last relation is trivial.) Hence,
The corollary follows. \(\square \)
We can now prove the first part of Proposition 4, which is a strengthening of [19, Lemma 4.16].
Suppose first that \(({\mathfrak {m}}+{\mathfrak {m}}')^-={\mathfrak {m}}+{\mathfrak {m}}'^-\). Then, by comparing \({\text {supp}}\) of both sides, \(\varDelta ({\mathfrak {m}}+{\mathfrak {m}}')=\varDelta ({\mathfrak {m}}')\). For simplicity write \(\varDelta =\varDelta ({\mathfrak {m}}')\) and \(\pi =Z({\mathfrak {m}})\). By Corollary 7,
as required.
It remains therefore to show that \({\text {SA}}({\mathfrak {m}},{\mathfrak {m}}')\) implies \(({\mathfrak {m}}+{\mathfrak {m}}')^-={\mathfrak {m}}+{\mathfrak {m}}'^-\). The argument is essentially in [19]. For completeness we recall it. Write \({\mathfrak {m}}=\sum _{i\in I}\varDelta _i\), \({\mathfrak {m}}'=\sum _{i'\in I'}\varDelta _{i'}\) and let \(i'_1,\dots ,i'_{m'}\) be leading indices of \({\mathfrak {m}}'\). Assume on the contrary that \(({\mathfrak {m}}+{\mathfrak {m}}')^-\ne {\mathfrak {m}}+{\mathfrak {m}}'^-\). Then, there exist indices \(l'\le m'\) and \(l\in I\) such that \(\varDelta _l\prec \varDelta _{i'_{l'}}\), \(e(\varDelta _l)=e(\overset{\leftarrow }{\varDelta }_{i'_{l'}})\) and either \(l'=m'\) or \(\varDelta _l\subsetneq \varDelta _{i'_{l'+1}}\). By Corollary 4 we may replace \({\mathfrak {m}}\) and \({\mathfrak {m}}'\) by \({\mathfrak {m}}_{\ge \varDelta _l}\) and \({\mathfrak {m}}'_{\ge \varDelta _l}\) respectively since neither the condition \({\text {SA}}({\mathfrak {m}},{\mathfrak {m}}')\) nor the assumption \(({\mathfrak {m}}+{\mathfrak {m}}')^-\ne {\mathfrak {m}}+{\mathfrak {m}}'^-\) is affected by this change. Thus, we may assume without loss of generality that \({\mathfrak {m}}={\mathfrak {m}}_{\ge \varDelta _l}\) and \(l'=m'\). By Lemma 9 (applied to \({\mathfrak {m}}'^\#\)), the condition \({\text {SA}}({\mathfrak {m}},{\mathfrak {m}}')\) implies that
However, the right-hand side admits a segment which contains \(e(\varDelta _l)\) in its support while the left-hand side does not. We obtain a contradiction.
8.3 Proof of second part of Proposition 4
Lemma 10
Let \({\mathfrak {m}}=\sum _{i\in I}\varDelta _i\in {\mathbb {N}}({\varSigma })\) and let \(i_1,\dots ,i_m\) be leading indices of \({\mathfrak {m}}\). (See Sect. 2.2.) Then, any nonempty open \(G_{\mathfrak {m}}\)-invariant subset A of \({\mathbf {C}}_{\mathfrak {m}}\) contains an element \(\lambda \) whose coordinates satisfy \(\lambda _{i,i_j}=\delta _{i,i_{j+1}}\) for all \(j=1,\dots ,m-1\) and \(i\in I\) such that \(e(\varDelta _i)=e(\varDelta _{i_{j+1}})\).
Proof
We argue as in [24]. We prove by induction on \(l=0,\dots ,m-1\) that there exists \(\lambda \in A\) such \(\lambda _{i,i_j}=\delta _{i,i_{j+1}}\) for all \(j=1,\dots ,l\) and \(i\in I\) such that \(e(\varDelta _i)=e(\varDelta _{i_{j+1}})\). The base of the induction (\(l=0\)) is trivial. For the induction step, we assume that \(0<l<m\) and the statement holds for \(l-1\). In addition, by openness, we may assume that \(\lambda _{i_{l+1},i_l}\ne 0\). Take \(g\in G_{\mathfrak {m}}\) whose coordinates are given by
(g is invertible since \(\lambda _{i_{l+1},i_l}\ne 0\).) Let \({\tilde{\lambda }}=g^{-1}\lambda g\in A\). We show that \({\tilde{\lambda }}\) satisfies the required conditions for l. Suppose first that \(j<l\). By assumption, for any \(\rho \in \varDelta _{i_j}\) we have \(\lambda x_{\rho ,i_j}=x_{\overset{\leftarrow }{\rho },i_{j+1}}+\xi \) where the coordinates of \(\xi \) with respect to \(x_{\overset{\leftarrow }{\rho },i}\) vanish if \(e(\varDelta _i)=e(\varDelta _{i_{j+1}})\). The same condition holds for \(g^{-1}\xi \). It follows that
and hence, \({\tilde{\lambda }}_{i,i_j}=\delta _{i,i_{j+1}}\) for all i such that \(e(\varDelta _r)=e(\varDelta _{i_{j+1}})\). Also, we may write
where the coordinates of \(\xi \) with respect to \(x_{\rho ,i}\) vanish if \(e(\varDelta _i)=e(\varDelta _{i_{l+1}})\). Hence,
It follows that \({\tilde{\lambda }}_{i,i_l}=\delta _{i,i_{l+1}}\) for all i such that \(e(\varDelta _i)=e(\varDelta _{i_{l+1}})\). This concludes the induction step. \(\square \)
Similarly, we have the following.
Lemma 11
Let \({\mathfrak {m}}\in {\mathbb {N}}({\varSigma })\). Then, any nonempty open \(G_{{\mathfrak {m}}^-}\)-invariant subset B of \({\mathbf {C}}_{{\mathfrak {m}}^-}\) contains an element \(\lambda \) whose coordinates satisfy \(\lambda _{i,j}=0\) for all \((i,j)\in X_{{\mathfrak {m}}^-}{\setminus } X_{\mathfrak {m}}\).
Proof
Let \(i_1,\dots ,i_m\) be leading indices of \({\mathfrak {m}}\). Note that
We show by descending induction on \(l=m,\dots ,1\) that there exists \(\lambda \in B\) such that \(\lambda _{i_j,i}=0\) for all \(j>l\) and i such that \(e(\varDelta _{i_j})=e(\varDelta _i)\). Once again, the base of the induction (\(l=m\)) is trivial.
For the induction step we may assume that \(\varDelta _{i_{l-1}}\) is not a singleton (or equivalently, \((i_l,i_{l-1})\in X_{{\mathfrak {m}}^-}\)) since otherwise, \((i_l,i)\notin X_{{\mathfrak {m}}^-}\) for all i such that \(e(\varDelta _{i_j})=e(\varDelta _i)\). We may also assume that \(\lambda \in B\) satisfies \(\lambda _{i_l,i_{l-1}}\ne 0\). Consider the set
Note that it follows from the definition of \(i_l\) that \((i_{l-1},i)\in Y_{{\mathfrak {m}}^-}\) for all \(i\in I_l\). Let \(g\in G_{{\mathfrak {m}}^-}\) be such that \(g_{i_{l-1},i}=-\lambda _{i_l,i_{l-1}}^{-1}\lambda _{i_l,i}\) for all \(i\in I_l\) and \(g_{i,j}=\delta _{i,j}\) if \(j\ne I_l\) or \(i\ne i_{l-1}\). Let \({\tilde{\lambda }}=g^{-1}\lambda g\in B\). Then, for any \(\rho \in \varDelta _i\), \(i\in I_l\) the coefficients of
with respect to \(x_{\overset{\leftarrow }{\rho },j}\) are 0 for all j such that \(\varDelta _j\ge \varDelta _{i_l}\). Hence, the coefficient of \(x_{\overset{\leftarrow }{\rho },i_l}\) in \({\tilde{\lambda }} x_{\rho ,i}\) is 0 as well. Thus, \({\tilde{\lambda }}_{i_l,i}=0\) for all \(i\in I_l\). Moreover, if \(i\in I_j\) with \(j>l\) then \({\tilde{\lambda }} x_{\rho ,i}=g^{-1}\lambda x_{\rho ,i}=\lambda x_{\rho ,i}\) since g fixes \(x_{\overset{\leftarrow }{\rho },k}\) for all k such that \(\varDelta _k\le \varDelta _{i_l}\). It follows from the induction hypothesis that \({\tilde{\lambda }}_{i_j,i}=\lambda _{i_j,i}=0\) for all \(i\in I_j\). This completes the induction step. \(\square \)
Recall the sets \(X_{{\mathfrak {m}},{\mathfrak {m}}'}\) and \(Y_{{\mathfrak {m}},{\mathfrak {m}}'}\) defined in Sect. 5.4.
Lemma 12
Suppose that \(0\ne {\mathfrak {m}},{\mathfrak {m}}'\in {\mathbb {N}}({\varSigma })\) with \(\max {\mathfrak {m}}<\max {\mathfrak {m}}'\). Write \({\mathfrak {m}}=\sum _{i\in I}\varDelta _i\), \({\mathfrak {m}}'=\sum _{i\in I'}\varDelta _{i'}\) and let \(i'_1,\dots ,i'_{m'}\) be leading indices of \({\mathfrak {m}}'\). Write \({\mathfrak {m}}'^-=\sum _{i\in I'}\varDelta '_{i'}\) where
Then, \(X_{{\mathfrak {m}},{\mathfrak {m}}'^-}\subseteq X_{{\mathfrak {m}},{\mathfrak {m}}'}\) and \(Y_{{\mathfrak {m}},{\mathfrak {m}}'^-}\subseteq Y_{{\mathfrak {m}},{\mathfrak {m}}'}\). Let \({\tilde{X}}_{{\mathfrak {m}},{\mathfrak {m}}'}=X_{{\mathfrak {m}},{\mathfrak {m}}'}{\setminus } X_{{\mathfrak {m}},{\mathfrak {m}}'^-}\) and \({\tilde{Y}}_{{\mathfrak {m}},{\mathfrak {m}}'}=Y_{{\mathfrak {m}},{\mathfrak {m}}'}{\setminus } Y_{{\mathfrak {m}},{\mathfrak {m}}'^-}\) and let \(f_{{\mathfrak {m}},{\mathfrak {m}}'}:{\tilde{Y}}_{{\mathfrak {m}},{\mathfrak {m}}'}\rightarrow {\tilde{X}}_{{\mathfrak {m}},{\mathfrak {m}}'}\) be given by \((i,i'_{j'})\mapsto (i,i'_{j'-1})\). Then, upon fixing a total order on I, the function \(f_{{\mathfrak {m}},{\mathfrak {m}}'}\) is strictly monotone increasing with respect to the lexicographic order, and in particular injective. Moreover, \(f_{{\mathfrak {m}},{\mathfrak {m}}'}\) is a bijection (i.e., onto) if and only if \(({\mathfrak {m}}+{\mathfrak {m}}')^-={\mathfrak {m}}+{\mathfrak {m}}'^-\). In particular, this is the case if \(\#{\tilde{X}}_{{\mathfrak {m}},{\mathfrak {m}}'}\le \#{\tilde{Y}}_{{\mathfrak {m}},{\mathfrak {m}}'}\).
Proof
The fact that \(X_{{\mathfrak {m}},{\mathfrak {m}}'^-}\subseteq X_{{\mathfrak {m}},{\mathfrak {m}}'}\) and \(Y_{{\mathfrak {m}},{\mathfrak {m}}'^-}\subseteq Y_{{\mathfrak {m}},{\mathfrak {m}}'}\) is clear. The function \(f_{{\mathfrak {m}},{\mathfrak {m}}'}\) is well-defined since \(\max {\mathfrak {m}}<\max {\mathfrak {m}}'\). Note that
and
The monotonicity of \(f_{{\mathfrak {m}},{\mathfrak {m}}'}\) is obvious. The equivalence of \(({\mathfrak {m}}+{\mathfrak {m}}')^-={\mathfrak {m}}+{\mathfrak {m}}'^-\) and the surjectivity of \(f_{{\mathfrak {m}},{\mathfrak {m}}'}\) is easy to check (cf., proof of [19, Proposition 6.19]). \(\square \)
We are now ready to show the second part of Proposition 4,
let \(i'_1,\dots ,i'_{m'}\) be leading indices of \({\mathfrak {m}}'\).
As in Lemma 12 we view \(X_{{\mathfrak {m}},{\mathfrak {m}}'^-}\) and \(Y_{{\mathfrak {m}},{\mathfrak {m}}'^-}\) as subsets of \(X_{{\mathfrak {m}},{\mathfrak {m}}'}\) and \(Y_{{\mathfrak {m}},{\mathfrak {m}}'}\) respectively and let \({\tilde{X}}_{{\mathfrak {m}},{\mathfrak {m}}'}=X_{{\mathfrak {m}},{\mathfrak {m}}'}{\setminus } X_{{\mathfrak {m}},{\mathfrak {m}}'^-}\) and \({\tilde{Y}}_{{\mathfrak {m}},{\mathfrak {m}}'}=Y_{{\mathfrak {m}},{\mathfrak {m}}'}{\setminus } Y_{{\mathfrak {m}},{\mathfrak {m}}'^-}\).
Assume first that \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\) holds. Thus, \(v_{i,j}^{{\mathfrak {m}},{\mathfrak {m}}'}(\lambda ,\lambda ')\), \((i,j)\in X_{{\mathfrak {m}},{\mathfrak {m}}'}\) are linearly independent in \({\mathbb {C}}^{Y_{{\mathfrak {m}},{\mathfrak {m}}'}}\) for some \((\lambda ,\lambda ')\in {\mathbf {C}}_{\mathfrak {m}}\times {\mathbf {C}}_{{\mathfrak {m}}'}\) (see (17)). Let
Note that \(X_{{\mathfrak {m}}'}{\setminus } X_{{\mathfrak {m}}'^-}={\tilde{X}}_{{\mathfrak {m}}'}\cup {\hat{X}}_{{\mathfrak {m}}'}\). By Lemma 10 (applied to \({\mathfrak {m}}'\)) we can assume without loss of generality that \(\lambda '_{i,j}=0\) for all \((i,j)\in {\tilde{X}}_{{\mathfrak {m}}'}\).
Let \({\text {pr}}:{\mathbb {C}}^{Y_{{\mathfrak {m}},{\mathfrak {m}}'}}\rightarrow {\mathbb {C}}^{Y_{{\mathfrak {m}},{\mathfrak {m}}'^-}}\) be the standard projection. It is easy to check that the vanishing of \(\lambda '_{i,j}\) for \((i,j)\in {\tilde{X}}_{{\mathfrak {m}}'}\) (regardless of the values of \(\lambda '_{i,j}\), \((i,j)\in {\hat{X}}_{{\mathfrak {m}}'}\)) implies that \({\text {pr}}(v_{i,j}^{{\mathfrak {m}},{\mathfrak {m}}'}(\lambda ,\lambda '))=0\) for all \((i,j)\in {\tilde{X}}_{{\mathfrak {m}},{\mathfrak {m}}'}\). In particular, \(\#{\tilde{X}}_{{\mathfrak {m}},{\mathfrak {m}}'}\le \#{\tilde{Y}}_{{\mathfrak {m}},{\mathfrak {m}}'}\). By Lemma 12 we infer that \(({\mathfrak {m}}+{\mathfrak {m}}')^-={\mathfrak {m}}+{\mathfrak {m}}'^-\) and \(\#{\tilde{X}}_{{\mathfrak {m}},{\mathfrak {m}}'}=\#{\tilde{Y}}_{{\mathfrak {m}},{\mathfrak {m}}'}\). It also follows that \({\text {pr}}(v_{i,j}^{{\mathfrak {m}},{\mathfrak {m}}'}(\lambda ,\lambda '))\), \((i,j)\in X_{{\mathfrak {m}},{\mathfrak {m}}'^-}\) are linearly independent in \({\mathbb {C}}^{Y_{{\mathfrak {m}},{\mathfrak {m}}'^-}}\). However, once again because of the condition on \(\lambda '\), we have \({\text {pr}}(v_{i,j}^{{\mathfrak {m}},{\mathfrak {m}}'}(\lambda ,\lambda '))=v_{i,j}^{{\mathfrak {m}},{\mathfrak {m}}'^-} (\lambda ,{\tilde{\lambda }}')\) for all \((i,j)\in X_{{\mathfrak {m}},{\mathfrak {m}}'^-}\) where the coefficients of \({\tilde{\lambda }}'\in {\mathbf {C}}_{{\mathfrak {m}}'^-}\) are given by \({\tilde{\lambda }}'_{i,j}=\lambda '_{i,j}\) if \((i,j)\in X_{{\mathfrak {m}}'^-}\cap X_{{\mathfrak {m}}'}\) and \({\tilde{\lambda }}'_{i,j}=0\) if \((i,j)\in X_{{\mathfrak {m}}'^-}{\setminus } X_{{\mathfrak {m}}'}\). Hence, \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}'^-)\) holds.
Conversely, assume that \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}'^-)\) and \(({\mathfrak {m}}+{\mathfrak {m}}')^-={\mathfrak {m}}+{\mathfrak {m}}'^-\). Let \((\lambda ,{\tilde{\lambda }}')\in {\mathbf {C}}_{\mathfrak {m}}\times {\mathbf {C}}_{{\mathfrak {m}}'}\) be such that \(v_{i,j}^{{\mathfrak {m}},{\mathfrak {m}}'^-}(\lambda ,{\tilde{\lambda }}')\), \((i,j)\in X_{{\mathfrak {m}},{\mathfrak {m}}'^-}\) are linearly independent in \({\mathbb {C}}^{Y_{{\mathfrak {m}},{\mathfrak {m}}'^-}}\), and let \(f=f_{{\mathfrak {m}},{\mathfrak {m}}'}:{\tilde{Y}}_{{\mathfrak {m}},{\mathfrak {m}}'}\rightarrow {\tilde{X}}_{{\mathfrak {m}},{\mathfrak {m}}'}\) be the bijection defined in Lemma 12. By Lemma 11 we may assume without loss of generality that \({\tilde{\lambda }}'_{i,j}=0\) if \((i,j)\in X_{{\mathfrak {m}}'^-}{\setminus } X_{{\mathfrak {m}}'}\). We may also assume that \({\tilde{\lambda }}'_{i'_{j'+1},i'_{j'}}\ne 0\) for all \(j'=1,\dots ,m'-1\) such that \(\varDelta _{i'_{j'}}\) is not a singleton. Define \(\lambda '\in {\mathbf {C}}_{{\mathfrak {m}}'}\) by
As before,
To conclude \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\) it suffices to show that \(v_{i,j}^{{\mathfrak {m}},{\mathfrak {m}}'}(\lambda ,\lambda ')\), \((i,j)\in {\tilde{X}}_{{\mathfrak {m}},{\mathfrak {m}}'}\) are linearly independent. Indeed, for any \((i,j)\in {\tilde{Y}}_{{\mathfrak {m}},{\mathfrak {m}}'}\) the (i, j)-th coefficient of \(v_{f(i,j)}^{{\mathfrak {m}},{\mathfrak {m}}'}(\lambda ,\lambda ')\) is \(\lambda '_{j,j'}\ne 0\) where \(f(i,j)=(i,j')\) while the only other non-zero coefficients of \(v_{i,j}^{{\mathfrak {m}},{\mathfrak {m}}'}(\lambda ,\lambda ')\) \((i,j)\in {\tilde{X}}_{{\mathfrak {m}},{\mathfrak {m}}'}\) can occur at coordinates (r, j) with \(r<i\). Thus, upon ordering \({\tilde{X}}_{{\mathfrak {m}},{\mathfrak {m}}'}\) and \({\tilde{Y}}_{{\mathfrak {m}},{\mathfrak {m}}'}\) lexicographically (with respect to a prescribed total order on I), the square matrix formed by the \({\tilde{Y}}_{{\mathfrak {m}},{\mathfrak {m}}'}\)-coordinates of \(v_{i,j}^{{\mathfrak {m}},{\mathfrak {m}}'}(\lambda ,\lambda ')\), \((i,j)\in {\tilde{X}}_{{\mathfrak {m}},{\mathfrak {m}}'}\) is upper triangular with non-zero diagonal entries.
To complete the proof of Proposition 4 (the very last part), it remains to invoke the penultimate part of Corollary 4.
8.4 Proof of first part of Theorem 1
Suppose that \({\mathfrak {m}}=\varDelta _1+\dots +\varDelta _k\) with \(\varDelta _{i+1}\prec \varDelta _i\) for all \(i=1,\dots ,k-1\). We show by induction on k that the conditions \({\text {SA}}({\mathfrak {m}},{\mathfrak {m}}')\) and \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\) are equivalent for any multisegment \({\mathfrak {m}}'=\sum _{i\in I'}\varDelta _{i'}\). (The equivalence of the symmetric conditions \({\text {SA}}({\mathfrak {m}}',{\mathfrak {m}})\) and \({\text {SG}}({\mathfrak {m}}',{\mathfrak {m}})\) would then follow from (9) and Remark 3 part 4.) The case \(k=0\) is trivial. Assume that \(k>0\) and the statement holds for \(k-1\). By Proposition 4 we may assume that \(\max {\mathfrak {m}}'\le \max {\mathfrak {m}}\). In this case, by [19, Proposition 6.1] \({\text {SA}}({\mathfrak {m}},{\mathfrak {m}}')\) is equivalent to \({\text {SA}}({\mathfrak {m}}-\varDelta _1,{\mathfrak {m}}'_{<\varDelta _1})\). To complete the induction step we show that the conditions \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\) and \({\text {SG}}({\mathfrak {m}}-\varDelta _1,{\mathfrak {m}}'_{<\varDelta _1})\) are also equivalent.
Note that \(X_{{\mathfrak {m}},{\mathfrak {m}}'}=X_{{\mathfrak {m}}-\varDelta _1,{\mathfrak {m}}'_{<\varDelta _1}}\cup X_{{\mathfrak {m}}-\varDelta _1,{\mathfrak {m}}'_{\ge \varDelta _1}}\), \(Y_{{\mathfrak {m}},{\mathfrak {m}}'}=Y_{{\mathfrak {m}}-\varDelta _1,{\mathfrak {m}}'_{<\varDelta _1}}\cup Y_{\varDelta _1,{\mathfrak {m}}'_{\ge \varDelta _1}}\cup Y_{{\mathfrak {m}}-\varDelta _1,{\mathfrak {m}}'_{\ge \varDelta _1}}\) and \(X_{{\mathfrak {m}}'}=X_{{\mathfrak {m}}'_{<\varDelta _1}}\cup X_{{\mathfrak {m}}'_{<\varDelta _1},{\mathfrak {m}}'_{\ge \varDelta _1}}\).
We compare the vectors \(v_{i,j}^{{\mathfrak {m}},{\mathfrak {m}}'}(\lambda ,\lambda ')\in {\mathbb {C}}^{Y_{{\mathfrak {m}},{\mathfrak {m}}'}}\), \((i,j)\in X_{{\mathfrak {m}},{\mathfrak {m}}'}\) for \((\lambda ,\lambda ')\in {\mathbf {C}}_{\mathfrak {m}}\times {\mathbf {C}}_{{\mathfrak {m}}'}\) and \(v_{i,j}^{{\mathfrak {m}}-\varDelta _1,{\mathfrak {m}}'_{<\varDelta _1}}({\tilde{\lambda }},{\tilde{\lambda }}') \in {\mathbb {C}}^{Y_{{\mathfrak {m}}-\varDelta _1,{\mathfrak {m}}'_{<\varDelta _1}}}\), \((i,j)\in X_{{\mathfrak {m}}-\varDelta _1,{\mathfrak {m}}'_{<\varDelta _1}}\) for \(({\tilde{\lambda }},{\tilde{\lambda }}')\in {\mathbf {C}}_{{\mathfrak {m}}-\varDelta _1}\times {\mathbf {C}}_{{\mathfrak {m}}'_{<\varDelta _1}}\).
Suppose that \(\lambda _{i,j}={\tilde{\lambda }}_{i,j}\) for all \((i,j)\in X_{{\mathfrak {m}}-\varDelta _1}\) and \(\lambda '_{i,j}={\tilde{\lambda }}'_{i,j}\) for all \((i,j)\in X_{{\mathfrak {m}}'_{<\varDelta _1}}\). Then, it is easy to check that for all \((i,j)\in X_{{\mathfrak {m}}-\varDelta _1,{\mathfrak {m}}'_{<\varDelta _1}}\), the \(Y_{{\mathfrak {m}}-\varDelta _1,{\mathfrak {m}}'_{<\varDelta _1}}\)-coordinates of \(v_{i,j}^{{\mathfrak {m}},{\mathfrak {m}}'}(\lambda ,\lambda ')\) and \(v_{i,j}^{{\mathfrak {m}}-\varDelta _1,{\mathfrak {m}}'_{<\varDelta _1}}({\tilde{\lambda }},{\tilde{\lambda }}')\) coincide, while the coordinates of \(v_{i,j}^{{\mathfrak {m}},{\mathfrak {m}}'}(\lambda ,\lambda ')\) outside \(Y_{{\mathfrak {m}}-\varDelta _1,{\mathfrak {m}}'_{<\varDelta _1}}\) all vanish. It follows that \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\implies {\text {SG}}({\mathfrak {m}}-\varDelta _1,{\mathfrak {m}}'_{<\varDelta _1})\). For the converse implication, observe that if \((i,j)\in X_{{\mathfrak {m}}-\varDelta _1,{\mathfrak {m}}'_{\ge \varDelta _1}}\), then \((i-1,j)\in Y_{{\mathfrak {m}},{\mathfrak {m}}'_{\ge \varDelta _1}}\), \((i,i-1)\in X_{{\mathfrak {m}}}\) and the \((i-1,j)\)-coordinate of vectors \(v_{i,j}^{{\mathfrak {m}},{\mathfrak {m}}'}(\lambda ,\lambda ')\) is \(\lambda _{i,i-1}\). Moreover, if the \((i',j')\)-coordinate of \(v_{i,j}^{{\mathfrak {m}},{\mathfrak {m}}'}(\lambda ,\lambda ')\) is nonzero for some \((i',j')\in Y_{{\mathfrak {m}},{\mathfrak {m}}'_{\ge \varDelta _1}}\), then \(j'=j\) and \(i'<i\). By imposing the open condition \(\lambda _{i,i-1}\ne 0\) for all \((i,i-1)\in X_{{\mathfrak {m}}}\) we see that \({\text {SG}}({\mathfrak {m}}-\varDelta _1,{\mathfrak {m}}'_{<\varDelta _1})\implies {\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\). This completes the induction step.
Remark 8
In [19, Proposition 6.15] we also proved that if at least one of \({\mathfrak {m}}\) and \({\mathfrak {m}}'\) is a ladder then \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\) is equivalent to the condition that there exists an injective map \(f:X_{{\mathfrak {m}},{\mathfrak {m}}'}\rightarrow Y_{{\mathfrak {m}},{\mathfrak {m}}'}\) such that for all \((i,i')\in X_{{\mathfrak {m}},{\mathfrak {m}}'}\) either \(f(i,i')=(i,j')\) with \(\varDelta _{j'}\prec \varDelta _{i'}\) or \(f(i,i')=(i,j)\) with \(\varDelta _i\prec \varDelta _j\). In general, the latter condition is strictly weaker than \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\).
8.5 Proof of Proposition 6 and second part of Theorem 1
Suppose that \(Z({\mathfrak {m}}+{\mathfrak {m}}'+{\mathfrak {n}})\hookrightarrow Z({\mathfrak {m}}+{\mathfrak {m}}')\times Z({\mathfrak {n}})\) and \(Z({\mathfrak {m}}+{\mathfrak {m}}')\hookrightarrow Z({\mathfrak {m}})\times Z({\mathfrak {m}}')\). Then, \(Z({\mathfrak {m}}+{\mathfrak {m}}'+{\mathfrak {n}})\hookrightarrow Z({\mathfrak {m}})\times Z({\mathfrak {m}}')\times Z({\mathfrak {n}})\). Thus, there exists an irreducible subquotient \(\pi \) of \(Z({\mathfrak {m}}')\times Z({\mathfrak {n}})\) such that \(Z({\mathfrak {m}}+{\mathfrak {m}}'+{\mathfrak {n}})\hookrightarrow Z({\mathfrak {m}})\times \pi \). Since \(Z({\mathfrak {m}}+{\mathfrak {m}}'+{\mathfrak {n}})\trianglelefteq Z({\mathfrak {m}})\times Z({\mathfrak {m}}')\times Z({\mathfrak {n}})\) and \(Z({\mathfrak {m}}+{\mathfrak {m}}'+{\mathfrak {n}})\trianglelefteq Z({\mathfrak {m}})\times Z({\mathfrak {m}}'+{\mathfrak {n}})\), we infer that necessarily \(\pi =Z({\mathfrak {m}}'+{\mathfrak {n}})\). Hence, \({\text {SA}}({\mathfrak {m}},{\mathfrak {m}}'+{\mathfrak {n}})\).
Now suppose that \({\text {SG}}({\mathfrak {m}}+{\mathfrak {m}}',{\mathfrak {n}})\) holds. As before, we use the criterion 3 of Proposition 3. Let \(\lambda \in {\mathbf {C}}_{{\mathfrak {m}}+{\mathfrak {m}}'}\) and \(\lambda '\in {\mathbf {C}}_{{\mathfrak {n}}}\) be such that \(v_{i,j}^{{\mathfrak {m}}+{\mathfrak {m}}',{\mathfrak {n}}}(\lambda ,\lambda ')\), \((i,j)\in X_{{\mathfrak {m}}+{\mathfrak {m}}',{\mathfrak {n}}}\) are linearly independent in \({\mathbb {C}}^{Y_{{\mathfrak {m}}+{\mathfrak {m}}',{\mathfrak {n}}}}\). Denote by \(\lambda _{{\mathfrak {m}}}\) the element of \({\mathbf {C}}_{{\mathfrak {m}}}\) whose coordinates coincide with the \(X_{{\mathfrak {m}}}\)-coordinates of \(\lambda \). Similarly for \(\lambda _{{\mathfrak {m}}'}\). If \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\) holds, then by Proposition 3, we may assume that \(\lambda _{i,j}=0\) for all \((i,j)\in X_{{\mathfrak {m}},{\mathfrak {m}}'}\). (We may still assume that \((\lambda _{{\mathfrak {m}}},\lambda _{{\mathfrak {m}}'})\in {\mathbf {C}}_{{\mathfrak {m}}}\times {\mathbf {C}}_{{\mathfrak {m}}'}\) is generic.) In this case, the \(Y_{{\mathfrak {m}}',{\mathfrak {n}}}\)-coordinates of \(v_{i,j}^{{\mathfrak {m}}+{\mathfrak {m}}',{\mathfrak {n}}}(\lambda ,\lambda ')\), \((i,j)\in X_{{\mathfrak {m}},{\mathfrak {n}}}\) vanish. On the other hand, the \(Y_{{\mathfrak {m}},{\mathfrak {n}}}\)-coordinates of \(v_{i,j}^{{\mathfrak {m}}+{\mathfrak {m}}',{\mathfrak {n}}}(\lambda ,\lambda ')\), \((i,j)\in X_{{\mathfrak {m}},{\mathfrak {n}}}\) coincide with those of \(v_{i,j}^{{\mathfrak {m}},{\mathfrak {n}}}(\lambda _{{\mathfrak {m}}},\lambda ')\). The condition \({\text {SG}}({\mathfrak {m}},{\mathfrak {n}})\) follows.
Consider \(v_{i,j}^{{\mathfrak {m}},{\mathfrak {m}}'+{\mathfrak {n}}}(\lambda _{{\mathfrak {m}}},\mu )\) where \(\mu _{{\mathfrak {m}}',{\mathfrak {n}}}=\mu _{{\mathfrak {n}},{\mathfrak {m}}'}=0\) and \(\mu _{{\mathfrak {n}}}=\lambda '\). Then, for \((i,j)\in X_{{\mathfrak {m}},{\mathfrak {n}}}\) the \(Y_{{\mathfrak {m}},{\mathfrak {n}}}\)-coordinates of \(v_{i,j}^{{\mathfrak {m}},{\mathfrak {m}}'+{\mathfrak {n}}}(\lambda _{{\mathfrak {m}}},\mu )\) are the same as those of \(v_{i,j}^{{\mathfrak {m}}+{\mathfrak {m}}',{\mathfrak {n}}}(\lambda ,\lambda ')\) while the \(Y_{{\mathfrak {m}},{\mathfrak {m}}'}\)-coordinates vanish. Similarly, for \((i,j)\in X_{{\mathfrak {m}},{\mathfrak {m}}'}\), the \(Y_{{\mathfrak {m}},{\mathfrak {m}}'}\)-coordinates of \(v_{i,j}^{{\mathfrak {m}},{\mathfrak {m}}'+{\mathfrak {n}}}(\lambda _{{\mathfrak {m}}},\mu )\) are the same as those of \(v_{i,j}^{{\mathfrak {m}},{\mathfrak {m}}'}(\lambda _{{\mathfrak {m}}},\mu _{{\mathfrak {m}}'})\) while the \(Y_{{\mathfrak {m}},{\mathfrak {n}}}\)-coordinates vanish. The property \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\) therefore implies \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}'+{\mathfrak {n}})\).
For the third part, write \(X_{{\mathfrak {m}}'+{\mathfrak {n}}}=X_{{\mathfrak {m}}'}\cup X_{{\mathfrak {n}}}\cup X_{{\mathfrak {m}}',{\mathfrak {n}}}\cup X_{{\mathfrak {n}},{\mathfrak {m}}'}\) and take \(\lambda \in {\mathbf {C}}_{{\mathfrak {m}}'+{\mathfrak {n}}}\) whose coordinates with respect to \(X_{{\mathfrak {m}}',{\mathfrak {n}}}\cup X_{{\mathfrak {n}},{\mathfrak {m}}'}\) vanish.
The fourth part is an immediate consequence.
To prove the last part of Proposition 6, recall that \({\text {SA}}({\mathfrak {m}}+{\mathfrak {m}}',{\mathfrak {n}})\) if and only if the image of the intertwining operator \(R_{Z({\mathfrak {n}}),Z({\mathfrak {m}}+{\mathfrak {m}}')}\) is \(Z({\mathfrak {m}}+{\mathfrak {m}}'+{\mathfrak {n}})\). On the other hand, by assumption \(Z({\mathfrak {m}}+{\mathfrak {m}}')=Z({\mathfrak {m}})\times Z({\mathfrak {m}}')\) and therefore
The required equivalence follows from the fact that \(Z({\mathfrak {m}}+{\mathfrak {m}}'+{\mathfrak {n}})\trianglelefteq Z({\mathfrak {n}})\times Z({\mathfrak {m}}+{\mathfrak {m}}')\), \({\text {JH}}(Z({\mathfrak {n}}+{\mathfrak {m}})\times Z({\mathfrak {m}}'))\) and \({\text {JH}}(Z({\mathfrak {n}}+{\mathfrak {m}}')\times Z({\mathfrak {m}}))\) and that the images of \(R_{Z({\mathfrak {n}}),Z({\mathfrak {m}}+{\mathfrak {m}}')}\), \(R_{Z({\mathfrak {n}}),Z({\mathfrak {m}})}\) and \(R_{Z({\mathfrak {n}}),Z({\mathfrak {m}}')}\) are irreducible.
This finishes the proof of Proposition 6.
The second part of Theorem 1 now follows by induction on k.
8.6 Proof of Proposition 7
The first part is a special case of (13). We prove the second part. Observe that \(X_{{\mathfrak {n}}}=X_{\mathfrak {m}}\cup X_{{\mathfrak {m}}'}\cup X_{{\mathfrak {m}},{\mathfrak {m}}'}\cup X_{{\mathfrak {m}}',{\mathfrak {m}}}\) and \(Y_{{\mathfrak {n}}}=Y_{\mathfrak {m}}\cup Y_{{\mathfrak {m}}'}\cup Y_{{\mathfrak {m}},{\mathfrak {m}}'}\cup Y_{{\mathfrak {m}}',{\mathfrak {m}}}\). Assume that \(\lambda \in {\mathbf {C}}_{{\mathfrak {n}}}^{\imath '}\). Let \(\lambda _{{\mathfrak {m}}}\) and \(\lambda _{{\mathfrak {m}}'}\) be as in Sect. 8.5. Then, for any \((i,j)\in X_{{\mathfrak {n}}}\)
-
1.
The \(Y_{{\mathfrak {n}},{\mathfrak {m}}}\)-coordinates of \(v_{i,j}^{{\mathfrak {n}}}(\lambda )\) are \(v_{i,j}^{{\mathfrak {n}},{\mathfrak {m}}}(\lambda ,\lambda _{{\mathfrak {m}}})\) if \((i,j)\in X_{{\mathfrak {n}},{\mathfrak {m}}}\) and 0 otherwise.
-
2.
If \((i,j)\in X_{{\mathfrak {n}},{\mathfrak {m}}'}\) then the \(Y_{{\mathfrak {m}}'}\)-coordinates of \(v_{i,j}^{{\mathfrak {n}}}(\lambda )\) are \(v_{i,j}^{{\mathfrak {m}}'}(\lambda _{{\mathfrak {m}}'})\) if \((i,j)\in X_{{\mathfrak {m}}'}\) and 0 otherwise.
-
3.
If \((i,j)\in X_{{\mathfrak {m}},{\mathfrak {m}}'}\) then the \(Y_{{\mathfrak {m}},{\mathfrak {m}}'}\)-coordinates of \(v_{i,j}^{{\mathfrak {n}}}(\lambda )\) are \(v_{i,j}^{{\mathfrak {m}},{\mathfrak {m}}'}(\lambda _{{\mathfrak {m}}},\lambda _{{\mathfrak {m}}'})\).
It follows from the assumptions \(GLS({\mathfrak {m}}')\) and \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\) that in order to show \(GLS({\mathfrak {n}})\), it is enough to know that \(v_{i,j}^{{\mathfrak {n}},{\mathfrak {m}}}(\lambda ,\lambda _{{\mathfrak {m}}})\), \((i,j)\in X_{{\mathfrak {n}},{\mathfrak {m}}}\) are linearly independent for generic \(\lambda \in {\mathbf {C}}_{{\mathfrak {m}}',{\mathfrak {m}}}\). By the condition \({\text {SG}}({\mathfrak {n}},{\mathfrak {m}})\), \(v_{i,j}^{{\mathfrak {n}},{\mathfrak {m}}}(\lambda ,\lambda ')\), \((i,j)\in X_{{\mathfrak {n}},{\mathfrak {m}}}\) are linearly independent for generic \((\lambda ,\lambda ')\in {\mathbf {C}}_{{\mathfrak {n}}}\times {\mathbf {C}}_{{\mathfrak {m}}}\). Since this condition in \(\lambda \) is invariant under the action of \(G_{{\mathfrak {n}}}\), it follows from Proposition 3 and the condition \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\) that \(v_{i,j}^{{\mathfrak {n}},{\mathfrak {m}}}(\lambda ,\lambda ')\), \((i,j)\in X_{{\mathfrak {n}},{\mathfrak {m}}}\) are linearly independent for generic \((\lambda ,\lambda ')\in {\mathbf {C}}_{{\mathfrak {n}}}^{\imath '}\times {\mathbf {C}}_{{\mathfrak {m}}}\). Since this condition in \(\lambda '\) is invariant under the action of \(G_{\mathfrak {m}}\), the condition \(GLS({\mathfrak {m}})\) (which says that \({\mathbf {C}}_{{\mathfrak {m}}}\) admits an open \(G_{{\mathfrak {m}}}\)-orbit) guarantees that we can take \(\lambda '=\lambda _{{\mathfrak {m}}}\), as required.
8.7 Proof of Proposition 8
For this subsection fix \(\rho \in {\text {Irr}}_c\).
For any \(\pi \in {\text {Irr}}\) there exist an integer \(m\ge 0\) and \(\pi '\in {\text {Irr}}\) such that \(\pi \hookrightarrow \rho ^{\times m}\times \pi '\) and where \(\rho ^{\times m}=\overbrace{\rho \times \dots \times \rho }^m\). Moreover, m and \(\pi '\) are unique. (In fact, m is the largest non-negative integer for which \(\pi \hookrightarrow \rho ^{\times m}\times \pi '\) for some \(\pi '\in {\mathcal {M}}\).) We write \(\mu ^\rho (\pi )=m\) and \({_{\rho }}{\pi }=\pi '\) (the left \(\rho \)-derivative of \(\pi \)). If \(\pi =Z({\mathfrak {m}})\) and \(\pi '=Z({\mathfrak {m}}')\), then we also write \(\mu ^\rho ({\mathfrak {m}})=m\) and \({_{\rho }}{{\mathfrak {m}}}={\mathfrak {m}}'\).
If \(\pi \) is \(\square \)-irreducible then so is \({_{\rho }}{\pi }\) [20, Corollary 2.13]. Similarly, \(GLS({\mathfrak {m}})\implies GLS({_{\rho }}{{\mathfrak {m}}})\) [20, Lemma 4.17].
We now recall some results from [13, 23] (see also [19, 20]).
Let \({\mathfrak {m}}=\sum _{i\in I}\varDelta _i\in {\mathbb {N}}({\varSigma })\). We say that two subsets A and B of I are equivalent and write \(A\sim B\) if \(\sum _{i\in A}\varDelta _i=\sum _{i\in B}\varDelta _i\). Let
and
A one-to-one relation \(R\subset Y^\rho _{{\mathfrak {m}}}\times X^\rho _{{\mathfrak {m}}}\) between \(Y^\rho _{{\mathfrak {m}}}\) and \(X^\rho _{{\mathfrak {m}}}\) is called a \(\rho \)-matching (with respect to \({\mathfrak {m}}\)) if \(\varDelta _i\prec \varDelta _j\) for all \((i,j)\in R\). We think of R as a partially defined bijection and we write \(R(i)=j\) and \(R^{-1}(j)=i\) if \((i,j)\in R\). We write
Given two \(\rho \)-matchings \(R_1\), \(R_2\) we say that \(R_2\) dominates \(R_1\) if one of the following conditions holds.
-
1.
\(R_2\supset R_1\).
-
2.
There exist \(i,j\in Y^\rho _{{\mathfrak {m}}}\) and \(k\in X^\rho _{{\mathfrak {m}}}\) such that \(R_2{\setminus } R_1=\{(j,k)\}\), \(R_1{\setminus } R_2=\{(i,k)\}\) and \(\varDelta _i<\varDelta _j\).
-
3.
There exist \(i\in Y^\rho _{{\mathfrak {m}}}\) and \(j,k\in X^\rho _{{\mathfrak {m}}}\) such that \(R_2{\setminus } R_1=\{(i,k)\}\), \(R_1{\setminus } R_2=\{(i,j)\}\) and \(\varDelta _k<\varDelta _j\).
The transitive closure of domination is a partial order on the set of \(\rho \)-matchings, which we denote by \(\le \). Clearly, if \(R\le R'\) then \(\sum _{i\in A(R')}\varDelta _i\le \sum _{i\in A(R)}\varDelta _i\) in the sense that for every \(\varDelta \in \varSigma \), \(\#\{i\in A(R'):\varDelta _i\ge \varDelta \}\le \#\{i\in A(R):\varDelta _i\ge \varDelta \}\). Clearly, a \(\rho \)-matching R is maximal (with respect to \(\le \)) if and only if whenever \(\varDelta _i\prec \varDelta _j\) with \((i,j)\in Y^\rho _{{\mathfrak {m}}}\times X^\rho _{{\mathfrak {m}}}\) (exactly) one of the following possibilities occurs.
-
1.
R(i) and \(R^{-1}(j)\) are defined.
-
2.
R(i) is defined, \(R^{-1}(j)\) is not defined and \(\varDelta _j\ge \varDelta _{R(i)}\).
-
3.
R(i) is not defined, \(R^{-1}(j)\) is defined and \(\varDelta _i\le \varDelta _{R^{-1}(j)}\).
We say that two \(\rho \)-matchings \(R_1\) and \(R_2\) are equivalent if
as elements of \({\mathbb {N}}({\varSigma \times \varSigma })\).
Maximal \(\rho \)-matchings are not unique up to equivalence. (For instance, we could take \({\mathfrak {m}}=\varDelta _1+\varDelta _2+\varDelta _3+\varDelta _4\) such that \(X_{\mathfrak {m}}^\rho =\{3,4\}\), \(Y_{\mathfrak {m}}^\rho =\{1,2\}\), \(\varDelta _1\ne \varDelta _2\), \(\varDelta _3\ne \varDelta _4\) and \(\varDelta _i\prec \varDelta _j\) for \(i=1,2\), \(j=3,4\). Then both \(\{(1,3),(2,4)\}\) and \(\{(1,4),(2,3)\}\) are maximal \(\rho \)-matchings.) However, up to equivalence, A(R) and B(R) are independent of R, if R is maximal. We denote them by
(Technically, they are only defined up to equivalence, but this will not matter in what follows.) Moreover,
-
1.
\({_{\rho }}{{\mathfrak {m}}}=\sum _{i\in I}\varDelta '_i\) where
$$\begin{aligned} \varDelta '_i={\left\{ \begin{array}{ll}\varDelta _i{\setminus }\{\rho \}&{}\quad i\in A^\rho _{{\mathfrak {m}}},\\ \varDelta _i&{}\quad \text {otherwise.}\end{array}\right. } \end{aligned}$$Thus, \(\mu ^\rho ({\mathfrak {m}})=\#A^\rho _{{\mathfrak {m}}}\) and in particular, if and only if \(A^\rho _{{\mathfrak {m}}}=\emptyset \).
-
2.
If \(B^\rho _{{\mathfrak {m}}}=\emptyset \), then \({\text {soc}}(\rho \times Z({\mathfrak {m}}))=Z({\mathfrak {m}}+\{\rho \})\). Otherwise, fix an index \(i_0\in B^\rho _{{\mathfrak {m}}}\) for which \(\varDelta _{i_0}\) is maximal. Then \({\text {soc}}(\rho \times Z({\mathfrak {m}}))=Z({\mathfrak {m}}')\) where \({\mathfrak {m}}'=\sum _{i\in I}\varDelta '_i\) with \(\varDelta '_i={\left\{ \begin{array}{ll}\{\rho \}\cup \varDelta _i&{}\quad \text {if }i=i_0\\ \varDelta _i&{}\quad \text {otherwise.}\end{array}\right. }\)
A maximal \(\rho \)-matching R between \(Y^\rho _{{\mathfrak {m}}}\) and \(X^\rho _{{\mathfrak {m}}}\) is called best \(\rho \)-matching if \(\not \exists (i,j),(i',j')\in R\) such that \(\varDelta _i<\varDelta _{i'}\prec \varDelta _j<\varDelta _{j'}\). A best \(\rho \)-matching exists and is unique up to equivalence. Moreover, a maximal \(\rho \)-matching R is best if and only if the product of the representations \(Z(\varDelta _i)\), \(i\in A^\rho _{{\mathfrak {m}}}\cup B^\rho _{{\mathfrak {m}}}\) and \(Z(\varDelta _i+\varDelta _j)\), \((i,j)\in R\) is irreducible, in which case it is equal to \(Z(\sum _{i\in I:b(\varDelta _i)\in \{\rho ,\overset{\rightarrow }{\rho }\}}\varDelta _i)\).
In particular, if \(b(\varDelta _i)\in \{\rho ,\overset{\rightarrow }{\rho }\}\) for all i, then it follows from Theorem 1 that
It is useful to introduce another notion which is weaker than maximality.
Definition 7
We say that a \(\rho \)-matching R for \({\mathfrak {m}}\) is saturated if \(X_{{\mathfrak {m}}}\cap (A(R)\times B(R))=\emptyset \) and for every \((i,j)\in R\) and \(i'\in A(R)\) such that \((i',j)\in X_{{\mathfrak {m}}}\) we have \(\varDelta _{i'}\le \varDelta _i\).
Lemma 13
Let R be a saturated \(\rho \)-matching R for \({\mathfrak {m}}\). Then, for any \(R'\ge R\), \(R'\) is saturated and \(A(R)=A(R')\). Hence, \(A(R)\sim A^\rho _{{\mathfrak {m}}}\).
Proof
It is enough to show it when \(R'\) dominates R. By the saturation of R it is clear that \(R'\) is obtained from R by replacing a certain pair \((i,j)\in R\) by \((i,j')\in X_{\mathfrak {m}}\) where \(j'\in B(R)\) and \(\varDelta _{j'}<\varDelta _j\). Thus, \(A(R)=A(R')\) and \(B(R')=B(R)\cup \{j\}{\setminus }\{j'\}\). Let us show that \(R'\) is saturated. First, if \((i',j)\in X_{{\mathfrak {m}}}\) with \(i'\in A(R)\) then \(\varDelta _{i'}\le \varDelta _i\) by saturation and hence \((i',j')\in X_{{\mathfrak {m}}}\) (since \((i,j')\in X_{\mathfrak {m}}\)). Thus, \(X_{{\mathfrak {m}}}\cap (A(R')\times B(R'))=\emptyset \). On the other hand, we cannot have \(i'\in A(R)\) with \((i',j')\in X_{{\mathfrak {m}}}\) since R is saturated. Therefore, the second condition for saturation for \(R'\) follows from the saturation of R. \(\square \)
For any \({\mathfrak {m}}'\in {\mathbb {N}}({\varSigma })\) let
(See (29a), (29b) and (30).) As usual, we write \({\tilde{X}}^\rho _{{\mathfrak {m}}}={\tilde{X}}^\rho _{{\mathfrak {m}},{\mathfrak {m}}}\).
Lemma 14
Suppose that . Then, \(\#{\tilde{X}}^\rho _{{\mathfrak {m}},{\mathfrak {m}}'}\ge \#{\tilde{Y}}^\rho _{{\mathfrak {m}},{\mathfrak {m}}'}\). Moreover, equality holds if and only if
Proof
Let R and \(R'\) be maximal \(\rho \)-matchings with respect to \({\mathfrak {m}}\) and \({\mathfrak {m}}'\) respectively. By assumption, \(A^\rho _{{\mathfrak {m}}'}=\emptyset \). Hence, the function \(f:{\tilde{Y}}^\rho _{{\mathfrak {m}},{\mathfrak {m}}'}\rightarrow {\tilde{X}}^\rho _{{\mathfrak {m}},{\mathfrak {m}}'}\) given by \(f(i,j')=(i,R'(j'))\) is well-defined and injective.
Since \(R\cup R'\) is a \(\rho \)-matching with respect to \({\mathfrak {m}}+{\mathfrak {m}}'\), we have \(\mu ^\rho ({\mathfrak {m}}+{\mathfrak {m}}')=\#A^\rho _{{\mathfrak {m}}+{\mathfrak {m}}'}\le \#A^\rho _{{\mathfrak {m}}}=\mu ^\rho ({\mathfrak {m}})\). By the above descriptions of \({_{\rho }}{{\mathfrak {m}}}\) and \({\text {soc}}(\rho \times *)\), the condition (33) means that \(A^\rho _{{\mathfrak {m}}+{\mathfrak {m}}'}\sim A^\rho _{{\mathfrak {m}}}\). We show that this is equivalent to the surjectivity of f. Suppose that f is not onto and let \((i,j')\in {\tilde{X}}^\rho _{{\mathfrak {m}},{\mathfrak {m}}'}\) be outside the image of f. Then, either \(j'\in B^\rho _{{\mathfrak {m}}'}\), in which case \(R\cup R'\cup \{(i,j')\}\) dominates \(R\cup R'\), or \(\varDelta _{i'}<\varDelta _i\) where \(i'=R'^{-1}(j')\), in which case \(R\cup R'\cup \{(i,j')\}{\setminus }\{(i',j')\}\) dominates \(R\cup R'\). In both cases \(\sum _{i\in A^\rho _{{\mathfrak {m}}+{\mathfrak {m}}'}}\varDelta _i<\sum _{i\in A^\rho _{{\mathfrak {m}}}}\varDelta _i\). Conversely, suppose that f is onto. Then, \(R\cup R'\) is saturated (with respect to \({\mathfrak {m}}+{\mathfrak {m}}'\)). It follows from Lemma 13 that \(A^\rho _{{\mathfrak {m}}+{\mathfrak {m}}'}\sim A^\rho _{{\mathfrak {m}}}\) as required. \(\square \)
The following result follows from Lemma 5.
Lemma 15
Suppose that \(\pi \in {\text {Irr}}\) with and let \(m\ge 1\). Then, \(\rho ^{\times m}\times \pi \) is SI, \(\mu ^\rho ({\text {soc}}(\rho ^{\times m}\times \pi ))=m\) and if \(\pi '\) is any subquotient of \(\rho ^{\times m}\times \pi \) other than \({\text {soc}}(\rho ^{\times m}\times \pi )\) then \(\mu ^\rho (\pi ')<m\).
Corollary 9
Suppose that \(\pi '\in {\text {Irr}}\) with . Then, for any \(\pi \in {\text {Irr}}\) we have
Proof
Since and , we have . The second equality of (34) follows from Lemma 6. To prove the first equality suppose on the contrary that \(\sigma \) is a subrepresentation of \(\rho ^{\times m}\times {_{\rho }}{\pi }\times \pi '\) which is not a subrepresentation of \(\pi \times \pi '\). Then, \(\sigma \hookrightarrow \tau \times \pi '\) for some irreducible subquotient \(\tau \) of \(\rho ^{\times m}\times {_{\rho }}{\pi }\) other than \(\pi \). But then, \(\mu ^\rho (\sigma )=\mu ^\rho (\tau )<m\). On the other hand, we already know by the second equality of (34) that \(\sigma \hookrightarrow \rho ^{\times m}\times \sigma '\) for some \(\sigma '\). We get a contradiction. \(\square \)
Lemma 16
Let R be a \(\rho \)-matching for \({\mathfrak {m}}\). Then, any non-empty open \(G_{\mathfrak {m}}\)-invariant subset S of \({\mathbf {C}}_{\mathfrak {m}}\) contains an element \(\lambda \) such that \(\lambda _{i,R(j)}=\delta _{i,j}\) for all \((i,j)\in Y_{{\mathfrak {m}}}\cap (Y^\rho _{{\mathfrak {m}}}\times Y^\rho _{{\mathfrak {m}}})\) such that R(j) is defined.
Proof
Let \(\{j_1,\dots ,j_r\}\) be the domain of R with \(\varDelta _{j_1}\ge \dots \ge \varDelta _{j_r}\). We show by induction on l that we can find \(\lambda \in S\) such that \(\lambda _{i,R(j_m)}=\delta _{i,j_m}\) for all \(m=1,\dots ,l\) and all \(i\in Y^\rho _{{\mathfrak {m}}}\) such that \((i,j_m)\in Y_{\mathfrak {m}}\). The case \(l=0\) is trivial. For the induction step, let \(0<l\le r\) and assume that the statement holds for \(l-1\). By openness, we may assume in addition that \(\lambda \) satisfies \(\lambda _{j_l,R(j_l)}\ne 0\). Define \(g\in G_{{\mathfrak {m}}}\) by
Note that g is invertible because \(\lambda _{j_l,R(j_l)}\ne 0\).
Let \({\tilde{\lambda }}=g^{-1}\lambda g\). Then, \(gx_{\overset{\rightarrow }{\rho },R(j_l)}=x_{\overset{\rightarrow }{\rho },R(j_l)}\) and
Thus,
It follows that \({\tilde{\lambda }}_{i,R(j_l)}=\delta _{i,j_l}\) for all \(i\in Y^\rho _{\mathfrak {m}}\) such that \((i,j_l)\in Y_{\mathfrak {m}}\). Now let \(m<l\). Then, \(gx_{\overset{\rightarrow }{\rho },R(j_m)}=x_{\overset{\rightarrow }{\rho },R(j_m)}\) and by induction hypothesis
where the coordinate of \(\xi \) with respect to \(x_{\rho ,i}\) is zero unless \(i\notin Y^\rho _{{\mathfrak {m}}}\) or \(\varDelta _i>\varDelta _{j_m}\). Since \(\varDelta _{j_l}\le \varDelta _{j_m}\) it follows that
This completes the induction hypothesis. \(\square \)
By passing to the contragredient we get
Lemma 17
Let R be a \(\rho \)-matching for \({\mathfrak {m}}\). Then, any non-empty open \(G_{\mathfrak {m}}\)-invariant subset S of \({\mathbf {C}}_{\mathfrak {m}}\) contains an element \(\lambda \) such that \(\lambda _{R^{-1}(i),j}=\delta _{i,j}\) for all \((i,j)\in Y_{{\mathfrak {m}}}\cap (X^\rho _{{\mathfrak {m}}}\times X^\rho _{{\mathfrak {m}}})\) such that \(R^{-1}(i)\) is defined.
Finally, we can prove Proposition 8.
By Lemma 14 and Corollary 9, if \(\#{\tilde{X}}^\rho _{{\mathfrak {m}},{\mathfrak {m}}'}=\#{\tilde{Y}}^\rho _{{\mathfrak {m}},{\mathfrak {m}}'}\), then the conditions \({\text {SA}}({_{\rho }}{{\mathfrak {m}}},{\mathfrak {m}}')\) and \({\text {SA}}({\mathfrak {m}},{\mathfrak {m}}')\) are equivalent. We show that \({\text {SA}}({\mathfrak {m}},{\mathfrak {m}}')\) implies \(\#{\tilde{X}}^\rho _{{\mathfrak {m}},{\mathfrak {m}}'}=\#{\tilde{Y}}^\rho _{{\mathfrak {m}},{\mathfrak {m}}'}\). By Corollary 4, we may assume that \(b(\varDelta _i)\in \{\rho ,\overset{\rightarrow }{\rho }\}\) for all \(i\in I\cup I'\). If \({\text {SA}}({\mathfrak {m}},{\mathfrak {m}}')\), then it follows from (31) that \({\text {SA}}(\varDelta _i,{\mathfrak {m}}')\) for every \(i\in A^\rho _{{\mathfrak {m}}}\). Taking a best matching \(R'\) for \({\mathfrak {m}}'\), this means that \({\text {SA}}(\varDelta _i,\varDelta _{j'})\) for every \(j'\in B^\rho _{{\mathfrak {m}}'}\) and \({\text {SA}}(\varDelta _i,\varDelta _{i'}+\varDelta _{j'})\) for every \((i',j')\in R'\). This exactly means that the function f defined in the proof of Lemma 14 is surjective, i.e. that \(\#{\tilde{X}}^\rho _{{\mathfrak {m}},{\mathfrak {m}}'}=\#{\tilde{Y}}^\rho _{{\mathfrak {m}},{\mathfrak {m}}'}\).
For the second part, note that \(X_{{_{\rho }}{{\mathfrak {m}}},{\mathfrak {m}}'}\subseteq X_{{\mathfrak {m}},{\mathfrak {m}}'}\), \(Y_{{_{\rho }}{{\mathfrak {m}}},{\mathfrak {m}}'}\subseteq Y_{{\mathfrak {m}},{\mathfrak {m}}'}\) and
Also, we have
and
Suppose that \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\). Let \((\lambda ,\lambda ')\in {\mathbf {C}}_{{\mathfrak {m}}}\times {\mathbf {C}}_{{\mathfrak {m}}'}\) be such that \(v_{i,j}^{{\mathfrak {m}},{\mathfrak {m}}'}(\lambda ,\lambda ')\), \((i,j)\in X_{{\mathfrak {m}},{\mathfrak {m}}'}\) are linearly independent in \({\mathbb {C}}^{Y_{{\mathfrak {m}},{\mathfrak {m}}'}}\). Note that the \(Y_{{_{\rho }}{{\mathfrak {m}}},{\mathfrak {m}}'}\)-coordinates of \(v_{i,j}^{{\mathfrak {m}},{\mathfrak {m}}'}(\lambda ,\lambda ')\), \((i,j)\in X_{{\mathfrak {m}},{\mathfrak {m}}'}\) are independent of the \({\hat{X}}_{{\mathfrak {m}}}\)-coordinates of \(\lambda \). By Lemma 16 (for R maximal) we may assume that \(\lambda _{i,j}=0\) for all \((i,j)\in {\tilde{X}}^\rho _{{\mathfrak {m}}}\). This guarantees that
Hence, \(\#{\tilde{X}}^\rho _{{\mathfrak {m}},{\mathfrak {m}}'}\le \#{\tilde{Y}}^\rho _{{\mathfrak {m}},{\mathfrak {m}}'}\). Thus, Lemma 14\(\#{\tilde{X}}^\rho _{{\mathfrak {m}},{\mathfrak {m}}'}=\#{\tilde{Y}}^\rho _{{\mathfrak {m}},{\mathfrak {m}}'}\). The vanishing of \(\lambda _{i,j}=0\) for \((i,j)\in {\tilde{X}}^\rho _{\mathfrak {m}}\) also guarantees that
where \({\tilde{\lambda }}\in {\mathbf {C}}_{{_{\rho }}{{\mathfrak {m}}}}\) is given by
Thus, \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\implies {\text {SG}}({_{\rho }}{{\mathfrak {m}}},{\mathfrak {m}}')\).
Conversely, suppose that \({\text {SG}}({_{\rho }}{{\mathfrak {m}}},{\mathfrak {m}}')\) is satisfied and \(\#{\tilde{X}}^\rho _{{\mathfrak {m}},{\mathfrak {m}}'}=\#{\tilde{Y}}^\rho _{{\mathfrak {m}},{\mathfrak {m}}'}\). Let \(({\tilde{\lambda }},\lambda ')\in {\mathbf {C}}_{{_{\rho }}{{\mathfrak {m}}}}\times {\mathbf {C}}_{{\mathfrak {m}}'}\) be such that \(v_{i,j}^{{_{\rho }}{{\mathfrak {m}}},{\mathfrak {m}}'}({\tilde{\lambda }},\lambda ')\), \((i,j)\in X_{{_{\rho }}{{\mathfrak {m}}},{\mathfrak {m}}'}\) are linearly independent in \({\mathbb {C}}^{Y_{{_{\rho }}{{\mathfrak {m}}},{\mathfrak {m}}'}}\). By Lemma 17 (applied to \({_{\rho }}{{\mathfrak {m}}}\) and a maximal R) we may assume that \({\tilde{\lambda }}_{i,j}=0\) for \((i,j)\in X_{{_{\rho }}{{\mathfrak {m}}}}{\setminus } X_{{\mathfrak {m}}}\). Define \(\lambda \in {\mathbf {C}}_{\mathfrak {m}}\) by
Then, (35) and (36) are satisfied. Consider the (square) matrix \(M'(\lambda ')\) of size \(\#{\tilde{X}}^\rho _{{\mathfrak {m}},{\mathfrak {m}}'}\times \#{\tilde{Y}}^\rho _{{\mathfrak {m}},{\mathfrak {m}}'}\) formed by the \({\tilde{Y}}^\rho _{{\mathfrak {m}},{\mathfrak {m}}'}\)-coordinates of \(v_{i,j}^{{\mathfrak {m}},{\mathfrak {m}}'}(\lambda ,\lambda ')\), \((i,j)\in {\tilde{X}}^\rho _{{\mathfrak {m}},{\mathfrak {m}}'}\). It is independent of \(\lambda \) and depends only on the \(X_{{\mathfrak {m}}'}\cap (Y^\rho _{{\mathfrak {m}}'}\times X^\rho _{{\mathfrak {m}}'})\)-coordinates of \(\lambda '\) (in fact, it does not depend on the \(X_{{\mathfrak {m}}'}\cap (Y^\rho _{{\mathfrak {m}}'}\times B^\rho _{{\mathfrak {m}}'})\)-coordinates of \(\lambda '\)). To conclude \({\text {SG}}({\mathfrak {m}},{\mathfrak {m}}')\) it remains to show that \(M'(\lambda )\) is non-singular for generic \(\lambda '\in {\mathbf {C}}_{{\mathfrak {m}}'}\), or equivalently for \(\lambda '\in {\mathbf {C}}_{{\mathfrak {m}}'}\) of our choice. As in the proof of Lemma 14, let \(R'\) be a maximal \(\rho \)-matching with respect to \({\mathfrak {m}}'\) and let \(f:{\tilde{Y}}^\rho _{{\mathfrak {m}},{\mathfrak {m}}'}\rightarrow {\tilde{X}}^\rho _{{\mathfrak {m}},{\mathfrak {m}}'}\) be the injective function given by \(f(i,j')=(i,R'(j'))\). Since \(\#{\tilde{X}}^\rho _{{\mathfrak {m}},{\mathfrak {m}}'}=\#{\tilde{Y}}^\rho _{{\mathfrak {m}},{\mathfrak {m}}'}\), f is onto. Taking \(\lambda '\in {\mathbf {C}}_{{\mathfrak {m}}'}\) such that \(\lambda '_{i',j'}=\delta _{j',R'(i')}\) for all \((i',j')\in X_{{\mathfrak {m}}'}\cap (Y^\rho _{{\mathfrak {m}}'}\times X^\rho _{{\mathfrak {m}}'})\), \(M'(\lambda ')\) becomes the permutation matrix representing f. Our claim follows.
Notes
The notation \({\mathfrak {m}}^-\) should not be confused with the same notation in [31].
The intertwining operators depend implicitly on a choice of a Haar measure on the space of \(n_1\times n_2\) matrices, so technically they are only defined up to a positive scalar. However, for our purposes this is immaterial.
The tensor product of categories was defined by Deligne in [8].
References
Arakawa, T., Suzuki, T.: Duality between \(\mathfrak{s}\mathfrak{l}_n({ C})\) and the degenerate affine Hecke algebra. J. Algebra 209(1), 288–304 (1998)
Aubert, A.-M.: Dualité dans le groupe de Grothendieck de la catégorie des représentations lisses de longueur finie d’un groupe réductif \(p\)-adique. Trans. Am. Math. Soc. 347(6), 2179–2189 (1995)
Aubert, A.-M.: Erratum: “Duality in the Grothendieck group of the category of finite-length smooth representations of a \(p\)-adic reductive group” [Trans. Amer. Math. Soc. 347(6), 1995, pp. 2179–2189; MR1285969 (95i:22025)]: Trans. Amer. Math. Soc. 348(11), 4687–4690 (1996)
Bernstein, I.N., Zelevinsky, A.V.: Representations of the group \(GL(n, F),\) where \(F\) is a local non-Archimedean field. Uspehi Mat. Nauk 31(3(189)), 5–70 (1976)
Bernstein, I.N., Zelevinsky, A.V.: Induced representations of reductive \(\mathfrak{p }\)-adic groups. I. Ann. Sci. École Norm. Sup. (4) 10(4), 441–472 (1977)
Bernstein, J., Bezrukavnikov, R., Kazhdan, D.: Deligne-Lusztig duality and wonderful compactification. Selecta Math. (N.S.) 24(1), 7–20 (2018)
Bernstein, J.N.: \(P\)-invariant distributions on GL(\(N\)) and the classification of unitary representations of GL(\(N\)) (non-Archimedean case). Lie group representations, II (College Park, Md., 1982/1983), pp. 50–102 (1984)
Deligne, P.: Catégories tannakiennes. The Grothendieck Festschrift, Vol. II, pp. 111–195 (1990)
Geiss, C., Leclerc, B., Schröer, J.: Semicanonical bases and preprojective algebras. Ann. Sci. École Norm. Sup. (4) 38(2), 193–253 (2005)
Geiß, C., Leclerc, B., Schröer, J.: Kac-Moody groups and cluster algebras. Adv. Math. 228(1), 329–433 (2011)
Hernandez, D., Leclerc, B.: Cluster algebras and quantum affine algebras. Duke Math. J. 154(2), 265–341 (2010)
Hernandez, D., Leclerc, B.: Monoidal categorifications of cluster algebras of type \(A\) and \(D\). In: Symmetries, Integrable Systems and Representations, pp. 175–193. Springer, London (2013)
Jantzen, C.: Jacquet modules of \(p\)-adic general linear groups. Represent. Theory 11, 45–83 (2007). (electronic)
Kang, S.-J., Kashiwara, M., Kim, M., Oh, S.: Simplicity of heads and socles of tensor products. Compos. Math. 151(2), 377–396 (2015)
Kang, S.-J., Kashiwara, M., Kim, M., Oh, S.: Monoidal categorification of cluster algebras. J. Am. Math. Soc. 31(2), 349–426 (2018)
Knight, H., Zelevinsky, A.: Representations of quivers of type \(A\) and the multisegment duality. Adv. Math. 117(2), 273–293 (1996)
Lapid, E.: Explicit decomposition of certain induced representations of the general linear group (2019). arXiv:1911.04270
Lapid, E., Mínguez, A.: On a determinantal formula of Tadić. Am. J. Math. 136(1), 111–142 (2014)
Lapid, E., Mínguez, A.: On parabolic induction on inner forms of the general linear group over a non-archimedean local field. Selecta Math. (N.S.) 22(4), 2347–2400 (2016)
Lapid, E., Mínguez, A.: Geometric conditions for \(\square \)-irreducibility of certain representations of the general linear group over a non-archimedean local field. Adv. Math. 339, 113–190 (2018)
Lapid, E.M., Mao, Z.: Local Rankin–Selberg integrals for Speh representations. Compos. Math. 156(5), 908–945 (2020)
Leclerc, B.: Imaginary vectors in the dual canonical basis of \(U_q(\mathfrak{n})\). Transform. Groups 8(1), 95–104 (2003)
Mínguez, A.: Sur l’irréductibilité d’une induite parabolique. J. Reine Angew. Math. 629, 107–131 (2009)
Mœglin, C., Waldspurger, J.-L.: Sur l’involution de Zelevinski. J. Reine Angew. Math. 372, 136–177 (1986)
Pjaseckiĭ, V.S.: Linear Lie groups that act with a finite number of orbits. Funkcional. Anal. i Priložen. 9(4), 85–86 (1975)
Schneider, P., Stuhler, U.: Representation theory and sheaves on the Bruhat–Tits building. Inst. Hautes Études Sci. Publ. Math. 85, 97–191 (1997)
Tadić, M.: Classification of unitary representations in irreducible representations of general linear group (non-Archimedean case). Ann. Sci. École Norm. Sup. (4) 19(3), 335–382 (1986)
Waldspurger, J.-L.: La formule de Plancherel pour les groupes \(p\)-adiques (d’après Harish–Chandra). J. Inst. Math. Jussieu 2(2), 235–333 (2003)
Zelevinsky, A.V.: The \(p\)-adic analogue of the Kazhdan–Lusztig conjecture. Funktsional. Anal. i Prilozhen. 15(2), 9–21 (1981). 96
Zelevinsky, A.V.: Two remarks on graded nilpotent classes. Uspekhi Mat. Nauk 40(1(241)), 199–200 (1985)
Zelevinsky, A.V.: Induced representations of reductive \({\mathfrak{p}}\)-adic groups. II. On irreducible representations of \({\rm GL}(n)\). Ann. Sci. École Norm. Sup. (4) 13(2), 165–210 (1980)
Acknowledgements
Open access funding provided by University of Vienna. We would like to thank David Kazhdan for useful discussions. The first-named author would like to thank the University of Vienna and the Institute for Mathematical Sciences, National University of Singapore for their hospitality and support. The second-named author would like to thank the University of Seville for its hospitality and support. Both authors would like to thank the University Institute of Mathematics Research of the University of Seville for its hospitality and support. Last, but not least, we thank the referee for making useful suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
A.M. was partially funded by Grant P12-FQM-2696.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Lapid, E., Mínguez, A. Conjectures and results about parabolic induction of representations of \({\text {GL}}_n(F)\). Invent. math. 222, 695–747 (2020). https://doi.org/10.1007/s00222-020-00982-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00222-020-00982-7