Teorema del peso máximo
En la teoría de la representación, una rama de las matemáticas, el teorema del peso máximo clasifica las representaciones irreductibles de un álgebra de Lie compleja semisimple .[1][2] Existe un teorema estrechamente relacionado que clasifica las representaciones irreducibles de un grupo de Lie compacto conexo .[3] El teorema establece que existe una biyección
del conjunto de "elementos integrales dominantes" al conjunto de clases de equivalencia de representaciones irreducibles de o . La diferencia entre los dos resultados está en la noción precisa de "integral" en la definición de elemento integral dominante. Si está simplemente conectado, esta distinción desaparece.
El teorema fue demostrado originalmente por Élie Cartan en un artículo de 1913.[4] La versión del teorema para un grupo de Lie compacto se debe a Hermann Weyl. El teorema es una de las piezas clave de la teoría de la representación de álgebras semisimples de Lie.
Declaración
Digamos que es un grupo de Lie compacto conectado con álgebra de Lie y es la complejización de . Digamos que es un toro máximo en con álgebra de Lie . Entonces es una subálgebra de Cartan de , y podemos formar el sistema raíz asociado . La teoría procede entonces de manera muy parecida a como en el caso del álgebra de Lie, con una diferencia crucial: la noción de integralidad es diferente. Específicamente decimos que un elemento es analíticamente integral [5] si
es un número entero para cada raíz . A continuación elegimos un conjunto de raíces positivas y decimos que un elemento es dominante si para todo . Un elemento integral dominante si es a la vez dominante e integral. Finalmente, si y están en , decimos que es mayor [6] que si se puede expresar como una combinación lineal de raíces positivas con coeficientes reales no negativos.
Un peso de una representación de entonces se llama peso más alto si es más alto que cualquier otro peso de .
El teorema del peso más alto establece entonces:[2]
- Si es una representación irreducible de dimensión finita de , entonces tiene un peso máximo único, y este peso máximo es la integral dominante.
- Si dos representaciones irreducibles de dimensión finita tienen el mismo peso máximo, son isomorfas.
- Para cada elemento integral dominante , existe una representación irreducible de dimensión finita con mayor peso .
La parte más difícil es la última, la construcción de una representación irreducible de dimensión finita con un peso máximo prescrito.
El caso del grupo compacto
Tomemos un álgebra de Lie compleja semisimple de dimensión finita con subálgebra de Cartan . Tomemos como sistema raíz. Entonces decimos que un elemento es integral [7] si
es un número entero siempre que
donde es el elemento de identidad de . Todo elemento analíticamente integral es integral en el sentido del álgebra de Lie,[8] pero puede haber elementos integrales en el sentido del álgebra de Lie que no son analíticamente integrales. Esta distinción refleja el hecho de que si no está simplemente conectado, puede haber representaciones de que no provienen de representaciones de . Por otra parte, si está simplemente conectado, las nociones de "integral" y "analíticamente integral" coinciden.[3]
El teorema del mayor peso para las representaciones de [9] es entonces lo mismo que en el caso del álgebra de Lie, excepto que "integral" se reemplaza por "analíticamente integral".
Pruebas
Hay al menos cuatro pruebas:
- La prueba original de Hermann Weyl desde el punto de vista del grupo compacto,[10] basada en la fórmula del carácter de Weyl y el teorema de Peter-Weyl.
- La teoría de los módulos Verma contiene el teorema de mayor peso. Éste es el enfoque adoptado en muchos libros de texto estándar.
- El teorema de Borel-Weil-Bott construye una representación irreducible como el espacio de secciones globales de un paquete de líneas amplio, como consecuencia se obtiene el teorema del peso más alto (el enfoque utiliza bastante geometría algebraica, pero produce una demostración muy rápida).
- El enfoque teórico invariante: se construyen representaciones irreducibles como subrepresentaciones de una potencia tensorial de las representaciones estándar. Este enfoque se debe esencialmente a Hermann Weyl y funciona bastante bien para grupos clásicos.
Véase también
Notas
- ↑ Dixmier, 1996, Theorem 7.2.6.
- ↑ a b Hall, 2015 Theorems 9.4 and 9.5
- ↑ a b Hall, 2015 Teorema 12.6
- ↑ Knapp, A. W. (2003). «Reviewed work: Matrix Groups: An Introduction to Lie Group Theory, Andrew Baker; Lie Groups: An Introduction through Linear Groups, Wulf Rossmann». The American Mathematical Monthly (en inglés) 110 (5): 446-455. doi:10.2307/3647845.
- ↑ Hall, 2015 Definición 12.4
- ↑ Hall, 2015 Sección 8.8
- ↑ Hall, 2015 Sección 8.7
- ↑ Hall, 2015 Proposición 12.7
- ↑ Hall, 2015 Corolario 13.20
- ↑ Hall, 2015 Capítulo 12
Referencias
- Dixmier, Jacques (1996) [1974], Enveloping algebras, Graduate Studies in Mathematics 11, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-0560-2 .
- Hall, Brian C. (2015), Lie groups, Lie algebras, and representations: An elementary introduction (en inglés) 222, Springer, ISBN 978-3319134666 .
- Humphreys, James E. (1972), Introduction to Lie Algebras and Representation Theory, Birkhäuser, ISBN 978-0-387-90053-7 .
Enlaces externos
- Esta obra contiene una traducción derivada de «Theorem of the highest weight» de Wikipedia en inglés, publicada por sus editores bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual 4.0 Internacional.
Datos: Q56276831