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 . Existe un teorema estrechamente relacionado que clasifica las representaciones irreducibles de un grupo de Lie compacto conexo . 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. 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  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  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:

 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  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, 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.

El teorema del mayor peso para las representaciones de   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, 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 

 Clasificación de representaciones de dimensión finita de álgebras de Lie

Notas

Referencias

Enlaces externos 

Álgebras de Lie
Teoría de la representación