Complex reflection group

In mathematics, a complex reflection group is a finite group acting on a finite-dimensional complex vector space that is generated by complex reflections: non-trivial elements that fix a complex hyperplane pointwise.

Complex reflection groups arise in the study of the invariant theory of polynomial rings. In the mid-20th century, they were completely classified in work of Shephard and Todd. Special cases include the symmetric group of permutations, the dihedral groups, and more generally all finite real reflection groups (the Coxeter groups or Weyl groups, including the symmetry groups of regular polyhedra).

Definition

A (complex) reflection r (sometimes also called pseudo reflection or unitary reflection) of a finite-dimensional complex vector space V is an element of finite order that fixes a complex hyperplane pointwise. I.e., the fixed-space has codimension 1.

A (finite) complex reflection group is a finite subgroup of that is generated by reflections.

Properties

Any real reflection group becomes a complex reflection group if we extend the scalars from R to C. In particular all Coxeter groups or Weyl groups give examples of complex reflection groups.

A complex reflection group W is irreducible if the only W-invariant proper subspace of the corresponding vector space is the origin. In this case, the dimension of the vector space is called the rank of W.

The Coxeter number of an irreducible complex reflection group W of rank is defined as where denotes the set of reflections and denotes the set of reflecting hyperplanes. In the case of real reflection groups, this definition reduces to the usual definition of the Coxeter number for finite Coxeter systems.

Classification

Any complex reflection group is a product of irreducible complex reflection groups, acting on the sum of the corresponding vector spaces. So it is sufficient to classify the irreducible complex reflection groups.

The irreducible complex reflection groups were classified by G. C. Shephard and J. A. Todd (1954). They found an infinite family G(m,p,n) depending on 3 positive integer parameters (with p dividing m), and 34 exceptional cases, that they numbered from 4 to 37, listed below. The group G(m,p,n), of order mnn!/p, is the semidirect product of the abelian group of order mn/p whose elements are (θa1a2, ...,θan), by the symmetric group Sn acting by permutations of the coordinates, where θ is a primitive mth root of unity and Σai≡ 0 mod p; it is an index p subgroup of the generalized symmetric group

Special cases of G(m,p,n):

List of irreducible complex reflection groups

There are a few duplicates in the first 3 lines of this list; see the previous section for details.

ST Rank Structure and names Order Reflections Degrees Codegrees
1 n1 Symmetric group G(1,1,n) = Sym(n) n! 2n(n  1)/2 2, 3, ...,n 0,1,...,n  2
2 n G(m,p,n) m > 1, n > 1, p|m (G(2,2,2) is reducible) mnn!/p 2mn(n1)/2,dnφ(d) (d|m/p, d > 1) m,2m,..,(n  1)m; mn/p 0,m,..., (n  1)m if p < m; 0,m,...,(n  2)m, (n  1)m  n if p = m
3 1 Cyclic group G(m,1,1) = Zm m dφ(d) (d|m, d > 1) m 0
4 2 Z2.T = 3[3]3 or , <2,3,3> 24 38 4,6 0,2
5 2 Z6.T = 3[4]3 or 72 316 6,12 0,6
6 2 Z4.T = 3[6]2 or 48 2638 4,12 0,8
7 2 Z12.T =〈3,3,3〉2 or 〈3,3,2〉6 144 26316 12,12 0,12
8 2 Z4.O = 4[3]4 or 96 26412 8,12 0,4
9 2 Z8.O = 4[6]2 or 192 218412 8,24 0,16
10 2 Z12.O = 4[4]3 or 288 26316412 12,24 0,12
11 2 Z24.O = 〈4,3,2〉12 576 218316412 24,24 0,24
12 2 Z2.O= GL2(F3) 48 212 6,8 0,10
13 2 Z4.O = 〈4,3,2〉2 96 218 8,12 0,16
14 2 Z6.O = 3[8]2 or 144 212316 6,24 0,18
15 2 Z12.O = 〈4,3,2〉6 288 218316 12,24 0,24
16 2 Z10.I = 5[3]5 or , <2,3,5>×Z5. 600 548 20,30 0,10
17 2 Z20.I = 5[6]2 or 1200 230548 20,60 0,40
18 2 Z30.I = 5[4]3 or 1800 340548 30,60 0,30
19 2 Z60.I = 〈5,3,2〉30 3600 230340548 60,60 0,60
20 2 Z6.I = 3[5]3 or 360 340 12,30 0,18
21 2 Z12.I = 3[10]2 or 720 230340 12,60 0,48
22 2 Z4.I = 〈5,3,2〉2 240 230 12,20 0,28
23 3 W(H3) = Z2 × PSL2(5),
Coxeter [5,3],
120 215 2,6,10 0,4,8
24 3 W(J3(4)) = Z2 × PSL2(7), Klein
[1 1 14]4,
336 221 4,6,14 0,8,10
25 3 W(L3) = W(P3) = 31+2.SL2(3),
Hessian 3[3]3[3]3,
648 324 6,9,12 0,3,6
26 3 W(M3) =Z2 ×31+2.SL2(3),
Hessian, 2[4]3[3]3,
1296 29 324 6,12,18 0,6,12
27 3 W(J3(5)) = Z2 ×(Z3.Alt(6)), Valentiner
[1 1 15]4,
[1 1 14]5,
2160 245 6,12,30 0,18,24
28 4 W(F4) = (SL2(3)* SL2(3)).(Z2 × Z2)
Weyl [3,4,3],
1152 212+12 2,6,8,12 0,4,6,10
29 4 W(N4) = (Z4*21 + 4).Sym(5)
[1 1 2]4,
7680 240 4,8,12,20 0,8,12,16
30 4 W(H4) = (SL2(5)*SL2(5)).Z2
Coxeter [5,3,3],
14400 260 2,12,20,30 0,10,18,28
31 4 W(EN4) = W(O4) = (Z4*21 + 4).Sp4(2) 46080 260 8,12,20,24 0,12,16,28
32 4 W(L4) = Z3 × Sp4(3),
3[3]3[3]3[3]3,
155520 380 12,18,24,30 0,6,12,18
33 5 W(K5) = Z2 ×Ω5(3) = Z2 × PSp4(3)= Z2 × PSU4(2)
[1 2 2]3,
51840 245 4,6,10,12,18 0,6,8,12,14
34 6 W(K6)= Z3
6
(3).Z2, Mitchell's group
[1 2 3]3,
39191040 2126 6,12,18,24,30,42 0,12,18,24,30,36
35 6 W(E6) = SO5(3) = O
6
(2) = PSp4(3).Z2 = PSU4(2).Z2,
Weyl [32,2,1],
51840 236 2,5,6,8,9,12 0,3,4,6,7,10
36 7 W(E7) = Z2 ×Sp6(2),
Weyl [33,2,1],
2903040 263 2,6,8,10,12,14,18 0,4,6,8,10,12,16
37 8 W(E8)= Z2.O+
8
(2),
Weyl [34,2,1],
696729600 2120 2,8,12,14,18,20,24,30 0,6,10,12,16,18,22,28

For more information, including diagrams, presentations, and codegrees of complex reflection groups, see the tables in (Michel Broué, Gunter Malle & Raphaël Rouquier 1998).

Degrees

Shephard and Todd proved that a finite group acting on a complex vector space is a complex reflection group if and only if its ring of invariants is a polynomial ring (Chevalley–Shephard–Todd theorem). For being the rank of the reflection group, the degrees of the generators of the ring of invariants are called degrees of W and are listed in the column above headed "degrees". They also showed that many other invariants of the group are determined by the degrees as follows:

Codegrees

For being the rank of the reflection group, the codegrees of W can be defined by

Well-generated complex reflection groups

By definition, every complex reflection group is generated by its reflections. The set of reflections is not a minimal generating set, however, and every irreducible complex reflection groups of rank n has a minimal generating set consisting of either n or n + 1 reflections. In the former case, the group is said to be well-generated.

The property of being well-generated is equivalent to the condition for all . Thus, for example, one can read off from the classification that the group G(m, p, n) is well-generated if and only if p = 1 or m.

For irreducible well-generated complex reflection groups, the Coxeter number h defined above equals the largest degree, . A reducible complex reflection group is said to be well-generated if it is a product of irreducible well-generated complex reflection groups. Every finite real reflection group is well-generated.

Shephard groups

The well-generated complex reflection groups include a subset called the Shephard groups. These groups are the symmetry groups of regular complex polytopes. In particular, they include the symmetry groups of regular real polyhedra. The Shephard groups may be characterized as the complex reflection groups that admit a "Coxeter-like" presentation with a linear diagram. That is, a Shephard group has associated positive integers p1, …, pn and q1, …, qn − 1 such that there is a generating set s1, …, sn satisfying the relations

for i = 1, …, n,
if ,

and

where the products on both sides have qi terms, for i = 1, …, n − 1.

This information is sometimes collected in the Coxeter-type symbol p1[q1]p2[q2] … [qn − 1]pn, as seen in the table above.

Among groups in the infinite family G(m, p, n), the Shephard groups are those in which p = 1. There are also 18 exceptional Shephard groups, of which three are real.[1][2]

Cartan matrices

An extended Cartan matrix defines the Unitary group. Shephard groups of rank n group have n generators.

Ordinary Cartan matrices have diagonal elements 2, while unitary reflections do not have this restriction.[3]

For example, the rank 1 group, p[], , is defined by a 1×1 matrix [1-].

Given: .

Rank 1
GroupCartanGroupCartan
2[] 3[]
4[] 5[]
Rank 2
GroupCartanGroupCartan
G43[3]3 G53[4]3
G62[6]3 G84[3]4
G92[6]4 G103[4]4
G143[8]2 G165[3]5
G172[6]5 G183[4]5
G203[5]3 G212[10]3
Rank 3
GroupCartanGroupCartan
G22<5,3,2>2 G23[5,3]
G24 [1 1 14]4 G253[3]3[3]3
G263[3]3[4]2 G27 [1 1 15]4
Rank 4
GroupCartanGroupCartan
G28[3,4,3] G29[1 1 2]4
G30[5,3,3] G323[3]3[3]3
Rank 5
GroupCartanGroupCartan
G31O4 G33[1 2 2]3

References

  1. Peter Orlik, Victor Reiner, Anne V. Shepler. The sign representation for Shephard groups. Mathematische Annalen. March 2002, Volume 322, Issue 3, pp 477–492. DOI:10.1007/s002080200001
  2. Coxeter, H. S. M.; Regular Complex Polytopes, Cambridge University Press, 1974.
  3. Unitary Reflection Groups, pp.91-93

External links

This article is issued from Wikipedia - version of the 11/4/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.