Mapa exponencial (teoría de Lie)

Na teoría dos grupos de Lie, o mapa exponencial é un mapa da álxebra de Lie  dun grupo de Lie  ao grupo, que permite recuperar a estrutura local do grupo a partir da álxebra de Lie. A existencia do mapa exponencial é unha das razóns principais polas que as álxebras de Lie son unha ferramenta útil para estudar grupos de Lie.

Definicións
Sexa  un grupo de Lie e  a súa álxebra de Lie (considerada como o espazo tanxente ao elemento identidade de ). O mapa exponencial é un mapa:

que se pode definir de varias maneiras. A definición moderna típica é a seguinte:
Definición: O exponencial de  vén dado por , onde:

é o único subgrupo uniparamétrico de  cuxo vector tanxente na identidade é igual a .

Dedúcese facilmente da regra da cadea que . O mapa , un homomorfismo de grupos de  a , pode construírse como a curva integral do campo vectorial invariante á dereita ou á esquerda asociado a . Que a curva integral existe para todos os parámetros reais dedúcese da translación pola dereita ou pola esquerda da solución preto de cero.

Temos unha definición máis concreta no caso dun grupo de Lie matricial. O mapa exponencial coincide coa exponencial matricial e vén dado pola expansión en serie ordinaria:
 ,
onde  é a matriz identidade. Así, no contexto dos grupos de Lie matriciais, o mapa exponencial é a restrición da exponencial matricial á álxebra de Lie  de .

Comparación co mapa exponencial de Riemann
Se  é compacto, ten unha métrica de Riemann invariante baixo translacións á esquerda e á dereita; entón, o mapa exponencial teórico de Lie para  coincide co mapa exponencial da xeometría de Riemann.

Para un  xeral, non existirá necesariamente unha métrica de Riemann invariante baixo ambas as translacións. 

Exemplos
 A circunferencia unitaria centrada en 0 no plano complexo é un grupo de Lie (chamado grupo circular) cuxo espazo tanxente en 1 pode identificarse coa recta imaxinaria no plano complexo,  O mapa exponencial para este grupo de Lie vén dado por:

é dicir, a mesma fórmula que a exponencial complexa ordinaria.

 Máis xeralmente, para toros complexos  para algunha retícula integral  de rango  (isomorfa a ), o toro vén equipado cun mapa de recubrimento universal:

do cociente pola retícula. Dado que  é localmente isomorfo a  como variedades complexas, podemos identificalo co espazo tanxente , e o mapa:corresponde ao mapa exponencial para o grupo de Lie complexo .
 Nos cuaternións , o conxunto de cuaternións de lonxitude unitaria forma un grupo de Lie (isomorfo ao grupo unitario especial ) cuxo espazo tanxente en 1 pode identificarse co espazo de cuaternións puramente imaxinarios,  O mapa exponencial para este grupo de Lie vén dado por:

 Este mapa leva a 2-esfera de raio  dentro dos cuaternións puramente imaxinarios, , a unha 2-esfera de raio  (cf. Exponencial dun vector de Pauli). Compare isto co primeiro exemplo anterior.
 Sexa V un espazo vectorial real de dimensión finita e considérese como un grupo de Lie baixo a operación de suma vectorial. Entón  mediante a identificación de V co seu espazo tanxente en 0, e o mapa exponencial:

é o mapa identidade, é dicir, .
 No plano dos números complexos separados  a recta imaxinaria  forma a álxebra de Lie do grupo da hipérbole unitaria , xa que o mapa exponencial vén dado por:

Propiedades
Propiedades elementais do exponencial
Para todo , o mapa  é o único subgrupo uniparamétrico de  cuxo vector tanxente na identidade é . Disto dedúcese que:



Máis xeralmente:
 . Isto dedúcese da fórmula de Baker-Campbell-Hausdorff.

A identidade anterior non se cumpre en xeral; o suposto de que  e  conmutan é importante.

A imaxe do mapa exponencial sempre está na compoñente conexa de .

O exponencial preto da identidade
O mapa exponencial  é un mapa suave. O seu diferencial en cero, , é o mapa identidade (coas identificacións habituais).

Dedúcese do teorema da función inversa que o mapa exponencial, polo tanto, restrínxe a un difeomorfismo desde algunha veciñanza de 0 en  a unha veciñanza de 1 en . Corolario 3.44

Non é difícil demostrar logo que se G é conexo, todo elemento g de G é un produto de exponenciais de elementos de : Corolario 3.47
.

Globalmente, o mapa exponencial non é necesariamente sobrexectivo. Ademais, o mapa exponencial pode non ser un difeomorfismo local en todos os puntos. Por exemplo, o mapa exponencial de (3) en SO(3) non é un difeomorfismo local (véxase tamén lugares de corte sobre este fallo). Véxase derivada do mapa exponencial para máis información.

Sobrexectividade do exponencial
Nestes casos especiais importantes, sábese que o mapa exponencial é sempre sobrexectivo:
 G é conexo e compacto, Corolario 11.10
 G é conexo e nilpotente (por exemplo, G conexo e abeliano), ou
 . Exercicios 2.9 e 2.10

Para grupos que non cumpren ningunha das condicións anteriores, o mapa exponencial pode ou pode non ser sobrexectivo.

A imaxe do mapa exponencial do grupo conexo mais non compacto SL2(R) non é todo o grupo. A súa imaxe consiste en matrices C-diagonalizábeis con valores propios positivos ou de módulo 1, e en matrices non diagonalizábeis cun valor propio repetido 1, e a matriz . (Así, a imaxe exclúe matrices con valores propios reais negativos, agás ). Exercicio 3.22

Mapa exponencial e homomorfismos
Sexa  un homomorfismo de grupos de Lie e sexa  a súa derivada na identidade. Entón, o seguinte diagrama conmuta: Teorema 3.28
center

En particular, cando se aplica á acción adxunta , dado que , temos a identidade útil: Proposición 3.35:
 .

 Notas 


 Véxase tamén 

 Bibliografía 
.
.
.


 Outros artigos 
 Difeomorfismo
 Variedade diferencial
 Ligazóns externas 
 LECTURE 13: THE EXPONENTIAL MAP
 What is exponential map in differential geometry (https://math.stackexchange.com/)

Categoría:Álxebras de Lie
Categoría:Grupos de Lie