En matemáticas , en particular en la teoría de las álgebras de Lie , el grupo Weyl (llamado así por Hermann Weyl ) de un sistema de raíces Φ es un subgrupo del grupo de isometría de ese sistema de raíces. Específicamente, es el subgrupo que se genera por reflexiones a través de los hiperplanos ortogonales a las raíces y, como tal, es un grupo de reflexión finito . De hecho, resulta que la mayoría de los grupos de reflexión finitos son grupos de Weyl. [1] De manera abstracta, los grupos Weyl son grupos finitos de Coxeter y son ejemplos importantes de estos.
El grupo Weyl de un grupo de Lie semisimple , un álgebra de Lie semisimple , un grupo algebraico lineal semisimple , etc. es el grupo Weyl del sistema de raíces de ese grupo o álgebra .
Sea un sistema de raíces en un espacio euclidiano . Para cada raíz , denotemos la reflexión sobre el hiperplano perpendicular a , que se da explícitamente como
¿Dónde está el producto interno ? El grupo Weyl de es el subgrupo del grupo ortogonal generado por todos los 's. Según la definición de sistema raíz, cada uno conserva , de lo que se deduce que es un grupo finito.
En el caso del sistema de raíces, por ejemplo, los hiperplanos perpendiculares a las raíces son simplemente líneas, y el grupo de Weyl es el grupo de simetría de un triángulo equilátero, como se indica en la figura. Como grupo, es isomorfo al grupo de permutación de tres elementos, que podemos considerar como los vértices del triángulo. Tenga en cuenta que, en este caso, no se trata del grupo de simetría completo del sistema raíz; una rotación de 60 grados conserva pero no es un elemento de .
Podemos considerar también el sistema raíz. En este caso, es el espacio de todos los vectores cuyas entradas suman cero. Las raíces constan de vectores de la forma , donde es el elemento básico estándar para . La reflexión asociada a dicha raíz es la transformación que se obtiene intercambiando las entradas enésima y enésima de cada vector. El grupo Weyl para es entonces el grupo de permutación de elementos.
Si es un sistema de raíces, podemos considerar el hiperplano perpendicular a cada raíz . Recordemos que denota la reflexión sobre el hiperplano y que el grupo de Weyl es el grupo de transformaciones de generadas por todos los 's. El complemento del conjunto de hiperplanos está desconectado, y cada componente conectado se denomina cámara de Weyl . Si hemos fijado un conjunto particular Δ de raíces simples, podemos definir la cámara de Weyl fundamental asociada a Δ como el conjunto de puntos tales que para todos .
Dado que las reflexiones preservan , también preservan el conjunto de hiperplanos perpendiculares a las raíces. Así, cada elemento del grupo Weyl permuta las cámaras de Weyl.
La figura ilustra el caso del sistema raíz A2. Los "hiperplanos" (en este caso, unidimensionales) ortogonales a las raíces se indican con líneas discontinuas. Los seis sectores de 60 grados son las cámaras de Weyl y la región sombreada es la cámara de Weyl fundamental asociada a la base indicada.
Un teorema general básico sobre las cámaras de Weyl es el siguiente: [2]
Un resultado relacionado es este: [3]
Un resultado clave sobre el grupo Weyl es el siguiente: [4]
Es decir, el grupo generado por las reflexiones es el mismo que el grupo generado por las reflexiones .
Mientras tanto, si y están en , entonces el diagrama de Dynkin relativo a la base nos dice algo sobre cómo se comporta el par. Específicamente, supongamos que y son los vértices correspondientes en el diagrama de Dynkin. Entonces tenemos los siguientes resultados:
La afirmación anterior no es difícil de verificar, si simplemente recordamos lo que nos dice el diagrama de Dynkin sobre el ángulo entre cada par de raíces. Si, por ejemplo, no existe ningún vínculo entre los dos vértices, entonces y son ortogonales, de lo que se deduce fácilmente que las reflexiones correspondientes conmutan. De manera más general, el número de enlaces determina el ángulo entre las raíces. El producto de las dos reflexiones es entonces una rotación angular en el plano abarcado por y , como puede comprobar el lector, de lo que se desprende fácilmente la afirmación anterior.
Los grupos de Weyl son ejemplos de grupos de reflexión finitos, ya que se generan por reflexiones; los grupos abstractos (no considerados como subgrupos de un grupo lineal) son, en consecuencia, grupos de Coxeter finitos , lo que permite clasificarlos mediante su diagrama de Coxeter-Dynkin . Ser un grupo de Coxeter significa que un grupo de Weyl tiene un tipo especial de presentación en el que cada generador x i es de orden dos, y las relaciones distintas de x i 2 =1 son de la forma ( x i x j ) m ij =1 . Los generadores son las reflexiones dadas por raíces simples, y m ij es 2, 3, 4 o 6 dependiendo de si las raíces i y j forman un ángulo de 90, 120, 135 o 150 grados, es decir, si en el diagrama de Dynkin están desconectados, conectados por un borde simple, conectados por un borde doble o conectados por un borde triple. Ya hemos señalado estas relaciones en los puntos anteriores, pero decir que es un grupo de Coxeter, estamos diciendo que esas son las únicas relaciones en .
Los grupos Weyl tienen un orden de Bruhat y una función de longitud en términos de esta presentación: la longitud de un elemento del grupo Weyl es la longitud de la palabra más corta que representa ese elemento en términos de estos generadores estándar. Hay un elemento único y más largo de un grupo Coxeter , que es opuesto a la identidad en el orden Bruhat.
Arriba, el grupo Weyl se definió como un subgrupo del grupo de isometría de un sistema de raíces. También existen varias definiciones de grupos de Weyl específicas para diversos contextos geométricos y teóricos de grupos ( álgebra de Lie , grupo de Lie , espacio simétrico , etc.). Para cada una de estas formas de definir grupos Weyl, existe un teorema (generalmente no trivial) de que es un grupo Weyl en el sentido de la definición al principio de este artículo, es decir, el grupo Weyl de algún sistema de raíces asociado con el objeto. La realización concreta de tal grupo de Weyl generalmente depende de una elección: por ejemplo, la subálgebra de Cartan para un álgebra de Lie, o el toro máximo para un grupo de Lie. [5]
Sea un grupo de Lie compacto conectado y sea un toro máximo en . Luego introducimos el normalizador de in , denotado y definido como
También definimos el centralizador de in , denotado y definido como
El grupo de Weyl de (en relación con el toro máximo dado ) se define inicialmente como
Finalmente, se demuestra que , [6] momento en el que se tiene una descripción alternativa del grupo Weyl como
Ahora se puede definir un sistema raíz asociado al par ; las raíces son los pesos distintos de cero de la acción adjunta de sobre el álgebra de Lie de . Para cada uno , se puede construir un elemento cuya acción tenga la forma de reflexión. [7] Con un poco más de esfuerzo, se puede demostrar que estos reflejos generan todos . [6] Por lo tanto, al final, el grupo Weyl definido como o es isomorfo al grupo Weyl del sistema de raíces .
Para un álgebra de Lie semisimple compleja, el grupo de Weyl se define simplemente como el grupo de reflexión generado por reflexiones en las raíces: la realización específica del sistema de raíces depende de la elección de la subálgebra de Cartan .
Para un grupo de Lie G que satisface ciertas condiciones, [nota 1] dado un toro T < G (que no necesita ser máximo), el grupo Weyl con respecto a ese toro se define como el cociente del normalizador del toro N = N ( T ) = N G ( T ) por el centralizador del toro Z = Z ( T ) = Z G ( T ),
El grupo W es finito – Z es de índice finito en N. Si T = T 0 es un toro máximo (por lo que es igual a su propio centralizador: ), entonces el cociente resultante N / Z = N / T se llama grupo Weyl de G y se denota W ( G ). Tenga en cuenta que el conjunto de cocientes específico depende de la elección del toro máximo , pero los grupos resultantes son todos isomórficos (por un automorfismo interno de G ), ya que los toros máximos son conjugados.
Si G es compacto y conexo, y T es un toro máximo , entonces el grupo Weyl de G es isomorfo al grupo Weyl de su álgebra de Lie, como se analizó anteriormente.
Por ejemplo, para el grupo lineal general GL, un toro máximo es el subgrupo D de matrices diagonales invertibles, cuyo normalizador son las matrices de permutación generalizadas (matrices en forma de matrices de permutación , pero con números distintos de cero en lugar de ' 1's), y cuyo grupo Weyl es el grupo simétrico . En este caso , el mapa de cocientes N → N / T se divide (a través de las matrices de permutación), por lo que el normalizador N es un producto semidirecto del toro y el grupo Weyl, y el grupo Weyl se puede expresar como un subgrupo de G. En general, este no es siempre el caso: el cociente no siempre se divide, el normalizador N no siempre es el producto semidirecto de W y Z, y el grupo de Weyl no siempre puede realizarse como un subgrupo de G. [5]
Si B es un subgrupo de Borel de G , es decir, un subgrupo máximo conectado que se puede resolver y se elige un toro máximo T = T 0 para que se encuentre en B , entonces obtenemos la descomposición de Bruhat.
lo que da lugar a la descomposición de la variedad bandera G / B en células de Schubert (ver Grassmanniano ).
La estructura del diagrama de Hasse del grupo está relacionada geométricamente con la cohomología de la variedad (más bien, de las formas reales y complejas del grupo), que está limitada por la dualidad de Poincaré . Por tanto, las propiedades algebraicas del grupo Weyl corresponden a propiedades topológicas generales de las variedades. Por ejemplo, la dualidad de Poincaré proporciona un emparejamiento entre celdas en la dimensión k y en la dimensión n - k (donde n es la dimensión de una variedad): la celda dimensional inferior (0) corresponde al elemento de identidad del grupo Weyl, y la dual La celda de dimensión superior corresponde al elemento más largo de un grupo de Coxeter .
Hay una serie de analogías entre los grupos algebraicos y los grupos de Weyl; por ejemplo, el número de elementos del grupo simétrico es n !, y el número de elementos del grupo lineal general en un campo finito está relacionado con el factorial q ; por tanto, el grupo simétrico se comporta como si fuera un grupo lineal sobre "el campo con un elemento". Esto se formaliza mediante el campo con un elemento , que considera los grupos de Weyl como grupos algebraicos simples sobre el campo con un elemento.
Para un grupo de Lie compacto conectado no abeliano G, la cohomología del primer grupo del grupo Weyl W con coeficientes en el toro máximo T utilizado para definirlo, [nota 2] está relacionada con el grupo de automorfismo externo del normalizador como: [8 ]
Los automorfismos externos del grupo Out ( G ) son esencialmente los automorfismos del diagrama del diagrama de Dynkin , mientras que la cohomología del grupo se calcula en Hämmerli, Matthey y Suter 2004 y es un grupo 2 abeliano elemental finito ( ); para grupos de Lie simples tiene orden 1, 2 o 4. La cohomología de los grupos 0 y 2 también están estrechamente relacionadas con el normalizador. [8]