Paralleltransport

In der Differentialgeometrie bezeichnet Paralleltransport ein Verfahren, geometrische Objekte entlang glatter Kurven in einer Mannigfaltigkeit zu transportieren. Wenn die Mannigfaltigkeit eine kovariante Ableitung (im Tangentialbündel) besitzt, dann kann man Vektoren in der Mannigfaltigkeit entlang von Kurven so transportieren, dass sie bezogen auf den zur kovarianten Ableitung gehörenden Zusammenhang parallel bleiben.

Entsprechend kann man zu jedem Zusammenhang einen Paralleltransport konstruieren. Ein Cartan-Zusammenhang erlaubt sogar das Liften von Kurven aus der Mannigfaltigkeit in das zugehörige Prinzipalbündel. Eine solche Kurvenliftung erlaubt den Paralleltransport von Bezugssystemen, d. h. den Transport einer Basis von einem Punkt zum anderen.

Der zu einem Zusammenhang gehörende Paralleltransport erlaubt also in gewisser Weise, die lokale Geometrie einer Mannigfaltigkeit entlang einer Kurve zu bewegen.

Genau wie sich aus einem Zusammenhang ein Paralleltransport konstruieren lässt, lässt sich umgekehrt aus einem Paralleltransport ein Zusammenhang konstruieren. Insofern ist ein Zusammenhang ein infinitesimales Analogon zu einem Paralleltransport bzw. ein Paralleltransport die lokale Realisierung eines Zusammenhangs.

Neben der lokalen Realisation eines Zusammenhangs liefert ein Paralleltransport auch eine lokale Realisation der Krümmung, die Holonomie. Das Ambrose-Singer-Theorem macht diese Beziehung zwischen Krümmung und Holonomie explizit.

Paralleles Vektorfeld

Sei <math>M</math> eine differenzierbare Mannigfaltigkeit mit Zusammenhang <math>\nabla</math>. Ein Vektorfeld <math>V</math> entlang einer Kurve <math>\gamma</math> heißt parallel entlang <math>\gamma</math>, falls <math>\nabla_{ \gamma '(t)} V(\gamma (t)) = 0</math> für alle <math>t</math> gilt. Ein Vektorfeld heißt parallel, falls es parallel bezüglich jeder Kurve in der Mannigfaltigkeit ist.

Paralleltransport

Sei <math>M</math> eine differenzierbare Mannigfaltigkeit, <math>\gamma : I \to M</math> eine Kurve und <math>t_0, t_1 \in I</math> zwei reelle Zahlen. Dann existiert zu jedem <math>V_0 \in T_{\gamma(t_0)}M</math> ein eindeutiges paralleles Vektorfeld <math>V</math> entlang <math>\gamma</math>, so dass <math>V_0 = V(\gamma(t_0))</math> gilt. Mit Hilfe dieser Existenz- und Eindeutigkeitsaussage kann man die Abbildung, welche man Paralleltransport nennt, definieren. Die Abbildung

<math>\begin{align}

P_{\gamma(t_0), \gamma(t_1)} : T_{\gamma(t_0)}M \to T_{\gamma(t_1)}M, V_0 \mapsto V(\gamma(t_1)) \end{align}</math> welche einem Vektor <math>V_0 \in T_{\gamma(t_0)}M</math> sein eindeutiges paralleles Vektorfeld <math>V</math> ausgewertet an der Stelle <math>\gamma(t_1)</math> zuordnet.

Der Paralleltransport für den Levi-Civita-Zusammenhang

Wichtigster Spezialfall für den Paralleltransport ist der Transport eines Tangentialvektors entlang einer Kurve auf einer riemannschen Mannigfaltigkeit, wobei der Zusammenhang der Levi-Civita-Zusammenhang ist.

Konkret: Ist <math>v_0\in T_pM</math> ein Tangentialvektor am Punkt <math>p</math> und <math>\gamma(t)</math> eine glatte Kurve mit <math>\gamma(0)=p</math>, so heißt ein Vektorfeld <math>v(t)</math> entlang <math>\gamma</math>, d.h. mit <math>v(t)\in T_{\gamma(t)}M</math>, genau dann Paralleltransport von <math>v_0</math>, wenn gilt:

1. <math>\nabla_{\gamma'(t)}v(t)=0</math>
2. <math>v(0)=v_0,</math>

wenn also die kovariante Ableitung von <math>v(t)</math> entlang <math>\gamma</math> verschwindet.

Hierbei handelt es sich um ein lineares Anfangswertproblem 1. Ordnung, von dem man die Existenz und Eindeutigkeit einer Lösung zeigen kann.

Der Betrag eines Vektors, der parallel verschoben wird ist konstant:

<math>\frac{d}{dt}g(v(t),v(t)) = 2 g(\nabla_{\gamma'(t)}v(t), v(t)) = 2\cdot 0 = 0.</math>

Der Paralleltransport entlang einer Geodätischen

Im Falle, dass <math>\gamma</math> eine Geodätische ist, hat der Paralleltransport besondere Eigenschaften.

Beispielsweise ist der Tangentialvektor einer proportional zur Bogenlänge parametrisierten Geodätischen selber parallel:

<math>\nabla_{\gamma'(t)}\gamma'(t)=0</math>

Denn dies war genau die Definition einer Geodätischen auf einer riemannschen Mannigfaltigkeit.

Der Winkel zwischen dem Tangentialvektor der Geodäte und dem Vektor ist konstant, da die Beträge beider Vektoren ebenfalls konstant sind (siehe oben).

<math>\frac{d}{dt}g(v(t),\gamma'(t)) = g(\nabla_{\gamma'(t)}v(t),\gamma'(t))+g(v(t),\nabla_{\gamma'(t)}\gamma'(t)) = 0+0 = 0.</math>

Paralleltransport in euklidischen Räumen

Im euklidischen Raum <math>\R^n</math> ist die kovariante Ableitung die normale Ableitung in eine bestimmte Richtung. Sie verschwindet, wenn <math>v(t)</math>, abgesehen vom Basispunkt konstant ist, d.h. wenn alle Vektoren <math>v(t)</math> parallel sind.

Der Paralleltransport ist also eine Verallgemeinerung der Parallelverschiebung eines Vektors entlang einer Kurve.

Literatur

• John M. Lee: Riemannian Manifolds. An Introduction to Curvature. Springer, New York 1997, ISBN 0387983228.
• Manfredo Perdigão do Carmo: Riemannian Geometry, Birkhäuser, Boston 1992, ISBN 0-8176-3490-8