COMBINATORIAL GELFAND MODELS RON M. ADIN, ALEXANDER POSTNIKOV, AND YUVAL ROICHMAN Abstract. A combinatorial construction of a Gelafand model for the sym- metric group and its Iwahori-Hecke algebra is presented. 1. Introduction A complex representation of a group or an algebra A is called a Gelfand model for A, or simply a model, if it is equivalent to the multiplicity free direct sum of all A-irreducible representations. Models (for compact Lie groups) were first constructed by Bernstein, Gelfand and Gelfand [6]. Constructions of models for the symmetric group, using induced representations from centralizers, were found by Klyachko [11, 12] and by Inglis, Richardson and Saxl [9]; see also [4, 16, 2, 1, 3]. Our goal is to determine an explicit and simple combinatorial action, which gives a model for the symmetric group and its Iwahori-Hecke algebra. 1.1. Signed Conjugation. Let Sn be the symmetric group on n letters, S - the set of simple reflections in Sn, In - the set of involutions in Sn and Vn := spanQ{Cw | w ∈ In} be a vector space over Q spanned by the involutions. Recall the standard length function on the symmetric group ℓ(π) := min{ℓ| π = si1 si2 · · · siℓ , (∀j)sij ∈ S}, the descent set Des(π) := {s ∈ S| ℓ(πs) <ℓ(π)}, and the descent number des(π) := #Des(π). Define a map ρ : S 7→ GL(Vn) by (1) ρ(s)Cw = sign(s; w) · Csws (∀s ∈ S, w ∈ In) arXiv:0709.3962v1 [math.RT] 25 Sep 2007 where −1 if sws = w and s ∈ Des(w) (2) sign(s; w) := (1 otherwise. Date: September 25, ’07. Key words and phrases. symmetric group, Iwahori-Hecke algebra, descents, inversions, char- acter formulas, Gelfand model. First and third author supported in part by the Israel Science Foundation, founded by the Israel Academy of Sciences and Humanities. 1 2 RON M. ADIN, ALEXANDER POSTNIKOV, AND YUVAL ROICHMAN Theorem 1.1.1. ρ determines an Sn-representation. Theorem 1.1.2. ρ determines a Gelfand model for Sn. 1.2. Hecke Algebra Action. Consider the Hecke algebra of the symmetric group Sn, Hn(q), generated by {Ti| 1 ≤ i<n} with the defining relations (Ti + q)(Ti − 1)=0 (∀i) TiTj = TjTi if |i − j| > 1 TiTi+1Ti = Ti+1TiTi+1 (1 ≤ i<n − 1). In order to construct an extended signed conjugation, which gives a model for Hn(q), we extend the standard notions of length and weak order. Recall that the (left) weak order on Sn is the reflexive and transitive closure of the relation w ≤L ws if s ∈ S and ℓ(w)+1= ℓ(sw). Definition 1.2.1. Define the involutive length of an involution w ∈ In with cycle type (1n−2k2k) as −1 ℓˆ(w) := min{ℓ(v)| w = vs1s3s2k−1v }, where ℓ(v) is the standard length of v ∈ Sn. Define the involutive weak order on In, ≺L, as the reflexive and transitive closure of the relation w ⋖L sws if s ∈ S and ℓˆ(w)+1= ℓˆ(sws). Define a map ρq : S 7→ GL(Vn) by −qCw if sws = w and s ∈ Des(w) Cw if sws = w and s 6∈ Des(w) (3) ρq(Ts)Cw = (1 − q)Cw + qCsws w ≺L sws Csws if sws ≺L w, where Des(·) is the standard descent set and ≺L is the left involutive weak order. Theorem 1.2.2. For generic q, ρq is a Gelfand model for Hn(q); namely, (1). ρq is an Hn(q)-representation. (2). ρq is equivalent to the multiplicity free sum of all Hn(q)-irreducible rep- resentations. The proof involves Lusztig’s version of Tits’ Deformation Theorem [13]. For other versions of this theorem see [7, §4], [8, §68.A] and [5]. j Let µ = (µ1, µ2,...,µt) be a partition of n and let aj := µi. A permutation i=0 π ∈ Sn is µ-unimodal if for every 0 ≤ j<t there exists 1 ≤Pd ≤ aj+1 − aj such that πaj +1 < πaj +2 < · · · < πaj +d > πaj +d+1 > πaj +d+2 > · · · > πaj+1 . The character of ρq may be expressed as a generating function of the descent number over µ-unimodal involutions. COMBINATORIAL GELFAND MODELS 3 Proposition 1.2.3. des(w) Tr (ρq(Tµ)) = (−q) is -unimodal {w∈In| w Xµ } where Tµ := T1T2 · · · Tµ1−1Tµ1+1 ······ Tµ1+...+µt−1 is the subproduct of T1T2 · · · Tn−1 omitting Tµ1+···+µi for all 1 ≤ i<t. 2. Proof of Theorem 1.1.1 2.1. First Proof. This proof relies on a variant of the inversion number, which is introduced in this section. Recall the definition of the inversion set of a per- mutation π ∈ Sn Inv(π) := { (i, j) : i < j and π(i) > π(j)}. Definition 2.1.1. For an involution w ∈ In let Pair(w) be the set of 2-cycles of w. For a permutation π ∈ Sn and an involution w ∈ In let Invw(π) := Inv(π) ∩ Pair(w), and invw(π) := #Invw(π). Define a map ψ : Sn 7→ GL(Vn) by invw (π) (4) ψ(π)Cw = (−1) · Cπwπ−1 (∀π ∈ Sn, w ∈ In). Note that for every Coxeter generator s ∈ S and every involution w ∈ In, 1 if sws = w and s ∈ Des(w) invw(s)= (0 otherwise. Thus, ψ and ρ coincide on the Coxeter generators. In order to prove that ρ is an Sn-representation it suffices to prove that ψ is a group homomorphism. Indeed, for every pair of permutations σ, π ∈ Sn and every pair 1 ≤ i < j ≤ n χ{σπ(i) > σπ(j)} = χ{π(i) > π(j)} · χ{σ(π(i)) > σ(π(j)), where χ{ event } = 1 if the event holds and −1 otherwise. Hence, for every pair of permutations σ, π ∈ Sn and every involution w ∈ In inv (σπ) inv (π) inv − (σ) (−1) w = (−1) w · (−1) πwπ 1 , and thus invw(σπ) invw(π) inv −1 (σ) ψ(σπ)Cw = (−1) ·Cσπw(σπ)−1 = (−1) ·(−1) πwπ Cσ(πwπ−1)σ−1 invw (π) = ψ(σ)((−1) · Cπwπ−1 )= ψ(σ)(ψ(π)Cw ). This proves that ψ is an Sn-representation. Since ψ and ρ coincide on the Coxeter generators, the proof of Theorem 1.1.1 is completed. We summarize 4 RON M. ADIN, ALEXANDER POSTNIKOV, AND YUVAL ROICHMAN Corollary 2.1.2. ρ and ψ are identical Sn-representations. 2.2. Second Proof. In order to prove that ρ is an Sn-representation it suffices to verify the relations: ρ(s)2 = 1 (∀s ∈ S) ρ(s)ρ(t)= ρ(t)ρ(s) if st = ts ρ(s)ρ(t)ρ(s)= ρ(t)ρ(s)ρ(t) if sts = tst. We will prove the third relation. Verifying the other two relations is easier and left to the reader. Let s = (i,i + 1) and t = (i +1,i + 2). For every permutation π ∈ Sn let Supp(π)= {i ∈ [n] | π(i) 6= i}. Denote the order orbit of an involution w under the conjugation action of hs,ti - the subgroup generated by s and t - by O(w). Since w is an involution O(w) 6= 2; hence there are three options O(w)=1, 3, 6. Case (a). O(w) = 1. Then sws = w and twt = w. Furthermore, in this case Supp(w) ∩{i,i +1,i +2} = ∅, so that sign(s, ; w) = sign(t; w) = 1; thus ρ(s)ρ(t)ρ(s)Cw = ρ(t)ρ(s)ρ(t)Cw = Cw. Case (b). O(w) = 3 (this happens, for example, when w = s). Then there exists an element v in the orbit such that (5) v,tvt,stvts are distinct elements in the orbit, and (6) svs = v and t(stvts)t = stvts. Thus x 0 0 ρ(s)= 0 0 1 0 1 0 and 0 1 0 ρ(t)= 1 0 0 , 0 0 z where x = sign(s; v) and z = sign(t; stvts). ρ(s)ρ(t)ρ(s)= ρ(t)ρ(s)ρ(t) holds if and only if x = z, which holds if and only if (7) s ∈ Des(v) ⇐⇒ t ∈ Des(stvts). To prove this, observe that for every w ∈ Sn and s ∈ S the following holds : (A) sws = w and s 6∈ Des(w) if and only if Supp(w) ∩ Supp(s)= ∅. (B) sws = w and s ∈ Des(w) if and only if w = us, where Supp(u) ∩ Supp(s)= ∅. COMBINATORIAL GELFAND MODELS 5 Assuming t 6∈ Des(stvts) implies, by (6) and (A), that Supp(stvts)∩Supp(t)= ∅. Hence stvts(i +1)= i +1. On the other hand, assuming s ∈ Des(v) implies, by (6) and (B), that there exists u = vs with i +1 6∈ Supp(u). Hence stvts(i +1)= stusts(i +1)= i +2. Contradiction. Similarly, assuming s 6∈ Des(v) and t ∈ Des(stvts) yields a con- tradiction (to verify this, replace v by stvts and s by t). This completes the proof of Case (b). Case (c). O(w) = 6 (this occurs, for example, when w = (i, j)(i +1, k) with j, k 6= i + 2). Then, for every element v in the orbit tvt 6= v and svs 6= v. It follows that ρ(s)ρ(t)ρ(s)Cw = Cstswsts = Ctstwtst = ρ(t)ρ(s)ρ(t)Cw. This completes the proof of the third relation . 3. Characters 3.1. Character Formula. The following classical result follows from the work of Frobenius and Schur, see [10, §4] and [18, §7, Ex. 69]. Theorem 3.1.1. Let G be a group, for which every complex representation is equivalent to a real representation.