Kapitel 12: Mannigfaltigkeiten mit n Dimensionen

12.1 Warum studieren wir Mannigfaltigkeiten mit n Dimensionen?

Es scheint, als ob Mannigfaltigkeiten mit mehr als 4 Dimensionen physikalisch uninteressant sind. Aber man sollte bedenken, dass z.B. die Stringtheorie je nach Variante mehr als 10 Dimensionen verwendet. Aber auch der Konfigurationsraum eines einzigen Teilchens ist bereits eine 6-Mannigfaltigkeit (3 Freiheitsgrade der Position und 3 der Rotation). Auf einer Kugel kann jede geschlossene Kurve auf einen Punkt zusammen gezogen werden. Auf einem Torus geht das nicht immer. Der Phasenraum von N Teilchen hat 6N Dimensionen (je 3 fr Position und 3 fr Impuls pro Teilchen).

12.2 Mannigfaltigkeiten und Koordinatensysteme

In einer n-Mannigfaltigkeit braucht jedes Koordinatensystem n Komponenten x1, .., xn. Wir benutzen hier hochgestellte Indizes, aus Grnden der Kompatibilitt mit der TensorSchreibweise. Wie bei den Koordinaten fr eine Flche gibt es wieder Transformationen fr Koordinaten. Diese Transformationen mssen bei Dreifach-berlappung konsistent sein. Mannigfaltigkeiten mssen immer Hausdorff-Rume sein. Das heit: Fr zwei verschiedene Punkte P1 und P2 gibt es offene Umgebungen, die keinen Punkt gemeinsam haben.

12.3 Skalare, Vektoren, Kovektoren

Die (skalare) Funktion soll glatt auf der n-Mannigfaltigkeit M sein. Das heit auf allen Koordinatensystemen von M soll zu C gehren (beliebig oft differenzierbar sein.) Dort wo sich die Koordinatensysteme berlappen gibt es glatte Transformations-Funktionen. Wir definieren nun ein Vektorfeld auf M ber folgende Eigenschaften: wirkt auf skalare Funktionen und erzeugt ein Feld () nach Art eines Differentiations-Operators. (Ein Kovektor-Feld ist eine Abbildung von einem Vektor-Feld auf ein skalares Feld.) Wir schreiben eine solche Abbildung als ein Skalarprodukt mit den Eigenschaften: (12.1) (+) = + und () = () In der unmittelbaren Umgebung eines Punktes O bilden die Vektoren einen Vektorraum ber den reellen Zahlen. Dieser Vektorraum heit Tangentenraum TO in O. In der unmittelbaren Nhe von O bilden die n Operatoren /xi eine Basis dieses Vektorraums. Der duale Vektorraum zu TO besteht aus Kovektoren der Art d: (12.2) d = () d heit auch Gradient. Was ist der Unterschied zwischen einem Vektor und einem Kovektor? Ein Kovektor legt in jedem Punkt ein n-1-dimensionales Hyper-Ebenen-Element fest. Die Basisvektoren i dieses Ebenen-Elements sind die mit ii=0. (=0). Im speziellen Fall des Kovektors d stehen diese Basisvektoren senkrecht auf den n-1-dimensionalen Hyperebenen mit konstantem .

In Abhngigkeit vom gewhlten Koordinatensystem (x1, , xn) knnen wir das Vektorfeld reprsentieren durch n Komponenten (1, , n). Der Operator hngt von seinen Komponenten ber die Gleichung: (12.3) = 1/x1 ++ n/xn zusammen, wobei diese Komponenten i glatte Funktionen der xi sind. Die Vektoren reprsentieren eine Richtung, und (12.3) ist die nderungsrate in dieser Richtung. Ein Kovektor-Feld wird ebenfalls durch einen Satz von Komponenten reprsentiert: (12.4) = 1 dx1 + + n dxn ist also eine Linearkombination der 1-Formen dx1, , dxn.

12.4 Grassmann-Produkte
Wenn und zwei Vektoren sind, dann ist das Grassmann-Produkt wieder das EbenenProdukt, das von und aufgespannt wird. wird auch als Bivektor bezeichnet. hnlich knnen wir einen Trivektor erklren und allgemein einen n-Vektor. Wir knnen auch den Begriff der 1-Form verallgemeinern: Angenommen wir haben eine Anzahl p von unabhngigen 1-Formen i. Wir bilden ein Grassmann-Produkt 1 p derart, dass ein n-pEbenenelement erzeugt wird, welches die Schnittmenge von jenen (n-1)-Ebenen ist, die von den erzeugt i werden.

12.5 Integrale von Formen

Genau wie 1-Formen entsprechen auch p-Formen einer Dichte. Und genau, wie man die gewhnliche Dichte integriert, um z.B. die Masse eines Krpers zu errechnen, kann man im n-dimensionalen Raum ber die p-Formen integrieren. Wie geht das? Wir denken uns eine Kurve im n-dimensionalen Raum mit einem Parameter x aus [0, 1] der diese Kurve parametriert. Die Funktion f(x) sei auf dieser Kurve definiert. Man kann f(x) integrieren: f(x)dx in den Grenzen von 0 bis 1. f(x)dx kann als 1-Form aufgefasst werden. Diese Auffassung stammt von Elie Cartan, dem genialen franzsischen Mathematiker, und gibt dem Ausdruck f(x)dx eine ganz neue Bedeutung. Die 1-Form =f(x)dx knnte auch mit einem anderen Parameter X die Form F(X)dX annehmen: Das Integral bleibt dasselbe. Wir schreiben einfach . Diese Schreibweise ist parameter-unabhngig. Das Integral f(x,y) dx dy kann mit = f(x,y) dx dy in der Form parameter-unabhngig formuliert werden. Wir fragen uns nun: Gibt es eine Verallgemeinerung des ersten Hauptsatzes der Analysis: Dieser lautet (df(x)/dx) dx = f(b) f(a).

12.6 Externe Ableitungen

Der Operator d soll immer eine p-Form in eine (p+1)-Form umwandeln und folgende Eigenschaften besitzen. (12.5a) d(+) = d + d (12.5b) d() = (d) + (-1)p (d)

(12.5c) d(d) = 0 Wenn eine 1-Form die Eigenschaft hat d=0 dann gibt es lokal, also in der Umgebung von jedem Punkt eine Funktion derart, dass =d. (Diese Behauptung wird ohne Beweis erhoben!!) Dies ist nur ein Spezialfall des wichtigen Poincare-Lemma: wonach fr jede pForm fr die lokal d=0 gilt eine (p-1)-Form existiert mit =d. Der Fundamentalsatz der ueren Analysis lautet: Es sei eine p-Form. Das Integral von d ber ein (p+1)-dimensionales kompaktes gebiet ist gleich dem Integral von ber den Rand dieses Gebietes. Was heit hierbei kompakt? Sicher heit es endlich, und alle Randpunkte mssen zu dem Gebiet gehren. Das Gebiet und sein Rand mssen darber hinaus orientiert sein. D.h. Zu jedem Punkt muss eine Orientierung zugeordnet sein, die den Wert + oder annehmen kann. Auf einer zweidimensionalen Flche knnten wir kleine Kreise mit einem Pfeil ber die Flche verteilen, um die Orientierung zu symbolisieren.

12.7 Volumen-Element und Summen-Konvention

Was ist die Beziehung zwischen einer p-Form und einem (n-p)-Vektor auf einer nMannigfaltigkeit M. Wenn p=n dann geht es um die n-Formen und ein skalares Feld auf M. In diesem Fall ist das n-Flchenelement die gesamte Tangentenebene bezglich . soll eine n-Dichte ohne Orientierung sein. Dann nennt man ein Volumenelement. Man kann ein solches Volumenelement zu einer Mannigfaltigkeit hinzufgen. Man kann ein Volumenelement dazu benutzen, um einen (n-p)-Vektor in eine p-Form zu konvertieren und umgekehrt. Im nchsten Abschnitt lernen wir Tensoren kennen. Tensor-Operationen summieren stndig ber Produkte von Komponenten mit oberen und unteren Indizes. Wenn man sich an die Einsteinsche Summenkonvention hlt, dann lsst man das Summenzeichen weg und summiert ber solche Indizes, die oben und unten vorkommen.

12.8 Tensoren und Indizes

Die Gleichung = rr ist links koordinaten-unabhngig. Die rechte Seite wird von den Physikern bevorzugt. Berechnungen sind nmlich nur mglich in dieser koordinatenabhngigen Darstellung. Ein allgemeiner Tensor ist eine multilineare Gre mit oberen und unteren Indizes: Q i..j k..l.

12.9 Komplexe Mannigfaltigkeiten

Wir gehen von reellen Koordinaten zu komplexen Koordinaten ber. Die komplexe nMannigfaltigkeit kann aufgefasst werden als reellwertige 2n-Mannigfaltigkeit mit einer sehr speziellen komplexen Struktur. Was wir brauchen sind verallgemeinerte Versionen der Cauchy-Riemann-Gleichungen. Diese Gleichungen heien Newlander-NirenbergGleichungen und sollen hier nicht thematisiert werden.