# 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 ${\mathfrak {g}}$. Existe un teorema estrechamente relacionado que clasifica las representaciones irreducibles de un grupo de Lie compacto conexo $K$. El teorema establece que existe una biyección
    $\lambda \mapsto [V^{\lambda }]$
del conjunto de "elementos integrales dominantes" al conjunto de clases de equivalencia de representaciones irreducibles de ${\mathfrak {g}}$ o $K$. La diferencia entre los dos resultados está en la noción precisa de "integral" en la definición de elemento integral dominante. Si $K$ 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 $K$ es un grupo de Lie compacto conectado con álgebra de Lie ${\mathfrak {k}}$ y ${\mathfrak {g}}:={\mathfrak {k}}+i{\mathfrak {k}}$ es la complejización de ${\mathfrak {g}}$. Digamos que $T$ es un toro máximo en $K$ con álgebra de Lie ${\mathfrak {t}}$. Entonces ${\mathfrak {h}}:={\mathfrak {t}}+i{\mathfrak {t}}$ es una subálgebra de Cartan de ${\mathfrak {g}}$, y podemos formar el sistema raíz asociado $R$. 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 $\lambda \in {\mathfrak {h}}$ es analíticamente integral si
    $2{\frac {\langle \lambda ,\alpha \rangle }{\langle \alpha ,\alpha \rangle }}$
es un número entero para cada raíz $\alpha$. A continuación elegimos un conjunto $R^{+}$ de raíces positivas y decimos que un elemento $\lambda \in {\mathfrak {h}}^{*}$ es dominante si $\langle \lambda ,\alpha \rangle \geq 0$ para todo $\alpha \in R^{+}$. Un elemento $\lambda \in {\mathfrak {h}}^{*}$ integral dominante si es a la vez dominante e integral. Finalmente, si $\lambda$ y $\mu$ están en ${\mathfrak {h}}^{*}$, decimos que $\lambda$ es mayor que $\mu$ si $\lambda -\mu$ se puede expresar como una combinación lineal de raíces positivas con coeficientes reales no negativos.
Un peso $\lambda$ de una representación $V$ de ${\mathfrak {g}}$ entonces se llama peso más alto si $\lambda$ es más alto que cualquier otro peso $\mu$ de $V$ .
El teorema del peso más alto establece entonces:
* Si $V$ es una representación irreducible de dimensión finita de ${\mathfrak {g}}$, entonces $V$ 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 $\lambda$, existe una representación irreducible de dimensión finita con mayor peso $\lambda$ .
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 ${\mathfrak {g}}$ un álgebra de Lie compleja semisimple de dimensión finita con subálgebra de Cartan ${\mathfrak {h}}$ . Tomemos $R$ como sistema raíz. Entonces decimos que un elemento $\lambda \in {\mathfrak {h}}^{*}$ es integral si
    $\langle \lambda ,H\rangle$
es un número entero siempre que
    $e^{2\pi H}=I$
donde $I$ es el elemento de identidad de $K$. 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 $K$ no está simplemente conectado, puede haber representaciones de ${\mathfrak {g}}$ que no provienen de representaciones de $K$. Por otra parte, si $K$ está simplemente conectado, las nociones de "integral" y "analíticamente integral" coinciden.
El teorema del mayor peso para las representaciones de $K$ 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.