Komplexní reflexní skupina - Complex reflection group
V matematiky , je komplex odraz skupina je konečná skupina působící na konečný trojrozměrný komplexní vektorový prostor , které je tvořeno komplexním odrazy : netriviální prvky, které stanoví komplexní nadrovině bodově.
Komplexní odraz skupiny vznikají ve studiu invariantní teorie o polynomu kroužky . V polovině 20. století byli zcela zařazeni do práce Shepharda a Todda. Zvláštní případy zahrnují symetrickou skupinu permutací, dihedrální skupiny a obecněji všechny konečné skutečné reflexní skupiny ( Coxeterovy skupiny nebo Weylové skupiny , včetně symetrických skupin pravidelných mnohostěnů ).
Definice
A (komplexní) reflexe r (někdy také nazývaná pseudo reflexe nebo unitární reflexe ) konečného rozměrového komplexního vektorového prostoru V je prvek konečného řádu, který bodově fixuje komplexní hyperplochu, to znamená, že pevný prostor má kodimenze 1.
A ( konečná ) komplexní reflexní skupina je konečná podskupina, která je generována odrazy.
Vlastnosti
Nějaký skutečný odraz skupina se stává složitější reflexní skupiny, pokud bychom rozšířit skaláry od R do C . Zejména všechny konečné Coxeterovy skupiny nebo Weylové skupiny uvádějí příklady komplexních reflexních skupin.
Složitá reflexní skupina W je neredukovatelná, pokud je původem pouze W -invariantní správný podprostor odpovídajícího vektorového prostoru. V tomto případě je rozměr vektorového prostoru se nazývá hodnost a W .
Počet Coxeter z nedělitelný komplexní reflexní skupina W hodnosti je definován jako kde označuje soubor odrazů a označuje soubor odráží nadrovin. V případě skutečných reflexních skupin se tato definice redukuje na obvyklou definici Coxeterova čísla pro konečné Coxeter systémy.
Klasifikace
Jakákoli komplexní reflexní skupina je produktem neredukovatelných komplexních reflexních skupin, které působí na součet odpovídajících vektorových prostorů. Stačí tedy klasifikovat neredukovatelné komplexní reflexní skupiny.
Neredukovatelné komplexní reflexní skupiny byly klasifikovány GC Shephardem a JA Toddem ( 1954 ). Dokázali, že každý neredukovatelný patří do nekonečné rodiny G ( m , p , n ) v závislosti na 3 pozitivních celočíselných parametrech (s p dělícím m ) nebo byl jedním z 34 výjimečných případů, které číslovali od 4 do 37. Skupina G ( m , 1, n ) je zobecněná symetrická skupina ; ekvivalentně je to produkt věnce symetrické skupiny Sym ( n ) cyklickou skupinou řádu m . Jako maticová skupina mohou být její prvky realizovány jako monomiální matice, jejichž nenulové prvky jsou m th kořeny jednoty .
Skupina G ( m , p , n ) je indexová p podskupina G ( m , 1, n ). G ( m , p , n ) je řádu m n n ! / P . Jako matice to může být realizováno jako podmnožina, ve které je součin nenulových záznamů ( m / p ) th kořen jednoty (spíše než jen m kořen). Algebraicky je G ( m , p , n ) polopřímý součin abelianské skupiny řádu m n / p symetrické skupiny Sym ( n ); prvky abelianské skupiny jsou ve tvaru ( θ a 1 , θ a 2 , ..., θ a n ), kde θ je primitivní m th kořen jednoty a Σ a i ≡ 0 mod p , a Sym ( n ) působí permutacemi souřadnic.
Skupina G ( m , p , n ) působí na C n neredukovatelně s výjimkou případů m = 1, n > 1 (symetrická skupina) a G (2, 2, 2) ( Kleinova čtyřskupina ). V těchto případech se C n rozdělí jako součet neredukovatelných reprezentací dimenzí 1 a n - 1.
Zvláštní případy G ( m , p , n )
Coxeter skupiny
Když m = 2, reprezentace popsaná v předchozí části se skládá z matic se skutečnými vstupy, a proto v těchto případech G ( m , p , n ) je konečná Coxeterova skupina. Zejména:
- G (1, 1, n ) má typ A n −1 = [3,3, ..., 3,3] =...; symetrická skupina řádu n !
- G (2, 1, n ) má typ B n = [3,3, ..., 3,4] =...; hyperoctahedral skupině řádu 2 n n !
- G (2, 2, n ) má typ D n = [3,3, ..., 3 1,1 ] =..., objednejte 2 n n !/2.
Kromě toho, když m = p a n = 2, skupina G ( p , p , 2) je dihedrální skupina řádu 2 p ; jako Coxeterova skupina zadejte I 2 ( p ) = [ p ] =(a Weylova skupina G 2, když p = 6).
Další speciální případy a náhody
Jediné případy, kdy jsou dvě skupiny G ( m , p , n ) izomorfní jako komplexní reflexní skupiny, jsou G ( ma , pa , 1) izomorfní vůči G ( mb , pb , 1) pro všechna kladná celá čísla a , b (a oba jsou izomorfní k cyklické skupině řádu m / p ). Existují však i jiné případy, kdy jsou dvě takové skupiny izomorfní jako abstraktní skupiny.
Skupiny G (3, 3, 2) a G (1, 1, 3) jsou izomorfní vůči symetrické skupině Sym (3). Skupiny G (2, 2, 3) a G (1, 1, 4) jsou izomorfní k symetrické skupině Sym (4). Jak G (2, 1, 2), tak G (4, 4, 2) jsou izomorfní k dihedrální skupině řádu 8. A skupiny G (2 p , p , 1) jsou cyklické řádu 2, stejně jako G ( 1, 1, 2).
Seznam neredukovatelných komplexních reflexních skupin
V prvních 3 řádcích tohoto seznamu je několik duplikátů; podrobnosti najdete v předchozí části.
- ST je Shephard – Toddovo číslo reflexní skupiny.
- Rank je dimenze komplexního vektorového prostoru, na který skupina působí.
- Struktura popisuje strukturu skupiny. Symbol * je ústředním produktem dvou skupin. Pro úroveň 2 je kvocient (cyklickým) středem skupina rotací čtyřstěnu, osmistěnu nebo dvacetistěnu ( T = Alt (4), O = Sym (4), I = Alt (5), řádů 12 , 24, 60), jak je uvedeno v tabulce. Zápis 2 1+4 viz zvláštní skupina .
- Pořadí je počet prvků ve skupině.
- Úvahy popisují počet odrazů: 2 6 4 12 znamená, že existuje 6 odrazů pořadí 2 a 12 pořadí 4.
- Stupně udávají stupně základních invariantů prstence polynomiálních invariantů. Například invarianty skupiny číslo 4 tvoří polynomický prstenec se 2 generátory stupňů 4 a 6.
SVATÝ | Hodnost | Struktura a názvy | Coxeter jména | Objednat | Odrazy | Stupně | Kodexy |
---|---|---|---|---|---|---|---|
1 | n -1 | Symetrická skupina G (1,1, n ) = Sym ( n ) | n ! | 2 n ( n - 1)/2 | 2, 3, ..., č | 0,1, ..., n - 2 | |
2 | n | G ( m , p , n ) m > 1, n > 1, p | m ( G (2,2,2) je redukovatelný) | m n n !/ p | 2 mn ( n −1) / 2 , d n φ ( d ) ( d | m / p , d > 1) | m , 2 m , .., ( n - 1) m ; mn / p | 0, m , ..., ( n - 1) m, pokud p < m ; 0, m , ..., ( n - 2) m , ( n - 1) m - n, pokud p = m | |
2 | 2 | G ( p , 1,2) p > 1, | p [4] 2 nebo | 2 p 2 | 2 p , d 2φ ( d ) ( d | p , d > 1) | p ; 2 str | 0, str |
2 | 2 | Vzepětí skupina G ( p , p , 2) p > 2 | [ p ] nebo | 2 str | 2 str | 2, s | 0, p-2 |
3 | 1 | Cyklická skupina G ( p , 1,1) = Z p | p [] nebo | p | d φ ( d ) ( d | p , d > 1) | p | 0 |
4 | 2 | W (L 2 ), Z 2 . T | 3 [3] 3 nebo , , 32,3,3⟩ | 24 | 3 8 | 4,6 | 0,2 |
5 | 2 | Z 6 . T | 3 [4] 3 nebo | 72 | 3 16 | 6,12 | 0,6 |
6 | 2 | Z 4 . T | 3 [6] 2 nebo | 48 | 2 6 3 8 | 4,12 | 0,8 |
7 | 2 | Z 12 . T | ‹3,3,3› 2 nebo ⟨2,3,3⟩ 6 | 144 | 2 6 3 16 | 12,12 | 0,12 |
8 | 2 | Z 4 . Ó | 4 [3] 4 nebo | 96 | 2 6 4 12 | 8,12 | 0,4 |
9 | 2 | Z 8 . Ó | 4 [6] 2 nebo nebo ,32,3,4⟩ 4 | 192 | 2 18 4 12 | 8,24 | 0,16 |
10 | 2 | Z 12 . Ó | 4 [4] 3 nebo | 288 | 2 6 3 16 4 12 | 12,24 | 0,12 |
11 | 2 | Z 24 . Ó | ,32,3,4⟩ 12 | 576 | 2 18 3 16 4 12 | 24,24 | 0,24 |
12 | 2 | Z 2 . O = GL 2 ( F 3 ) | ,32,3,4⟩ | 48 | 2 12 | 6,8 | 0,10 |
13 | 2 | Z 4 . Ó | ,32,3,4⟩ 2 | 96 | 2 18 | 8,12 | 0,16 |
14 | 2 | Z 6 . Ó | 3 [8] 2 nebo | 144 | 2 12 3 16 | 6,24 | 0,18 |
15 | 2 | Z 12 . Ó | ,32,3,4⟩ 6 | 288 | 2 18 3 16 | 12,24 | 0,24 |
16 | 2 | Z 10 . I , , 32,3,5⟩ × Z 5 | 5 [3] 5 nebo | 600 | 5 48 | 20,30 | 0,10 |
17 | 2 | Z 20 . Já | 5 [6] 2 nebo | 1200 | 2 30 5 48 | 20,60 | 0,40 |
18 | 2 | Z 30 . Já | 5 [4] 3 nebo | 1800 | 3 40 5 48 | 30,60 | 0,30 |
19 | 2 | Z 60 . Já | ,32,3,5⟩ 30 | 3600 | 2 30 3 40 5 48 | 60,60 | 0,60 |
20 | 2 | Z 6 . Já | 3 [5] 3 nebo | 360 | 3 40 | 12,30 | 0,18 |
21 | 2 | Z 12 . Já | 3 [10] 2 nebo | 720 | 2 30 3 40 | 12,60 | 0,48 |
22 | 2 | Z 4 . Já | ,32,3,5⟩ 2 | 240 | 2 30 | 12,20 | 0,28 |
23 | 3 | W (H 3 ) = Z 2 × PSL 2 (5) | [5,3], | 120 | 2 15 | 2,6,10 | 0,4,8 |
24 | 3 | W (J 3 (4)) = Z 2 × PSL 2 (7), Klein | [1 1 1 4 ] 4 , | 336 | 2 21 | 4,6,14 | 0,8,10 |
25 | 3 | W (L 3 ) = W (P 3 ) = 3 1+2. SL 2 (3) pytlovina | 3 [3] 3 [3] 3, | 648 | 3 24 | 6,9,12 | 0,3,6 |
26 | 3 | W (M 3 ) = Z 2 × 3 1+2. SL 2 (3) pytlovina | 2 [4] 3 [3] 3, | 1296 | 2 9 3 24 | 6,12,18 | 0,6,12 |
27 | 3 | W (J 3 (5)) = Z 2 × ( Z 3. Alt (6)), Valentiner | [1 1 1 5 ] 4 , [1 1 1 4 ] 5 , |
2160 | 2 45 | 6,12,30 | 0,18,24 |
28 | 4 | W (F 4 ) = (SL 2 (3)* SL 2 (3)). ( Z 2 × Z 2 ) | [3,4,3], | 1152 | 2 12+12 | 2,6,8,12 | 0,4,6,10 |
29 | 4 | W (N 4 ) = ( Z 4 *2 1 + 4 ) .Sym (5) | [1 1 2] 4 , | 7680 | 2 40 | 4,8,12,20 | 0,8,12,16 |
30 | 4 | W (H 4 ) = (SL 2 (5)*SL 2 (5)). Z 2 | [5,3,3], | 14400 | 2 60 | 2,12,20,30 | 0,10,18,28 |
31 | 4 | W (EN 4 ) = W (O 4 ) = ( Z 4 *2 1 + 4 ). Sp 4 (2) | 46080 | 2 60 | 8,12,20,24 | 0,12,16,28 | |
32 | 4 | W (L 4 ) = Z 3 × Sp 4 (3) | 3 [3] 3 [3] 3 [3] 3, | 155520 | 3 80 | 12,18,24,30 | 0,6,12,18 |
33 | 5 | W (K 5 ) = Z 2 × Ω 5 (3) = Z 2 × PSp 4 (3) = Z 2 × PSU 4 (2) | [1 2 2] 3 , | 51840 | 2 45 | 4,6,10,12,18 | 0,6,8,12,14 |
34 | 6 | W (K 6 ) = Z 3 .Ω- 6(3). Z 2 , Mitchellova skupina |
[1 2 3] 3 , | 39191040 | 2 126 | 6,12,18,24,30,42 | 0,12,18,24,30,36 |
35 | 6 | W (E 6 ) = SO 5 (3) = O- 6(2) = PSp 4 (3). Z 2 = PSU 4 (2). Z 2 |
[3 2,2,1 ], | 51840 | 2 36 | 2,5,6,8,9,12 | 0,3,4,6,7,10 |
36 | 7 | W (E 7 ) = Z 2 × Sp 6 (2) | [3 3,2,1 ], | 2903040 | 2 63 | 2,6,8,10,12,14,18 | 0,4,6,8,10,12,16 |
37 | 8 | W (E 8 ) = Z 2. O+ 8(2) |
[3 4,2,1 ], | 696729600 | 2 120 | 2,8,12,14,18,20,24,30 | 0,6,10,12,16,18,22,28 |
Další informace, včetně diagramů, prezentací a kódových stupňů složitých reflexních skupin, najdete v tabulkách v (Michel Broué, Gunter Malle & Raphaël Rouquier 1998 ).
Stupně
Shephard a Todd dokázali, že konečná skupina působící na komplexní vektorový prostor je komplexní reflexní skupinou právě tehdy, je -li jejím prstencem invariantů polynomický prstenec ( Chevalley – Shephard – Toddova věta ). Pro bytí hodnost reflexní skupiny, tituly z generátorů kruhu invariants se nazývají stupně W a jsou uvedeny ve sloupci nadepsaném „nad stupňů“. Ukázali také, že mnoho dalších invariantů skupiny je určeno následujícími stupni:
- Střed neredukovatelné reflexní skupiny je cyklický řádu stejného největšího společného dělitele stupňů.
- Pořadí komplexní reflexní skupiny je součin jejích stupňů.
- Počet odrazů je součtem stupňů minus pozice.
- Neredukovatelná komplexní reflexní skupina pochází ze skutečné reflexní skupiny právě tehdy, má -li invariant stupně 2.
- Vzorce splňují stupně d i
Kodexy
Protože jde o pozici reflexní skupiny, lze kódové stupně W definovat pomocí
- Pro skutečnou reflexní skupinu jsou kódové stupně stupně mínus 2.
- Počet odrazových hyperplanes je součtem kódových stupňů plus hodností.
Dobře generované komplexní reflexní skupiny
Podle definice je každá komplexní reflexní skupina generována svými odrazy. Množina odrazů však není minimální generující množinou a každá neredukovatelná komplexní reflexní skupina hodnosti n má minimální generující sadu skládající se buď z n nebo n + 1 odrazů. V prvním případě je skupina údajně dobře generovaná .
Vlastnost dobrého generování je ekvivalentní podmínce pro všechny . Například z klasifikace lze vyčíst, že skupina G ( m , p , n ) je dobře generována právě tehdy, když p = 1 nebo m .
U neredukovatelných dobře generovaných komplexních reflexních skupin se Coxeterovo číslo h definované výše rovná největšímu stupni . Redukovatelná komplexní reflexní skupina je údajně dobře generovaná, pokud je produktem neredukovatelných dobře generovaných komplexních reflexních skupin. Každá konečná skutečná reflexní skupina je dobře generována.
Shephardovy skupiny
Dobře generované komplexní reflexní skupiny zahrnují podmnožinu zvanou Shephardovy skupiny . Tyto skupiny jsou skupiny symetrie pravidelných komplexních polytopů . Zejména zahrnují skupiny symetrie pravidelných reálných mnohostěnů. Shephardovy skupiny lze charakterizovat jako komplexní reflexní skupiny, které připouštějí „coxeterovskou“ prezentaci s lineárním diagramem. To znamená, že Shephardova skupina sdružila kladná celá čísla p 1 , ..., p n a q 1 , ..., q n - 1 tak, že existuje generující množina s 1 , ..., s n uspokojující vztahy
- pro i = 1, ..., n ,
- kdyby ,
a
- kde výrobky na obou stranách mají q i termíny, pro i = 1, ..., n - 1 .
Tyto informace jsou někdy shromažďovány v symbolu typu Coxeter p 1 [ q 1 ] p 2 [ q 2 ] ... [ q n -1 ] p n , jak je vidět v tabulce výše.
Mezi skupinami v nekonečné rodině G ( m , p , n ) jsou Shephardovy skupiny ty, ve kterých p = 1 . Existuje také 18 výjimečných Shephardových skupin, z nichž tři jsou skutečné.
Kartanové matrice
Rozšířená Cartanova matice definuje unitární skupinu. Shephardské skupiny ze skupiny n mají n generátorů. Běžné kartanové matice mají diagonální prvky 2, zatímco jednotkové odrazy toto omezení nemají. Například skupina 1 v pořadí p (se symboly p [],) je definována maticí 1 × 1 .
Vzhledem k tomu,: .
Skupina | Cartan | Skupina | Cartan | ||
---|---|---|---|---|---|
2 [] | 3 [] | ||||
4 [] | 5 [] |
Skupina | Cartan | Skupina | Cartan | ||||
---|---|---|---|---|---|---|---|
G 4 | 3 [3] 3 | G 5 | 3 [4] 3 | ||||
G 6 | 2 [6] 3 | G 8 | 4 [3] 4 | ||||
G 9 | 2 [6] 4 | G 10 | 3 [4] 4 | ||||
G 14 | 3 [8] 2 | G 16 | 5 [3] 5 | ||||
G 17 | 2 [6] 5 | G 18 | 3 [4] 5 | ||||
G 20 | 3 [5] 3 | G 21 | 2 [10] 3 |
Skupina | Cartan | Skupina | Cartan | ||||
---|---|---|---|---|---|---|---|
G 22 | <5,3,2> 2 | G 23 | [5,3] | ||||
G 24 | [1 1 1 4 ] 4 | G 25 | 3 [3] 3 [3] 3 | ||||
G 26 | 3 [3] 3 [4] 2 | G 27 | [1 1 1 5 ] 4 |
Skupina | Cartan | Skupina | Cartan | ||||
---|---|---|---|---|---|---|---|
G 28 | [3,4,3] | G 29 | [1 1 2] 4 | ||||
G 30 | [5,3,3] | G 32 | 3 [3] 3 [3] 3 |
Skupina | Cartan | Skupina | Cartan | ||||
---|---|---|---|---|---|---|---|
G 31 | O 4 | G 33 | [1 2 2] 3 |
Reference
- Broué, Michel ; Malle, Gunter; Rouquier, Raphaël (1995), „O komplexních reflexních skupinách a jejich přidružených copánkových skupinách“ (PDF) , Reprezentace skupin (Banff, AB, 1994) , CMS Conf. Proc., 16 , Providence, RI: American Mathematical Society , s. 1–13, MR 1357192
- Broué, Michel ; Malle, Gunter; Rouquier, Raphaël (1998), „Komplexní reflexní skupiny, copové skupiny, Heckeovy algebry“, Journal für die reine und angewandte Mathematik , 1998 (500): 127–190, CiteSeerX 10.1.1.128.2907 , doi : 10.1515/crll.1998.064 , ISSN 0075-4102 , MR 1637497
- Deligne, Pierre (1972), "Les immeubles des groupes de tresses généralisés", Inventiones Mathematicae , 17 (4): 273–302, Bibcode : 1972InMat..17..273D , doi : 10.1007/BF01406236 , ISSN 0020-9910 , MR 0422673 , S2CID 123680847
- Hiller, Howard Geometry of Coxeter groups. Research Notes in Mathematics, 54. Pitman (Advanced Publishing Program), Boston, Mass.-London, 1982. iv+213 s. ISBN 0-273-08517-4 *
- Lehrer, Gustav I .; Taylor, Donald E. (2009), Unitary reflection groups , Australian Mathematical Society Lecture Series, 20 , Cambridge University Press , ISBN 978-0-521-74989-3, MR 2542964
- Shephard, GC; Todd, JA (1954), „Konečné unitární reflexní skupiny“ , Canadian Journal of Mathematics , Canadian Mathematical Society, 6 : 274–304, doi : 10,4153/CJM-1954-028-3 , ISSN 0008-414X , MR 0059914
- Coxeter , konečné skupiny generované jednotnými odrazy , 1966, 4. Grafický zápis , tabulka n-dimenzionálních skupin generovaných n jednotnými odrazy. s. 422–423