Si es un Lie Group, una representación de es un par dónde es un espacio vectorial y es un homomorfismo de grupo.
Del mismo modo, si es un álgebra de mentira, una representación de es un homomorfismo de álgebra de mentira 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. 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?
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 , y obtener el grupo generado por , adentro ; 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 como su álgebra asociada.
Además, debido a la equivalencia obtienes una correspondencia
¡Espero que lo anterior ayude! ¡Salud!
Cada representación lineal de dimensión finita de un grupo de Lie en un espacio vectorial induce una representación de su álgebra de Lie en . Si y si , definir
Oro
usuario321268
usuario321268