Representación adjunta

De testwiki
Ir a la navegación Ir a la búsqueda

En matemáticas, la representación adjunta (o acción adjunta) de un grupo de Lie G es una forma de representar los elementos del grupo como transformaciones lineales del álgebra de Lie del grupo, considerado como un espacio vectorial. Por ejemplo, si G es GL(n,) el grupo de Lie de matrices invertibles reales n por n, entonces la representación adjunta ese el homomorfismo de grupo que envía una matriz invertible n por n, siendo g un endomorfismo del espacio vectorial de todas las transformaciones lineales de n definido por xgxg1.

Para cualquier grupo de Lie, esta representación natural se obtiene linealizando (es decir, tomando el diferencial de) la acción de G sobre sí mismo mediante conjugación. La representación adjunta se puede definir para grupos algebraicos lineales sobre campos arbitrarios.

Definición

Sea G un grupo de Lie y sea

Ψ:GAut(G)

ser el mapeo gΨg con Aut(G) el grupo de automorfismo de G y Ψg:GG dado por el automorfismo interno (conjugación)

Ψg(h)=ghg1

Este Ψ es un homomorfismo de grupo de Lie.

Para cada g en G, definido Adg siendo la derivada de Ψg en el origen:

Adg=(dΨg)e:TeGTeG

donde d es el diferencial de g=TeG es el espacio tangente al origen e (e siendo la identidad del elemento del grupo G). Desde Ψg es un automorfismo del grupo Lie, Adg es un Automorfismo álgebra de Lie; una invertible aplicación lineal de g el mismo conserva el Álgebra de Lie. Además, desde que gΨg es un grupo homomorfismo, gAdg también es un homomorfismo de grupo. Por lo tanto, el mapa

Ad:GAut(𝐠),gAdg

es un representación de grupo llamado el representación adjunta de G.

Si G es una Correspondencia grupo de Lie-álgebra de Lie del grupo general GLn() (llamado grupo de Lie lineal inmenso), entonces la álgebra de Lie g consiste en matrices y de Aplicación exponencial (teoría de Lie) es la matrix exponencial exp(X)=ex para matrices X con peqeñas normas operativas. Nosotroa calcularemos la derivada de Ψg de e. Para g en G y pequeña X en 𝐠, la curba texp(tX) a derivado X a t=0, uno entonces obtiene:

Bibliografía

Enlaces externos

Plantilla:Traducido ref

Plantilla:Control de autoridades