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

Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle (dl_g)_h(X_h) = X_{gh}}

donde $l_{g}:G\to G,x\mapsto gx$ y Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle (dl_g)_h: T_h G \to T_{gh} G} es el diferencial de Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle l_g} entre espacios tangentes (en otras palabras, $l_{g}$ está relacionado con sí mismo para cualquier g en G).

Sea $\operatorname {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, Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle [X, Y]} es invariante de traslación izquierda si X, Y lo son. Así, Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle \operatorname{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 Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle \operatorname{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

\operatorname {Lie} (G)=\{X\in M(n;\mathbb {C} )|e^{tX}\in G{\text{ for all }}t\in \mathbb {\mathbb {R} } \}.

[1] [2]

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=df_{e}:\operatorname {Lie} (G)\to \operatorname {Lie} (H)

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

Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle \mathrm{exp}(df(X))=f(\mathrm{exp}(X))} para todas las X en Lie(G), donde "exp" es la aplicación exponencial
$\operatorname {Lie} (\operatorname {ker} (f))=\operatorname {ker} (df)$ .[3]
Si la imagen de f está cerrada,[4] entonces Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle \operatorname{Lie}(\operatorname{im}(f)) = \operatorname{im}(df)} [5] y el primer teorema del isomorfismo es válido: f induce el isomorfismo de los grupos de Lie:

Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle G/\operatorname{ker}(f) \to \operatorname{im}(f)} .

La regla de la cadena asegura que: si Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle f: G \to H} y $g:H\to K$ son homomorfismos de grupo de Lie, entonces Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle d(g \circ f) = (dg) \circ (df).}

En particular, si H es un subgrupo cerrado[6] de un grupo de Lie G, entonces $\operatorname {Lie} (H)$ es un subalgebra de Lie de Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle \operatorname{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/\operatorname {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 $dp_{i}:\operatorname {Lie} (G)\to \operatorname {Lie} (G_{i})$ dan la identificación canónica:

\operatorname {Lie} (G_{1}\times \cdots \times G_{r})=\operatorname {Lie} (G_{1})\oplus \cdots \oplus \operatorname {Lie} (G_{r})

.

Si Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle H, H'} son subgrupos de Lie de un grupo de Lie, entonces Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle \operatorname{Lie}(H \cap H') = \operatorname{Lie}(H) \cap \operatorname{Lie}(H').}

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 Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle df} . Precisamente, existe la aplicación exponencial $\operatorname {exp$ (y una para H) tal que $f(\operatorname {exp} (X))=\operatorname {exp} (df(X))$ y, dado que G está conectado, esto determina f únicamente.[7] En general, si U es una vecindad del elemento de identidad en un grupo topológico conectado G, entonces Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle \bigcup_{n > 0} U^n} coincide con G, ya que el primero es un subgrupo abierto (por lo tanto cerrado). Ahora, Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle \operatorname{exp}: \operatorname{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 Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle \operatorname{Lie}(G)} es el álgebra de Lie de matrices cuadradas reales de tamaño n, y $\displaystyle \exp(X)=e^{X}=\sum _{0}^{\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.[8]
El teorema de los homomorfismos: si Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle \phi: \operatorname{Lie}(G) \to \operatorname{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 Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle \phi = df} .[9]
El teorema de subgrupos-subálgebras: si G es un grupo de Lie y Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle \mathfrak{h}} es un subalgebra de Lie de Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle \operatorname{Lie}(G)} , entonces hay un subgrupo de Lie único conectado (no necesariamente cerrado) H de G con álgebra de Lie ${\mathfrak {h}}$ .[10]

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,[11] pero no hay un homomorfismo correspondiente de SO(3) en SU(2).[12] Más bien, el homomorfismo va del grupo simplemente conectado SU(2) al grupo no simplemente conectado SO(3).[13] 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.[14] Un método para construir f es usar la fórmula de Baker-Campbell-Hausdorff.[15]

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 Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle \mathfrak{gl}_n} de matrices cuadradas. La prueba es la siguiente: según el teorema de Ado, se supone que ${\mathfrak {g}}\subset {\mathfrak {gl}}_{n}(\mathbb {R} )=\operatorname {Lie} (GL_{n}(\mathbb {R} ))$ es un subalgebra de Lie. Sea G el subgrupo de $GL_{n}(\mathbb {R} )$ generado por $e^{\mathfrak {g}}$ y sea Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle \widetilde{G}} ser un recubrimiento simplemente conexo de G; no es difícil demostrar que ${\widetilde {G}}$ es un grupo de Lie y que la aplicación de recubrimiento es un homomorfismo del grupo de Lie. Dado que Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle T_e \widetilde{G} = T_e G = \mathfrak{g}} , se completa la prueba.

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

Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle \mathbb{R} \to \mathfrak{g}, \, t \mapsto tX.}

Según el tercer teorema de Lie, como $\operatorname {Lie} (\mathbb {R} )=T_{0}\mathbb {R} =\mathbb {R}$ , y su exp es la identidad, este homomorfismo es el diferencial del homomorfismo del grupo Lie Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle \mathbb{R} \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 \operatorname {exp} (tX)$ y H su imagen. Lo anterior se puede resumir en que existe una correspondencia biyectiva canónica entre ${\mathfrak {g}}$ y el conjunto de subgrupos uniparamétricos de G.[16]

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.[17] Específicamente, dado el homomorfismo del álgebra de Lie Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): \phi desde Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle \operatorname{Lie}(G)} a $\operatorname {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^{\phi (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^{\phi (Z)}=e^{\phi (X)+\phi (Y)+{\frac {1}{2}}[\phi (X),\phi (Y)]+{\frac {1}{12}}[\phi (X),[\phi (X),\phi (Y)]]+\cdots },

porque $\phi$ 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^{\phi (X)}e^{\phi (Y)}$ y por lo tanto se tiene que

f(e^{X}e^{Y})=e^{\phi (X)}e^{\phi (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 $GL_{n}(\mathbb {C} )$ es un grupo de Lie (real) y cualquier homomorfismo del grupo de Lie

\pi :G\to GL_{n}(\mathbb {C} )

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

{\displaystyle d\pi

,

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 ${\mathfrak {g}}$ , cada representación de ${\mathfrak {g}}$ 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.[18] 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: Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle c_g(h) = ghg^{-1}} ; el diferencial $dc_{g}$ es entonces un automorfismo del álgebra de Lie ${\mathfrak {g}}$ . De esta manera, se obtiene una representación $\operatorname {Ad} :G\to GL({\mathfrak {g}}),\,g\mapsto dc_{g}$ , llamada la representación adjunta. El correspondiente homomorfismo del álgebra de Lie ${\mathfrak {g}}\to {\mathfrak {gl}}({\mathfrak {g}})$ se llama la representación adjunta de Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\mathfrak {g}} y se denota por Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle \operatorname{ad}} . Se puede demostrar que $\operatorname {ad} (X)(Y)=[X,Y]$ , lo que en particular implica que el soporte de Lie Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\mathfrak {g}} está determinado por la ley de grupo sobre G.

Según el tercer teorema de Lie, existe un subgrupo $\operatorname {Int} ({\mathfrak {g}})$ de $GL({\mathfrak {g}})$ al que pertenece el álgebra de Lie $\operatorname {ad} ({\mathfrak {g}})$ . Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle \operatorname{Int}(\mathfrak{g})} (en general no es un subgrupo cerrado; solo un subgrupo inmerso). Se llama el grupo adjunto de ${\mathfrak {g}}$ .[19] Si G está conectado, se ajusta a la secuencia exacta:

0\to Z(G)\to G{\overset {\operatorname {Ad} }{\to }}\operatorname {Int} ({\mathfrak {g}})\to 0

donde Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle 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 Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle \operatorname{det}(\operatorname{Ad}(g)) = 1} para todo g en G.[20]

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

Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle \operatorname{Lie}(G_x) = \operatorname{ker}(d \rho(x): T_eG \to T_x X)} .
Si la órbita Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle G \cdot x} está cerrada localmente, entonces la órbita es una subvariedad de X y Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle T_x (G \cdot x) = \operatorname{im}(d \rho(x): T_eG \to T_x X)} .[21]

Para un subconjunto A de Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\mathfrak {g}} o G, sea

{\mathfrak {z}}_{\mathfrak {g}}(A)=\{X\in {\mathfrak {g}}|\operatorname {ad} (a)X=0{\text{ or }}\operatorname {Ad} (a)X=0{\text{ for all }}a{\text{ in }}A\}

Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle Z_G(A) = \{ g \in G | \operatorname{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 Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle \operatorname{Lie}(Z_G(A)) = \mathfrak{z}_{\mathfrak{g}}(A)} .

Si H es un subgrupo conectado de G cerrado, entonces H es normal si y solo si $\operatorname {Lie} (H)$ es un ideal y en tal caso Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle \operatorname{Lie}(G/H) = \operatorname{Lie}(G)/\operatorname{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 $\operatorname {exp$ es un grupo de homomorfismo suryectivo.[22] Su núcleo es un grupo discreto (ya que su dimensión es cero) llamado la red entera de G y se denota por $\Gamma$ . Según el primer teorema del isomorfismo, Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle \operatorname{exp}} induce el isomorfismo ${\mathfrak {g}}/\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 ${\widetilde {G}}$ de G; en otras palabras, G encaja en la extensión central

1\to \pi _{1}(G)\to {\widetilde {G}}{\overset {p}{\to }}G\to 1.

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

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 Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle \widetilde{G}} de G es compacto.
El grupo adjunto $\operatorname {Int} {\mathfrak {g}}$ es compacto.
Existe una incrustación $G\hookrightarrow O(n,\mathbb {R} )$ como un subgrupo cerrado.
La forma de Killing en ${\mathfrak {g}}$ es negativa definida.
Por cada X en Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\mathfrak {g}} , Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle \operatorname{ad}(X)} es diagonalizable y tiene cero o valores propios puramente imaginarios.
Existe un producto interno invariante en ${\mathfrak {g}}$ .

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 ${\widetilde {G}}$ también es compacto. Claramente, esta conclusión no se cumple si G tiene un centro infinito, por ejemplo, si Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle 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}(\mathbb {C} )\|{\overline {A}}^{\mathrm {T} }A=I,\operatorname {det} (A)=1\}$	${\mathfrak {sl}}(n+1,\mathbb {C} )$ Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle = \{ X \in M_{n+1}(\mathbb{C}) \| \operatorname{tr} X = 0 \}}	A_n
SO(2n+1) $=\{A\in M_{2n+1}(\mathbb {R} )\|A^{\mathrm {T} }A=I,\operatorname {det} (A)=1\}$	Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle \mathfrak{so}(2n+1, \mathbb{C})} Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle = \{ X \in M_{2n+1}(\mathbb{C}) \| X^{\mathrm{T}} + X = 0 \}}	B_n
Sp(n) $=\{A\in U(2n)\|A^{\mathrm {T} }JA=J\},\,J={\begin{bmatrix}0&I_{n}\\-I_{n}&0\end{bmatrix}}$	${\mathfrak {sp}}(n,\mathbb {C} )$ Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle = \{ X \in M_{2n}(\mathbb{C}) \| X^{\mathrm{T}} J + JX = 0 \}}	C_n
SO (2n) $=\{A\in M_{2n}(\mathbb {R} )\|A^{\mathrm {T} }A=I,\operatorname {det} (A)=1\}$	${\mathfrak {so}}(2n,\mathbb {C} )$ $=\{X\in M_{2n}(\mathbb {C} )\|X^{\mathrm {T} }+X=0\}$	D_n

Si G es un grupo de Lie compacto, entonces

Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle H^k(\mathfrak{g}; \mathbb{R}) = H_{\text{dR}}(G)}

donde el lado izquierdo es la cohomología del álgebra de Lie de Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\mathfrak {g}} 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 Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle \operatorname{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 ${\mathfrak {g}}=\operatorname {Lie} (G)=P(A(G))$ , el álgebra de Lie de elementos primitivos en $A(G)$ .[23] Según el teorema de Milnor-Moore, existe el isomorfismo canónico $U({\mathfrak {g}})=A(G)$ entre el álgebra envolvente universal de ${\mathfrak {g}}$ 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

Referencias

Helgason, 1978, Ch. II, § 2, Proposition 2.7.
Hall, 2015 Section 3.3
More generally, if H' is a closed subgroup of H, then $\operatorname {Lie} (f^{-1}(H'))=(df)^{-1}(\operatorname {Lie} (H')).$
This requirement cannot be omitted; see also https://math.stackexchange.com/q/329753
Bourbaki,
Bourbaki,, Ch. III, § 1, Proposition 5
Hall, 2015 Corollary 3.49
Hall, 2015 Theorem 5.25
Hall, 2015 Theorem 5.6
Hall, 2015 Theorem 5.20
Hall, 2015 Example 3.27
Hall, 2015 Proposition 4.35
Hall, 2015 Section 1.4
Hall, 2015 Corollary 5.7
Hall, 2015 Section 5.7
Hall, 2015 Theorem 2.14
Hall, 2015
Hall y 2015, Section 4.7
Helgason, 1978
Bourbaki,, Ch. VII, § 6, no. 2, Corollary 4. to Proposition 1.
Bourbaki,, Ch. III, § 1, no. 7, Proposition 14.
It's surjective because $\operatorname {exp} ({\mathfrak {g}})^{n}=\operatorname {exp} ({\mathfrak {g}})$ as ${\mathfrak {g}}$ is abelian.
Bourbaki,, Ch. III, § 3. no. 7

Bibliografía

Bourbaki, N. (1981), Groupes et Algèbres de Lie (Chapitre 3), Éléments de Mathématique, Hermann.
Duistermaat, J.J.; Kolk, A. (2000), Lie groups, Universitext, Springer, ISBN 3540152938, doi:10.1007/978-3-642-56936-4.
Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Graduate Texts in Mathematics 222 (2nd edición), Springer, ISBN 978-3319134666, doi:10.1007/978-3-319-13467-3..
Helgason, Sigurdur (1978), Differential geometry, Lie groups and symmetric spaces, Academic Press, ISBN 0-12-338460-5.

Enlaces externos

Notes for Math 261A Lie groups and Lie algebras
Popov, V.L. (2001), «Lie algebra of an analytic group», en Hazewinkel, Michiel, ed., Encyclopaedia of Mathematics (en inglés), Springer, ISBN 978-1556080104.
Formal Lie theory in characteristic zero, a blog post by Akhil Mathew

Datos: Q18353697

Este artículo ha sido escrito por Wikipedia. El texto está disponible bajo la licencia Creative Commons - Atribución - CompartirIgual. Pueden aplicarse cláusulas adicionales a los archivos multimedia.

[1] Helgason, 1978, Ch. II, § 2, Proposition 2.7.

[2] Hall, 2015 Section 3.3

[3] More generally, if H' is a closed subgroup of H, then $\operatorname {Lie} (f^{-1}(H'))=(df)^{-1}(\operatorname {Lie} (H')).$

[4] This requirement cannot be omitted; see also https://math.stackexchange.com/q/329753

[5] Bourbaki,

[6] Bourbaki,, Ch. III, § 1, Proposition 5

[7] Hall, 2015 Corollary 3.49

[8] Hall, 2015 Theorem 5.25

[9] Hall, 2015 Theorem 5.6

[10] Hall, 2015 Theorem 5.20

[11] Hall, 2015 Example 3.27

[12] Hall, 2015 Proposition 4.35

[13] Hall, 2015 Section 1.4

[14] Hall, 2015 Corollary 5.7

[15] Hall, 2015 Section 5.7

[16] Hall, 2015 Theorem 2.14

[17] Hall, 2015

[18] Hall y 2015, Section 4.7

[19] Helgason, 1978

[20] Bourbaki,, Ch. VII, § 6, no. 2, Corollary 4. to Proposition 1.

[21] Bourbaki,, Ch. III, § 1, no. 7, Proposition 14.

[22] It's surjective because $\operatorname {exp} ({\mathfrak {g}})^{n}=\operatorname {exp} ({\mathfrak {g}})$ as ${\mathfrak {g}}$ is abelian.

[23] Bourbaki,, Ch. III, § 3. no. 7

Grupo compacto de Lie	Complejización del álgebra de Lie asociada	Sistema raíz
SU (n + 1) $=\{A\in M_{n+1}(\mathbb {C} )\|{\overline {A}}^{\mathrm {T} }A=I,\operatorname {det} (A)=1\}$	${\mathfrak {sl}}(n+1,\mathbb {C} )$ Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle = \{ X \in M_{n+1}(\mathbb{C}) \| \operatorname{tr} X = 0 \}}	A_n
SO(2n+1) $=\{A\in M_{2n+1}(\mathbb {R} )\|A^{\mathrm {T} }A=I,\operatorname {det} (A)=1\}$	Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle \mathfrak{so}(2n+1, \mathbb{C})} Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle = \{ X \in M_{2n+1}(\mathbb{C}) \| X^{\mathrm{T}} + X = 0 \}}	B_n
Sp(n) $=\{A\in U(2n)\|A^{\mathrm {T} }JA=J\},\,J={\begin{bmatrix}0&I_{n}\\-I_{n}&0\end{bmatrix}}$	${\mathfrak {sp}}(n,\mathbb {C} )$ Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle = \{ X \in M_{2n}(\mathbb{C}) \| X^{\mathrm{T}} J + JX = 0 \}}	C_n
SO (2n) $=\{A\in M_{2n}(\mathbb {R} )\|A^{\mathrm {T} }A=I,\operatorname {det} (A)=1\}$	${\mathfrak {so}}(2n,\mathbb {C} )$ $=\{X\in M_{2n}(\mathbb {C} )\|X^{\mathrm {T} }+X=0\}$	D_n