Diagrama de Coxeter-Dynkin

Representación pictórica de la simetría

Diagramas de Coxeter-Dynkin para los grupos de Coxeter finitos fundamentales

Diagramas de Coxeter-Dynkin para los grupos de Coxeter afines fundamentales

En geometría , un diagrama de Coxeter - Dynkin (o diagrama de Coxeter , gráfico de Coxeter ) es un gráfico con aristas etiquetadas numéricamente (llamadas ramas ) que representan un grupo de Coxeter o, a veces, un politopo uniforme o un teselado uniforme construido a partir del grupo.

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 son dirigidas , mientras que los diagramas de Coxeter no son dirigidas ; en segundo lugar, los diagramas de Dynkin deben satisfacer una restricción ( cristalográfica ) adicional, 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 sistemas de raíces y, por lo tanto, álgebras de Lie semisimples . ^[1]

Descripción

Un grupo de Coxeter es un grupo que admite una presentación: donde los m _i,j son los elementos de alguna matriz simétrica M que tiene 1 s en su diagonal . ^[a] Esta matriz M , la matriz de Coxeter , determina completamente el grupo de Coxeter. $${\displaystyle \langle r_{0},r_{1},\dots ,r_{n}\mid (r_{i}r_{j})^{m_{i,j}}=1\rangle }$$

Como la matriz de Coxeter es simétrica, se la puede considerar como la matriz de adyacencia de un grafo con aristas etiquetadas que tiene vértices correspondientes a los generadores r _i y aristas etiquetadas con m _i,j entre los vértices correspondientes a r _i y r _j . Para simplificar estos diagramas, se pueden realizar dos cambios:

• Los bordes que están etiquetados con 2 se pueden omitir, y se supone que los bordes faltantes son 2 s. Una etiqueta 2 indica que los dos generadores correspondientes conmutan; 2 es el número más pequeño que se puede usar para etiquetar un borde.
• Los bordes etiquetados como 3 se pueden dejar sin etiquetar, con la implicación de que un borde sin etiqueta actúa como un 3 .

El gráfico resultante es un diagrama de Coxeter-Dynkin que describe el grupo de Coxeter considerado.

Matriz de Schläfli

Cada diagrama de Coxeter tiene una matriz de Schläfli correspondiente (llamada así por Ludwig Schläfli ), A , con elementos de matriz a _i,j = a _j,i = −2 cos( π / p _i,j ) donde p _i,j es el orden de ramificación entre los espejos i y j ; es decir, π / p _i,j es el ángulo diedro entre los espejos i y j . Como matriz de cosenos , A también se llama matriz de Gram . Todas las matrices de Schläfli del grupo de Coxeter son simétricas porque sus vectores raíz están normalizados. A está estrechamente relacionada con la matriz de Cartan , utilizada en el grafo similar pero dirigido: el diagrama de Dynkin , en los casos limitados de p = 2, 3, 4 y 6, que generalmente no son simétricos.

El determinante de la matriz de Schläfli se llama Schläfliano ; ^{[ cita requerida ]} el Schläfliano y su signo determinan si el grupo es finito (positivo), afín (cero) o indefinido (negativo). ^[2] Esta regla se llama Criterio de Schläfli . ^{[3] [ verificación fallida ]}

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 de Coxeter. Sin embargo, existen múltiples definiciones no equivalentes para los grupos hiperbólicos de Coxeter. Usamos las siguientes definiciones:

• Un grupo de Coxeter con diagrama conexo es hiperbólico si no es de tipo finito ni afín, pero todo subdiagrama conexo propio es de tipo finito o afín.
• Un grupo de Coxeter hiperbólico es compacto si todos sus 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, quien enumeró los grupos hiperbólicos compactos en 1950, ^[4] y Koszul (o cuasi-Lannér) para los grupos paracompactos.

Grupos de Coxeter de rango 2

El tipo de un grupo de Coxeter de rango 2 , es decir, generado por dos espejos diferentes, está completamente determinado por el determinante de la matriz de Schläfli, ya que este determinante es simplemente el producto de los valores propios: tipo finito (determinante positivo), 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 sustituto de los diagramas gráficos de nodo-rama. Soluciones racionales [ p / q ], , también existen, con mcd ( p , q ) = 1; estos definen dominios fundamentales superpuestos. Por ejemplo, 3/2, 4/3, 5/2, 5/3, 5/4 y 6/5.

Visualizaciones geométricas

El diagrama de Coxeter-Dynkin puede considerarse una descripción gráfica del dominio fundamental de los espejos. Un espejo representa un hiperplano dentro de un espacio esférico, euclidiano o hiperbólico de una dimensión determinada. (En espacios 2D, un espejo es una línea; en 3D, un espejo es un plano).

Estas visualizaciones muestran los dominios fundamentales para los grupos euclidianos 2D y 3D, y para los grupos esféricos 2D. Para cada uno, el diagrama de Coxeter se puede deducir identificando los espejos hiperplanos y etiquetando su conectividad, ignorando los ángulos diedros de 90 grados (orden 2; ver nota al pie [a] a continuación).

Aplicación a politopos uniformes

Los diagramas de Coxeter-Dynkin pueden enumerar explícitamente casi todas las clases de politopo uniforme y teselaciones uniformes . Cada politopo uniforme con simetría reflexiva pura (todos, salvo unos pocos casos especiales, tienen simetría reflexiva pura) se puede representar mediante un diagrama de Coxeter-Dynkin con permutaciones de marcas . Cada politopo uniforme se puede generar utilizando dichos espejos y un único punto generador: las imágenes especulares crean nuevos puntos como reflejos, luego se pueden definir los bordes del politopo entre los puntos y un punto de imagen especular. Las caras se generan por la reflexión repetida de un borde que eventualmente envuelve al generador original; la forma final, así como cualquier faceta de dimensión superior, también se crean mediante la cara que se refleja para encerrar un área.

Para especificar el vértice generador, uno o más nodos se marcan con anillos, lo que significa que el vértice no está en el espejo o espejos representados por el nodo o los nodos con anillos. (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 del símplex. Dos anillos corresponden a las aristas del símplex y tienen un grado de libertad, con solo el punto medio como solución uniforme para longitudes de aristas iguales. En general, los puntos generadores del anillo k están en las (k-1) caras 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 reflexiva se representa mediante un marcado secundario en el que se elimina el punto central de un nodo anillado (lo que se denomina agujero ). Estas formas son alternancias de politopos con simetría reflexiva, lo que implica que se eliminan todos los demás vértices. El politopo resultante tendrá una subsimetría del grupo de Coxeter original . Una alternancia truncada se denomina snub .

• Un nodo único representa un espejo único. Esto se denomina grupo A ₁ . Si se anilla, se crea un segmento de línea perpendicular al espejo, representado como {}.
• Dos nodos no unidos representan dos espejos perpendiculares . Si ambos nodos están rodeados por un anillo, 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 -gono si el punto está en un espejo, y un 2n - gono si el punto está fuera de ambos espejos. Esto forma el grupo I ₁ (n) .
• Dos espejos paralelos pueden representar un grupo de polígonos infinitos I ₁ (∞) , también llamado Ĩ ₁ .
• 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 (sin tener en cuenta las dos ramas). Esto generará teselas uniformes .
• Tres espejos pueden generar poliedros uniformes ; incluyendo números racionales se obtiene el conjunto de triángulos de Schwarz .
• Tres espejos, uno perpendicular a los otros dos, pueden formar prismas uniformes .

Los duales de los politopos uniformes a veces se marcan con una barra perpendicular que reemplaza los nodos anillados y con un agujero en la barra para los nodos huecos de los romos. Por ejemplo,representa un rectángulo (como dos espejos ortogonales activos), yrepresenta su polígono dual , el rombo .

Ejemplos con poliedros y teselaciones

Por ejemplo, el grupo B ₃ de Coxeter tiene un diagrama:Esto también se llama simetría octaédrica .

Hay 7 poliedros uniformes convexos que pueden construirse a partir de este grupo de simetría y 3 a partir de sus subsimetrí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 grafos de rango 3, con los 3 órdenes de ramificación nombrados, en lugar de suprimir las ramas de orden 2. El símbolo de Wythoff puede manejar la forma de snub , pero no las alternancias generales sin todos los nodos anillados.

Las mismas construcciones se pueden realizar en grupos de Coxeter disjuntos (ortogonales) como los prismas uniformes , y se pueden ver más claramente como teselas de diedros y hosoedros en la esfera, como esta familia [6]×[] o [6,2]:

En comparación, [6,3],La familia produce un conjunto paralelo de 7 teselación uniforme del plano euclidiano y sus teselación dual. Hay nuevamente 3 alternancias y alguna versión de semisimetría.

En el plano hiperbólico [7,3],La familia produce un conjunto paralelo de teselados uniformes y sus teselados duales. Solo hay una alternancia ( snub ) ya que todos los órdenes de ramificación son impares. Se pueden ver muchas otras familias hiperbólicas de teselados uniformes en teselados uniformes en plano hiperbólico .

Diagramas de Coxeter muy extendidos

Un uso incluye una definición muy extendida del uso directo del diagrama de Dynkin que considera a los grupos afines como extendidos , a los grupos hiperbólicos como sobreextendidos y a un tercer nodo como grupos simples muy extendidos . Estas extensiones suelen estar marcadas por un exponente de 1, 2 o 3 + símbolos para el número de nodos extendidos. Esta serie de extensión se puede extender 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 el nodo de ramificación. La familia extendida E 8 es el ejemplo que se muestra con más frecuencia, extendiéndose hacia atrás desde E ₃ y hacia adelante hasta E ₁₁ .

El proceso de extensión puede definir una serie limitada de grafos de Coxeter que progresan de finitos a afines a hiperbólicos a lorentzianos. El determinante de las matrices de Cartan determina dónde la serie cambia de finita (positiva) a afín (cero) a hiperbólica (negativa), y termina como un grupo lorentziano, que contiene al menos un subgrupo hiperbólico. ^[5] Los grupos H _n no cristalográficos forman una serie extendida donde H ₄ se extiende como un hiperbólico compacto y se sobreextiende en un grupo lorentziano.

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

• det( A ₁ ⁿ = [2 ^{n −1} ]) = 2 ⁿ (Finito para todo n )
• det( A _n = [3 ^{n −1} ]) = n + 1 (finito para todo n )
• det( B _n = [4,3 ^{n −2} ]) = 2 (finito para todo n )
• det( D _n = [3 ^{n −3,1,1} ]) = 4 (finito para todo n )

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

• det( E n = [3 ^{n −3,2,1} ]) = 9 − n (finito para E ₃ (= A ₂ A ₁ ), E ₄ (= A ₄ ​​), E ₅ (= D ₅ ), E 6 , E 7 y E 8 , afín en E 9 ( ), hiperbólico en E ₁₀ ) ${\displaystyle {\tilde {E}}_{8}}$
• det([3 ^{n −4,3,1} ]) = 2(8 − n ) (finito para n = 4 a 7, afín ( ), e hiperbólico en n = 8.) ${\displaystyle {\tilde {E}}_{7}}$
• det([3 ^{n −4,2,2} ]) = 3(7 − n ) (finito para n = 4 a 6, afín ( ), e hiperbólico en n = 7.) ${\displaystyle {\tilde {E}}_{6}}$
• det( F _n = [3,4,3 ^{n −3} ]) = 5 − n (finito para F ₃ (= B ₃ ) a F 4 , afín en F 5 ( ), hiperbólico en F ₆ ) ${\displaystyle {\tilde {F}}_{4}}$
• det( G _n = [6,3 ^{n −2} ]) = 3 − n (finito para G 2 , afín en G ₃ ( ), hiperbólico en G ₄ ) ${\displaystyle {\tilde {G}}_{2}}$

Plegado geométrico

Un diagrama de Coxeter-Dynkin (finito, afín o hiperbólico) (simplemente enlazado) que tiene una simetría (que satisface una condición, a continuación) puede ser cocienteado por la simetría, produciendo un nuevo diagrama, generalmente enlazado de forma múltiple, con el proceso llamado "plegado". ^{[8] [9]}

Por ejemplo, en el plegado de D ₄ a G ₂ , la arista en G ₂ apunta desde la clase de los 3 nodos externos (valencia 1), a la clase del nodo central (valencia 3). Y E ₈ se pliega en 2 copias de H ₄ , la segunda copia escalada por τ . ^[10]

Geométricamente, esto corresponde a proyecciones ortogonales de politopos y teselaciones uniformes. En particular, cualquier diagrama de Coxeter-Dynkin finito y simplemente enlazado se puede plegar a I ₂ ( h ), donde h es el número de Coxeter , que corresponde geométricamente a una proyección al plano de Coxeter .

Reflexiones complejas

Los diagramas de Coxeter-Dynkin se han extendido al espacio complejo , C ⁿ donde los nodos son reflexiones unitarias de período mayor que 2. Los nodos están etiquetados por un índice, que se supone que es 2 para la reflexión real ordinaria si se suprime. Coxeter escribe el grupo complejo, p[q]r, como diagrama. ^[11]

Un politopo complejo regular unidimensional se representa como ${\displaystyle \mathbb {C} ^{1}}$, que tiene p vértices. Su representación real es un polígono regular , { p }. Su simetría es _p [] o, orden p . Un generador de operadores unitarios parase ve como una rotación de 2 π / p radianes en sentido antihorario y una ${\displaystyle \mathbb {R} ^{2}}$El borde se crea mediante aplicaciones secuenciales de una única reflexión unitaria. Un generador de reflexión unitaria para un 1-politopo con p vértices es e ^{2 π i / p} = cos(2 π / p ) + i sin(2 π / p ) . Cuando p = 2, el generador es e ^{π i} = –1, lo mismo que una reflexión puntual en el plano real.

En un politopo superior, _p {} orepresenta un elemento de borde p , con un borde 2, {} o, que representa un borde real ordinario entre dos vértices.

Un polígono complejo regular en , tiene la forma _p { q } _r o diagrama de Coxeter ${\displaystyle \mathbb {C} ^{2}}$. El grupo de simetría de un polígono regular complejono se llama grupo de Coxeter , sino grupo de Shephard , un tipo de grupo de reflexión complejo . El orden de _p [ q ] _r es . ^[13] ${\displaystyle 8/q\cdot (1/p+2/q+1/r-1)^{-2}}$

Los grupos de Shephard de rango 2 son: ₂ [ q ] ₂ , _p [4] ₂ , ₃ [3 ] ₃ , ₃ [6] ₂ , ₃ [4] ₃ , ₄ [3] ₄ , ₃ [8] ₂ , ₄ [6] ₂ , ₄ [4] ₃ , ₃ [ 5 ] ₃ , ₅ [3] ₅ , ₃ [10] ₂ , ₅ [6] ₂ y ₅ [4] ₃ o,,,,,,,,,,,,,de orden 2 q , 2 p ² , 24, 48, 72, 96, 144, 192, 288, 360, 600, 1200 y 1800 respectivamente.

El grupo de simetría _{p 1} [ q ] _{p 2} está representado por 2 generadores R ₁ , R ₂ , donde:

R1p1 = ^_R2p2 = ^_yo ._​^​_​^​

Si q es par, (R ₂ R ₁ ) ^{q /2} = (R ₁ R ₂ ) ^{q /2} . Si q es impar, (R ₂ R ₁ ) ^(q-1)/2 R ₂ = (R ₁ R ₂ ) ^{( q -1)/2} R ₁ . Cuando q es impar, p ₁ = p ₂ .

El grupo ${\displaystyle \mathbb {C} ^{3}}$o [1 1 1] ^p se define por 3 reflexiones unitarias de período 2 {R ₁ , R ₂ , R ₃ }:

R12 = _R12 = _{R32 =} ( _R1R2 ) ³ = ₍ ^R2R3 ₎ ³ = ^{( R3R1} _{) 3} = ( _{R1R2R3R1 )} p = 1 .^​​_​​_​​_​​^​​

El periodo p puede verse como una doble rotación en términos reales . ${\displaystyle \mathbb {R} ^{4}}$

Un grupo similar ${\displaystyle \mathbb {C} ^{3}}$o [1 1 1] ^(p) se define por 3 reflexiones unitarias de período 2 {R ₁ , R ₂ , R ₃ }:

R12 = _R12 = _{R32 =} ( _R1R2 ) ³ = ₍ ^R2R3 ) ³ = ^{( R3R1} _{) 3} = ( _{R1R2R3R2 )} p = 1 _.​^​_​​_​​_​​^​​

Véase también

• Grupo Coxeter
• Triángulo de Schwarz
• Tetraedro de Goursat
• Diagrama de Dynkin
• Politopo uniforme
  • Símbolo de Wythoff
  • Poliedro uniforme
  • Lista de poliedros uniformes
  • Lista de teselados planos uniformes
  • Politopo 4 uniforme
  • Panal de abeja uniforme convexo
  • Panales convexos uniformes en el espacio hiperbólico
• Construcción de Wythoff y símbolo de Wythoff

Referencias

1. Hall, Brian C. (2003), Grupos de Lie, álgebras de Lie y representaciones: una introducción elemental , Springer, ISBN 978-0-387-40122-5
2. Borovik, Alexandre; Borovik, Anna (2010). Espejos y reflejos . Springer. págs. 118–119.
3. Coxeter, Regular Polytopes , (3.ª edición, 1973), edición Dover, ISBN 0-486-61480-8 , sec. 7.7, pág. 133, Criterio de Schläfli 
4. Lannér F., Sobre complejos con grupos transitivos de automorfismos , Medd. Lunds Univ. Mat. Sem. [Comm. Sem. Math. Univ. Lund], 11 (1950), 1–71
5. De Buyl, Sophie (2006). "Álgebras de Kac-Moody en la teoría M". arXiv : hep-th/0608161 .
6. Determinantes de Cartan-Gram para los grupos de Lie simples, Wu, Alfred C. T, The American Institute of Physics, noviembre de 1982
7. John Crisp , ' Mapas inyectivos entre grupos de Artin ', en Teoría de grupos en Australia, Actas del Año Especial sobre Teoría de Grupos Geométricos, (Universidad Nacional Australiana, Canberra, Australia, 1996), Postscript Archivado el 16 de octubre de 2005 en Wayback Machine , págs. 13-14, y googlebook, Teoría de grupos geométricos en Australia, pág. 131
8. Zuber, Jean-Bernard (1998). "Diagramas de Dynkin generalizados y sistemas de raíces y su plegamiento". Teoría de campos topológicos : 28–30. arXiv : hep-th/9707046 . Código Bibliográfico :1998tftp.conf..453Z. CiteSeerX 10.1.1.54.3122 . 
9. Dechant, Pierre-Philippe; Boehm, Celine; Twarock, Reidun (2013). "Extensiones afines de grupos de Coxeter no cristalográficos inducidas por proyección". Journal of Mathematical Physics . 54 (9): 093508. arXiv : 1110.5228 . Bibcode :2013JMP....54i3508D. doi :10.1063/1.4820441. S2CID  59469917.
10. Dechant, Pierre-Philippe (2017). "La geometría E 8 desde una perspectiva de Clifford". Avances en álgebras de Clifford aplicadas . 27 : 397–421. doi : 10.1007/s00006-016-0675-9 .
11. Coxeter, Politopos regulares complejos , segunda edición, (1991)
12. Coxeter, Politopos regulares complejos, pág. 177, Tabla III
13. Grupos de Reflexión Unitaria , p.87

1. ${\displaystyle (R_{i}\circ R_{i})^{1}={\rm {Id}}.}$
2. Si entonces así y ${\displaystyle R\perp R',}$ ${\displaystyle R'\circ R={\rm {sym}}_{R\cap R'}=R\circ R',}$ ${\displaystyle R\circ R'\circ R=R\circ R\circ R'={\rm {Id}}\circ R'=R'}$ ${\displaystyle R'\circ R\circ R'=R'\circ R'\circ R={\rm {Id}}\circ R=R.}$

Lectura adicional

• James E. Humphreys , Grupos de reflexión y grupos de Coxeter , Cambridge studies in advanced mathematics, 29 (1990)
• Caleidoscopios: escritos selectos de HSM Coxeter , editado por F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivic Weiss, Wiley-Interscience Publication, 1995, ISBN 978-0-471-01003-6 [1], Googlebooks [2]  
  • (Documento 17) Coxeter , La evolución de los diagramas de Coxeter-Dynkin , [Nieuw Archief voor Wiskunde 9 (1991) 233-248]
• Coxeter , La belleza de la geometría: doce ensayos , Dover Publications, 1999, ISBN 978-0-486-40919-1 (Capítulo 3: Construcción de Wythoff para politopos uniformes) 
• Coxeter , Politopos regulares (1963), Macmillan Company
  • Politopos regulares , tercera edición (1973), edición Dover, ISBN 0-486-61480-8 (Capítulo 5: El caleidoscopio y Sección 11.3 Representación mediante gráficos) 
• HSM Coxeter y WOJ Moser, Generadores y relaciones para grupos discretos, 4.ª ed., Springer-Verlag, Nueva York, 1980
• Norman Johnson , Geometrías y transformaciones , capítulos 11, 12 y 13, preimpresión 2011
• NW Johnson , R. Kellerhals , JG Ratcliffe, ST Tschantz, El tamaño de un símplex hiperbólico de Coxeter , Transformation Groups, 1999, Volumen 4, Número 4, págs. 329–353 [3] [4]
• Norman W. Johnson y Asia Ivic Weiss Enteros cuadráticos y grupos de Coxeter Archivado el 26 de marzo de 2023 en Wayback Machine PDF Can. J. Math. Vol. 51 (6), 1999, págs. 1307–1336

Enlaces externos

• Weisstein, Eric W. "Diagrama de Coxeter-Dynkin". MundoMatemático .
• Discusión de octubre de 1978 sobre la historia de los diagramas de Coxeter por Coxeter y Dynkin en Toronto , Canadá ; Colección Eugene Dynkin de entrevistas matemáticas, Biblioteca de la Universidad de Cornell .