¿Cuál es la relación entre las representaciones de los Grupos de Lie y las Álgebras de Lie?

Si GRAMO es un Lie Group, una representación de GRAMO es un par ( ρ , V ) dónde V es un espacio vectorial y ρ : GRAMO GRAMO L ( V ) es un homomorfismo de grupo.

Del mismo modo, si gramo es un álgebra de mentira, una representación de gramo es un homomorfismo de álgebra de mentira ρ : gramo gramo yo ( V ) al Álgebra de mentira de los endomorfismos.

Ahora bien, muchos libros de Física que tratan de la Teoría Cuántica de Campos relacionan inmediatamente las representaciones de los Grupos de Lie y las Álgebras de Lie sin citar el resultado que se está usando ni explicar cómo se usa realmente.

Esto es bastante común para encontrar las representaciones del grupo de Lorentz. S O ( 1 , 3 ) en términos de elementos de su Lie Algebra.

Ahora que los físicos no aclaran esto en los libros, estoy preguntando aquí. ¿Cuál es realmente la relación entre las representaciones de los Grupos de Lie y las Álgebras de Lie que permite encontrar las representaciones del Grupo de Lie en términos de las representaciones del Álgebra de Lie?

Respuestas (2)

Creo que la respuesta a su pregunta se da probablemente desde un punto de vista geométrico. Hay un hermoso teorema del propio Lie y generalmente se lo conoce como el tercer teorema de Lie , y establece algo que hoy en día se reformula de la siguiente manera (sobre los números complejos)

Teorema: Existe una equivalencia entre la categoría de grupos de Lie complejos simplemente conexos y la categoría de álgebras de Lie complejas.

El teorema anterior no es difícil de demostrar y lo que dice de hecho es que cualquier Lie Algebra compleja puede pensarse como el Lie Algebra de algún grupo de Lie. Piensa en un álgebra de mentira compleja gramo , y obtener el grupo generado por { mi X pag ( A ) | A gramo } , adentro GRAMO L norte ( C ) ; con algunos supuestos topológicos razonables tales que admite una cubierta, tome su espacio de cubierta universal (por lo tanto, simplemente conectado). Entonces se puede dotar a esta nueva variedad de una estructura de grupo, por lo que se puede probar que este nuevo grupo de Lie tiene gramo como su álgebra asociada.

Además, debido a la equivalencia obtienes una correspondencia

H o metro C ( gramo , gramo yo norte ( C ) ) = H o metro L i mi ( GRAMO , GRAMO L norte ( C ) ) ,
por lo que las representaciones de una estructura corresponden a las representaciones de la otra.

¡Espero que lo anterior ayude! ¡Salud!

Gracias por la respuesta. Entiéndase que por diferenciación, si π : GRAMO GRAMO L ( V ) es una representación de GRAMO entonces d π : gramo gramo yo ( V ) es una representación del álgebra de Lie gramo . Entonces, una representación de grupo de Lie induce una representación de álgebra de Lie, y sabemos cómo construirla. Pero, ¿por qué lo contrario es cierto? Creo que necesitamos usar el mapa exponencial, pero no todos GRAMO se reconstruye a partir del mapa exponencial si no me equivoco.
De nada, bueno, si entiendo correctamente su pregunta, entonces la respuesta es exactamente la equivalencia de categorías en la respuesta. La representación asociada de gramo está en el grupo de Lie proporcionado por la equivalencia de categorías. Y por construcción se puede ver que significa el espacio de cobertura del grupo de Lie generado por el conjunto de mi X pag ( A ) . La otra dirección de la equivalencia viene dada por la diferenciación como usted señaló.
Lo que quiero decir es que si tienes una representación de un álgebra de mentira arbitraria gramo , entonces el Lie Group asociado es un grupo muy específico construido por este Lie Algebra, y he delineado esta construcción en mi respuesta.

Cada representación lineal de dimensión finita de un grupo de Lie GRAMO en un espacio vectorial V induce una representación de su álgebra de Lie gramo en V . Si X gramo y si v V , definir

X . v = d d t Exp ( t X ) . v | t = 0
Tenga en cuenta que no todas las representaciones de gramo se puede obtener mediante este proceso, aunque esto es realmente cierto si GRAMO resulta ser simplemente conectado.