Correspondencia grupo de Lie-álgebra de Lie

En matemáticas, la correspondencia entre el grupo de Lie y el álgebra de Lie permite estudiar los grupos de Lie, que son objetos geométricos, en términos de álgebras de Lie, que son objetos lineales. En este artículo, cuando se habla de un grupo de Lie se hace referencia a un grupo de Lie real. Para los casos complejos y p-ádicos, véase el grupo de Lie complejo y el grupo de Lie p-ádico.

En este artículo, se supone que las variedades (en particular, los grupos de Lie) son los segundos numerables; en particular, tienen como máximo varios componentes conectados.

Conceptos esenciales

El álgebra de Lie de un grupo de Lie

Hay varias maneras en las que se puede entender la construcción del álgebra de Lie de un grupo de Lie G. Un enfoque utiliza campos vectoriales invariantes a la izquierda. Se dice que un campo vectorial X en G es invariante bajo las traslaciones a la izquierda si, para cualquier g, h en G cumple que

$(d{l}_g{)}_h(X_h)=X_{gh}$

donde $l_g:G\to G,x\mapsto gx$ y $(d{l}_g{)}_h:T_{h}G\to T_{gh}G$ es el diferencial de $l_g$ entre espacios tangentes (en otras palabras, $l_g$ está relacionado con sí mismo para cualquier g en G).

Sea $\mathrm{Lie}(G)$ el conjunto de todos los campos vectoriales invariantes de traslación izquierda en G, que es un espacio vectorial real. Además, está cerrado bajo el soporte de Lie; es decir, $[X,Y]$ es invariante de traslación izquierda si X, Y lo son. Así, $\mathrm{Lie}(G)$ es un subálgebra de Lie del álgebra de Lie de todos los campos vectoriales en G y se llama álgebra de Lie de G. Se puede entender esto más concretamente identificando el espacio de los campos vectoriales invariantes izquierdos con el espacio tangente en la identidad, de la siguiente manera: dado un campo vectorial invariante izquierdo, se puede tomar su valor en la identidad y obtener un vector tangente en la identidad, es posible extenderlo a un campo vectorial invariante a la izquierda. Por lo tanto, el álgebra de Lie puede considerarse como el espacio tangente en la identidad y el soporte de X e Y en $T_{e}G$ se puede calcular extendiéndolos a campos vectoriales invariantes a la izquierda, tomando el conmutador de los campos vectoriales y luego evaluando la identidad.

También hay otra encarnación de $\mathrm{Lie}(G)$ como el álgebra de Lie de elementos primitivos del álgebra de Hopf de distribuciones en G con soporte en el elemento de identidad; para esto, véanse las construcciones relacionadas a continuación.

Grupos de Lie matriciales

Supóngase que G es un subgrupo cerrado de GL(n;C) y, por lo tanto, un grupo de Lie, según el teorema de los subgrupos cerrados. Entonces el álgebra de Lie de G puede calcularse como

$\mathrm{Lie}(G)=\{X\in M(n;ℂ)|e^{tX}\in G\text{ for all }t\in ℝ\}.$

Por ejemplo, se puede usar el criterio para establecer la correspondencia para grupos compactos clásicos (véase la tabla con "grupos de Lie compactos" a continuación)

Homomorfismos

Si

$f:G\to H$

es un homomorfismo de grupo de Lie, entonces su diferencial en el elemento de identidad

$df=d{f}_e:\mathrm{Lie}(G)\to \mathrm{Lie}(H)$

es un homomorfismo de álgebra de Lie (los paréntesis van a paréntesis), que tiene las siguientes propiedades:

• $\mathrm{e}\mathrm{x}\mathrm{p}(df(X))=f(\mathrm{e}\mathrm{x}\mathrm{p}(X))$ para todas las X en Lie(G), donde "exp" es la aplicación exponencial
• $\mathrm{Lie}(\ker (f))=\ker (df)$.
• Si la imagen de f está cerrada, entonces $\mathrm{Lie}(\mathrm{im}(f))=\mathrm{im}(df)$ y el primer teorema del isomorfismo es válido: f induce el isomorfismo de los grupos de Lie:

$G/\ker (f)\to \mathrm{im}(f)$ .

• La regla de la cadena asegura que: si $f:G\to H$ y $g:H\to K$ son homomorfismos de grupo de Lie, entonces $d(g\circ f)=(dg)\circ (df).$

En particular, si H es un subgrupo cerrado de un grupo de Lie G, entonces $\mathrm{Lie}(H)$ es un subalgebra de Lie de $\mathrm{Lie}(G)$. Además, si f es inyectiva, entonces f es una inmersión y, por lo tanto, se dice que G es un subgrupo inmerso (Lie) de H. Por ejemplo, $G/\ker (f)$ es un subgrupo inmerso de H. Si f es sobreyectiva, entonces f es una submersión y si, además, G es compacto, entonces f es un paquete principal con el grupo de estructuras de su núcleo (lema de Ehresmann).

Otras propiedades

Sea $G=G_1\times \cdots \times G_r$ un producto directo de los grupos de Lie y $p_i:G\to G_i$ proyecciones. Entonces los diferenciales $d{p}_i:\mathrm{Lie}(G)\to \mathrm{Lie}(G_i)$ dan la identificación canónica:

$\mathrm{Lie}(G_1\times \cdots \times G_r)=\mathrm{Lie}(G_1)\oplus \cdots \oplus \mathrm{Lie}(G_r)$ .

Si $H,H^{\prime }$ son subgrupos de Lie de un grupo de Lie, entonces $\mathrm{Lie}(H\cap H^{\prime })=\mathrm{Lie}(H)\cap \mathrm{Lie}(H^{\prime }).$

Sea G un grupo de Lie conectado. Si H es un grupo de Lie, entonces cualquier homomorfismo de grupo de Lie $f:G\to H$ está determinado únicamente por su diferencial $df$ . Precisamente, existe la aplicación exponencial $\exp :\mathrm{Lie}(G)\to G$ (y una para H) tal que $f(\exp (X))=\exp (df(X))$ y, dado que G está conectado, esto determina f únicamente. En general, si U es una vecindad del elemento de identidad en un grupo topológico conectado G, entonces $\bigcup _{n>0}{U}^n$ coincide con G, ya que el primero es un subgrupo abierto (por lo tanto cerrado). Ahora, $\exp :\mathrm{Lie}(G)\to G$ define un homeomorfismo local desde una vecindad del vector cero hasta la vecindad del elemento de identidad. Por ejemplo, si G es el grupo de Lie de matrices cuadradas reales invertibles de tamaño n (grupo lineal general), entonces $\mathrm{Lie}(G)$ es el álgebra de Lie de matrices cuadradas reales de tamaño n, y $\exp (X)=e^X=\sum _0^{\mathrm{\infty }}{X}^j/j!$ .

Correspondencia

La correspondencia entre los grupos de Lie y las álgebras de Lie incluye los siguientes tres resultados principales:

• Tercer teorema de Lie: cada álgebra de Lie real de dimensión finita es el álgebra de Lie de algún grupo de Lie simplemente conectado.
• El teorema de los homomorfismos: si $\varphi :\mathrm{Lie}(G)\to \mathrm{Lie}(H)$ es un homomorfismo de álgebra de Lie y si G está simplemente conectado, entonces existe un homomorfismo de grupo de Lie (único) $f:G\to H$ tal que $\varphi =df$ .
• El teorema de subgrupos-subálgebras: si G es un grupo de Lie y $𝔥$ es un subalgebra de Lie de $\mathrm{Lie}(G)$, entonces hay un subgrupo de Lie único conectado (no necesariamente cerrado) H de G con álgebra de Lie $𝔥$.

En la segunda parte de la correspondencia, no se puede omitir la suposición de que G está simplemente conectado. Por ejemplo, las álgebras de Lie de SO(3) y SU(2) son isomorfas, pero no hay un homomorfismo correspondiente de SO(3) en SU(2). Más bien, el homomorfismo va del grupo simplemente conectado SU(2) al grupo no simplemente conectado SO(3). Si G y H están ambos simplemente conectados y tienen álgebras de Lie isomorfas, el resultado anterior permite demostrar que G y H son isomorfas. Un método para construir f es usar la fórmula de Baker-Campbell-Hausdorff.

Prueba del tercer teorema de Lie

Quizás la prueba más elegante del primer resultado anterior utiliza el teorema de Ado, que dice que cualquier álgebra de Lie de dimensión finita (sobre un campo de cualquier característica) es un subalgebra de Lie del álgebra de Lie ${𝔤𝔩}_n$ de matrices cuadradas. La prueba es la siguiente: según el teorema de Ado, se supone que $𝔤\subset {𝔤𝔩}_n(ℝ)=\mathrm{Lie}(G{L}_n(ℝ))$ es un subalgebra de Lie. Sea G el subgrupo de $G{L}_n(ℝ)$ generado por $e^{𝔤}$ y sea $\tilde{G}$ ser un recubrimiento simplemente conexo de G; no es difícil demostrar que $\tilde{G}$ es un grupo de Lie y que la aplicación de recubrimiento es un homomorfismo del grupo de Lie. Dado que $T_e\tilde{G}=T_{e}G=𝔤$, se completa la prueba.

Ejemplo: cada elemento X en el álgebra de Lie $𝔤=\mathrm{Lie}(G)$ da lugar al homomorfismo del álgebra de Lie

$ℝ\to 𝔤,t\mapsto tX.$

Según el tercer teorema de Lie, como $\mathrm{Lie}(ℝ)=T_0ℝ=ℝ$, y su exp es la identidad, este homomorfismo es el diferencial del homomorfismo del grupo Lie $ℝ\to H$ para algunos subgrupos sumergidos H de G. Este homomorfismo de grupo de Lie, llamado subgrupo uniparamétrico generado por X, es precisamente el mapa exponencial $t\mapsto \exp (tX)$ y H su imagen. Lo anterior se puede resumir en que existe una correspondencia biyectiva canónica entre $𝔤$ y el conjunto de subgrupos uniparamétricos de G.

Prueba del teorema de homomorfismos

Un enfoque para probar la segunda parte de la correspondencia del grupo de Lie-álgebra de Lie (el teorema de los homomorfismos) es utilizar la fórmula de Baker-Campbell-Hausdorff, como en la Sección 5.7 del libro de Hall. Específicamente, dado el homomorfismo del álgebra de Lie $\varphi$ desde $\mathrm{Lie}(G)$ a $\mathrm{Lie}(H)$, se puede definir $f:G\to H$ localmente (es decir, en un vecindario de la identidad) por la fórmula

$f(e^X)=e^{\varphi (X)}$ ,

dónde $e^X$ es el mapa exponencial de G, que tiene un inverso definido cerca de la identidad. Ahora, afirmando que f es un homomorfismo local. Por lo tanto, dados dos elementos cerca de la identidad $e^X$ y $e^Y$ (con X e Y pequeños), consideramos su producto $e^X{e}^Y$. De acuerdo con la fórmula de Baker-Campbell-Hausdorff, se tiene que $e^X{e}^Y=e^Z$, donde

$Z=X+Y+\frac{1}{2}[X,Y]+\frac{1}{12}[X,[X,Y]]+\cdots$ ,

con $\cdots$ indicando otros términos expresados como conmutadores repetidos que involucran a X e Y. Así,

$f(e^X{e}^Y)=f(e^Z)=e^{\varphi (Z)}=e^{\varphi (X)+\varphi (Y)+\frac{1}{2}[\varphi (X),\varphi (Y)]+\frac{1}{12}[\varphi (X),[\varphi (X),\varphi (Y)]]+\cdots },$

porque $\varphi$ es un homomorfismo del álgebra de Lie. Usando la fórmula Baker-Campbell-Hausdorff nuevamente, esta vez para el grupo H, se ve que esta última expresión se convierte en $e^{\varphi (X)}{e}^{\varphi (Y)}$ y por lo tanto se tiene que

$f(e^X{e}^Y)=e^{\varphi (X)}{e}^{\varphi (Y)}=f(e^X)f(e^Y).$

Por lo tanto, f tiene la propiedad de homomorfismo, al menos cuando X e Y son suficientemente pequeños. Es importante enfatizar que este argumento es solo local, ya que la aplicación exponencial solo es invertible en un pequeño vecindario de la identidad en G y dado que la fórmula de Baker-Campbell-Hausdorff solo se cumple si X e Y son pequeños. Téngase en cuenta también que todavía no se ha utilizado la suposición de que G esté simplemente conectado.

La siguiente etapa en el argumento es extender f de un homomorfismo local a uno global. La extensión se realiza definiendo f a lo largo de una ruta y luego usando la conexión simple de G para mostrar que la definición es independiente de la elección de la ruta.

Representaciones de grupos de Lie

Un caso especial de correspondencia de Lie es una correspondencia entre representaciones de dimensiones finitas de un grupo de Lie y representaciones del álgebra de Lie asociada.

El grupo lineal general $G{L}_n(ℂ)$ es un grupo de Lie (real) y cualquier homomorfismo del grupo de Lie

$\pi :G\to G{L}_n(ℂ)$

se llama una representación del grupo de Lie G. El diferencial

$d\pi :𝔤\to {𝔤𝔩}_n(ℂ)$ ,

es entonces un homomorfismo del álgebra de Lie llamado representación del álgebra de Lie (el diferencial $d\pi$ a menudo simplemente se denota por $\pi$).

El teorema de los homomorfismos (mencionado anteriormente como parte de la correspondencia del grupo de Lie-álgebra de Lie) dice que si $G$ es el grupo de Lie simplemente conectado cuyo álgebra de Lie es $𝔤$, cada representación de $𝔤$ proviene de una representación de G. La suposición de que G debe estar simplemente conectado es esencial. Considérese, por ejemplo, el grupo de rotación SO(3), que no está simplemente conectado. Hay una representación irreducible del álgebra de Lie en cada dimensión, pero solo las representaciones de dimensiones impares del álgebra de Lie provienen de representaciones del grupo. Esta observación está relacionada con la distinción entre giro entero y giro medio entero en mecánica cuántica. Por otro lado, el grupo SU(2) simplemente está conectado con el álgebra de Lie isomorfo al de SO(3), por lo que cada representación del álgebra de Lie de SO(3) da lugar a una representación de SU(2).

Representación adjunta

Un ejemplo de una representación de grupo de Lie es la representación adjunta de un grupo de Lie G; cada elemento g en un grupo de Lie G define un automorfismo de G por conjugación: $c_g(h)=gh{g}^{-1}$; el diferencial $d{c}_g$ es entonces un automorfismo del álgebra de Lie $𝔤$. De esta manera, se obtiene una representación $\mathrm{Ad}:G\to GL(𝔤),g\mapsto d{c}_g$, llamada la representación adjunta. El correspondiente homomorfismo del álgebra de Lie $𝔤\to 𝔤𝔩(𝔤)$ se llama la representación adjunta de $𝔤$ y se denota por $\mathrm{ad}$. Se puede demostrar que $\mathrm{ad}(X)(Y)=[X,Y]$, lo que en particular implica que el soporte de Lie $𝔤$ está determinado por la ley de grupo sobre G.

Según el tercer teorema de Lie, existe un subgrupo $\mathrm{Int}(𝔤)$ de $GL(𝔤)$ al que pertenece el álgebra de Lie $\mathrm{ad}(𝔤)$. $\mathrm{Int}(𝔤)$ (en general no es un subgrupo cerrado; solo un subgrupo inmerso). Se llama el grupo adjunto de $𝔤$. Si G está conectado, se ajusta a la secuencia exacta:

$0\to Z(G)\to G\stackrel{\mathrm{Ad}}{\to }\mathrm{Int}(𝔤)\to 0$

donde $Z(G)$ es el centro de G. Si el centro de G es discreto, entonces Ad es aquí una aplicación de recubrimiento.

Sea G un grupo de Lie conectado. Entonces G es unimodular si y solo si $\det (\mathrm{Ad}(g))=1$ para todo g en G.

Supóngase que G sea un grupo de Lie que actúa sobre una variedad X y sea G_x el estabilizador de un punto x en X. A su vez, $\rho (x):G\to X,g\mapsto g\cdot x$ . Entonces

• $\mathrm{Lie}(G_x)=\ker (d\rho (x):T_{e}G\to T_{x}X)$ .
• Si la órbita $G\cdot x$ está cerrada localmente, entonces la órbita es una subvariedad de X y $T_x(G\cdot x)=\mathrm{im}(d\rho (x):T_{e}G\to T_{x}X)$.

Para un subconjunto A de $𝔤$ o G, sea

${𝔷}_{𝔤}(A)=\{X\in 𝔤|\mathrm{ad}(a)X=0\text{ or }\mathrm{Ad}(a)X=0\text{ for all }a\text{ in }A\}$

$Z_G(A)=\{g\in G|\mathrm{Ad}(g)a=0\text{ or }ga=ag\text{ for all }a\text{ in }A\}$

que son el centralizador de álgebra de Lie y el centralizador de grupo de Lie de A. Luego $\mathrm{Lie}(Z_G(A))={𝔷}_{𝔤}(A)$.

Si H es un subgrupo conectado de G cerrado, entonces H es normal si y solo si $\mathrm{Lie}(H)$ es un ideal y en tal caso $\mathrm{Lie}(G/H)=\mathrm{Lie}(G)/\mathrm{Lie}(H)$.

Grupos de Lie abelianos

Sea G un grupo de Lie conectado. Dado que el álgebra de Lie del centro de G es el centro del álgebra de Lie de G (véase el § anterior), G es abeliano si y solo si su álgebra de Lie es abeliana.

Si G es abeliano, entonces la aplicación exponencial $\exp :𝔤\to G$ es un grupo de homomorfismo suryectivo. Su núcleo es un grupo discreto (ya que su dimensión es cero) llamado la red entera de G y se denota por $\mathrm{\Gamma }$. Según el primer teorema del isomorfismo, $\exp$ induce el isomorfismo $𝔤/\mathrm{\Gamma }\to G$ .

Por el argumento de rigidez, el grupo fundamental ${\pi }_1(G)$ de un grupo de Lie conectado G es un subgrupo central de un recubrimiento simplemente conectado $\tilde{G}$ de G; en otras palabras, G encaja en la extensión central

$1\to {\pi }_1(G)\to \tilde{G}\stackrel{p}{\to }G\to 1.$

Equivalentemente, dado un álgebra de Lie $𝔤$ y un grupo de Lie simplemente conectado $\tilde{G}$ cuya álgebra de Lie es $𝔤$, hay una correspondencia uno a uno entre cocientes de $\tilde{G}$ por subgrupos centrales discretos y grupos de Lie conectados que tienen álgebra de Lie $𝔤$.

Para el caso complejo, los toros complejos son importantes; véase el grupo de Lie complejo para este tema.

Grupos de Lie compactos

Sea G un grupo de Lie conectado con un centro finito. Entonces, las afirmaciones siguientes son equivalentes:

• G es compacto.
• (Weyl) El recubrimiento simplemente conectado $\tilde{G}$ de G es compacto.
• El grupo adjunto $\mathrm{Int}𝔤$ es compacto.
• Existe una incrustación $G\hookrightarrow O(n,ℝ)$ como un subgrupo cerrado.
• La forma de Killing en $𝔤$ es negativa definida.
• Por cada X en $𝔤$, $\mathrm{ad}(X)$ es diagonalizable y tiene cero o valores propios puramente imaginarios.
• Existe un producto interno invariante en $𝔤$ .

Es importante enfatizar que la equivalencia de las condiciones anteriores se cumple solo bajo el supuesto de que G tiene un centro finito. Así, por ejemplo, si G es compacto con centro finito, el recubrimiento universal $\tilde{G}$ también es compacto. Claramente, esta conclusión no se cumple si G tiene un centro infinito, por ejemplo, si $G=S^1$. Téngase en cuenta también que las últimas tres condiciones anteriores son puramente de naturaleza algebraica.

Grupo compacto de Lie	Complejización del álgebra de Lie asociada	Sistema raíz
SU (n + 1) $=\{A\in M_{n+1}(ℂ)|{\bar{A}}^{\mathrm{T}}A=I,\det (A)=1\}$	$𝔰𝔩(n+1,ℂ)$ $=\{X\in M_{n+1}(ℂ)|\mathrm{tr}X=0\}$	An
SO(2n+1) $=\{A\in M_{2n+1}(ℝ)|A^{\mathrm{T}}A=I,\det (A)=1\}$	$𝔰𝔬(2n+1,ℂ)$ $=\{X\in M_{2n+1}(ℂ)|X^{\mathrm{T}}+X=0\}$	Bn
Sp(n) $=\{A\in U(2n)|A^{\mathrm{T}}JA=J\},J=\left[\begin{array}{cc}0& I_n\\ -I_n& 0\end{array}\right]$	$𝔰𝔭(n,ℂ)$ $=\{X\in M_{2n}(ℂ)|X^{\mathrm{T}}J+JX=0\}$	Cn
SO (2n) $=\{A\in M_{2n}(ℝ)|A^{\mathrm{T}}A=I,\det (A)=1\}$	$𝔰𝔬(2n,ℂ)$ $=\{X\in M_{2n}(ℂ)|X^{\mathrm{T}}+X=0\}$	Dn

Si G es un grupo de Lie compacto, entonces

$H^k(𝔤;ℝ)=H_{\text{dR}}(G)$

donde el lado izquierdo es la cohomología del álgebra de Lie de $𝔤$ y el lado derecho es la cohomología de G de De Rham (aproximadamente, esto es una consecuencia del hecho de que cualquier forma diferencial en G puede hacerse invariable por el argumento del promedio).

Construcciones relacionadas

Sea G un grupo de Lie. El álgebra de Lie asociada $\mathrm{Lie}(G)$ de G puede definirse alternativamente como sigue. Sea $A(G)$ el álgebra de distribuciones en G con soporte en el elemento de identidad con la multiplicación dada por convolución. $A(G)$ es de hecho un álgebra de Hopf. El álgebra de Lie de G es entonces $𝔤=\mathrm{Lie}(G)=P(A(G))$, el álgebra de Lie de elementos primitivos en $A(G)$. Según el teorema de Milnor-Moore, existe el isomorfismo canónico $U(𝔤)=A(G)$ entre el álgebra envolvente universal de $𝔤$ y $A(G)$.

Véase también

• Álgebra de Lie compacta
• Teorema de Milnor-Moore
• Grupo formal
• Álgebra de Malcev Lie
• Distribución en un grupo algebraico lineal

Bibliografía

• Plantilla:Citation
• Plantilla:Citation
• Plantilla:Citation.
• Plantilla:Citation

Enlaces externos

• Notes for Math 261A Lie groups and Lie algebras
• Plantilla:Springer
• Formal Lie theory in characteristic zero, a blog post by Akhil Mathew