Transporte paralelo

Construir en geometría diferencial.

Transporte paralelo de un vector alrededor de un circuito cerrado (de A a N, a B y de regreso a A) en la esfera. El ángulo con el que gira, , es proporcional al área dentro del bucle. ${\displaystyle \alpha }$

En geometría , el transporte paralelo (o traducción paralela ^[a] ) es una forma de transportar datos geométricos a lo largo de curvas suaves en una variedad . Si la variedad está equipada con una conexión afín (una derivada covariante o una conexión en el paquete tangente ), entonces esta conexión permite transportar vectores de la variedad a lo largo de curvas para que permanezcan paralelos con respecto a la conexión.

El transporte paralelo para una conexión proporciona así una forma de, en cierto sentido, mover la geometría local de una variedad a lo largo de una curva: es decir, de conectar las geometrías de puntos cercanos. Puede haber muchas nociones de transporte paralelo disponibles, pero la especificación de una (una forma de conectar las geometrías de los puntos en una curva) equivale a proporcionar una conexión . De hecho, la noción habitual de conexión es la analogía infinitesimal del transporte paralelo. O viceversa , el transporte paralelo es la realización local de una conexión.

Así como el transporte paralelo proporciona una realización local de la conexión, también proporciona una realización local de la curvatura conocida como holonomía . El teorema de Ambrose-Singer hace explícita esta relación entre curvatura y holonomía.

Otras nociones de conexión también vienen equipadas con sus propios sistemas de transporte paralelo. Por ejemplo, una conexión Koszul en un paquete de vectores también permite el transporte paralelo de vectores de la misma manera que con una derivada covariante. Una conexión de Ehresmann o Cartan proporciona un levantamiento de curvas desde la variedad al espacio total de un haz principal . A veces se puede considerar este levantamiento de curvas como el transporte paralelo de sistemas de referencia .

Transporte paralelo en un paquete de vectores

Sea M una variedad suave. Sea E  →  M un paquete de vectores con conexión ∇ y γ : I  →  M una curva suave parametrizada por un intervalo abierto I . Una sección a lo largo de γ se llama paralela si ${\displaystyle X}$ ${\displaystyle E}$

${\displaystyle \nabla _{{\dot {\gamma }}(t)}X=0{\text{ for }}t\in I.\,}$

Por ejemplo, si es un paquete tangente de una variedad donde es un campo vectorial tangente, esta expresión significa que, para cada en el intervalo, los vectores tangentes en son "constantes" (la derivada desaparece) cuando se produce un desplazamiento infinitesimal desde en la dirección de el vector tangente está hecho. ${\displaystyle E}$ ${\displaystyle X}$ ${\displaystyle t}$ ${\displaystyle X}$ ${\displaystyle \gamma (t)}$ ${\displaystyle {\dot {\gamma }}(t)}$

Supongamos que se nos da un elemento e ₀ ∈ E _P en P = γ (0) ∈ M , en lugar de una sección. El transporte paralelo de e ₀ a lo largo de γ es la extensión de e ₀ a una sección paralela X en γ . Más precisamente, X es la única parte de E a lo largo de γ tal que

1. ${\displaystyle \nabla _{\dot {\gamma }}X=0}$
2. ${\displaystyle X_{\gamma (0)}=e_{0}.}$

Tenga en cuenta que en cualquier parche de coordenadas dado, (1) define una ecuación diferencial ordinaria , con la condición inicial dada por (2). Por tanto, el teorema de Picard-Lindelöf garantiza la existencia y unicidad de la solución.

Así, la conexión ∇ define una forma de mover elementos de las fibras a lo largo de una curva, y esto proporciona isomorfismos lineales entre las fibras en puntos a lo largo de la curva:

${\displaystyle \Gamma (\gamma )_{s}^{t}:E_{\gamma (s)}\rightarrow E_{\gamma (t)}}$

desde el espacio vectorial que se encuentra sobre γ( s ) hasta el que se encuentra sobre γ( t ). Este isomorfismo se conoce como mapa de transporte paralelo asociado a la curva. Los isomorfismos entre fibras obtenidos de esta manera dependerán, en general, de la elección de la curva: si no es así, entonces se puede utilizar el transporte paralelo a lo largo de cada curva para definir secciones paralelas de E sobre todo M. Esto sólo es posible si la curvatura de ∇ es cero.

En particular, el transporte paralelo alrededor de una curva cerrada que comienza en un punto x define un automorfismo del espacio tangente en x que no es necesariamente trivial. Los automorfismos de transporte paralelo definidos por todas las curvas cerradas basadas en x forman un grupo de transformación llamado grupo de holonomía de ∇ en x . Existe una estrecha relación entre este grupo y el valor de la curvatura de ∇ en x ; Este es el contenido del teorema de la holonomía de Ambrose-Singer .

Recuperando la conexión del transporte paralelo

Dada una derivada covariante ∇, el transporte paralelo a lo largo de una curva γ se obtiene integrando la condición . Por el contrario, si se dispone de una noción adecuada de transporte paralelo, entonces se puede obtener una conexión correspondiente por diferenciación. Este enfoque se debe, esencialmente, a Knebelman (1951); véase Guggenheimer (1977). Lumiste (2001) también adopta este enfoque. ${\displaystyle \scriptstyle {\nabla _{\dot {\gamma }}=0}}$

Considere una asignación a cada curva γ en la variedad, una colección de asignaciones

${\displaystyle \Gamma (\gamma )_{s}^{t}:E_{\gamma (s)}\rightarrow E_{\gamma (t)}}$

tal que

1. ${\displaystyle \Gamma (\gamma )_{s}^{s}=Id}$, la transformación de identidad de E _γ(s) .
2. ${\displaystyle \Gamma (\gamma )_{u}^{t}\circ \Gamma (\gamma )_{s}^{u}=\Gamma (\gamma )_{s}^{t}.}$
3. La dependencia de Γ de γ, s y t es "suave".

La noción de suavidad en la condición 3. es algo difícil de precisar (consulte la discusión a continuación sobre el transporte paralelo en haces de fibras). En particular, autores modernos como Kobayashi y Nomizu generalmente consideran que el transporte paralelo de la conexión proviene de una conexión en algún otro sentido, donde la suavidad se expresa más fácilmente.

Sin embargo, dada tal regla para el transporte paralelo, es posible recuperar la conexión infinitesimal asociada en E de la siguiente manera. Sea γ una curva diferenciable en M con punto inicial γ(0) y vector tangente inicial X = γ′(0). Si V es una sección de E sobre γ, entonces sea

${\displaystyle \nabla _{X}V=\lim _{h\to 0}{\frac {\Gamma (\gamma )_{h}^{0}V_{\gamma (h)}-V_{\gamma (0)}}{h}}=\left.{\frac {d}{dt}}\Gamma (\gamma )_{t}^{0}V_{\gamma (t)}\right|_{t=0}.}$

Esto define la conexión infinitesimal asociada ∇ en E . Se recupera el mismo transporte paralelo Γ a partir de esta conexión infinitesimal.

Caso especial: el paquete tangente

Sea M una variedad suave. Entonces una conexión en el haz tangente de M , llamada conexión afín , distingue una clase de curvas llamadas geodésicas (afinas) . ^[2] Una curva suave γ : I → M es una geodésica afín si se transporta paralelamente a lo largo de , es decir ${\displaystyle {\dot {\gamma }}}$ ${\displaystyle \gamma }$

${\displaystyle \Gamma (\gamma )_{s}^{t}{\dot {\gamma }}(s)={\dot {\gamma }}(t).\,}$

Tomando la derivada con respecto al tiempo, esto toma la forma más familiar

${\displaystyle \nabla _{{\dot {\gamma }}(t)}{\dot {\gamma }}=0.\,}$

Transporte paralelo en geometría riemanniana

En geometría ( pseudo ) Riemann , una conexión métrica es cualquier conexión cuyas asignaciones de transporte paralelo preservan el tensor métrico . Por tanto, una conexión métrica es cualquier conexión Γ tal que, para dos vectores cualesquiera X , Y ∈ T _γ(s)

${\displaystyle \langle \Gamma (\gamma )_{s}^{t}X,\Gamma (\gamma )_{s}^{t}Y\rangle _{\gamma (t)}=\langle X,Y\rangle _{\gamma (s)}.}$

Tomando la derivada en t = 0, el operador diferencial asociado ∇ debe satisfacer una regla del producto con respecto a la métrica:

${\displaystyle Z\langle X,Y\rangle =\langle \nabla _{Z}X,Y\rangle +\langle X,\nabla _{Z}Y\rangle .}$

Geodésicas

Si ∇ es una conexión métrica, entonces las geodésicas afines son las geodésicas habituales de la geometría de Riemann y son las curvas que minimizan la distancia localmente. Más precisamente, primero tenga en cuenta que si γ : I → M , donde I es un intervalo abierto, es una geodésica, entonces la norma de es constante en I . En efecto, ${\displaystyle {\dot {\gamma }}}$

${\displaystyle {\frac {d}{dt}}\langle {\dot {\gamma }}(t),{\dot {\gamma }}(t)\rangle =2\langle \nabla _{{\dot {\gamma }}(t)}{\dot {\gamma }}(t),{\dot {\gamma }}(t)\rangle =0.}$

De una aplicación del lema de Gauss se deduce que si A es la norma de entonces la distancia, inducida por la métrica, entre dos puntos suficientemente cercanos en la curva γ , digamos γ ( t ₁ ) y γ ( t ₂ ), está dada por ${\displaystyle {\dot {\gamma }}(t)}$

${\displaystyle {\mbox{dist}}{\big (}\gamma (t_{1}),\gamma (t_{2}){\big )}=A|t_{1}-t_{2}|.}$

La fórmula anterior podría no ser cierta para puntos que no están lo suficientemente cerca ya que la geodésica podría, por ejemplo, envolver la variedad (por ejemplo, en una esfera).

Generalizaciones

El transporte paralelo se puede definir con mayor generalidad para otros tipos de conexiones, no sólo las definidas en un paquete de vectores. Una generalización es para las conexiones principales (Kobayashi y Nomizu 1996, Volumen 1, Capítulo II). Sea P → M un paquete principal sobre una variedad M con estructura de grupo de Lie G y una conexión principal ω. Como en el caso de los paquetes de vectores, una conexión principal ω en P define, para cada curva γ en M , una aplicación

${\displaystyle \Gamma (\gamma )_{s}^{t}:P_{\gamma (s)}\rightarrow P_{\gamma (t)}}$

desde la fibra sobre γ( s ) hasta la fibra sobre γ( t ), que es un isomorfismo de espacios homogéneos : es decir, para cada g ∈ G . ${\displaystyle \Gamma _{\gamma (s)}gu=g\Gamma _{\gamma (s)}}$

También son posibles otras generalizaciones del transporte paralelo. En el contexto de las conexiones de Ehresmann , donde la conexión depende de una noción especial de " elevación horizontal " de espacios tangentes, se puede definir el transporte paralelo mediante elevaciones horizontales . Las conexiones de Cartan son conexiones de Ehresmann con una estructura adicional que permite considerar el transporte paralelo como un mapa que "hace rodar" un determinado espacio modelo a lo largo de una curva en la variedad. Este balanceo se llama desarrollo .

Aproximación: escalera de Schild

Dos peldaños de la escalera de Schild . Los segmentos A ₁ X ₁ y A ₂ X ₂ son una aproximación de primer orden del transporte paralelo de A ₀ X ₀ a lo largo de la curva.

El transporte paralelo puede aproximarse discretamente mediante la escalera de Schild , que toma pasos finitos a lo largo de una curva, y aproxima los paralelogramoides de Levi-Civita mediante paralelogramos aproximados .

Ver también

• Introducción básica a las matemáticas del espacio-tiempo curvo.
• Conexión (matemáticas)
• Desarrollo (geometría diferencial)
• conexión afín
• Derivada covariante
• Geodésica (relatividad general)
• Fase geométrica
• Derivado de mentira
• escalera de schild
• Paralelogramoide de Levi-Civita
• curva paralela , nombre similar, pero noción diferente

Notas

1. En algunas fuentes como Spivak ^[1]

Citas

1. Spivak 1999, pág. 234, vol. 2, cap. 6.
2. (Kobayashi y Nomizu 1996, Volumen 1, Capítulo III)

Referencias

• Guggenheimer, Heinrich (1977), Geometría diferencial , Dover, ISBN 0-486-63433-7
• Knebelman (1951), "Espacios de paralelismo relativo", Annals of Mathematics , 2, The Annals of Mathematics, vol. 53, núm. 3, 53 (3): 387–399, doi :10.2307/1969562, JSTOR  1969562
• Kobayashi, Shoshichi; Nomizu, Katsumi (1996), Fundamentos de la geometría diferencial, volumen 1 , Wiley-Interscience, ISBN 0-471-15733-3; Volumen 2, ISBN 0-471-15732-5 . 
• Lumiste, Ü. (2001) [1994], "Conexiones en una variedad", Enciclopedia de Matemáticas , EMS Press
• Spivak, Michael (1999). Una introducción completa a la geometría diferencial, vol. II. Prensa de publicar o perecer . ISBN 0914098713.

enlaces externos

• Demostración de geometría esférica. Un subprograma que demuestra el transporte paralelo de vectores tangentes en una esfera.