Aplicación exponencial (teoría de Lie)

Aplicación de un álgebra de Lie sobre un grupo de Lie

En la teoría de grupos de Lie, la aplicación exponencial es una correspondencia establecida por un álgebra de Lie desde un grupo de Lie sobre sí mismo, que permite reproducir la estructura del álgebra de Lie en el grupo local. La existencia de la aplicación exponencial es una de las razones principales por las que las álgebras de Lie son una herramienta útil para estudiar los grupos de Lie.

La función exponencial ordinaria del análisis matemático es un caso especial de la aplicación exponencial cuando es el grupo multiplicativo de los números positivos (cuyo álgebra de Lie es el grupo aditivo de todos los números reales). La aplicación exponencial sobre un grupo de Lie satisface muchas propiedades análogas a las de la función exponencial ordinaria, aunque también difiere en muchos aspectos importantes.

Definiciones

editar

Sea   un grupo de Lie y   sea su álgebra de Lie (definida como el espacio tangente al elemento neutro de  ). La aplicación exponencial es una correspondencia

 

que se puede definir de varias maneras diferentes. La definición moderna típica es esta:

Definición: La exponencial de   está dada por   donde
 
es el grupo uniparamétrico único de   cuyo vector tangente a la identidad es igual a  .

De la regla de la cadena se desprende fácilmente que  . La función   puede construirse como la curva integral del campo vectorial invariante por la derecha o por la izquierda asociado con  . De que la curva integral existe para todos los parámetros reales se sigue la traslación de la solución a la derecha o la izquierda en el entorno de cero.

Existe una definición más concreta en el caso de un grupo de Lie. La aplicación exponencial coincide con la exponencial de una matriz y viene dada por la expansión de la serie ordinaria:

 ,

donde   es la matriz identidad. Por lo tanto, en la configuración matricial de los grupos de Lie, la aplicación exponencial es la restricción de la exponencial de matrices al álgebra de Lie   sobre  .

Comparación con la aplicación exponencial de Riemann

editar

Si G es compacto, tiene una métrica Riemanniana invariante a la izquierda y traslaciones a la derecha, y la aplicación exponencial teórica de Lie sobre G coincide con la aplicación exponencial de esta métrica riemanniana.

Para un grupo G en general, no existirá un invariante métrico riemanniano para ambas traslaciones, a la izquierda y a la derecha. Aunque siempre existe una métrica riemanniana invariante en (considérese el caso de las traslaciones a la izquierda), la aplicación exponencial en el sentido de la geometría riemanniana para una métrica invariante a la izquierda, no estará en general de acuerdo con la aplicación exponencial en el sentido del grupo de Lie. Es decir, si G es un grupo de Lie equipado con una métrica invariante a la izquierda pero no a la derecha, las geodésicas a través de la identidad no serán subgrupos de un solo parámetro de G[cita requerida].

Otras definiciones

editar

Otras definiciones equivalentes de la exponencial sobre un grupo de Lie son las siguientes:

  • Es la aplicación exponencial de una conexión afín canónica invariante a la izquierda sobre G, tal que la traslación paralela viene dada por la traslación a la izquierda. Es decir,   donde   es la única geodésica con el punto inicial en el elemento identidad y la velocidad inicial X (interpretada como un vector tangente).
  • Es la aplicación exponencial de una conexión afín canónica invariante por la derecha en G. Por lo general, esto es diferente de la conexión canónica invariante a la izquierda, pero ambas conexiones tienen las mismas geodésicas (órbitas de subgrupos de 1 parámetro que actúan mediante la multiplicación a la izquierda o a la derecha), así que proporcionan la misma aplicación exponencial.
  • La correspondencia grupo de Lie-álgebra de Lie también da una definición: para X en  ,   es el homomorfismo único del grupo de Lie correspondiente al homomorfismo del álgebra de Lie   (nota:  .)

Ejemplos

editar
  • La circunferencia goniométrica centrado en 0 en el plano complejo es un grupo de Lie (llamado grupo circular) cuyo espacio tangente en 1 se puede identificar con la línea imaginaria en el plano complejo,  . La aplicación exponencial para este grupo de Lie está dada por
     
es decir, la misma fórmula que la fórmula de Euler ordinaria.
  • En el cuaternión  , el conjunto de cuaterniones de longitud uno forma un grupo de Lie (isomorfo al grupo unitario especial SU(2)) cuyo espacio tangente en 1 puede identificarse con el espacio de cuaterniones puramente imaginarios,  . La aplicación exponencial para este grupo de Lie viene dada por
     
Este aplicación lleva la 2 esfera de radio R dentro de los cuaterniones puramente imaginarios a  , una 2 esfera de radio   (véase exponencial de un vector de Pauli). Se puede comparar con el primer ejemplo de arriba.
  • Sea V un espacio vectorial real de dimensión finita, considerado como un grupo de Lie bajo la operación de suma de vectores. Luego   a través de la identificación de V con su espacio tangente en 0, y la aplicación exponencial
 
es la aplicación identidad, es decir,  .
  • En el plano del número complejo dividido  , la recta imaginaria   forma el álgebra de Lie del grupo de la hipérbola unitaria   ya que la aplicación exponencial está dada por
     

Propiedades

editar

Propiedades elementales de la exponencial

editar

Para todos los  , el aplicación   es el grupo uniparamétrico único de   cuyo vector tangente en la identidad es  . Resulta que:

  •  
  •  

Más generalmente:

  •  .

Es importante enfatizar que la identidad precedente no se mantiene en general; la suposición de que   y   conmutan es importante.

La imagen de la aplicación exponencial siempre se encuentra en el componente identidad de  .

Exponencial próximo a la identidad

editar

La aplicación exponencial   es una función continuamente diferenciable. Su derivada en cero,  , es la aplicación identidad (con las identificaciones habituales).

Se deduce del teorema de la función inversa que la aplicación exponencial, por lo tanto, se restringe a un difeomorfismo desde algún vecindario de 0 en   a un vecindario de 1 en  .[1]

Entonces, no es difícil demostrar que si G es conexo, cada elemento g de G es un producto de exponenciales de elementos de  :[2]

 .

A nivel general, la aplicación exponencial no es necesariamente suprayectiva. Además, puede no ser un difeomorfismo local en todos los puntos. Por ejemplo, la aplicación exponencial de  (3) sobre SO(3) no es un difeomorfismo local (véase también lugar de corte sobre este problema, y derivada de la aplicación exponencial para más información).

Sobreyectividad de la aplicación exponencial

editar

La aplicación exponencial es sobreyectiva en los siguientes casos:

  • G es conexo y es compacto,[3]
  • G es conexo y nilpotente, y
  •  .[4]

Para los grupos que no cumplan con ninguna de las condiciones anteriores, la aplicación exponencial puede o no ser sobreyectiva.

La imagen de la aplicación exponencial del grupo conexo pero no compacto SL2(R) no es el grupo completo. Su imagen consiste en C-matrices diagonalizables con valores propios positivos o con módulo 1, y matrices no diagonalizables con un valor propio 1 repetido, además de la matriz  . Por lo tanto, la imagen excluye matrices con valores propios reales y negativos, distintas de  .[5]

Aplicación exponencial y homomorfismos

editar

Sea   un homomorfismo del grupo de Lie y sea   su derivada en la identidad. Entonces el siguiente diagrama conmuta:[6]

 

En particular, cuando se aplica a la acción adjunta de un grupo de Lie  , desde  , se tiene la útil identidad[7]

 .

Coordenadas logarítmicas

editar

Dado un grupo de Lie   con álgebra de Lie  , cada elección de una base   de   determina un sistema de coordenadas cerca del elemento identidad e para G. Por el teorema de la función inversa, la aplicación exponencial   es un difeomorfismo de algún   vecino del origen sobre   vecino de  . Su inverso:

 

es entonces un sistema de coordenadas en U. Es denominado por varios nombres, como coordenadas logarítmicas, coordenadas exponenciales o coordenadas normales. En el teorema del subgrupo cerrado figuran ejemplos de cómo se usan en distintas aplicaciones.

Observación: El recubrimiento abierto   proporciona la estructura de una variedad real-analítica a G, de tal manera que la operación de grupo   es real-analítica.[8]

Véase también

editar

Referencias

editar
  1. Hall, 2015 Corollary 3.44
  2. Hall, 2015 Corollary 3.47
  3. Hall, 2015 Corollary 11.10
  4. Hall, 2015 Exercises 2.9 and 2.10
  5. Hall, 2015 Exercise 3.22
  6. Hall, 2015 Theorem 3.28
  7. Hall, 2015 Proposition 3.35
  8. Kobayashi, Nomizu, pg. 43.

Bibliografía

editar