Coxeter-Dinkinov diagram

Coxeter-Dinkinovi diagrami za osnovne končne Coxeterjeve grupe.

Coxeter-Dinkinovi diagrami za osnovne afine Coxeterjeve grupe.

Coxeter-Dinkinov diagram (tudi Coxeterjev diagram ali Coxeterjev graf) je graf, ki ima s številkami označene stranice (imenujejo se veje) s katerimi se prikaže prostorske odnose med zbirko zrcal oziroma odbojnih hiperravnin. Opisujejo kalejdoskopsko konstrukcijo: vsak vozel grafa predstavlja ogledalo (v domeni facete). Oznaka pri vsaki veji določa stopnjo diedrskega kota dveh ogledal (v domeni grebena). Neoznačene veje pomenijo red 3.

Vsak diagram predstavlja Coxeterjevo grupo in tudi Coxeterjeve grupe so razvrščene po pripadajočih diagramih.

Podobni so Dinkinovi diagrami. Ti se od Coxeterjevih diagramov razlikujejo samo v tem, da so v Dinkinovih diagramih veje, ki imajo oznako 4 ali več, usmerjene. Coxeterjevi diagrami so neusmerjeni. Razen tega morajo Dinkinovi diagrami zadoščati še dodatni kristalografski omejitvi, ki zahteva, da so dovoljene veje samo 2, 3, 4 in 6.

Opis diagramov

Veje Coxeter-Dinkinovih diagramov so označene z racionalnimi števili $p$, kar predstavlja diedrski kot v velikosti 180°/p. Če je p enako 2, je kot 90° in se lahko v diagramu veja izpusti. Kadar je veja neoznačena, to pomeni, da zanjo velja $p=3$, kar pomeni kot 60º. Vzporedni zrcali imata oznako "∞"

Geometrijska ponazoritev

Coxeter-Dinkinov diagram se lahko prikaže kot domena ogledal. Ogledalo v tem primeru predstavlja hiperravnino s pomočjo sfernega ali evklidskega ali hiperboličnega prostora z dano razsežnostjo.

Takšna ponazoritev kaže osnovne domene za dvo in trirazsežne evklidske grupe in dvorazsežne sferne grupe.

Slika:Coxeter-dynkin plane groups sl.png Coxeterjeve grupe v ravnini s pripadajočimi diagrami. Ogledala domen so označena kot veje m1, m2 itd. Oglišča so obarvana v skladu z zaporedjem odboja. Prizmatske grupe ${\tilde{I}}_1$x${\tilde{I}}_1$ so prikazane kot podvojitev ${\tilde{C}}_2$, toda nastale bi lahko tudi kot pravokotne domene iz podvojitev ${\tilde{G}}_2$ trikotnikov. ${\tilde{A}}_2$ je podvojitev ${\tilde{G}}_2$ trikotnika.

Slika:Coxeter-Dynkin 3-space groups sl.png Coxeterjeve grupe v trirazsežnem prostoru z diagrami. Zrcala (stranice trikotnika) so označena z nasprotnim ogliščem 0..3. Veje grafa so obarvane z zaporedjem odboja. ${\tilde{C}}_3$ izpolni 1/48 kocke. ${\tilde{B}}_3$ izpolni 1/24 kocke. ${\tilde{A}}_3$ izpolni1/12 kocke.

Slika:Coxeter-Dynkin sphere groups sl.png Coxeterjeve grupe na sferi s pripadajočimi diagrami. Osnovna domena je prikazana v rumeni barvi. Oglišča domen (in veje grafa) so obarvane v zaporedju zrcaljenja.

Uporaba v uniformnih politopih

Coxeter-Dinkinovi diagrami lahko opišejo skoraj vse vrste uniformnih politopov in uniformnih teselacij

Cartanove matrike

Vsakemu Coxeterjevemu diagramu pripada odgovarjajoča Cartanova matrika. Vse Cartanove matrike Coxeterjevih grup so simetrične. Elementi Cartanove matrike so a_i,j = a_j,i = -2*cos(π/p), kjer je:

• $p$ red veje med pari zrcal.

Determinanta Cartanove matrike določa ali je grupa končna (pozitivna), afina (nič) ali hiperbolična (negativna). Hiperbolična grupa ja kompaktna, če so vse njene podgrupe končne.

rang 2 Coxeterjeve grupe

red simetrije p	ime grupe	Coxeterjev diagram	Cartanova matrika
			$\left[\begin{array}{cc}2& a_{12}\\ a_{21}& 2\end{array}\right]$	determinanta (4-a21*a12)
končne (determinanta>0)
2	I2(2) = A1xA1	Predloga:CDD	$\left[\begin{array}{cc}2& 0\\ 0& 2\end{array}\right]$	4
3	I2(3) = A2	Predloga:CDD	$\left[\begin{array}{cc}2& -1\\ -1& 2\end{array}\right]$	3
4	I2(4) = BC2	Predloga:CDD	$\left[\begin{array}{cc}2& -\sqrt{2}\\ -\sqrt{2}& 2\end{array}\right]$	2
5	I2(5) = H2	Predloga:CDD	$\left[\begin{array}{cc}2& -\varphi \\ -\varphi & 2\end{array}\right]$	$4{\sin }^2(\pi /5)$ =$(5-\sqrt{5})/2$ ~1,38196601125
6	I2(6) = G2	Predloga:CDD	$\left[\begin{array}{cc}2& -\sqrt{3}\\ -\sqrt{3}& 2\end{array}\right]$	1
8	I2(8)	Predloga:CDD	$\left[\begin{array}{cc}2& -2\cos (\pi /8)\\ -2\cos (\pi /8)& 2\end{array}\right]$	$2-\sqrt{2}$ ~0,58578643763
10	I2(10)	Predloga:CDD	$\left[\begin{array}{cc}2& -2\cos (\pi /10)\\ -2\cos (\pi /10)& 2\end{array}\right]$	$4{\sin }^2(\pi /10)$ =$(3-\sqrt{5})/2$ ~0,38196601125
12	I2(12)	Predloga:CDD	$\left[\begin{array}{cc}2& -2\cos (\pi /12)\\ -2\cos (\pi /12)& 2\end{array}\right]$	$2-\sqrt{3}$ ~0,26794919243
p	I2(p)	Predloga:CDD	$\left[\begin{array}{cc}2& -2\cos (\pi /p)\\ -2\cos (\pi /p)& 2\end{array}\right]$	$4{\sin }^2(\pi /p)$
afine (determinanta=0)
∞	I2(∞) = ${\tilde{I}}_1$ = ${\tilde{A}}_1$	Predloga:CDD	$\left[\begin{array}{cc}2& -2\\ -2& 2\end{array}\right]$	0

Končne Coxeterjeve grupe

Povezani končni Dinkinovi grafi za rang 1 do 9

rang	enostavne Lijeve grupe			posebne Liejeve grupe
	$A_{1+}$	${BC}_{2+}$	$D_{2+}$	$E_{3-8}$	$F_4$ / $G_2$	$H_{2-4}$	$I_2(p)$
1	A1=[]
2	A2=[3]	BC2=[4]	D2=A1xA1		G2=[6]	H2=[6]	I2[p]
3	A3=[32]	BC3=[3,4]	D3=A3	E3=A2xA1		H3
4	A4=[33]	BC4=[32,4]	D4=[31,1,1]	E4=A4	F4	H4
5	A5=[34]	BC5=[33,4]	D5=[32,1,1]	E5=D5
6	A6=[35]	BC6=[34,4]	D6=[33,1,1]	E6=[32,2,1]
7	A7=[36]	BC7=[35,4]	D7=[34,1,1]	E7=[33,2,1]
8	A8=[37]	BC8=[36,4]	D8=[35,1,1]	E8=[34,2,1]
9	A9=[38]	BC9=[37,4]	D9=[36,1,1]
10+	..	..	..	..

Afine Coxeterjeve grupe

Afini Dinkinovi grafi od 2 do10 vozlov

rang	${\tilde{A}}_{1+}$ (P2+)	${\tilde{B}}_{3+}$ (S4+)	${\tilde{C}}_{1+}$ (R2+)	${\tilde{D}}_{4+}$ (Q5+)	${\tilde{E}}_n$ (Tn+1) / ${\tilde{F}}_4$ (U5) / ${\tilde{G}}_2$ (V3)
2	${\tilde{A}}_1$=[∞]		${\tilde{C}}_1$=[∞]
3	${\tilde{A}}_2$=[3[3]]		${\tilde{C}}_2$=[4,4]		${\tilde{G}}_2$=[6,3]
4	${\tilde{A}}_3$=[3[4]]	${\tilde{B}}_3$=[4,31,1]	${\tilde{C}}_3$=[4,3,4]
5	${\tilde{A}}_4$=[3[5]]	${\tilde{B}}_4$=[4,3,31,1]	${\tilde{C}}_4$=[4,32,4]	${\tilde{D}}_4$=[31,1,1,1]	${\tilde{F}}_4$=[3,4,3,3]
6	${\tilde{A}}_5$=[3[6]]	${\tilde{B}}_5$=[4,32,31,1]	${\tilde{C}}_5$=[4,33,4]	${\tilde{D}}_5$=[31,1,3,31,1]
7	${\tilde{A}}_6$=[3[7]]	${\tilde{B}}_6$=[4,33,31,1]	${\tilde{C}}_6$=[4,34,4]	${\tilde{D}}_6$=[31,1,32,31,1]	${\tilde{E}}_6$=[32,2,2]
8	${\tilde{A}}_7$=[3[8]]	${\tilde{B}}_7$=[4,34,31,1]	${\tilde{C}}_7$=[4,35,4]	${\tilde{D}}_7$=[31,1,33,31,1]	${\tilde{E}}_7$=[33,3,1]
9	${\tilde{A}}_8$=[3[9]]	${\tilde{B}}_8$=[4,35,31,1]	${\tilde{C}}_8$=[4,36,4]	${\tilde{D}}_8$=[31,1,34,31,1]	${\tilde{E}}_8$=[35,2,1]
10	${\tilde{A}}_9$=[3[10]]	${\tilde{B}}_9$=[4,36,31,1]	${\tilde{C}}_9$=[4,37,4]	${\tilde{D}}_9$=[31,1,35,31,1]
11	...	...	...	...

Hiperbolične Coxeterjeve grupe

Kompaktne

Rang 3

Kompaktne hiperbolične Coxeterjeve grupe

linearne	ciklične
∞: [p,q], 2(p+q)<pq Predloga:CDD Predloga:CDD Predloga:CDD ... Predloga:CDD Predloga:CDD ... Predloga:CDD Predloga:CDD ...	∞ [(p,q,r)], p+q+r>9 Predloga:CDD Predloga:CDD Predloga:CDD Predloga:CDD Predloga:CDD Predloga:CDD Predloga:CDD Predloga:CDD Predloga:CDD Predloga:CDD Predloga:CDD Predloga:CDD Predloga:CDD Predloga:CDD Predloga:CDD Predloga:CDD Predloga:CDD Predloga:CDD Predloga:CDD Predloga:CDD ...

Rangi od 4 do 5

Kompaktne hiperbolične Coxeterjeve grupe

razsežnost Hd	rang	skupno število	linearne	razcepljene	ciklične
H3	4	9	3: ${\overline{BH}}_3$ = [4,3,5]: Predloga:CDD ${\overline{K}}_3$ = [5,3,5]: Predloga:CDD ${\overline{J}}_3$ = [3,5,3]: Predloga:CDD	${\overline{DH}}_3$ = [5,31,1]: Predloga:CDD	${\widehat{AB}}_3$ = [(3,3,3,4)]: Predloga:CDD  ${\widehat{AH}}_3$ = [(3,3,3,5)]: Predloga:CDD  ${\widehat{BB}}_3$ = [(3,4,3,4)]: Predloga:CDD ${\widehat{BH}}_3$ = [(3,4,3,5)]: Predloga:CDD ${\widehat{HH}}_3$ = [(3,5,3,5)]: Predloga:CDD
H4	5	5	3: ${\overline{H}}_4$ = [3,3,3,5]: Predloga:CDD ${\overline{BH}}_4$ = [4,3,3,5]: Predloga:CDD ${\overline{K}}_4$ = [5,3,3,5]: Predloga:CDD	${\overline{DH}}_4$ = [5,3,31,1]: Predloga:CDD	${\widehat{AF}}_4$ = [(3,3,3,3,4)]: Predloga:CDD

Nekompaktni

rang 3

linearni grafi	ciklični grafi
[p,∞] Predloga:CDD [∞,∞] Predloga:CDD	[(p,q,∞)] Predloga:CDD [(p,∞,∞)] Predloga:CDD [(∞,∞,∞)] Predloga:CDD

Rangi od 4 do 10

Znanih je skupno 48 nekompaktnih hiperboličnih Coxeterjevih grup z rangom od 4 do 10. V naslednji preglednici je vseh 58 razvrščenih v pet skupin.

Hiperbolične nekompaktne grupe

rang	skupno število	grupe
4	23	${\widehat{BR}}_3$ = [(3,3,4,4)]: Predloga:CDD ${\widehat{CR}}_3$ = [(3,4,4,4)]: Predloga:CDD ${\widehat{RR}}_3$ = [(4,4,4,4)]: Predloga:CDD ${\widehat{AV}}_3$ = [(3,3,3,6)]: Predloga:CDD ${\widehat{BV}}_3$ = [(3,4,3,6)]: Predloga:CDD ${\widehat{HV}}_3$ = [(3,5,3,6)]: Predloga:CDD ${\widehat{VV}}_3$ = [(3,6,3,6)]: Predloga:CDD	${\overline{P}}_3$ = [3,3[3]]: Predloga:CDD ${\overline{BP}}_3$ = [4,3[3]]: Predloga:CDD ${\overline{HP}}_3$ = [5,3[3]]: Predloga:CDD ${\overline{VP}}_3$ = [6,3[3]]: Predloga:CDD ${\overline{DV}}_3$ = [6,31,1]: Predloga:CDD ${\overline{O}}_3$ = [6,41,1]: Predloga:CDD ${\overline{M}}_3$ = [4,41,1]: Predloga:CDD	${\overline{R}}_3$ = [3,4,4]: Predloga:CDD ${\overline{N}}_3$ = [4,4,4]: Predloga:CDD ${\overline{V}}_3$ = [3,3,6]: Predloga:CDD ${\overline{BV}}_3$ = [4,3,6]: Predloga:CDD ${\overline{HV}}_3$ = [5,3,6]: Predloga:CDD ${\overline{Y}}_3$ = [3,6,3]: Predloga:CDD ${\overline{Z}}_3$ = [6,3,6]: Predloga:CDD	${\overline{DP}}_3$ = [3[ ]x[ ]]: Predloga:CDD ${\overline{PP}}_3$ = [3[3,3]]: Predloga:CDD
5	9	${\overline{P}}_4$ = [3,3[4]]: Predloga:CDD ${\overline{BP}}_4$ = [4,3[4]]: Predloga:CDD ${\widehat{FR}}_4$ = [(3,3,4,3,4)]: Predloga:CDD ${\overline{DP}}_4$ = [3[3]x[ ]]: Predloga:CDD	${\overline{N}}_4$ = [4,/3\,3,4]: Predloga:CDD ${\overline{O}}_4$ = [3,4,31,1]: Predloga:CDD ${\overline{S}}_4$ = [4,32,1]: Predloga:CDD	${\overline{R}}_4$ = [3,4,3,4]: Predloga:CDD	${\overline{M}}_4$ = [4,31,1,1]: Predloga:CDD
6	12	${\overline{P}}_5$ = [3,3[5]]: Predloga:CDD ${\widehat{AU}}_5$ = [(3,3,3,3,3,4)]: Predloga:CDD ${\widehat{AR}}_5$ = [(3,3,4,3,3,4)]: Predloga:CDD	${\overline{S}}_5$ = [4,3,32,1]: Predloga:CDD ${\overline{O}}_5$ = [3,4,31,1]: Predloga:CDD ${\overline{N}}_5$ = [4,3,/3\,3,4]: Predloga:CDD	${\overline{U}}_5$ = [3,3,3,4,3]: Predloga:CDD ${\overline{X}}_5$ = [3,3,4,3,3]: Predloga:CDD ${\overline{R}}_5$ = [3,4,3,3,4]: Predloga:CDD	${\overline{Q}}_5$ = [32,1,1,1]: Predloga:CDD ${\overline{M}}_5$ = [4,3,31,1,1]: Predloga:CDD ${\overline{L}}_5$ = [31,1,1,1,1]: Predloga:CDD
7	3	${\overline{P}}_6$ = [3,3[6]]: Predloga:CDD	${\overline{Q}}_6$ = [31,1,3,32,1]: Predloga:CDD	${\overline{S}}_6$ = [4,3,3,32,1]: Predloga:CDD
8	4	${\overline{P}}_7$ = [3,3[7]]: Predloga:CDD	${\overline{Q}}_7$ = [31,1,32,32,1]: Predloga:CDD	${\overline{S}}_7$ = [4,33,32,1]: Predloga:CDD	${\overline{T}}_7$ = [33,2,2]: Predloga:CDD
9	4	${\overline{P}}_8$ = [3,3[8]]: Predloga:CDD	${\overline{Q}}_8$ = [31,1,33,32,1]: Predloga:CDD	${\overline{S}}_8$ = [4,34,32,1]: Predloga:CDD	${\overline{T}}_8$ = [34,3,1]: Predloga:CDD
10	3		${\overline{Q}}_9$ = [31,1,34,32,1]: Predloga:CDD	${\overline{S}}_9$ = [4,35,32,1]: Predloga:CDD	${\overline{T}}_9$ = [36,2,1]: Predloga:CDD

Zunanje povezave

• Predloga:MathWorld