En la teoría de los grupos de Lie , el mapa exponencial es un mapa del álgebra de Lie. de un grupo de mentiras al grupo que permite recapturar la estructura del grupo local del álgebra de Lie. La existencia del mapa exponencial es una de las principales razones por las que las álgebras de Lie son una herramienta útil para estudiar grupos de Lie.
La función exponencial ordinaria del análisis matemático es un caso especial del mapa exponencial cuandoes el grupo multiplicativo de números reales positivos (cuyo álgebra de Lie es el grupo aditivo de todos los números reales). El mapa exponencial de un grupo de Lie satisface muchas propiedades análogas a las de la función exponencial ordinaria, sin embargo, también difiere en muchos aspectos importantes.
Definiciones
Dejar ser un grupo de mentiras yser su álgebra de Lie (pensada como el espacio tangente al elemento de identidad de). El mapa exponencial es un mapa
que se puede definir de varias formas diferentes. La definición moderna típica es esta:
- Definición : El exponencial de es dado por dónde
- es el subgrupo único de un parámetro de cuyo vector tangente en la identidad es igual a .
De la regla de la cadena se sigue fácilmente que. El mapapuede construirse como la curva integral del campo vectorial invariante a la derecha o a la izquierda asociado con. El hecho de que la curva integral exista para todos los parámetros reales se deduce de la traducción hacia la derecha o hacia la izquierda de la solución cerca de cero.
Tenemos una definición más concreta en el caso de un grupo de Lie matricial . El mapa exponencial coincide con la matriz exponencial y viene dado por la expansión de la serie ordinaria:
- ,
dónde es la matriz de identidad . Por lo tanto, en la configuración de grupos de Lie matriciales, el mapa exponencial es la restricción de la matriz exponencial al álgebra de Lie de .
Comparación con el mapa exponencial de Riemann
Si G es compacto, tiene una métrica invariante de Riemann en traslaciones a la izquierda y a la derecha, y el mapa exponencial de la teoría de Lie para G coincide con el mapa exponencial de esta métrica de Riemann .
Para una G general , no existirá un invariante métrico de Riemann en las traslaciones tanto a la izquierda como a la derecha. Aunque siempre hay una métrica invariante de Riemann bajo, digamos, traslaciones a la izquierda, el mapa exponencial en el sentido de la geometría de Riemann para una métrica invariante a la izquierda no coincidirá en general con el mapa 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 parámetro de G [ cita requerida ] .
Otras definiciones
Otras definiciones equivalentes del exponencial del grupo de Lie son las siguientes:
- Es el mapa exponencial de una conexión afín canónica invariante a la izquierda en G , de modo que el transporte paralelo viene dado por traslación a la izquierda. Es decir, dónde es la geodésica única con el punto inicial en el elemento de identidad y la velocidad inicial X (pensado como un vector tangente).
- Es el mapa exponencial de una conexión afín derecho canónico sobre invariante G . Esto suele ser 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 por multiplicación por la izquierda o por la derecha), así que proporcione el mismo mapa exponencial.
- La correspondencia entre el grupo de Lie y el álgebra de Lie también da la definición: para X en, es el homomorfismo del grupo de Lie único correspondiente al homomorfismo del álgebra de Lie (Nota: .)
Ejemplos de
- El círculo unitario 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, El mapa exponencial para este grupo de Lie viene dado por
- es decir, la misma fórmula que la exponencial compleja ordinaria .
- En los cuaterniones , el conjunto de cuaterniones de longitud unitaria forma un grupo de Lie (isomorfo al grupo unitario especial SU (2) ) cuyo espacio tangente en 1 se puede identificar con el espacio de cuaterniones puramente imaginarios, El mapa exponencial para este grupo de Lie viene dado por
- Este mapa toma la esfera 2 de radio R dentro de los cuaterniones puramente imaginarios para , una esfera de 2 radios (cf. Exponencial de un vector de Pauli ). Compare esto con el primer ejemplo anterior.
- Sea V un espacio vectorial real de dimensión finita y considérelo como un grupo de Lie bajo la operación de suma vectorial. Luegoa través de la identificación de V con su espacio tangente en 0, y el mapa exponencial
- es el mapa de identidad, es decir, .
- En el plano de números complejos divididos la linea imaginaria forma el álgebra de Lie del grupo de hipérbola unitaria ya que el mapa exponencial viene dado por
Propiedades
Propiedades elementales del exponencial
Para todos , el mapa es el subgrupo único de un parámetro decuyo vector tangente en la identidad es. Resulta que:
Más generalmente:
- .
Es importante enfatizar que la identidad anterior no se sostiene en general; la suposición de que y el viaje diario es importante.
La imagen del mapa exponencial siempre se encuentra en el componente de identidad de.
Lo exponencial cerca de la identidad
El mapa exponencial es un mapa fluido . Su diferencial en cero,, es el mapa de identidad (con las identificaciones habituales).
Se deduce del teorema de la función inversa que el mapa exponencial, por lo tanto, se restringe a un difeomorfismo de algún vecindario de 0 en a un barrio de 1 en . [1]
Entonces no es difícil demostrar que si G está conectado, cada elemento g de G es un producto de exponenciales de elementos de: [2].
Globalmente, el mapa exponencial no es necesariamente sobreyectivo. Además, el mapa exponencial puede no ser un difeomorfismo local en todos los puntos. Por ejemplo, el mapa exponencial de(3) a SO (3) no es un difeomorfismo local; ver también locus de corte sobre esta falla. Consulte la derivada del mapa exponencial para obtener más información.
Sobrejetividad de lo exponencial
En estos importantes casos especiales, se sabe que el mapa exponencial siempre es sobreyectivo:
- G está conectado y es compacto, [3]
- G está conectado y es nilpotente (por ejemplo, G conectado y abeliano), y
- . [4]
Para los grupos que no satisfacen ninguna de las condiciones anteriores, el mapa exponencial puede ser sobreyectivo o no.
La imagen del mapa exponencial del grupo SL 2 ( R ) conectado pero no compacto no es el grupo completo. Su imagen consta de matrices C -diagonalizables con autovalores positivos o con módulo 1, y de matrices no diagonalizables con autovalor repetido 1, y la matriz. (Por lo tanto, la imagen excluye matrices con valores propios negativos reales, distintos de.) [5]
Mapa exponencial y homomorfismos
Dejar ser un homomorfismo de grupo de mentira y dejar ser su derivado en la identidad. Luego, el siguiente diagrama conmuta : [6]
En particular, cuando se aplica a la acción adjunta de un grupo de Lie, desde , tenemos la identidad útil: [7]
- .
Coordenadas logarítmicas
Dado un grupo de mentiras con álgebra de mentira , cada elección de una base de determina un sistema de coordenadas cerca del elemento de identidad e para G , como sigue. Por el teorema de la función inversa , el mapa exponencial es un difeomorfismo de algún barrio del origen a un barrio de . Su inverso:
es entonces un sistema de coordenadas en T . Se le llama por varios nombres, como coordenadas logarítmicas, coordenadas exponenciales o coordenadas normales. Consulte el teorema del subgrupo cerrado para ver un ejemplo de cómo se utilizan en las aplicaciones.
Observación : la tapa abiertada una estructura de una variedad real-analítica a G tal que la operación de grupoes real-analítico. [8]
Ver también
- Lista de temas exponenciales
- Derivada del mapa exponencial
- Matriz exponencial
Citas
- ↑ Hall 2015 Corolario 3.44
- ↑ Hall 2015 Corolario 3.47
- ↑ Hall 2015 Corolario 11.10
- ^ Pasillo 2015 Ejercicios 2.9 y 2.10
- ^ Salón 2015 Ejercicio 3.22
- ^ Teorema de Hall 2015 3.28
- ^ Salón 2015 Proposición 3.35
- ^ Kobayashi y Nomizu 1996 , p. 43.
Trabajos citados
- Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction , Textos de posgrado en matemáticas, 222 (2a ed.), Springer, ISBN 978-3319134666.
- Helgason, Sigurdur (2001), Geometría diferencial, grupos de Lie y espacios simétricos , Estudios de posgrado en matemáticas , 34 , Providence, RI: American Mathematical Society , ISBN 978-0-8218-2848-9, Señor 1834454.
- Kobayashi, Shoshichi; Nomizu, Katsumi (1996), Fundamentos de la geometría diferencial , vol. 1 (Nueva ed.), Wiley-Interscience, ISBN 0-471-15733-3
|volume=
tiene texto extra ( ayuda ). - "Mapeo exponencial" , Enciclopedia de Matemáticas , EMS Press , 2001 [1994]