Differentialformen

Differentialformen sind antisymmetrische Objekte, die über orientierte Mannigfaltigkeiten integriert werden können, und die äußere Ableitung vereint zusammen mit dem Satz von Stokes die klassischen Sätze der Vektorrechnung in einer einzigen Aussage.

Definition

Eine Differential-k-Form auf einer glatten Mannigfaltigkeit ist ein glattes Feld alternierender k-linearer Funktionen auf den Tangentialräumen; Formen können addiert, mittels Keilprodukt multipliziert, durch die äußere Ableitung differenziert und über orientierte k-dimensionale Untermannigfaltigkeiten integriert werden.

Scope

Dieses Thema entwickelt die äußere Algebra der Differentialformen, das Keilprodukt, die äußere Ableitung und den Pullback unter glatten Abbildungen. Es definiert die Orientierung und Integration von Formen höchsten Grades, gipfelnd im verallgemeinerten Satz von Stokes, und führt die de Rham-Kohomologie als das Hindernis ein, dass eine geschlossene Form exakt ist. Das innere Produkt, die Lie-Ableitung mittels Cartanscher Zauberformel und Anwendungen auf Volumen und Fluss vervollständigen das Bild und verbinden glatte Geometrie mit Topologie.

Core questions

• Warum ist Antisymmetrie die richtige Bedingung für Objekte, die koordinatenunabhängig integriert werden können?
• Wie verallgemeinert die äußere Ableitung Gradient, Rotation und Divergenz auf einmal?
• Wie vereinigt der Satz von Stokes den Fundamentalsatz der Analysis, die Sätze von Green, Gauß und den klassischen Satz von Stokes?
• Was misst die de Rham-Kohomologie über geschlossene Formen, die nicht exakt sind?

Key concepts

• Äußere Algebra und das Keilprodukt
• Äußere Ableitung und Pullback
• Orientierung und Integration von Formen
• Verallgemeinerter Satz von Stokes
• De Rham-Kohomologie und geschlossene versus exakte Formen

Clinical relevance

Differentialformen sind die natürliche Sprache des Elektromagnetismus (Maxwell-Gleichungen als Formgleichungen), der Hamiltonschen Mechanik (symplektische Formen) und der Eichtheorie, und sie verbinden die Differentialgeometrie durch den Satz von de Rham mit der algebraischen Topologie.

History

Aufbauend auf Grassmanns äußerer Algebra entwickelte Cartan im frühen 20. Jahrhundert den Kalkül der Differentialformen; de Rhams Satz (1931) verknüpfte deren Kohomologie mit der Topologie der Mannigfaltigkeit, wodurch Formen sowohl für die Geometrie als auch für die Topologie zentral wurden.

Key figures

• Élie Cartan
• Georges de Rham
• Hermann Grassmann

Seminal works

• lee2012
• tu2011

Frequently asked questions

Warum müssen Formen antisymmetrisch sein?

Antisymmetrie kodiert die Orientierung und macht die Integration über orientierte Mannigfaltigkeiten koordinatenunabhängig – die Jacobi-Determinante der Variablentransformation erscheint genau als die Determinante, die das Keilprodukt erzeugt.

Was ist der Unterschied zwischen einer geschlossenen und einer exakten Form?

Eine geschlossene Form hat eine äußere Ableitung von Null; eine exakte Form ist die äußere Ableitung einer anderen Form. Jede exakte Form ist geschlossen, und die de Rham-Kohomologie misst, wie viele geschlossene Formen nicht exakt sind.