En matemáticas , un elemento de Coxeter es un elemento de un grupo de Coxeter irreducible que es un producto de todas las reflexiones simples. El producto depende del orden en el que se toman, pero diferentes ordenaciones producen elementos conjugados , que tienen el mismo orden . Este orden se conoce como el número de Coxeter . Reciben su nombre del geómetra británico-canadiense HSM Coxeter , quien introdujo los grupos en 1934 como abstracciones de los grupos de reflexión . [1]
Tenga en cuenta que este artículo supone un grupo de Coxeter finito . Para grupos de Coxeter infinitos, existen múltiples clases de conjugación de elementos de Coxeter y tienen un orden infinito.
Hay muchas formas diferentes de definir el número de Coxeter h de un sistema de raíces irreducible.
El número de Coxeter para cada tipo de Dynkin se proporciona en la siguiente tabla:
Los invariantes del grupo de Coxeter que actúan sobre polinomios forman un álgebra polinómica cuyos generadores son los invariantes fundamentales; sus grados se dan en la tabla anterior. Nótese que si m es un grado de un invariante fundamental, entonces también lo es h + 2 − m .
Los valores propios de un elemento de Coxeter son los números que recorre m a través de los grados de los invariantes fundamentales. Como esto comienza con m = 2 , estos incluyen la raíz primitiva h de la unidad , que es importante en el plano de Coxeter, que se muestra a continuación.
El número dual de Coxeter es 1 más la suma de los coeficientes de las raíces simples en la raíz corta más alta del sistema de raíces dual .
Existen relaciones entre el orden g del grupo de Coxeter y el número de Coxeter h : [3]
Por ejemplo, [3,3,5] tiene h = 30 :
Los elementos de Coxeter distintos corresponden a orientaciones del diagrama de Coxeter (es decir, a los temblores de Dynkin ): las reflexiones simples correspondientes a los vértices de origen se escriben primero, los vértices de corriente abajo después y los sumideros al final. (La elección del orden entre los vértices no adyacentes es irrelevante, ya que corresponden a reflexiones conmutativas). Una elección especial es la orientación alternada, en la que las reflexiones simples se dividen en dos conjuntos de vértices no adyacentes, y todos los bordes están orientados desde el primer al segundo conjunto. [4] La orientación alternada produce un elemento de Coxeter especial w que satisface donde w 0 es el elemento más largo , siempre que el número de Coxeter h sea par.
Para el grupo simétrico de n elementos, los elementos de Coxeter son ciertos n -ciclos: el producto de reflexiones simples es el elemento de Coxeter . [5] Para n pares, el elemento de Coxeter de orientación alternada es: Hay elementos de Coxeter distintos entre los n -ciclos.
El grupo diedro Dih p se genera por dos reflexiones que forman un ángulo de y por lo tanto los dos elementos de Coxeter son su producto en cualquier orden, lo cual es una rotación por
Para un elemento de Coxeter dado w , existe un único plano P en el que w actúa por rotación por Este se llama plano de Coxeter [6] y es el plano en el que P tiene valores propios y [7] Este plano se estudió sistemáticamente por primera vez en (Coxeter 1948), [8] y posteriormente se utilizó en (Steinberg 1959) para proporcionar pruebas uniformes sobre las propiedades de los elementos de Coxeter. [8]
El plano de Coxeter se utiliza a menudo para dibujar diagramas de politopos de dimensiones superiores y sistemas de raíces: los vértices y los bordes del politopo, o raíces (y algunos bordes que los conectan) se proyectan ortogonalmente sobre el plano de Coxeter, lo que produce un polígono de Petrie con simetría rotacional de h -fold. [9] Para los sistemas de raíces, ninguna raíz se asigna a cero, lo que corresponde al elemento de Coxeter que no fija ninguna raíz o eje (no tiene valor propio 1 o −1), por lo que las proyecciones de órbitas bajo w forman arreglos circulares de h -fold [9] y hay un centro vacío, como en el diagrama E 8 arriba a la derecha. Para los politopos, un vértice puede asignarse a cero, como se muestra a continuación. Las proyecciones sobre el plano de Coxeter se muestran a continuación para los sólidos platónicos .
En tres dimensiones, la simetría de un poliedro regular , { p , q }, con un polígono de Petrie dirigido marcado, definido como un compuesto de 3 reflexiones, tiene simetría rotoinvertida S h , [2 + , h + ] , orden h . Añadiendo un espejo, la simetría puede duplicarse a simetría antiprismática, D h d , [2 + , h ] , orden 2 h . En proyección ortogonal 2D, esto se convierte en simetría diedral , Dih h , [ h ] , orden 2 h .
En cuatro dimensiones, la simetría de un policoron regular , { p , q , r }, con un polígono de Petrie dirigido marcado es una rotación doble , definida como un compuesto de 4 reflexiones, con simetría + 1 / h [C h ×C h ] [10] ( John H. Conway ), (C 2h /C 1 ;C 2h /C 1 ) (#1', Patrick du Val (1964) [11] ), orden h .
En cinco dimensiones, la simetría de un 5-politopo regular , { p , q , r , s }, con un polígono de Petrie dirigido marcado, está representada por la composición de 5 reflexiones.
En las dimensiones 6 a 8 hay 3 grupos de Coxeter excepcionales; un politopo uniforme de cada dimensión representa las raíces de los grupos de Lie excepcionales E n . Los elementos de Coxeter son 12, 18 y 30 respectivamente.