Diagramme de Coxeter-Dynkin

En géométrie, un diagramme de Coxeter-Dynkin est un graphe représentant un ensemble relationnel de miroir (ou d'hyperplans de réflexion) dans l'espace pour une construction kaléidoscopique.

En tant que graphe lui-même, le diagramme représente les groupes de Coxeter, chaque nœud du graphe représente un miroir (facette du domaine) et chaque branche du graphe représente l'ordre de l'angle diédrique entre deux miroirs (sur une arête du domaine).

En plus, les graphes ont des anneaux (cercles) autour des nœuds pour les miroirs actifs représentant un polytope uniforme précis.

Le diagramme est issu du diagramme de Dynkin.

Le diagramme peut aussi représenter les polytopes en ajoutant des anneaux (cercles) autour des noeuds. Chaque diagramme doit avoir au moins un nœud actif pour représenter un polytope.

Les anneaux expriment une information : si un point générateur est dans ou en dehors du miroir. Plus précisément, un miroir est actif (il crée des réflexions) seulement lorsque des points sont en dehors du miroir, donc ajouter un anneau signifie qu'un point est en dehors du miroir et créé une réflexion.

Les arêtes sont étiquetées avec un entier n (ou quelquefois plus généralement un nombre rationnel p/q) représentant un angle diédrique de 180/n. Si une arête n'est pas étiquetée, elle est supposée être 3. Si n=2, l'angle est 90 degrés et les miroirs n'ont pas d'interaction, et l'arête peut être omise. Deux miroirs parallèles peuvent être marqués avec "∞".

En principe, n miroirs peuvent être représentés par un graphe complet dans lequel toutes les n*(n-1)/2 sont dessinées. En pratique, les configurations intéressantes de miroirs incluront un nombre d'angles droits, et les arêtes correspondantes peuvent être omises.

Les polytopes et les pavages peuvent être engendrés en utilisant ces miroirs et un point générateur unique. Les images miroir créent des nouveaux points comme réflexions. Les arêtes peuvent être créées entre les points et une image miroir. Les faces peuvent être construites par cycles d'arêtes créées, etc.

• Un nœud unique représente un miroir unique. Ceci est appelé le groupe A₁. S'il est annelé, il crée un digone ou une arête perpendiculaire au miroir, représenté par {} ou {2}.
• Deux nœuds non attachés représentent deux miroirs perpendiculaires. Si les deux nœuds sont annelés, un rectangle peut être créé ou un carré si le point est à égale distance des deux miroirs.
• Deux nœuds attachés par une arête d'ordre n peut créer un n-gone si le point est sur un miroir, et un 2n-gone si le point est en dehors des deux miroirs. Ceci forme le groupe D₂.
• Deux miroirs parallèles peuvent représenter un groupe de polygone infini D₂, aussi appelé W₂.
• Trois miroirs dans un triangle forment des images vues dans un kaléidoscope traditionnel et sont représentées par 3 nœuds attachés dans un triangle. En répétant les exemples auront des arêtes étiquetées comme (3 3 3), (2 4 4), (2 3 6), bien que les deux derniers peuvent être dessinés dans une droite avec l'arête 2 ignorée. Ceux-ci engendreront les pavages uniformes.
• Trois miroirs peuvent engendrer les polyèdres uniformes, incluant les nombres rationnels est l'ensemble des triangles de Schwarz.
• Trois miroirs avec un perpendiculaire au deux autres peut former les prismes uniformes.

En général, tous les n-polytopes réguliers, représentés par le symbole de Schläfli {p,q,r,...} peuvent avoir leur domaines fondamentaux représentés par un ensemble de n miroirs et sont reliés dans un diagramme de Coxeter-Dynkin dans une droite de nœuds et d'arêtes étiquetées par p,q,r...

Les familles de polytopes convexes uniformes sont définis par les groupes de Coxeter.

Notes :

• Trois symboles différents sont donnés pour les mêmes groupes - une lettre/nombre, un ensemble de nombres avec des accolades et le diagramme de Coxeter.
• Les groupes bifurqués B_n sont aussi donnés par la notation h[] représentant le fait que c'est une version demie ou alternée des groupes réguliers C_n.
• Les groupes bifurqués B_n et E_n sont aussi étiquetés par un exposant [3] où a,b,c sont le nombre de segments dans chacune des 3 branches.

n	A1+	B4+	C2+	D2	E6-8	F4	G2-4
1	A1=[]
2	A2=[3]		C2=[4]	D2=[p]			G2=[5]
3	A3=[3²]	B3=A3=[3]	C3=[4,3]				G3=[5,3]
4	A4=[3³]	B4=h[4,3,3]=[3]	C4=[4,3²]		E4=A4=[3]	F4=[3,4,3]	G4=[5,3,3]
5	A5=[3]	B5=h[4,3³]=[3]	C5=[4,3³]		E5=B5=[3]
6	A6=[3]	B6=h[4,3]=[3]	C6=[4,3]		E6=[3]
7	A7=[3]	B7=h[4,3]=[3]	C7=[4,3]		E7=[3]
8	A8=[3]	B8=h[4,3]=[3]	C8=[4,3]		E8=[3]
9	A9=[3]	B9=h[4,3]=[3]	C9=[4,3]

Note : (les noms alternatifs comme les groupes simples de Lie sont donnés)

1. A_n forme la famille du polytope simplex. (de même que A_n)
2. B_n est la famille des polytopes de demi-mesure, commençant à n=4 avec le 24-cellules et n=5 avec le penteract. (aussi nommé D_n)
3. C_n forme la famille des hypercubes. (de même que C_n)
4. D₂ forme les polygones réguliers. (aussi nommé I₁)
5. E₆,E₇,E₈ sont les générateurs des polytopes semi-réguliers de Gosset (de même que E₆,E₇,E₈)
6. F₄ est la famille du polychore 24-cellules. (de même que F₄)
7. G₃ est la famille du polyèdre dodécaèdre/icosaèdre. (aussi nommé H₃)
8. G₄ est la famille du polychore 120-cellules/600-cellules. (aussi nommé H₄)

Les familles de pavages uniformes convexes sont définis par les groupes de Coxeter.

Notes :

• Les groupes réguliers (linéaires) peuvent être donnés avec une notation équivalente avec des accolades.
• Le groupe S_n peut aussi être étiqueté par une notation h[] comme une moitié d'un régulier.
• Le groupe Q_n peut aussi être étiqueté par une notation q[] comme un quart d'un régulier.
• Les groupes bifurqués T_n sont aussi étiquetés par une forme exposant [3] où a,b,c sont le nombre de segments dans chacune des 3 branches.

n	P3+	Q5+	R3+	S4+	T7-9	U5	V3	W2
2								W2=[∞]
3	P3=h[6,3]		R3=[4,4]				V3=[6,3]
4	P4=q[4,3,4]		R4=[4,3,4]	S4=h[4,3,4]
5	P5	Q5=q[4,3²,4]	R5=[4,3²,4]	S5=h[4,3²,4]		U5=[3,4,3,3]
6	P6	Q6=q[4,3³,4]	R6=[4,3³,4]	S6=h[4,3³,4]
7	P7	Q7=q[4,3,4]	R7=[4,3,4]	S7=h[4,3,4]	T7=[3]
8	P8	Q8=q[4,3,4]	R8=[4,3,4]	S8=h[4,3,4]	T8=[3]
9	P9	Q9=q[4,3,4]	R9=[4,3,4]	S9=h[4,3,4]	T9=[3]
10	P10	Q10=q[4,3,4]	R10=[4,3,4]	S10=h[4,3,4]
11	...	...	...	...

Note : (des noms alternatifs comme les groupes simples de Lie sont aussi donnés)

1. P_n est un groupe cyclique. (aussi nommé _An-1~)
2. Q_n (aussi nommé _Dn-1~)
3. R_n forme la famille de pavage régulier de l'hypercube {4,3,....}. (aussi nommé _Bn-1~)
4. S_n forme la famille de pavage alternée hypercubique. (aussi nommé _Cn-1~)
5. T₇,T₈,T₉ sont les pavages de Gosset. (aussi nommé _E6_,E₇,_E7~)
6. U₅ est le pavage régulier du 24-cellules {3,4,3,3}. (aussi nommé _F4~)
7. V₃ est le pavage hexagonal. (aussi nommé _H2~)
8. W₂ est composé de deux miroirs parallèles. (aussi nommé _I1~)