Teoría de representación, caracteres y grupos de Lie

Álgebra de Lie de un grupo de Lie

Las álgebras de Lie aparecen al estudiar los grupos de Lie compactos, aunque adquieren entidad propia dada su importancia en el estudio de los grupos y sus representaciones.

Se utilizan, entre otras cosas, para el análisis de esquemas de ruptura de la simetría gauge, al estudiar el modelo quark de los hadrones, en la reducción dimensional de teorías multidimensionales,…

Dado un grupo de Lie podemos asociarle un álgebra de Lie . En este post vamos a ver como.

Sea un campo vectorial en el grupo de Lie . Diremos que el campo es invariante por la izquierda si lo es respecto a los desplazamientos a la izquierda:

con .

Antes de seguir, clarifiquemos el significado de la expresión anterior. Para empezar, si es un elemento del grupo, representan las traslaciones a la izquierda de valor . Como es un campo vectorial, lo que tenemos es una aplicación:

,

donde es la variedad tangente a . Finalmente, para la aplicación:

de las traslaciones a izquierda, podemos construir su aplicación diferencial:

.

De esta manera, todo tiene sentido: como entonces y podemos aplicarle que nos devuelve un elemento de . Por otro lado, y .

Con todo lo visto, dado un grupo de Lie , el subconjunto del conjunto de todos los campos diferenciables en es un subespacio vectorial. Como:

,

entonces es un álgebra de Lie del grupo de Lie con conmutador .

Variedades y métricas

Cuando especificamos una variedad de Riemann escribimos , donde es una variedad diferencial abstracta y es la métrica, una generalización de la primera forma fundamental de las superficies, un tensor. ¿Determina la métrica una variedad? Obviamente no, ya que podemos hablar de variedades (cartas, coordenadas, fibrados tangentes y cotangentes, teoremas de función inversa e implicita, campos vectoriales, campos tensoriales, conexiones, corchetes y derivada de Lie, grupos de Lie, etc.) sin referirnos en ningún momento a métricas. Sin embargo, lo que si que determina es la variedad de Riemann. La métrica nos permite hablar de longitudes, angulos, areas y en general cualquier cantidad íntrinseca de la superficie. Dos variedades extrínsecamentes diferentes son equivalentes desde el punto de vista intrínseco, es decir, desde el punto de vista de los habitantes de la variedad, si las medidas que pueden tomar dentro de la variedad son iguales y, por tanto, indistinguibles por éstos. Desde este punto de vista, que es el nuestro, son indistinguibles.