En geometría , un diagrama de Coxeter-Dynkin (o diagrama de Coxeter , gráfico de Coxeter ) es un gráfico con bordes etiquetados numéricamente (llamados ramas ) que representan las relaciones espaciales entre una colección de espejos (o hiperplanos reflectantes ). Describe una construcción caleidoscópica : cada "nodo" del gráfico representa un espejo ( faceta de dominio ) y la etiqueta adjunta a una rama codifica el orden del ángulo diedro entre dos espejos (en una cresta de dominio), es decir, la cantidad por la que se puede multiplicar el ángulo entre los planos reflectantes para obtener 180 grados. Una rama sin etiquetar representa implícitamente el orden 3 (60 grados).
Cada diagrama representa un grupo de Coxeter y los grupos de Coxeter se clasifican por sus diagramas asociados.
Los diagramas de Dynkin son objetos estrechamente relacionados, que difieren de los diagramas de Coxeter en dos aspectos: en primer lugar, las ramas etiquetadas con "4" o más están dirigidas , mientras que los diagramas de Coxeter no están dirigidas ; en segundo lugar, los diagramas de Dynkin deben satisfacer una restricción adicional ( cristalográfica ), a saber, que las únicas etiquetas de rama permitidas son 2, 3, 4 y 6. Los diagramas de Dynkin corresponden y se utilizan para clasificar los sistemas de raíces y, por lo tanto, las álgebras de Lie semisimple . [1]
Descripción
Las ramas de un diagrama de Coxeter-Dynkin están etiquetadas con un número racional p , que representa un ángulo diedro de 180 ° / p . Cuando p = 2, el ángulo es de 90 ° y los espejos no tienen interacción, por lo que la rama se puede omitir del diagrama. Si una rama no está etiquetada, se supone que tiene p = 3 , lo que representa un ángulo de 60 °. Dos espejos paralelos tienen una rama marcada con "∞". En principio, n espejos se pueden representar mediante un gráfico completo en el que se dibujan todas las n ( n - 1) / 2 ramas. En la práctica, casi todas las configuraciones interesantes de espejos incluyen varios ángulos rectos, por lo que se omiten las ramas correspondientes.
Los diagramas se pueden etiquetar por su estructura gráfica. Las primeras formas estudiadas por Ludwig Schläfli son los ortosquemas que tienen gráficos lineales que generan politopos regulares y panales regulares . Plagioschemes son simplices representados por los gráficos de ramificación, y cycloschemes son simplices representados por los gráficos cíclicos.
Matriz de Schläfli
Cada diagrama de Coxeter tiene una matriz de Schläfli correspondiente (llamada así por Ludwig Schläfli ), con elementos de la matriz a i, j = a j, i = −2cos ( π / p ) donde p es el orden de ramificación entre los pares de espejos. Como matriz de cosenos , también se le llama matriz de Gramian en honor a Jørgen Pedersen Gram . Todas las matrices de Schläfli del grupo Coxeter son simétricas porque sus vectores raíz están normalizados. Está estrechamente relacionada con la matriz de Cartan , utilizada en los diagramas de Dynkin de gráficos similares pero dirigidos en los casos limitados de p = 2,3,4 y 6, que NO son simétricos en general.
El determinante de la matriz de Schläfli, llamado Schläflian , y su signo determina si el grupo es finito (positivo), afín (cero), indefinido (negativo). Esta regla se llama Criterio de Schläfli . [2]
Los valores propios de la matriz de Schläfli determinan si un grupo de Coxeter es de tipo finito (todos positivos), de tipo afín (todos no negativos, al menos uno es cero) o de tipo indefinido (de lo contrario). El tipo indefinido a veces se subdivide, por ejemplo, en grupos hiperbólicos y otros grupos Coxeter. Sin embargo, existen múltiples definiciones no equivalentes para grupos Coxeter hiperbólicos. Usamos la siguiente definición: Un grupo de Coxeter con diagrama conectado es hiperbólico si no es ni de tipo finito ni afín, pero todo subdiagrama conectado propiamente dicho es de tipo finito o afín. Un grupo de Coxeter hiperbólico es compacto si todos los subgrupos son finitos (es decir, tienen determinantes positivos) y paracompacto si todos sus subgrupos son finitos o afines (es decir, tienen determinantes no negativos).
Los grupos finitos y afines también se denominan elípticos y parabólicos respectivamente. Los grupos hiperbólicos también se denominan Lannér, en honor a F. Lannér que enumeró los grupos hiperbólicos compactos en 1950, [3] y Koszul (o cuasi-Lannér) para los grupos paracompactos.
Grupos de Coxeter de rango 2
Para el rango 2, el tipo de un grupo de Coxeter está completamente determinado por el determinante de la matriz de Schläfli, ya que es simplemente el producto de los valores propios: tipo finito (determinante positivo), tipo afín (determinante cero) o hiperbólico (determinante negativo) . Coxeter utiliza una notación de corchetes equivalente que enumera secuencias de órdenes de rama como un sustituto de los diagramas gráficos de rama de nodo. Soluciones racionales [p / q],, también existen, con mcd (p, q) = 1, que definen dominios fundamentales superpuestos. Por ejemplo, 3/2, 4/3, 5/2, 5/3, 5/4. y 6/5.
Tipo | Finito | Afín | Hiperbólico | |||||
---|---|---|---|---|---|---|---|---|
Geometría | ... | |||||||
Coxeter | [] | [2] | [3] | [4] | [pag] | [∞] | [∞] | [iπ / λ] |
Pedido | 2 | 4 | 6 | 8 | 2 p | ∞ | ||
Las líneas de espejo están coloreadas para corresponder a los nodos del diagrama de Coxeter. Los dominios fundamentales se colorean alternativamente. |
Diagramas de grupo de Coxeter de rango 2 | |||||||
---|---|---|---|---|---|---|---|
Orden p | Grupo | Diagrama de Coxeter | Matriz de Schläfli | ||||
Determinante (4-a 21 * a 12 ) | |||||||
Finito (determinante> 0) | |||||||
2 | Yo 2 (2) = A 1 xA 1 | [2] | 4 | ||||
3 | Yo 2 (3) = A 2 | [3] | 3 | ||||
3/2 | [3/2] | ||||||
4 | Yo 2 (4) = B 2 | [4] | 2 | ||||
4/3 | [4/3] | ||||||
5 | Yo 2 (5) = H 2 | [5] | ~ 1.38196601125 | ||||
5/4 | [5/4] | ||||||
5/2 | [5/2] | ~ 3.61803398875 | |||||
5/3 | [5/3] | ||||||
6 | Yo 2 (6) = G 2 | [6] | 1 | ||||
6/5 | [6/5] | ||||||
8 | Yo 2 (8) | [8] | ~ 0.58578643763 | ||||
10 | Yo 2 (10) | [10] | ~ 0.38196601125 | ||||
12 | Yo 2 (12) | [12] | ~ 0,26794919243 | ||||
pag | Yo 2 (p) | [pag] | |||||
Afín (determinante = 0) | |||||||
∞ | Yo 2 (∞) = = | [∞] | 0 | ||||
Hiperbólico (determinante≤0) | |||||||
∞ | [∞] | 0 | |||||
∞ | [iπ / λ] |
Visualizaciones geométricas
El diagrama de Coxeter-Dynkin puede verse como una descripción gráfica del dominio fundamental de los espejos. Un espejo representa un hiperplano dentro de un espacio esférico o euclidiano o hiperbólico dimensional dado. (En los espacios 2D, un espejo es una línea y en 3D un espejo es un plano).
Estas visualizaciones muestran los dominios fundamentales para los grupos euclidianos 2D y 3D, y los grupos esféricos 2D. Para cada uno, el diagrama de Coxeter se puede deducir identificando los espejos del hiperplano y etiquetando su conectividad, ignorando los ángulos diedros de 90 grados (orden 2).
Grupos de Coxeter en el plano euclidiano con diagramas equivalentes. Las reflexiones se etiquetan como nodos de gráfico R 1, R 2, etc. y se colorean según su orden de reflexión. Las reflexiones a 90 grados están inactivas y, por lo tanto, se eliminan del diagrama. Los espejos paralelos están conectados por una rama etiquetada con ∞. El grupo prismáticoX se muestra como una duplicación de la , pero también se pueden crear como dominios rectangulares duplicando el triangulos. La es una duplicación de la triángulo. | |
Muchos grupos de Coxeter en el plano hiperbólico pueden extenderse desde los casos euclidianos como una serie de soluciones hiperbólicas. | |
Grupos de Coxeter en 3 espacios con diagramas. Los espejos (caras triangulares) están etiquetados por el vértice opuesto 0..3. Las ramas están coloreadas según su orden de reflexión. llena 1/48 del cubo. llena 1/24 del cubo. llena 1/12 del cubo. | Grupos de Coxeter en la esfera con diagramas equivalentes. Un dominio fundamental está delineado en amarillo. Los vértices del dominio (y las ramas del gráfico) se colorean según su orden de reflexión. |
Grupos de Coxeter finito
- Consulte también familias de politopos para obtener una tabla de politopos uniformes de nodo final asociados con estos grupos.
- Se dan tres símbolos diferentes para los mismos grupos: como una letra / número, como un conjunto de números entre corchetes y como el diagrama de Coxeter.
- Los grupos D n bifurcados son la mitad o una versión alternativa de los grupos C n regulares .
- Los grupos D n y E n bifurcados también están etiquetados con una forma de superíndice [3 a , b , c ] donde a , b , c son los números de segmentos en cada una de las tres ramas.
Rango | Grupos de Simple Lie | Grupos de mentiras excepcionales | ||||||
---|---|---|---|---|---|---|---|---|
1 | A 1 = [] | |||||||
2 | A 2 = [3] | B 2 = [4] | D 2 = A 1 A 1 | G 2 = [6] | H 2 = [5] | Yo 2 [p] | ||
3 | A 3 = [3 2 ] | B 3 = [3,4] | D 3 = A 3 | E 3 = UNA 2 UNA 1 | F 3 = B 3 | H 3 | ||
4 | A 4 = [3 3 ] | B 4 = [3 2 , 4] | D 4 = [3 1,1,1 ] | E 4 = A 4 | F 4 | H 4 | ||
5 | A 5 = [3 4 ] | B 5 = [3 3 , 4] | D 5 = [3 2,1,1 ] | E 5 = D 5 | ||||
6 | A 6 = [3 5 ] | B 6 = [3 4 , 4] | D 6 = [3 3,1,1 ] | E 6 = [3 2,2,1 ] | ||||
7 | A 7 = [3 6 ] | B 7 = [3 5 , 4] | D 7 = [3 4,1,1 ] | E 7 = [3 3,2,1 ] | ||||
8 | A 8 = [3 7 ] | B 8 = [3 6 , 4] | D 8 = [3 5,1,1 ] | E 8 = [3 4,2,1 ] | ||||
9 | A 9 = [3 8 ] | B 9 = [3 7 , 4] | D 9 = [3 6,1,1 ] | |||||
10+ | .. | .. | .. | .. |
Aplicación con politopos uniformes
Al construir politopos uniformes, los nodos se marcan como activos por un anillo si un punto generador está fuera del espejo, creando un nuevo borde entre un punto generador y su imagen reflejada. Un nodo sin anillo representa un espejo inactivo que no genera nuevos puntos. Un anillo sin nodo se llama agujero . | Se pueden usar dos espejos ortogonales para generar un cuadrado, , visto aquí con un punto generador rojo y 3 copias virtuales en los espejos. El generador tiene que estar fuera de ambos espejos en este caso ortogonal para generar un interior. El marcado del anillo supone que los anillos activos tienen generadores a la misma distancia de todos los espejos, mientras que un rectángulo también puede representar una solución no uniforme. |
Los diagramas de Coxeter-Dynkin pueden enumerar explícitamente casi todas las clases de politopos uniformes y teselaciones uniformes . Cada politopo uniforme con simetría reflectante pura (todos menos unos pocos casos especiales tienen simetría reflectante pura) se puede representar mediante un diagrama de Coxeter-Dynkin con permutaciones de marcas . Cada politopo uniforme se puede generar utilizando tales espejos y un solo punto generador: las imágenes de espejo crean nuevos puntos como reflejos, luego los bordes de politopo se pueden definir entre los puntos y un punto de imagen de espejo. Las caras se generan por la reflexión repetida de un borde que finalmente se envuelve alrededor del generador original; la forma final, así como cualquier faceta de dimensiones superiores, también se crean al reflejar la cara para encerrar un área.
Para especificar el vértice generador, uno o más nodos están marcados con anillos, lo que significa que el vértice no está en el espejo o espejos representados por los nodos anillados. (Si se marcan dos o más espejos, el vértice es equidistante de ellos). Un espejo está activo (crea reflejos) solo con respecto a los puntos que no están en él. Un diagrama necesita al menos un nodo activo para representar un politopo. Un diagrama no conectado (subgrupos separados por ramas de orden 2 o espejos ortogonales) requiere al menos un nodo activo en cada subgrafo.
Todos los politopos regulares , representados por el símbolo de Schläfli { p , q , r , ... }, pueden tener sus dominios fundamentales representados por un conjunto de n espejos con un diagrama de Coxeter-Dynkin relacionado de una línea de nodos y ramas etiquetados por p , q , r , ..., con el primer nodo anillado.
Los politopos uniformes con un anillo corresponden a puntos generadores en las esquinas del dominio fundamental simplex. Dos anillos corresponden a los bordes de simplex y tienen un grado de libertad, con solo el punto medio como la solución uniforme para longitudes de borde iguales. En general , los puntos del generador de anillos k están en las caras (k-1) del símplex, y si todos los nodos están anillados, el punto generador está en el interior del símplex.
El caso especial de politopos uniformes con simetría no reflectante está representado por un marcado secundario donde se elimina el punto central de un nodo anillado (llamado agujero ). Estas formas son alternancias [ aclaración necesaria ] de politopos con simetría reflectante, lo que implica que los nodos alternativos se eliminan [ aclaración necesaria ] . El politopo resultante tendrá una subsimetría del grupo Coxeter original . Una alternancia truncada se llama desaire .
- Un solo nodo representa un solo espejo. A esto se le llama grupo A 1 . Si está anillado, esto crea un segmento de línea perpendicular al espejo, representado como {}.
- Dos nodos separados representan dos espejos perpendiculares . Si ambos nodos están anillados, se puede crear un rectángulo o un cuadrado si el punto está a la misma distancia de ambos espejos.
- Dos nodos unidos por una rama de orden n pueden crear un n -gon si el punto está en un espejo, y un 2 n -gon si el punto está fuera de ambos espejos. Esto forma el grupo I 1 (n).
- Dos espejos paralelos pueden representar un grupo de polígono infinito I 1 (∞), también llamado Ĩ 1 .
- Tres espejos en un triángulo forman imágenes que se ven en un caleidoscopio tradicional y se pueden representar mediante tres nodos conectados en un triángulo. Los ejemplos repetidos tendrán ramas etiquetadas como (3 3 3), (2 4 4), (2 3 6), aunque las dos últimas se pueden dibujar como una línea (con las 2 ramas ignoradas). Estos generarán mosaicos uniformes .
- Tres espejos pueden generar poliedros uniformes ; al incluir números racionales se obtiene el conjunto de triángulos de Schwarz .
- Tres espejos con uno perpendicular a los otros dos pueden formar los prismas uniformes .
Hay 7 construcciones reflectantes uniformes dentro de un triángulo general, basadas en 7 posiciones del generador topológico dentro del dominio fundamental. Cada espejo activo genera un borde, con dos espejos activos tienen generadores en los lados del dominio y tres espejos activos tienen el generador en el interior. Se pueden resolver uno o dos grados de libertad para una posición única para longitudes de borde iguales del poliedro o mosaico resultante. | Ejemplo 7 generadores en simetría octaédrica , triángulo de dominio fundamental (4 3 2), con octava generación de desaire como alternancia |
Los duales de los politopos uniformes a veces se marcan con una barra oblicua perpendicular que reemplaza los nodos anillados, y una barra oblicua para los nodos de los agujeros de los desaire. Por ejemplo,representa un rectángulo (como dos espejos ortogonales activos), yrepresenta su polígono dual , el rombo .
Ejemplo de poliedros y mosaicos
Por ejemplo, el grupo B 3 Coxeter tiene un diagrama:. Esto también se llama simetría octaédrica .
Hay 7 poliedros uniformes convexos que se pueden construir a partir de este grupo de simetría y 3 a partir de sus subimetrías de alternancia , cada uno con un diagrama de Coxeter-Dynkin marcado de forma única. El símbolo de Wythoff representa un caso especial del diagrama de Coxeter para gráficos de rango 3, con los 3 órdenes de rama nombrados, en lugar de suprimir el orden de 2 ramas. El símbolo de Wythoff puede manejar la forma de desaire , pero no las alternancias generales sin todos los nodos anillados.
Poliedros octaédricos uniformes | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|
Simetría : [4,3], (* 432) | [4,3] + (432) | [1 + , 4,3] = [3,3] (* 332) | [3 + , 4] (3 * 2) | |||||||
{4,3} | t {4,3} | r {4,3} r {3 1,1 } | t {3,4} t {3 1,1 } | {3,4} {3 1,1 } | rr {4,3} s 2 {3,4} | tr {4,3} | sr {4,3} | h {4,3} {3,3} | h 2 {4,3} t {3,3} | s {3,4} s {3 1,1 } |
= | = | = | = o | = o | = | |||||
Poliedros duales a uniformes | ||||||||||
V4 3 | V3.8 2 | V (3,4) 2 | V4.6 2 | V3 4 | V3.4 3 | V4.6.8 | V3 4 .4 | V3 3 | V3.6 2 | V3 5 |
Las mismas construcciones se pueden hacer en (ortogonales) grupos de Coxeter inconexos como los uniformes prismas , y pueden ser vistos más claramente como embaldosados de diedros y hosohedrons sobre la esfera, como este [6] x [] o [6,2] familia:
Poliedros esféricos diédricos hexagonales uniformes | ||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Simetría : [6,2] , (* 622) | [6,2] + , (622) | [6,2 + ], (2 * 3) | ||||||||||||
{6,2} | t {6,2} | r {6,2} | t {2,6} | {2,6} | rr {6,2} | tr {6,2} | sr {6,2} | s {2,6} | ||||||
Duales a uniformes | ||||||||||||||
V6 2 | V12 2 | V6 2 | V4.4.6 | V2 6 | V4.4.6 | V4.4.12 | V3.3.3.6 | V3.3.3.3 |
En comparación, el [6,3], La familia produce un conjunto paralelo de 7 teselaciones uniformes del plano euclidiano y sus teselaciones duales. De nuevo hay 3 alternancias y alguna versión de media simetría.
Azulejos uniformes hexagonales / triangulares | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Simetría : [6,3], (* 632) | [6,3] + (632) | [6,3 + ] (3 * 3) | |||||||||
{6,3} | t {6,3} | r {6,3} | t {3,6} | {3,6} | rr {6,3} | tr {6,3} | sr {6,3} | s {3,6} | |||
6 3 | 3.12 2 | (3,6) 2 | 6.6.6 | 3 6 | 3.4.6.4 | 4.6.12 | 3.3.3.3.6 | 3.3.3.3.3.3 | |||
Duales uniformes | |||||||||||
V6 3 | V3.12 2 | V (3,6) 2 | V6 3 | V3 6 | V3.4.6.4 | V.4.6.12 | V3 4 .6 | V3 6 |
En el plano hiperbólico [7,3], La familia produce un conjunto paralelo de mosaicos uniformes y sus mosaicos duales. Solo hay 1 alternancia ( desaire ) ya que todos los pedidos de sucursales son impares. Se pueden ver muchas otras familias hiperbólicas de teselaciones uniformes en teselaciones uniformes en el plano hiperbólico .
Azulejos uniformes heptagonales / triangulares | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Simetría: [7,3], (* 732) | [7,3] + , (732) | ||||||||||
{7,3} | t {7,3} | r {7,3} | t {3,7} | {3,7} | rr {7,3} | tr {7,3} | sr {7,3} | ||||
Duales uniformes | |||||||||||
V7 3 | V3.14.14 | V3.7.3.7 | V6.6.7 | V3 7 | V3.4.7.4 | V4.6.14 | V3.3.3.3.7 |
Grupos de Affine Coxeter
Las familias de teselaciones euclidianas uniformes convexas están definidas por los grupos afines de Coxeter . Estos grupos son idénticos a los grupos finitos con la inclusión de un nodo agregado. En los nombres de las letras se les asigna la misma letra con un "~" encima de la letra. El índice se refiere al grupo finito, por lo que el rango es el índice más 1. ( Ernst Witt símbolos para los grupos afines se dan como también )
- : los diagramas de este tipo son ciclos. (También P n )
- está asociado con la familia de teselaciones regulares del hipercubo { 4, 3, ...., 4 }. (También R n )
- relacionado con C por un espejo eliminado. (También S n )
- relacionado con C por dos espejos quitados. (También Q n )
- , , . (También T 7 , T 8 , T 9 )
- forma la teselación regular {3,4,3,3}. (También U 5 )
- forma 30-60-90 dominios fundamentales triangulares. (También V 3 )
- son dos espejos paralelos. (= = ) (También W 2 )
Los grupos compuestos también se pueden definir como proyectos ortogonales. El uso más común, como , representa dominios de tablero de ajedrez cuadrados o rectangulares en el plano euclidiano. Y representa los dominios fundamentales del prisma triangular en el espacio tridimensional euclidiano.
Rango | (P 2+ ) | (S 4+ ) | (R 2+ ) | (Q 5+ ) | (T n + 1 ) /(U 5 ) /(V 3 ) |
---|---|---|---|---|---|
2 | = [∞] | = [∞] | |||
3 | = [3 [3] ] * | = [4,4] * | = [6,3] * | ||
4 | = [3 [4] ] * | = [4,3 1,1 ] * | = [4,3,4] * | = [3 1,1 , 3 −1 , 3 1,1 ] = | |
5 | = [3 [5] ] * | = [4,3,3 1,1 ] * | = [4,3 2 , 4] * | = [3 1,1,1,1 ] * | = [3,4,3,3] * |
6 | = [3 [6] ] * | = [4,3 2 , 3 1,1 ] * | = [4,3 3 , 4] * | = [3 1,1 , 3,3 1,1 ] * | |
7 | = [3 [7] ] * | = [4,3 3 , 3 1,1 ] | = [4,3 4 , 4] | = [3 1,1 , 3 2 , 3 1,1 ] | = [3 2,2,2 ] |
8 | = [3 [8] ] * | = [4,3 4 , 3 1,1 ] * | = [4,3 5 , 4] | = [3 1,1 , 3 3 , 3 1,1 ] * | = [3 3,3,1 ] * |
9 | = [3 [9] ] * | = [4,3 5 , 3 1,1 ] | = [4,3 6 , 4] | = [3 1,1 , 3 4 , 3 1,1 ] | = [3 5,2,1 ] * |
10 | = [3 [10] ] * | = [4,3 6 , 3 1,1 ] | = [4,3 7 , 4] | = [3 1,1 , 3 5 , 3 1,1 ] | |
11 | ... | ... | ... | ... |
Grupos de Coxeter hiperbólico
Hay muchos grupos Coxeter hiperbólicos infinitos . Los grupos hiperbólicos se clasifican como compactos o no, y los grupos compactos tienen dominios fundamentales delimitados. Los grupos hiperbólicos compactos simplex ( Lannér simplices ) existen en el rango 3 a 5. Los grupos paracompactos simplex ( Koszul simplices ) existen hasta el rango 10. Los grupos hipercompactos ( politopos de Vinberg ) se han explorado pero no se han determinado completamente. En 2006, Allcock demostró que hay infinitos politopos de Vinberg compactos para dimensiones de hasta 6, e infinitos politopos de Vinberg de volúmenes finitos para dimensiones de hasta 19, [4] por lo que no es posible una enumeración completa. Todos estos dominios reflexivos fundamentales, tanto simples como no implícitos, a menudo se denominan politopos de Coxeter o, a veces, con menos precisión, poliedros de Coxeter .
Grupos hiperbólicos en H 2
Ejemplo de triángulos rectángulos [p, q] | ||||
---|---|---|---|---|
[3,7] | [3,8] | [3,9] | [3, ∞] | |
[4,5] | [4,6] | [4,7] | [4,8] | [∞, 4] |
[5,5] | [5,6] | [5,7] | [6,6] | [∞, ∞] |
Ejemplo de triángulos generales [(p, q, r)] | ||||
[(3,3,4)] | [(3,3,5)] | [(3,3,6)] | [(3,3,7)] | [(3,3, ∞)] |
[(3,4,4)] | [(3,6,6)] | [(3, ∞, ∞)] | [(6,6,6)] | [(∞, ∞, ∞)] |
Los grupos de triángulos hiperbólicos bidimensionales existen como diagramas de Coxeter de rango 3, definidos por el triángulo (pqr) para:
Hay infinitos grupos de Coxeter hiperbólicos triangulares compactos, incluidos gráficos lineales y triangulares. Las gráficas lineales existen para triángulos rectángulos (con r = 2). [5]
Lineal | Cíclico | ||||
---|---|---|---|---|---|
∞ [p, q],: 2 (p + q)
| ∞ [(p, q, r)], : p + q + r> 9
|
Los grupos paracompactos Coxeter de rango 3 existen como límites a los compactos.
Grafos lineales | Gráficos cíclicos |
---|---|
|
|
Grupo de triángulo aritmético
Los grupos de triángulos hiperbólicos que también son grupos aritméticos forman un subconjunto finito. Mediante una búsqueda por computadora, Kisao Takeuchi determinó la lista completa en su artículo de 1977 Grupos de triángulos aritméticos . [6] Hay 85 en total, 76 compactos y 9 paracompactos.
Triángulos rectángulos (pq 2) | Triángulos generales (pqr) |
---|---|
Grupos compactos: (76)
Triángulos rectángulos paracompactos: (4)
| Triángulos generales: (39)
Triángulos generales paracompactos: (5)
|
|
|
Polígonos hiperbólicos de Coxeter sobre triángulos
o [∞, 3, ∞] [iπ / λ 1 , 3, iπ / λ 2 ] (* 3222) | o [((3, ∞, 3)), ∞] [((3, iπ / λ 1 , 3)), iπ / λ 2 ] (* 3322) | o [(3, ∞) [2] ] [(3, iπ / λ 1 , 3, iπ / λ 2 )] (* 3232) | o [(4, ∞) [2] ] [(4, iπ / λ 1 , 4, iπ / λ 2 )] (* 4242) | (* 3333) |
Dominios con vértices ideales | ||||
---|---|---|---|---|
[iπ / λ 1 , ∞, iπ / λ 2 ] (* ∞222) | (* ∞∞22) | [(iπ / λ 1 , ∞, iπ / λ 2 , ∞)] (* 2∞2∞) | (* ∞∞∞∞) | (* 4444) |
Se pueden construir otros caleidoscopios hiperbólicos H 2 a partir de polígonos de orden superior. Al igual que los grupos de triángulos, estos caleidoscopios pueden identificarse mediante una secuencia cíclica de órdenes de intersección de espejos alrededor del dominio fundamental, como (abcd ...), o de manera equivalente en notación orbifold como * abcd .... Los diagramas de Coxeter-Dynkin para estos caleidoscopios poligonales pueden ser visto como un dominio fundamental degenerado (n-1) - simplex , con un orden cíclico de ramas a, b, c ... y las n * (n-3) / 2 ramas restantes están etiquetadas como infinitas (∞) que representan los espejos que no se cruzan. El único ejemplo no hiperbólico es la simetría euclidiana de cuatro espejos en un cuadrado o rectángulo como, [∞, 2, ∞] (orbifold * 2222). Otra representación de rama para espejos que no se cruzan de Vinberg da ramas infinitas como líneas de puntos o discontinuas, por lo que este diagrama se puede mostrar como, con las cuatro ramas de orden 2 suprimidas alrededor del perímetro.
Por ejemplo, un dominio de cuadrilátero (abcd) tendrá dos ramas de orden infinito que conectan espejos ultraparalelos. El ejemplo hiperbólico más pequeño es, [∞, 3, ∞] o [iπ / λ 1 , 3, iπ / λ 2 ] (orbifold * 3222), donde (λ 1 , λ 2 ) son la distancia entre los espejos ultraparalelos. La expresión alternativa es, con tres ramas de orden 2 suprimidas alrededor del perímetro. De manera similar (2 3 2 3) (orbifold * 3232) se puede representar como y (3 3 3 3), (orbifold * 3333) se puede representar como un gráfico completo .
El dominio cuadrilátero más alto (∞ ∞ ∞ ∞) es un cuadrado infinito, representado por un gráfico tetraédrico completo con 4 ramas perimetrales como vértices ideales y dos ramas diagonales como infinito (mostradas como líneas de puntos) para espejos ultraparalos :.
Compacto (grupos Lannér simplex)
Los grupos hiperbólicos compactos se denominan grupos de Lannér en honor a Folke Lannér, quien los estudió por primera vez en 1950. [7] Solo existen como gráficos de rango 4 y 5. Coxeter estudió los grupos coxeter hiperbólicos lineales en su artículo de 1954 Panales regulares en el espacio hiperbólico , [8] que incluía dos soluciones racionales en el espacio 4 hiperbólico : [5 / 2,5,3,3] = y [5,5 / 2,5,3] = .
Rangos 4-5
El dominio fundamental de cualquiera de los dos grupos en bifurcación, [5,3 1,1 ] y [5,3,3 1,1 ], es el doble que el de un grupo lineal correspondiente, [5,3,4] y [5 , 3, 3, 4] respectivamente. Johnson da los nombres de las letras como símbolos de Witt extendidos . [9]
Dimensión H d | Rango | Cuenta total | Lineal | Bifurcando | Cíclico |
---|---|---|---|---|---|
H 3 | 4 | 9 | = [4,3,5]: | = [5,3 1,1 ]: | = [(3 3 , 4)]: |
H 4 | 5 | 5 | = [3 3 , 5]: | = [5,3,3 1,1 ]: | = [(3 4 , 4)]: |
Paracompacto (grupos Koszul simplex)
Los grupos Coxeter hiperbólicos paracompactos (también llamados no compactos) contienen subgrupos afines y tienen dominios fundamentales asintóticos simplex. El grupo Coxeter hiperbólico paracompacto más alto es el rango 10. Estos grupos llevan el nombre del matemático francés Jean-Louis Koszul . [10] También se les llama grupos cuasi-Lannér que amplían los grupos compactos de Lannér. M. Chein determinó que la lista estaba completa mediante una búsqueda informática y se publicó en 1969. [11]
Por Vinberg, todos menos ocho de estos 72 simples compactos y paracompactos son aritméticos. Dos de los grupos no aritméticos son compactos: y . Los otros seis grupos no aritméticos son todos paracompactos, con cinco grupos tridimensionales, , , , y y un grupo de 5 dimensiones .
Simplices ideales
Hay 5 grupos Coxeter hiperbólicos que expresan simplices ideales , gráficos en los que la eliminación de cualquier nodo da como resultado un grupo Coxeter afín. Por tanto, todos los vértices de este simplex ideal están en infinito. [12]
Rango | Grupo ideal | Subgrupos afines | ||
---|---|---|---|---|
3 | [(∞, ∞, ∞)] | [∞] | ||
4 | [4 [4] ] | [4,4] | ||
4 | [3 [3,3] ] | [3 [3] ] | ||
4 | [(3,6) [2] ] | [3,6] | ||
6 | [(3,3,4) [2] ] | [4,3,3,4], [3,4,3,3] | , |
Rangos 4 a 10
Hay un total de 58 grupos Coxeter hiperbólicos paracompactos del rango 4 al 10. Los 58 se agrupan a continuación en cinco categorías. Johnson da los símbolos de letras como símbolos de Witt extendidos , usando PQRSTWUV de los símbolos afines de Witt y agregando LMNOXYZ. Estos grupos hiperbólicos reciben una línea superior, o un sombrero, para ciclosquemas. La notación de corchetes de Coxeter es una representación lineal del grupo Coxeter.
Rango | Cuenta total | Grupos | |||
---|---|---|---|---|---|
4 | 23 | = [(3,3,4,4)]: | = [3,3 [3] ]: | = [3,4,4]: | = [3 [] x [] ]: |
5 | 9 | = [3,3 [4] ]: | = [4,3, ((4,2,3))]: | = [(3,4) 2 ]: | = [4,3 1,1,1 ]: |
6 | 12 | = [3,3 [5] ]: | = [4,3,3 2,1 ]: | = [3 3 , 4,3]: | = [3 2,1,1,1 ]: = [4,3,3 1,1,1 ]: |
7 | 3 | = [3,3 [6] ]: | = [3 1,1 , 3,3 2,1 ]: | = [4,3 2 , 3 2,1 ]: | |
8 | 4 | = [3,3 [7] ]: | = [3 1,1 , 3 2 , 3 2,1 ]: | = [4,3 3 , 3 2,1 ]: | = [3 3,2,2 ]: |
9 | 4 | = [3,3 [8] ]: | = [3 1,1 , 3 3 , 3 2,1 ]: | = [4,3 4 , 3 2,1 ]: | = [34,3,1]: |
10 | 4 | = [3,3[9]]: | = [31,1,34,32,1]: | = [4,35,32,1]: | = [36,2,1]: |
Subgroup relations of paracompact hyperbolic groups
These trees represents subgroup relations of paracompact hyperbolic groups. Subgroup indices on each connection are given in red.[13] Subgroups of index 2 represent a mirror removal, and fundamental domain doubling. Others can be inferred by commensurability (integer ratio of volumes) for the tetrahedral domains.
Subgroup trees | ||||
---|---|---|---|---|
H3 | ||||
H4 | ||||
H5 |
Hypercompact Coxeter groups (Vinberg polytopes)
Just like the hyperbolic plane H2 has nontriangular polygonal domains, higher-dimensional reflective hyperbolic domains also exists. These nonsimplex domains can be considered degenerate simplices with non-intersecting mirrors given infinite order, or in a Coxeter diagram, such branches are given dotted or dashed lines. These nonsimplex domains are called Vinberg polytopes, after Ernest Vinberg for his Vinberg's algorithm for finding nonsimplex fundamental domain of a hyperbolic reflection group. Geometrically these fundamental domains can be classified as quadrilateral pyramids, or prisms or other polytopes with edges as the intersection of two mirrors having dihedral angles as π/n for n=2,3,4...
In a simplex-based domain, there are n+1 mirrors for n-dimensional space. In non-simplex domains, there are more than n+1 mirrors. The list is finite, but not completely known. Instead partial lists have been enumerated as n+k mirrors for k as 2,3, and 4.
Hypercompact Coxeter groups in three dimensional space or higher differ from two dimensional groups in one essential respect. Two hyperbolic n-gons having the same angles in the same cyclic order may have different edge lengths and are not in general congruent. In contrast Vinberg polytopes in 3 dimensions or higher are completely determined by the dihedral angles. This fact is based on the Mostow rigidity theorem, that two isomorphic groups generated by reflections in Hn for n>=3, define congruent fundamental domains (Vinberg polytopes).
Vinberg polytopes with rank n+2 for n dimensional space
The complete list of compact hyperbolic Vinberg polytopes with rank n+2 mirrors for n-dimensions has been enumerated by F. Esselmann in 1996.[14] A partial list was published in 1974 by I. M. Kaplinskaya.[15]
The complete list of paracompact solutions was published by P. Tumarkin in 2003, with dimensions from 3 to 17.[16]
The smallest paracompact form in H3 can be represented by , or [∞,3,3,∞] which can be constructed by a mirror removal of paracompact hyperbolic group [3,4,4] as [3,4,1+,4]. The doubled fundamental domain changes from a tetrahedron into a quadrilateral pyramid. Another pyramids include [4,4,1+,4] = [∞,4,4,∞], = . Removing a mirror from some of the cyclic hyperbolic Coxeter graphs become bow-tie graphs: [(3,3,4,1+,4)] = [((3,∞,3)),((3,∞,3))] or , [(3,4,4,1+,4)] = [((4,∞,3)),((3,∞,4))] or , [(4,4,4,1+,4)] = [((4,∞,4)),((4,∞,4))] or .
Other valid paracompact graphs with quadrilateral pyramid fundamental domains include:
Dimension | Rank | Graphs |
---|---|---|
H3 | 5 |
|
Another subgroup [1+,41,1,1] = [∞,4,1+,4,∞] = [∞[6]]. = = . [17]
Vinberg polytopes with rank n+3 for n dimensional space
There are a finite number of degenerate fundamental simplices exist up to 8-dimensions. The complete list of Compact Vinberg polytopes with rank n+3 mirrors for n-dimensions has been enumerated by P. Tumarkin in 2004. These groups are labeled by dotted/broken lines for ultraparallel branches. The complete list of non-Compact Vinberg polytopes with rank n+3 mirrors and with one non-simple vertex for n-dimensions has been enumerated by Mike Roberts.[18]
For 4 to 8 dimensions, rank 7 to 11 Coxeter groups are counted as 44, 16, 3, 1, and 1 respectively.[19] The highest was discovered by Bugaenko in 1984 in dimension 8, rank 11:[20]
Dimensions | Rank | Cases | Graphs | ||
---|---|---|---|---|---|
H4 | 7 | 44 | ... | ||
H5 | 8 | 16 | .. | ||
H6 | 9 | 3 | |||
H7 | 10 | 1 | |||
H8 | 11 | 1 |
Vinberg polytopes with rank n+4 for n dimensional space
There are a finite number of degenerate fundamental simplices exist up to 8-dimensions. Compact Vinberg polytopes with rank n+4 mirrors for n-dimensions has been explored by A. Felikson and P. Tumarkin in 2005.[21]
Lorentzian groups
{3,3,7} viewed outside of Poincare ball model | {7,3,3} viewed outside of Poincare ball model |
Lorentzian groups for simplex domains can be defined as graphs beyond the paracompact hyperbolic forms. These are sometimes called super-ideal simplices and are also related to a Lorentzian geometry, named after Hendrik Lorentz in the field of special and general relativity space-time, containing one (or more) time-like dimensional components whose self dot products are negative.[9] Danny Calegari calls these convex cocompact Coxeter groups in n-dimensional hyperbolic space.[22][23]
A 1982 paper by George Maxwell, Sphere Packings and Hyperbolic Reflection Groups, enumerates the finite list of Lorentzian of rank 5 to 11. He calls them level 2, meaning removal any permutation of 2 nodes leaves a finite or Euclidean graph. His enumeration is complete, but didn't list graphs that are a subgroup of another. All higher-order branch Coxeter groups of rank-4 are Lorentzian, ending in the limit as a complete graph 3-simplex Coxeter-Dynkin diagram with 6 infinite order branches, which can be expressed as [∞[3,3]]. Rank 5-11 have a finite number of groups 186, 66, 36, 13, 10, 8, and 4 Lorentzian groups respectively.[24] A 2013 paper by H. Chen and J.-P. Labbé, Lorentzian Coxeter groups and Boyd--Maxwell ball packings, recomputed and published the complete list.[25]
For the highest ranks 8-11, the complete lists are:
Rank | Total count | Groups | ||||
---|---|---|---|---|---|---|
4 | ∞ | [3,3,7] ... [∞,∞,∞]: ... [4,3[3]] ... [∞,∞[3]]: ... | ||||
5 | 186 | ...[3[3,3,3]]:... | ||||
6 | 66 | |||||
7 | 36 | [31,1,1,1,1,1]: ... | ||||
8 | 13 | [3,3,3[6]]: | [4,3,3,33,1]: | [4,3,3,32,2]: | ||
9 | 10 | [3,3[3+4],3]: | [32,1,32,32,1]: | [33,1,33,4]: [33,1,3,3,31,1]: | [33,3,2]: [32,2,4]: | |
10 | 8 | [3,3[8],3]: [3,3[3+5],3]: | [32,1,33,32,1]: | [35,3,1]: [33,1,34,4]: | [34,4,1]: | |
11 | 4 | [32,1,34,32,1]: | [32,1,36,4]: [32,1,35,31,1]: | [37,2,1]: |
Very-extended Coxeter Diagrams
One usage includes a very-extended definition from the direct Dynkin diagram usage which considers affine groups as extended, hyperbolic groups over-extended, and a third node as very-extended simple groups. These extensions are usually marked by an exponent of 1,2, or 3 + symbols for the number of extended nodes. This extending series can be extended backwards, by sequentially removing the nodes from the same position in the graph, although the process stops after removing branching node. The E8 extended family is the most commonly shown example extending backwards from E3 and forwards to E11.
The extending process can define a limited series of Coxeter graphs that progress from finite to affine to hyperbolic to Lorentzian. The determinant of the Cartan matrices determine where the series changes from finite (positive) to affine (zero) to hyperbolic (negative), and ending as a Lorentzian group, containing at least one hyperbolic subgroup.[26] The noncrystalographic Hn groups forms an extended series where H4 is extended as a compact hyperbolic and over-extended into a lorentzian group.
The determinant of the Schläfli matrix by rank are:[27]
- det(A1n=[2n-1]) = 2n (Finite for all n)
- det(An=[3n-1]) = n+1 (Finite for all n)
- det(Bn=[4,3n-2]) = 2 (Finite for all n)
- det(Dn=[3n-3,1,1]) = 4 (Finite for all n)
Determinants of the Schläfli matrix in exceptional series are:
- det(En=[3n-3,2,1]) = 9-n (Finite for E3(=A2A1), E4(=A4), E5(=D5), E6, E7 and E8, affine at E9 (), hyperbolic at E10)
- det([3n-4,3,1]) = 2(8-n) (Finite for n=4 to 7, affine (), and hyperbolic at n=8.)
- det([3n-4,2,2]) = 3(7-n) (Finite for n=4 to 6, affine (), and hyperbolic at n=7.)
- det(Fn=[3,4,3n-3]) = 5-n (Finite for F3(=B3) to F4, affine at F5 (), hyperbolic at F6)
- det(Gn=[6,3n-2]) = 3-n (Finite for G2, affine at G3 (), hyperbolic at G4)
Finite | G 2 {\displaystyle G_{2}} | ||||||
---|---|---|---|---|---|---|---|
Rank n | [3[3],3n-3] | [4,4,3n-3] | Gn=[6,3n-2] | [3[4],3n-4] | [4,31,n-3] | [4,3,4,3n-4] | Hn=[5,3n-2] |
2 | [3] A2 | [4] C2 | [6] G2 | [2] A12 | [4] C2 | [5] H2 | |
3 | [3[3]] A2+= | [4,4] C2+= | [6,3] G2+= | [3,3]=A3 | [4,3] B3 | [4,3] C3 | [5,3] H3 |
4 | [3[3],3] A2++= | [4,4,3] C2++= | [6,3,3] G2++= | [3[4]] A3+= | [4,31,1] B3+= | [4,3,4] C3+= | [5,3,3] H4 |
5 | [3[3],3,3] A2+++ | [4,4,3,3] C2+++ | [6,3,3,3] G2+++ | [3[4],3] A3++= | [4,32,1] B3++= | [4,3,4,3] C3++= | [5,33] H5= |
6 | [3[4],3,3] A3+++ | [4,33,1] B3+++ | [4,3,4,3,3] C3+++ | [5,34] H6 | |||
Det(Mn) | 3(3-n) | 2(3-n) | 3-n | 4(4-n) | 2(4-n) |
Finite | F 4 {\displaystyle F_{4}} | |||||||
---|---|---|---|---|---|---|---|---|
Rank n | [3[5],3n-5] | [4,3,3n-4,1] | [4,3,3,4,3n-5] | [3n-4,1,1,1] | [3,4,3n-3] | [3[6],3n-6] | [4,3,3,3n-5,1] | [31,1,3,3n-5,1] |
3 | [4,3−1,1] B2A1 | [4,3] B3 | [3−1,1,1,1] A13 | [3,4] B3 | [4,3,3] C3 | |||
4 | [33] A4 | [4,3,3] B4 | [4,3,3] C4 | [30,1,1,1] D4 | [3,4,3] F4 | [4,3,3,3−1,1] B3A1 | [31,1,3,3−1,1] A3A1 | |
5 | [3[5]] A4+= | [4,3,31,1] B4+= | [4,3,3,4] C4+= | [31,1,1,1] D4+= | [3,4,3,3] F4+= | [34] A5 | [4,3,3,3,3] B5 | [31,1,3,3] D5 |
6 | [3[5],3] A4++= | [4,3,32,1] B4++= | [4,3,3,4,3] C4++= | [32,1,1,1] D4++= | [3,4,33] F4++= | [3[6]] A5+= | [4,3,3,31,1] B5+= | [31,1,3,31,1] D5+= |
7 | [3[5],3,3] A4+++ | [4,3,33,1] B4+++ | [4,3,3,4,3,3] C4+++ | [33,1,1,1] D4+++ | [3,4,34] F4+++ | [3[6],3] A5++= | [4,3,3,32,1] B5++= | [31,1,3,32,1] D5++= |
8 | [3[6],3,3] A5+++ | [4,3,3,33,1] B5+++ | [31,1,3,33,1] D5+++ | |||||
Det(Mn) | 5(5-n) | 2(5-n) | 4(5-n) | 5-n | 6(6-n) | 4(6-n) |
Finite | E 8 {\displaystyle E_{8}} | ||||||||
---|---|---|---|---|---|---|---|---|---|
Rank n | [3[7],3n-7] | [4,33,3n-6,1] | [31,1,3,3,3n-6,1] | [3n-5,2,2] | [3[8],3n-8] | [4,34,3n-7,1] | [31,1,3,3,3,3n-7,1] | [3n-5,3,1] | En=[3n-4,2,1] |
3 | [3−1,2,1] E3=A2A1 | ||||||||
4 | [3−1,2,2] A22 | [3−1,3,1] A3A1 | [30,2,1] E4=A4 | ||||||
5 | [4,3,3,3,3−1,1] B4A1 | [31,1,3,3,3−1,1] D4A1 | [30,2,2] A5 | [30,3,1] A5 | [31,2,1] E5=D5 | ||||
6 | [35] A6 | [4,34] B6 | [31,1,3,3,3] D6 | [31,2,2] E6 | [4,3,3,3,3,3−1,1] B5A1 | [31,1,3,3,3,3−1,1] D5A1 | [31,3,1] D6 | [32,2,1] E6 * | |
7 | [3[7]] A6+= | [4,33,31,1] B6+= | [31,1,3,3,31,1] D6+= | [32,2,2] E6+= | [36] A7 | [4,35] B7 | [31,1,3,3,3,30,1] D7 | [32,3,1] E7 * | [33,2,1] E7 * |
8 | [3[7],3] A6++= | [4,33,32,1] B6++= | [31,1,3,3,32,1] D6++= | [33,2,2] E6++= | [3[8]] A7+= * | [4,34,31,1] B7+= * | [31,1,3,3,3,31,1] D7+= * | [33,3,1] E7+= * | [34,2,1] E8 * |
9 | [3[7],3,3] A6+++ | [4,33,33,1] B6+++ | [31,1,3,3,33,1] D6+++ | [34,2,2] E6+++ | [3[8],3] A7++= * | [4,34,32,1] B7++= * | [31,1,3,3,3,32,1] D7++= * | [34,3,1] E7++= * | [35,2,1] E9=E8+= * |
10 | [3[8],3,3] A7+++ * | [4,34,33,1] B7+++ * | [31,1,3,3,3,33,1] D7+++ * | [35,3,1] E7+++ * | [36,2,1] E10=E8++= * | ||||
11 | [37,2,1] E11=E8+++ * | ||||||||
Det(Mn) | 7(7-n) | 2(7-n) | 4(7-n) | 3(7-n) | 8(8-n) | 2(8-n) | 4(8-n) | 2(8-n) | 9-n |
Geometric folding
φA : AΓ --> AΓ' for finite types | |||
---|---|---|---|
Γ | Γ' | Folding description | Coxeter–Dynkin diagrams |
I2(h) | Γ(h) | Dihedral folding | |
Bn | A2n | (I,sn) | |
Dn+1, A2n-1 | (A3,+/-ε) | ||
F4 | E6 | (A3,±ε) | |
H4 | E8 | (A4,±ε) | |
H3 | D6 | ||
H2 | A4 | ||
G2 | A5 | (A5,±ε) | |
D4 | (D4,±ε) | ||
φ: AΓ+ --> AΓ'+ for affine types | |||
Locally trivial | |||
(I,sn) | |||
, | (A3,±ε) | ||
, | (A3,±ε) | ||
(I,sn) | |||
(I,sn) & (I,s0) | |||
(A3,ε) & (I,s0) | |||
(A3,ε) & (A3,ε') | |||
(A3,-ε) & (A3,-ε') | |||
(I,s1) | |||
, | (A3,±ε) | ||
, | (A5,±ε) | ||
, | (B3,±ε) | ||
, | (D4,±ε) |
A (simply-laced) Coxeter–Dynkin diagram (finite, affine, or hyperbolic) that has a symmetry (satisfying one condition, below) can be quotiented by the symmetry, yielding a new, generally multiply laced diagram, with the process called "folding".[29][30]
For example, in D4 folding to G2, the edge in G2 points from the class of the 3 outer nodes (valence 1), to the class of the central node (valence 3). And E8 folds into 2 copies of H4, the second copy scaled by τ.[31]
Geometrically this corresponds to orthogonal projections of uniform polytopes and tessellations. Notably, any finite simply-laced Coxeter–Dynkin diagram can be folded to I2(h), where h is the Coxeter number, which corresponds geometrically to a projection to the Coxeter plane.
A few hyperbolic foldings |
Complex reflections
Coxeter–Dynkin diagrams have been extended to complex space, Cn where nodes are unitary reflections of period greater than 2. Nodes are labeled by an index, assumed to be 2 for ordinary real reflection if suppressed. Coxeter writes the complex group, p[q]r, as diagram .[32]
A 1-dimensional regular complex polytope in is represented as , having p vertices. Its real representation is a regular polygon, {p}. Its symmetry is p[] or , order p. A unitary operator generator for is seen as a rotation in by 2π/p radians counter clockwise, and a edge is created by sequential applications of a single unitary reflection. A unitary reflection generator for a 1-polytope with p vertices is e2πi/p = cos(2π/p) + i sin(2π/p). When p = 2, the generator is eπi = –1, the same as a point reflection in the real plane.
In a higher polytope, p{} or represents a p-edge element, with a 2-edge, {} or , representing an ordinary real edge between two vertices.
Complex 1-polytopes, , represented in the Argand plane as regular polygons for p = 2, 3, 4, 5, and 6, with black vertices. The centroid of the p vertices is shown seen in red. The sides of the polygons represent one application of the symmetry generator, mapping each vertex to the next counterclockwise copy. These polygonal sides are not edge elements of the polytope, as a complex 1-polytope can have no edges (it often is a complex edge) and only contains vertex elements. |
12 irreducible Shephard groups with their subgroup index relations.[33] Subgroups index 2 relate by removing a real reflection: p[2q]2 --> p[q]p, index 2. p[4]q --> p[q]p, index q. | p[4]2 subgroups: p=2,3,4... p[4]2 --> [p], index p p[4]2 --> p[]×p[], index 2 |
Aa regular complex polygons in , has the form p{q}r or Coxeter diagram . The symmetry group of a regular complex polygon is not called a Coxeter group, but instead a Shephard group, a type of Complex reflection group. The order of p[q]r is .[34]
The rank 2 Shephard groups are: 2[q]2, p[4]2, 3[3]3, 3[6]2, 3[4]3, 4[3]4, 3[8]2, 4[6]2, 4[4]3, 3[5]3, 5[3]5, 3[10]2, 5[6]2, and 5[4]3 or , , , , , , , , , , , , , of order 2q, 2p2, 24, 48, 72, 96, 144, 192, 288, 360, 600, 1200, and 1800 respectively.
The symmetry group p1[q]p2 is represented by 2 generators R1, R2, where: R1p1 = R2p2 = I. If q is even, (R2R1)q/2 = (R1R2)q/2. If q is odd, (R2R1)(q-1)/2R2 = (R1R2)(q-1)/2R1. When q is odd, p1=p2.
The group or [1 1 1]p is defined by 3 period 2 unitary reflections {R1, R2, R3}: R12 = R12 = R32 = (R1R2)3 = (R2R3)3 = (R3R1)3 = (R1R2R3R1)p = 1. The period p can be seen as a double rotation in real .
A similar group or [1 1 1](p) is defined by 3 period 2 unitary reflections {R1, R2, R3}: R12 = R12 = R32 = (R1R2)3 = (R2R3)3 = (R3R1)3 = (R1R2R3R2)p = 1.
See also
- Coxeter group
- Schwarz triangle
- Goursat tetrahedron
- Dynkin diagram
- Uniform polytope
- Wythoff symbol
- Uniform polyhedron
- List of uniform polyhedra
- List of uniform planar tilings
- Uniform 4-polytope
- Convex uniform honeycomb
- Convex uniform honeycombs in hyperbolic space
- Wythoff construction and Wythoff symbol
References
- ^ Hall, Brian C. (2003), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Springer, ISBN 978-0-387-40122-5
- ^ Coxeter, Regular Polytopes, (3rd edition, 1973), Dover edition, ISBN 0-486-61480-8, Sec 7.7. page 133, Schläfli's Criterion
- ^ Lannér F., On complexes with transitive groups of automorphisms, Medd. Lunds Univ. Mat. Sem. [Comm. Sem. Math. Univ. Lund], 11 (1950), 1–71
- ^ Allcock, Daniel (11 July 2006). "Infinitely many hyperbolic Coxeter groups through dimension 19". Geometry & Topology. 10 (2): 737–758. arXiv:0903.0138. doi:10.2140/gt.2006.10.737. S2CID 14378861.
- ^ The Geometry and Topology of Coxeter Groups, Michael W. Davis, 2008 p. 105 Table 6.2. Hyperbolic diagrams
- ^ Takeuchi, Kisao (January 1977). "TAKEUCHI : Arithmetic triangle groups". Journal of the Mathematical Society of Japan. Projecteuclid.org. 29 (1): 91–106. doi:10.2969/jmsj/02910091. Retrieved 2013-07-05.
- ^ Folke Lannér, On complexes with transitive groups of automorphisms, Comm. Sém., Math. Univ. Lund [Medd. Lunds Univ. Mat. Sem.] 11 (1950) [1]
- ^ Regular Honeycombs in hyperbolic space, Coxeter, 1954
- ^ a b Norman Johnson, Geometries and Transformations (2018), Chapter 13: Hyperbolic Coxeter groups, 13.6 Lorentzian lattices
- ^ J. L. Koszul, Lectures on hyperbolic Coxeter groups, University of Notre Dame (1967)
- ^ M. Chein, Recherche des graphes des matrices de Coxeter hyperboliques d’ordre ≤10, Rev. Française Informat. Recherche Opérationnelle 3 (1969), no. Ser. R-3, 3–16 (French). [2]
- ^ Subalgebras of hyperbolic Kay-Moody algebras, Figure 5.1, p.13
- ^ Johnson, N.W.; Kellerhals, R.; Ratcliffe, J.G.; Tschantz, S.T. (2002). "Commensurability classes of hyperbolic Coxeter groups". Linear Algebra and Its Applications. 345 (1–3): 119–147. doi:10.1016/S0024-3795(01)00477-3.
- ^ F. Esselmann, The classification of compact hyperbolic Coxeter d-polytopes with d+2 facets. Comment. Math. Helvetici 71 (1996), 229–242. [3]
- ^ I. M. Kaplinskaya, Discrete groups generated by reflections in the faces of simplicial prisms in Lobachevskian spaces. Math. Notes,15 (1974), 88–91. [4]
- ^ P. Tumarkin, Hyperbolic Coxeter n-polytopes with n+2 facets (2003)
- ^ Norman W. Johnson and Asia Ivic Weiss, Quadratic Integers and Coxeter Groups, Can. J. Math. Vol. 51 (6), 1999 pp. 1307–1336 [5]
- ^ [6] A Classification of Non-Compact Coxeter Polytopes with n+3 Facets and One Non-Simple Vertex
- ^ P. Tumarkin, Compact hyperbolic Coxeter (2004)
- ^ V. O. Bugaenko, Groups of automorphisms of unimodular hyperbolic quadratic forms over the ring Zh√5+12 i. Moscow Univ. Math. Bull. 39 (1984), 6-14.
- ^ Anna Felikson, Pavel Tumarkin, On compact hyperbolic Coxeter d-polytopes with d+4 facets, 2005 [7]
- ^ Random groups, diamonds and glass, Danny Calegari of the University of Chicago, June 25, 2014 at the Bill Thurston Legacy Conference
- ^ Coxeter groups and random groups, Danny Calegari, last revised 4 Apr 2015
- ^ Maxwell, George (1982). "Sphere packings and hyperbolic reflection groups". Journal of Algebra. 79: 78–97. doi:10.1016/0021-8693(82)90318-0.
- ^ Hao Chen, Jean-Philippe Labbé, Lorentzian Coxeter groups and Boyd-Maxwell ball packings, https://arxiv.org/abs/1310.8608
- ^ Kac-Moody Algebras in M-theory
- ^ Cartan–Gram determinants for the simple Lie groups, Wu, Alfred C. T, The American Institute of Physics, Nov 1982
- ^ John Crisp, 'Injective maps between Artin groups', in Down under group theory, Proceedings of the Special Year on Geometric Group Theory, (Australian National University, Canberra, Australia, 1996), Postscript Archived 2005-10-16 at the Wayback Machine, pp 13-14, and googlebook, Geometric group theory down under, p 131
- ^ Zuber, Jean-Bernard (1998). "Generalized Dynkin diagrams and root systems and their folding". Topological Field Theory: 28–30. arXiv:hep-th/9707046. Bibcode:1998tftp.conf..453Z. CiteSeerX 10.1.1.54.3122.
- ^ Dechant, Pierre-Philippe; Boehm, Celine; Twarock, Reidun (2013). "Affine extensions of non-crystallographic Coxeter groups induced by projection". Journal of Mathematical Physics. 54 (9): 093508. arXiv:1110.5228. Bibcode:2013JMP....54i3508D. doi:10.1063/1.4820441. S2CID 59469917.
- ^ The E8 Geometry from a Clifford Perspective Advances in Applied Clifford Algebras, March 2017, Volume 27, Issue 1, pp 397–421 Pierre-Philippe Dechant
- ^ Coxeter, Complex Regular Polytopes, second edition, (1991)
- ^ Coxeter, Complex Regular Polytopes, p. 177, Table III
- ^ Unitary Reflection Groups, p.87
Further reading
- James E. Humphreys, Reflection Groups and Coxeter Groups, Cambridge studies in advanced mathematics, 29 (1990)
- Kaleidoscopes: Selected Writings of H.S.M. Coxeter, edited by F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivic Weiss, Wiley-Interscience Publication, 1995, ISBN 978-0-471-01003-6 [8], Googlebooks [9]
- (Paper 17) Coxeter, The Evolution of Coxeter-Dynkin diagrams, [Nieuw Archief voor Wiskunde 9 (1991) 233-248]
- Coxeter, The Beauty of Geometry: Twelve Essays, Dover Publications, 1999, ISBN 978-0-486-40919-1 (Chapter 3: Wythoff's Construction for Uniform Polytopes)
- Coxeter, Regular Polytopes (1963), Macmillan Company
- Regular Polytopes, Third edition, (1973), Dover edition, ISBN 0-486-61480-8 (Chapter 5: The Kaleidoscope, and Section 11.3 Representation by graphs)
- H.S.M. Coxeter and W. O. J. Moser. Generators and Relations for Discrete Groups 4th ed, Springer-Verlag. New York. 1980
- Norman Johnson, Geometries and Transformations, Chapters 11,12,13, preprint 2011
- N. W. Johnson, R. Kellerhals, J. G. Ratcliffe, S. T. Tschantz, The size of a hyperbolic Coxeter simplex, Transformation Groups 1999, Volume 4, Issue 4, pp 329–353 [10] [11]
- Norman W. Johnson and Asia Ivic Weiss Quadratic Integers and Coxeter Groups PDF Can. J. Math. Vol. 51 (6), 1999 pp. 1307–1336
External links
- Weisstein, Eric W. "Coxeter–Dynkin diagram". MathWorld.
- October 1978 discussion on the history of the Coxeter diagrams by Coxeter and Dynkin in Toronto, Canada; Eugene Dynkin Collection of Mathematics Interviews, Cornell University Library.