arxiv: v2 [math.rt] 4 Apr 2014

Transcription

1 Symmetry, Integrablty and Geometry: Methods and Applcatons Mystc Reflecton Groups SIGMA 10 (2014), 040, 11 pages Yur BAZLOV and Arkady BERENSTEIN School of Mathematcs, Unversty of Manchester, Oxford Road, Manchester, M13 9PL, UK E-mal: Department of Mathematcs, Unversty of Oregon, Eugene, OR 97403, USA E-mal: Receved December 25, 2013, n fnal form March 24, 2014; Publshed onlne Aprl 04, arxv: v2 [math.rt] 4 Apr 2014 Abstract. Ths paper ams to systematcally study mystc reflecton groups that emerged ndependently n the paper [Selecta Math. (N.S.) 14 (2009), ] by the authors and n the paper [Algebr. Represent. Theory 13 (2010), ] by Krkman, Kuzmanovch and Zhang. A detaled analyss of ths class of groups reveals that they are n a nontrval correspondence wth the complex reflecton groups G(m, p, n). We also prove that the group algebras of correspondng groups are somorphc and classfy all such groups up to somorphsm. Key words: complex reflecton; mystc reflecton group; thck subgroups 2010 Mathematcs Subect Classfcaton: 16G99; 20F55; 16S80 1 Introducton Let V be a complex vector space wth bass {x 1,..., x n }. Denote by S(V ) the symmetrc algebra of V. It s a fundamental fact that the algebra S(V ) Sn of symmetrc polynomals s somorphc to S(V ). More generally, the Chevalley Shephard Todd theorem asserts that for a fnte group G GL(V ), S(V ) G s somorphc to S(V ) f and only f G s generated by complex reflectons on V. In a remarkable paper [2], Krkman, Kuzmanovch and Zhang solved the followng problem: Problem 1.1. Gven a complex matrx q = (q, 1, n) wth q q = 1, q = 1, let S q (V ) be the algebra generated by V subect to the relatons x x = q x x for 1, n. Fnd all fnte groups G such that (a) G acts on the algebra S q (V ) by degree-preservng automorphsms; (b) The fxed pont algebra S q (V ) G s somorphc to S q (V ) for some q. We wll refer to a group G satsfyng (a) and (b) above as a mystc reflecton group. Independently, n [1] we solved the followng problem: Problem 1.2. Classfy all algebras A such that A s generated by the space V, ts dual V and a fnte group G GL(V ); A admts a trangular decomposton A = S q (V ) CG S q (V ) for some q as above; S q (V ) and S q (V ) are nvarant under conugaton by elements of G, and the restrcton of these conugaton representatons to V and V s the natural acton of G on these spaces; y x q x y CG for all,, where {y 1,..., y n } s the bass of V dual to {x 1,..., x n }. Ths paper s a contrbuton to the Specal Issue n honor of Anatol Krllov and Tetsu Mwa. collecton s avalable at The full

2 2 Y. Bazlov and A. Berensten Comparng [2, Theorem 1.1 and Corollary 5.6] and [1, Theorem 0.7], one obtans the followng surprsng result: Theorem 1.3. A group G solves Problem 1.2 f and only f t s a mystc reflecton group. The goal of ths paper s to demystfy the mystc reflecton groups, develop ther structural theory, show that ther group algebras are somorphc to those of complex reflecton groups, and to deduce Problem 1.1 drectly from the classcal Chevalley Shepard Todd theorem. 2 Man results We start wth a new noton of mystcal equvalence of group actons, whch s crucal for what follows. Defnton 2.1. Let : G V V, : G V V be fathful actons of fnte groups G, respectvely G, on a complex vector space V. We say that the actons and are mystcally equvalent, f ρ(e G ) = ρ (e G ), where ρ: CG End C V and ρ : CG End C V are the algebra homomorphsms defned by the actons, and e G denotes the element g of CG. g G Mystcal equvalence of the actons of G and G s a strengthenng of the condton that the respectve spaces V G and V G of nvarants are equal, due to the followng obvous result. Lemma 2.2. If a G-acton and a G -acton on V are mystcally equvalent, then V G = V G. We wll use the lemma n the stuaton where V = S(V ) where V s a vector space over C wth a chosen bass {x 1,..., x n }. Throughout the paper, n 2. Denote by G n the group of monomal matrces on V, that s, matrces n GL n (C) wth exactly n non-zero entres. In other words, G n = (C ) n S n. Here (C ) n s naturally dentfed wth the group of dagonal matrces n GL n (C) and acts on V by scalng the bass {x 1,..., x n }. The symmetrc group S n s dentfed wth the group of permutaton matrces and acts on V by permutng the same bass. Note that G n s the normalzer of the torus (C ) n n GL n (C). In partcular, S n acts on (C ) n by conugaton. When we wrte tw G n, we wll mply that t (C ) n and w S n ; every element of G n can be unquely wrtten n ths way. Clearly, G n s generated by s 1,..., s n 1 and t (ζ), 1 n, ζ C, where s S n s the permutaton of {x 1,..., x n } whch swaps x and x +1 ; t (ζ) (C ) n maps x k to ζ δ kx k. We fnd t very convenent to use the lnear character det: G n C of G n, whch s ust the restrcton of the determnant character of GL n (C) to G n. In partcular, ( ) det s = 1, det w {±1} for w S n, det t (ζ 1) 1 t (ζ 2) 2 t (ζn) n = ζ 1 ζ 2 ζ n. { Next, we ntroduce two dfferent fathful actons of G n on S(V ) usng the natural bass x k 1 1 } xkn n : k 1,..., k n Z 0 of S(V ). (At the moment, we are not usng any multplcaton on S(V ).)

3 Mystc Reflecton Groups 3 Proposton 2.3. (a) There exst (unque) fathful actons +, of G n on S(V ) such that s ± x k 1 1 xkn n = (±1) k k +1 x k 1 t (ζ) ± x k 1 1 xkn n = ζ k x k 1 1 xkn n 1 xk +1 x k +1 xkn n, for any = 1,..., n 1, = 1,..., n, ζ C. Both actons extend the defnng acton of G n on V. (b) The acton + of G n on S(V ) s compatble wth the natural commutatve multplcaton on S(V ), n the sense that G n acts by automorphsms of the algebra S(V ). (c) The acton of G n on S(V ) s compatble wth the algebra structure S 1 (V ) on S(V ) (whch s S q (V ) wth q = 1 for all ); (d) ρ + (CG n ) = ρ (CG n ), where ρ ± : CG n End C S(V ) are the algebra homomorphsms arsng from the actons ±. Moreover, ρ = ρ + J for some algebra automorphsm J of CG n. Remark 2.4. By a powerful result on group actons on ntegral domans, see Corollary 4.2 from the Appendx taken wth R = C, A = S(V ), the acton + s fathful, and moreover the correspondng algebra homomorphsm ρ + : CG n End C S(V ) s nectve. It follows from (d) that ρ : CG n End C S 1 (V ) s also nectve. Ths fact does not readly follow from classcal results. At ths pont, we restrct our attenton to fnte subgroups G of G n namely, to Shephard Todd s mprmtve complex reflecton groups G(m, p, n) and the groups W C,C, ntroduced ndependently n [1] and [2] and defned as follows. Let n 1 and C C be two fnte subgroups of C of orders m p, m respectvely. Then G(m, p, n) = {tw C n S n : det t C }, W C,C = {tw C n S n : det(tw) C }. The smlarty of the two defntons manfests tself n our frst man result where a correspondence, µ, between the two classes of subgroups of G n s establshed. Man Theorem 2.5. Gven n 1, an even m 2 and a dvsor p of m, let G = G(m, p, n). Then there exsts a unque fnte subgroup µ(g) G n such that the restrcton of onto µ(g) s mystcally equvalent to + on G. In fact, µ(g) = W C,C, where C = m, C = m p. The defnton of the group µ(g) suggests that the nvarants of µ(g(m, p, n)) = W C,C should be vewed n the noncommutatve algebra S 1 (V ), where ths group acts va. To descrbe these nvarants, ntroduce the followng elements n the space S(V ): p (m) k = n =1 x km, k = 1,..., n 1, r (l) = x l 1x l 2 x l n. The classcal result of Shephard Todd and Chevalley asserts that the subalgebra S(V ) G(m,p,n) of S(V ) (wth respect to the natural commutatve product on S(V )) equals the polynomal algebra C [ p (m) 1,..., p (m) n 1, m )] r( p. Our mystc equvalence constructon mmedately leads to the followng result, frst obtaned by Krkman, Kuzmanovch and Zhang as a key ngredent n the classfcaton theorem [2, Theorem 1.1].

4 4 Y. Bazlov and A. Berensten Theorem 2.6. In the notaton of Theorem 2.5, let m be even. Then n the algebra S 1 (V ), (a) the elements p ( C ) 1,..., p ( C ) n 1, r( C ) are parwse commutng nvarants of the group W C,C ; (b) S 1 (V ) W C,C = C [ p ( C ) 1,..., p ( C ) n 1, r( C ) ]. Remark 2.7. Ths result shows that the condton that m s even n Theorem 2.5 s mportant: the symmetrc group S n = G(1, 1, n) does not have a mystcal counterpart, and ndeed the correspondence µ cannot be extended to groups G(m, p, n) where m s odd. Ths happens because the space of the nvarants of G(m, p, n) n S(V ) s not closed under the multplcaton n S 1 (V ), and therefore cannot be the space of nvarants of a group actng by automorphsms of S 1 (V ). The groups G = G(m, p, n) and µ(g) are of the same order mn n! p, and, nformally, they look very smlar. Our next man result makes ths nformal statement more precse. We keep the notaton from Theorem 2.5 and denote by R the rng Z [ ] 1+ 2 C. Man Theorem 2.8. For all G as n Theorem 2.5, the group rngs RG and Rµ(G) are somorphc. In partcular, CG = Cµ(G). Ths theorem s rather nontrval because the groups G and µ(g) are often not somorphc as abstract groups. Indeed, t was shown n [2, Example 7.3] that the group G = G(2, 2, n) s not somorphc to ts mystc counterpart µ(g) = W {±1},{1} for all even n. We generalze ths observaton and gve a complete lst of cases where G s not somorphc to µ(g). Theorem 2.9. In the notaton of Theorem 2.5, let G = G(m, p, n) wth m even. Then the groups G and µ(g) are not somorphc as abstract groups, f and only f n s even and m p s odd. We go further than ths and classfy all groups of the form G = G(m, p, n) and µ(g) up to somorphsm. We need the followng useful noton. Defnton We say that a subgroup G of a semdrect product T H s thck f π(g) = H, where π : T H H s the canoncal proecton onto the second factor; G s normal n n T H. It s not dffcult to see that all the groups from Theorem 2.5 are thck subgroups of G(m, 1, n) = C n S n. It turns out that a converse s also true. Theorem Let C be the subgroup of C of order m. Then every thck subgroup of C n S n s of the form G(m, p, n) or (f m s even) W C,C, and n partcular, s a mystc reflecton group. The followng completes the classfcaton of thck subgroups of all G(m, 1, n) up to somorphsm. We keep the notaton used n the precedng theorems. Theorem Let G G(m, 1, n), G G(m, 1, n ) be thck subgroups. (a) Suppose that n = n and G G n G n. Then G = G f and only f n s odd, m = m s even, and {G, G } = {G(m, p, n), µ(g(m, p, n))} for some p such that m p s odd. (b) Suppose that n<n. Then G = G f and only f n=3, n =4, G {G(2, 2, 3), µ(g(2, 2, 3))}, G = G(1, 1, 4) = S 4. Remark It s not dffcult to see that f m p s even (n the notaton of Theorem 2.5), then G = µ(g) n G n. Ths theorem together wth Theorem 2.8 mples that the converse s also true. The above classfcaton suggests the followng general problem whch we do not address n the present paper: Problem Gven a semdrect product group T H where T and H are fnte, classfy all fnte thck subgroups of T H up to somorphsm.

5 Mystc Reflecton Groups 5 3 Proofs of results from Secton 2 We wll repeatedly use the followng straghtforward techncal fact about the root system of type A n 1, the proof of whch s left to the reader as an exercse. Clam 3.1. Let A be a multplcatvely wrtten abelan group. Let φ : Z n A, 1, n,, be a system of maps satsfyng φ (w(k)) = φ w 1 (),w 1 ()(k), φ (k)φ (k) = 1 for all k = (k 1,..., k n ) Z n, w S n, where w(k) stands for (k w 1 (1),..., k w 1 (n)). Denote Then: φ w (k) = <,w()>w() (a) For all w, w S n, φ (k). φ w w(k) = φ w (w(k))φ w (k). (b) If for all and for all k, k Z n one has φ (k + k ) = a k k k k φ (k)φ (k ), then for all w S n one has k, k φ w (k + k ) = w(k), w(k ) φ w (k)φ w (k ), where k, k = < Proof of Proposton 2.3 a k k. Here a are elements of A such that a = a. Observe that the group G n GL n (C) s generated by S n and (C ) n subect to the semdrect product relatons wt (ζ) = t (ζ) w() w, for all w S n, {1,..., n}, ζ C. In what follows, we use the abbrevaton x k to denote x k 1 1 xkn n, where k = (k 1,..., k n ) Z n 0. For c C, defne φ (c) : Zn C by φ (c) (k) = ( 1)k k c k k, where k = (k mod 2) {0, 1}. Addtonally, defne φ (0) (k) = 1 for all k. Because ) φ(c 1 (k) = φ (c) (k) 1 = φ (c) (k), the system φ (c) satsfes the condton n Clam 3.1 and hence gves rse to functons φ (c) w. The followng lemma s then mmedate from Clam 3.1(a). Lemma 3.2. For each c C, the formula n wt (ζ 1) 1 t (ζn) n c x k = φ (c) w (k) x w(k) =1 defnes an acton c of the group G n on the space S(V ). ζ k

6 6 Y. Bazlov and A. Berensten The actons 0, 1 gven by Lemma 3.2 concde on the generators s, t (ζ) of G n wth the actons +, defned n part (a) of Proposton 2.3. Hence part (a) of the proposton s proved. Denote by +, respectvely, the multplcaton on the algebra S(V ), respectvely S 1 (V ). One has the followng multplcaton rule for monomals: x k ± x k = k, k ± x k+k for all k, k Z n 0, where k, k ± s as gven n Clam 3.1(b) wth all a = ±1,. It s enough to check that w ± and t (ζ) ± are automorphsms of the respectve algebra structures on S(V ). We apply these actons to both sdes of the multplcaton rule for monomals and check that the results are equal. Ths s trval for t (ζ) ±. For w ± where w S n, the equalty s guaranteed by Clam 3.1(b) and Lemma 3.2, appled to functons φ + = φ(0) respectvely φ = φ(1). Ths proves parts (b), (c) of Proposton 2.3. Now let us prove part (d) of Proposton 2.3. Clearly, the natural S n -acton on the group (C ) n G n extends to that on the group algebra C(C ) n. For each c C \ {0}, w S n, defne the element Q (c) w C(C ) n by Q (c) w = where Q (c) = 1 4 <:w()>w() Q (c), (( c + c 1 )( 1 t ( 1) t ( 1) ) ( + c c ) t ( 1), + ( c 1 c + 2 ) t ( 1) ), 1, n. Lemma 3.3. For all w, w S n, c C, Q (c) w Q (c 1 ) w = 1 and Q (c) w w = w 1 (Q (c) w ) Q (c) w. Proof. Denote by F the algebra of all functons from Z n to C wth pontwse addton and multplcaton. Clearly, the assgnment t (ζ 1) 1... t (ζn) n (k ζ k ζkn n ) defnes a group homomorphsm (C ) n F whch extends to an nectve map Ψ: C(C ) n F. It s easy to check that Ψ(Q (c) ) = φ(c) where φ (c) s as n Lemma 3.2. In partcular, Q (c) ) Q(c 1 = 1 snce φ (c) ) φ(c 1 = 1 and Ψ s nectve. Ths proves the frst asserton of the lemma. To prove the second asserton, apply Ψ 1 to Clam 3.1(a) and use the fact that the functon k φ(w(k)) s mapped by Ψ 1 to w 1 (Ψ 1 (φ)) for all functons φ from the subgroup of F generated by {φ (c) : }. Now for each c C defne the C-lnear map J c : CG n CG n by the formula J c (wt) = wtq (c) w, t C(C ) n, w S n. Lemma 3.4. For each n 1, (a) J c s an algebra automorphsm of CG n wth nverse J c 1. (b) ρ + J c = ρ c, where ρ c : CG n End C S(V ) s the algebra homomorphsm correspondng to c. Proof. On the one hand, J c (w t wt) = J c (w w w 1 (t )t) = w w w 1 (t )tq (c) w w. On the other hand, J c (w t )J c (wt) = w t Q (c) w wtq (c) w = w w w 1 (t )tw 1 (Q (c) w )Q (c) w = J c (w t wt) by the second asserton of Lemma 3.3. Hence J c s a homomorphsm of algebras. Now ( ) J c (J c 1(wt)) = J c wtq (c 1 ) w = wtq (c 1 ) w Q (c) w = wt by the frst asserton of Lemma 3.3. Ths proves part (a) of the lemma.

7 Mystc Reflecton Groups 7 Prove (b). In vew of Lemma 3.2, t suffces to show that Q (c) w + x k = φ (c) w (k)x k. Indeed, Q (c) w + x k = 1 (( c + c 1 )( 1 ( 1) k ) ( +k + c c ) ( 1) k + ( c 1 c + 2 ) ( 1) k ) x k 4 Fnally, = φ (c) (k)xk. J c (wt) + x k = ( wtq (c) w ) + x k = (wt) + ( Q (c) w + x k) = φ (c) w (k)(wt) + x k = wt c x k. Takng c = 1 n Lemma 3.4(b), we settle Proposton 2.3(d). Proposton 2.3 s proved. Proof of Theorem 2.5 We retan the notaton from the proof of Proposton 2.3. Let G = G(m, p, n) as n the theorem, and denote T := G (C ) n. Let e T = t CT CG. Clearly, t ( 1) e T = t ( 1) 1 e T for all t T = 1,..., n. Hence Q (c) e T = t ( 1) 1 e T for all c C, so that Q (c) (det w) w e T = t 1 e T for all w S n. Snce, as sets, G = {wt w S n, t T }, one has e G = w e T and w S n (det w) J c (e G ) = J c (w)e T = wq (c) w e T = wt 1 e T = e µ(g), w S n w S n w S n because, as sets, µ(g) = { (det w) wt 1 t w S n, t T }. Snce a subgroup G of G n s unquely determned by e G CG n, the group µ(g) s a unque subgroup G of G n such that J c (e G ) = e G. Fnally, by Lemma 3.4(b), ρ c (e G ) = ρ + (e µ(g) ). Settng c = 1 and usng nectvty of ρ +, see Remark 2.4, completes the proof of Theorem 2.5. Proof of Theorem 2.8 Let G = G(m, p, n). Consder the restrcton of J, = 1 to RG = S n RT where T = G (C ) n = µ(g) (C ) n. Observe that J (T ) = T and J (s ) = s Q () s = s Q (),+1 = 1 ( 2 s (1 + )t ( 1) ) + (1 )t ( 1) +1 = σ σ 1, where σ = s t ( 1) µ(g). Thus, J (RG) Rµ(G), so that the automorphsm J of CG n restrcts to an somorphsm RG Rµ(G). Theorem 2.8 s proved. Proof of Theorem 2.11 It s convenent to prove Theorem 2.11 before Theorems 2.9 and We start wth the followng lemma. Lemma 3.5. Let G be a thck subgroup of G(m, 1, n) = C n S n where C s the subgroup of C of order m. Then the group T = G C n s of the form T C,C = {t C n : det t C } for some subgroup C C of C, and s generated by { t (ɛ ) 1 : ɛ C } { t (ɛ) t (ɛ 1 ) : ɛ C, 1, n }. Proof. Let ɛ be a generator of C, so that t (ɛ) 1 G(m, 1, n). Snce G s thck, there s an element n G of the form ts 1 where t C n. By the normalty of G, t (ɛ) 1 (ts 1)t (ɛ 1 ) 1 (ts 1 ) 1 = t (ɛ) ) 1 t(ɛ 1 2 belongs to G, hence to T. Because S n acts on T (by conugaton wthn G), t follows that t (ɛ) t (ɛ 1 ) T. These elements generate the subgroup T 0 = T C,{1} of T.

8 8 Y. Bazlov and A. Berensten Every element t T s equal, modulo T 0, to an element of the form t (ɛ ) 1 for some ɛ C, where ɛ = det t. Denote by C the group formed by all such ɛ. Then T T C,C, and, snce {t (ɛ ) 1 : ɛ C } T 0 generates T C,C, one has T T C,C. We contnue the proof of Theorem Let G be a thck subgroup of G(m, 1, n) = C n S n so that G C n = T C,C as n Lemma 3.5. Because G s thck, G contans an element of the form ts 1 where t C n. Premultplyng ts 1 by an element of T C,{1}, we conclude that G t (ɛ) 1 s 1, hence G contans (t (ɛ) 1 s 1) 2 = t (ɛ) 1 t(ɛ) 2. It follows that t(ɛ) 1 t(ɛ) 2 T C,C, hence det t (ɛ) 1 t(ɛ) 2 = ɛ 2 C. Ths means that ether ɛ C, mplyng t (ɛ) 1 G and s 1 G; or ɛ C, mplyng t ( ɛ) 1 G and t ( 1) 1 s 1 G. We note the followng easy lemma. Lemma 3.6. Let G be a normal subgroup of C n S n = G(m, 1, n) such that G C n = T C,C. (a) If G s 1, then G contans all elements of the form tw wth t T C,C and w S n. (b) If G t ( 1) (det w) 1 s 1, then G contans all elements tt 1 w wth t T C,C and w S n. To contnue the proof of Theorem 2.11, suppose s 1 G. Then by Lemma 3.6, G S n, Hence G = (G C n ) S n = T C,C S n. Then G = G(m, p, n) s a complex reflecton group wth m p = C. The only remanng case s s 1 / G but t ( 1) 1 s 1 G. It follows from Lemma 3.6 that t w G (where t C n and w S n ), f and only f t (det w) t 1 G, f and only f t (det w) t 1 G C n = T C,C, f and only f det ( t (det w) ) t C. Observng that det ( t ) t = det(t w), we obtan 1 G = {t w C n S n : det(t w) C } = W C,C. (det w) 1 In ths case, t ( 1) 1 s 1 C n S n means that 1 C. That s, m s even. Theorem 2.11 s proved. Proof of Theorem 2.9 We wll use the followng noton. Defnton 3.7. A thck subgroup G of G(m, 1, n) s regular, f for each normal abelan subgroup N of G, ether N = T G := G (C ) n or N < T G. Otherwse, G s sngular. Lemma 3.8. (a) Suppose that G s a regular thck subgroup of G(m, 1, n ), = 1, 2. If G 1 and G 2 are somorphc (as abstract groups), then m 1 = m 2, n 1 = n 2 and T G1 = T G2. (b) A thck subgroup G of G(m, 1, n) s sngular, f and only f G belongs to the followng lst: G(1, 1, n) wth n = 2, 3, 4, G(2, 1, 2), G(2, 2, 2), µ(g(2, 2, 2)). Proof. (a) Snce G s regular and T G s the unque largest order normal abelan subgroup of G, the restrcton of any somorphsm f : G 1 G 2 to T G1 s an somorphsm T G1 TG2, and f nduces an somorphsm f : S n1 = G 1 /T G1 S n2 = G 2 /T G2. Hence n 1 = n 2. Furthermore, m s the exponent of the group T G, hence m 1 = m 2. Fnally, T G = T C,C by Lemma 3.5, and T G = m n 1 C mples C 1 = C 2. Ths proves part (a). (b) Clearly, the subgroup T := T G = T C,C as n Lemma 3.5 s a normal abelan subgroup of G. Let N be a normal abelan subgroup of G. We wll show that N T.

9 Mystc Reflecton Groups 9 The map π : G S n s surectve as G s thck, therefore π(n) s a normal abelan subgroup of S n. Hence f n = 1 or n 5, π(n) can only be {1} so N ker π = T and G s regular. Let 2 n 4. Then S n has a unque normal abelan subgroup K whch s not {1}. Assume that N T. Then π(n) = K. One can check that K acts on the ndces 1,..., n transtvely, hence the centralzer of K n T s the set of scalar matrces n T, whch s the center C(G) of G. Because the conugaton acton of N on T factors through π(n), we have C G (N) T = C(G). But N s abelan, so N C G (N). Thus, N T C(G). Now let wt N where 1 w S n and t (C ) n. Let {1,..., n} be such that w(), and let ɛ be a generator of C. Then N t (ɛ) wt t (ɛ 1 ) (wt) 1 = t (ɛ) t (ɛ 1 ) w() whch s a scalar matrx only f m = 1 or m = n = 2. To prove the f part of Theorem 2.9, let m, n be even, m p be odd, and C, C be subgroups of C of order m p, m, respectvely. Assume for contradcton that there s an somorphsm ϕ: W C,C G(m, p, n). In the case G = G(2, 2, 2) = T {±1},{1} S 2, G s a Klen 4-group whch s not somorphc to W {±1},{1}, a cyclc group generated by s 1 t ( 1) 1 of order 4. In all other cases, by Lemma 3.5 T = T C,C s the unque maxmal normal abelan subgroup of W C,C and of G = G(m, p, n), hence ϕ(t ) = T and ϕ nduces an somorphsm ϕ: S n = µ(g)/t S n = G/T. Let us state three easy lemmas, n whch we refer to a cycle of length n n S n as a long cycle. Lemma 3.9. Let n be even and c S n be a long cycle. Then det ( t ( 1) 1 c ) = 1 and t ( 1) 1 c W C,C. Lemma For t (C ) n and a long cycle c, (tc) n = z (det t), where z (ɛ) denotes t (ɛ) 1 t(ɛ) 2 t(ɛ) n. Lemma The mage of a long cycle n S n under any automorphsm of S n s a long cycle. Let c be a long cycle n S n. By Lemma 3.9, c = t ( 1) 1 c µ(g). By Lemma 3.10, (c) n = z ( 1). Hence (c) n C = ( z ( 1)) C = z ( 1) as C = m p s odd. Now consder ϕ(c) G. It s of the form tϕ(c), where t s some element of C n such that, by defnton of G = G(m, p, n), det t C. By Lemma 3.11, ϕ(c) s a long cycle n S n. Therefore, by Lemma 3.10, (ϕ(c)) n C = ( z (det t)) C = z ((det t) C ) = 1. Ths s a contradcton, because the mage of z ( 1) 1 under an somorphsm ϕ cannot be 1. The f part of Theorem 2.9 s proved. To establsh the only f part of Theorem 2.9, observe that f m p s even, then the groups G = G(m, p, n) and µ(g) = W C,C smply concde as subgroups of G n. Indeed, n ths case det w {±1} C, hence the condtons det t C and det tw C are equvalent. If m s even, m p s odd and n s odd, both G = G(m, p, n) and µ(g) are normal subgroups of G = G(m, p 2, n) whch do not contan the central subgroup Z = { 1, z ( 1)} of G. Hence G = G Z = µ(g) Z, so that G = µ(g) = G/Z. Theorem 2.9 s proved. Proof of Theorem 2.12 Let G G(m, 1, n), G G(m, 1, n ) be thck subgroups. Assume that G G are regular n the sense of Defnton 3.7. Then by Lemma 3.8(a), G = G mples n = n, m = m and T G = T G, so we are done by Theorem By nspecton of the lst n Lemma 3.8(b), no two sngular subgroups are somorphc to each other. Also by nspecton, one shows that f n = n, G s sngular and G s regular, then G and G are never somorphc.

10 10 Y. Bazlov and A. Berensten The only remanng case s when n n, G s sngular and G s regular. If G = G, then n, n 4, because S 5 > G. Then, an easy analyss based on the cardnaltes of sngular groups shows that the only possble somorphsm s the one gven n part (b). Theorem 2.12 s proved. 4 Appendx The am of ths secton s to prove the followng mportant result about group rng actons. Theorem 4.1. Let A be an ntegral doman and G be a group of rng automorphsms of A. Then: (a) the natural map ρ: AG End Z (A) gven by ( ρ ( )) a g (a) = a g (a) s nectve; (b) wth respect to the natural rng structure on End Z (A) and the semdrect product structure A ZG on AG, the map ρ s a rng homomorphsm. The followng s mmedate from the theorem. Corollary 4.2. In the notaton of the theorem, let R be a subrng of A G. Then the restrcton of ρ to RG s an nectve rng homomorphsm RG End R A, where RG s the ordnary group rng of G. Proof of Theorem 4.1. We need the followng generalzaton of the celebrated Dedeknd s lemma. Lemma 4.3. Let A be an ntegral doman and B be a multplcatve monod. Let G be a set of monod homomorphsms B A. Then the natural A-lnear map ( ( )) ρ: AG Fun(B, A), ρ a g g (b) = a g g(b) g g s nectve. (Here AG = g G Ag s the free A-module generated by G.) Proof. Assume for contradcton that ρ s not nectve. Let G 0 be a mnmal fnte subset of G such that there exsts a non-zero element g G 0 a g g n the kernel of ρ. That s, g G 0 a g g(b) = 0 for all b B. Clearly, all a g are non-zero and G 0 > 1 because A has no zero dvsors. In partcular, for each b, b B, a g g(b b) = a g g(b )g(b) = 0, g G 0 g G 0 because all g G 0 are homomorphsms from B to A. Furthermore, fx h G 0. Combnng the above denttes, we obtan a g g(b )(g(b) h(b)) = 0 for all b, b B. g G 0 \{h}

11 Mystc Reflecton Groups 11 That s, for each b B, the element k b := a g (g(b) h(b))g g G 0 \{h} belongs to ker ρ. The mnmalty of G 0 mples that k b = 0 for all b B, whch s equvalent to g(b) = h(b) for all b B and all g G 0. That s, G 0 = 1, a contradcton. We now use Lemma 4.3 for A as n Theorem 4.1 wth B = A \ {0} and G = G vewed as homomorphsms of monods A \ {0} A. Snce End Z A s naturally a subset of Fun(A \ {0}, A) and ρ(ag) End Z A Fun(A \ {0}, A), part (a) of Theorem 4.1 s proved. To prove (b), note that End Z A s naturally a rng, wth multplcaton beng composton of maps. The semdrect product multplcaton on AG s gven by the formula (ag)(a g ) = ag(a ) gg for all a, a A, g, g G. Then ρ((ag)(a g ))(b) = a g(a g (b)) = a g(a ) g(g (b)) = ag(a )(gg )(b) for all a, a, b A, g, g G. Part (b) of the theorem s proved. Acknowledgments We thank Ken Brown for brngng the paper [2] to our attenton, and Alexander Premet for stmulatng dscussons. The present paper was started when both authors were research members of the Mathematcal Scences Research Insttute. We thank the Insttute and the organzers of the Noncommutatve Algebrac Geometry and Representaton Theory program for creatng an atmosphere conducve for research. We acknowledge partal support of the LMS Research n Pars grant ref The second named author was partally supported by the NSF grant DMS References [1] Bazlov Y., Berensten A., Noncommutatve Dunkl operators and braded Cherednk algebras, Selecta Math. (N.S.) 14 (2009), , arxv: [2] Krkman E., Kuzmanovch J., Zhang J.J., Shephard Todd Chevalley theorem for skew polynomal rngs, Algebr. Represent. Theory 13 (2010), , arxv: