This paper introduces principal series representations for Iwahori-Hecke algebras associated with Kac-Moody groups over local fields, extending existing irreducibility criteria and deepening understanding of their structure.
Contribution
It is the first to define and analyze principal series representations for these algebras, generalizing key irreducibility results.
Findings
01
Partial generalization of Kato and Matsumoto irreducibility criteria
02
Introduction of principal series representations for Kac-Moody Iwahori-Hecke algebras
03
Enhanced understanding of the algebraic structure of these representations
Abstract
Recently, Iwahori-Hecke algebras were associated to Kac-Moody groups over non-Archimedean local fields. We introduce principal series representations for these algebras. We study these representations and partially generalize Kato and Matsumoto irreducibility criteria.
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Algebra and Geometry · Algebraic structures and combinatorial models · Finite Group Theory Research
Full text
Principal series representations of Iwahori-Hecke algebras for Kac-Moody groups over local fields
Recently, Iwahori-Hecke algebras were associated with Kac-Moody groups over non-Archimedean local fields. We introduce principal series representations for these algebras. We study these representations and partially generalize irreducibility criteria of Kato and Matsumoto.
1 Introduction
1.1 The reductive case
Let G be a split reductive group over a non-Archimedean local field K. Let T be a maximal split torus of G and Y be the cocharacter lattice of (G,T). Let B be a Borel subgroup of G containing T. Let TC=HomGr(Y,C∗). Then τ can be extended to a character τ:B→C∗. If τ∈TC, the principal series representation I(τ) of G is the induction of τδ1/2 from B to G, where δ:B→R+∗ is the modulus character of B. More explicitly, this is the space of locally constant functions f:G→C such that f(bg)=τδ1/2(b)f(g) for every g∈G and b∈B. Then G acts on I(τ) by right translation.
To each open compact subgroup K of G is associated the Hecke algebra HK. This is the algebra of functions from G to C which have compact support and are K-bi-invariant. There exists a strong link between the smooth representations of G and the representations of the Hecke algebras of G. Let KI be the Iwahori subgroup of G. Then the Hecke algebra HC associated with KI is called the Iwahori-Hecke algebra of G and plays an important role in the representation theory of G.
The algebra HC acts on Iτ,G:=I(τ)KI by the formula
[TABLE]
where μ is a Haar measure on G. This formula can actually be rewritten as
[TABLE]
Then I(τ) is irreducible as a representation of G if and only Iτ,G is irreducible as a representation of HC.
Let Wv be the vectorial Weyl group of (G,T). By the Bernstein-Lusztig relations, HC admits a basis (ZλHw)λ∈Y,w∈Wv such that ⨁λ∈YCZλ is a subalgebra of HC isomorphic to the group algebra C[Y] of Y. We identify ⨁λ∈YCZλ and C[Y]. We regard τ as an algebra morphism τ:C[Y]→C. Then Iτ,G is isomorphic to the induced representation Iτ=IndC[Y]HC(τ) and we refer to [Sol09, Section 3.2] for a survey on this subject.
Matsumoto and Kato gave criteria for the irreducibility of Iτ. The group Wv acts on Y and thus it acts on TC. If τ∈TC, we denote by Wτ the stabilizer of τ in Wv. Let Φ∨ be the coroot lattice of G. Let q be the residue cardinal of K. Let W(τ) be the subgroup of Wτ generated by the reflections rα∨, for α∨∈Φ∨ such that τ(α∨)=1. Then Kato proved the following theorem (see [Kat81, Theorem 2.4]):
Theorem 1**.**
Let τ∈TC. Then Iτ is irreducible if and only if it satisfies the following conditions:
Wτ=W(τ),
2. 2.
for all α∨∈Φ∨, τ(α∨)=q.
When τ is regular, that is when Wτ={1}, condition (1) is satisfied and this is a result by Matsumoto (see [Mat77, Théorème 4.3.5]).
1.2 The Kac-Moody case
Let G be a split Kac-Moody group over a non-Archimedean local field K. We do not know which topology on G could replace the usual topology on reductive groups over K. There is up to now no definition of smoothness for the representations of G. However one can define certain Hecke algebras in this framework. In [BK11] and [BKP16], Braverman, Kazhdan and Patnaik defined the spherical Hecke algebra and the Iwahori-Hecke HC of G when G is affine. In [GR14] and [BPGR16], Bardy-Panse, Gaussent and Rousseau generalized these constructions to the case where G is a general Kac-Moody group. They achieved this construction by using masures (also known as hovels), which are analogous to Bruhat-Tits buildings (see [GR08]). Together with Abdellatif, we attached Hecke algebras to subgroups slightly more general than the Iwahori subgroup (see [AH19]).
Let B be a positive Borel subgroup of G and T be a maximal split torus of G contained in B. Let Y be the cocharacter lattice of G, Wv be the Weyl group of G and Y++ be the set of dominant cocharacters of Y. The Bruhat decomposition does not hold on G: if G is not reductive,
[TABLE]
The set G+ is a sub-semi-group of G. Then HC is defined to be the set of functions from KI\G+/KI to C which have finite support. The Iwahori-Hecke algebra HC of G admits a Bernstein-Lusztig presentation but it is no longer indexed by Y. Let Y+=⋃w∈Wvw.Y++⊂Y. Then Y+ is the integral Tits cone and we have Y+=Y if and only G is reductive. The Bernstein-Lusztig-Hecke algebra of G is the space BLHC=⨁w∈WvC[Y]Hw subject to to some relations (see subsection 2.3). Then HC is isomorphic to ⨁w∈WvC[Y+]Hw.
Let B+=B∩G+. Let TC+=HomMon(Y+,C)∖{0} and TC=HomGr(Y,C∗). Let ϵ∈{+,∅}. If τϵ∈TCϵ we define the space I(τϵ)ϵ of functions f from Gϵ to C such that for every g∈Gϵ and b∈Bϵ,
f(bg)=τδ1/2(b)f(g). As we do not know which condition could replace
“locally constant”, we do not impose any regularity condition on the functions of I(τϵ)ϵ. Then Gϵ acts by right translation on I(τϵ)ϵ.
Let Iτϵ,Gϵ be the subspace of I(τϵ)ϵ of functions which are invariant under the action of KI and whose support satisfy some finiteness conditions (see 6.2.1). Inspired by formula (1), we define an action of HC on Iτϵ,Gϵ by
[TABLE]
As often in the Kac-Moody theory, the fact that this formula is well-defined is not obvious. We prove some finiteness results on G to prove that the formula only involves finite sums and that ϕ.f is an element of Iτϵ,Gϵ (see Definition/Proposition 6.12).
We regard τϵ as an algebra morphism C[Yϵ]→C. Let Iτϵϵ be the representation of BLHCϵ (where BLHC+=HC) defined by induction of τϵ from C[Yϵ] to BLHCϵ.
We prove the following proposition, which seems to indicate that the representations of HC correspond to representations of G+ and that the representations of BLHC correspond to representations of G:
Suppose that τ+ is not the restriction to Y+ of an element of TC.
For every f∈I(τ+)∖{0}, for every G-module M, the restriction of M to G+ is not isomorphic to G+.f.
For every x∈Iτ++∖{0}, for every BLHC-module M, the restriction of M to HC is not isomorphic to HC.x.
2. 2.
Suppose that τ+ is the restriction to Y+ of a (necessarily unique) element τ of TC.
Every element f+ of I(τ+)+ can be extended uniquely to an element f of I(τ). Then f+↦f is an isomorphism of G+-modules.
The action of HC on Iτ++ extends uniquely to an action of BLHC on Iτ++. Then Iτ++ is naturally isomorphic to Iτ as a BLHC-module.
Note that the existence of elements of TC+ which do not extend to elements of TC depends on G. We prove that in some cases (for example when G is affine or associated with a size 2 Kac-Moody matrix) every element of TC+ is the restriction of an element of TC. We also prove that for some size 3 Kac-Moody matrices, there exists τ∈TC+ which is not the restriction of an element of TC (see Lemma 6.20 and Lemma 6.24).
We then restrict our study to the elements τ+ of TC+ which are the restriction of an element τ of TC. We prove that Iτ++ is irreducible if and only if Iτ is (see Proposition 2.12). We then study the irreducibility of Iτ. We prove the following theorem, generalizing Matsumoto’s irreducibility criterion (see Corollary 4.10):
Theorem 2**.**
Let τ be a regular character. Then Iτ is irreducible if and only if for all α∨∈Φ∨,
[TABLE]
We also generalize one implication of Kato’s criterion (see Lemma 4.5 and Proposition 4.17). Let W(τ) be the subgroup of Wτ generated by the reflections rα∨, for α∨∈Φ∨ such that τ(α∨)=1.
Theorem 3**.**
Let τ∈TC. Assume that Iτ is irreducible. Then:
Wτ=W(τ),
2. 2.
for all α∨∈Φ∨, τ(α∨)=q.
We then obtain Kato’s criterion when the Kac-Moody group G is associated with a size 2 Kac-Moody matrix (see Theorem 5.35):
Theorem 4**.**
Assume that G is associated with a size 2 Kac-Moody matrix. Let τ∈TC. Then Iτ is irreducible if and only if it satisfies the following conditions:
Wτ=W(τ),
2. 2.
for all α∨∈Φ∨, τ(α∨)=q.
In order to prove these theorems, we first establish the following irreducibility criterion. For τ∈TC set Iτ(τ)={x∈Iτ∣θ.x=τ(θ).x∀θ∈C[Y]}. Then:
Theorem 5**.**
(see Theorem 4.8)
Iτ is irreducible if and only if:
•
τ(α∨)=q* for all α∨∈Φ∨*
•
dimIτ(τ)=1.
Remark 1.1**.**
Suppose that G is an affine Kac-Moody group. Then by [BPGR16, 7], some extension BLHC of BLHC contains the double affine Hecke algebra introduced in [Che92]. It would therefore be interesting to find a link between the representations of BLHC and those of this algebra.
Framework
Actually, following [BPGR16] we study Iwahori-Hecke algebras associated with abstract masures. In particular our results also apply when G is an almost-split Kac-Moody group over a non-Archimedean local field. The definition of W(τ) and the statements given in this introduction are not necessarily valid in this case and we refer to Proposition 4.17, Theorem 5.35 and Theorem 4.8 for statements valid in this frameworks.
Organization of the paper
The paper is organized as follows. In a first part (sections 2 to 5) we consider “abstract” Iwahori-Hecke algebras. We define them using the Bernstein-Lusztig presentation and they are a priori not associated with a group. The techniques used are mainly algebraic, based on the Bernstein-Lusztig relations. In a second part (section 6), we introduce Kac-Moody groups, masures and Iwahori-Hecke algebras associated with groups, and we associate some principal series representations to these groups. The techniques involved are mainly building theoretic.
In section 2, we recall the definition of the Iwahori-Hecke algebras and of the Bernstein-Lusztig-Hecke algebras, introduce principal series representations and define an algebra BLH(TF) containing BLHF, where F is the field of coefficients of BLHF.
In section 3, we study the F[Y]-module Iτ and we study the intertwining operators from Iτ to Iτ′, for τ,τ′∈TF.
In section 4, we establish Theorem 5. We then apply it to obtain Theorem 2 and Theorem 3.
In section 5 we consider the weight vectors of Iτ and use them to prove Kato’s irreducibility criterion for size 2 Kac-Moody matrices.
In section 6, we introduce Kac-Moody groups over local fields, masures, and Iwahori-Hecke algebras of these groups. We introduce some principal series representations of these groups, study them and relate them to the principal series representations studied in the previous sections.
There is an index of notations at the end of the paper.
Acknowledgments
I would like to thank Ramla Abdellatif, Stéphane Gaussent and Dinakar Muthiah for the discussions we had on this topic. I also would like to thank Anne-Marie Aubert for her advice concerning references and Olivier Taïbi for correcting the statement of the main theorem and for discussing this subject with me. I am grateful to Maarten Solleveld for his helpful corrections and comments which enabled me to simplify and improve some statements. Finally, I would like to thank the referees for their valuable comments and suggestions.
Funding
The author was supported by the ANR grant ANR-15-CE40-0012.
2 Bernstein-Lusztig presentation of Iwahori-Hecke algebras
Let G be a Kac-Moody group over a non-Archimedean local field. Then Gaussent and Rousseau constructed a space I, called a masure on which G acts, generalizing the construction of the Bruhat-Tits buildings (see [GR08], [Rou16] and [Rou17]). Rousseau then gave in [Rou11] an axiomatic definition of masures inspired by the axiomatic definition of Bruhat-Tits buildings. We call a masure satisfying these axioms an abstract masure. It is a priori not associated with any group.
In [BPGR16], Bardy-Panse, Gaussent and Rousseau attached an Iwahori-Hecke algebra HR to each abstract masure satisfying certain conditions and to each ring R. The algebra HR is an algebra of functions defined on some pairs of chambers of the masure, equipped with a convolution product. Then they prove that under some additional hypothesis on the ring R (which are satisfied by R and C), HR admits a Bernstein-Lusztig presentation. In this section, we will only introduce the Bernstein-Lusztig presentation of HR and we do not introduce masures (we introduce them in section 6). We however introduce the standard apartment of a masure. We restrict our study to the case where R=F is a field.
2.1 Standard apartment of a masure
2.1.1 Root generating system
A ** Kac-Moody matrix** (or generalized Cartan matrix) is a square matrix A=(ai,j)i,j∈I indexed by a finite set I, with integral coefficients, and such that :
(i)
∀i∈I,ai,i=2;
2. (ii)
∀(i,j)∈I2,(i=j)⇒(ai,j≤0);
3. (iii)
∀(i,j)∈I2,(ai,j=0)⇔(aj,i=0).
A root generating system is a 5-tuple S=(A,X,Y,(αi)i∈I,(αi∨)i∈I) made of a Kac-Moody matrix A indexed by the finite set I, of two dual free Z-modules X and Y of finite rank, and of a free family (αi)i∈I (respectively (αi∨)i∈I) of elements in X (resp. Y) called simple roots (resp. simple coroots) that satisfy ai,j=αj(αi∨) for all i,j in I. Elements of X (respectively of Y) are called characters (resp. cocharacters).
Fix such a root generating system S=(A,X,Y,(αi)i∈I,(αi∨)i∈I) and set A:=Y⊗R. Each element of X induces a linear form on A, hence X can be seen as a subset of the dual A∗. In particular, the αi’s (with i∈I) will be seen as linear forms on A. This allows us to define, for any i∈I, an involution ri of A by setting ri(v):=v−αi(v)αi∨ for any v∈A. Let S={ri∣i∈I} be the (finite) set of simple reflections. One defines the Weyl group of S as the subgroup Wv of GL(A) generated by S. The pair (Wv,S) is a Coxeter system, hence we can consider the length ℓ(w) with respect to S of any element w of Wv. If s∈S, s=ri for some unique i∈I. We set αs=αi and αs∨=αi∨.
The following formula defines an action of the Weyl group Wv on A∗:
[TABLE]
Let Φ:={w.αi∣(w,i)∈Wv×I} (resp. Φ∨={w.αi∨∣(w,i)∈Wv×I}) be the set of real roots (resp. real coroots): then Φ (resp. Φ∨) is a subset of the root latticeQ:=i∈I⨁Zαi (resp. coroot latticeQ∨=⨁i∈IZαi∨). By [Kum02, 1.2.2 (2)], one has Rα∨∩Φ∨={±α∨} and Rα∩Φ={±α} for all α∨∈Φ∨ and α∈Φ.
2.1.2 Fundamental chamber, Tits cone and vectorial faces
As in the reductive case, define the fundamental chamber as Cfv:={v∈A∣∀s∈S,αs(v)>0}.
Let T:=w∈Wv⋃w.Cfv be the Tits cone. This is a convex cone (see [Kum02, 1.4]).
For J⊂S, set Fv(J)={x∈A∣αj(x)=0∀j∈J and αj(x)>0∀j∈S∖J}. A positive vectorial face (resp. negative) is a set of the form w.Fv(J) (−w.Fv(J)) for some w∈Wv and J⊂S. Then by [Rém02, 5.1 Théorème (ii)], the family of positive vectorial faces of A is a partition of T and the stabilizer of Fv(J) is WJ=⟨J⟩.
One sets Y++=Y∩Cfv and Y+=Y∩T.
Remark 2.1**.**
By [Kac94, §4.9] and [Kac94, § 5.8] the following conditions are equivalent:
the Kac-Moody matrix A is of finite type (i.e. is a Cartan matrix),
2. 2.
A=T**
3. 3.
Wv* is finite.*
2.2 Recollections on Coxeter groups
2.2.1 Bruhat order
Let (W0,S0) be a Coxeter system. We equip it with the Bruhat order ≤W0 (see [BB05, Definition 2.1.1]). We have the following characterization (see [BB05, Corollary 2.2.3]): let u,w∈W0. Then u≤W0w if and only if every reduced expression for w has a subword that is a reduced
expression for u. By [BB05, Proposition 2.2.9], (W0,≤W0) is a directed poset, i.e for every finite set E⊂W0, there exists w∈W0 such that v≤W0w for all v∈E.
We write ≤ instead of ≤Wv. For u,v∈Wv, we denote by [u,v], [u,v), … the sets {w∈Wv∣u≤w≤v}, {w∈Wv∣u≤w<v}, ….
2.2.2 Reflections and coroots
Let R={wsw−1∣w∈Wv,s∈S} be the set of reflections of Wv. Let r∈R. Write r=wsw−1, where w∈Wv, s∈S and ws>w (which is possible because if ws<w, then r=(ws)s(ws)−1). Then one sets αr=w.αs∈Φ+ (resp. αr∨=w.αs∨∈Φ+∨). This is well-defined by the lemma below.
Lemma 2.2**.**
Let w,w′∈Wv and s,s′∈S be such that wsw−1=w′s′w′−1 and ws>w, w′s′>w′. Then w.αs=w′.αs′∈Φ+ and w.αs∨=w′.αs′∨∈Φ+∨.
Proof.
One has r(x)=x−w.αs(x)w.αs∨=x−w′.αs′(x)w′.αs′∨ for all x∈A and thus w.αs∈R∗w′.αs′ and w.αs∨∈R∗w′.αs′∨. As Φ and Φ∨ are reduced, w.αs=±w′.αs′ and w.αs∨=±w′.αs∨. By [Kum02, Lemma 1.3.13], w.αs,w′.αs′∈Φ+ and w.αs∨,w′.αs′∨∈Φ+∨, which proves the lemma.
∎
Lemma 2.3**.**
Let r,r′∈R and w∈Wv be such that w.αr=αr′ or w.αr∨=αr′∨. Then wrw−1=r′.
Proof.
Write r=vsv−1 and r′=v′s′v′−1 for s,s′∈S and v,v′∈Wv. Then v′−1wv.αs=αs′. Thus by [Kum02, Theorem 1.3.11 (b5)], v′−1wvsv−1w−1v′=s′ and hence wrw−1=r′.
∎
Let r∈R. Then for all x∈A, one has:
[TABLE]
Let α∨∈Φ∨. One sets rα∨=wsw−1 where (w,s)∈Wv×S is such that α∨=w.αs∨. This is well-defined, by Lemma 2.3. Thus α∨↦rα∨ and r↦αr∨ induce bijections Φ+∨→R and R→Φ+∨. If r∈R, r=wsw−1, one sets σr=σs, which is well-defined by assumption on the σt, t∈S (see Subsection 2.3).
For w∈Wv, set NΦ∨(w)={α∨∈Φ+∨∣w.α∨∈Φ−∨}.
Lemma 2.4**.**
([Kum02, Lemma 1.3.14])
Let w∈Wv. Then ∣NΦ∨(w)∣=ℓ(w) and if w=s1…sr is a reduced expression, then NΦ∨(w)={αsr∨,sr.αsr−1∨,…,sr…s2.αs1∨}.
2.2.3 Reflections subgroups of a Coxeter group
If W0 is a Coxeter group, a Coxeter generating set is a set S0 such that (W0,S0) is a Coxeter system. Let (W0,S0) be a Coxeter system and R0={w.s.w−1∣w∈W0,s∈S0} be its set of reflections. A reflection subgroup ofW0 is a group of the form W1=⟨R1⟩ for some R1⊂R0. For w∈W0, set NR0(w)={r∈R0∣rw−1<w−1}. By [Dye90, 3.3] or [Dye91, 1], if S(W1)={r∈R0∣NR0(r)∩W1={r}}, then (W1,S(W1)) is a Coxeter system.
Let (W0,S0) be a Coxeter system. The rank of (W0,S0) is ∣S0∣.
Remark 2.5**.**
The rank of a Coxeter group is not well-defined. For example, by **[Müh05, 3]**, if k∈Z≥1 and n=4(2k+1) then the dihedral group of order n admits Coxeter generating sets of order 2 and 3. However by **[Rad99]**, all the Coxeter generating sets of the infinite dihedral group have cardinal 2.
2. 2.
Using **[Bou81, IV 1.8 Proposition 7]** we can prove that if (W0,S0) is a Coxeter system of infinite rank, then every Coxeter generating set of W0 is infinite.
3. 3.
Reflection subgroups of finite rank Coxeter groups are not necessarily of finite rank. Indeed, let W0 be the Coxeter group generated by the involutions s1,s2,s3, with sisj of infinite order when i=j∈[[1,3]]. Let W0′=⟨s1,s2⟩⊂W0 and R1={ws3w−1∣w∈W0′}⊂R0. Then W1=⟨R1⟩ has infinite rank. Indeed, let ψ:W0→W0′ be the group morphism defined by ψ∣W0′=IdW0′ and ψ(s3)=1. Then R1⊂kerψ. Thus s3 appears in the reduced writing of every nontrivial element of W1. By **[BB05, Corollary 1.4.4]** if r∈R1, then the unique element of NR0(r) containing an s3 in its reduced writing is r. Thus S(W1)⊃R1 is infinite.
2.3 Iwahori-Hecke algebras
In this subsection, we give the definition of the Iwahori-Hecke algebra via its Bernstein-Lusztig presentation, as done in [BPGR16, Section 6.6].
Let R1=Z[(σs)s∈S,(σs′)s∈S], where (σs)s∈S,(σs′)s∈S are two families of indeterminates satisfying the following relations:
•
if αs(Y)=Z, then σs=σs′;
•
if s,t∈S are such that the order of st is finite and odd (i.e if αs(αt∨)=αt(αs∨)=−1), then σs=σt=σs′=σt′.
To define the Iwahori-Hecke algebra HR1 associated with A and (σs,σs′)s∈S, we first introduce the Bernstein-Lusztig-Hecke algebra. Let BLHR1 be the free R1-vector space with basis (ZλHw)λ∈Y,w∈Wv. For short, one sets Hw=Z0Hw for w∈Wv and Zλ=ZλH1 for λ∈Y. The Bernstein-Lusztig-Hecke algebraBLHR1 is the module BLHR1 equipped with the unique product ∗ that turns it into an associative algebra and satisfies the following relations (known as the Bernstein-Lusztig relations):
(BL4) ∀λ∈Y,∀i∈I, Hs∗Zλ−Zs.λ∗Hs=Qs(Z)(Zλ−Zs.λ), where Qs(Z)=1−Z−2αs∨(σs−σs−1)+(σs′−σs′−1)Z−αs∨.
The existence and uniqueness of such a product ∗ comes from [BPGR16, Theorem 6.2].
Definition 2.6**.**
*Let F be a field of characteristic [math] and f:R1→F be a ring morphism such that f(σs) and f(σs′) are invertible in F for all s∈S. Then the *Bernstein-Lusztig-Hecke algebra of ** (A,(σs)s∈S,(σs′)s∈S) over F is the algebra BLHF=BLHR1⊗R1F. Following [BPGR16, Section 6.6], the Iwahori-Hecke algebraHF associated with S and (σs,σs′)s∈S is now defined as the F-subalgebra of BLHF spanned by (ZλHw)λ∈Y+,w∈Wv (recall that Y+=Y∩T with T being the Tits cone). Note that for G reductive, we recover the usual Iwahori-Hecke algebra of G, since Y∩T=Y.
In certain proofs, when F=C, we will make additional assumptions on the σs and σs′, s∈S. To avoid these assumptions, we can assume that σs,σs′∈C and ∣σs∣>1,∣σs′∣>1 for all s∈S.
Remark 2.7**.**
Let s∈S. Then if σs=σs′, Qs(Z)=1−Z−αs∨(σs−σs−1).
2. 2.
Let s∈S and λ∈Y. Then Qs(Z)(Zλ−Zs.λ)∈F[Y]. Indeed, Qs(Z)(Zλ−Zs.λ)=Qs(Z).Zλ(1−Z−αs(λ)αs∨). Assume that σs=σs′. Then
[TABLE]
and thus Qs(Z)(Zλ−Zs.λ)∈F[Y]. Assume σs′=σs. Then αs(Y)=2Z and a similar computation enables to conclude.
3. 3.
From (BL4) we deduce that for all s∈S, λ∈Y,
[TABLE]
4. 4.
When G is a split Kac-Moody group over a non-Archimedean local field K with residue cardinal q, we can choose F to be a field containing Z[q±1] and take f(σs)=f(σs′)=q for all s∈S.
5. 5.
By (BL4), the family (Hw∗Zλ)w∈Wv,λ∈Y is also a basis of BLHF.
6. 6.
Let w∈Wv and w=s1…sk, with k∈Z≥0 and s1,…,sk∈S be a reduced expression of w. We set σw=σs1…σsk. This is well-defined, independently of the choice of a reduced expression of w by the conditions imposed on the σs and by **[BB05, Theorem 3.3.1 (ii)]**.
We equip F[Y] with an action of Wv. For θ=∑λ∈YaλZλ∈F[Y] and w∈Wv, set θw:=∑λ∈YaλZw.λ.
Lemma 2.8**.**
Let θ∈F[Y] and w∈Wv. Then θ∗Hw−Hw∗θw−1∈BLHF<w:=⨁v<wHvF[Y]. In particular, BLHF≤w:=⨁v≤wHvC[Y] is a left finitely generated F[Y]-submodule of BLHF.
Proof.
We do it by induction on ℓ(w). Let θ∈F[Y] and w∈Wv be such that u:=θHw−Hwθw−1∈BLH(TF)<w. Let s∈S and assume that ℓ(ws)=ℓ(w)+1. Then by (BL4):
[TABLE]
for some a∈F. Moreover, by [Kum02, Corollary 1.3.19] and (BL2), u∗Hs∈BLH(TF)<ws and the lemma follows.
∎
Definition 2.9**.**
Let HF,Wv=⨁w∈WvFHw⊂HF. Then HF,Wv is a subalgebra of HF. This is the Hecke algebra of the Coxeter group (Wv,S).
2.4 Principal series representations
In this subsection, we introduce the principal series representations of BLHF.
We now fix (A,(σs)s∈S,(σs′)s∈S) as in Subsection 2.3 and a field F as in Definition 2.6. Let HF and BLHF be the Iwahori-Hecke and the Bernstein-Lusztig Hecke algebras of
(A,(σs)s∈S,(σs′)s∈S) over F.
Let TF=HomGr(Y,F×) be the group of homomorphisms from Y to F∗. Let τ∈TF. Then τ induces an algebra morphism τ:F[Y]→F by the formula τ(∑y∈Yayey)=∑y∈Yayτ(y), for ∑ayey∈F[Y]. This equips F with the structure of a F[Y]-module.
Let Iτ=IndF[Y]BLHF(τ)=BLHF⊗F[Y]F. For example if λ∈Y, w∈Wv and s∈S, one has:
[TABLE]
[TABLE]
Let h∈Iτ. Write h=∑λ∈Y,w∈Wvhw,λHwZλ⊗τcw,λ, where (hw,λ),(cw,λ)∈F(Wv×Y), which is possible by Remark 2.7. Thus
[TABLE]
Thus Iτ is a principal BLHF-module and (Hw⊗τ1)w∈Wv is a basis of Iτ. Moreover Iτ=HWv,F.1⊗τ1 (see Definition 2.9 for the definition of HWv,F).
The definition of principal series representations of HF is very similar: we replace TF by TF+=HomMon(Y+,C)∖{0} and F[Y] by F[Y+] in the definition above. If τ∈TF+, we denote by Iτ++ the principal series representation of HF associated with τ+.
Remark 2.10**.**
Let τ∈TF. By Lemma 2.8, Iτ≤w and Iτ≱w are F[Y]-submodules of Iτ. In particular F[Y].x is finite dimensional for all x∈Iτ.
Lemma 2.11**.**
Let τ∈TF. Let M⊂Iτ be a finite dimensional F[Y+]-submodule of Iτ. Then M is an F[Y]-submodule of Iτ.
Proof.
Let λ∈Y+. Let ϕλ:M→M be defined by ϕλ(x)=Zλ.x, for all m∈M. Let x∈ker(ϕλ). Then Z−λ.Zλ.x=0=x and thus ϕλ is an isomorphism. Moreover, ϕλ−1(x)=Z−λ.x for all x∈M and thus Z−λ.x∈M, for all x∈M. As Y+−Y−=Y, we deduce the lemma.
∎
Proposition 2.12**.**
Let τ∈TF and M⊂Iτ. Then M is an HF-submodule of Iτ if and only if M is a BLHF-submodule of Iτ. In particular, Iτ is irreducible as a BLHF-module if and only if Iτ is irreducible as an HF-module.
Proof.
Let M⊂Iτ be a HF-submodule. Then M is an F[Y+] submodule of Iτ. Let x∈M. Then by Remark 2.10, F[Y+].x⊂F[Y].x is finite dimensional. Thus M=∑x∈MF[Y+].x and by Lemma 2.11, M is an F[Y]-submodule of Iτ. As BLHF is generated as an algebra by HF and F[Y], we deduce the proposition.
∎
2.5 The algebra BLHF(TF)
In this subsection, we introduce an algebra BLH(TF) containing BLHF. This algebra will enable us to regard the elements of Iτ as specializations at τ of certain elements of BLH(TF). When F=C, this will enable us to make τ∈TC vary and to use density arguments and basic algebraic geometry to study the Iτ.
2.5.1 Description of BLH(TF)
Let BLH(TF) be the right F(Y) vector space ⨁w∈WvHwF(Y). We equip F(Y) with an action of Wv. For θ=∑λ∈YbλZλ∑λ∈YaλZλ∈F(Y) and w∈Wv, set θw:=∑λ∈YbλZw.λ∑λ∈YaλZw.λ.
Proposition 2.13**.**
There exists a unique multiplication ∗ on BLH(TF) which equips BLH(TF) with the structure of an associative algebra and such that:
•
F(Y)* embeds into BLH(TF) as an algebra,*
•
(BL2) is satisfied,
•
the following relation (BL4’) is satisfied:
[TABLE]
The proof of this proposition is postponed to 2.5.2.
We regard the elements of F[Y] as polynomial functions on TF by setting:
[TABLE]
for all (aλ)∈F(Y). The ring F[Y] is a unique factorization domain. Let θ∈F(Y) and (f,g)∈F[Y]×F[Y]∗ be such that θ=gf and f and g are coprime. Set D(θ)={τ∈TF∣θ(g)=0}. Then we regard θ as a map from D(θ) to F by setting θ(τ)=g(τ)f(τ) for all τ∈D(θ).
For w∈Wv, let πwH:BLH(TF)→F(Y) be defined by πwH(∑v∈WvHvθv)=θw, for (θv)∈(HWv,F)Wv with finite support. If τ∈TF, let F(Y)τ={gf∣f,g∈C[Y] and g(τ)=0}⊂F(Y). Let BLH(TF)τ=⨁w∈WvHwF(Y)τ⊂BLH(TF). This is a not a subalgebra of BLH(TF) (consider for example Zλ−11∗Hs=Hs∗Zs.λ−11+… for some well chosen λ∈Y, s∈S and τ∈TC). It is however an HWv,F−F(Y)τ bimodule. For τ∈TF, we define evτ:BLH(TF)τ→HWv,F by evτ(h)=h(τ)=∑w∈WvHwθw(τ) if h=∑w∈WvHwθw∈H(Y)τ. This is a morphism of HWv,F−F(Y)τ-bimodule.
2.5.2 Construction of BLH(TF)
We now prove the existence of BLH(TF). For this we use the theory of Asano and Ore of rings of fractions: BLH(TF) will be the ring BLHF∗(F[Y]∖{0})−1.
Let V=BLHF⊗F[Y]F(Y)⊃BLHF, where BLHF is equipped with its structure of a right F[Y]-module. As a right F(Y)-vector space, V=⨁w∈WvHwF(Y). The left action of F[Y] on BLHF extends to an action of F[Y] on V by setting θ.∑w∈WvHwfw=∑w∈Wv(θ.Hw)fw, for θ∈F[Y] and (fw)∈F(Y)Wv with finite support. This equips V with the structure of a (F[Y]−F(Y))-bimodule.
Lemma 2.14**.**
The left action of F[Y] on V extends uniquely to a left action of F(Y) on V. This equips V with the structure of a (F(Y)-F(Y))-bimodule.
Proof.
Let w∈Wv and P∈F[Y]∖{0}. Let V≤w=⨁v∈[1,w]HvF(Y). By Lemma 2.8, the map mP:V≤w→V≤w defined by mP(h)=P.h is well-defined. Thus the left action of F[Y] on V≤w induces a ring morphism ϕw:F[Y]→Endv.s(V≤w), where Endv.s(V≤w) is the space of endomorphisms of the F(Y)-vector space V≤w.
Let us prove that ϕw(P) is injective. Let h∈V≤w. Write h=∑v∈[1,w]Hvθv, with θv∈F(Y) for all v∈[1,w]. Suppose that h=0. Let v∈[1,w] be such that θv=0 and such that v is maximal for this property for the Bruhat order. By Lemma 2.8, P∗h=0 and thus ϕw(P) is injective. As V≤w is finite dimensional over F(Y), we deduce that ϕw(P) is invertible for all P∈F[Y]. Thus ϕw extends uniquely to a ring morphism ϕw:F(Y)→V≤w. As (Wv,≤) is a directed poset, there exists an increasing sequence (wn)n∈Z≥0 (for the Bruhat order) such that ⋃n∈Z≥0[1,wn]=Wv. Let m,n∈Z≥0 be such that m≤n. Let P∈F[Y] and f(m)=ϕwm(P) and f(n)=ϕwn(P). Then f∣V≤wm(n)=f(m) and thus for all θ∈F(Y) and x∈BLH(TF), θ.x:=ϕwk(θ)(x) is well-defined, independently of k∈Z≥0 such that x∈V≤wk. This defines an action of F(Y) on V.
Let h∈V, θ∈F(Y) and P∈F[Y]∖{0}. Let x=P1.h. Then as V is a (F[Y]-F(Y))-bimodule, (P∗x)∗θ=h∗θ=P∗(x∗θ) and thus x∗θ=P1∗(h∗θ)=(P1∗h)∗θ. Thus V is a (F(Y)−F(Y))-bimodule.
∎
Lemma 2.15**.**
The set F[Y]⊂BLHF satisfies the right Ore condition: for all P∈F[Y]∖{0} and h∈BLHF∖{0}, P∗BLHF∩h∗F[Y]={0}.
Proof.
Let P∈F[Y]∖{0} and h∈BLHF∖{0}. Then by definition, P∗(P1∗h)=h∈V. Moreover, V=⨁w∈WvHwF(Y) and thus there exists θ∈F[Y]∖{0} such that P1∗h∗θ∈BLHF∖{0}. Then P∗P1∗h∗θ=h∗θ∈P∗BLHF∩h∗F[Y], which proves the lemma.
∎
Definition 2.16**.**
Let R be a ring and r in R. Then r is said to be regular if for all r′∈R∖{0}, rr′=0 and r′r=0.
Let R be a ring and X⊂R a multiplicative set of regular
elements. A right ring of fractions for R with
respect to X is any overring S⊃R such that:
•
Every element of X is invertible in S.
•
Every element of S can be expressed in the form ax−1 for some a∈R
and x∈X.
We can now prove Proposition 2.13. The uniqueness of such a product follows from (BL4’). By Lemma 2.8, the elements of F[Y]∖{0} are regular. By Lemma 2.15 and [GW04, Theorem 6.2], there exists a right ring of fractions BLH(TF) for BLHF with respect to F[Y]∖{0}. Then BLH(TF) is an algebra over F and as a vector space, BLH(TF)=⨁w∈Wv(HwF[Y])(F[Y]∖{0})−1=⨁w∈WvHwF(Y).
Let (f,g)∈F[Y]×(F[Y]∖{0}). Then it is easy to check that g*\big{(}H_{s}*\frac{1}{g^{s}}+Q_{s}(Z)\big{)}(\frac{1}{g}-\frac{1}{g^{s}})\big{)}=H_{s} and thus g1∗Hs=(Hs∗gs1+Qs(Z)(g1−gs1). Let f∈F[Y]. A straightforward computation yields the formula gf∗Hs=Hs∗(gf)s+Qs(Z)(gf−(gf)s) which finishes the proof of Proposition 2.13.
Remark 2.17**.**
•
Inspired by the proof of **[BPGR16, Theorem 6.2]** we could try to define ∗ on V as follows. Let θ1,θ2∈F[Y] and w1,w2∈Wv. Write θ1∗Hw2=∑w∈WvHwθw, with (θw)∈F(Y)(Wv). Then (Hw1∗θ1)∗(Hw2∗θ2)=∑w∈W(Hw1∗Hw)∗(θ2θw). However it is not clear a priori that the so defined law is associative.
•
Suppose that HF is the Iwahori-Hecke algebra associated with some masure defined in **[BPGR16, Definition 2.5]**. Using the same procedure as above (by taking S={Yλ∣λ∈Y+}), we can construct the algebra BLHF from the algebra HF. In this particular case, this gives an alternative proof of **[BPGR16, Theorem 6.2]**.
3 Weight decompositions and intertwining operators
Let τ∈TF. In this section, we study the structure of Iτ as a F[Y]-module and the set HomBLHF−mod(Iτ,Iτ′) for τ′∈TF.
In Subsection 3.1, we study the weights of Iτ and decompose every BLHF-submodule of Iτ as a sum of generalized weight spaces (see Lemma 3.2).
In Subsection 3.2, we relate intertwining operators and weight spaces. We then prove the existence of nontrivial intertwining operators Iτ→Iw.τ for all w∈Wv.
In Subsection 3.3, we prove that when Wv is infinite, then every nontrivial submodule of Iτ is infinite dimensional. We deduce that contrary to the reductive case, there exist irreducible representations of BLHF which does not embed in any Iτ.
3.1 Generalized weight spaces of Iτ
Let τ∈TF. Let x∈Iτ. Write x=∑w∈WvxwHw⊗τ1, with (xw)∈F(Wv). Set supp(x)={w∈Wv∣xw=0}. Equip Wv with the Bruhat order. If E is a finite subset of Wv, max(E) is the set of elements of E that are maximal for the Bruhat order. Let R be a binary relation on Wv (for example R=“≤”, R=“≱”, …) and w∈Wv.
One sets
[TABLE]
and BLHFRw=BLH(TF)Rw∩BLHF=⨁vRwHvF[Y].
Let V be a vector space over F and E⊂End(V). For τ∈FE set V(τ)={v∈V∣e.v=τ(e).v∀e∈E} and V(τ,gen)={v∈V∣∃k∈Z≥0∣(e−τ(e)Id)k.v=0,∀e∈E}. Let Wt(E)={τ∈FE∣V(τ)={0}}.
The following lemma is well known.
Lemma 3.1**.**
Let V be a finite dimensional vector space over F. Let E⊂End(V) be a subset such that for all e,e′∈E,
e* is triangularizable*
2. 2.
ee′=e′e.
Then V=⨁τ∈Wt(E)V(τ,gen) and in particular Wt(E)=∅.
For τ∈TF, set Wτ={w∈Wv∣w.τ=τ}.
Let M be a BLHF-module. For τ∈TF, set
[TABLE]
and
[TABLE]
Let Wt(M)={τ∈TF∣M(τ)={0}} and Wt(M,gen)={τ∈TF∣M(τ,gen)={0}}.
Lemma 3.2**.**
Let τ,τ′∈TF. Let x∈Iτ(τ′,gen). Then if x=0,
[TABLE]
In particular, if Iτ(τ′,gen)={0}, then τ′∈Wv.τ and thus
[TABLE]
2. 2.
Let τ∈TF. Let M⊂Iτ be a F[Y]-submodule of Iτ. Then Wt(M)=Wt(M,gen)⊂Wv.τ and M=⨁χ∈Wt(M)M(χ,gen). In particular, Wt(M)=∅.
Proof.
(1) Let x∈Iτ(τ′,gen)∖{0}. Let w∈maxsupp(x). Write x=awHw⊗τ1+y, where aw∈F∖{0} and y∈Iτ≱w. Then by Lemma 2.8,
[TABLE]
where y′∈Iτ≱w. Therefore w.τ=τ′.
(2) Let w∈Wv. Let P∈F[Y] and mP:Iτ≤w→Iτ≤w be defined by mP(x)=P.x for all x∈Iτ≤w. Then by Lemma 2.8, (mP−w.τ(P)Id)(Iτ≤w)⊂Iτ<w. By induction on ℓ(w) we deduce that mP is triangularizable on Iτ≤w and Wt(Iτ≤w)⊂[1,w].τ⊂Wv.τ.
Let x∈M and Mx=F[Y].x. By the fact that (Wv,≤) is a directed poset and by Lemma 2.8, there exists w∈Wv such that Mx⊂Iτ≤w. Therefore, for all P∈F[Y], mP:Mx→Mx is triangularizable. Thus by Lemma 3.1,
[TABLE]
Consequently, M=∑x∈MMx=⨁χ∈Wt(M,gen)M(χ,gen) and Wt(M)⊂⋃w∈WvWt(Iτ≤w)⊂Wv.τ.
Let χ∈Wt(M,gen). Let x∈M(χ,gen)∖{0} and N=F[Y].x. Then by Lemma 2.8, N is a finite dimensional submodule of Iτ. By Lemma 3.1, Wt(N)=∅. As Wt(N)⊂{χ}, χ∈Wt(M). Thus Wt(M,gen)⊂Wt(M) and as the other inclusion is clear, we get the lemma. ∎
Proposition 3.3**.**
(see [Mat77, 4.3.3 Théorème (iii)])
Let τ,τ′∈TF and M (resp. M′) be a BLHF-submodule of Iτ (resp. Iτ′). Assume that HomBLHF−mod(M,M′)∖{0}. Then τ′∈Wv.τ.
Proof.
Let f∈HomBLHF(M,M′)∖{0}. Then by Lemma 3.2 (2), there exists w∈Wv/Wτ such that f\big{(}M(w.\tau,\mathrm{gen})\big{)}\neq\{0\}. Then w.τ∈Wt(Iτ′) and by Lemma 3.2 (1) the proposition follows.
∎
An element τ∈TF is said to be regular if w.τ=τ for all w∈Wv∖{1}. We denote by TFreg the set of regular elements of TF.
There exists a basis (ξw)w∈Wv of Iτ such that for all w∈Wv:
•
ξw∈Iτ≤w* and πwH(ξw)=1*
•
ξw∈Iτ(w.τ,gen).
Moreover, if w∈Wv is minimal for ≤ among {v∈Wv∣v.τ=w.τ}, then ξw∈Iτ(w.τ). In particular, Wt(Iτ)=Wv.τ.
2. 2.
If τ is regular, then Iτ(w.τ,gen)=Iτ(w.τ) is one dimensional for all w∈Wv and Iτ=⨁w∈WvIτ(w.τ).
Proof.
(1) Let w∈Wv. Then by Lemma 2.8, Lemma 3.1 and Lemma 3.2,
[TABLE]
Write Hw⊗τ1=∑v∈Wv/Wτxv, where xv∈Iτ≤w(v.τ,gen) for all v∈Wv/Wτ. Let v∈Wv/Wτ be such that πwH(xv)=0. Then maxsupp(xv)={w} and by Lemma 3.2, w.τ=v.τ. Set ξw=πwH(xv)1xv. Then (ξu)u∈Wv is a basis of Iτ and has the desired properties. Let w∈Wv be minimal for ≤ among {v∈Wv∣v.τ=w.τ}. Let λ∈Y. Then by Lemma 2.8, (Zλ−w.τ(λ).ξw)∈Iτ(w.τ,gen)∩Iτ<w. By Lemma 3.2, we deduce that (Zλ−w.τ(λ)).ξw=0 and thus that ξw∈Iτ(w.τ). Thus w.τ∈Wt(Iτ) and by Lemma 3.2, Wt(Iτ)=Iτ.
(2) Suppose that τ is regular. Let w∈Wv, λ∈Y and x∈Iτ(τ,gen). Then by Lemma 3.2 (1), x−πwH(x)ξw∈Iτ(τ,gen)∩Iτ<w={0}. By (1), ξw∈Iτ(w.τ) and thus Iτ(τ)=Iτ(τ,gen) is one dimensional. By Lemma 3.2, we deduce that Iτ=⨁w∈WvIτ(w.τ).
∎
3.2 Intertwining operators and weight spaces
In this subsection, we relate intertwining operators and weight spaces and study some consequences. Let τ∈TF. Using Subsection 3.1, we prove the existence of nonzero morphisms Iτ→Iw.τ for all w∈Wv. We will give a more precise construction of such morphisms in Subsection 4.4.
Let M be a BLHF-module and τ∈TF. For x∈M(τ) define Υx:Iτ→M by Υx(u.1⊗τ1)=u.x, for all u∈BLHF. Then Υx is well-defined. Indeed, let u∈BLHF be such that u.1⊗τ1=0. Then u∈F[Y] and τ(u)=0. Therefore u.x=0 and hence Υx is well-defined. The following lemma is then easy to prove.
Lemma 3.5**.**
(Frobenius reciprocity, see [Kat81, Proposition 1.10])
Let M be a BLHF-module, τ∈TF and x∈M(τ). Then the map Υ:M(τ)→HomBLHF−mod(Iτ,M) mapping each x∈M(τ) to Υx is a vector space isomorphism and Υ−1(f)=f(1⊗τ1) for all f∈HomBLHF−mod(Iτ,M).
Proposition 3.6**.**
(see [Mat77, (4.1.10)])
Let M be a BLHF-module such that there exists ξ∈M satisfying:
there exists τ∈TF such that ξ∈M(τ),
2. 2.
M=BLHF.ξ.
Then there exists a surjective morphism ϕ:Iτ↠M of BLHF-modules.
(see [Mat77, Théorème 4.2.4])
Let M be an irreducible representation of BLHF containing a finite
dimensional F[Y]-submodule M′={0}. Then there exists τ∈TF such that there exists a surjective morphism of BLHF-modules ϕ:Iτ↠M.
Proof.
By Lemma 3.1, there exists ξ∈M′∖{0} such that Zμ.ξ∈F.ξ for all μ∈Y. Let τ∈TF be such that ξ∈M(τ). Then we conclude with Proposition 3.6.∎
Remark 3.8**.**
Let Z(BLHF) be the center of BLHF. When Wv is finite, it is well known that BLHF is a finitely generated Z(BLHF) module and thus every irreducible representation of BLHF is finite dimensional. Assume that Wv is infinite. Using the same reasoning as in [AH19, Remark 4.32] we can prove that BLHF is not a finitely generated Z(BLHF)-module. As we shall see (see Remark 4.11), when F=C, there exist irreducible infinite dimensional representations of BLHF. However we do not know if there exist an irreducible representation V of BLHF such that for all x∈V∖{0}, F[Y].x is infinite dimensional or equivalently, a representation which is not a quotient of a principal series representation.
By Proposition 3.4w.τ∈Wt(Iτ) and we conclude with Lemma 3.5.
∎
3.3 Nontrivial submodules of Iτ are infinite dimensional
In this subsection, we prove that when Wv is infinite, then every submodule of Iτ is infinite dimensional. We then deduce that there can exist an irreducible representation of BLHC such that V does not embed in any Iτ, for τ∈TC.
Lemma 3.10**.**
Assume that Wv is infinite. Let w∈Wv. Then there exists s∈S such that sw>w.
Proof.
Let DL(w)={s∈S∣sw<w}. By the proof of [BB05, Lemma 3.2.3], S⊈DL(w), which proves the lemma.
∎
Proposition 3.11**.**
(compare [Mat77, 4.2.4])
Let τ∈TF. Let M⊂Iτ be a nonzero HWv,F-submodule. Then the dimension of M is infinite. In particular, if V is a finite dimensional irreducible representation of BLHF, then HomBLHF−mod(V,Iτ)={0} for all τ∈TF.
Proof.
Let m∈M∖{0}. Let ℓ(m)=max{ℓ(v)∣v∈supp(m)}. Let w∈supp(m) be such that ℓ(w)=ℓ(m). By Lemma 3.10 there exists (sn)∈SZ≥1 such that if w1=w and wn+1=snwn for all n∈Z≥1, one has ℓ(wn+1)=ℓ(wn)+1 for all n∈Z≥1. Let m1=m and mn+1=Hsn.mn for all n∈Z≥1. Then for all n∈Z≥1, w_{n}\in\max\big{(}\mathrm{supp}(m_{n})\big{)}, which proves that M is infinite dimensional.
∎
As we shall see in Appendix A, there can exist finite dimensional representations of BLHC.
4 Study of the irreducibility of Iτ
In this section, we study the irreducibility of Iτ.
In Subsection 4.1, we describe certain intertwining operators between Iτ and Is.τ, for s∈S and τ∈TF. For this, we introduce elements Fs∈BLH(TF) such that Fs(χ)⊗χ1∈Iχ(s.χ) for all χ∈TF for which this is well-defined.
In Subsection 4.2, we establish that the condition (2) appearing in Theorems 1, 2 and 3 is a necessary condition for the irreducibility of Iτ. This conditions comes from the fact that when Iτ is irreducible, certain intertwinners have to be isomorphisms.
In Subsection 4.3, we prove an irreducibility criterion for Iτ involving the dimension of Iτ and the values of τ (see Theorem 4.8). We then deduce Matsumoto criterion.
In Subsection 4.4 we introduce and study, for every w∈Wv, an element Fw∈BLH(TF) such that Fw(χ)⊗χ1∈Iχ(w.χ) for every χ∈TC for which this is well-defined.
In Subsection 4.5 we prove one implication of Kato’s criterion (see Proposition 4.17).
The definition we gave for Iτ is different from the definition of Matsumoto (see [Mat77, (4.1.5)]). It seems to be well known that these definitions are equivalent. We justify this equivalence in Subsection 4.6. We also explain why it seems difficult to adapt Kato’s proof in our framework.
4.1 Intertwining operators associated with simple reflections
Let s∈S. In this subsection we define and study an element Fs∈BLH(TF) such that Fs(χ)⊗χ1∈Iχ(s.χ) for all χ such that Fs(χ) is well-defined.
Let s∈S and Ts=σsHs. Let w∈Wv and w=s1…sk be a reduced writing. Set Tw=Ts1…Tsk. This is independent of the choice of the reduced writing by [BPGR16, 6.5.2].
Set Bs=Ts−σs2∈HWv,F. One has Bs2=−(1+σs2)Bs. Let ζs=−σsQs(Z)+σs2∈F(Y)⊂BLH(TF). When σs=σs′=q for all s∈S, we have ζs=1−Z−αs∨1−qZ−αs∨∈F(Y). Let Fs=Bs+ζs∈BLH(TF).
Let α∨∈Φ∨. Write α∨=w.αs∨ for w∈Wv and s∈S. We set ζα∨=(ζs)w.
Let α∨∈Φ∨. Write α=w.αs∨, with w∈Wv and s∈S. We set σα∨=σs and σα∨′=w.σs′. This is well-defined by Lemma 2.4 and by the relations on the σt, t∈S (see Subsection 2.3).
The ring F[Y] is a unique factorization domain. For α∨, write ζα∨=ζα∨denζα∨num where ζα∨num,ζα∨den∈F[Y] are pairwise coprime. For example if α∨∈Φ∨ is such that σα∨=σα∨′ we can take ζα∨den=1−Z−α∨ and in any case we will choose ζα∨den among {1−Z−α∨,1+Z−α∨,1−Z−2α∨}.
Remark 4.1**.**
Let τ∈TF and r=rα∨∈R. Suppose that r.τ=τ. Then ζα∨den(τ)=0. Indeed, let λ∈Y be such that τ(r.λ)=τ(λ). Then τ(r.λ−λ)=τ(αr∨)αr(λ)=1. Suppose σα∨=σα∨′, then ζα∨den=1−Z−αr∨ and thus τ(ζα∨den)=0. Suppose σr=σr′. Then αr(λ)∈2Z thus τ(αr∨)∈/{−1,1} and hence τ(ζα∨den)=0.
Lemma 4.2**.**
Let s∈S and θ∈F(Y). Then
[TABLE]
In particular, for all τ∈TF such that τ(ζsden)=0, Fs(τ)⊗τ1∈Iτ(s.τ) and Fs(τ)⊗s.τ1∈Is.τ(τ).
Proof.
Let λ∈Y. Then
[TABLE]
Thus Zλ∗Fs=Zλ∗(Bs+ζs)=Fs∗Zs.λ and hence θ∗Fs=Fs∗θs for all θ∈F[Y].
Let θ∈F[Y]∖{0}. Then θ∗(Fs∗θs1)=Fs and thus θ1∗Fs=Fs∗θs1. Lemma follows.
∎
Let τ∈TF and s∈S be such that τ(ζsden)τ((ζsden)s)=0. Let ϕ(τ,s.τ)=ΥFs(τ)⊗s.τ1:Iτ→Is.τ and ϕ(s.τ,τ)=ΥFs(τ)⊗τ1:Is.τ→Iτ. Then
[TABLE]
Proof.
By Lemma 4.2 and Lemma 3.5, ϕ(s.τ,τ) and ϕ(τ,s.τ) are well-defined. Let f=ϕ(s.τ,τ)∘ϕ(τ,s.τ)∈EndBLHF−mod(Iτ). Then by Lemma 4.2 and Lemma 4.3:
[TABLE]
By symmetry, we get the lemma.
∎
Let UF be the set of τ∈TF such that for all α∨∈Φ∨, τ(ζα∨num)=0. When σs=σs′=q for all s∈S, then UF={τ∈TF∣τ(α∨)=q,∀α∨∈Φ∨}.
We assume that for all s∈S, σs′∈/{σs−1,−σs,−σs−1}. Under this condition, if α∨∈Φ∨ and τ∈TF are such that τ(ζα∨den)=0, then τ(ζα∨num)=0.
Lemma 4.5**.**
Let τ∈UF. Then for all w∈Wv, Iτ and Iw.τ are isomorphic as BLHF-modules.
2. 2.
Let τ∈TF be such that Iτ is irreducible. Then τ∈UF.
Proof.
Let τ∈UF. Let w∈Wv and τ~=w.τ. Let s∈S. Assume that s.τ~=τ~. Then by Remark 4.1, ζsden(τ~)=0 and ζsden(s.τ~)=0. Therefore ζs(τ), ζs(s.τ~) are well-defined and hence Fs(τ~), Fs(τ~) are well-defined. Let ϕ(τ~,s.τ~)=ΥFs(τ~)⊗s.τ~1:Iτ~→Is.τ~ and ϕ(s.τ~,τ~)=ΥFs(τ~)⊗τ~1:Is.τ~→Iτ~. Then by Lemma 4.4,
[TABLE]
By definition of UF, τ~(ζsζss)=τ~(ζs)τ~(ζss)=0 and thus ϕ(τ~,s.τ~) and ϕ(s.τ~,τ~) are isomorphisms. Consequently Iτ~ is isomorphic to Is.τ~ and (1) follows by induction.
Let τ∈TF be such that Iτ is irreducible. Let s∈S.
Suppose τ(ζsden)=0. Then by assumption, τ(ζsnum)=0. Moreover by Remark 4.1, Is.τ=Iτ.
Suppose now τ(ζsden)=0. Then (with the same notations as in Lemma 4.4), ϕ(s.τ,τ)=0 and \mathrm{Im}\big{(}\phi(s.\tau,\tau)\big{)} is a BLHF-submodule of Iτ: \mathrm{Im}\big{(}\phi(s.\tau,\tau)\big{)}=I_{\tau}. Therefore ϕ(τ,s.τ)∘ϕ(s.τ,τ)=0. Thus by Lemma 4.4, ϕ(τ,s.τ) is an isomorphism and τ(ζsζss)=0. In particular, τ(ζsnum)=0.
Therefore in any cases, Iτ is isomorphic to Is.τ and τ(ζsnum)=0. By induction we deduce that Iw.τ is isomorphic to Iτ. Thus Iw.τ is irreducible for all w∈Wv. Thus w.τ(ζsnum)=0 for all w∈Wv and s∈S, which proves that τ∈UF.
∎
Lemma 4.6**.**
Let τ∈TF be such that Iw.τ≃Iτ (as a BLHF-module) for all w∈Wv. Then for all w∈Wv, there exists a vector space isomorphism Iτ(τ)≃Iτ(w.τ).
Proof.
Let w∈Wv. Then by hypothesis, HomBLHF−mod(Iτ,Iτ)≃HomBLHF−mod(Iw.τ,Iw.τ). Let ϕ:Iτ→Iw.τ be a BLHF-module isomorphism. Then ϕ induces an isomorphism of vector spaces Iτ(w.τ)≃Iw.τ(w.τ). By Lemma 3.5,
In this subsection, we give a characterization of irreducibility for Iτ, for τ∈TC.
If B is a C-algebra with unity e and a∈B, one sets
[TABLE]
Recall the following theorem of Amitsur (see Théorème B.I of [Ren10]):
Theorem 4.7**.**
Let B be a C-algebra with unity e. Assume that the dimension of B over C is countable. Then for all a∈B, Spec(a)=∅.
Recall that UC is the set of τ∈TC such that for all α∨∈Φ∨, τ(ζα∨num)=0.
Theorem 4.8**.**
Let τ∈TC. Then the following are equivalent:
Iτ* is irreducible,*
2. 2.
Iτ(τ)=C.1⊗τ1* and τ∈UC,*
3. 3.
EndBLHC−mod(Iτ)=C.Id* and τ∈UC.*
Proof.
Assume that B=EndBLHC−mod(Iτ)=CId. By Lemma 3.5 and the fact that Iτ has countable dimension, B has countable dimension. Let ϕ∈B∖CId. Then by Amitsur Theorem, there exists γ∈Spec(ϕ). Then ϕ−γId is non-injective or non-surjective and therefore Ker(ϕ−γId) or Im(ϕ−γId) is a non-trivial BLHC-module, which proves that Iτ is reducible. Using Lemma 4.5 we deduce that (1) implies (3).
Let τ∈TC satisfying (2). Then by Lemma 4.5 and Lemma 4.6, dimIτ(w.τ)=1 for all w∈Wv. By Lemma 4.5, for all w∈Wv, there exists an isomorphism of BLHC-modules fw:Iw.τ→Iτ. As C.fw(1⊗w.τ1)⊂Iτ(w.τ) we deduce that Iτ(w.τ)=C.fw(1⊗w.τ1) for all w∈Wv.
Let M={0} be a BLHC-submodule of Iτ. Let x∈M∖{0}. Then M′=C[Y].x is a finite dimensional C[Y]-module. Thus by Lemma 3.1), there exists ξ∈M′∖{0} such that Zλ.ξ∈C.ξ for all λ∈Y. Then ξ∈Iτ(τ′) for some τ′∈TC. By Lemma 3.2, τ′=w.τ, for some w∈Wv. Thus ξ∈C∗fw(1⊗w.τ1). One has
[TABLE]
Hence Iτ is irreducible, which finishes the proof of the theorem.
∎
Remark 4.9**.**
Actually, our proof of the equivalence between (2) and (3), and of the fact that (2) implies (1) is valid when F is a field, without assuming F=C.
Recall that an element τ∈TF is called regular if w.τ=τ for all w∈Wv.
Corollary 4.10**.**
(see [Mat77, Théorème 4.3.5] )
Let τ∈TF be regular. Then Iτ is irreducible if and only if τ∈UF.
Assume that τ∈UF. Then by Proposition 3.4 (2), dimIτ(τ)=1 and we conclude with Theorem 4.8 and Remark 4.9.
∎
Remark 4.11**.**
Assume that F=C and that σs=σs′=q for all s∈S, for some q∈Z≥2. Let (yj)j∈J be a Z-basis of Y. Then the map TC→(C∗)J defined by τ∈TC↦(τ(yj))j∈J is a group isomorphism. We equip TC with a Lebesgue measure through this isomorphism. Then the set of measurable subsets of TC having full measure does not depend on the choice of the Z-basis of Y. Then UC=⋂α∨∈Φ∨{τ∈TC∣τ(α∨)=q} has full measure in TC. Moreover TCreg⊃⋂λ∈Y∖{0}{τ∈TC∣τ(λ)=1} has full measure in TC and thus {τ∈TC∣Iτ is irreducible} has full measure in TC.
Recall that R={wsw−1∣w∈Wv,s∈S} is the set of reflections of Wv. For τ∈TC, set Wτ={w∈Wv∣w.τ=τ}, Φ(τ)∨={α∨∈Φ+∨∣ζα∨den(τ)=0}, R(τ)={r=rα∨∈R∣α∨∈Φ(τ)∨} and
[TABLE]
By Remark 4.1, W(τ)⊂Wτ. It is moreover normal in Wτ. When αs(Y)=Z for all s∈S, then W(τ)=⟨Wτ∩R⟩.
Corollary 4.12**.**
Let τ∈TF be such that Wτ=W(τ)={1,t} for some reflection t. Then Iτ is irreducible if and only if τ∈UF.
Proof.
By Lemma 4.5, if Iτ is irreducible, then τ∈UF. Conversely, let τ∈UF be such that Wτ=W(τ)={1,t}, for some t∈R. Write t=v−1sv for s∈S and v∈Wv. Let τ~=v.τ. One has s.τ~=τ~ and Wτ~={1,s}. By Lemma 3.2, Iτ~(τ~)⊂Iτ~≤s.
Let λ∈Y. Then Zλ.Hs⊗τ~1=τ~(λ)Hs⊗τ~1+τ~(Qs(Z)(Zλ−Zs.λ))1⊗τ~1.
Suppose σs=σs′. Then as W(τ~)=v.W(τ).v−1={1,s}, one has τ~(αs∨)=1. By Remark 2.7, τ~((Qs(Z)(Zλ−Zs.λ))=(σs−σs−1)αs(λ). As there exists λ∈Y such that αs(λ)=0, we deduce that Hs⊗τ~1∈/Iτ~(τ~) and thus Iτ~(τ~)=F.1⊗τ~1. Similarly, if σs=σs′ then Iτ~(τ~)=F.1⊗τ~1. By Theorem 4.8 and Remark 4.9, we deduce that Iτ~ is irreducible. By Lemma 4.5 we deduce that Iτ is isomorphic to Iτ~ and thus Iτ is irreducible.
∎
4.4 Weight vectors regarded as rational functions
In this subsection, we introduce and study elements Fw∈BLH(TF), w∈Wv, such that for all χ∈TF such that Fw(χ) is well-defined, Fw(χ)⊗χ1∈Iχ(w.χ).
For w∈Wv, let πwT:BLH(TF)→F(Y) be the right F(Y)-module morphism defined by πwT(Tv)=δv,w for all v∈Wv.
Lemma 4.13**.**
Let F′ be a uncountable field containing F. Let P∈F[Y] be such that P(τ)=0 for all τ∈TF′reg. Then P=0.
Proof.
Let F0⊂F be a countable field (one can take F0=Q or F0=Fℓ for some prime power ℓ). Write P=∑λ∈YaλZλ, with aλ∈F for all λ∈Y. Let (yj)j∈J be a Z-basis of Y and Xj=Zyj for all j∈J. Let F1=F(aλ∣λ∈Y). Let (xj)j∈J∈(F′)J be algebraically independent over F1. Let τ∈TF′ be defined by τ(yj)=xj for all j∈J.
Let us prove that τ∈TFreg. Let w∈Wv∖{1}. Let λ∈Y be such that w−1.λ−λ=0. Write w−1.λ−λ=∑j∈Jnjyj with nj∈Z for all j∈J. Let Q=∏j∈JZjnj∈F1[Zj,j∈J]. Then Q=1 and thus τ(w−1.λ−λ)=Q((xj)j∈J)=1. Thus w.τ=τ and τ∈TF′reg. Thus P(τ)=0 and by choice of (xj)j∈J this implies P=0.
∎
Let w∈Wv. Let w=s1…sr be a reduced expression of w. Set Fw=Fsr…Fs1=(Bsr+ζsr)…(Bs1+ζs1)∈BLH(TF). By the lemma below, this does not depend on the choice of the reduced expression of w.
The element Fw∈BLH(TF) is well-defined, i.e it does not depend on the choice of a reduced expression for w.
2. 2.
One has Fw−Tw∈BLH(TF)<w.
3. 3.
If θ∈F(Y), then θ∗Fw=Fw∗θw−1.
4. 4.
If τ∈TF is such that ζβ∨∈F(Y)τ for all β∨∈NΦ∨(w), then Fw∈BLH(TF)τ and Fw(τ).1⊗τ1∈Iτ(w.τ).
5. 5.
Let τ∈TFreg. Then Fw∈BLH(TF)τ.
Proof.
Let us prove (4) by induction on ℓ(w). By Lemma 4.2, θ∗Fw=Fw∗θw−1 for all θ∈F(Y). Let n∈Z≥0 and assume that (4) is true for all w∈Wv such that ℓ(w)≤n. Let w∈Wv be such that ℓ(w)≤n+1. Write w=sv, with s∈S and ℓ(v)≤n. By Lemma 2.4, NΦ∨(sv)=NΦ∨(v)∪{v−1.αs∨}. Let τ∈TF be such that be such that ζα∨∈F(Y)τ for all α∨∈NΦ∨(w). One has Fw=(Bs+ζs)∗Fv. As Fv∈BLH(TF)τ and BLH(TF)τ is a left HWv,F-submodule of BLH(TF), Bs∗Fv∈BLH(TF)τ. One has ζs∗Fv=Fv∗ζsv−1∈BLH(TF)τ and hence Fw∈BLH(TF)τ.
Let τ∈TF be such that ζα∨∈F(Y)τ for all α∨∈NΦ∨(w). Let θ∈F[Y]. Then
Let τ∈TFreg and α∨∈Φ∨. Write α∨=w.αs∨ for w∈Wv and s∈S. Then s.w−1.τ=w−1.τ and by Remark 4.1, w−1.τ(ζsden)=0 or equivalently τ(ζα∨den)=0. By (4) we deduce that Fw∈BLH(TF)τ for all τ∈TFreg, which proves (5).
Let us prove (2). Let v∈Wv be such that h:=Fv−Tv∈BLH(TF)<v and s∈S be such that sv>v. Then
By [Kum02, Corollary 1.3.19], s.[1,v)⊂[1,sv) and thus Ts∗h∈BLH(TF)<sw thus Fsv−Tsv∈BLH(TF)<sv. By induction we deduce (2).
Let w=s1…sr=s1′…sr′ be reduced expressions of w. Let Fw be associated to s1…sr and Fw′ be associated to s1′…sr′. Let F′ be a uncountable field containing F. Then by Proposition 3.4 (2), for all τ∈TF′reg there exists θ(τ)∈F′∗ such that Fw(τ)=θ(τ)Fw′(τ). Let v∈Wv be such that πv(Fw′)=0 and θv=πvH(Fw′)πvH(Fw)∈F(Y). Then θv(τ)=θ(τ) for all τ∈TF′reg. But by (2), θ(τ)=1 for all τ∈TF′reg. Thus by Lemma 4.13, θ=1=θv and Fw′=Fw.
∎
Remark 4.15**.**
When σs=σs′ for all s∈S, the condition (4) is equivalent to τ(β∨)=1 for all β∨∈NΦ∨(w).
4.5 One implication of Kato’s criterion
Recall the definition of W(τ) from Subsection 4.3.
In this subsection, we prove that if Iτ is irreducible, then Wτ=W(τ).
Lemma 4.16**.**
Let τ∈TC be such that Wτ=W(τ). Let w∈Wτ∖W(τ) be of minimal length. Then Fw∈BLH(TF)τ.
Proof.
Write w=sk…s1, where k=ℓ(w) and s1,…,sk∈S. Let j∈[[0,k−1]]. Set wj=sj…s1. Suppose that wj.ζsj+1den(τ)=0. Then rwj.αsj+1∨=s1…sjsj+1sj…s1∈W(τ). Moreover as W(τ)⊂Wτ, we have sj+1…s1.τ=sj…s1.τ. Therefore
[TABLE]
and w′=sk…s^j+1…s1∈Wτ. By definition of w, w′∈W(τ). Consequently
[TABLE]
a contradiction. Therefore wj.ζsj+1den(τ)=0 and by Lemma 2.4 and Lemma 4.14, Fw∈BLH(TF)τ.
∎
Proposition 4.17**.**
Let τ∈TC be such that Wτ=W(τ). Then Iτ is reducible.
Proof.
Let w∈Wτ∖W(τ) be of minimal length. Then by Lemma 4.16 and Lemma 4.14, Fw(τ)⊗τ1∈Iτ(τ). Moreover, \pi^{T}_{w}\big{(}F_{w}(\tau)\otimes_{\tau}1\big{)}=1 and thus Fw(τ)⊗τ1∈/C1⊗τ1. We conclude with Theorem 4.8.
∎
4.6 Link with the works of Matsumoto and Kato
Assume that Wv is finite. Then HC=BLHC. Let τ∈TC. Then by Subsection 2.4, dimCIτ=∣Wv∣. One has Zλ.1⊗τ1=τ(λ)1⊗τ1 for all λ∈Y and HC.1⊗τ1=Iτ. Thus by [Mat77, Théorème 4.1.10] the definition we used is equivalent to Matsumoto’s one.
Assume that HC is associated with a split reductive group over a field with residue cardinal q. Then by (BL2), one has:
[TABLE]
Set 1τ′=∑w∈WvTw⊗τ1. Then if s∈S, Ts.1τ′=q1τ′. Then by [Kat81, (1.19)], 1τ′ is proportional to the vector 1τ defined in [Kat81]. Kato proves Theorem 1 by studying whether the following property is satisfied: “for all w∈Wv, HC.1w.τ′=Iw.τ” (see [Kat81, Lemma 2.3]). When Wv is infinite, we do not know how to define an analogue of 1τ′ and thus we do not know how to adapt Kato’s proof.
5 Description of generalized weight spaces
In this section, we describe Iτ(τ,gen), when τ∈TC is such that W(τ)=Wτ. We then deduce Kato’s criterion for size 2 matrices.
Let us sketch our proof of this criterion. By Theorem 4.8 and Proposition 4.17, it suffices to study Iτ(τ) when τ∈UC is such that Wτ=W(τ). For this, we begin by describing Iτ(τ,gen). Let τ∈TC satisfying the above condition. By Dyer’s theorem, (W(τ),Sτ) is a Coxeter system, for some Sτ⊂W(τ). Let r∈Sτ. We study the singularity of Fr at τ, that is, we determine an (explicit) element θ∈C(Y) such that Fr−θ is defined at τ (see Lemma 5.19). Using this, we then describe Iτ(τ,gen). We then deduce that when Wτ=W(τ) is the infinite dihedral group then Iτ(τ) is irreducible. After classifying the subgroups of the infinite dihedral group (see Lemma 5.34), we deduce Kato’s criterion for size 2 matrices.
In certain proofs, when F=C, we will make additional assumptions on the σs and σs′, s∈S. To avoid these assumptions, we can assume that σs,σs′∈C and ∣σs∣>1,∣σs′∣>1 for all s∈S.
5.1 The complex torus TC
We assume that ∣σs∣∈R>1 for all s∈S.
Let (yj)j∈J be a Z-basis of Y. The map TC→(C∗)J mapping each τ∈TC on (τ(yj))j∈J is a bijection. We identify TC and (C∗)J. We equip TC with the usual topology on (C∗)J. This does not depend on the choice of a basis (yj)j∈J.
Lemma 5.1**.**
The set {τ∈TC∣∀(w,λ)∈Wv∖{1}×(Cfv∩Y),w.τ(λ)=τ(λ)} is dense in TC. In particular, TCreg is dense in TC.
Proof.
Let λ∈Cfv∩Y. By [Bou81, V.Chap 4 §6 Proposition 5], for all w∈Wv∖{1}, w.λ=λ. Let (γj)j∈J∈(C∗)J be algebraically independent over Q and τγ∈TC be defined by τγ(yj)=γj for all j∈J. Then w.τγ(λ)=τγ(λ) for all w∈Wv∖{1}. Let τ∈TC. Let (\gamma^{(n)})\in\big{(}(\mathbb{C}^{*})^{J}\big{)}^{\mathbb{\mathbb{Z}}_{\geq 0}} be such that γ(n) is algebraically independent over Q for all n∈Z≥0 and such that γ(n)→(τ(yj))j∈J. Then τγ(n)→τ and we get the lemma. ∎
Let A⊂R be a ring. We set QA∨=⨁s∈SAαs∨⊂A.
Lemma 5.2**.**
Let (γs)∈(C∗)S. Then there exists τ∈TC such that τ(αs∨)=γs for all s∈S.
Proof.
Let us prove that there exists n∈Z≥1 such that n1QZ∨⊃Y∩QQ∨. The module Y∩QQ∨ is a Z-submodule of the free module Y. Thus it is a free module and its rank is lower or equal to the rank of Y. Let (yj)j∈J be a Z-basis of Y∩QQ∨. As αs∨∈Y∩QQ∨ for all s∈S, we have we have vectQ(Y∩QQ∨)=QQ∨. Therefore for all j∈J, there exists (mj,s)∈QS such that yj=∑j∈Jmj,sαs∨ and thus there exists n∈Z≥1 such that n1QZ∨⊃Y∩QQ∨.
Let S be a complement of Y∩QQ∨ in Y⊗Q. For s∈S, choose γsn1∈C∗ such that (γsn1)n=γs. Let τ~:n1QZ∨⊕S→C∗ be defined by τ~(∑s∈Snasαs∨+x)=∏s∈S(γsn1)as for all (as)∈ZS and x∈S. Let τ=τ~∣Y. Then τ∈TC and τ(αs∨)=γs for all s∈S.
∎
5.2 A new basis of HWv,C
In [KL79], Kazhdan and Lusztig defined the Kazhdan-Lusztig basis (Cw)w∈Wv of HWv,C in the case where σs=σ for all s∈S. This basis is defined by its properties with respect to some involution of HWv,C and by the fact that Cw−Tw∈⨁v<wCTv , for w∈Wv (see [KL79, Theorem 1.1] for a precise statement). This basis was then defined in the general case (where the σs, s∈S need not be all equal) see [Lus83, 6] for example. We now define a basis (Bw)w∈Wv of HWv,C from the Kazhdan-Lusztig basis (Cw)w∈Wv and then compute the coefficient in front of B1 of the expansion of Fw in the basis (Bv)v∈Wv, for w∈Wv (see Lemma 5.4). This will enable us to have information on the coefficient π1H(Fw)∈C(Y), for w∈Wv (see Lemma 5.4 and Lemma 5.19). Our computation relies on certain multiplicative properties of (Bw) (see Lemma 5.3) and we will not need the precise definition of the Kazhdan-Lusztig basis.
Let (Cw)w∈Wv be the basis introduced in [Lus83, 6]. For w∈Wv, we set Bw=(−1)ℓ(w)σwCw, where σw is defined in Remark 2.7 (6). Then for s∈S, one has Bs=Ts−σs2 and thus this notation is coherent with the notation Bs introduced in Subsection 4.1.
(3) Let w∈Wv and s∈S be such that ws<w. By [Lus83, 6.4], Cw(Hs+σs−1)=0, thus (−1)ℓ(w)σwCw(Ts+1)=0 and hence Bw(Ts+1−σs2−1)=BwBs=−(σs2+1)Bw.
Let w∈Wv and s∈S be such that ws>w. Then by [Lus83, 6.3], one has Cw(−Cs)∈Cws+⨁vs<v<wCCv and thus
[TABLE]
which proves the lemma.
∎
As (Bw)w∈Wv is a C-basis of HWv,C, (Bw)w∈Wv is a C(Y)-basis of the right module BLH(TC).
Let w∈Wv. Write Fw=∑v∈WvBvpv,w, where (pv,w)∈C(Y)(Wv). By an induction on ℓ(w) using Lemma 5.3 (2) we have ⨁v≤wHvC(Y)=⨁v≤wBvC(Y) for all w∈Wv. Thus for all v∈Wv such that v≰w, one has pv,w=0. In [Ree97, 5.3], Reeder gives recursive formulae for the pv,w. The following lemma is a particular case of them.
For v∈Wv, define πvB:BLH(TC)→C(Y) by πvB(∑u∈WvBufu)=fv for all (fu)∈C(Y)(Wv).
Lemma 5.4**.**
Let w∈Wv. Then p1,w=ζw:=∏β∨∈NΦ∨(w)ζβ∨.
Proof.
We prove it by induction on ℓ(w).
Let v∈Wv and assume that p1,v=ζv. Let s∈S be such that vs>v. By Lemma 4.2 one has
[TABLE]
By Lemma 5.3, we have π1B(∑u∈WvBu∗Bspu,vs)=0 and π1B(∑u∈WvBupu,vsζs)=p1,vsζs. By Lemma 2.4, NΦ∨(vs)=s.NΦ∨(v)⊔{αs∨} and thus π1B(Fvs)=p1,vs=p1,vsζs=ζvs which proves the lemma.
∎
Remark 5.5**.**
In the proof of Lemma 5.4, we only used the properties of (Bw)w∈Wv described in Lemma 5.3 and not its precise definition. In [Ree97, Lemma 5.2], Reeder gives an elementary proof of the existence of a basis (Bw)w∈Wv satisfying Lemma 5.3. Its proof can be adapted to our framework to construct a basis (Bw) without using Kazhdan-Lusztig basis.
5.3 An expression for the coefficients of the Fw in the basis (Tv)
In this subsection, we give a recursive formula for the coefficients of the Fw in the basis (Tv)v∈Wv (see formula (2) below and Lemma 5.7). We will deduce information concerning the elements v∈Wv such that πvT(Fw) is well-defined at τ, for a given τ∈TC (see Lemma 5.8).
Let λ∈Y and w∈Wv. By (BL4), Remark 2.7 (2) and an induction on ℓ(w), there exists (Pv,w,λ(Z))v∈Wv∈C[Y](Wv) such that Zλ∗Tw=∑v∈WvTv∗Pv,w,λ(Z). Moreover Pw,w,λ=Zw−1.λ and for all v∈Wv∖[1,w], Pv,w,λ=0.
Let λ∈Cfv∩Y. Then by [Bou81, V.Chap 4 §6 Proposition 5], for all v,w∈Wv such that v=w, one has v.λ=w.λ. Let w∈Wv. Let w=s1…sk be a reduced expression. Set Qw,w,λ(Z)=1∈C(Y). For v∈Wv∖[1,w], set Qv,w,λ(Z)=0. Define (Qv,w,λ(Z))v∈[1,w] by decreasing induction by setting:
[TABLE]
Lemma 5.6**.**
Let λ∈Cfv∩Y, w∈Wv and τ∈TCreg be such that v.τ(λ)=τ(λ) for all v∈Wv∖{1}. Let x∈Iτ be such that Zλ.x=w.τ(λ).x. Then x∈Iτ(w.τ).
Proof.
By Proposition 3.4 (2), we can write x=∑v∈Wvxv where xv∈Iτ(v.τ) for all v∈Wv. One has Zλ.x−w.τ(λ).x=0=∑v∈Wv(v.τ(λ)−w.τ(λ))xv. As v.τ(λ)=w.τ(λ) for all v=w, we deduce that x=xw.
∎
Lemma 5.7**.**
Let v,w∈Wv. Then πvT(Fw)=Qv,w,λ, for any λ∈Cfv∩Y. In particular, Qv,w,λ does not depend on the choice of λ.
Proof.
Let λ∈Cfv and h=∑v∈WvTvQv,w,λ∈BLH(TC). One has:
[TABLE]
Let u∈Wv. Then:
[TABLE]
and therefore Zλ.h=h.Zw−1.λ.
Let λ∈Cfv∩Y and τ∈TCreg be such that u.τ(λ)=τ(λ) for all u∈Wv∖{1}. Then evτ(Zλ∗h)=evτ(h∗Zv−1.λ)=w.τ(λ).h(τ). By Lemma 5.6 we deduce that h(τ)∈Iτ(w.τ). By Proposition 3.4 (2) and Lemma 4.14 we deduce that h(τ)=Fw(τ). By Lemma 5.1, we deduce that h=Fw, which proves the lemma.
∎
Lemma 5.8**.**
Let w∈Wv, τ∈TC and v∈[1,w]. Assume that for all u∈[v,w), u.τ=w.τ. Then for all u∈[v,w], πuT(Fw)∈C(Y)τ.
Proof.
We do it by decreasing induction on v. Suppose that for all u∈(v,w), πuT(Fw)∈C(Y)τ. Let λ∈Cfv∩Y be such that v.τ(λ)=w.τ(λ), which exists because Cfv∩Y generates Y. By Lemma 5.7 we have
[TABLE]
We deduce that πvT(Fw)∈C(Y)τ because by assumption Qu,w,λ∈C(Y)τ for all u∈(v,w]. Lemma follows.
∎
5.4 τ-simple reflections and intertwining operators
Let τ∈TC. Following [Ree97, 14], we introduce τ-simple reflections (see Definition 5.9). If Sτ is the set of τ-simple reflections, then (W(τ),Sτ) is a Coxeter system. We study, for such a reflection r, the singularity of Fr at τ: we prove that Fr−ζr is in BLH(TC)τ (see Lemma 5.19). This enables us to define Kr(τ)=(Fr−ζr)(τ)∈HWv,C. This will be useful to describe Iτ(τ,gen).
We now define τ-simple reflections. Our definition slightly differs from [Ree97, Definition 14.2]. These definitions are equivalent (see Lemma 5.13).
Definition 5.9**.**
Let τ∈TC. A coroot β∨∈Φτ∨ and its corresponding reflection rβ∨ are said to be τ-simple if NR(rβ∨)∩W(τ)={rβ∨}. We denote by Sτ the set of τ-simple reflections.
Recall that Φ(τ)∨={α∨∈Φ+∨∣ζα∨den(τ)=0} and R(τ)={rα∨∣α∨∈Φ(τ)∨}.
5.4.1 Coxeter structure of W(τ) and comparison of the definitions of τ-simplicity
We use the same notation as in 2.2.3. Then Sτ=S(W(τ)) and thus (W(τ),Sτ) is a Coxeter system.
Let ≤τ and ℓτ be the Bruhat order and the length on (W(τ),Sτ).
Lemma 5.10**.**
Let x,y∈W(τ) be such that x≤τy. Then x≤y.
Proof.
By definition, if x,y∈W(τ), then x≤τy (resp. x≤y) if there exist n∈Z≥0 and x0=x,x1,…,xn=y∈W(τ) (resp . Wv) such that (xi,xi+1) is an arrow of the graph of [Dye91, Definition 1.1] for all i∈[[0,n−1]]. We conclude with [Dye91, Theorem 1.4]
∎
Remark 5.11**.**
The orders ≤ and ≤τ can be different on W(τ): there can exist v,w∈W(τ) such that v and w are not comparable for ≤τ and v<w. For example if Wv={s1,s2} is the infinite dihedral group, r1=s1 and r2=s2s1s2 (see Lemma B.2), then r1<r2 but r1 and r2 are not comparable for <τ.
Set Φ(τ),+∨=Φ(τ)∨∩Φ+∨ and Φ(τ),−∨=Φ(τ)∨∩Φ−∨. For w∈W(τ), set NΦ(τ)∨(w)=NΦ∨(w)∩Φ(τ)∨.
Lemma 5.12**.**
Let w∈W(τ). Then w.Φ(τ)∨=Φ(τ)∨ and w.R(τ).w−1=R(τ).
Proof.
Let α∨∈Φ(τ)∨. One has ζw.α∨den=(ζα∨den)w and hence
[TABLE]
because w∈W(τ)⊂Wτ. Thus w.α∨∈Φ(τ)∨ and rv.α∨=vrα∨v−1∈R(τ), which proves the lemma.
∎
We now prove that our definition of τ-simplicity is equivalent to the definition of [Ree97, 14.2]. This equivalence will be useful in our study of the weight spaces of Iτ and thus in the study of the irreducibility of Iτ. Indeed, our definition of τ-simplicity is well adapted to the study of the Coxeter structure of W(τ) whereas Reeder’s one is well adapted to the study of the singularity Fr at τ.
Lemma 5.13**.**
One has Sτ⊂R∩W(τ)=R(τ).
2. 2.
Let r=rβ∨∈R. Then r∈Sτ if and only if NΦ∨(rβ∨)∩Φ(τ)∨={β∨}.
3. 3.
Let w∈W(τ). Let w=r1…rk be a reduced writing of W(τ), with k=ℓτ(w) and r1,…,rk∈Sτ. Then ∣NΦ(τ)∨(w)∣={αrk∨,rk.αrk−1∨,…,rk…r2.αr1∨} and ∣NΦ∨(w)∩Φ(τ)∨∣=k=ℓτ(w).
Proof.
We begin by proving a part of (3). By Lemma 5.10 and [Kum02, Lemma 1.3.13], for v∈W(τ) and r∈Sτ, one has ℓτ(vr)>ℓτ(v) if and only if vr>τv if and only if vr>v if and only if v.αr∨∈Φ+∨ if and only if v.αr∨∈Φ(τ),+∨.
One has NΦ(τ)∨(w)={α∨∈Φ(τ),+∨∣w.α∨∈Φ(τ),−∨}. Then using the same proof as in [Kum02, Lemma 1.3.14], one has NΦ(τ)∨(w)⊃{αrk∨,rk.αrk−1∨,…,rk…r2.αr1∨} and
We now prove (1) and (2). Let f:Φ+∨→R be the map defined by f(α∨)=rα∨ for α∨∈Φ+∨. Then by Subsection 2.2, f is a bijection. Let r=rβ∨∈Sτ. One has f\big{(}N_{\Phi^{\vee}}(r)\cap\Phi^{\vee}_{(\tau)}\big{)}=N_{\mathscr{R}}(r)\cap\mathscr{R}_{(\tau)}. Moreover, R(τ)⊂W(τ)∩R. Thus
[TABLE]
Moreover, ∣NΦ∨(r)∩Φ(τ)∨∣≥1 and thus ∣NΦ∨(r)∩Φ(τ)∨∣={β∨}. In particular, β∨∈Φ(τ)∨ and r∈R(τ). Thus Sτ⊂R(τ).
By [Dye90, Theorem 3.3 (i)], R∩W(τ)=⋃w∈W(τ)wSτw−1 and thus by Lemma 5.12, R∩W(τ)⊂⋃w∈W(τ)w.R(τ).w−1=R(τ). As by definition, R(τ)⊂W(τ)∩R, we deduce that R(τ)=W(τ)∩R, which proves (1).
Let r=rβ∨∈R. Suppose that NΦ∨(rβ∨)∩Φ(τ)∨={β∨}. Then
[TABLE]
which proves (2).
Let α∨∈NΦ(τ)∨(w). Then there exists j∈[[2,k]] such that rj…rk.α∨∈Φ(τ),+∨ and rj−1…rk.α∨∈Φ(τ),−∨. Thus rj−1…rk.α∨∈NΦ(τ)∨(rj)={αrj∨} and hence α∨=rk…rj−1.αrj∨, which concludes the proof of the lemma.
∎
5.4.2 Singularity of Fr at τ for a τ-simple reflection
Lemma 5.14**.**
Let τ∈TC and rβ∨∈Sτ. Then there exists h′∈BLH(TC)τ such that Frβ∨=h′.ζβ∨den.
Proof.
Using [BB05, 1. Exercise 10], we write rβ∨=wsw−1 with w∈Wv, s∈S and ℓ(wsw−1)=2ℓ(w)+1. One has β∨=w.αs∨. Let rβ∨=sm…s1 be a reduced expression of rβ∨, with m∈Z≥0 and s1,…,sm∈S. Let k∈[[0,m−1]] and v=sk…s1. Suppose that Fv=hk′.(ζβ∨den)η(k) where hk′∈BLH(TC)τ and η(k)∈Z≥0. Then Fsk+1v=Fsk+1∗Fv=(Bsk+1+ζsk+1)∗Fv. One has ζsk+1∗Fv=Fv.ζsk+1v−1 by Lemma 4.14.
By Lemma 5.13 if ζsk+1v−1 is not defined in τ then k=ℓ(w). As Bsk+1∈HWv,C and BLH(TC)τ is a left HWv,C-module, we can write Fsk+1v=hk+1′.(ζβ∨den)η(k+1) where hk+1′∈BLH(TC)τ and η(k+1)≤η(k) if k=ℓ(w) and η(k+1)≤η(k)+1 if k=ℓ(w), which proves the lemma.
∎
Moreover, by Lemma 5.3 (1) πvB(Hv)∈C∗. Thus πvB(h)∈/C(Y)τ. Similarly if v′∈max{u∈Wv,u≥v∣πuB(h)∈/C(Y)τ}, then πv′H(h)∈/C(Y)τ. Hence v∈max{u∈Wv∣πuB(h)∈/C(Y)τ} and consequently max{u∈Wv∣πuH(h)∈/C(Y)τ}⊂max{u∈Wv∣πuB(h)∈/C(Y)τ}. By a similar reasoning we get the other inclusion.
∎
Lemma 5.16**.**
Let w∈Wv. Suppose that for some s∈S, we have w.λ−λ∈Rαs∨ for all λ∈Y. Then w∈{Id,s}.
Proof.
Let β∨∈NΦ∨(w). Write β∨=∑t∈Sntαt∨, with nt∈Z≥0 for all t∈S. Then w.β∨∈Φ−∨ and by assumption, nt=0 for all t∈S∖{s}. Therefore β∨∈Z≥0αs∨∩Φ∨={αs∨}. We conclude with Lemma 2.4.
∎
Lemma 5.17**.**
Let χ∈TC. Assume that there exists β∨∈Φ+∨ such that rβ∨∈Wχ. Then there exists (χn)∈(TC)Z≥0 such that:
•
χn→χ,
•
Wχn=⟨rβ∨⟩* for all n∈Z≥0,*
•
χn(β∨)=χ(β∨)* for all ∈Z≥0.*
Proof.
We first assume that β∨=αs∨, for some s∈S. Let (yj)j∈J be a Z-basis of Y. For all j∈J, choose zj∈C such that χ(yj)=exp(zj). Let g:A→C be the linear map such that g(yj)=zj for all j∈J. Let V be a complement of QR∨ in A. Let n∈Z≥1.
Let bs(n)=g(αs∨) and (bt(n))∈CS∖{s} be such that ∣bt(n)−g(αt∨)∣<n1 and such that the exp(bt(n)), t∈S∖{s} are algebraically independent over Q. Let gn:A→C be the linear map such that gn(αt∨)=bt(n) for all t∈S and gn(v)=g(v) for all v∈V. For n∈Z≥0 set χn=(exp∘gn)∣Y∈TC. For all x∈A, gn(x)→g(x) and thus χn→χ.
Let n∈Z≥1. Then χ(αs∨)=χn(αs∨) and thus s∈Wχn. Let w∈Wχn. Then w−1.λ−λ∈Zαs∨ for all λ∈Y. By Lemma 5.16 we deduce that w∈{Id,s}. Therefore Wχn={Id,s}.
We no more assume that β∨=αs∨ for some s∈S. Write β∨=w.αs∨ for some w∈Wv and s∈S. Let χ~=w−1.χ. Then s∈Wχ~. Thus there exists (χ~n)∈(TC)Z≥0 such that χ~n→χ~ and Wχ~n={Id,s} for all n∈Z≥0. Let (χn)=(w.χ~n). Then χn→χ and Wχn={1,rβ∨} for all n∈Z≥0.
Moreover, χ(β∨)∈{−1,1} and χn(β∨)∈{−1,1} for all n∈Z≥0. Maybe considering a subsequence of (χn), we may assume that there exists ϵ∈{−1,1} such that χn(β∨)=ϵ for all n∈Z≥0. As χn→χ, χn(β∨)=ϵ→χ(β∨), which proves the lemma.
∎
Let C[QZ∨]=⨁λ∈QZ∨CZλ⊂C[Y]. This is the group algebra of QZ∨. Let C(QZ∨)⊂C(Y) be the field of fractions of C[QZ∨] and H(QZ∨)=⨁w∈WvHwC(QZ∨)⊂BLH(TC). This is a (HWv,C−C(QZ∨))-bimodule of BLH(TC) and a left C(QZ∨)-submodule of BLH(TC). Consequently Fw∈H(QZ∨) for all w∈Wv.
Let A=C[Zαs∨∣s∈S]⊂C[QZ∨]. This is a unique factorization domain and C(QZ∨) is the field of fractions of A.
Lemma 5.18**.**
Let β∨∈Φ∨. Then Zβ∨−1 and Zβ∨+1 are irreducible in A.
Proof.
Write β∨=w.αs∨, where w∈Wv and s∈S. Then Zβ∨=(Zαs∨)w.
∎
Lemma 5.19**.**
(see [Ree97, Proposition 14.3])
Let τ∈TC and r=rβ∨∈Sτ. Then Frβ∨−ζβ∨∈BLH(TC)τ.
Proof.
One has Frβ∨−ζβ∨∈H(QZ∨). Write Frβ∨−ζβ∨=∑u∈WvHugufu, with fu,gu∈A and fu∧gu=1 for all u∈Wv. Let u∈(1,rβ∨). Let us prove that ζβ∨den∧gu=1. Suppose that ζβ∨den∧gu=1. Then there exists η∈{−1,1} such that Zβ∨+η divides gu.
Let χ∈TC be such that χ(β∨)=−η. By Remark 4.1, rβ∨∈Wχ. Let (χn)∈(TC)Z≥0 be such that χn→χ and Wχn={1,rβ∨} for all n∈Z≥0, and χn(β∨)=−η for all n∈Z≥0.
whose existence is provided by Lemma 5.17.
One has gu(χn)=0 for all n∈Z≥0. Moreover by Lemma 5.8, πuH(Frβ∨)=gufu∈C(Y)χn for all n∈Z≥0. Therefore, fu(χn)=0 for all n∈Z≥0 and thus fu(χ)=0.
By the Nullstellensatz (see [Lan02, IX, Theorem 1.5] for example), there exists n∈Z≥0 such that Zβ∨+η divides fun in A. By Lemma 5.18, Zβ∨+η is irreducible in A and thus Zβ∨+η divides fu: a contradiction. Therefore ζβ∨den∧gu=1. By Lemma 5.14, gu(τ)=0.
Therefore {u∈Wv∣πuH(Frβ∨−ζrβ∨)∈/C(Y)τ}⊂{1}. By Lemma 5.15 we deduce that {u∈Wv∣πuB(Frβ∨−ζrβ∨)∈/C(Y)τ}⊂{1}. Using Lemma 5.4 we deduce that {u∈Wv∣πuB(Frβ∨−ζrβ∨)∈/C(Y)τ}=∅. By Lemma 5.15, {u∈Wv∣πuH(Frβ∨−ζrβ∨)∈/C(Y)τ}=∅, which proves the lemma.
∎
5.5 Description of generalized weight spaces
In this subsection, we describe Iτ(τ,gen) for τ∈UC when W(τ)=Wτ, using the Kr1…Krk(τ), for r1,…,rk∈Sτ (see Theorem 5.27).
For r∈R, one sets Kr=Fr−ζαr∨∈BLH(TC). By Lemma 4.14 we have:
[TABLE]
Lemma 5.20**.**
Let w1,w2∈Wv. Then there exists P∈C(Y)× such that Fw1∗Fw2=Fw1w2∗P. If moreover τ∈UC, then one can write P=gf with f,g∈C[Y]× and f(w.τ)=0 for all w∈Wv.
Proof.
Let u,v∈Wv. Let us prove that if χ∈TCreg, then Fu∗Fv∈BLH(TC)χ. Write Fu=∑u′≤uHu′θu′, where θu′∈C(Y) for all u′≤u. Then by Lemma 4.14,
[TABLE]
By Lemma 4.14, θu′∈BLH(TC)χ for all χ∈TCreg and thus (θu′)v−1∈BLH(TC)χ for all χ∈TCreg. Let χ∈TCreg. As BLH(TC)χ is an HWv,C−C(Y)χ bimodule, we deduce that Fu∗Fv∈BLH(TC)χ.
Let u,v∈Wv. Let us prove that there exists Q∈C(Y) such that Fu∗Fv=Fuv∗Q. Let λ∈Y. Then by Lemma 4.14, one has ZλFu∗Fv=Fu∗Fv∗Z(uv)−1.λ. Therefore for all χ∈TCreg, there exists a(χ)∈C such that Fu∗Fv(χ)=a(χ)Fuv(χ). Write Fu∗Fv=∑w∈WvHw∗θw and Fuv=∑w∈WvHw∗θ~w, where (θw),(θ~w)∈C(Y)(Wv). Let Q=θ~uvθuv=θuv. Let w∈Wv be such that θ~w=0. Then for all χ∈TCreg, θw(χ)=0 and by Lemma 5.1, θw=0=Qθ~w. Let w∈Wv be such that θw=0. Then U:={χ∈TC∣θw∈BLH(TC)χ and θw(χ)=0} is open and dense in TC. By Remark 4.11, TCreg has full measure in TC and thus U∩TCreg is dense in TC. Moreover θw(χ)=Q(χ)θ~(χ) for all χ∈U∩TCreg and thus θ~w=Qθw. Consequently, there exists Q∈C(Y) such that Fu∗Fv=Fuv∗Q.
Let τ∈UC. Let w1∈Wv. Let u∈Wv be such that there exists θ=gf∈C(Y)× such that Fw1∗Fu=Fw1u∗θ, with f(w.τ)=0 for all w∈Wv. Let s∈S be such that us>u. Then by Lemma 4.3,
[TABLE]
Suppose w1us>w1u. Then Fw1u∗Fs=Fw1us and thus Fw1∗Fus=Fw1us∗θs and fs(w.τ)=0 for all w∈Wv. Suppose w1us<w1u. Then Fw1u∗Fs=Fw1us∗(Fs)2 and thus by Lemma 4.3, Fw1∗Fus=Fw1us∗(θsζsζss). By definition of UC, one can write Fw1∗Fus=Fw1us∗g~f~ with f~,g~∈C[Y]× such that f~(w.τ)=0 for all w∈Wv and the lemma follows.
∎
Remark 5.21**.**
In [Ree97, Lemma 4.3 (2)], Reeder gives an explicit expression of Fu∗Fv, for u,v∈Wv.
Let r∈R. Let Ωr:C(Y)→C(Y) be defined by Ωr(θ)=ζr(θr−θ) for all θ∈C(Y).
Lemma 5.22**.**
Let r∈Sτ. Then Ωr(C(Y)τ)⊂C(Y)τ.
Proof.
Write r=rβ∨, where β∨∈Φ∨. Then one has r(λ)=λ−β(λ)β∨ for all λ∈Y. Let λ∈Y. Then with the same computation as in Remark 2.7 (2), we have that Ωr(Zλ)∈C(Y)τ. Thus Ωr(θ)∈C(Y)τ for all θ∈C[Y].
Let θ∈C(Y)τ. Write θ=gf, where f,g∈C[Y] and g(τ)=0. Then ζr(θr−θ)=ζr(ggrfrg−(frg)r). Moreover, gr(τ)=g(r.τ)=g(τ)=0 and as frg∈C[Y], we have that ζr(θr−θ)∈C(Y)τ.
∎
We now assume that τ∈UC.
For each w∈W(τ) we fix a reduced writing w=r1…rk, with k=ℓ(w) and r1,…,rk∈Sτ and we set w=(r1,…,rk). Let Kw=Kr1…Krk∈BLH(TC).
Lemma 5.23**.**
Let r∈Sτ. Then BLH(TC)τ∗Kr⊂BLH(TC)τ. In particular, Kw∈BLH(TC)τ for all w∈W(τ).
Proof.
Let w∈Wv and θ∈C(Y)τ. Then Hwθ∗Kr=HwKrθr+Hw∗Ωr(θ). Using Lemma 5.19, Lemma 5.22 and the fact that BLH(TC)τ is a HWv,C−C(Y)τ-bimodule, we deduce that Hwθ∗Kr∈BLH(TC)τ. Hence BLH(TC)τ∗Kr⊂BLH(TC)τ.
∎
Lemma 5.24**.**
Let w∈W(τ). Then \max\mathrm{supp}\big{(}K_{\underline{w}}(\tau)\big{)}=\{w\}, where max is defined with respect to the order ≤ on Wv.
Proof.
Write w=(r1,…,rk) with r1,…,rk∈Sτ. Then
[TABLE]
for some Pv∈C(Y).
By Lemma 5.20, there exist f,g∈C[Y]× such that Fri1∗Fri2∗…∗Frik=Fw∗gf and f(τ)=0. One has πwT(Fw)=1 and by Lemma 5.10, πvT(Fv)=0 for all v∈[1,w)≤τ. Thus using Lemma 5.23, one can moreover assume g(τ)=0. Therefore πwT(Kw)=gf∈C(Y)τ and f(τ)=0, which proves the lemma.
∎
Let K(W(τ))=⨁w∈W(τ)FwC(Y). By Lemma 5.20 and Lemma 4.14, K(W(τ)) is a subalgebra of BLH(TC). Let Kτ=K(W(τ))∩BLH(TC)τ. For w∈W(τ), set K(W(τ))<τw=⨁v∈W(τ),v<τwFwC(Y) and Kτ<τw=⨁v<τwKvC(Y)τ.
Lemma 5.25**.**
Let θ∈C(Y)τ and w∈W(τ). Then there exists kw(θ)∈Kτ<τw such that θ∗Kw=Kw∗θw−1+kw(θ).
Proof.
If w=1, this is clear. Suppose w>τ1. Write w=vr with v∈W(τ) and r∈Sτ such that v<τw. Suppose that θ∗Kv=Kv∗θv−1+kv(θ) with kv(θ)∈Kτ<τv. One has
[TABLE]
The sets K(W(τ))≤τv=⨁v′≤τvFv′C(Y) and BLH(TC)τ are right C(Y)τ-submodules of BLH(TC) and thus by Lemma 5.23 and Lemma 5.22, Kv∗Ωr(θv−1)∈Kτ≤τv⊂Kτ<τw.
By Lemma 5.23, kv(θ)∗Kr∈BLH(TC)τ. By Lemma 4.14 and [Kum02, Corollary 1.3.19], kvFr∈K(W(τ))<τmax(vr,v)=K(W(τ))<τw. Consequently kv∗Kr∈Kτ<τw and KvΩr(θv−1)+kv(θ)Kr∈Kτ<τw, which proves the lemma.
∎
For w∈W(τ), set K(W(τ))≤τw=⨁v≤τwFvC(Y)⊂K(W(τ)). Let w∈W(τ). Suppose that for all v∈[1,w)≤τ, one has Kτ≤τv=⨁v′∈[1,v]≤τKv′C(Y)τ. By Lemma 5.24, one can write πwT(Kw)=gf, with f,g∈C[Y] such that f(τ)g(τ)=0. Let x∈Kτ≤τw and θ=πwT(x)∈C(Y)τ. By Lemma 5.23, θfgKw∈BLH(TC)τ. Moreover, x−θfgKw∈∑v∈[1,w)≤τKτ≤τv. Therefore, x∈⨁v∈[1,w]≤τKvC(Y)τ and the lemma follows.
∎
Theorem 5.27**.**
Let τ∈UC be such that W(τ)=Wτ. Then Iτ(τ,gen)=evτ(Kτ)⊗τ1.
Proof.
Let w∈W(τ) and θ∈C(Y)τ. As w∈Wτ, θw−1∈C(Y)w.τ=C(Y)τ and τ(θw−1)=τ(θ). Then by Lemma 5.25, (θ−τ(θ))Kw(τ)⊗τ1∈K<τw(τ)⊗τ1. By an induction using Lemma 5.26 we deduce that Kτ(τ)⊗τ1⊂Iτ(τ,gen).
Let w∈Wv and E_{w}=\big{(}\mathrm{ev}_{\tau}(\mathcal{K}_{\tau})\otimes_{\tau}1\big{)}\cap I_{\tau}^{\leq w}. By Lemma 5.24, dimEw=∣W(τ)∩{v∈Wv∣v≤w}∣. By Proposition 3.4, dimIτ(τ,gen)≤w=∣{v∈Wτ∣v≤w}∣=dimEw. As (Wv,≤) is a directed poset, Iτ=⋃w∈WvIτ≤w, which proves the theorem.
∎
5.6 Irreducibility of Iτ when Wτ=W(τ) is the infinite dihedral group
In this subsection, we prove that if τ∈UC is such that Wτ=W(τ) and W(τ) is isomorphic to the infinite dihedral group, then Iτ is irreducible (see Lemma 5.33). Let us sketch the proof of this lemma. We prove that Iτ(τ)=C1⊗τ1. For w∈W(τ), let πwK:Iτ(τ,gen)→C be defined as \pi^{K}_{w}\big{(}\sum_{v\in W^{v}}K_{\underline{v}}(\tau)x_{v}\big{)}=x_{w}, for all (xv)∈C(W(τ)), which is well-defined by Lemma 5.24 and Theorem 5.27. We suppose that Iτ(τ)∖C1⊗τ1 is nonempty and we consider one of its elements x. We reach a contradiction by computing πwK(x), where w∈W(τ) is such that ℓτ(w)=max{ℓτ(v)∣v∈supp(x)∩W(τ)}−1.
Let τ∈UC. Assume that (W(τ),Sτ) is isomorphic to the infinite dihedral group (in particular, ∣Sτ∣=2 and every element of W(τ) admits a unique reduced writing).
The following lemma is easy to prove.
Lemma 5.28**.**
Let w∈W(τ) and r∈Sτ be such that ℓτ(wr)=ℓτ(w)+1. Let u∈[1,w)≤τ. Then ur=w.
Lemma 5.29**.**
Let τ∈UC. Let r=rβ∨∈Sτ, where β∨∈Φ∨. Then there exists a∈C∗ such that for all λ∈Y,
If σβ∨=σβ∨′, one has ζβ∨denZr.λ−Zλ=1−Zβ∨Zr.λ−Zλ=Zλ1−Zβ∨Z−β(λ)β∨−1. By Lemma 5.13, r∈R(τ) and thus τ(β∨)=1. Thus by the same computation as in Remark 2.7, τ(1−Zβ∨Zr.λ−Zλ)=β(λ)τ(λ). Using a similar computation when σβ∨=σβ∨′, we deduce the lemma.
∎
Lemma 5.30**.**
Let w∈W(τ) and r∈Sτ be such that ℓτ(wr)=ℓτ(w)+1. Then there exists a∈C∗ such that for all λ∈Y, one has:
[TABLE]
Proof.
Let λ∈Y. Write Zλ∗Kw=Kw∗Zw−1.λ+k, where k∈Kτ<τw, which is possible by Lemma 5.25. One has
[TABLE]
Therefore, using Lemma 5.28 and Lemma 5.29 we deduce
[TABLE]
for some a∈C∗.
∎
Lemma 5.31**.**
Let w∈W(τ) and r∈Sτ be such that ℓτ(rw)=ℓτ(w)+1.
One has πwK(Kr∗K(W(τ))≤τw)={0}.
Proof.
Let u∈W(τ) and r∈Sτ be such that ru>τu. Then by Lemma 5.20 and [Kum02, Corollary 1.3.19], Fr∗K(W(τ))≤τu⊂K(W(τ))≤τmax(u,ru) and thus Kr∗K(W(τ))≤τu⊂K(W(τ))≤τmax(u,ru).
Let v∈[1,w)≤τ. If rv>τv, then by Lemma 5.20, there exists Q∈C(Y) such that Fr∗Fv=Frv∗Q and thus Kr∗Fv∈Frv∗Q+FvC(Y). By Lemma 5.28, rv=w. Using Lemma 5.24 and the fact w and rv have the same length, we deduce that πwK(Kr∗Fv)=0.
If rv<τv, then Kr∗Fv∈K(W(τ))≤τv and thus πwK(Kr∗Fv)=0 which finishes the proof of the lemma.
∎
Lemma 5.32**.**
Let w∈Wτ, r∈Sτ be such that ℓτ(rw)=ℓτ(w)+1. Then there exists b∈C∗ such that for all λ∈Y:
[TABLE]
Proof.
One has
[TABLE]
One has Zr.λ∗Kw∈K(W(τ))≤τw. Thus by Lemma 5.31, πwK(Kr.Zr.λ∗Kw)=0. Moreover, by Lemma 5.29, there exists b∈C∗ such that
[TABLE]
which proves the lemma.
∎
Lemma 5.33**.**
Let τ∈UC be such that Wτ=W(τ) and such that there exists r1,r2∈Sτ such that (W(τ),{r1,r2}) is isomorphic to the infinite dihedral group. Then Iτ is irreducible.
Proof.
Let us prove that Iτ(τ)=C.1⊗τ1. Let x∈Iτ∖C.1⊗τ1 and assume that x∈Iτ(τ). Let n=max{ℓτ(w)∣w∈supp(x)}. Let w∈W(τ) be such that ℓτ(w)=n−1. Then there exist r,r′∈Sτ such that {v∈W(τ)∣ℓτ(v)=n}={rw,wr′}. By Theorem 5.27, x∈∑v∈W(τ)CKv(τ)⊗τ1. Let γ=πrwK(x) and γ′=πwr′K(x).
Set γw=πwK(x). Then by Lemma 5.30 and Lemma 5.32, there exist a,a′∈C∗ such that for all λ∈Y,
[TABLE]
Therefore {αr,w.αr′} is linearly dependent and hence w.αr′∈{±αr}={αr,r.αr}. By Lemma 2.3 we deduce rw=wr′: a contradiction because ∣{rw,wr′}∣=∣{v∈W(τ)∣ℓτ(v)=n}∣=2.
Therefore Iτ=C1⊗τ1 and by Theorem 4.8, Iτ is irreducible.
∎
5.7 Kato’s criterion when the Kac-Moody matrix has size 2
In this subsection, we prove Kato’s irreducibility criterion when ∣S∣=2 (see Theorem 5.35). As the case where Wv is finite is a particular case of Kato’s theorem [Kat81, Theorem 2.2] we assume that Wv is infinite.
This is equivalent to assuming that the Kac-Moody matrix of the root generating system S is of the form (2ba2), with a,b∈Z<0 and ab≥4 ([Kum02, Proposition 1.3.21]). The system (Wv,S) is then the infinite dihedral group. Write S={s1,s2}. Then every element of Wv admits a unique reduced writing involving s1 and s2.
Let G be a group and a,b∈G. For k∈Z≥0, we define Pk(a,b)=aba… where the products has k terms.
Lemma 5.34**.**
The subgroups of Wv are exactly the ones of the following list:
{1}**
2. 2.
⟨r⟩={1,r}, for some r∈R
3. 3.
Zk=⟨P2k(s1,s2)⟩=⟨P2k(s2,s1)⟩≃Z* for k∈Z≥1*
4. 4.
Rk,m=⟨P2k+1(s1,s2),P2m+1(s2,s1)⟩≃Wv* for k,m∈Z≥0.*
Proof.
Let {1}=H⊂Wv be a subgroup. Let n=min{ℓ(w)∣w∈H∖{1}}.
First assume that n is even and set k=2n. Then P(s1,s2,n)=P(s2,s1,n)−1 and as these are the only elements having length n in Wv, H⊃Zk. Let w=Pn(s1,s2). Let h∈H∖{1}. Write ℓ(h)=an+r with a∈Z≥1 and r∈[[0,r−1]]. Then there exists ϵ∈{−1,1} such that h=wϵa.h′, with ℓ(h′)=r. Moreover, h′∈H and thus h′=1. Therefore H=Zk.
We now assume that n is odd. Maybe considering vHv−1 for some v∈Wv and exchanging the roles of s1 and s2, we may assume that s1∈H. Assume H=⟨s1⟩. Let n′=min{ℓ(w)∣w∈H∖⟨s1⟩}. Let w∈H∖⟨s1⟩ be such that ℓ(w)=n′. Then the reduced writing of w begins and ends with s2. Thus n′=2n′′+1 for some n′′∈Z≥0. Then it is easy to see that H=R1,n′′, which finishes the proof.
∎
We prove in Appendix B that there exists size 2 Kac-Moody matrices such that for each subgroup of Wv, there exists τ∈TC such that W(τ) is isomorphic to this subgroup.
Theorem 5.35**.**
Assume that the matrix of the root generating system S is of size 2. Let τ∈TC. Then Iτ is irreducible if and only if τ∈UC and Wτ=W(τ).
Proof.
If Wv is finite, this is a particular case of Kato’s theorem ([Kat81, Theorem 2.2]). Suppose that Wv is infinite. By Lemma 4.5 and Proposition 4.17, if Iτ is irreducible, then τ∈UC and Wτ=W(τ). Reciprocally, suppose τ∈UC and Wτ=W(τ). Then by Lemma 5.34, either W(τ)={1}, or W(τ)=⟨r⟩ for some r∈R or W(τ)=⟨r1,r2⟩ for some r1,r2∈R and (W(τ),{r1,r2}) is isomorphic to the infinite dihedral group. In the first two cases, Iτ is irreducible by Corollary 4.10 or Corollary 4.12. Suppose W(τ)=⟨r1,r2⟩. Then by Remark 2.5 (1), (W(τ),Sτ) is isomorphic to the infinite dihedral group and Iτ is irreducible by Lemma 5.33.
∎
Comments on the proofs of Kato’s criterion
There are several proofs of Kato’s criterion in the literature. In [Ree92], Reeder proves this criterion (see Corollary 8.7). In his proof, he uses the R-group Rτ={w∈Wτ∣w(Φ(τ)∨∩Φ+∨)=Φ(τ)∨∩Φ+∨}. This group is reduced to {1} when Wτ=W(τ). His proof uses Harish-Chandra completeness theorem, which - under certain hypothesis on τ - majorizes the dimension of the space of intertwining operators of Iτ. Unfortunately, it seems that there exists up to now no equivalent of Harish-Chandra completeness theorem available in the Kac-Moody framework.
In [Rog85], Rogawski gives a proof of a particular case of Kato’s criterion (see Corollary 3.2). However, it seems that its proof uses the fact that every element x of Iτ(τ) can be written as a sum x=∑j∈Jxj where J is a finite set and for all j∈J, ∣maxsupp(xj)∣=1 and xj∈Iτ(τ). I do not know how to prove such a property.
In [Ree97], Reeder gives two proofs of Kato’s criterion or of weak versions of it (see Corollary 4.6 and Theorem 14.7). Our proof of Theorem 5.35 is strongly inspired by the proof of [Ree97, Theorem 14.7].
6 Towards principal series representations of G
Suppose that HC is associated with a reductive group G. Then for every open compact subgroup K′ of G and every smooth representation V, VK′ is naturally equipped with the structure of an HK′,C module, where HK′,C is the Hecke algebra associated with K′ with coefficients in C. Moreover, the assignment V↦VK′ induces a bijection between the following sets:
•
equivalence classes of irreducible smooth representations V of G
such that VK′={0},
•
isomorphism classes of simple HK′,C-modules (see [BH06, 4.3] for example).
In the Kac-Moody case, we do not know how to define “smooth” for a representation of G. We know that for any topological group structure on G, KI is not compact open (see [AH19, Theorem 3.1]). The hope is that there should be a link between representations of G satisfying some regularity conditions and representations of HC or BLHC.
Let ϵ∈{+,∅}. In this section, we associate to every τ∈TFϵ a representation I(τϵ)ϵ of Gϵ. The principal series representation associated with τ should correspond to the space of elements of I(τϵ)ϵ which satisfy some regularity condition. We define an action of HF on some subspace Iτϵ,Gϵ of \big{(}\widehat{I(\tau^{\epsilon})^{\epsilon}}\big{)}^{K_{I}}. We then prove that Iτϵ,Gϵ is isomorphic (as an HF-module) to the representation Iτϵ∣G++ introduced in section 2. We then study the extendability of I(τϵ)ϵ and Iτϵ,Gϵ to representations of G and BLHF.
For simplicity, we only introduce split Kac-Moody groups, although our results also apply to almost-split Kac-Moody groups over local fields, see [Rou17].
In subsection 6.1, we introduce split Kac-Moody groups over local fields, masures, their Iwahori-Hecke algebras and principal series representations.
In subsection 6.2 we prove that the actions of HF on Iτ,G+ and Iτ,G are well-defined and prove that Iτ,G+ is isomorphic to Iτ.
In subsection 6.3 we study under which condition Iτ,G+ and Iτ+ extend to representations of G and of BLHF, for τ∈TF+. We give examples of τ∈TF (for particular choices of G) such that Iτ,G+ and Iτ+ do not extend to representations of G and of BLHF.
6.1 Kac-Moody groups over local fields and masures
6.1.1 Split Kac-Moody groups over local fields and masure
Let GS be the group functor associated in [Tit87] with the generating root datum S, see also [Rém02, 8]. Let (K,ω) be a non-Archimedean local field where ω:K↠Z∪{+∞} is a valuation. Let G=GS(K) be the split Kac-Moody group over K associated with S. The group G is generated by the following subgroups:
•
the fundamental torus T=T(K), where T=Spec(Z[X]),
•
the root subgroups Uα=Uα(K), each isomorphic to (K,+) by an isomorphism xα.
In [GR08] and [Rou16] (see also [Rou17]) the authors associate a masure I on which the group G acts. We recall briefly the construction of this masure. Let N be the normalizer of T in G. Then they define an action of N on A, see [GR08, 3.1]. For n∈N denote by ν(n):A→A the affine automorphism of A induced by the action of N on A. Then ν(t) is a translation, for every t∈T and ν(N)=Wv⋉Y. For every w∈Wv⋉Y, we choose nw∈N such that ν(nw)=w.
The masure I is defined to be the set G×A/∼, for some equivalence relation ∼ (see [GR08, Definition 3.15]). Then G acts on I by g.[h,x]=[gh,x] for g,h∈G and x∈A, where [h,x] denotes the class of (h,x) for ∼. The map x↦[1,x] is an embedding of A in I and we identify A with its image. Then N is the stabilizer of A in G and it acts on A by ν. If α∈Φ and a∈K, then xα(a)∈Uα fixes the half-apartment Dα,ω(a)={y∈A∣α(y)+ω(a)≥0} and for all y∈A∖Dα,ω(a), xα(a).y∈/A.
An apartment is a set of the form g.A, for g∈G. We have I=⋃g∈Gg.A. Then I satisfies axioms (MA i), (MA ii) and (MA iii) of [Héb18, Appendix A] or [Héb20].These axioms describe the following properties.
(MA i)
Let A be an apartment of I. Then A=g.A, for some g∈G. We can then transport every notion which is preserved by ν(N)=Wv⋉Y to A (in particular, we can define a segment, a hyperplane, … in A).
(MA ii)
This axiom asserts that if A and A′ are two apartments such that A∩A′ is “large enough”, then A∩A′ is a finite intersection of half-apartments (i.e of sets of the form h.Dα,k, for α∈Φ, k∈Z, if A=h.A) and there exists g∈G such that A′=g.A and g fixes A∩A′. When G is an affine Kac-Moody group, this is true for every pair of apartments A,A′, without any assumption on A∩A′.
(MA iii)
This axiom asserts that for some pairs of filters on I, there exists an apartment containing them. This axiom is the building theoretic translation of some decompositions of G (e.g Iwasawa decomposition).
A filter on a set E is a nonempty set V of nonempty subsets of E such that, for all subsets S, S′ of E, if S, S′∈V then S∩S′∈V and, if S′⊂S, with S′∈V then S∈V.
Let E,E′ be sets, E′⊂E and V be a filter on E′. One says that a set Ω⊂E contains V if there exists Ω′∈V such that Ω′⊂Ω (or equivalently if Ω∈V if E=E′). Let f:E→E. One says that f fixes V if there exists Ω′∈V such that f fixes Ω′.
6.1.2 Cartan decomposition, Tits preorder on I and sub-semi-group G+
Let K=GS(O), where O is the ring of integers of K. Then K is the fixator of 0∈A⊂I in G. For λ∈Y, choose nλ∈T such that nλ induces the translation on A by the vector λ.
Unless G is reductive, the Cartan decomposition of G does not hold: ⨆λ∈Y++KnλK⊊G, where Y++=Cfv∩Y. For x,y∈A, one writes x≤y if y−x∈T (where T is the Tits cone). If x,y∈I, one writes x≤y if there exists g∈G such that g.x,g.y∈A and g.x≤g.y. This defines a G-invariant preorder on I by [Rou11, Théorème 5.9]. We call it the Tits preorder on I. Let G+={g∈G∣g.0≥0} (see [BKP16, 1.2.2] for a more explicit description of G+, when G is affine). Then G+ is a sub-semi-group of G (as ≤ is transitive) and we have G+=⨆λ∈Y++KnλK: the Cartan decomposition holds on G+. Note that when G is reductive, G=G+ since T=A. A type [math] vertex is a point of the form g.0 for some g∈G. We set I0=G.0. Then the map g↦g.0 induces a bijection between G/K and I0.
Let x,y∈I be such that x≤y. Let A1,A2 be apartments containing x and y. Let [x,y]A1 (resp. [x,y]A2) be the segment in A1 (resp. A2) joining x to y. Then by [Rou11, Proposition 5.4], [x,y]A1=[x,y]A2 and there exists g∈G such that g.A1=A2 and g fixes [x,y]A1. We thus simply write [x,y]. Let h∈G be such that h.A1=A. Then as ≤ is G-invariant, h.x≤h.y and thus h.y−h.x∈T. Replacing h by nh for some n∈N, we may assume that h.y−h.x∈Cfv. One sets dY++(x,y)=h.y−h.x∈Cfv. We thus get a G-invariant vectorial distancedY++:I×≤I→Cfv, where I×≤I is the set of pairs x,y∈I such that x≤y. It is denoted dv in [GR14]. When moreover x,y∈I0, then dY++(x,y)∈Y++. This distance parametrizes the K double cosets: if g∈G+ and λ∈Y+, then g∈KnλK if and only if dY++(0,g.0)=λ.
6.1.3 Local faces and chambers
Recall the definition of vectorial faces from subsection 2.1. A local face of A (we omit the adjective “local” in the sequel) is a filter on A associated with a point x and with a vectorial face Fv. The point x is the vertex of F and Fv is its direction. More precisely the chamber F=Fx,Fv associated to x and Fv is the filter on A consisting of the sets Ω∩(x+Fv), where Ω is a neighborhood of x in A. We call Fpositive (resp. negative) if Fv is. When Fv is a vectorial chamber (resp. a vectorial panel, that is when Fv is a codimension one face of a vectorial chamber), we call F a chamber (resp. panel). As the sets of local faces, of positive faces, of local chambers, … are stable under the action of Wv⋉Y, we extend these notions to I: a local face F (resp. positive, negative) is a filter on I generated by g.F for some local face (resp. positive, negative) F0 and some g∈G. Its vertex is vert(F)=g.λ, where λ is the vertex of F0. This does not depend on the choices of g and F0 such that F=g.F0.
We denote by C0+ the local positive chamber associated with [math] and Cfv. A type [math] positive local chamber is a filter of the form g.C0+ for some g∈G. Equivalently, this is a positive chamber based at a type [math] vertex. We denote by C0+ the set of positive type [math] chambers of I.
We say that a chamber C of Adominates a panel P of A if C and P are based at the same vertex and if Pv⊂Cv, where Cv and Pv are the vectorial faces defining C and P.
We say that a chamber C of Idominates a panel P of I if there exists g∈G such that g.C,g.P⊂A and such that g.C dominates g.P. Then every type [math] local panel is dominated by exactly q+1 chambers, where q is the cardinal of the residue cardinal of K. In particular, I has finite thickness: every panel is dominated by finitely many chambers. This property is crucial in order to apply the finiteness results of [GR14] and [BPGR16].
Let W+=Wv⋉Y+. Then W+ is a sub-semi-group of Wv⋉Y.If C,C′∈C0+, we write C≤C′ if vert(C)≤vert(C′). Let C0+×≤C0+={(C,C′)∈C0+∣C≤C′}. Let (C,C′)∈C0+×≤C0+. Then by [Rou11, Proposition 5.5] or [Héb20, Proposition 5.17], there exists an apartment A=g.A containing C and C′. Then g.C⊂A and thus there exists w∈Wv⋉Y such that g.C=w.C0+. Maybe replacing g by nw−1g, we may assume that g.C=C0+. Then g.C′≥C and thus there exists v∈W+ such that g.C′=v.C0+. One sets dW+(C,C′)=v. By [Rou11, Proposition 5.5] or [Héb18, Theorem 4.4.17], v does not depend on the choice of A. This defines a G-invariant “W-distance” dW+:C0+×≤C0+→W+.
Let C,C′ be two chambers of the same sign and based at the same vertex. We say that C and C′ are adjacent if they dominate a common panel. A gallery Γ between C and C′ is a finite sequence Γ=(C1,…,Cn) such that n∈Z≥0, C1=C, Cn=C′ and Ci,Ci+1 are adjacent for every i∈[[1,n−1]]. The gallery Γ is called minimal if n is the minimum length among all the lengths of the galleries joining C to C′. If the vertex of C and C′ is in I0, then the length of a minimal gallery between C and C′ is ℓ(w), where w=dW+(C,C′)∈Wv.
6.1.4 Iwahori subgroup and Iwahori-Hecke algebras associated with G
Let KI be the fixator of C0+ in G. This is the Iwahori subgroup of G (see also [BKP16, (3.8)] for a more explicit description in the affine case). The map g↦g.C0+ induces a bijection between G/KI and C0+. For w∈Wv⋉Y, we choose nw∈N such that nw induces w on A. Then we have the Bruhat decomposition (see [BPGR16, 1.11]):
[TABLE]
In terms of masures, this decomposition has the following interpretation: for every C,C′∈C0+ such that vert(C)≤vert(C′), there exists an apartment containing C and C′. Note that dW+ parametrizes the KI double cosets: if g∈G+, then g∈KInwKI if and only if w=dW+(C0+,g.C0+).
Let R be a ring. For w∈W+, we denote by Tw the indicator function of KInwKI. Then the Iwahori-Hecke algebra of G with coefficients in R is the free R-module HG,R with basis (Tw)w∈W+ equipped with the product ∗ such that Tv∗Tw=∑u∈W+av,wu, with av,wu=∣(KInvKI∩nuKInw−1KI)/KI∣ for u,v,w∈W+. The fact that such an algebra is well-defined is [BPGR16, Theorem 2.4] (the definition of the Tw in [BPGR16, 2] is slightly different but we obtain the same algebra).
Let F be a field as in Definition 2.6. Let q be the residue cardinal of K. As in [BPGR16, 5.7], we assume that there exists δ1/2∈TF such that δ1/2(αs∨)=q for every s∈S. If F=C, such a map exists by Lemma 5.2. For w∈Wv⊂W+, set Hw=q−21ℓ(w)Tw∈HG,F. For λ∈Y++, set Zλ=δ−21(λ)Tλ∈HG,F. By [BPGR16, 5], we have the following proposition.
Proposition 6.1**.**
Let ι:{Zλ∣λ∈Y++}∪{Tw∣w∈Wv}⊂HG,F→BLHF be defined by ι(Zλ)=Zλ and ι(Tw)=Tw for λ∈Y++ and w∈Wv. Then ι extends uniquely to an algebra morphism ι:HG,F→BLHF. Moreover, ι(HG,F)=HF and ι is injective.
6.1.5 Iwasawa decomposition and retractions centered at ϵ∞
Let ϵ∈{−,+} and Uϵ=⟨Uα∣α∈Φϵ⟩.
We denote by ϵ∞ the germ of ϵCfv at infinity: this is the filter on I composed with the sets containing a translate of ϵCfv. Then Uϵ fixes ϵ∞, which means that for every u∈Uϵ, there exists x∈A such that u fixes x+ϵCfv.
Let C be a chamber of I. Then there exists an apartment containing C and ϵ∞. This means that there exists Ω∈C, y∈A and an apartment containing Ω∪y+ϵCfv. In particular for every x∈I, there exists an apartment containing x and ϵ∞. When C∈C0+ and x∈I0, these results correspond to the following decompositions:
[TABLE]
Let x∈I. Let A be an apartment containing x and ϵ∞. Then by (MA ii), there exists h∈G such that h.A=A and h fixes A∩A. We set ρϵ∞(x)=h.x. This is well-defined, independently of the choices of A and h. Then ρϵ∞(x) is the unique element of Uϵ.x∩A. Then ρϵ∞:I→A is a retraction called the retraction onto A centered at ϵ∞.
6.1.6 Towards principal series representations of G+ and G
Let B=TU+ be the positive standard Borel subgroup of G. In term of masures, B is stabilizer of +∞ in G (by [Héb18, Lemma 3.4.1]), which means that B is the set of g∈G such that there exists a,a′∈A such that g.(a+Cfv)=(a′+Cfv) and such that there exists a translation f of A such that g.x=f(x) for every x∈a+Cfv. Let B+=G+∩B and T+=T∩G+.
Lemma 6.2**.**
We have T+⊂B+⊂T+U+.
Proof.
Let g∈B+. Write g=tu with t∈T and u∈U+. Then as t normalizes U+ (by [Rém02, 8.3.3]), there exists u′∈U+ such that g=u′t. Then ρ+∞(g.0)=t.0. Moreover by [Rou11, Corollaire 2.8], ρ+∞(g.0)≥0 and thus t.0≥0, which proves the lemma.
∎
Remark 6.3**.**
Unless G is reductive, T+U+⊋B+. Indeed, let us prove that U+ is not contained in G+. Let s∈S. Take a∈K such that ω(a)=−2. Set u=xαs(a)∈U+. Let A′=u.A. Then A′∩A is the half-apartment Dαs,−2={x∈A∣αs(x)−2≥0}. Let DA′ be the half-apartment of A′ opposite to Dαs,−2. By [Rou11, Proposition 2.9 2)], A~:=D−αs,2∪DA′ is an apartment of I. As 0∈/Dαs,−2, u.0∈DA′. Then A~∋0,u.0. Let g∈G be such that g.A~=A and such that g fixes D−αs,2. Let r:A→A be defined by r(x)=s.x+2αs∨ for x∈A. Then by [Héb16, Lemma 3.4], g.u.0=r.0=2αs∨. By the lemma below, g.u.0 and 0=g.0 are not comparable for ≤. We deduce that u.0 and [math] are not comparable for ≤, which proves that u∈/G+.
Recall the definition of indecomposable Kac-Moody matrices from [Kac94, §1.1].
Lemma 6.4**.**
Assume that G is associated with an indecomposable Kac-Moody matrix A which is not a Cartan matrix. Then for all s∈S, αs∨∈A∖(T∪−T).
Proof.
We first assume that A is of affine type (see [Kac94, Theorem 4.3] for the definition). Then there exists δ∈⨁s∈SR+αs such that T=δ−1(R+∗)⊔⋂s∈Sαs−1({0}) (see [Héb18, Corollary 2.3.8]). By [Kac94, Proposition 5.2 a) and Theorem 5.6b)], w.δ=δ for every w∈Wv. Let x∈A be such that δ(x)=0 and x≥0. Then there exists w∈Wv such that w.x∈Cfv. Then δ(x)=δ(w.x)=0. Thus w.x∈⋂s′∈Sαs′−1({0}). As αs(αs∨)=2, αs∨∈/T. As s.αs∨=−αs∨ we have αs∨∈A∖(T∪−T).
We now assume that A is of indefinite type. Then by [Kac94, Proposition 5.8 c)] and [GR14, 2.9 Lemma], αs∨∈A∖T. As s.αs∨=−αs∨ we deduce that αs∨∈A∖(T∪−T).
∎
Let TF+=HomMon(Y,F∗). Let τ∈TF (resp. τ∈TF+). We regard τ as a homomomorphism T→F∗ (resp. as a monoid morphism T+→F) by setting τ(t)=τ(t.0) for every t∈T (resp. t∈T+). We extend τ to a homomorphism B→F∗ (resp. to a monoid morphism B+→F) by setting τ(tu)=τ(t), for every t∈T and u∈U+ (resp τ(tu)=τ(t) for every t∈T+ and u∈U+ such that tu∈B+). By [Rou06, Proposition 1.5 (DR5)] (note that there is a misprint in this proposition, Z is in fact T), T∩U+={1}. This implies that τ:B→F∗ is well-defined. The fact that τ is a homomorphism follows from the fact that t normalizes U for every t∈T (by [Rém02, 8.3.3]).
Lemma 6.5**.**
Let g∈G and v∈Wv. Then g∈BnvKI if and only if ρ+∞(g.C0+)∈v.C0++Y. In particular G=⨆v∈WvBnvKI.
2. 2.
We have G+=⨆v∈WvB+nvKI.
Proof.
There exists v∈Wv and λ∈Y such that ρ+∞(g.C0+)=v.C0++λ. Thus there exists t∈T and v∈Wv such that ρ+∞(g.C0+)=tnv.C0+. Hence g.C0+=utnv.C0+ and g∈utnvKI⊂BnvKI, for some u∈U+. Conversely if g∈BnvKI, then ρ+∞(g.C0+)∈v.C0++Y, which proves (1).
As G+ is a sub-semi-group of G, ⨆v∈WvB+nvKI⊂G+. Let g∈G+. By (1), we can write g=bnvk, with b∈B, v∈Wv and k∈KI. Then b.0=g.0≥0 and hence b∈B+, which proves (2).
∎
6.2 Action of HF on Iτ,G+ and Iτ,G
6.2.1 Well-definedness of the action
Let ϵ∈{+,∅}. For τ∈TFϵ , we define I(τ)ϵ to be the set of functions f from Gϵ to F such that for all b∈Bϵ and g∈Gϵ, one has f(bg)=(δ1/2τ)(b)f(g). The group G (resp. semi-group G+) acts on I(τ) (resp. I(τ)+) by right translation. When G is reductive, the principal series representation associated with τ is the subset I(τ) of functions of I(τ) which are locally constant. Then Iτ=I(τ)KI. When G is not reductive, we do not know which condition could replace “locally constant”. The hope is that the principal series representation of G associated with τ should be the set of functions of I(τ) satisfying some “regularity condition”.
Let τ∈TFϵ. Let I(τ)finϵ be the set of f∈I(τ)ϵ such that there exists a finite set F⊂Wv such that supp(f)⊂⋃v∈FBnvKI. Let Iτ,Gϵ=(I(τ)finϵ)KI be the set of elements of I(τ)finϵ which are invariant under the action of KI. For v,w∈Wv, define fw∈Iτ,Gϵ by fw(nv)=1 if and only v=w. Then by Lemma 6.5, (fw)w∈Wv is a basis of Iτ,Gϵ.
Fix τ∈TFϵ. Following [BH06, 4.2.2], we would like to define an action of HF on Iτ,Gϵ by
[TABLE]
However, we need to prove that such an action is well-defined. The main difficulties are to prove that if ϕ∈HF, f∈Iτ,Gϵ and h∈G, then:
[TABLE]
only involves finitely many terms and that ϕ.f also has finite support. The aim of this section is to prove these results. For this, we use the masure I, finiteness results of [GR08] and [GR14] and the theory of Hecke paths introduced by Kapovich and Millson in [KM08]. In [GR08] and [GR14], the authors mainly use ρ−∞. As we use ρ+∞, we adapt their results to our framework.
Let λ∈Y++. A λ-path of A is a continuous piecewise linear map π:[0,1]→A such that for every t∈]0,1[, π−′(t),π+′(t)∈Wv.λ (where π−′(t) and π+′(t) denote the left-hand and right-hand derivatives of π at t) and π+′(0),π−′(1)∈Wv.λ. A Hecke path of A of shape λ with respect to Cfv is a λ-path satisfying [GR14, 1.8 Definition], with βi satisfying βi(Cfv)<0. Hecke paths are the images by retractions of preordered segments in I. More precisely:
Let x,y∈I be such that x≤y and λ=dY++(x,y)∈Cfv. Let γ:[0,1]→A be an affine parametrization of the segment x,y. Then ρ+∞∘γ is a Hecke path of shape λ with respect to Cfv from ρ+∞(x) to ρ+∞(y).
By definition of Hecke paths and by [Kum02, Lemma 1.3.13], we have the following lemma.
Lemma 6.7**.**
Let λ∈Cfv and π:[0,1]→A be a Hecke path of shape λ with respect to Cfv. For t∈[0,1] where it makes sense, we write π+′(t)=w+′(t).λ and π−′(t)=w−′(t).λ, where w−′(t),w+′(t)∈Wv have minimal lengths for these properties. Then for all t,t′∈[0,1] such that 0≤t<t′≤1, we have w−′(t)≤w+′(t)≤w−′(t′)≤w+′(t′), where we delete the derivatives that do not make sense (for t=0 or t′=1).
Let y∈I0 and C be a type [math] positive local chamber of A. Then
[TABLE]
is finite.
Proof.
Let A be an apartment containing y and +∞. Then by (MA ii), there exists g∈G such that g.A=A and g fixes A∩A. Maybe working with ρ+∞,A=g−1.ρ+∞ instead of ρ+∞, we can thus assume that y is in A. Let C′∈C0+ be such that vert(C′)=y and ρ+∞(C′)=C. Let A′ be an apartment containing C′ and +∞. Then A′ contains y and by (MA ii), A′ contains y+C0+. Let h∈G be such that h fixes A′∩A and h.A′=A. Then ρ+∞(C′)=h.C′. Therefore
[TABLE]
Using [AH19, Lemma 5.5] we deduce that {C′∈C0+∣vert(C′)=y and ρ+∞(C′)=C} is finite.
∎
Let x∈I0 and C∈C0+ be such that C≥x (i.e vert(C)≥x). By [Héb20, Proposition 5.17], there exists an apartment A containing x and C. Then there exists g∈G such that g.A=A, g.x=0 and g.C0+∈Y+C0+. Then g.vert(C)≥g.0 and thus g.vert(C)∈Y+. One sets dY+(0,C)=g.vert(C). This does not depend on the choices we made by [Héb18, Theorem 4.4.17]. This defines a G-invariant “distance” dY+:I0×≤C0+→Y+.
Lemma 6.10**.**
Let v∈Wv, λ∈Y+. Then
[TABLE]
is finite.
Suppose moreover that λ∈Y++ and that v=1. Then E={λ+C0+}.
Proof.
In order to prove that E is finite, we begin by proving that vert(E):={vert(C)∣C∈E} is finite. To that end, our idea is to study, for each C∈E, the path π~=ρ+∞∘γ~:[0,1]→A, where γ~ is the segment joining [math] to vert(C). We want to prove that π~−′(1) lies in a finite set depending only on v and λ. In order to use the assumption that ρ+∞(C)∈Y+v.C0+, it is convenient to extend slightly the segment γ~ and this is why we consider a segment γ:[0,1]→I such that γ(0)=0 and γ(21)=vert(C).
Let C∈E. Let A be an apartment containing [math] and C. Let g∈G be such that g.A=A, g.0=0 and g.(λ+C0+)=C. Let γ:[0,1]→A be defined by γ(t)=g.2tλ. Then π=ρ+∞∘γ is a Hecke path with respect to +∞ of shape 2λ. Let wλ∈Wv be such that (wλ)−1.λ∈Y++ and such that wλ has minimum length for this property.
Set Cλ=g.(λ+wλ.C0+). Then:
[TABLE]
Take a minimal gallery Γ from C to Cλ. Then Γ has length ℓ(wλ) and ρ+∞(Γ) is a gallery from ρ+∞(C) to ρ+∞(Cλ). Therefore
[TABLE]
Moreover, by definition of E, ρ+∞(C)=ν+v.C0+, for some ν∈Y. Consequently, ρ+∞(Cλ)=ν+vw.C0+. Therefore for ϵ∈]0,21] small enough, \pi\big{(}[\frac{1}{2},\frac{1}{2}+\epsilon]\big{)}\subset\nu+vw.\overline{C^{v}_{f}} and thus π+′(21)=2vw.λ. By Lemma 6.7, π−′(21)=u.λ for some u∈Wv such that ℓ(u)≤ℓ(v)+ℓ(wλ).
Let now γ~:[0,1]→A be defined by γ~(t)=g.tλ for t∈[0,1] and π~=ρ+∞∘γ~. Then by what we proved above, π~−′(0)=u.λ. By [BPGR16, Lemma 1.8] we have
[TABLE]
where λ++ is the unique element of Y++∩Wv.λ. We deduce that
[TABLE]
is finite.
Let ν∈F. Let Eν={C∈E∣ρ+∞(C)=ν+v.C0+}. If C∈Eν, then d^{Y^{++}}\big{(}0,\mathrm{vert}(C)\big{)}=\lambda^{++} and ρ+∞(vert(C))=ν. Using Theorem 6.8 we deduce that {vert(C)∣C∈Eν} is finite. By Lemma 6.9, Eν is finite and thus E=⋃ν∈FEν is finite.
Suppose now that v=1 and that λ∈Y++. Take C∈E. We use the same notation as in the beginning of the proof. Then we have π−′(21)=λ=1.λ and by Lemma 6.7 we deduce that there exists ϵ>0 such that π(t)=2tλ for every t∈[0,21+ϵ]. Moreover γ(0)∈A and thus by [Héb17, Lemma 3.4] we deduce that γ([0,21+ϵ])⊂A. Therefore C⊂A. Thus ρ+∞(C)=C=ν+C0+ for some ν∈Y. Moreover dY+(0,C)=λ+C0+ and thus ν=λ, which proves that E={λ+C0+} and completes the proof of the lemma.
∎
In the next lemma, we use the projection of a chamber on a vertex introduced in [BPGR16, 1.9]. Let x∈A and C be a positive chamber of A such that y:=vert(C)≥x. Let Cv be the positive vectorial chamber of A such that C=Fy,Cv. Take ξ∈Cv. Then there exists a positive vectorial chamber C~v⊂A such that x+C~v⊃conv(x,]y,y+ϵξ]), for ϵ>0 small enough, where conv denotes the convex hull. Then the chamber prx(C)=Fx,C~v is the projection of C on x. Let now x∈I and C be a positive chamber of I such that vert(C)≥x. Then there exists g∈G such that g.x,g.C⊂A. We set \mathrm{pr}_{x}(C)=g^{-1}.\big{(}\mathrm{pr}_{g.x}(g.C)\big{)}. This is the projection of C on x. Then by [Héb18, Theorem 4.4.17], prx(C) does not depend on the choice of g, every apartment containing x and C contains prx(C) and every h∈G fixing x and C fixes prx(C).
Lemma 6.11**.**
Let w∈W+ and v∈Wv. Then:
⋃u∈Wv(nuKInwKI∩BnvKI)/KI* is finite,*
2. 2.
{u∈Wv∣nuKInwKI∩BnvKI=∅}* is finite.*
Proof.
Set F=⋃u∈Wv(nuKInwKI∩BnvKI)/KI. Let u∈Wv and g∈nuKInwKI. Set C=g.C0+. Then dW+(u.C0+,C)=w. Thus there exists h∈G such that h−1.A contains u.C0+,C and such that h.u.C0+=C0+,h.C=w.C0+. Write w=λw (i.e w.x=λ+w.x for every x∈A). Set h′=nw−1h. Then h′−1.A=h−1.A contains 0,C, h′.0=0 and h′.C=w−1.λ+C0+. Thus dY+(0,C)=w−1.λ. Therefore
[TABLE]
By Lemma 6.10, F.C0+ is finite, which proves that F is finite.
Let u∈Wv be such that there exists g∈nuKInwKI∩BnvKI. Let P={pr0(C′)∣C′∈F.C0+}. Let C=g.C0+. Then as dW+(u.C0+,C)=w, there exists h∈G such that h−1.A contains u.C0+,C, h.u.C0+=C0+ and h.C=w.C. Then h.pr0(C)=pr0(w.C0+). Therefore
[TABLE]
Consequently there exists C′∈P such that dW+(u.C0+,C′)=w′. Consequently,
[TABLE]
This proves (2).
∎
Definition/Proposition 6.12**.**
Let ϵ∈{+,∅} and τ∈TFϵ. Let ϕ∈HF and f∈Iτ,Gϵ. Define ϕ.f∈Iτ,G by
[TABLE]
Then . is well-defined and induces an action of HF on Iτ,Gϵ.
Proof.
To prove that ϕ.f is a well-defined element of Iτ,Gϵ, it suffices to prove it for ϕ=Tw and f=fv, for v∈Wv and w∈W+. Let g∈G+ and h∈Gϵ. Suppose that Tw(g)fv(hg)=0. Then g∈KInwKI∩h−1BnvKI. Write h=bnuk, with b∈Bϵ and k∈KI. Then KInwKI∩k−1nu−1BnvKI=∅. Therefore
is well-defined. Thus Tw.fv is a well-defined map Gϵ→F. The fact that it is right KI-invariant and that Tw.f(bh)=δ1/2τ(b)Tw.f(h), for B∈Bϵ are clear.
Let u∈Wv. Suppose that Tw.fv(nu)=0. Then by (5), KInwKI∩nu−1BnvKI=∅. By Lemma 6.11 we deduce that {u∈Wv∣Tw.fv(nu)=0} is finite, which proves that Tw.fv is an element of Iτ,Gϵ.
The fact that (ϕ∗ϕ′).f=ϕ.(ϕ′.f) for every f∈Iτ,Gϵ, ϕ,ϕ′∈HF is an easy consequence of the fact that ϕ∗ϕ′(h)=∑g∈G+/KIϕ(g)ϕ′(g−1h) for every h∈G+/KI.
∎
6.2.2 Isomorphism between Iτϵ and Iτ,Gϵ
Let τ:Y+→F be a monoid morphism. Then τ induces an algebra morphism τ:F[Y+]→F and thus this defines a representation Iτ+=IndF[Y+]HF(τ)=HF⊗F[Y+]F.
Let ϵ∈{+,∅}. The aim of this section is to prove that if τ∈(TF)ϵ then the map Iτϵ→Iτ,Gϵ defined by h.1⊗τ1↦h.f1, for h∈HF is well-defined and is an isomorphism of HF-modules (see Proposition 6.17). To that end, we prove that Zλ.f1=τ(λ)f1 for λ∈Y+. For this we begin by proving that if λ∈Y++, then Zλ.f1=τ(λ)f1. In the reductive case, this is sufficient to deduce the result for any λ∈Y=Y+, since Zλ is invertible for λ∈Y++. In the Kac-Moody case however, Zλ is not necessarily invertible for λ∈Y++. We thus prove that if f∈Iτ,Gϵ is such that Zλ.f=0 for λ∈Y++ sufficiently dominant, then f=0.
Lemma 6.13**.**
Let w∈Wv. Then Tw.f1=fw−1.
Proof.
Let v∈Wv.Then Tw.f1(nv)=∑g∈G+/KITw(g)f1(nvg). Suppose that Tw.f1(nv)=0. Then there exists g∈KInwKI∩nv−1BKI and thus nvKInwKI∩BKI=∅.
Let h∈nvKInwKI∩BKI and C=h.C0+. Then dW+(v.C0+,C)=w and ρ+∞(C)∈Y+C0+. Therefore vert(C)=0 and hence ρ+∞(C)=C0+. By formula (4) of the proof of Lemma 6.9, we have C=C0+. Consequently C=C0+, v=w−1, supp(Tw.f1)⊂Bnw−1KI and Tw.f(nw−1)=1. Therefore Tw.f1=fw−1.
∎
Lemma 6.14**.**
Let w∈Wv and λ∈Y∩Cfv. Then:
supp(Tλ.fw)⊂⋃v≤wBnvKI.**
2. 2.
Tλ.fw(nw)=0.
Proof.
Let v∈Wv. Suppose that Tλ.fw(nv)=0. Then X:=nvKInλKI∩BnwKI is non-empty. Let g∈X. Let γ:[0,1]→I be defined by γ(t)=g.t.λ for t∈[0,1]. Let π=ρ+∞∘γ. Then π is a Hecke path of shape λ from [math] to \rho_{+\infty}\big{(}\mathrm{vert}(C)\big{)}. For t∈[0,1] where it makes sense, write π−′(t)=w−(t).λ, π+′(t)=w+′(t).λ, where w−′(t) and w+′(t) have minimum lengths for these properties. By the proof of Lemma 6.10, w−′(1)≤w (we have wλ=1 in this case). Using Lemma 6.7 we deduce that w+′(0)≤w. Let Cπ(0+) (resp. Cγ(0+)) be the local chamber based at [math] and containing π(t) (resp. γ(t)) for t∈[0,1] near [math]. Then
[TABLE]
Let us prove that Cγ(0+)=v.C0+. Let A be an apartment containing v.C0+ and C. Let h∈G be such that h.A=A and such that h fixes v.C0+. Then
[TABLE]
As A contains v.C0+,C and h−1.(λ+C0+), we deduce that h−1.(λ+C0+)=C. In particular, h−1.λ=g.λ and thus by [Rou11, Proposition 5.4], γ(t)=h−1.t.λ for all t∈[0,1]. Let Ω′ be a neighborhood of [math] in A such that h pointwise fixes Ω=Ω′∩v.Cfv. Then for t∈[0,1] small enough, γ(t)∈Ω and thus Cγ(0+)=v.C0+. Consequently, γ(t)∈A for t∈[0,1] small enough, thus Cγ(0+)⊂A, thus Cγ(0+)=Cπ(0+)=v.C0+ and hence v=w+′(0)≤w. Therefore:
[TABLE]
Suppose now that v=w. Then with the same notation as above, one has w+′(0)=w. Therefore w≤w−′(t)≤w and w≤w+′(t)≤w for every t∈[0,1] and hence π is the line segment from [math] to w.λ. Therefore if g∈nwKInλKI∩BnwKI, then ρ+∞(g.C0+)=w.(λ+C0+). Consequently
[TABLE]
and nw.λ∈T. Thus
[TABLE]
Moreover nwnλ∈nwKInλKI∩BnwKI, which proves that Tλ.fw(nw)=0.
∎
Lemma 6.15**.**
Let f∈Iτ,Gϵ. Suppose that for some μ∈Y∩Cfv, Tμ.f=0. Then f=0.
Proof.
Write f=∑w∈Wvawfw, where (aw)∈FWv has finite support. Suppose that f=0. Let w\in\mathrm{supp}\big{(}(a_{v})\big{)} be maximal for the Bruhat order. Then by Lemma 6.14, Tμ.f(nw)=awTμ.fw(nw)=0. We reach a contradiction and thus f=0.
∎
Lemma 6.16**.**
Let λ∈Y+. Then Zλ.f1=τ(λ).f1.
Proof.
First assume that λ∈Y++. Then Zλ=δ−1/2(λ)Tλ, by [BPGR16, 5.7 and Theorem 5.5]. By Lemma 6.14, supp(Tλ.f1)=BKI and thus Tλ.f1∈Ff1.
We have nλKI∈KInλKI∩BKI. Let g∈KInλKI∩BKI. Let C=g.C0+. Then ρ+∞(C)∈Y+C0+ and dY+(0,C)=λ. Thus by Lemma 6.10, C=λ+C0+. Hence g∈nλKI and KInλKI∩BKI=nλKI.
Therefore Tλ.f1(1)=f1(λ)=δ1/2τ(λ). Hence Tλ.f1=δ1/2τ(λ)f1 and Zλ.f1=τ(λ)f1.
Let now λ∈Y+. Then by [BPGR16, Theorem 5.5] and the fact that Zλ=δ−1/2(λ)Xλ, one has Tμ.Zλ.f1=δ−1/2(λ)Tλ+μ.f1=τ(λ+μ)δ1/2(μ)f1=Tμ.(τ(λ).f1) for μ∈Y++ sufficiently dominant. Thus by Lemma 6.15, Zλ.f1=τ(λ).f1, which proves the lemma.
∎
Proposition 6.17**.**
Let ϵ∈{+,∅}. Let τ∈TFϵ. Then the map ϕ:Iτϵ→Iτ,Gϵ defined by ϕ(h.1⊗τ1)↦h.f1 for h∈HF is well-defined and is an isomorphism of HF-modules.
Proof.
By Lemma 3.5 and Lemma 6.16, ϕ is well-defined. Let x∈Iτϵ be such that ϕ(x)=0. Write x=∑v∈WvavTv⊗τ1, with (av)∈FWv. Then ϕ(x)=∑v∈WvavTv.f1. Suppose that x=0. Let w∈Wv be such that aw=0 and such that w is maximal for this property (for the Bruhat order). Then by Lemma 6.14 and Lemma 6.13, ϕ(x)(nw−1)=awTw.f1(nw−1)=0: a contradiction. Therefore x=0 and ϕ is injective. By Lemma 6.13 and Lemma 6.5, (Tw.f1)w∈Wv is a basis of Iτ,Gϵ. Consequently ϕ is surjective, which proves the proposition.
∎
6.3 Extendability of representations of G+ and HF
In this subsection, we study the extendability of Iτ+,G+ (resp. Iτ++) to a representation of G (resp. BLHF), for τ∈TF+. We obtain a criterion depending on the extendability of τ+ to an element of TF (see Proposition 6.28).
6.3.1 Extendability of elements of TF+
Recall that if τ:Y+→F is a monoid morphism Iτ+=IndF[Y+]HF(τ)=HF⊗F[Y+]F is a representation of HF. If Iτ+ is not the restriction of a representation of BLHF we call Iτ+ a non-extendable principal series representation of HF. In this section we study the existence of non-extendable principal series representations of HF. We prove that in some cases - for example when HF is associated with an affine root generating system or to a size 2 Kac-Moody matrix - every principal series representations of HF can be extended to a representation of BLHF (see Lemma 6.20). We prove that there exist Kac-Moody matrices such that HF admits non-extendable principal series representations (see Lemma 6.24).
Let resY+:HomMon(Y,F)→HomMon(Y+,F) be defined by resY+(τ)=τ∣Y+ for all τ∈HomMon(Y,F).
Lemma 6.18**.**
The map resY+:HomGr(Y,F∗)=HomMon(Y,F∗)→HomMon(Y+,F∗) is a bijection.
Proof.
Let τ∈HomMon(Y,F∗). Let ν∈Cfv. Let λ∈Y and n∈Z≥0 be such that λ+nν∈T. Then τ(λ)=τ(nν)τ(λ+nν) and thus res∣Y+ is injective.
Let τ+∈HomMon(Y+,F∗). Let λ∈Y. Write λ=λ+−λ−, with λ+,λ−∈Y+. Set τ(λ)=τ+(λ−)τ+(λ+), which does not depend on the choices of λ− and λ+. Then τ∈HomMon(Y,F∗) is well-defined and res∣Y+(τ)=τ+, which finishes the proof.
∎
Lemma 6.19**.**
Let τ∈HomMon(Y+,F) and χ∈TF.
Suppose HomHF−mod(Iτ+,Iχ)={0}. Then there exists w∈Wv such that τ=w.χ∣Y+.
2. 2.
Suppose HomHF−mod(Iχ,Iτ+)={0}. Then there exists w∈Wv such that τ=w.χ∣Y+.
Proof.
( 1) Let ϕ∈HomHF−mod(Iτ+,Iχ)∖{0}. Let x=ϕ(1⊗τ+1). Then Zλ.x=τ(λ).x for all λ∈Y+. By Lemma 2.8, Zλ.x=0 for all λ∈Y+. Thus τ(λ)=0 for all λ∈Y+.
Let μ∈Y. Let ν∈Cfv∩Y be such that μ+ν∈Y+. Then Zμ.x=τ(ν)τ(μ+ν).x. Therefore there exists χ′∈TF such that x∈Iχ(χ′). By Lemma 3.2, χ′∈Wv.χ. Moreover, χ∣Y+′=τ, which proves (1).
(2) Let ϕ∈HomHF−mod(Iχ,Iτ+)∖{0}. Let x=ϕ(1⊗χ1). Then Zλ.x=χ(λ).x for all λ∈Y+. By a lemma similar to Lemma 3.2 we deduce that χ∣Y+∈Wv.τ, which proves the lemma.
∎
One has \mathrm{Hom}_{\mathrm{Mon}}\big{(}Y,(\mathcal{F},.)\big{)}=\mathrm{Hom}_{\mathrm{Gr}}(Y,\mathcal{F}^{*})\cup\{0\}. Set Ain=⋂s∈Sker(αs). Let T˚ be the interior of the Tits cone.
Lemma 6.20**.**
Let \tau^{+}\in\mathrm{Hom}_{\mathrm{Mon}}\big{(}Y,(\mathcal{F},.)\big{)}. Assume that there exists λ∈Y+ such that τ+(λ)=0. Then τ+(T˚∩Y)={0}. In particular, if T=T˚∪Ain, then \mathrm{Hom}_{\mathrm{Mon}}\big{(}Y^{+},(\mathcal{F},.)\big{)}=\mathrm{Hom}_{\mathrm{Mon}}(Y,\mathcal{F}^{*})\cup\{0\}.
Proof.
Let μ∈T˚∩Y. Then for n≫0, nμ∈λ+T. Indeed, nμ−λ=n(μ−nλ)∈T for n≫0. Hence τ+(nμ)=(τ+(μ))n=0.
∎
A face Fv⊂T is called spherical if its fixator in Wv is finite.
Remark 6.21**.**
If A is associated to an affine Kac-Moody matrix, then T=T˚∪Ain (see **[Héb18, Corollary 2.3.8]** for example).
2. 2.
If A is associated to a size 2 indefinite Kac-Moody matrix, then T=T˚∪Ain. Indeed, by **[Rém02, Théorème 5.2.3 ]**, T˚ is the union of the spherical vectorial faces. By **[Rou11, 1.3]**, if J⊂S and w∈Wv, the fixator of w.Fv is w.Wv(J).w−1. Therefore the only non-spherical face of T is Ain and hence T=T˚∪Ain.
3. 3.
Let A=(ai,j)i,j∈[[1,3]] be a Kac-Moody matrix such that for all i=j, ai,jaj,i≥4. Then by **[Kum02, Proposition 1.3.21]**, Wv is the free group with 3 generators s1,s2,s3 of order 2. Thus for all J⊂S such that ∣J∣=2, Fv(J) is non-spherical. Hence T⊋T˚∪Ain.
6.3.2 Construction of an element of HomMon(Y+,F)∖HomMon(Y,F)
We now prove that there exist Kac-Moody matrices for which
[TABLE]
Assume that A is associated to an invertible indefinite size 3 Kac-Moody matrix (see [Kac94, Theorem 4.3] for the definition of indefinite). Then one has A=A′⊕Ain, where A′=⨁i∈IRαi∨. Maybe considering A/Ain, we may assume that Ain={0}.
Recall that T is the disjoint union of the positive vectorial faces of A.
Lemma 6.22**.**
Assume that there exists a non-spherical vectorial face Fv={0}. Let x∈T and y∈T∖Fv. Then [x,y]∩Fv⊂{x}.
Proof.
Assume that y∈T˚. Then (x,y]⊂T˚ and thus [x,y]∩Fv⊂{x}.
Assume that y∈/T˚. For a∈T, we denote by Fav the vectorial face of T containing a. If Fxv=Fyv, then [x,y]⊂Fxv. As Fyv=Fv, we deduce that [x,y]∩Fv=∅. We now assume that Fxv=Fyv. As Wv is countable, the number of positive vectorial faces is countable and thus there exist u=u′∈[x,y] such that Fuv=Fu′v. Then the dimension of the vector space spanned by Fuv is at least 2. Thus there exists w∈Wv such that Fuv=w.Fv(J), for some J⊂S such that ∣J∣≤1. Then the fixator of Fuv is w.WJ.w−1, where WJ=⟨J⟩. Then WJ is finite and thus Fuv is spherical. Consequently, (x,y)=(x,u]∪[u,y)⊂T˚ and the lemma follows.
∎
Lemma 6.23**.**
Assume that there exists a non-spherical vectorial face Fv={0}. Then T∖Fv and T∖{0} are convex.
Proof.
Let x,y∈T∖Fv. Suppose that [x,y]∩Fv=∅. By Lemma 6.22, y∈Fv=Fv∪{0} and hence y=0. Let Fxv be the vectorial face containing x. Then [x,y)⊂Fxv and hence [x,y)∩Fv=∅: a contradiction. Thus T∖Fv is convex.
By [GR14, 2.9 Lemma], there exists a basis (δs)s∈S of ⨁s∈SRαs∨ such that δs(T)≥0 for all s∈S. Thus T∖{0} is convex and hence T∖Fv=T∖Fv∩T∖{0} is convex.
∎
Lemma 6.24**.**
Assume that A is associated with an indefinite Kac-Moody matrix of size 3 such that there exists a non-spherical face different from Ain. Assume moreover that (αs∨)s∈S is a basis of A. Then \mathrm{Hom}_{\mathrm{Mon}}\big{(}Y^{+},(\mathcal{F},.)\big{)}\supsetneq\mathrm{Hom}_{\mathrm{Mon}}\big{(}Y^{+},\mathcal{F}^{*}\big{)}\cup\{0\}.
Proof.
Let τ+=\mathds1Fv:T→F. Let us prove that \tau^{+}\in\mathrm{Hom}_{\mathrm{Mon}}\big{(}\mathcal{T},(\mathcal{F},.)\big{)}.
Let x,y∈T. If x,y∈T∖Fv, then x+y=2.21(x+y)∈T∖Fv by Lemma 6.23 and thus τ+(x+y)=0=τ+(x)τ+(y).
Suppose x∈Fv and y∈T∖Fv, then x+y=2.21(x+y)∈T∖Fv by Lemma 6.22. Thus τ+(x+y)=0=τ+(x)τ+(y).
Suppose x={0} and y∈T∖Fv. Let Fyv be the vectorial face containing y. Then (x,y]⊂Fyv and hence x+y∈Fyv: τ+(x+y)=0=τ+(x)τ+(y). Consequently, \tau^{+}\in\mathrm{Hom}_{\mathrm{Mon}}\big{(}\mathcal{T},(\mathcal{F},.)\big{)}.
Maybe considering w.Fv, for some w∈Wv, we can assume Fv⊂Cfv. Then there exist s1,s2,s3∈S such that S={s1,s2,s3} and Fv=αs1−1({0})∩αs2−1({0})∩αs3−1(R+∗). Let λ∈A be such that αs1(λ)=αs2(λ)=0 and αs3(λ)=1. There exists n∈Z≥1 such that λ∈n1Y. Thus \tau^{+}_{|Y^{+}}\in\mathrm{Hom}_{\mathrm{Mon}}\big{(}Y^{+},(\mathcal{F},.)\big{)}\setminus(\mathrm{Hom}_{\mathrm{Mon}}\big{(}Y^{+},\mathcal{F}^{*}\big{)}\cup\{0\}).
∎
6.3.3 Extension of the representations from G+ to G
We now study under which condition the representation Iτ,G+ of G+ extends to a representation of G, for τ∈TF+.
Lemma 6.25**.**
Let g∈G. Then for t∈T such that t.0 is sufficiently dominant, tg∈G+.
Proof.
Let g∈G and x=g.0. There exists an apartment containing −∞ and x, i.e there exists g∈G such that g.A∩A contains a−Cfv, for some a∈A. For q∈Cfv sufficiently dominant, a−q≤x. In particular, there exists y∈A such that y≤x. For λ∈Y++ sufficiently dominant, y+λ≥0. Then nλ.y=y+λ≥0. As ≤ is G-invariant, nλ.y≤nλ.x and thus 0≤nλ.x=nλg.0. Therefore nλg∈G+.
∎
Let x,y∈I. We write x<˚y (resp. x≤˚y) if there exists g∈G such that gx,g.y∈A and y−x∈T˚ (resp. y−x∈T˚∪{0}). This does not depend on the choice of g.
If G is reductive, then x≤y for every x,y∈I. We now assume that G is not reductive. Then for every x∈A, for every y∈x+Cfv, one has x<˚y and y≤x.
Lemma 6.26**.**
Let x,y,z∈I. Suppose that x≤y, y<˚z and z≤y. Then x<˚z.
Proof.
Let A be an apartment containing y and z. Let Fy be a positive face of A based at y and containing [y,y′] for y′∈[y,z] near y. Then by [Héb18, Theorem 4.4.17], there exists an apartment A′ containing Fy and x. Then A′ contains [y,y′] for some y′∈[y,z] near y. In the apartment A′, one has y<˚y′ and x≤y. Consequently x<˚y′ (because T˚+T⊂T˚). We thus have x≤˚y′ and y′≤˚z. Using [Rou11, Théorème 5.9] we deduce that x≤˚z. As x≤y and z≤y, we have x=z, which proves the result.
∎
Lemma 6.27**.**
Let τ∈TF+ be such that τ is the restriction of some element of TF (still denoted τ). Then every element of I(τ)+ uniquely extends to an element of I(τ).
2. 2.
Let τ∈TF+ be such that τ is not the restriction of some element of TF. Then for every f:G→F such that for all g∈G+ and b∈B+, f(bg)=(δ1/2τ)(b)f(g), one has f=0.
3. 3.
Let τ∈TF+ be such that τ is not the restriction of some element of TF. Then there exists t∈T such that for every f∈Iτ,G+, t.f=0.
Proof.
(1) Let f∈I(τ)+. Suppose that there exists f~∈I(τ) extending f. Let g∈G. Let t∈T be such that tg∈G+. Then f~(tg)=(δ1/2τ)(t)f~(g)=f(tg) and thus f~(g)=(δ1/2τ(t))−1f(tg). Thus f~ is unique if it exists.
We now set f′(g)=(δ1/2τ(t))−1f(tg), for t∈T such that t.0 is dominant and such that tg∈G+, which exists by Lemma 6.25. Let us prove that f′ is well-defined. Let t,t′∈T be such that tg,t′g∈G+ and such that t.0,t′.0∈Y++. Then
[TABLE]
so that f(t^{\prime}g)\big{(}\tau\delta^{1/2}(t^{\prime})\big{)}^{-1}=f(tg)\big{(}\tau\delta^{1/2}(t)\big{)}^{-1}. This prove that f′ is well-defined. In particular, f′ extends f.
Let now t∈T and g∈G. Let us prove that f′(tg)=τδ1/2(t)f′(g). Let t′∈T be such that t′g,t′tg∈G+. Then
[TABLE]
which proves that f′(tg)=τδ1/2(t)f′(g).
Let now g∈G+ and u∈U+. Let t∈T be such that tg,tu∈G+. Then f′(tug)=τδ1/2(t)f′(ug) and f′(tug)=τδ1/2(tu)f′(g)=τδ1/2(t)f(g). Thus
[TABLE]
and hence f′(ug)=f′(g) for every u∈U+ and g∈G+.
Let now g∈G and u∈U+. Let t∈T be such that tug,tg∈G+. As t normalizes U+, we can write tu=u′t for some u′∈U+. Then
[TABLE]
Let b∈B and g∈G. Write b=tu, with t∈T and u∈U+. Then we have
[TABLE]
and thus f′∈I(τ) and f′ extends f. This proves (1).
(2) Let τ∈TF+ be such that τ is not the restriction of some element of TF. Then by Lemma 6.18, there exists t∈T such that τ(t)=0. Let f:G→F be such that for all g∈G+ and b∈B+, f(bg)=(δ1/2τ)(b)f(g). Let g∈G. Then f(g)=f(tt−1g)=τδ1/2(t)f(t−1g)=0, which proves (2).
(3) By Lemma 6.20, one has τ(t′)=0 for every t′∈T such that t′.0∈T˚. Let t∈T be such that t.0∈Cfv. Let g∈G+ and f∈Iτ,G+. Then t.0>˚0 and t.0≤0. Therefore gt.0>˚g.0 and gt.0≤g.0. Moreover g.0≥0 and thus by Lemma 6.26 we have gt.0>˚0. Using Lemma 6.5 we write gt=bnvk, with b∈B+, v∈Wv and k∈KI. Then gt.0=b.0, which proves that b.0>˚0. Write b=u′t′, with u′∈U+ and t′∈T. Then by Theorem 6.6, ρ+∞(b.0)=t′.0>˚0 and thus τ(t′)=0. Therefore f(gt)=t.f(g)=τδ1/2(t′)f(nvk)=0, which proves (3).
∎
Proposition 6.28**.**
Let τ+∈TF+.
Suppose that τ+ is not the restriction to Y+ of an element of TF.
For every f∈I(τ+)∖{0}, for every G-module M, the restriction of M to G+ is not isomorphic to G+.f.
For every x∈Iτ++∖{0}, for every BLHF-module M, the restriction of M to HF is not isomorphic to HF.x.
2. 2.
Suppose that τ+ is the restriction to Y+ of a (necessarily unique) element τ of TF.
Every element f+ of I(τ+)+ can be extended uniquely to an element f of I(τ). Then f+↦f is an isomorphism of G+-modules.
The action of HF on Iτ++ extends uniquely to an action of BLHF on Iτ++. Then Iτ++ is naturally isomorphic to Iτ as a BLHF-module.
Proof.
(1) By Lemma 6.18, there exists λ∈Y+ such that τ+(λ)=0. Then if x∈Iτ++∖{0}, Zλ.x=0. If M is a BLHF-module, one has Z−λ.Zλ.y=y=0 for every y∈M∖{0}. The similar statement for G+ is a consequence of Lemma 6.27(3).
(2) The statement for I(τ+)+ follows from Lemma 6.27(1). The statement for Iτ follows from Proposition 2.12. By Proposition 6.17, the actions of HF on Iτ,G+ and Iτ,G extend to actions of BLHF on Iτ,G+ and Iτ,G.
∎
Appendix A Existence of one dimensional representations of BLHC
In this section, we prove the existence of one dimensional representations of BLHC, when σs=σs′=σ, for all s∈S.
Lemma A.1**.**
Assume that F=C and that there exists σ∈C such that σs=σs′=σ for all s∈S and such that ∣σ∣=1. Let ϵ∈{−1,1} and τ∈TC be such that τ(αs∨)=σ2ϵ for all s∈S. Then Iτ admits a unique maximal proper submodule M. Moreover, Iτ=M⊕C1⊗τ1 and if x∈Iτ/M, then Zλ.x=τ(λ).x and Hw.x=(ϵσϵ)ℓ(w).x for all (w,λ)∈Wv×Y.
Proof.
By Lemma 5.2, such a τ exists. Let q=σ2. Let ht:Y→Q be a Z-linear map such that ht(αs∨)=1 for all s∈S. Then one has τ(α∨)=qϵht(α∨) for all α∨∈Φ∨.
Let s∈S. With the same notation as in Lemma 4.4, let ϕs=ϕ(s.τ,τ):Is.τ→Iτ. Then by Lemma 4.4Ms:=Im(ϕs) is a proper submodule of Iτ. Moreover, Hs−ϵσϵ⊗τ1∈Ms. Let M=∑s∈SMs. Let w∈Wv∖{1} and w=s1…sk be a reduced expression. Let v=wsk. Then Hv.(Hsk−ϵσϵ)=Hw−ϵσϵHv∈Msk. Therefore, for all w∈Wv∖{1}, there exists xw∈M such that πwH(xw)=1 and xw∈M∩Iτ≤w. By induction on ℓ(w) we deduce that M+C1⊗τ1=Iτ.
By [GR14, Lemma 2.4 a)], τ∈TCreg. Moreover, by Proposition 3.4 (2),
[TABLE]
and if we choose ξv∈Iτ(v.τ)∖{0} for all v∈Wv, then (ξv)v∈Wv is a basis of Iτ. For w∈Wv, let πwξ:Iτ→C be the linear map defined by πwξ(ξv)=δv,w for all v∈Wv. As ξ1∈C1⊗τ1, one has π1ξ(Ms)={0} for all s∈S.
Thus Iτ=M⊕C1⊗τ1. Moreover, M⊂(π1ξ)−1({0}) and by dimension M=π1ξ({0}). We deduce that M is the unique maximal proper submodule of Iτ and the lemma follows.
∎
Remark A.2**.**
Actually, the representations constructed in Lemma A.1 generalize the well known trivial representation (when ϵ=1) and Steinberg representation (when ϵ=−1). For simplicity, we assumed all the σs,σs′ to be equal, but this is not necessary. We can also construct these representations directly by setting triv(Hs)=σs, triv(Zαs∨)=σsσs′, St(Hs)=−σs−1, St(Zαs∨)=σs−1σs′−1. Using the fact that the relations (BL1) to (BL4) are preserved by triv and St, we can extend them to representations of BLHC over C.
Appendix B Examples of possibilities for Wτ for size 2 Kac-Moody matrices
In this section, we prove that there exist size 2 Kac-Moody matrices such that for each subgroup H of Wv, there exist τ∈TC such that Wτ is isomorphic to H. We assume that αs(Y)=Z for all s∈S and thus W(τ)=Wτ. We already proved the existence of regular elements in Lemma 5.1. If τ∈TC is such that τ(αs1∨)=1 and τ(αs2∨) is not a root of 1, then Wτ={1,s1}.
Lemma B.1**.**
Let A=(ai,j)(i,j)∈[[1,2]]2 be a Kac-Moody matrix. Assume that a1,2 and a2,1 are even and such that a1,2a2,1 is greater than 6. Let γ2 be a primitive 21(a1,2a2,1−4)-th root of 1. Let γ1=γ221a1,2. Let τ:Y=Zα1∨⊕Zα2∨→C∗ be the group morphism defined by τ(αi∨)=γi for both i∈{1,2}. Then Wτ=⟨s1s2⟩≃Z.
Proof.
Let τ′∈TC and γi′=τ′(αi∨) for both i∈{1,2}. For λ∈Y, one has (s2−s1).λ=α1(λ)α1∨−α2(λ)α2∨. Thus
[TABLE]
Thus s1.s2.τ=τ. Moreover s2.τ=τ and hence Wτ=⟨s1s2⟩.
∎
If τ=\mathds1:Y→{1}, then Wτ=1. The following lemma proves that Wτ can be a proper subgroup of Wv isomorphic to the infinite dihedral group.
Lemma B.2**.**
Let A=(ai,j)(i,j)∈[[1,2]]2 be an irreducible Kac-Moody matrix which is not a Cartan matrix. One has a1,2a2,1≥4 and maybe considering tA, one may assume a1,2≤−2. Write Wv=⟨s1,s2⟩. Let γ2 be an a1,2-th primitive root of 1 and τ∈TC be defined by τ(αs1∨)=1 and τ(αs2∨)=γ2. Then Wτ=⟨s1,s2s1s2⟩.
Proof.
Let τ=s2.τ. Let us prove that s1.τ=τ, i.e that τ(αs1∨)=1. One has τ(αs1∨)=τ(s2.αs1∨)=τ(αs1∨−αs2(αs1∨)αs2∨)=τ(αs2∨)−a1,2=1. Thus Wτ∋{s1,s2s1s2}. Therefore Wv/Wτ={Wτ,t.Wτ}. Moreover t∈/Wτ, thus [Wv:Wτ]=2 and hence Wτ=⟨s1,s2s1s2⟩.∎
The reference list from the paper itself. Each links out to its DOI / PubMed record.
1[AH 19] Ramla Abdellatif and Auguste Hébert. Completed Iwahori-Hecke algebras and parahoric Hecke algebras for Kac-Moody groups over local fields. Journal de l’École polytechnique — Mathématiques , 6:79–118, 2019.
2[BB 05] Anders Björner and Francesco Brenti. Combinatorics of Coxeter groups , volume 231 of Graduate Texts in Mathematics . Springer, New York, 2005.
3[BH 06] Colin J. Bushnell and Guy Henniart. The local Langlands conjecture for GL ( 2 ) GL 2 \rm GL(2) , volume 335 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] . Springer-Verlag, Berlin, 2006.
4[BK 11] Alexander Braverman and David Kazhdan. The spherical Hecke algebra for affine Kac-Moody groups I. Annals of mathematics , pages 1603–1642, 2011.
5[BKP 16] Alexander Braverman, David Kazhdan, and Manish M. Patnaik. Iwahori-Hecke algebras for p 𝑝 p -adic loop groups. Invent. Math. , 204(2):347–442, 2016.
6[Bou 81] Nicolas Bourbaki. Éléments de mathématique . Masson, Paris, 1981. Groupes et algèbres de Lie. Chapitres 4, 5 et 6. [Lie groups and Lie algebras. Chapters 4, 5 and 6].
7[BPGR 16] Nicole Bardy-Panse, Stéphane Gaussent, and Guy Rousseau. Iwahori-Hecke algebras for Kac-Moody groups over local fields. Pacific J. Math. , 285(1):1–61, 2016.
8[Che 92] Ivan Cherednik. Double affine Hecke algebras, Knizhnik-Zamolodchikov equations, and Macdonald’s operators. Internat. Math. Res. Notices , (9):171–180, 1992.