Diagrama de Coxeter-Dynkin

De Wikipedia, la enciclopedia libre
Ir a la navegación Ir a la búsqueda
Diagramas de Coxeter-Dynkin para los grupos fundamentales finitos de Coxeter
Diagramas de Coxeter-Dynkin para los grupos afines fundamentales de Coxeter

En geometría, un diagrama de Coxeter-Dynkin (también diagrama de Coxeter o gráfico de Coxeter) es un grafo con enlaces etiquetados numéricamente (llamados ramas) que representa las relaciones espaciales entre una colección de espejos (o hiperplanos reflectores). Describe una construcción caleidoscópica: cada "nodo" gráfico representa un espejo (el dominio de una faceta) y la etiqueta ligada a una rama codifica el orden del ángulo diedro entre cada dos espejos (en un dominio de una cara), es decir, la cantidad por la que se tiene que 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, que 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 como "4" o mayores están dirigidas, mientras que los diagramas de Coxeter son no dirigidos; en segundo lugar, los diagramas de Dynkin deben satisfacer una restricción adicional (la restricción cristalográfica), a saber, que las únicas etiquetas de rama permitidas son 2, 3, 4 y 6. Los diagramas de Dynkin guardan una correspondencia directa con los sistemas raíz, por lo que se usan para clasificarlos. Esto implica a su vez que forman álgebras de Lie semisimples.[1]

Descripción[editar]

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, entonces la rama puede omitirse del diagrama. Si una rama no está etiquetada, se supone que tiene p = 3, que representa un ángulo de 60°. Dos espejos paralelos tienen una rama marcada con "∞". En principio, los n espejos pueden representarse mediante un grafo completo en el que se dibujan todas las n(n − 1) / 2 ramas. En la práctica, casi todas las configuraciones interesantes de los espejos incluyen varios ángulos rectos, por lo que debe tenerse en cuenta que las ramas correspondientes se omiten.

Los diagramas se pueden etiquetar por su estructura gráfica. Las primeras formas estudiadas por Ludwig Schläfli son los ortoesquemas, que poseen gráficos lineales que generan politopos regulares y panales regulares. Los plagioesquemas son símplex representados por gráficos ramificados, y los cicloesquemas son símplex representados por gráficos cíclicos.

Matriz de Schläfli[editar]

Cada diagrama de Coxeter tiene su correspondiente matriz de Schläfli (llamada así por Ludwig Schläfli), con elementos de matriz ai,j = aj,i = −2cos (π / p), donde p es el orden de las ramas entre los pares de espejos. Al igual que una matriz de cosenos, también se denomina matriz de Gram, en referencia al matemático danés Jørgen Pedersen Gram (1850–1916). Todas las matrices de Schläfli del grupo de Coxeter son simétricas porque sus vectores raíz están normalizados. Se relaciona estrechamente con la matriz de Cartan, utilizada en los diagramas de Dynkin, gráficos similares (aunque dirigidos) en los casos limitados a p = 2,3,4 y 6, que NO son simétricos en general.

El determinante de la matriz de Schläfli (llamado schläfliano) y su signo determinan si el grupo es finito (positivo), afín (cero), o indefinido (negativo). Esta regla se llama criterio de Schläfli. [2]

Los autovalores de la matriz de Schläfli determinan si un grupo de Coxeter es de tipo finito (todo positivo), tipo afín (todo no negativo, y al menos uno es cero) o tipo indefinido (de otra manera). El tipo indefinido a veces se subdivide aún más, en hiperbólicos y otros grupos de Coxeter. Sin embargo, existen múltiples definiciones no equivalentes para los grupos hiperbólicos de Coxeter. Se usa la siguiente definición: un grupo de Coxeter con diagrama conectado es hiperbólico si no es de tipo finito ni afín, pero cada subdiagrama conectado 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 llaman grupos de Lannér, en referencia a F. Lannér, que enumeró los grupos hiperbólicos compactos en 1950,[3]​ y también grupos de Koszul (o cuasi-Lannér) para los grupos paracompactos.

Grupos de Coxeter de rango 2[editar]

Para el rango 2, el tipo de un grupo Coxeter está completamente fijado por el determinante de la matriz de Schläfli, ya que es simplemente el producto de sus valores propios: tipo finito (determinante positivo), tipo afín (determinante cero) o hiperbólico (determinante negativo). Coxeter usa una notación de corchetes equivalente, que enumera las secuencias de órdenes de ramas como un sustituto de los diagramas gráficos de ramas y nodos. También existen soluciones racionales [p/q], CDel node.pngCDel p.pngCDel rat.pngCDel q.pngCDel node.png, con máximo común divisor (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 Dihedral symmetry domains 1.png Dihedral symmetry domains 2.png Dihedral symmetry domains 3.png Dihedral symmetry domains 4.png ... Dihedral symmetry domains infinity.png Horocycle mirrors.png Dihedral symmetry ultra.png
Coxeter CDel node c1.png
[ ]
CDel node c1.pngCDel 2.pngCDel node c3.png
[2]
CDel node c1.pngCDel 3.pngCDel node c1.png
[3]
CDel node c1.pngCDel 4.pngCDel node c3.png
[4]
CDel node.pngCDel p.pngCDel node.png
[p]
CDel node c1.pngCDel infin.pngCDel node c3.png
[∞]
CDel node c2.pngCDel infin.pngCDel node c3.png
[∞]
CDel node c2.pngCDel ultra.pngCDel node c3.png
[iπ/λ]
Orden 2 4 6 8 2p
Los ejes de simetría especular están coloreados para corresponder con los nodos del diagrama de Coxeter.
Los dominios fundamentales están coloreados alternativamente

Visualizaciones geométricas[editar]

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 euclídeo, esférico o hiperbólico de una dimensión dada. En espacios 2D, un espejo es una recta, y en 3D un espejo es un plano.

Estas visualizaciones muestran los dominios fundamentales para grupos euclídeos 2D y 3D, y grupos esféricos 2D. Para cada uno, el diagrama de Coxeter puede deducirse identificando los espejos del hiperplano y etiquetando su conectividad, ignorando los ángulos diédricos de 90 grados (orden 2).

Coxeter-dynkin plane groups es.png

Grupos de Coxeter en el plano euclídeo con sus diagramas equivalentes. Las reflexiones se etiquetan como nodos gráficos R1, R2, etc. y se colorean por su orden de reflexión. Las reflexiones a 90 grados están inactivas y, por lo tanto, se suprimen del diagrama. Las simetrías especulares paralelas están conectadas por una rama etiquetada con ∞. El grupo prismático x se muestra como una duplicación de , pero también se puede crear en forma de dominios rectangulares al duplicar los triángulos . es una duplicación del triángulo .
Hyperbolic kaleidoscopes es.png

Muchos grupos de Coxeter en geometría hiperbólica pueden extenderse de los casos euclídeos como una serie de soluciones hiperbólicas.
Coxeter-Dynkin 3-space groups es.png

Grupos de Coxeter en el espacio 3d con sus diagramas. Los espejos (caras triangulares) están etiquetados por el vértice opuesto 0..3. Las ramas se colorean por su orden de reflexión.
llena 1/48 del cubo. llena 1/24 del cubo. llena 1/12 del cubo.
Coxeter-Dynkin sphere groups es.png

Grupos de Coxeter en la esfera, con sus diagramas equivalentes. El dominio fundamental se describe en amarillo. Los vértices del dominio (y las ramas del gráfico) están coloreados por su orden de reflexión.

Grupos de Coxeter finitos[editar]

Véase también familias de politopos para obtener una tabla de los politopos uniformes de nodo final asociados con estos grupos.
  • Se utilizan indistintamente tres simbologías diferentes para definir los mismos grupos: como una letra/número, como un conjunto de números entre corchetes y como el diagrama de Coxeter.
  • Los grupos Dn bifurcados son versiones semi o alternadas de los grupos Cn regulares.
  • Los grupos bifurcados Dn y En también están etiquetados con un superíndice [3a,b,c] donde a, b, y c son los números de segmentos en cada una de las tres ramas.
Diagramas de Coxeter-Dynkin finitos conectados (rangos de 1 a 9)
Rank Grupos de Lie simples Grupos de Lie excepcionales  
1 A1=[ ]
CDel node.png
 
2 A2=[3]
CDel node.pngCDel 3.pngCDel node.png
B2=[4]
CDel node.pngCDel 4.pngCDel node.png
D2=A1A1
CDel nodes.png
  G2=[6]
CDel node.pngCDel 6.pngCDel node.png
H2=[5]
CDel node.pngCDel 5.pngCDel node.png
I2[p]
CDel node.pngCDel p.pngCDel node.png
3 A3=[32]
CDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
B3=[3,4]
CDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png
D3=A3
CDel nodes.pngCDel split2.pngCDel node.png
E3=A2A1
CDel nodea.pngCDel 3a.pngCDel nodea.png CDel nodeb.png
F3=B3
CDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
H3 
CDel node.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.png
4 A4=[33]
CDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
B4=[32,4]
CDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
D4=[31,1,1]
CDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.png
E4=A4
CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.png
F4
CDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png
H4 
CDel node.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
5 A5=[34]
CDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
B5=[33,4]
CDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
D5=[32,1,1]
CDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
E5=D5
CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.png
   
6 A6=[35]
CDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
B6=[34,4]
CDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
D6=[33,1,1]
CDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
E6=[32,2,1]
CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png
7 A7=[36]
CDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
B7=[35,4]
CDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
D7=[34,1,1]
CDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
E7=[33,2,1]
CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png
8 A8=[37]
CDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
B8=[36,4]
CDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
D8=[35,1,1]
CDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
E8=[34,2,1]
CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png
9 A9=[38]
CDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
B9=[37,4]
CDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
D9=[36,1,1]
CDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
 
10+ .. .. .. ..

Aplicación con politopos uniformes[editar]

Coxeter node markup1.svg
Kaleidoscopic construction of square es.png
Al construir politopos uniformes, los nodos se marcan como "activos" mediante un anillo si un punto generador está fuera del espejo, creando una nueva arista entre un punto generador y su imagen reflejada. Un nodo sin anillo representa un espejo "inactivo", que no genera puntos nuevos. Se pueden usar dos espejos ortogonales para generar un cuadrado, CDel node 1.pngCDel 2.pngCDel node 1.png, visto aquí con un punto generador rojo y 3 copias virtuales a través de 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 de teselados uniformes. Cada politopo uniforme con simetría reflexiva pura (todos, menos algunos casos especiales, tienen simetría reflexiva pura) puede representarse mediante un diagrama de Coxeter-Dynkin con permutaciones de "márgenes". Cada politopo uniforme puede generarse usando tales espejos y un único punto generador: las imágenes especulares crean nuevos puntos como reflejos, y entonces se pueden definir las aristas del polítopo como segmentos entre cada punto y sus imágenes en los espejos. Las caras se generan por el reflejo repetido de las aristas que finalmente envuelven al generador original; la forma final, así como las facetas de dimensiones superiores, también se crean cuando la cara se refleja para encerrar un área.

Para especificar los vértices generadores, se marcan uno o más nodos con anillos, lo que significa que el vértice no está en el espejo(s) representado por el nodo(s) anillado (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 los símbolos 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 con una línea de nodos y ramas etiquetadas 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 arista iguales. En general, los k puntos generadores con anillo están situados sobre las (k-1) caras del símplex, y si todos los nodos están anillados, el punto del generador está en el interior del símplex.

El caso especial de politopos uniformes con simetría no reflexiva está representado por un marcado secundario en el que se elimina el punto central de un nodo anillado (llamado "agujero"). Estas formas son alternancias de politopos con simetría reflexiva, lo que implica que los nodos alternativos se eliminan. El politopo resultante tendrá una subsimetría del grupo de Coxeter original. Una alternancia truncada se llama achatada.

  • Un solo nodo representa un solo espejo. Esto se llama grupo A1. Si está anillado, esto crea un segmento perpendicular al espejo, representado como {}.
  • Dos nodos no conectados representan dos espejos perpendiculares. Si ambos nodos están anillados, se puede crear un rectángulo o un cuadrado cuando el punto está a la misma distancia de ambos espejos.
  • Dos nodos unidos por una rama de orden n pueden crear un n-ágono si el punto está en un espejo y un 2n-ágono si el punto está fuera de ambos espejos. Esto forma el grupo I1(n).
  • Dos espejos paralelos pueden representar un grupo de polígonos infinitos I1(∞), también llamado Ĩ1.
  • Tres espejos formando un triángulo generan imágenes como las vistas en un caleidoscopio tradicional y pueden representarse por 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 ramas 2 omitidas). Estas configuraciones generarán teselados uniformes.
  • Tres espejos pueden generar poliedros uniformes; incluyendo números racionales se genera el conjunto de los triángulos de Schwarz.
  • Tres espejos, con uno perpendicular a los otros dos, pueden formar un prisma uniforme.
Wythoffian construction diagram.svg Polyhedron truncation example3 es.png
Hay 7 construcciones uniformes reflexivas dentro de un triángulo general, basadas en 7 posiciones del generador topológico dentro del dominio fundamental. Cada espejo activo genera una arista, con dos espejos activos se tienen generadores en los lados del dominio y con tres espejos activos se tiene el generador en su interior. Se pueden resolver uno o dos grados de libertad para una posición única imponiendo iguales longitudes de arista del poliedro o teselado resultante. Ejemplo de 7 generadores en la simetría octaedral, triángulo de dominio fundamental (4 3 2), con la octava generación de achatado como alternancia

Los duales de los politopos uniformes a veces están marcados con una barra perpendicular que reemplaza a los nodos anillados y una barra con un orificio para los nodos de los achatados. Por ejemplo, CDel node 1.pngCDel 2.pngCDel node 1.png representa un rectángulo (como dos espejos ortogonales activos), y CDel node f1.pngCDel 2.pngCDel node f1.png representa su polígono dual, el rombo.

Ejemplo de poliedros y teselados[editar]

Por ejemplo, el grupo de Coxeter B3 tiene un diagrama CDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png. Esta configuración también se denomina simetría octaédrica.

Hay 7 poliedros de aristas uniformes convexos que pueden construirse a partir de este grupo de simetría y otros 3 a partir de sus subsimetrías alternantes, 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 las 3 órdenes de rama nombradas, en lugar de omitir las ramas de orden 2. El símbolo de Wythoff puede contemplar la forma de "achatado", pero no las alternancias generales sin todos los nodos anillados.

Se pueden generar las mismas construcciones en grupos de Coxeter desarticulados (ortogonales) como el prisma uniforme, y se pueden ver más claramente como teselados de diedros y hosoedros en la esfera, como esta familia [6]×[] o [6,2]:

En comparación, la familia [6,3], CDel node.pngCDel 6.pngCDel node.pngCDel 3.pngCDel node.png, produce un conjunto paralelo de 7 teselados uniformes del plano euclídeo, y sus duales. De nuevo hay 3 alternancias y alguna versión de semi simetría.

En el plano hiperbólico [7,3], la familia CDel node.pngCDel 7.pngCDel node.pngCDel 3.pngCDel node.png produce un conjunto paralelo de teselados uniformes y sus duales. Solo hay 1 alternancia (achatado) ya que todos los órdenes de las ramas son impares. Se pueden ver muchas otras familias hiperbólicas de teselados uniformes en teselados uniformes en el plano hiperbólico.

Grupos afines de Coxeter[editar]

Las familias de teselaciones euclídeas uniformes convexas están definidas por los grupos de Coxeter afines. Estos grupos son idénticos a los grupos finitos con la inclusión de un nodo agregado. Para estos casos, se mantienen las asignaciones de letras, con una virgulilla ("~") por encima de la letra. El índice se refiere al grupo finito, por lo que el rango es el índice más 1. Los símbolos de Witt para los grupos afines figuran a continuación precedidos con la palabra también:

  1. : los diagramas de este tipo son ciclos (también Pn)
  2. está asociado con la familia de teselaciones regulares hipercúbicas {4, 3, ...., 4} (también Rn)
  3. relacionado con C por un espejo eliminado (también Sn)
  4. relacionado con C por dos espejos eliminados (también nX)
  5. , , (también T7, T8, T9)
  6. forma la teselación regular {3,4,3,3} (también U5)
  7. forma los dominios fundamentales triangulares 30-60-90 (también V3)
  8. son dos espejos paralelos (= = ) (también W2)

Los grupos compuestos también se pueden definir como proyecciones ortogonales. El uso más común de , como , CDel node.pngCDel infin.pngCDel node.pngCDel 2.pngCDel node.pngCDel infin.pngCDel node.png representa dominios cuadrados o rectangulares (tableros de ajedrez) en el plano euclídeo. Y CDel node.pngCDel infin.pngCDel node.pngCDel 2.pngCDel node.pngCDel split1.pngCDel branch.png representa los dominios fundamentales con forma de prisma triangular en el espacio euclídeo tridimensional.

Gráficos afines de Coxeter entre 2 y 10 nodos
Rango (P2+) (S4+) (R2+) (Q5+) (Tn+1) / (U5) / (V3)
2 =[∞]
CDel node.pngCDel infin.pngCDel node.png
  =[∞]
CDel node.pngCDel infin.pngCDel node.png
   
3 =[3[3]]
* CDel branch.pngCDel split2.pngCDel node.png
=[4,4]
* CDel node.pngCDel 4.pngCDel node.pngCDel 4.pngCDel node.png
=[6,3]
* CDel node.pngCDel 6.pngCDel node.pngCDel 3.pngCDel node.png
4 =[3[4]]
* CDel node.pngCDel split1.pngCDel nodes.pngCDel split2.pngCDel node.png
=[4,31,1]
* CDel nodes.pngCDel split2.pngCDel node.pngCDel 4.pngCDel node.png
=[4,3,4]
* CDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
=[31,1,3−1,31,1]
CDel node.pngCDel split1.pngCDel nodes.pngCDel split2.pngCDel node.png =
5 =[3[5]]
* CDel branch.pngCDel 3ab.pngCDel nodes.pngCDel split2.pngCDel node.png
=[4,3,31,1]
* CDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
=[4,32,4]
* CDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
=[31,1,1,1]
* CDel nodes.pngCDel split2.pngCDel node.pngCDel split1.pngCDel nodes.png
=[3,4,3,3]
* CDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
6 =[3[6]]
* CDel node.pngCDel split1.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel split2.pngCDel node.png
=[4,32,31,1]
* CDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
=[4,33,4]
* CDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
=[31,1,3,31,1]
* CDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes.png
 
7 =[3[7]]
* CDel branch.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel split2.pngCDel node.png
=[4,33,31,1]
CDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
=[4,34,4]
CDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
=[31,1,32,31,1]
CDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes.png
=[32,2,2]
CDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
8 =[3[8]]
* CDel node.pngCDel split1.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel split2.pngCDel node.png
=[4,34,31,1]
* CDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
=[4,35,4]
CDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
=[31,1,33,31,1]
* CDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes.png
=[33,3,1]
* CDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.png
9 =[3[9]]
* CDel branch.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel split2.pngCDel node.png
=[4,35,31,1]
CDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
=[4,36,4]
CDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
=[31,1,34,31,1]
CDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes.png
=[35,2,1]
* CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png
10 =[3[10]]
* CDel node.pngCDel split1.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel split2.pngCDel node.png
=[4,36,31,1]
CDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
=[4,37,4]
CDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
=[31,1,35,31,1]
CDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes.png
11 ... ... ... ...

Grupos hiperbólicos de Coxeter[editar]

Hay muchos grupos de 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 simples compactos (símplices de Lannér) existen de rango 3 a 5. Los grupos simples compactos (símplices de Koszul) 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 compactos de Vinberg para dimensiones de hasta 6, e infinitos politopos de volumen finito de Vinberg 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 simples, a menudo se denominan politopos de Coxeter o, a veces, con menos precisión poliedros de Coxeter.

Grupos hiperbólicos en H2[editar]

Disco de Poincaré de dominios fundamentales triangulares
Ejemplos de triángulos rectángulos [p,q]
H2checkers 237.png
[3,7]
H2checkers 238.png
[3,8]
Hyperbolic domains 932 black.png
[3,9]
H2checkers 23i.png
[3,∞]
H2checkers 245.png
[4,5]
H2checkers 246.png
[4,6]
H2checkers 247.png
[4,7]
H2checkers 248.png
[4,8]
H2checkers 24i.png
[∞,4]
H2checkers 255.png
[5,5]
H2checkers 256.png
[5,6]
H2checkers 257.png
[5,7]
H2checkers 266.png
[6,6]
H2checkers 2ii.png
[∞,∞]
Ejemplos de triángulos generales [(p,q,r)]
H2checkers 334.png
[(3,3,4)]
H2checkers 335.png
[(3,3,5)]
H2checkers 336.png
[(3,3,6)]
H2checkers 337.png
[(3,3,7)]
H2checkers 33i.png
[(3,3,∞)]
H2checkers 344.png
[(3,4,4)]
H2checkers 366.png
[(3,6,6)]
H2checkers 3ii.png
[(3,∞,∞)]
H2checkers 666.png
[(6,6,6)]
Infinite-order triangular tiling.svg
[(∞,∞,∞)]

Los grupos triangulares hiperbólicos bidimensionales existen como diagramas de Coxeter de rango 3, definidos por un triángulo (p q r) para:

Hay infinitos grupos de Coxeter hiperbólicos triangulares compactos, que incluyen grafos lineales y triangulares. Los gráficos lineales existen para triángulos rectángulos (con r = 2).[5]

Grupos de Coxeter hiperbólicos compactos
Lineal Cíclico
[p,q], CDel node.pngCDel p.pngCDel node.pngCDel q.pngCDel node.png:
2(p+q)<pq

CDel node.pngCDel 7.pngCDel node.pngCDel 3.pngCDel node.png
CDel node.pngCDel 8.pngCDel node.pngCDel 3.pngCDel node.png
CDel node.pngCDel 9.pngCDel node.pngCDel 3.pngCDel node.png
...
CDel node.pngCDel 5.pngCDel node.pngCDel 4.pngCDel node.png
CDel node.pngCDel 6.pngCDel node.pngCDel 4.pngCDel node.png
...
CDel node.pngCDel 5.pngCDel node.pngCDel 5.pngCDel node.png
CDel node.pngCDel 6.pngCDel node.pngCDel 5.pngCDel node.png
...

∞ [(p,q,r)], CDel pqr.png: p+q+r>9

CDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.png
CDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.png
CDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 4.pngCDel node.pngCDel 4.png

CDel 3.pngCDel node.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.png
CDel 3.pngCDel node.pngCDel 5.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.png
CDel 3.pngCDel node.pngCDel 5.pngCDel node.pngCDel 4.pngCDel node.pngCDel 4.png
CDel 3.pngCDel node.pngCDel 5.pngCDel node.pngCDel 5.pngCDel node.pngCDel 3.png
CDel 3.pngCDel node.pngCDel 5.pngCDel node.pngCDel 5.pngCDel node.pngCDel 4.png
CDel 3.pngCDel node.pngCDel 5.pngCDel node.pngCDel 5.pngCDel node.pngCDel 5.png

CDel 3.pngCDel node.pngCDel 6.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.png
CDel 3.pngCDel node.pngCDel 6.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.png
CDel 3.pngCDel node.pngCDel 6.pngCDel node.pngCDel 4.pngCDel node.pngCDel 4.png
CDel 3.pngCDel node.pngCDel 6.pngCDel node.pngCDel 5.pngCDel node.pngCDel 3.png
CDel 3.pngCDel node.pngCDel 6.pngCDel node.pngCDel 5.pngCDel node.pngCDel 4.png
CDel 3.pngCDel node.pngCDel 6.pngCDel node.pngCDel 5.pngCDel node.pngCDel 5.png
CDel 3.pngCDel node.pngCDel 6.pngCDel node.pngCDel 6.pngCDel node.pngCDel 3.png
CDel 3.pngCDel node.pngCDel 6.pngCDel node.pngCDel 6.pngCDel node.pngCDel 4.png
CDel 3.pngCDel node.pngCDel 6.pngCDel node.pngCDel 6.pngCDel node.pngCDel 5.png
CDel 3.pngCDel node.pngCDel 6.pngCDel node.pngCDel 6.pngCDel node.pngCDel 6.png

CDel 3.pngCDel node.pngCDel 7.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.png
...

Los grupos de Coxeter paracompactos de rango 3 existen como límites a los compactos.

Grafos lineales Grafos cíclicos
  • [p,∞] CDel node.pngCDel p.pngCDel node.pngCDel infin.pngCDel node.png
  • [∞,∞] CDel node.pngCDel infin.pngCDel node.pngCDel infin.pngCDel node.png
  • [(p,q,∞)] CDel 3.pngCDel node.pngCDel p.pngCDel node.pngCDel q.pngCDel node.pngCDel infin.pngCDel 3.png
  • [(p,∞,∞)] CDel 3.pngCDel node.pngCDel p.pngCDel node.pngCDel infin.pngCDel node.pngCDel infin.pngCDel 3.png
  • [(∞,∞,∞)] CDel 3.pngCDel node.pngCDel infin.pngCDel node.pngCDel infin.pngCDel node.pngCDel infin.pngCDel 3.png

Grupo triangular aritmético[editar]

Los grupos triangulares hiperbólicos que también son grupos aritméticos forman un subconjunto finito. Mediante búsqueda por ordenador, la lista completa fue determinada por "Kisao Takeuchi" 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 (p q 2) Triángulos generales (p q r)
Grupos compactos: (76)
CDel node.pngCDel 3.pngCDel node.pngCDel 7.pngCDel node.png, CDel node.pngCDel 3.pngCDel node.pngCDel 8.pngCDel node.png, CDel node.pngCDel 3.pngCDel node.pngCDel 9.pngCDel node.png, CDel node.pngCDel 3.pngCDel node.pngCDel 10.pngCDel node.png, CDel node.pngCDel 3.pngCDel node.pngCDel 11.pngCDel node.png, CDel node.pngCDel 3.pngCDel node.pngCDel 12.pngCDel node.png, CDel node.pngCDel 3.pngCDel node.pngCDel 14.pngCDel node.png, CDel node.pngCDel 3.pngCDel node.pngCDel 16.pngCDel node.png, CDel node.pngCDel 3.pngCDel node.pngCDel 18.pngCDel node.png, CDel node.pngCDel 3.pngCDel node.pngCDel 2x.pngCDel 4.pngCDel node.png, CDel node.pngCDel 3.pngCDel node.pngCDel 3x.pngCDel 0x.pngCDel node.png
CDel node.pngCDel 4.pngCDel node.pngCDel 5.pngCDel node.png, CDel node.pngCDel 4.pngCDel node.pngCDel 6.pngCDel node.png, CDel node.pngCDel 4.pngCDel node.pngCDel 7.pngCDel node.png, CDel node.pngCDel 4.pngCDel node.pngCDel 8.pngCDel node.png, CDel node.pngCDel 4.pngCDel node.pngCDel 10.pngCDel node.png, CDel node.pngCDel 4.pngCDel node.pngCDel 12.pngCDel node.png, CDel node.pngCDel 4.pngCDel node.pngCDel 18.pngCDel node.png
CDel node.pngCDel 5.pngCDel node.pngCDel 5.pngCDel node.png, CDel node.pngCDel 5.pngCDel node.pngCDel 6.pngCDel node.png, CDel node.pngCDel 5.pngCDel node.pngCDel 8.pngCDel node.png, CDel node.pngCDel 5.pngCDel node.pngCDel 10.pngCDel node.png, CDel node.pngCDel 5.pngCDel node.pngCDel 20.pngCDel node.png, CDel node.pngCDel 5.pngCDel node.pngCDel 3x.pngCDel 0x.pngCDel node.png
CDel node.pngCDel 6.pngCDel node.pngCDel 6.pngCDel node.png, CDel node.pngCDel 6.pngCDel node.pngCDel 8.pngCDel node.png, CDel node.pngCDel 6.pngCDel node.pngCDel 12.pngCDel node.png, CDel node.pngCDel 7.pngCDel node.pngCDel 7.pngCDel node.png, CDel node.pngCDel 7.pngCDel node.pngCDel 14.pngCDel node.png
CDel node.pngCDel 8.pngCDel node.pngCDel 8.pngCDel node.png, CDel node.pngCDel 8.pngCDel node.pngCDel 16.pngCDel node.png, CDel node.pngCDel 9.pngCDel node.pngCDel 18.pngCDel node.png, CDel node.pngCDel 10.pngCDel node.pngCDel 10.pngCDel node.png, CDel node.pngCDel 12.pngCDel node.pngCDel 12.pngCDel node.png, CDel node.pngCDel 12.pngCDel node.pngCDel 2x.pngCDel 4.pngCDel node.png, CDel node.pngCDel 15.pngCDel node.pngCDel 3x.pngCDel 0x.pngCDel node.png, CDel node.pngCDel 18.pngCDel node.pngCDel 18.pngCDel node.png

Triángulos rectángulos paracompactos: (4)

CDel node.pngCDel 3.pngCDel node.pngCDel infin.pngCDel node.png, CDel node.pngCDel 4.pngCDel node.pngCDel infin.pngCDel node.png, CDel node.pngCDel 6.pngCDel node.pngCDel infin.pngCDel node.png, CDel node.pngCDel infin.pngCDel node.pngCDel infin.pngCDel node.png
Triángulos generales: (39)
CDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.png, CDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 5.png, CDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 6.png, CDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 7.png, CDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 8.png, CDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 9.png, CDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 12.png, CDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 15.png
CDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 4.png, CDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 6.png, CDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 12.png, CDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 5.pngCDel node.pngCDel 5.png, CDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 6.pngCDel node.pngCDel 6.png, CDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 6.pngCDel node.pngCDel 18.png, CDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 8.pngCDel node.pngCDel 8.png, CDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 8.pngCDel node.pngCDel 2x.pngCDel 4.png, CDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 10.pngCDel node.pngCDel 3x.pngCDel 0x.png, CDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 12.pngCDel node.pngCDel 12.png
CDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 4.pngCDel node.pngCDel 4.png, CDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 4.pngCDel node.pngCDel 5.png, CDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 4.pngCDel node.pngCDel 6.png, CDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 4.pngCDel node.pngCDel 9.png, CDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 5.pngCDel node.pngCDel 5.png, CDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 6.pngCDel node.pngCDel 6.png, CDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 8.pngCDel node.pngCDel 8.png, CDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 16.pngCDel node.pngCDel 16.png
CDel 3.pngCDel node.pngCDel 5.pngCDel node.pngCDel 5.pngCDel node.pngCDel 5.png, CDel 3.pngCDel node.pngCDel 5.pngCDel node.pngCDel 5.pngCDel node.pngCDel 10.png, CDel 3.pngCDel node.pngCDel 5.pngCDel node.pngCDel 5.pngCDel node.pngCDel 15.png, CDel 3.pngCDel node.pngCDel 5.pngCDel node.pngCDel 10.pngCDel node.pngCDel 10.png
CDel 3.pngCDel node.pngCDel 6.pngCDel node.pngCDel 6.pngCDel node.pngCDel 6.png, CDel 3.pngCDel node.pngCDel 6.pngCDel node.pngCDel 12.pngCDel node.pngCDel 12.png, CDel 3.pngCDel node.pngCDel 6.pngCDel node.pngCDel 2x.pngCDel 4.pngCDel node.pngCDel 2x.pngCDel 4.png, CDel 3.pngCDel node.pngCDel 7.pngCDel node.pngCDel 7.pngCDel node.pngCDel 7.png, CDel 3.pngCDel node.pngCDel 8.pngCDel node.pngCDel 8.pngCDel node.pngCDel 8.png, CDel 3.pngCDel node.pngCDel 9.pngCDel node.pngCDel 9.pngCDel node.pngCDel 9.png, CDel 3.pngCDel node.pngCDel 9.pngCDel node.pngCDel 18.pngCDel node.pngCDel 18.png, CDel 3.pngCDel node.pngCDel 12.pngCDel node.pngCDel 12.pngCDel node.pngCDel 12.png, CDel 3.pngCDel node.pngCDel 15.pngCDel node.pngCDel 15.pngCDel node.pngCDel 15.png

Triángulos generales paracompactos: (5)

CDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel infin.png, CDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel infin.pngCDel node.pngCDel infin.png, CDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 4.pngCDel node.pngCDel infin.png, CDel 3.pngCDel node.pngCDel 6.pngCDel node.pngCDel 6.pngCDel node.pngCDel infin.png, CDel 3.pngCDel node.pngCDel infin.pngCDel node.pngCDel infin.pngCDel node.pngCDel infin.png
(2 3 7), (2 3 8), (2 3 9), (2 3 10), (2 3 11), (2 3 12), (2 3 14), (2 3 16), (2 3 18), (2 3 24), (2 3 30)
(2 4 5), (2 4 6), (2 4 7), (2 4 8), (2 4 10), (2 4 12), (2 4 18),
(2 5 5), (2 5 6), (2 5 8), (2 5 10), (2 5 20), (2 5 30)
(2 6 6), (2 6 8), (2 6 12)
(2 7 7), (2 7 14), (2 8 8), (2 8 16), (2 9 18)
(2 10 10) (2 12 12) (2 12 24), (2 15 30), (2 18 18)
(2 3 ∞) (2,4 ∞) (2,6 ∞) (2 ∞ ∞)
(3 3 4), (3 3 5), (3 3 6), (3 3 7), (3 3 8), (3 3 9), (3 3 12), (3 3 15)
(3 4 4), (3 4 6), (3 4 12), (3 5 5), (3 6 6), (3 6 18), (3 8 8), (3 8 24), (3 10 30), (3 12 12)
(4 4 4), (4 4 5), (4 4 6), (4 4 9), (4 5 5), (4 6 6), (4 8 8), (4 16 16)
(5 5 5), (5 5 10), (5 5 15), (5 10 10)
(6 6 6), (6 12 12), (6 24 24)
(7 7 7) (8 8 8) (9 9 9) (9 18 18) (12 12 12) (15 15 15)
(3,3 ∞) (3 ∞ ∞)
(4,4 ∞) (6 6 ∞) (∞ ∞ ∞)

Polígonos de Coxeter hiperbólicos sobre triángulos[editar]

Dominios fundamentales de los grupos cuadriláteros
Hyperbolic domains 3222.png
CDel node.pngCDel infin.pngCDel node.pngCDel 3.pngCDel node.pngCDel infin.pngCDel node.png or CDel branch.pngCDel 2a2b-cross.pngCDel nodes.png
[∞,3,∞]
[iπ/λ1,3,iπ/λ2]
(*3222)
Hyperbolic domains 2233.png
CDel labelinfin.pngCDel branch.pngCDel split2.pngCDel node.pngCDel infin.pngCDel node.png or CDel branch.pngCDel 3a2b-cross.pngCDel nodes.png
[((3,∞,3)),∞]
[((3,iπ/λ1,3)),iπ/λ2]
(*3322)
H2chess 246a.png
CDel labelinfin.pngCDel branch.pngCDel 3ab.pngCDel branch.pngCDel labelinfin.png or CDel branch.pngCDel 2a2b-cross.pngCDel branch.png
[(3,∞)[2]]
[(3,iπ/λ1,3,iπ/λ2)]
(*3232)
H2chess 248a.png
CDel labelinfin.pngCDel branch.pngCDel 4a4b.pngCDel branch.pngCDel labelinfin.png or CDel label4.pngCDel branch.pngCDel 2a2b-cross.pngCDel branch.pngCDel label4.png
[(4,∞)[2]]
[(4,iπ/λ1,4,iπ/λ2)]
(*4242)
H2chess 246b.png
CDel branch.pngCDel 3a3b-cross.pngCDel branch.png


(*3333)
Dominios con vértices ideales
Hyperbolic domains i222.png
CDel labelinfin.pngCDel branch.pngCDel 2a2b-cross.pngCDel nodes.png
[iπ/λ1,∞,iπ/λ2]
(*∞222)
Hyperbolic domains ii22.png
CDel labelinfin.pngCDel branch.pngCDel ia2b-cross.pngCDel nodes.png

(*∞∞22)
H2chess 24ia.png
CDel labelinfin.pngCDel branch.pngCDel 2a2b-cross.pngCDel branch.pngCDel labelinfin.png
[(iπ/λ1,∞,iπ/λ2,∞)]
(*2∞2∞)
H2chess 24ib.png
CDel labelinfin.pngCDel branch.pngCDel iaib-cross.pngCDel branch.pngCDel labelinfin.png

(*∞∞∞∞)
H2chess 248b.png
CDel label4.pngCDel branch.pngCDel 4a4b-cross.pngCDel branch.pngCDel label4.png

(*4444)

Se pueden construir otros caleidoscopios hiperbólicos H2 a partir de polígonos de orden superior. Al igual que los grupos triangulares, 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 estas configuraciones poligonales caleidoscópicas se pueden ver como dominios fundamentales degenerados (n-1)-símplex, con un orden cíclico de ramas a, b, c ... y las n*(n-3)/2 ramas restantes se etiquetan como infinito (∞), lo que representa los espejos no intersecantes. El único ejemplo no hiperbólico es la simetría euclídea de cuatro espejos en un teselado cuadrado o rectángular como CDel node.pngCDel infin.pngCDel node.pngCDel 2.pngCDel node.pngCDel infin.pngCDel node.png, [∞, 2, ∞] (orbifold *2222). Otra notación de las ramas para los espejos no intersecantes ideada por Vinberg, representa las ramas infinitas como líneas punteadas o discontinuas, por lo que este diagrama puede mostrarse como CDel nodes.pngCDel 2a2b-cross.pngCDel nodes.png, con las cuatro ramas de orden 2 suprimidas alrededor del perímetro.

Por ejemplo, un dominio cuadrilátero (a b c d) tendrá dos ramas de orden infinito que conectan espejos ultra paralelos. El ejemplo hiperbólico más pequeño es CDel node.pngCDel infin.pngCDel node.pngCDel 3.pngCDel node.pngCDel infin.pngCDel node.png, [∞, 3, ∞] o [iπ/λ1, 3, iπ/λ2] (orbifold *3222), donde (λ1, λ2) son la distancia entre los espejos ultraparalelos. La expresión alternativa es CDel branch.pngCDel 2a2b-cross.pngCDel nodes.png, con tres ramas de orden 2 omitidas alrededor del perímetro. Del mismo modo (2 3 2 3) (orbifold *3232) puede representarse como CDel branch.pngCDel 2a2b-cross.pngCDel branch.png y (3 3 3 3), (orbifold *3333) puede representarse como un gráfico completo CDel branch.pngCDel 3a3b-cross.pngCDel branch.png.

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 (se muestran como líneas de puntos) para los espejos ultraparalelos: CDel labelinfin.pngCDel branch.pngCDel iaib-cross.pngCDel branch.pngCDel labelinfin.png.

Compactos (grupos de Lannér simplex)[editar]

Los grupos hiperbólicos compactos se denominan grupos de Lannér, en relación a Folke Lannér, que los estudió por primera vez en 1950.[7]​ Solo existen como gráficos de rango 4 y 5. Coxeter estudió los grupos de 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 espacios hiperbólicos de 4 dimensiones: [5/2,5,3,3] = CDel node.pngCDel 5.pngCDel rat.pngCDel 2x.pngCDel node.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png y [5,5/2,5,3] = CDel node.pngCDel 5.pngCDel node.pngCDel 5.pngCDel rat.pngCDel 2x.pngCDel node.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.png.

Rangos 4–5[editar]

El dominio fundamental de cualquiera de los dos grupos bifurcantes, [5,31,1] y [5,3,31,1], es el doble que el de un grupo lineal correspondiente, [5,3,4] y [5,3,3,4 ] respectivamente. Johnson asigna las letras de cada elemento con el mismo criterio que los símbolos de Witt extendidos[9]

Grupos de Coxeter hiperbólicos compactos
Dimensión
Hd
Rango Cuenta total Lineal Bifurcante Cíclico
H3 4 9
3:

= [4,3,5]: CDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 5.pngCDel node.png
= [5,3,5]: CDel node.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.pngCDel 5.pngCDel node.png
= [3,5,3]: CDel node.pngCDel 3.pngCDel node.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.png

= [5,31,1]: CDel node.pngCDel 5.pngCDel node.pngCDel split1.pngCDel nodes.png

= [(33,4)]: CDel label4.pngCDel branch.pngCDel 3ab.pngCDel branch.png 
= [(33,5)]: CDel label5.pngCDel branch.pngCDel 3ab.pngCDel branch.png 
= [(3,4)[2]]: CDel label4.pngCDel branch.pngCDel 3ab.pngCDel branch.pngCDel label4.png
= [(3,4,3,5)]: CDel label4.pngCDel branch.pngCDel 3ab.pngCDel branch.pngCDel label5.png
= [(3,5)[2]]: CDel label5.pngCDel branch.pngCDel 3ab.pngCDel branch.pngCDel label5.png

H4 5 5
3:

= [33,5]: CDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 5.pngCDel node.png
= [4,3,3,5]: CDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 5.pngCDel node.png
= [5,3,3,5]: CDel node.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 5.pngCDel node.png

= [5,3,31,1]: CDel node.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes.png

= [(34,4)]: CDel label4.pngCDel branch.pngCDel 3ab.pngCDel nodes.pngCDel split2.pngCDel node.png

Paracompacto (grupos de Koszul simplex)[editar]

Un ejemplo de un teselado apeirogonal de orden 3, {∞,3}, con el apeirógono (en verde) y su horociclo circunscrito

Los grupos de Coxeter hiperbólicos paracompactos (también llamados no compactos) contienen subgrupos afines y tienen dominios fundamentales simplex asintóticos. El grupo de Coxeter hiperbólico paracompacto más alto es el de rango 10. Estos grupos llevan el nombre del matemático francés Jean-Louis Koszul.[10]​ También se denominan grupos cuasi-Lannér, porque extienden los grupos compactos de Lannér. La lista se completó mediante búsqueda con ordenador por M. Chein, y se publicó en 1969.[11]

De acuerdo con Vinberg, todos menos ocho de estos 72 simplex compactos y paracompactos son aritméticos. Dos de los grupos no aritméticos son compactos: CDel label4.pngCDel branch.pngCDel 3ab.pngCDel branch.pngCDel label5.png y CDel label4.pngCDel branch.pngCDel 3ab.pngCDel nodes.pngCDel split2.pngCDel node.png. Los otros seis grupos no aritméticos son todos paracompactos, con cinco grupos tridimensionales CDel node.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.pngCDel 6.pngCDel node.png, CDel node.pngCDel 5.pngCDel node.pngCDel split1.pngCDel branch.png, CDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 6.pngCDel node.png, CDel label4.pngCDel branch.pngCDel 3ab.pngCDel branch.pngCDel label6.png y CDel label5.pngCDel branch.pngCDel 3ab.pngCDel branch.pngCDel label6.png, y un grupo 5-dimensional CDel label4.pngCDel branch.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel branch.png.

Símplices ideales[editar]

Dominios fundamentales ideales de CDel labelinfin.pngCDel branch.pngCDel split2-ii.pngCDel node.png, [(∞,∞,∞)], representados sobre un disco de Poincaré

Hay 5 grupos de Coxeter hiperbólicos que expresan símplices ideales, grafos en los que la eliminación de cualquier nodo da como resultado un grupo de Coxeter afín. Por lo tanto, todos los vértices de este símplex ideal están en el infinito.[12]

Rango Grupo ideal Subgrupos afines
3 [(∞,∞,∞)] CDel labelinfin.pngCDel branch.pngCDel split2-ii.pngCDel node.png [∞] CDel node.pngCDel infin.pngCDel node.png
4 [4[4]] CDel label4.pngCDel branch.pngCDel 4-4.pngCDel branch.pngCDel label4.png [4,4] CDel node.pngCDel 4.pngCDel node.pngCDel 4.pngCDel node.png
4 [3[3,3]] CDel tet.png [3[3]] CDel node.pngCDel split1.pngCDel branch.png
4 [(3,6)[2]] CDel label6.pngCDel branch.pngCDel 3ab.pngCDel branch.pngCDel label6.png [3,6] CDel node.pngCDel 3.pngCDel node.pngCDel 6.pngCDel node.png
6 [(3,3,4)[2]] CDel label4.pngCDel branch.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel branch.pngCDel label4.png [4,3,3,4], [3,4,3,3] CDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png, CDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png

Rangos 4–10[editar]

Las celdas euclídeas infinitas, como un teselado hexagonal, adecuadamente escaladas, convergen a un único punto ideal en el infinito, como el panal de teselado hexagonal, {6,3,3}, como muestra este patrón monocelular en una proyección sobre el disco de Poincaré

Hay un total de 58 grupos de Coxeter hiperbólicos paracompactos de rango 4 a 10. Los 58 se agrupan a continuación en cinco categorías. Johnson asigna las letras como los "símbolos Witt extendidos", utilizando PQRSTWUV de los símbolos de Witt afines y agregando LMNOXYZ. A estos grupos hiperbólicos se les asigna un sobrelineado, o un sombrero, en los cicloesquemas. La notación de corchetes de Coxeter es una representación linealizada del grupo de Coxeter.

Grupos paracompactos hiperbólicos
Rango Cuenta total Grupos
4 23

= [(3,3,4,4)]: CDel label4.pngCDel branch.pngCDel 4-3.pngCDel branch.pngCDel 2.png
= [(3,43)]: CDel label4.pngCDel branch.pngCDel 4-3.pngCDel branch.pngCDel label4.png
= [4[4]]: CDel label4.pngCDel branch.pngCDel 4-4.pngCDel branch.pngCDel label4.png
= [(33,6)]: CDel label6.pngCDel branch.pngCDel 3ab.pngCDel branch.pngCDel 2.png
= [(3,4,3,6)]: CDel label6.pngCDel branch.pngCDel 3ab.pngCDel branch.pngCDel label4.png
= [(3,5,3,6)]: CDel label6.pngCDel branch.pngCDel 3ab.pngCDel branch.pngCDel label5.png
= [(3,6)[2]]: CDel label6.pngCDel branch.pngCDel 3ab.pngCDel branch.pngCDel label6.png

= [3,3[3]]: CDel branch.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.png
= [4,3[3]]: CDel branch.pngCDel split2.pngCDel node.pngCDel 4.pngCDel node.png
= [5,3[3]]: CDel branch.pngCDel split2.pngCDel node.pngCDel 5.pngCDel node.png
= [6,3[3]]: CDel branch.pngCDel split2.pngCDel node.pngCDel 6.pngCDel node.png
= [6,31,1]: CDel nodes.pngCDel split2.pngCDel node.pngCDel 6.pngCDel node.png
= [3,41,1]: CDel nodes.pngCDel split2-44.pngCDel node.pngCDel 3.pngCDel node.png
= [41,1,1]: CDel nodes.pngCDel split2-44.pngCDel node.pngCDel 4.pngCDel node.png

= [3,4,4]: CDel node.pngCDel 4.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png
= [43]: CDel node.pngCDel 4.pngCDel node.pngCDel 4.pngCDel node.pngCDel 4.pngCDel node.png
= [3,3,6]: CDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 6.pngCDel node.png
= [4,3,6]: CDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 6.pngCDel node.png
= [5,3,6]: CDel node.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.pngCDel 6.pngCDel node.png
= [3,6,3]: CDel node.pngCDel 3.pngCDel node.pngCDel 6.pngCDel node.pngCDel 3.pngCDel node.png
= [6,3,6]: CDel node.pngCDel 6.pngCDel node.pngCDel 3.pngCDel node.pngCDel 6.pngCDel node.png

= [3[]x[]]: CDel node.pngCDel split1.pngCDel branch.pngCDel split2.pngCDel node.png
= [3[3,3]]: CDel tet.png

5 9

= [3,3[4]]: CDel node.pngCDel split1.pngCDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.png
= [4,3[4]]: CDel node.pngCDel split1.pngCDel nodes.pngCDel split2.pngCDel node.pngCDel 4.pngCDel node.png
= [(32,4,3,4)]: CDel branch.pngCDel 4-4.pngCDel nodes.pngCDel split2.pngCDel node.png
= [3[3]x[]]: CDel node.pngCDel split1.pngCDel branchbranch.pngCDel split2.pngCDel node.png

= [4,3,((4,2,3))]: CDel nodes.pngCDel split2-43.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
= [3,4,31,1]: CDel nodes.pngCDel split2.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png
= [4,32,1]: CDel nodes.pngCDel split2-43.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png

= [(3,4)2]: CDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png

= [4,31,1,1]: CDel node.pngCDel branch3.pngCDel splitsplit2.pngCDel node.pngCDel 4.pngCDel node.png
6 12

= [3,3[5]]: CDel branch.pngCDel 3ab.pngCDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.png
= [(35,4)]: CDel label4.pngCDel branch.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel branch.png
= [(3,3,4)[2]]: CDel label4.pngCDel branch.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel branch.pngCDel label4.png

= [4,3,32,1]: CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 4a.pngCDel nodea.png
= [3,4,31,1]: CDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png
= [3,(3,4)1,1]: CDel node.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes.pngCDel 4a4b.pngCDel nodes.png

= [33,4,3]: CDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png
= [3,3,4,3,3]: CDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
= [3,4,3,3,4]: CDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png

= [32,1,1,1]: CDel node.pngCDel branch3.pngCDel splitsplit2.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png

= [4,3,31,1,1]: CDel node.pngCDel branch3.pngCDel splitsplit2.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
= [31,1,1,1,1]: CDel node.pngCDel branch3.pngCDel splitsplit2.pngCDel node.pngCDel split1.pngCDel nodes.png

7 3

= [3,3[6]]:
CDel node.pngCDel split1.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.png

= [31,1,3,32,1]:
CDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png
= [4,32,32,1]:
CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 4a.pngCDel nodea.png
8 4 = [3,3[7]]:
CDel branch.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.png
= [31,1,32,32,1]:
CDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png
= [4,33,32,1]:
CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 4a.pngCDel nodea.png
= [33,2,2]:
CDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
9 4 = [3,3[8]]:
CDel node.pngCDel split1.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.png
= [31,1,33,32,1]:
CDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png
= [4,34,32,1]:
CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 4a.pngCDel nodea.png
= [34,3,1]:
CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png
10 3 = [3,3[9]]:
CDel branch.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.png
= [31,1,34,32,1]:
CDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png
= [4,35,32,1]:
CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 4a.pngCDel nodea.png
= [36,2,1]:
CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png
Relaciones de los subgrupos de los grupos hiperbólicos paracompactos[editar]

Estos árboles representan las relaciones de los subgrupos de los grupos hiperbólicos paracompactos. Los índices de los subgrupos en cada conexión figuran en color rojo.[13]​ Los subgrupos de índice 2 representan una eliminación de espejo y una duplicación del dominio fundamental. Otros pueden inferirse por conmensurabilidad (relación de volúmenes enteros) para los dominios tetraédricos.

Grupos de Coxeter hipercompactos (politopos de Vinberg)[editar]

Al igual que el plano hiperbólico H2 tiene dominios poligonales no triangulares, también existen dominios hiperbólicos reflexivos de dimensiones superiores. Estos dominios no simples pueden considerarse simplíces degenerados con espejos no intersecantes de orden infinito. En un diagrama de Coxeter, tales ramas se representan con líneas punteadas o discontinuas. Estos dominios no simples se llaman politopos de Vinberg, en referencia a Ernest Vinberg, creador del algoritmo de Vinberg para encontrar el dominio fundamental no simple de un grupo de reflexión hiperbólica. Geométricamente, estos dominios fundamentales se pueden clasificar como pirámides, o prismas cuadriláteros u otros politopos con aristas como la intersección de dos espejos que tienen un ángulo diedro de π/n para n = 2,3,4 ...

En un dominio basado en simplex, hay n+1 espejos para el espacio n-dimensional. En dominios no simples, hay más de n+1 espejos. La lista es finita, pero no completamente conocida. En cambio, las listas parciales se han enumerado como n+k espejos para k como 2,3 y 4.

Los grupos de Coxeter hipercompactos en un espacio tridimensional o superior difieren de los grupos bidimensionales en un aspecto esencial. Dos n-ágonos hiperbólicos que tienen los mismos ángulos en el mismo orden cíclico pueden tener diferentes longitudes de arista y, en general, no son congruentes entre sí. En contraste, los politopos de Vinberg en 3 dimensiones o más están completamente determinados por los ángulos diédricos. Este hecho se basa en el teorema de rigidez de Mostow, que implica que dos grupos isomórficos generados por reflexiones en Hn para n>=3, definen dominios fundamentales congruentes (politopos de Vinberg).

Politopos de Vinberg con rango n+2 para un espacio n dimensional[editar]

F. Esselmann enumeró la lista completa de politopes hiperbólicos compactos de Vinberg con espejos de rango n+2 para dimensión n en 1996.[14]​ Una lista parcial fue publicada en 1974 por I. M. Kaplinskaya.[15]

La lista completa de soluciones paracompactas fue publicada por P. Tumarkin en 2003, con dimensiones de 3 a 17.[16]

La forma paracompacta más pequeña en H3 se puede representar mediante CDel node.pngCDel ultra.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel ultra.pngCDel node.png, o [∞, 3,3, ∞] que se puede construir mediante la eliminación del espejo del grupo hiperbólico paracompacto [3,4,4] como [3,4,1+,4]. El dominio fundamental duplicado cambia de un tetraedro a una pirámide cuadrilátera. Otras pirámides incluyen [4,4,1+, 4] = [∞, 4,4, ∞], CDel node.pngCDel 4.pngCDel node.pngCDel 4.pngCDel node h0.pngCDel 4.pngCDel node.png = CDel node.pngCDel ultra.pngCDel node.pngCDel 4.pngCDel node.pngCDel 4.pngCDel node.pngCDel ultra.pngCDel node.png. Al quitar un espejo de algunos de los gráficos de Coxeter hiperbólicos cíclicos, se convierten en gráficos de lazo de corbata: [(3,3,4,1+, 4)] = [(((3, ∞, 3)), ((3, ∞, 3))] o CDel branchu.pngCDel split2.pngCDel node.pngCDel split1.pngCDel branchu.png, [(3,4,4,1+, 4)] = [((4, ∞, 3)), ((3, ∞, 4))] o CDel branchu.pngCDel split2-43.pngCDel node.pngCDel split1-43.pngCDel branchu.png , [(4,4,4,1+, 4)] = [((4, ∞, 4)), ((4, ∞, 4))] o CDel branchu.pngCDel split2-44.pngCDel node.pngCDel split1-44.pngCDel branchu.png.

Otros gráficos paracompactos válidos con dominios fundamentales de la pirámide cuadrilátera, incluyen:

Dimensión Rango Grafos
H3 5
CDel node.pngCDel ultra.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel ultra.pngCDel node.png, CDel node.pngCDel ultra.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel ultra.pngCDel node.png, CDel node.pngCDel ultra.pngCDel node.pngCDel 4.pngCDel node.pngCDel 4.pngCDel node.pngCDel ultra.pngCDel node.png, CDel node.pngCDel ultra.pngCDel node.pngCDel 3.pngCDel node.pngCDel 5.pngCDel node.pngCDel ultra.pngCDel node.png, CDel node.pngCDel ultra.pngCDel node.pngCDel 3.pngCDel node.pngCDel 6.pngCDel node.pngCDel ultra.pngCDel node.png
CDel branchu.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.pngCDel ultra.pngCDel node.png, CDel branchu.pngCDel split2.pngCDel node.pngCDel 4.pngCDel node.pngCDel ultra.pngCDel node.png, CDel branchu.pngCDel split2-43.pngCDel node.pngCDel 3.pngCDel node.pngCDel ultra.pngCDel node.png, CDel branchu.pngCDel split2-43.pngCDel node.pngCDel 4.pngCDel node.pngCDel ultra.pngCDel node.png, CDel branchu.pngCDel split2-44.pngCDel node.pngCDel 3.pngCDel node.pngCDel ultra.pngCDel node.png, CDel branchu.pngCDel split2-44.pngCDel node.pngCDel 4.pngCDel node.pngCDel ultra.pngCDel node.png
CDel branchu.pngCDel split2-53.pngCDel node.pngCDel 3.pngCDel node.pngCDel ultra.pngCDel node.png, CDel branchu.pngCDel split2-54.pngCDel node.pngCDel 3.pngCDel node.pngCDel ultra.pngCDel node.png, CDel branchu.pngCDel split2-55.pngCDel node.pngCDel 3.pngCDel node.pngCDel ultra.pngCDel node.png, CDel branchu.pngCDel split2-63.pngCDel node.pngCDel 3.pngCDel node.pngCDel ultra.pngCDel node.png, CDel branchu.pngCDel split2-64.pngCDel node.pngCDel 3.pngCDel node.pngCDel ultra.pngCDel node.png, CDel branchu.pngCDel split2-65.pngCDel node.pngCDel 3.pngCDel node.pngCDel ultra.pngCDel node.png, CDel branchu.pngCDel split2-66.pngCDel node.pngCDel 3.pngCDel node.pngCDel ultra.pngCDel node.png
CDel branchu.pngCDel split2.pngCDel node.pngCDel split1.pngCDel branchu.png, CDel branchu.pngCDel split2-43.pngCDel node.pngCDel split1.pngCDel branchu.png, CDel branchu.pngCDel split2-53.pngCDel node.pngCDel split1.pngCDel branchu.png, CDel branchu.pngCDel split2-44.pngCDel node.pngCDel split1.pngCDel branchu.png, CDel branchu.pngCDel split2-43.pngCDel node.pngCDel split1-43.pngCDel branchu.png, CDel branchu.pngCDel split2-44.pngCDel node.pngCDel split1-43.pngCDel branchu.png, CDel branchu.pngCDel split2-44.pngCDel node.pngCDel split1-44.pngCDel branchu.png, CDel branchu.pngCDel split2-54.pngCDel node.pngCDel split1.pngCDel branchu.png, CDel branchu.pngCDel split2-55.pngCDel node.pngCDel split1.pngCDel branchu.png, CDel branchu.pngCDel split2-63.pngCDel node.pngCDel split1.pngCDel branchu.png, CDel branchu.pngCDel split2-64.pngCDel node.pngCDel split1.pngCDel branchu.png, CDel branchu.pngCDel split2-65.pngCDel node.pngCDel split1.pngCDel branchu.png, CDel branchu.pngCDel split2-66.pngCDel node.pngCDel split1.pngCDel branchu.png

Otro subgrupo [1+, 41,1,1] = [∞, 4,1+, 4, ∞] = [∞ [6]]. CDel node.pngCDel 4.pngCDel node h0.pngCDel split1-44.pngCDel nodes.png = CDel node.pngCDel ultra.pngCDel node.pngCDel 4.pngCDel node h0.pngCDel 4.pngCDel node.pngCDel ultra.pngCDel node.png = CDel node.pngCDel split1-uu.pngCDel nodes.pngCDel 2a2b-cross.pngCDel nodes.pngCDel split2-uu.pngCDel node.png. [17]

Politopos de Vinberg con rango n+3 para un espacio n dimensional[editar]

Hay un número finito de símplex fundamentales degenerados que existen hasta 8 dimensiones. P. Tumarkin enumeró la lista completa de politopos compactos de Vinberg con espejos de rango n+3 para n dimensiones en 2004. Estos grupos están etiquetados mediante líneas punteadas/discontinuas para ramas ultra paralelas. Mike Roberts ha enumerado la lista completa de politopos de Vinberg no compactos con espejos de rango n+3 y con un vértice no simple para n-dimensiones.[18]

Para 4 a 8 dimensiones, los grupos de Coxeter de rango 7 a 11 se cuentan como 44, 16, 3, 1 y 1 respectivamente.[19]​ El más alto fue descubierto por Bugaenko en 1984 en la dimensión 8 y rango 11.[20]

Dimensiones Rango Casos Grafos
H4 7 44 ...
H5 8 16 ..
H6 9 3 CDel node.pngCDel 5.pngCDel node.pngCDel split1-43.pngCDel nodes.pngCDel ua3b.pngCDel nodes u0.pngCDel ua3b.pngCDel nodes.pngCDel split2-43.pngCDel node.pngCDel 5.pngCDel node.png CDel node.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes.pngCDel 3aub.pngCDel branch.pngCDel 3a.pngCDel 10a.pngCDel nodea.png CDel nodea.pngCDel 5a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3aub.pngCDel nodes.pngCDel splitcross.pngCDel branch.pngCDel label5.png
H7 10 1 CDel node.pngCDel split1-53.pngCDel nodes.pngCDel 3ab.pngCDel branch.pngCDel ua3b.pngCDel branch.pngCDel 3ab.pngCDel nodes.pngCDel split2-53.pngCDel node.png
H8 11 1 CDel nodea.pngCDel 5a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3aub.pngCDel nodes 0u.pngCDel 3aub.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 5a.pngCDel nodea.png

Politopos de Vinberg con rango n+4 para un espacio n dimensional[editar]

Hay un número finito de simplificadores fundamentales degenerados que existen hasta 8 dimensiones. Los politopos compactos de Vinberg con espejos de rango n+4 para n-dimensiones han sido explorados por A. Felikson y P. Tumarkin en 2005.[21]

Grupos lorentzianos[editar]

Panales regulares con grupos lorentzianos
Hyperbolic honeycomb 3-3-7 poincare cc.png
{3,3,7} visto fuera del modelo de la bola de Poincare
Hyperbolic honeycomb 7-3-3 poincare vc.png
{7,3,3} visto fuera del modelo de la bola de Poincare
Grupos lorentzianos de rango 5 organizados como subgrupos de [6,3,3,3], y [6,3,6,3]. El grupo altamente simétrico CDel pent.png, [3[3,3,3]] es un subgrupo de índice 120 de [6,3,3,3]

Los grupos lorentzianos para dominios simplex pueden definirse como gráficos más allá de las formas hiperbólicas paracompactas. A veces se denominan símplices súper ideales y también están relacionados con la geometría lorentziana, llamada así por el trabajo de Hendrik Antoon Lorentz sobre el espacio-tiempo en el campo de la teoría de la relatividad especial y de la relatividad general, que contiene uno (o más) componentes dimensionales similares al tiempo cuyos productos escalares por sí mismos son negativos.[9]Danny Calegari los denomina grupos de Coxeter cocompactos convexos en el espacio hiperbólico n-dimensional.[22][23]

Un artículo de 1982 de George Maxwell, "Empacamiento de Esferas y Grupos de Reflexión Hiperbólica", enumera la lista finita de grupos lorentzianos de rango 5 a 11. Los llama de "nivel 2", lo que significa que la eliminación de cualquier permutación de 2 nodos deja un grafo finito o euclídeo. Su enumeración está completa, pero no enumeró los grafos que son un subgrupo de otro. Todos los grupos de Coxeter con ramas de orden superior al rango 4 son lorentzianos, terminando en el límite como un Diagrama de Coxeter-Dynkin de grafo completo 3-símplex y con 6 ramas de orden infinito, que se pueden expresar como [∞ [3,3]]. Los rangos 5-11 tienen un número finito de grupos lorentzianos (186, 66, 36, 13, 10, 8 y 4 respectivamente).[24]​ Un artículo de 2013 de H. Chen y J.-P. Labbé, Lorentzian Coxeter groups and Boyd - Maxwell ball packings, recalculó y publicó la lista completa.[25]

Para los rangos más altos 8-11, las listas completas son:

Grupos de Coxeter lorentzianos
Rango Cuenta
total
Grupos
4 [3,3,7] ... [∞,∞,∞]: CDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 7.pngCDel node.png... CDel node.pngCDel infin.pngCDel node.pngCDel infin.pngCDel node.pngCDel infin.pngCDel node.png

[4,3[3]] ... [∞,∞[3]]: CDel node.pngCDel 4.pngCDel node.pngCDel split1.pngCDel branch.png... CDel node.pngCDel infin.pngCDel node.pngCDel split1-ii.pngCDel branch.pngCDel labelinfin.png
[5,41,1] ... [∞1,1,1]: CDel node.pngCDel 5.pngCDel node.pngCDel split1-44.pngCDel nodes.png... CDel node.pngCDel infin.pngCDel node.pngCDel split1-ii.pngCDel nodes.png
... [(5,4,3,3)] ... [∞[4]]: ... CDel label5.pngCDel branch.pngCDel 4a3b.pngCDel branch.png... CDel labelinfin.pngCDel branch.pngCDel iaib.pngCDel branch.pngCDel labelinfin.png
... [4[]×[]] ... [∞[]×[]]: ... CDel node.pngCDel split1-ii-i.pngCDel branch.pngCDel split2-ii.pngCDel node.png
... [4[3,3]] ... [∞[3,3]]

5 186 ...[3[3,3,3]]:CDel pent.png...
6 66
7 36 [31,1,1,1,1,1]: CDel node.pngCDel branch3.pngCDel splitsplit2.pngCDel node.pngCDel splitsplit1.pngCDel branch3.pngCDel node.png...
8 13

[3,3,3[6]]:CDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel split2.pngCDel node.png
[3,3[6],3]:CDel node.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.png
[3,3[2+4],3]:CDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel branch.pngCDel 3a.pngCDel nodea.png
[3,3[1+5],3]:CDel nodes.pngCDel 3ab.pngCDel branch.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel branch.png
[3[ ]e×[3]]:CDel node.pngCDel splitsplit1.pngCDel nodeabc.pngCDel 3abc.pngCDel nodeabc.pngCDel splitsplit2.pngCDel node.png

[4,3,3,33,1]:CDel nodea.pngCDel 4a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png
[31,1,3,33,1]:CDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png
[3,(3,3,4)1,1]:CDel nodea.pngCDel 4a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 4a.pngCDel nodea.png
CDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 4a.pngCDel nodea.png
CDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.png
[32,1,3,32,1]:CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png

[4,3,3,32,2]:CDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes.pngCDel 3ab.pngCDel nodes.png
[31,1,3,32,2]:CDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes.pngCDel 3ab.pngCDel nodes.png

9 10

[3,3[3+4],3]:CDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.png
[3,3[9]]:CDel node.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel branch.png
[3,3[2+5],3]:CDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel split5b.pngCDel nodes.png

[32,1,32,32,1]:CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png [33,1,33,4]:CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 4a.pngCDel nodea.png

[33,1,3,3,31,1]:CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.png

[33,3,2]:CDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png

[32,2,4]:CDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
[32,2,33,4]:CDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
[32,2,3,3,31,1]:CDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes.png

10 8 [3,3[8],3]:CDel node.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.png

[3,3[3+5],3]:CDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel branch.pngCDel 3a.pngCDel nodea.png
[3,3[9]]:CDel node.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel branch.png

[32,1,33,32,1]:CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png [35,3,1]:CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png

[33,1,34,4]:CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 4a.pngCDel nodea.png
[33,1,33,31,1]:CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.png

[34,4,1]:CDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.png
11 4 [32,1,34,32,1]:CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png [32,1,36,4]:CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 4a.pngCDel nodea.png

[32,1,35,31,1]:CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.png

[37,2,1]:CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png

Diagramas de Coxeter muy extendidos[editar]

La definición del diagrama de Dynkin considera los grupos afines como extendidos, los grupos hiperbólicos como sobre extendidos, y con un tercer nodo, los grupos simples, como muy extendidos. Estas extensiones generalmente están marcadas por un exponente de 1, 2 o 3 símbolos + según el número de nodos extendidos. Esta serie de extensión se puede ampliar hacia atrás, eliminando secuencialmente los nodos de la misma posición en el gráfico, aunque el proceso se detiene después de eliminar un nodo de ramificación. La familia extendida E8 es el ejemplo más comúnmente mostrado, que se extiende hacia atrás hasta E3, y hacia adelante hasta E11.

El proceso de extensión puede definir una serie limitada de gráficos de Coxeter que progresan de finitos a afines, y de hiperbólicos a lorentzianos. El determinante de las matrices de Cartan determina dónde cambia la serie de finito (positivo) a afín (cero) y a hiperbólico (negativo); y termina como un grupo lorentziano, que contiene al menos un subgrupo hiperbólico.[26]​ Los grupos Hn no cristalográficos forman una serie extendida donde H4 se extiende como un compacto hiperbólico y se sobre extiende en un grupo lorentziano.

Los determinantes de la matriz de Schläfli por rango son:[27]

  • det (A1n = [2n-1]) = 2n (finito para todos los n)
  • det (An = [3n-1]) = n + 1 (finito para todos los n)
  • det (Bn = [4,3n-2]) = 2 (finito para todos los n)
  • det (Dn = [3n-3,1,1]) = 4 (finito para todos los n)

Los determinantes de la matriz de Schläfli en series excepcionales son:

  • det (En = [3n-3,2,1]) = 9-n (finito para E3 (= A2A1), E4 (= A4),E5 (= D5), E6, E7 y E8, afines en E9 (), hiperbólicos en E10)
  • det ([3n-4,3,1]) = 2 (8-n) (finito para n = 4 a 7, afín () e hiperbólico en n = 8)
  • det ([3n-4,2,2]) = 3 (7-n) (finito para n = 4 a 6, afín () e hiperbólico en n = 7)
  • det (Fn = [3,4,3n-3]) = 5-n (finito para F3 (= B3) a F4, afinado en F5 (), hiperbólico en F6)
  • det (Gn = [6,3n-2]) = 3-n (finito para G2, afín en G3 (), hiperbólico en G4)
Series de extensión baja
Finito