arxiv:math/ v4 [math.rt] 4 Apr 2010
|
|
- Jemimah Robertson
- 6 years ago
- Views:
Transcription
1 DOUBLE AFFINE HECKE ALGEBRAS FOR THE SPIN SYMMETRIC GROUP arxiv:math/ v4 [math.rt] 4 Apr 2010 WEIQIANG WANG Abstract. We introduce a new class (in two versions, Ḧc and Ḧ ) of rational double affine Hecke algebras(daha) associated to the spin symmetric group. We establish the basic properties of the algebras, such as PBW and Dunkl representation, and connections to Nazarov s degenerate affine Hecke-Clifford algebra and to a new degenerate affine Hecke algebra introduced here. We formulate a Morita equivalence between the two versions of rational DaHa s. The trigonometric generalization of the above constructions is also formulated and its relation to the rational counterpart is established. 1. Introduction 1.1. The double affine Hecke algebras (DaHa) introduced by Cherednik [2] are intimately related to K. Saito s elliptic root systems [12] and the Dunkl operators [4], and they have numerous connections and applications to Macdonald polynomials, integrable systems, and (quantum) affine algebras, etc. The DaHa affords three variants of degeneration: rational, trigonometric, and elliptic. The rational DaHa, which goes back as a special case to Drinfeld [3], has been actively studied in recent years by many authors (see Etingof-Ginzburg [5] and the review of Rouquier [11] for extensive references). The question addressed here is whether or not a reasonable notion of DaHa s associated to the spin symmetric group of Schur [13] exists. For Coxeter groups, there is a standard procedure to construct the associated Hecke algebras. The spin symmetric group is not a reflection group, and so a priori it is not clear whether such a DaHa should exist and, if it exists, how its characteristic feature looks like. In this paper we provide a natural construction of rational and trigonometric DaHa s, denoted by Ḧc and Ḧ, associated to the spin symmetric group, which not only exhibits new phenomenon but also suggests for further natural generalization. These new algebras afford favorable properties similar to the usual DaHa (see [5] and Suzuki [15]). Instead of constructing directly the DaHa for the spin symmetric group, our idea is to start with a construction of DaHa for a certain double cover of the hyperoctahedral group, which then by some Morita equivalence leads to a construction of the DaHa for the spin symmetric group. The twisted group algebra of this double covering group is a semidirect product C n CS n between the group algebra of the symmetric group S n and a Clifford algebra C n in n generators Mathematics Subject Classification. Primary 20C08. 1
2 2 WEIQIANG WANG 1.2. We introduce in Section 2 the rational double affine Hecke-Clifford algebra (DaHCa) Ḧc with parameter u and show that Ḧc has a standard PBW basis. In particular, Ḧc admits a triangular decomposition with the middle part being the algebra C n CS n. In contrast to the usual rational DaHa, the symmetry between thetwohalvesofpolynomialgeneratorsforḧc hastobebroken. Wefurtherprovide a realization of Ḧc in terms of Dunkl operators. A degenerate affine Hecke-Clifford algebra H c was introduced by Nazarov [9] for studying the Young symmetrizer for the spin symmetric group (cf. Brundan- Kleshchev [1, 7] for recent development on representations of H c and see [3] and Lusztig [8] for the usual degenerate/graded affine Hecke algebras). We show that the DaHa Ḧc contains a family of subalgebras isomorphic to H c, analogous to the usual DaHa setup (cf. [2, 5]). We then introduce the rational spin double affine Hecke algebra (sdaha) Ḧ associated to the spin symmetric group and parameter u. The PBW theorem for Ḧ provides the following isomorphism of vector spaces Ḧ = C[ξ1,...,ξ n ] CS n C[y 1,...,y n ], where CS n is the spin symmetric group algebra. A key new feature is that the generators y i s commute with each other but the ξ i s anti-commute with each other (cf. Definition 3.1). We also introduce a (new) degenerate spin affine Hecke algebra H. The results for Ḧ and H in Section 3 are parallel to those for Ḧc and H c in Section 2. In Section 4 we establish an explicit isomorphism of super algebras Ḧ c = C n Ḧ. Inthiscase, thesuperalgebrasḧc andḧ aresaidtobemoritasuper-equivalent (cf. [7, 13.2] for a justification of the terminology). We also establish another Morita super-equivalence between H c and H by exhibiting an superalgebra isomorphism H c = Cn H.Suchisomorphismsprovideaconceptualexplanationandeasyproofs for the results in Section 3 parallel to Section 2. Without such a connection to Ḧ c, even the definition of Ḧ is by no means obvious. A finite-dimensional version of such isomorphisms, discovered independently in Sergeev [14] and Yamaguchi [16], explained for the well-known fact that the representation theory of the spin symmetric group is (essentially) equivalent to that of the algebra C n S n. The three isomorphisms in the finite, affine, and double affine setups are compatible with each other. We finally introduce the trigonometric DaHCa Ḧc tr and the trigonometric sdaha Ḧ tr. We construct explicitly a superalgebra isomorphism Ḧ c tr = C n Ḧ tr. We further establish the precise connections between our rational and trigonometric DaHa s, following Suzuki [15] in the usual DaHa setup. This is developed in Section 5.
3 SPIN DOUBLE AFFINE HECKE ALGEBRAS This paper is a first step of a program in which we attempt to develop a new theory of spin Hecke algebras. The new features of the constructions in this paper will be instrumental in telling us how to relax the usual setup (cf. [3, 5] and Ram-Shepler [10] for the degenerate case) in order to define appropriate spin (degenerate/double) affine Hecke algebras more generally. The algebras Ḧc and Ḧ have large centers, and are expected to have rich finite-dimensional representation theory (compare [5] and Gordon [6]). 2. The rational double affine Hecke-Clifford algebras 2.1. The symmetric group S n. Recall that the symmetric groups n is generated by s i (1 i n 1) subject to the relations: s i s j = s j s i, i j > 1 s 2 i = 1, s is i+1 s i = s i+1 s i s i+1. (2.1) Let s ij denote the transposition of i and j in the symmetric group S n The rational DaHCa. Definition 2.1. Let u C. The rational double affine Hecke-Clifford algebra (DaHCa) Ḧc is the C-algebra generated by x i,y i,c i (1 i n) and S n, subject to the following relations: x i x j = x j x i, y i y j = y j y i, ( i,j) σx i = x σi σ, σy i = y σi σ (σ S n ) c i x i = x i c i, c i y i = y i c i, (2.2) c j x i = x i c j, c j y i = y i c j, (i j) σc i = c σi σ (σ S n ), c 2 i = 1, c ic j = c j c i (i j) (2.3) [y j,x i ] = u(1+c j c i )s ij, (i j) (2.4) [y i,x i ] = u k i(1+c k c i )s ki. (2.5) Denote by C n, or C(c 1,...,c n ), the Clifford algebra generated by c 1,...,c n. The rational DaHCa Ḧc is a super (i.e. Z 2 -graded) algebra with c i = 1 and x i = y i = s ij = 0. Unlike the usual rational DaHa, the symmetry between x s and y s is broken in the definition of Ḧc, cf. (2.2). For u = 0, we have Ḧc u=0 = (C[x,y] C n )#S n, where the tilde refers to the unusual sign in (2.2). The Ḧc u=0 clearly has the PBW property, i.e. the Ḧc u=0 has a linear basis {x a y b σc ǫ }, where σ S n, a,b Z n +, ǫ {0,1}n and x a denotes the monomials x a 1 1 x an n etc. The algebras Ḧc are isomorphic for all u 0. Theorem 2.2. The PBW property holds for Ḧc. That is, the multiplication of the subalgebra gives rise to an isomorphism of vector spaces: = C[x 1,...,x n ] CS n C n C[y 1,...,y n ] Ḧc.
4 4 WEIQIANG WANG Proof. This can be proved inasimilar way as in[5, Proof of Th. 1.3, pp.256-7] (and see loc. cit. for earlier works on PBW algebras), with one crucial modification. Set V = C 2n with the standard coordinates {x i,y i }, and note that K = C n CS n is a semisimple algebra. The new key observation is that E := V C K is naturally a K-bimodule even though K does not act on V. TherightactionofK isviatheright multiplication g : v a v (ag). The S n acts onthe left by σ : v a v σ (σa), while C n acts by c i : x j a ( 1) δ ij x j (c i a) and c i : y j a y j (c i a). The rest of the proof is the same as in loc. cit. Remark 2.3. The observation in the above proof, when applied to more general pairs (V, K), leads to a generalization of Drinfeld s setup [3]. The proof above also shows that Ḧc is the only quadratic deformation of Ḧc u=0 with PBW property. Note the special feature of Ḧc that an additional term t 1 which appeared in the symplectic reflection algebra[5] is not allowed in(2.5) by the conjugation invariance with respect to c i. Remark 2.4. Introducing an additional central element z such that z 2 = 1 to Ḧc, we can define a modified algebra Ḧmod with relations c i c j = zc j c i, c i x i = zx i c i replacing the corresponding relations in (2.3) and (2.2). Then Ḧmod / z +1 = Ḧc. On the other hand, Ḧmod / z 1 is isomorphic to the ordinary rational DaHa (cf. [5]) associated to the reflection group Z n 2 S n with specialized parameters. A similar remark applies to the algebra Ḧ introduced in Section 3. Below we always assume that u 0 unless otherwise specified The degenerate affine Hecke-Clifford algebra. The degenerate affine Hecke-Clifford algebra was introduced by Nazarov (also called affine Sergeev algebra in [9]). It is the algebra H c generated by a i,c i (i = 1,...,n) and S n, subject to the relations (2.1), (2.3) and the following relations: a j s i = s i a j (j i,i+1), a i+1 s i s i a i = 1 c i+1 c i, a i a j = a j a i, c i a i = a i c i, (2.6) c j a i = a i c j, (i j). Our convention c 2 i = 1 is consistent with [7], not with [9]. The H c is a superalgebra with c i being odd and a i being even for each i. For 1 i n, set M i := k<i(1 c i c k )s ki, The M i s are the Jucys-Murphy elements introduced in [9] and they satisfy Proposition 2.5. [9] M i M j = M j M i, ( i,j). (2.7)
5 SPIN DOUBLE AFFINE HECKE ALGEBRAS 5 (1) The algebra H c admits the PBW property. That is, the multiplication of the subalgebras induces a vector space isomorphism = C[a 1,...,a n ] CS n C n H c. (2) There exists a unique algebra homomorphism H c C n CS n, which restricts to the identity map on the subalgebra C n CS n of H c, and sends a 1 to 0. Moreover, this homomorphism sends each a i to M i (1 i n). (3) The even center of the algebra H c is C[a 2 1,...,a2 n. ]Sn The intertwining elements φ i := s i (a 2 i a2 i+1 )+(a i +a i+1 )+c i c i+1 (a i a i+1 ), 1 i n 1 were introduced in [9] (cf. [7, Chapter 14]). Proposition 2.6. [9] The intertwining elements φ i s satisfy φ 2 i = 2a 2 i +2a 2 i+1 (a 2 i a 2 i+1) 2 φ i φ i+1 φ i = φ i+1 φ i φ i+1 φ i φ j = φ j φ i ( i j > 1) The affine Hecke-Clifford subalgebra of Ḧc. Set z i := u 1 y i x i +M i. Lemma 2.7. For all i,j and each α C, the following identities hold: Proof. We may assume i < j. Then, by (2.7), we have [z i,z j ] = 0, (2.8) [x i,z j ] [x j,z i ] = 0, (2.9) [αx i +z i,αx j +z j ] = 0. (2.10) u[z i,z j ] = u 1 [y i x i,y j x j ]+[y i x i,m j ] = u 1 (y i [x i,y j ]x j +y j [y i,x j ]x i )+[y i x i,s ij c j c i s ij ] = y i (s ij c i c j s ij )x j +y j (s ij +c i c j s ij )x i +(y i x i y j x j )s ij (y i x i +y j x j )c j c i s ij = 0. To prove (2.9) for i < j, we calculate that [x i,z j ] [x j,z i ] = [x i,u 1 y j x j +M j ] [x j,u 1 y i x i ] = u 1 [x i,y j ]x j +[x i,s ij c j c i s ij ] u 1 [x j,y i ]x i = (c i c j s ij s ij )x j +(x i x j )s ij (x i +x j )c j c i s ij +(s ij +c i c j s ij )x i = 0. Now (2.10) follows from (2.8) and (2.9). We remark that [y i,z j ] [y j,z i ] 0 (i j). Lemma 2.8. The following identities hold: c i z i = z i c i, c i z j = z j c i (i j).
6 6 WEIQIANG WANG Proof. Recall z i = u 1 y i x i +M i. It is known [9] that the Jucys-Murphy elements satisfy c i M i = M i c i, and c j M i = M i c j for i j. Clearly, c i (y i x i ) = (y i x i )c i, and c j (y i x i ) = (y i x i )c j for i j. Now the lemma follows. Lemma 2.9. The following identities hold: z i+1 s i s i z i = 1 c i+1 c i, (αx i+1 +z i+1 )s i s i (αx i +z i ) = 1 c i+1 c i. Proof. Thesecondidentityfollowsfromthefirstoneandtheequationx i+1 s i = s i x i. Note that z i+1 s i s i z i = (u 1 y i+1 x i+1 +M i+1 )s i s i (u 1 y i x i +M i ) This proves the first identity. = M i+1 s i s i M i = 1 c i+1 c i. The next theorem follows now from Lemmas 2.7, 2.8, and 2.9. Theorem Fix α C. The subalgebra of Ḧc generated by c i,αx i + z i (1 i n) and S n is isomorphic to the degenerate affine Hecke-Clifford algebra H c The Dunkl operator for Ḧc. ThePBWTheorem2.2providesthetriangular decomposition of Ḧc : Ḧ c = C[x] (Cn CS n ) C[y] where C[x] is the short-hand for C[x 1,...,x n ], etc. Denote by H c x the subalgebra of Ḧ c generated by C n CS n and x 1,...,x n. The subalgebra H c y is similarly defined. Take any C n CS n -module W, and extend it to an H c x-module with the trivial action of x i s. Consider the induced Ḧc -module IndḦc H W, which as a vector space c x is isomorphic to C[y 1,...,y n ] W. Denote the action by. The most interesting S n C n -module is the so-called basic spin module L n = C(c 1,...,c n ) of S n C n, (where C n acts by left multiplication and S n acts by permuting the c i s), and the induced Ḧc -module IndḦc H c x L n is then identified as C[y 1,...,y n ] C(c 1,...,c n ). Given operators h and g, h g stands for g 1 h throughout the paper. Theorem Given a C n CS n -module W, the action of x i on C[y 1,...,y n ] W is realized as Dunkl operator as follows. For any polynomial f = f(y) and w W, we have x i (f w) = u k i Proof. We calculate that (1 s ki )(f) y i y k (1 c i c k )s ki (w). x i (f w) = [x i,f] w+fx i w = [x i,f] w. Now the theorem follows from Lemma 2.12 (2) below.
7 SPIN DOUBLE AFFINE HECKE ALGEBRAS 7 Lemma (1) For a N and i j, we have [x i,y a j ] = uya i y a j y i y j (1 c i c j )s ij [x i,y a i] = u k i y a i ya k y i y k (1 c i c k )s ki. (2) Let f(y) be any polynomial in y 1,...,y n. Then, [x i,f(y)] = u k i (1 s ki )f(y) y i y k (1 c i c k )s ki. Proof. (1) is proved by induction on a using [x i,yj a] = [x i,yj a 1 ]y j +yj a 1 [x i,y j ]. (2) It suffices to check for every monomial f. We first prove the case when f = j i ya j j using the first identity in (1). Then we combine with the second identity in (1) to prove for a general monomial f involving powers of y i. Note that the symmetry between x s and y s in our algebra Ḧc is broken. We compute below the Dunkl operator for y i. Lemma For a N and 1 i j n, we have ( [y i,x a i ] = u xa k xa i s ki + xa i ( x ) k) a c i s ki c i x k x i x k +x i k i [y i,x a j ] = uxa j x a i x j x i s ij +u xa j ( x i ) a x j +x i c i s ij c i. Proof. Follows by induction on a. We can identify C[x 1,,x n ] W with the induced Ḧc -module IndḦc H W, where c y W is a CS n C n -module and is then extended to an H c y-module trivially. Proposition The action of y i on C[x 1,,x n ] W is given as follows. For any polynomial f(x) and w W, we have y i (f w) = ( f ski (f) s ki (w)+ fc ) ic k c i c k s ki (f) s ik (w). x k x i x k +x i k i Proof. First note that y i commutes with all c j s. So we are reduced to the case f = 1 and w being a monomial. This follows by induction from Lemma The center of Ḧc. Denote by Z(A) the even center of a superalgebra A, which consists of all the even central elements in A. Proposition (1) For u = 0, the even center Z(Ḧc u=0 ) of the superalgebra Ḧ c u=0 is C[x 2 1,...,x2 n ;y 1,...,y n ] Sn, where denotes the diagonal action on x 2 j s and y j s. (2) We have C[x 2 1,...,x 2 n] Sn Z(Ḧc ) and C[y 1,...,y n ] Sn Z(Ḧc ), u C.
8 8 WEIQIANG WANG Proof. (1) is clear. (2) By Lemma 2.12 (1), for each i we have that [x i,y1 k + +yk n ] = 0, k 1. By definition of Ḧc, y1+ +y k n k commutes with CS n C n. So y1+ +y k n k Z(Ḧc ) for all k, and thus C[y 1,...,y n ] Sn Z(Ḧc ). We have C[x 2 1,...,x2 n ]Sn Z(Ḧc ), by arguing similarly using Lemma 2.13 and the definition of Ḧc. Example For n = 2, x 2 1 y 1+x 2 2 y 2 (x 1 +x 2 )s 12 c 1 (x 1 +x 2 )s 12 c 1 Z(Ḧc ). 3. The rational spin double affine Hecke algebras The results in this section are presented in a way parallel to Section 2, but with all proofs omitted except for the PBW theorem. They can be either proved in the same way as for their counterparts in Section 2, or follow directly from the counterparts in Section 2 via the isomorphisms to be established in Section The spin symmetric group algebra. The symmetric group S n affords a double cover S n, nontrivial for n 4, according to Schur [13] (cf. [7]): 1 Z 2 S n S n 1. Denote Z 2 = {1,z}. The spin symmetric group algebra CS n := C[ S n ]/ z + 1 is generated by t i,i = 1,,n 1 subject to the following relations: t 2 i = 1, t it i+1 t i = t i+1 t i t i+1, t i t j = t j t i, i j > 1. (3.1) The algebra CS n is naturally a superalgebra by declaring t i for every i to be odd. Define the transpositions of odd parity, for 1 i < j n, [i,j] = [j,i] = ( 1) j i 1 t j 1 t i+1 t i t i+1 t j 1 which satisfies the following relations: [i,i+1] = t i, [i,j] 2 = 1, t i [i,j]t i = [i+1,j], Define the odd Jucys-Murphy elements for j i,i+1. M j = k<j[k,j], (1 j n). We have [14] (also see [7, Chapter 13]) [M i,m j ] + := M i M j +M j M i = 0, (i j). As usual, we have denoted that [a,b] + = ab+ba.
9 3.2. The rational sdaha. SPIN DOUBLE AFFINE HECKE ALGEBRAS 9 Definition 3.1. Let u C. The rational spin double affine Hecke algebra (sdaha) is the algebra Ḧ generated by ξ i,y i (1 i n) and t i (1 i n 1), subject to the relations (3.1) for t i and the following relations: ξ i ξ j = ξ j ξ i, y i y j = y j y i, (i j), t i ξ i = ξ i+1 t i, t i y i = y i+1 t i, t j ξ i = ξ i t j, t j y i = y i t j, (i j,j +1), [y i,ξ j ] = u[i,j], (i j), [y i,ξ i ] = u k i[i,k]. Denote by C[ξ 1,...,ξ n ] the algebra generated by ξ 1,...,ξ n subject to the relations ξ i ξ j = ξ j ξ i for i j. Clearly, it has a linear basis ξ a, where a Z n +. Theorem 3.2. The PBW property holds for Ḧ. That is, the multiplication of the subalgebras gives rise to an isomorphism of vector spaces: C[ξ 1,...,ξ n ] CS n C[y 1,...,y n ] = Ḧ. Proof. It follows readily from the definition that Ḧ is spanned by the elements ξ a σy b, where σ runs over a basis for CSn and a,b Zn +. Recall the homomorphism Ψ in Theorem 4.2. The images Ψ(ξ a σy b ) in explicit formulas are clearly all linearly independent in Ḧc by the PBW Theorem 2.2 for Ḧc. Thus, all the elements ξ a σy b are linearly independent in Ḧ. Remark 3.3. Note the subtle signs in the definition of Ḧ. The algebra Ḧ is naturally a superalgebra with y i being even and ξ i,t i being odd for each i. The algebras Ḧ are all isomorphic for different u 0. Below we assume that u 0 unless otherwise specified The degenerate spin affine Hecke algebra. The degenerate spin affine Hecke algebra is the algebra H generated by b i (1 i n) and t i (1 i n 1), subject to the relations (3.1) for t i and the following relations: b i b j = b j b i, (i j) b i+1 t i = t i b i +1, t j b i = b i t j, (i j,j +1). ThealgebraH hasasuperalgebrastructurewithbothb i andt i beingoddelements foreveryi. NotethatthealgebraH containsc[b 1,...,b n ]andcs n assubalgebras. Proposition 3.4. (1) The algebra H admits the PBW property. That is, the multiplication of the subalgebras induces a vector space isomorphism C[b 1,...,b n ] CSn = H.
10 10 WEIQIANG WANG (2) There exists a unique algebra homomorphism H CS n, which extends the identity map on the subalgebra CS n of H and sends b 1 to 0. Moreover, this homomorphism sends each b i to M i (1 i n). (3) The even center of the superalgebra H is C[b 2 1,...,b2 n ]Sn. We define the (odd) intertwining elements in H : ψ i := t i (b 2 i b 2 i+1) (b i b i+1 ), 1 i n 1. Proposition 3.5. The intertwining elements ψ i s satisfy that ψ 2 i = b 2 i +b 2 i+1 (b 2 i b 2 i+1) 2 ψ i ψ i+1 ψ i = ψ i+1 ψ i ψ i+1 ψ i ψ j = ψ j ψ i ( i j > 1) ψ i b j = b j ψ i (j i,i+1) ψ i b i = b i+1 ψ i, ψ i b i+1 = b i ψ i The spin affine Hecke subalgebra of Ḧ. Let z i := u 1 y i ξ i +M i. Lemma 3.6. For i j, the following identities hold: [z i,z j ] + = 0, [ξ i,z j ] + +[ξ j,z i ] + = 0, [αξ i +z i,αξ j +z j ] + = 0, α C. Lemma 3.7. The following identities hold: (αξ i+1 +z i+1 )t i = t i (αξ i +z i )+1, α C. Theorem 3.8. Fix α C. The subalgebra of Ḧ generated by αξ i +z i (1 i n) and CS n is isomorphic to the degenerate spin affine Hecke algebra H The Dunkl operators for Ḧ. Denote by H ξ the subalgebra of Ḧ generated by CS n and ξ 1,...,ξ n. Take any CS n -module W, and extend it to an H ξ - module with the trivial action of ξ i s. Consider the induced Ḧ -module IndḦ H ξ W = C[y 1,...,y n ] W. Theorem 3.9. The action of ξ i Ḧ on C[y 1,...,y n ] W is realized as Dunkl operator as follows. For any polynomial f = f(y) and w W, we have ξ i (f w) = u k i (1 s ki )(f) y i y k [k,i](w) The center of Ḧ. Proposition (1) For u = 0, the even center Z(Ḧ u=0 ) of the superalgebra Ḧ u=0 is C[ξ 2 1,...,ξ2 n ;y 1,...,y n ] Sn, where denotes the diagonal action on the ξ 2 j s and y j s.
11 SPIN DOUBLE AFFINE HECKE ALGEBRAS 11 (2) For any u C, C[ξ 2 1,...,ξ 2 n] Sn Z(Ḧ ) and C[y 1,...,y n ] Sn Z(Ḧ ). Example For n = 2, ξ 2 1 y 1 +ξ 2 2 y 2 +2(ξ 1 ξ 2 )t 1 Z(Ḧ ). 4. The algebra isomorphisms The results in this section use earlier notations but their proofs will be independent of Section 3. Note that the multiplication in a tensor product C Ḧ of two super algebras C and Ḧ has a suitable sign convention: (c b )(c b) = ( 1) b c (c c b b). Weshallwriteatypicalelement inc Ḧ ascbratherthanc b, anduseshort-hand notations c = c 1,b = 1 b. Theorem 4.1. There exists a superalgebra isomorphism: The inverse map is given by Φ : H c = C n H, c i c i, a i 2c i b i, s i 1 (c i c i+1 )t i. 2 Ψ : c i c i, b i 1 2 c i a i, t i 1 2 (c i+1 c i )s i. Proof. Clearly Φ, Ψ are inverses to each other, once we show that they are algebra homomorphisms. Note that C n CS n is a subalgebra of H c and Φ extends the isomorphism established in [14, 16] Φ fin : C n CS n C n CS n. Thistakescareofallthedefiningrelationsfortheimagesof Φor Ψofthegenerators which do not involve a i or b i (the verification of these relations can be done directly withoutdifficulty). Amongthedefiningrelationsinvolvingb i, themostcomplicated one is Ψ(b i+1 t i +t i b i ) = 1, which is equivalent to the following identity in H c : 1 2 c i+1 a i+1 1 (c i+1 c i )s i + 1 (c i+1 c i )s i c i a i = 1. This can be checked directly using the defining relations (2.6) of H c. The verification of the remaining relations is similar, and will be skipped. An argument similar to the above implies the following isomorphism theorem. Theorem 4.2. There exists a superalgebra isomorphism: Φ : Ḧc = C n Ḧ, y i y i, c i c i, x i 2c i ξ i, s i 1 2 (c i c i+1 )t i.
12 12 WEIQIANG WANG The inverse map is given by Ψ : y i y i, c i c i, ξ i 1 2 c i x i, t i 1 2 (c i+1 c i )s i. Remark 4.3. (1) Recall the intertwining elements φ i and ψ i from Sections 2 and 3. The isomorphism Φ sends φ i to 2(c i c i+1 )ψ i for every i. (2) Recall from Propositions 2.10 and 3.8 that αx i +z i (resp. αξ i +z i ) are the polynomial generators of a degenerate affine Hecke algebra isomorphic to H c (resp. H ). The Φ sends αx i +z i to 2c i (αξ i +z i ) for each i. This is compatible with the fact that Φ sends a i to 2c i b i. (3) Note also that Φ or Φ sends the JM element M i to 2c i M i, which amounts to checking the identity Φ( 1 2 (c i c k )s ik ) = [k,i]. 5. The trigonometric version of DaHCa and sdaha 5.1. The trigonometric DaHCa. Definition 5.1. The trigonometric double affine Hecke-Clifford algebra is the algebra Ḧc tr generated by e±ǫ i,ǫ i,c i (1 i n) and S n, subject to the following relations: c 2 i = 1, c ic j = c j c i (i j) e ǫ i e ǫ i = 1, e ǫ i e ǫ j = e ǫ j e ǫ i, ǫ i ǫ j = ǫ j ǫ i, c je ǫ i = e ǫ i c j ( i,j), σe ǫ i = e ǫ σi σ, σc i = c σi σ (σ S n ), c i ǫ i = ǫ i c i, c j ǫ i = ǫ i c j (i j), ǫ i+1 s i s i ǫ i = u(1 c i+1 c i ), ǫ j s i = s i ǫ j (j i,i+1), [ǫ i,e η ] = u e η e s ki(η) sgn(k i) 1 e (1 c sgn(k i) (ǫ k ǫ i ) ic k )s ki. k i ThealgebraḦc tr admitsanaturalsuperalgebrastructurewithc i beingoddandall othergeneratorsbeingeven. Notethatthesubalgebrageneratedbye ǫ i (1 i n), denoted by C[P], is identified with the group algebra of the weight lattice of type GL n ; thesubalgebrageneratedbye ǫ i (1 i n)ands n isidentifiedwiththegroup algebra of the extended affine Weyl group of type GL n ; for u 0, the subalgebra generated by u 1 ǫ i,c i (1 i n) and S n is identified with the degenerate affine Hecke-Clifford algebra (cf. Sect. 2.3). Theorem 5.2. (1) Thereexistsaunique superalgebrashomomorphismι : Ḧc Ḧ c tr, which extends the identity map on the subalgebra C n CS n such that ι(y i ) = e ǫ i ι(x i ) = e ǫ i Moreover, ι is injective. ( ǫ i u k<i (1 c i c k )s ki ).
13 SPIN DOUBLE AFFINE HECKE ALGEBRAS 13 (2) The homomorphism ι extends to an algebra isomorphism C[y ± ] C[y] Ḧ c = Ḧc tr. The inverse j is an extension of the identity map on C n CS n such that j(e ǫ i ) = y i, j(ǫ i ) = y i x i +u k<i(1 c i c k )s ki. Proof. The j and (the extended) ι are clearly inverses to each other, once we show that they are algebra homomorphisms. Recall from (2.4) that uz i = y i x i +u k<i (1 c ic k )s ki. Let us verify j([ǫ i,eǫ i ]) = [j(ǫ i ),j(eǫ i )] = [uz i,y i ]. By a long but straightforward computation we have that [uz i,y j ] = uy i (1 c i c j )s ij, (i < j), [uz i,y j ] = uy j (1 c i c j )s ij, (i > j), [uz i,y i ] = u k>i y i (1 c i c k )s ki +u k<i(1 c i c k )s ki y i. By another direct computation, we see that the commutator [ǫ i,eǫ j ] are given by exactly the right-hand side of [uz i,y j ] above with y i therein replaced by e ǫ i, for i < j, i = j, or i > j. The verification of other relations are even easier and will be skipped. Remark 5.3. Theorem 5.2 and Theorem 5.6 below are analogous to the relation between the usual rational DaHa and trigonometric DaHa due to Suzuki [15]. Proposition 5.4. The PBW property holds for Ḧc tr. That is, the multiplication of the subalgebras gives rise to an isomorphism of vector spaces: C[P] CS n C n C[ǫ 1,...,ǫ n ] = Ḧc tr. Proof. Clearly the multiplication homomorphism is surjective. The injectivity of this homomorphism follows from Theorem 5.2 (2) and the PBW property for Ḧc (and thus for C[y ± ] C[y] Ḧ c ). More explicitly, j sends ǫ i to y i x i plus lower terms. Via j and with such lower terms ignored, any linear relation among ǫ a σc e y b is translated to the same relation among (yx) a σc e y b. But we know the latter are all linearly independent The trigonometric sdaha. Definition 5.5. The trigonometric spin double affine Hecke algebra is the algebra Ḧ tr generated by e ±ǫ i,ζ i (1 i n) and t i (1 i n 1), subject to the relations
14 14 WEIQIANG WANG (3.1) for t i and the following relations: e ǫ i e ǫ i = 1, e ǫ i e ǫ j = e ǫ j e ǫ i, t i e ǫ i = e ǫ i+1 t i, ζ i+1 t i +t i ζ i = u, t i e ǫ j = e ǫ j t i (j i,i+1), ζ j t i = t i ζ j (j i,i+1), ζ i ζ j = ζ j ζ i (i j), [ζ i,e η ] = u e η e s ki(η) sgn(k i) 1 e [k,i]. sgn(k i) (ǫ k ǫ i ) k i Note that the algebra Ḧ tr is naturally a superalgebra by declaring e ±ǫ i to be even and ζ i and t i to be odd for every i. For u 0, the subalgebra generated by ζ i (1 i n) and CS n is identified with the degenerate spin affine Hecke algebra H (cf. Sect. 3.3). Theorem 5.6. (1) There exists a unique homomorphism of superalgebras ι : Ḧ Ḧ tr, which extends the identity map on the subalgebra CS n such that ι (y i ) = e ǫ i ι (ξ i ) = e ǫ i ( ζ i u k<i[k,i] ). Moreover, ι is injective. (2) The ι extends to an algebra isomorphism: C[y ± ] C[y] Ḧ = Ḧ tr. The inverse map j is an extension of the identity map on CS n j (e ǫ i ) = y i, j (ζ i ) = y i ξ i +u k<i[k,i]. such that Proof. Follows from Theorem 4.2 and Theorem 5.2; or one argues directly as for Theorem 5.2. Theorem 5.6andthe PBWTheorem 3.2 forḧ immediately imply the following. Corollary 5.7. The PBW property holds for Ḧ tr. That is, the multiplication of the subalgebras gives rise to an isomorphism of vector spaces: C[P] CSn C[ζ = 1,...,ζ n ] Ḧ tr An algebra isomorphism. The following theorem can be established by a direct computation. Theorem 5.8. There exists a superalgebra isomorphism: Φ tr Ḧ = :Ḧc tr C n tr, e ǫ i e ǫ i, c i c i, ǫ i 2c i ζ i, s i 1 2 (c i c i+1 )t i.
15 The inverse map is given by SPIN DOUBLE AFFINE HECKE ALGEBRAS 15 e ǫ i e ǫ i, c i c i, ζ i 1 2 c i ǫ i, t i 1 2 (c i+1 c i )s i. Notes added. This first paper on spin Hecke algebras was posted in arxiv: math.rt/ , The results of this paper have been generalized and extended in different directions since then in a series of papers [17, 18, 19, 20, 21]. Acknowledgment This research is partially supported by NSF and NSA grants. I gratefully acknowledge the sesquicentennial Associateship from University of Virginia which allows me to spend the semester of Spring 2006 at MSRI, Berkeley. I thank MSRI for its stimulating atmosphere and support, where this work was carried out. I thank Ta Khongsap for his careful reading and corrections. References [1] J. Brundan and A. Kleshchev, Hecke-Clifford superalgebras, crystals of type A (2) 2l and modular branching rules for Ŝn, Represent. Theory 5 (2001), (electronic). [2] I. Cherednik, Double affine Hecke algebras, London Mathematical Society Lecture Note Series 319, Cambridge University Press, [3] V. Drinfeld, Degenerate affine Hecke algebras and Yangians, Funct. Anal. Appl. 20 (1986), [4] C. Dunkl, Differential-difference operators associated to reflection groups, Trans. Amer. Math. Soc. 311 (1989), [5] P. Etingof and V. Ginzburg, Symplectic reflection algebras, Calogero-Moser space, and deformed Harish-Chandra homomorphism, Invent. Math. 147 (2002), [6] I. Gordon, Baby Verma modules for rational Cherednik algebras, Bull. London Math. Soc. 35 (2003), [7] A. Kleshchev, Linear and projective representations of symmetric groups, Cambridge Tracts in Mathematics 163, Cambridge University Press, [8] G. Lusztig, Affine Hecke algebras and their graded version, J. Amer. Math. Soc. 2 (1989), [9] M. Nazarov, Young s symmetrizers for projective representations of the symmetric group, Adv. Math. 127 (1997), [10] A. Ram and A. Shepler, Classification of graded Hecke algebras for complex reflection groups, Comment. Math. Helv. 78 (2003), [11] R. Rouquier, Representations of rational Cherednik algebras, In: Infinite-dimensional aspects of representation theory and applications (Charlottesville 2004), Contemp. Math. 392 (2005), [12] K. Saito, Extended affine root system I. Coxeter transformations, Publ. Res. Inst. Math. Sci. 21 (1985), [13] I. Schur, Über die Darstellung der symmetrischen und der alternierenden Gruppe durch gebrochene lineare Substitutionen, J. reine angew. Math. 139 (1911), [14] A. Sergeev, The Howe duality and the projective representations of symmetric groups, Represent. Theory 3 (1999), [15] T. Suzuki, Rational and trigonometric degeneration of the double affine Hecke algebra of type A, Int. Math. Res. Not. 37 (2005), [16] M. Yamaguchi, A duality of the twisted group algebra of the symmetric group and a Lie superalgebra, J. Algebra 222 (1999),
16 16 WEIQIANG WANG [17] T. Khongsap, Hecke-Clifford algebras and spin Hecke algebras III: The trignometric type, J. Algebra (to appear). arxiv: , [18] T. Khongsap and W. Wang, Hecke-Clifford algebras and spin Hecke algebras I: the classical affine type, Transformation Groups 13 (2008), [19] T. Khongsap and W. Wang, Hecke-Clifford algebras and spin Hecke algebras II: the rational double affine type, Pacific J. Math. 238 (2008), [20] T. Khongsap and W. Wang, Hecke-Clifford algebras and spin Hecke algebras IV: odd double affine type, Special Issue on Dunkl Operators and Related Topics, SIGMA 5 (2009), 012, 27 pages. [21] W. Wang, Spin Hecke algebras of finite and affine types, Adv. in Math. 212(2007), Department of Mathematics, University of Virginia, Charlottesville, VA address: ww9c@virginia.edu
arxiv:math/ v2 [math.rt] 27 Nov 2006
DOUBLE AFFINE HECKE ALGEBRAS FOR THE SPIN SYMMETRIC GROUP arxiv:math/0608074v2 [math.rt] 27 Nov 2006 WEIQIANG WANG Abstract. We introduce a new class (in two versions, A u and B u ) of rational double
More informationPast Research Sarah Witherspoon
Past Research Sarah Witherspoon I work on the cohomology, structure, and representations of various types of rings, such as Hopf algebras and group-graded algebras. My research program has involved collaborations
More informationFrom Schur-Weyl duality to quantum symmetric pairs
.. From Schur-Weyl duality to quantum symmetric pairs Chun-Ju Lai Max Planck Institute for Mathematics in Bonn cjlai@mpim-bonn.mpg.de Dec 8, 2016 Outline...1 Schur-Weyl duality.2.3.4.5 Background.. GL
More informationFUSION PROCEDURE FOR THE BRAUER ALGEBRA
FUSION PROCEDURE FOR THE BRAUER ALGEBRA A. P. ISAEV AND A. I. MOLEV Abstract. We show that all primitive idempotents for the Brauer algebra B n ω can be found by evaluating a rational function in several
More informationDefinition 9.1. The scheme µ 1 (O)/G is called the Hamiltonian reduction of M with respect to G along O. We will denote by R(M, G, O).
9. Calogero-Moser spaces 9.1. Hamiltonian reduction along an orbit. Let M be an affine algebraic variety and G a reductive algebraic group. Suppose M is Poisson and the action of G preserves the Poisson
More informationarxiv:math/ v3 [math.qa] 16 Feb 2003
arxiv:math/0108176v3 [math.qa] 16 Feb 2003 UNO S CONJECTURE ON REPRESENTATION TYPES OF HECKE ALGEBRAS SUSUMU ARIKI Abstract. Based on a recent result of the author and A.Mathas, we prove that Uno s conjecture
More informationLECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F)
LECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F) IVAN LOSEV In this lecture we will discuss the representation theory of the algebraic group SL 2 (F) and of the Lie algebra sl 2 (F), where F is
More informationarxiv:math/ v1 [math.qa] 5 Nov 2002
A new quantum analog of the Brauer algebra arxiv:math/0211082v1 [math.qa] 5 Nov 2002 A. I. Molev School of Mathematics and Statistics University of Sydney, NSW 2006, Australia alexm@ maths.usyd.edu.au
More informationLecture 11: Clifford algebras
Lecture 11: Clifford algebras In this lecture we introduce Clifford algebras, which will play an important role in the rest of the class. The link with K-theory is the Atiyah-Bott-Shapiro construction
More informationRepresentations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III
Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Lie algebras. Let K be again an algebraically closed field. For the moment let G be an arbitrary algebraic group
More informationThe Image of Weyl Group Translations in Hecke Algebras
The Image of Weyl Group Translations in Hecke Algebras UROP+ Final Paper, Summer 2015 Arkadiy Frasinich Mentor: Konstantin Tolmachov Project Suggested By Roman Bezrukavnikov September 1, 2015 Abstract
More informationNotes on D 4 May 7, 2009
Notes on D 4 May 7, 2009 Consider the simple Lie algebra g of type D 4 over an algebraically closed field K of characteristic p > h = 6 (the Coxeter number). In particular, p is a good prime. We have dim
More informationHigher Schur-Weyl duality for cyclotomic walled Brauer algebras
Higher Schur-Weyl duality for cyclotomic walled Brauer algebras (joint with Hebing Rui) Shanghai Normal University December 7, 2015 Outline 1 Backgroud 2 Schur-Weyl duality between general linear Lie algebras
More informationProof of the Broué Malle Rouquier Conjecture in Characteristic Zero (After I. Losev and I. Marin G. Pfeiffer)
Arnold Math J. DOI 10.1007/s40598-017-0069-7 RESEARCH EXPOSITION Proof of the Broué Malle Rouquier Conjecture in Characteristic Zero (After I. Losev and I. Marin G. Pfeiffer) Pavel Etingof 1 Received:
More informationCombinatorial bases for representations. of the Lie superalgebra gl m n
Combinatorial bases for representations of the Lie superalgebra gl m n Alexander Molev University of Sydney Gelfand Tsetlin bases for gln Gelfand Tsetlin bases for gl n Finite-dimensional irreducible representations
More informationarxiv:math/ v1 [math.rt] 31 Jul 2003
Representations of rational Cherednik algebras of rank 1 in positive characteristic arxiv:math/0307390v1 [math.rt] 31 Jul 2003 1 Introduction Frédéric Latour September 13, 2018 Let Γ SL 2 (C) be a finite
More informationLecture 17: Invertible Topological Quantum Field Theories
Lecture 17: Invertible Topological Quantum Field Theories In this lecture we introduce the notion of an invertible TQFT. These arise in both topological and non-topological quantum field theory as anomaly
More informationMath 210C. The representation ring
Math 210C. The representation ring 1. Introduction Let G be a nontrivial connected compact Lie group that is semisimple and simply connected (e.g., SU(n) for n 2, Sp(n) for n 1, or Spin(n) for n 3). Let
More informationFor any 1 M N there exist expansions of the
LIST OF CORRECTIONS MOST OF CORRECTIONS ARE MADE IN THE RUSSIAN EDITION OF THE BOOK, MCCME, MOSCOW, 2009. SOME OF THEM APPLY TO BOTH EDITIONS, AS INDICATED page xiv, line -9: V. O. Tarasov (1985, 1986)
More informationLECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C)
LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C) IVAN LOSEV Introduction We proceed to studying the representation theory of algebraic groups and Lie algebras. Algebraic groups are the groups
More informationYangian Flags via Quasideterminants
Yangian Flags via Quasideterminants Aaron Lauve LaCIM Université du Québec à Montréal Advanced Course on Quasideterminants and Universal Localization CRM, Barcelona, February 2007 lauve@lacim.uqam.ca Key
More informationGenerators of affine W-algebras
1 Generators of affine W-algebras Alexander Molev University of Sydney 2 The W-algebras first appeared as certain symmetry algebras in conformal field theory. 2 The W-algebras first appeared as certain
More informationLongest element of a finite Coxeter group
Longest element of a finite Coxeter group September 10, 2015 Here we draw together some well-known properties of the (unique) longest element w in a finite Coxeter group W, with reference to theorems and
More informationCitation Osaka Journal of Mathematics. 43(2)
TitleIrreducible representations of the Author(s) Kosuda, Masashi Citation Osaka Journal of Mathematics. 43(2) Issue 2006-06 Date Text Version publisher URL http://hdl.handle.net/094/0396 DOI Rights Osaka
More informationLECTURE 11: SOERGEL BIMODULES
LECTURE 11: SOERGEL BIMODULES IVAN LOSEV Introduction In this lecture we continue to study the category O 0 and explain some ideas towards the proof of the Kazhdan-Lusztig conjecture. We start by introducing
More informationNOTES FOR 128: COMBINATORIAL REPRESENTATION THEORY OF COMPLEX LIE ALGEBRAS AND RELATED TOPICS
NOTES FOR 128: COMBINATORIAL REPRESENTATION THEORY OF COMPLEX LIE ALGEBRAS AND RELATED TOPICS (FIRST COUPLE LECTURES MORE ONLINE AS WE GO) Recommended reading [Bou] N. Bourbaki, Elements of Mathematics:
More informationNOTES ON CHEREDNIK ALGEBRAS AND ALGEBRAIC COMBINATORICS, MONTREAL 2017
NOTES ON CHEREDNIK ALGEBRAS AND ALGEBRAIC COMBINATORICS, MONTREAL 2017 STEPHEN GRIFFETH 1. Introduction The purpose of these notes is to explain some of the interactions between the representation theory
More informationNon-separable AF-algebras
Non-separable AF-algebras Takeshi Katsura Department of Mathematics, Hokkaido University, Kita 1, Nishi 8, Kita-Ku, Sapporo, 6-81, JAPAN katsura@math.sci.hokudai.ac.jp Summary. We give two pathological
More informationarxiv: v1 [math.kt] 31 Mar 2011
A NOTE ON KASPAROV PRODUCTS arxiv:1103.6244v1 [math.kt] 31 Mar 2011 MARTIN GRENSING November 14, 2018 Combining Kasparov s theorem of Voiculesu and Cuntz s description of KK-theory in terms of quasihomomorphisms,
More informationOn the Universal Enveloping Algebra: Including the Poincaré-Birkhoff-Witt Theorem
On the Universal Enveloping Algebra: Including the Poincaré-Birkhoff-Witt Theorem Tessa B. McMullen Ethan A. Smith December 2013 1 Contents 1 Universal Enveloping Algebra 4 1.1 Construction of the Universal
More informationCELLULAR ALGEBRAS AND QUASI-HEREDITARY ALGEBRAS: A COMPARISON
ELECTRONIC RESEARCH ANNOUNCEMENTS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 5, Pages 71 75 (June 24, 1999) S 1079-6762(99)00063-3 CELLULAR ALGEBRAS AND QUASI-HEREDITARY ALGEBRAS: A COMPARISON STEFFEN
More informationUNIVERSAL DERIVED EQUIVALENCES OF POSETS
UNIVERSAL DERIVED EQUIVALENCES OF POSETS SEFI LADKANI Abstract. By using only combinatorial data on two posets X and Y, we construct a set of so-called formulas. A formula produces simultaneously, for
More informationTHE POLYNOMIAL REPRESENTATION OF THE TYPE A n 1 RATIONAL CHEREDNIK ALGEBRA IN CHARACTERISTIC p n
THE POLYNOMIAL REPRESENTATION OF THE TYPE A n RATIONAL CHEREDNIK ALGEBRA IN CHARACTERISTIC p n SHEELA DEVADAS AND YI SUN Abstract. We study the polynoial representation of the rational Cherednik algebra
More informationReducibility of generic unipotent standard modules
Journal of Lie Theory Volume?? (??)???? c?? Heldermann Verlag 1 Version of March 10, 011 Reducibility of generic unipotent standard modules Dan Barbasch and Dan Ciubotaru Abstract. Using Lusztig s geometric
More informationCasimir elements for classical Lie algebras. and affine Kac Moody algebras
Casimir elements for classical Lie algebras and affine Kac Moody algebras Alexander Molev University of Sydney Plan of lectures Plan of lectures Casimir elements for the classical Lie algebras from the
More informationORDERED INVOLUTIVE OPERATOR SPACES
ORDERED INVOLUTIVE OPERATOR SPACES DAVID P. BLECHER, KAY KIRKPATRICK, MATTHEW NEAL, AND WEND WERNER Abstract. This is a companion to recent papers of the authors; here we consider the selfadjoint operator
More informationCharacter values and decomposition matrices of symmetric groups
Character values and decomposition matrices of symmetric groups Mark Wildon Abstract The relationships between the values taken by ordinary characters of symmetric groups are exploited to prove two theorems
More informationAN UPPER BOUND FOR SIGNATURES OF IRREDUCIBLE, SELF-DUAL gl(n, C)-REPRESENTATIONS
AN UPPER BOUND FOR SIGNATURES OF IRREDUCIBLE, SELF-DUAL gl(n, C)-REPRESENTATIONS CHRISTOPHER XU UROP+ Summer 2018 Mentor: Daniil Kalinov Project suggested by David Vogan Abstract. For every irreducible,
More informationThus we get. ρj. Nρj i = δ D(i),j.
1.51. The distinguished invertible object. Let C be a finite tensor category with classes of simple objects labeled by a set I. Since duals to projective objects are projective, we can define a map D :
More informationA CHARACTERIZATION OF THE MOONSHINE VERTEX OPERATOR ALGEBRA BY MEANS OF VIRASORO FRAMES. 1. Introduction
A CHARACTERIZATION OF THE MOONSHINE VERTEX OPERATOR ALGEBRA BY MEANS OF VIRASORO FRAMES CHING HUNG LAM AND HIROSHI YAMAUCHI Abstract. In this article, we show that a framed vertex operator algebra V satisfying
More informationHow many units can a commutative ring have?
How many units can a commutative ring have? Sunil K. Chebolu and Keir Locridge Abstract. László Fuchs posed the following problem in 960, which remains open: classify the abelian groups occurring as the
More informationTHE THEOREM OF THE HIGHEST WEIGHT
THE THEOREM OF THE HIGHEST WEIGHT ANKE D. POHL Abstract. Incomplete notes of the talk in the IRTG Student Seminar 07.06.06. This is a draft version and thought for internal use only. The Theorem of the
More informationA Recursion and a Combinatorial Formula for Jack Polynomials
A Recursion and a Combinatorial Formula for Jack Polynomials Friedrich Knop & Siddhartha Sahi* Department of Mathematics, Rutgers University, New Brunswick NJ 08903, USA 1. Introduction The Jack polynomials
More informationNOTES ON RESTRICTED INVERSE LIMITS OF CATEGORIES
NOTES ON RESTRICTED INVERSE LIMITS OF CATEGORIES INNA ENTOVA AIZENBUD Abstract. We describe the framework for the notion of a restricted inverse limit of categories, with the main motivating example being
More informationExplicit realization of affine vertex algebras and their applications
Explicit realization of affine vertex algebras and their applications University of Zagreb, Croatia Supported by CSF, grant. no. 2634 Conference on Lie algebras, vertex operator algebras and related topics
More informationMath 594. Solutions 5
Math 594. Solutions 5 Book problems 6.1: 7. Prove that subgroups and quotient groups of nilpotent groups are nilpotent (your proof should work for infinite groups). Give an example of a group G which possesses
More informationCONSIDERATION OF COMPACT MINIMAL SURFACES IN 4-DIMENSIONAL FLAT TORI IN TERMS OF DEGENERATE GAUSS MAP
CONSIDERATION OF COMPACT MINIMAL SURFACES IN 4-DIMENSIONAL FLAT TORI IN TERMS OF DEGENERATE GAUSS MAP TOSHIHIRO SHODA Abstract. In this paper, we study a compact minimal surface in a 4-dimensional flat
More informationA construction of the affine VW supercategory
A construction of the affine VW supercategory Mee Seong Im United States Military Academy West Point, NY Institute for Computational and Experimental Research in Mathematics Brown University, Providence,
More informationarxiv: v1 [math.rt] 15 Oct 2008
CLASSIFICATION OF FINITE-GROWTH GENERAL KAC-MOODY SUPERALGEBRAS arxiv:0810.2637v1 [math.rt] 15 Oct 2008 CRYSTAL HOYT AND VERA SERGANOVA Abstract. A contragredient Lie superalgebra is a superalgebra defined
More informationSCHUR-WEYL DUALITY FOR QUANTUM GROUPS
SCHUR-WEYL DUALITY FOR QUANTUM GROUPS YI SUN Abstract. These are notes for a talk in the MIT-Northeastern Fall 2014 Graduate seminar on Hecke algebras and affine Hecke algebras. We formulate and sketch
More informationSYMPLECTIC GEOMETRY: LECTURE 5
SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The
More informationA PIERI RULE FOR HERMITIAN SYMMETRIC PAIRS. Thomas J. Enright, Markus Hunziker and Nolan R. Wallach
A PIERI RULE FOR HERMITIAN SYMMETRIC PAIRS Thomas J. Enright, Markus Hunziker and Nolan R. Wallach Abstract. Let (G, K) be a Hermitian symmetric pair and let g and k denote the corresponding complexified
More informationNormal form for the non linear Schrödinger equation
Normal form for the non linear Schrödinger equation joint work with Claudio Procesi and Nguyen Bich Van Universita di Roma La Sapienza S. Etienne de Tinee 4-9 Feb. 2013 Nonlinear Schrödinger equation Consider
More informationQUATERNIONS AND ROTATIONS
QUATERNIONS AND ROTATIONS SVANTE JANSON 1. Introduction The purpose of this note is to show some well-known relations between quaternions and the Lie groups SO(3) and SO(4) (rotations in R 3 and R 4 )
More informationIVAN LOSEV. Lemma 1.1. (λ) O. Proof. (λ) is generated by a single vector, v λ. We have the weight decomposition (λ) =
LECTURE 7: CATEGORY O AND REPRESENTATIONS OF ALGEBRAIC GROUPS IVAN LOSEV Introduction We continue our study of the representation theory of a finite dimensional semisimple Lie algebra g by introducing
More informationProduct Zero Derivations on Strictly Upper Triangular Matrix Lie Algebras
Journal of Mathematical Research with Applications Sept., 2013, Vol.33, No. 5, pp. 528 542 DOI:10.3770/j.issn:2095-2651.2013.05.002 Http://jmre.dlut.edu.cn Product Zero Derivations on Strictly Upper Triangular
More informationRepresentations Are Everywhere
Representations Are Everywhere Nanghua Xi Member of Chinese Academy of Sciences 1 What is Representation theory Representation is reappearance of some properties or structures of one object on another.
More information(6) For any finite dimensional real inner product space V there is an involutive automorphism α : C (V) C (V) such that α(v) = v for all v V.
1 Clifford algebras and Lie triple systems Section 1 Preliminaries Good general references for this section are [LM, chapter 1] and [FH, pp. 299-315]. We are especially indebted to D. Shapiro [S2] who
More informationMath 530 Lecture Notes. Xi Chen
Math 530 Lecture Notes Xi Chen 632 Central Academic Building, University of Alberta, Edmonton, Alberta T6G 2G1, CANADA E-mail address: xichen@math.ualberta.ca 1991 Mathematics Subject Classification. Primary
More informationREPRESENTATION THEORY OF S n
REPRESENTATION THEORY OF S n EVAN JENKINS Abstract. These are notes from three lectures given in MATH 26700, Introduction to Representation Theory of Finite Groups, at the University of Chicago in November
More informationA note on standard equivalences
Bull. London Math. Soc. 48 (2016) 797 801 C 2016 London Mathematical Society doi:10.1112/blms/bdw038 A note on standard equivalences Xiao-Wu Chen Abstract We prove that any derived equivalence between
More informationDEFORMATIONS OF ALGEBRAS IN NONCOMMUTATIVE ALGEBRAIC GEOMETRY EXERCISE SHEET 1
DEFORMATIONS OF ALGEBRAS IN NONCOMMUTATIVE ALGEBRAIC GEOMETRY EXERCISE SHEET 1 TRAVIS SCHEDLER Note: it is possible that the numbers referring to the notes here (e.g., Exercise 1.9, etc.,) could change
More informatione j = Ad(f i ) 1 2a ij/a ii
A characterization of generalized Kac-Moody algebras. J. Algebra 174, 1073-1079 (1995). Richard E. Borcherds, D.P.M.M.S., 16 Mill Lane, Cambridge CB2 1SB, England. Generalized Kac-Moody algebras can be
More informationarxiv: v1 [math.rt] 11 Sep 2009
FACTORING TILTING MODULES FOR ALGEBRAIC GROUPS arxiv:0909.2239v1 [math.rt] 11 Sep 2009 S.R. DOTY Abstract. Let G be a semisimple, simply-connected algebraic group over an algebraically closed field of
More informationarxiv: v3 [math.rt] 13 Jun 2016
CUSPIDAL CALOGERO MOSER AND LUSZTIG FAMILIES FOR COXETER GROUPS GWYN BELLAMY AND ULRICH THIEL arxiv:1505.00486v3 [math.rt] 13 Jun 2016 ABSTRACT. The goal of this paper is to compute the cuspidal Calogero
More informationA NOTE ON FREE QUANTUM GROUPS
A NOTE ON FREE QUANTUM GROUPS TEODOR BANICA Abstract. We study the free complexification operation for compact quantum groups, G G c. We prove that, with suitable definitions, this induces a one-to-one
More informationDETECTING RATIONAL COHOMOLOGY OF ALGEBRAIC GROUPS
DETECTING RATIONAL COHOMOLOGY OF ALGEBRAIC GROUPS EDWARD T. CLINE, BRIAN J. PARSHALL AND LEONARD L. SCOTT Let G be a connected, semisimple algebraic group defined over an algebraically closed field k of
More informationHighest-weight Theory: Verma Modules
Highest-weight Theory: Verma Modules Math G4344, Spring 2012 We will now turn to the problem of classifying and constructing all finitedimensional representations of a complex semi-simple Lie algebra (or,
More informationLie Superalgebras and Sage
1/19 Lie Superalgebras and Sage Daniel Bump July 26, 2018 With the connivance of Brubaker, Schilling and Scrimshaw. 2/19 Lie Methods in Sage Lie methods in WeylCharacter class: Compute characters of representations
More informationTHE BRAUER HOMOMORPHISM AND THE MINIMAL BASIS FOR CENTRES OF IWAHORI-HECKE ALGEBRAS OF TYPE A. Andrew Francis
THE BRAUER HOMOMORPHISM AND THE MINIMAL BASIS FOR CENTRES OF IWAHORI-HECKE ALGEBRAS OF TYPE A Andrew Francis University of Western Sydney - Hawkesbury, Locked Bag No. 1, Richmond NSW 2753, Australia a.francis@uws.edu.au
More informationHOMOLOGICAL DIMENSIONS AND REGULAR RINGS
HOMOLOGICAL DIMENSIONS AND REGULAR RINGS ALINA IACOB AND SRIKANTH B. IYENGAR Abstract. A question of Avramov and Foxby concerning injective dimension of complexes is settled in the affirmative for the
More informationBLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n)
BLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n) VERA SERGANOVA Abstract. We decompose the category of finite-dimensional gl (m n)- modules into the direct sum of blocks, show that
More informationc ij x i x j c ij x i y j
Math 48A. Class groups for imaginary quadratic fields In general it is a very difficult problem to determine the class number of a number field, let alone the structure of its class group. However, in
More informationSPLITTING FIELDS OF CHARACTERISTIC POLYNOMIALS IN ALGEBRAIC GROUPS
SPLITTING FIELDS OF CHARACTERISTIC POLYNOMIALS IN ALGEBRAIC GROUPS E. KOWALSKI In [K1] and earlier in [K2], questions of the following type are considered: suppose a family (g i ) i of matrices in some
More informationarxiv: v1 [math.rt] 14 Nov 2007
arxiv:0711.2128v1 [math.rt] 14 Nov 2007 SUPPORT VARIETIES OF NON-RESTRICTED MODULES OVER LIE ALGEBRAS OF REDUCTIVE GROUPS: CORRIGENDA AND ADDENDA ALEXANDER PREMET J. C. Jantzen informed me that the proof
More information12. Hilbert Polynomials and Bézout s Theorem
12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of
More informationIVAN LOSEV. KEK 1 = q 2 E, KF K 1 = q 2 F, EF F E = K K 1 q q 1.
LECTURE 13: REPRESENTATIONS OF U q (g) AND R-MATRICES IVAN LOSEV Introduction In this lecture we study the representation theory of U q (g) when q is not a root of 1. In Section 1, we classify the finite
More informationCartan A n series as Drinfeld doubles
Monografías de la Real Academia de Ciencias de Zaragoza. 9: 197 05, (006). Cartan A n series as Drinfeld doubles M.A. del Olmo 1, A. Ballesteros and E. Celeghini 3 1 Departamento de Física Teórica, Universidad
More informationTRANSLATION-INVARIANT FUNCTION ALGEBRAS ON COMPACT GROUPS
PACIFIC JOURNAL OF MATHEMATICS Vol. 15, No. 3, 1965 TRANSLATION-INVARIANT FUNCTION ALGEBRAS ON COMPACT GROUPS JOSEPH A. WOLF Let X be a compact group. $(X) denotes the Banach algebra (point multiplication,
More informationarxiv:math/ v1 [math.ra] 9 Jun 2006
Noetherian algebras over algebraically closed fields arxiv:math/0606209v1 [math.ra] 9 Jun 2006 Jason P. Bell Department of Mathematics Simon Fraser University 8888 University Drive Burnaby, BC, V5A 1S6
More informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
More informationLECTURES ON SYMPLECTIC REFLECTION ALGEBRAS
LECTURES ON SYMPLECTIC REFLECTION ALGEBRAS IVAN LOSEV 18. Category O for rational Cherednik algebra We begin to study the representation theory of Rational Chrednik algebras. Perhaps, the class of representations
More informationMath 121 Homework 5: Notes on Selected Problems
Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements
More informationLECTURE 3: TENSORING WITH FINITE DIMENSIONAL MODULES IN CATEGORY O
LECTURE 3: TENSORING WITH FINITE DIMENSIONAL MODULES IN CATEGORY O CHRISTOPHER RYBA Abstract. These are notes for a seminar talk given at the MIT-Northeastern Category O and Soergel Bimodule seminar (Autumn
More informationarxiv:math/ v1 [math.rt] 6 Mar 2007
CALOGERO-MOSER SPACE, REDUCED RATIONAL CHEREDNIK ALGEBRAS AND TWO-SIDED CELLS. I.G. GORDON AND M. MARTINO arxiv:math/0703153v1 [math.rt] 6 Mar 2007 Abstract. We conjecture that the nilpotent points of
More informationMAT 5330 Algebraic Geometry: Quiver Varieties
MAT 5330 Algebraic Geometry: Quiver Varieties Joel Lemay 1 Abstract Lie algebras have become of central importance in modern mathematics and some of the most important types of Lie algebras are Kac-Moody
More informationOn p-blocks of symmetric and alternating groups with all irreducible Brauer characters of prime power degree. Christine Bessenrodt
On p-blocks of symmetric and alternating groups with all irreducible Brauer characters of prime power degree Christine Bessenrodt Institut für Algebra, Zahlentheorie und Diskrete Mathematik Leibniz Universität
More informationarxiv: v1 [math.oa] 22 Jan 2018
SIMPLE EQUIVARIANT C -ALGEBRAS WHOSE FULL AND REDUCED CROSSED PRODUCTS COINCIDE YUHEI SUZUKI arxiv:1801.06949v1 [math.oa] 22 Jan 2018 Abstract. For any second countable locally compact group G, we construct
More informationFLABBY STRICT DEFORMATION QUANTIZATIONS AND K-GROUPS
FLABBY STRICT DEFORMATION QUANTIZATIONS AND K-GROUPS HANFENG LI Abstract. We construct examples of flabby strict deformation quantizations not preserving K-groups. This answers a question of Rieffel negatively.
More informationarxiv: v1 [math.rt] 4 Jan 2016
IRREDUCIBLE REPRESENTATIONS OF THE CHINESE MONOID LUKASZ KUBAT AND JAN OKNIŃSKI Abstract. All irreducible representations of the Chinese monoid C n, of any rank n, over a nondenumerable algebraically closed
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics PICARD VESSIOT EXTENSIONS WITH SPECIFIED GALOIS GROUP TED CHINBURG, LOURDES JUAN AND ANDY R. MAGID Volume 243 No. 2 December 2009 PACIFIC JOURNAL OF MATHEMATICS Vol. 243,
More informationSCHUR-WEYL DUALITY QUANG DAO
SCHUR-WEYL DUALITY QUANG DAO Abstract. We will switch gears this week and talk about the relationship between irreducible representations of the symmetric group S k and irreducible finite-dimensional representations
More informationVector valued Jack polynomials. Jean-Gabriel Luque
Vector valued Jack polynomials Jean-Gabriel Luque What are Jack polynomials? The story begins in 1960's... Inner product: Orthogonal polynomials How to define multivariate orthogonal polynomials? Interpretation
More informationLECTURE 10: KAZHDAN-LUSZTIG BASIS AND CATEGORIES O
LECTURE 10: KAZHDAN-LUSZTIG BASIS AND CATEGORIES O IVAN LOSEV Introduction In this and the next lecture we will describe an entirely different application of Hecke algebras, now to the category O. In the
More informationLIE TORI OF RANK 1 B. ALLISON, J. FAULKNER, AND Y. YOSHII
LIE TORI OF RANK 1 B. ALLISON, J. FAULKNER, AND Y. YOSHII This article is based on a talk presented by the first author at the conference on Lie and Jordan Algebras, their Representations and Applications
More informationA CANONICAL LIFT OF FROBENIUS IN MORAVA E-THEORY. 1. Introduction
A CANONICAL LIFT OF FROBENIUS IN MORAVA E-THEORY NATHANIEL STAPLETON Abstract. We prove that the pth Hecke operator on the Morava E-cohomology of a space is congruent to the Frobenius mod p. This is a
More informationHochschild and cyclic homology of a family of Auslander algebras
Hochschild and cyclic homology of a family of Auslander algebras Rachel Taillefer Abstract In this paper, we compute the Hochschild and cyclic homologies of the Auslander algebras of the Taft algebras
More informationRepresentations of Totally Disconnected Groups
Chapter 5 Representations of Totally Disconnected Groups Abstract In this chapter our goal is to develop enough of the representation theory of locally compact totally disconnected groups (or td groups
More informationDISCRETE MATH (A LITTLE) & BASIC GROUP THEORY - PART 3/3. Contents
DISCRETE MATH (A LITTLE) & BASIC GROUP THEORY - PART 3/3 T.K.SUBRAHMONIAN MOOTHATHU Contents 1. Cayley s Theorem 1 2. The permutation group S n 2 3. Center of a group, and centralizers 4 4. Group actions
More informationON CHARACTERS AND DIMENSION FORMULAS FOR REPRESENTATIONS OF THE LIE SUPERALGEBRA
ON CHARACTERS AND DIMENSION FORMULAS FOR REPRESENTATIONS OF THE LIE SUPERALGEBRA gl(m N E.M. MOENS Department of Applied Mathematics, Ghent University, Krijgslaan 281-S9, B-9000 Gent, Belgium. e-mail:
More information