Quelltext der Seite Holonomie

Der [[Mathematik|mathematische]] Begriff der '''Holonomiegruppe''' eines [[Zusammenhang (Differentialgeometrie)|Zusammenhangs]] eines [[Vektorbündel|Vektor-]] oder [[Hauptfaserbündel]]s über einer [[Differenzierbare Mannigfaltigkeit|differenzierbaren Mannigfaltigkeit]] (abgekürzt auch einfach '''Holonomie''') bezeichnet in der [[Differentialgeometrie]] die Gruppe [[Lineare Abbildung|linearer Transformationen]], die durch den [[Paralleltransport]] von Vektoren entlang geschlossener Kurven induziert wird.
Trägt eine Mannigfaltigkeit <math>M</math> eine [[riemannsche Metrik]], so ist deren [[riemannsche Holonomie]] durch die Holonomie des [[Levi-Civita-Zusammenhang]]s auf dem [[Tangentialbündel]] von <math>M</math> gegeben.

== Beispiele ==
[[Datei:Parallel Transport.svg|mini|Durch den Paralleltransport des tangential in Richtung Nordpol ''N'' zeigenden Vektors längs des Weges {{nowrap|''A'' → ''N'' → ''B'' → ''A''}} erfährt der Vektor insgesamt eine Drehung um einen Winkel <math>\alpha</math>]]
Als Beispiel betrachten wir die [[Kugeloberfläche]] <math>S^2</math> mit der Standardmetrik aus dem <math>\R^3</math> . Wir fixieren einen Punkt auf der Kugeloberfläche, etwa <math>A</math> wie in nebenstehender Zeichnung. Ein Element des Tangentialraums <math>T_AS^2</math> ist dann ein tangential an der Kugeloberfläche anliegender Vektor mit Ursprung in <math>A</math>. Wie in nebenstehender Zeichnung angedeutet, betrachten wir den Paralleltransport dieses Vektors längs des geschlossenen Weges <math>A \rightarrow N \rightarrow B \rightarrow A</math>. Dabei wird deutlich, dass der verschobene Vektor im Punkt <math>A</math> im Vergleich zum Ausgangsvektor um einen gewissen Winkel gedreht wurde, und es ist klar, dass jeder andere Vektor aus <math>T_AS^2</math> durch diesen Paralleltransport um denselben Winkel gedreht wird, d.&nbsp;h., die Drehung um diesen Winkel auf dem Raum <math>T_AS^2 \cong \R^2</math> ist ein Element der Holonomiegruppe im Punkt <math>A</math>. Genauso klar ist, dass man durch Verwendung anderer geschlossener Wege auf der Kugeloberfläche jeden Drehwinkel erhalten kann. Damit ist die Holonomiegruppe im Punkt <math>A</math> isomorph zur Gruppe <math>\mathrm{SO}(\R^2) \cong S^1</math> der Drehungen im zweidimensionalen Raum. Da die Kugeloberfläche [[Wegzusammenhang|wegzusammenhängend]] ist, erhält man in jedem Punkt eine isomorphe Holonomiegruppe. Ist nämlich <math>A'</math> ein anderer Punkt und <math>w</math> ein Weg von <math>A</math> nach <math>A'</math>, so erhält man aus einem Paralleltransport am Punkt <math>A'</math> einen solchen am Punkt <math>A</math>, indem man einen Tangentialvektor an <math>A</math> zunächst längs <math>w</math> parallel nach <math>A'</math> verschiebt, dort den gegebenen Paralleltransport am Punkt <math>A'</math> anwendet und das Ergebnis längs des umgekehrten Weges <math>w^{-1}</math> wieder zurück nach <math>A</math> verschiebt. Das definiert offenbar einen Isomorphismus zwischen den Holonomiegruppen an <math>A</math> und <math>A'</math>.

Betrachtet man als weiteres Beispiel den [[Euklidischer Raum|euklidischen Raum]] <math>\R^n</math> mit der euklidischen Metrik, also dem Standardskalarprodukt, so fällt der Parallelitätsbegriff mit der geometrischen Parallelität zusammen. Eine wie auch immer geartete Parallelverschiebung eines Vektors ändert dessen Richtung nicht. Wenn man also längs eines geschlossenen Weges parallelverschiebt, so erhält man den Ausgangsvektor zurück, das heißt, ein Paralleltransport an einem gegebenen Punkt ist immer die [[identische Abbildung]]. Daher ist die Holonomiegruppe in diesem Fall [[Triviale Gruppe|trivial]].

== Bedeutung in der Physik ==
Holonomiegruppen spielen eine große Rolle in der theoretischen Physik, sowohl in der [[Quantenfeldtheorie]] (siehe [[Wilson-Loop]]), als auch im Besonderen in der [[Stringtheorie]]. Hier ist die Holonomiegruppe von kompakten sechs- und siebendimensionalen Mannigfaltigkeiten von Interesse, da bei einer Kompaktifizierung der Theorie auf diesen Räumen die Anzahl der erhaltenen [[Supersymmetrie]] von der maximalen Anzahl [[kovariant konstant]]er [[Spinor]]en abhängt, die wiederum von der Holonomie bestimmt wird. Mannigfaltigkeiten von besonderem Interesse sind sechsdimensionale [[Calabi-Yau-Mannigfaltigkeit]]en mit [[SU(3)]]-Holonomie sowie siebendimensionale Mannigfaltigkeiten mit G2-Holonomie.

== Weblinks ==
* {{MathWorld|HolonomyGroup|Holonomy Group}}

[[Kategorie:Differentialgeometrie]]