De-Rham-Kohomologie

Die De-Rham-Kohomologie ist eine Kohomologietheorie für glatte Mannigfaltigkeiten. Sie baut auf dem Satz von Stokes auf, und zwar in seiner verallgemeinerten Form. Ein Analogon der De-Rham-Kohomologie für komplexe Mannigfaltigkeiten ist die Dolbeault-Kohomologie.

De-Rham-Komplex

Definition

Sei X eine glatte Mannigfaltigkeit und \Omega^p(X) die Menge der p-Formen auf X. Der De-Rham-Komplex \left(\Omega^p(X) , d^p\right) ist der Kokettenkomplex

0\longrightarrow C^\infty(X) \cong \Omega^0(X) \stackrel{\mathrm{d}^0}{\longrightarrow} \Omega^1(X) \stackrel{\mathrm{d}^1}{\longrightarrow} \Omega^2(X)\stackrel{\mathrm{d}^2}{\longrightarrow} \ldots.

Die Abbildungen \mathrm{d}^p \colon \Omega^p(X)\to\Omega^{p+1}(X) sind durch die Cartan-Ableitung gegeben.

De-Rham-Komplex im dreidimensionalen Raum

Wählt man den \mathbb {R} ^{3} als zugrundeliegende Mannigfaltigkeit so hat der De-Rham-Komplex eine besondere Form. In diesem Fall entsprechen die Cartan-Ableitungen \mathrm{d}^p den, aus der Vektoranalysis bekannten, Differentialoperatoren Gradient \mathrm{grad}, Divergenz \mathrm{div} und Rotation \mathrm{rot}. Konkret heißt es, dass das Diagramm

\begin{array}{rcccccccccl}
0 & \longrightarrow & \Omega^0(\R^3)   & \stackrel{\mathrm{d}^0}{\longrightarrow} & \Omega^1(\R^3) & \stackrel{\mathrm{d}^1}{\longrightarrow} & \Omega^2(\R^3) & \stackrel{\mathrm{d}^2}{\longrightarrow} & \Omega^3(\R^3) & \longrightarrow 0\\
  &  & \big\downarrow = &  & \big\downarrow \sharp &  & \big\downarrow \sharp \circ \star & &  \big\downarrow \star\\
0 & \longrightarrow & C^\infty(\R^3) & \stackrel{\mathrm{grad}}{\longrightarrow} & C^\infty(\R^3,\R^3) & \stackrel{\mathrm{rot}}{\longrightarrow} & C^\infty(\R^3,\R^3) & \stackrel{\mathrm{div}}{\longrightarrow} & C^\infty(\R^3) & \longrightarrow 0
\end{array}

kommutiert, man also das gleiche Ergebnis erhält egal welchen Pfeilen man folgt. Die Abbildungen \sharp und \star sind Diffeomorphismen. So ist \sharp der Sharp-Isomorphismus und \star der Hodge-Stern-Operator.

Definition der De-Rham-Kohomologie

Sei X eine glatte Mannigfaltigkeit. Die k-te De-Rham-Kohomologie-Gruppe \mathrm H^k_{\mathrm{dR}}(X) ist definiert als die k-te Kohomologie-Gruppe des De-Rham-Komplexes. Insbesondere gilt \mathrm H^k_{\mathrm{dR}}(X)=0 für k>\dim X.

Geschichte

In seiner Pariser Dissertation (1931) bewies Georges de Rham mit seinem Satz eine Vermutung von Élie Cartan, die ihrerseits auf Überlegungen von Henri Poincaré zurückging. Da die Kohomologie eines topologischen Raumes erst einige Jahre später thematisiert wurde, arbeitete er tatsächlich mit der Homologie und dem (aufgrund des Satzes von Stokes) dualen Komplex der n-Ketten.

Homotopieinvarianz

Seien M und N zwei homotopieäquivalente glatte Mannigfaltigkeiten, dann gilt für jedes p \in \N \cup \{0\}

 \mathrm H^p_{\mathrm{dR}}(M) \cong \mathrm H^p_{\mathrm{dR}}(N).

Da also zwei homotope, glatte Mannigfaltigkeiten bis auf Isomorphie die gleiche de-Rham-Kohomologie besitzen, ist diese Kohomologie eine topologische Invariante einer glatten Mannigfaltigkeit. Das ist bemerkenswert, da bei der Definition der de-Rham-Gruppe die differenzierbare Struktur der Mannigfaltigkeit eine wichtige Rolle spielt. Man hat also erstmal keinen Grund anzunehmen, dass eine topologische Mannigfaltigkeit mit unterschiedlichen differenzierbaren Strukturen dieselben de-Rham-Gruppen hat.

Satz von de Rham

Die zentrale Aussage in der Theorie der De-Rham-Kohomologie wird Satz von de Rham genannt. Er besagt, dass die de-Rham-Kohomologie H^*_{\mathrm{dR}}(X) glatter Mannigfaltigkeiten natürlich isomorph zur singulären Kohomologie \mathrm H^*_{\mathrm{sing}}(X,\mathbb R) mit Koeffizienten in den reellen Zahlen ist. Mit H_*^{\mathrm{sing}}(X) wird die singuläre Homologie bezeichnet. Es gilt also

\mathrm H^*_{\mathrm{sing}}(X,\mathbb R)\cong\mathrm H^*_{\mathrm{dR}}(X).

Sei c \in H_p^{\mathrm{sing}}(X) ein Element der p-ten singulären Homologiegruppe. Dann wird der Isomorphismus durch die Abbildung

\omega \in H^p_{\mathrm{dR}}(X) \mapsto \left(c \mapsto \int_c \omega \right) \in \operatorname{Hom}\left(H_p^{\mathrm{sing}}(X), \R\right)

beschrieben. Dabei wurde H^*_{\mathrm{sing}}(X,\mathbb R) mit \operatorname{Hom}\left(H_p^{\mathrm{sing}}(X), \R\right) identifiziert (siehe auch Universelles Koeffiziententheorem). Diese Abbildung heißt De-Rham-Homomorphismus oder De-Rham-Isomorphismus.

Beispiele einiger de-Rham-Gruppen

Das Berechnen der de-Rham-Gruppen ist oftmals schwierig, darum folgen nun wenige Beispiele. Es sei immer vorausgesetzt, dass die betrachteten Mannigfaltigkeiten glatt sind.

Trenner
Basierend auf einem Artikel in: Wikipedia.de
Seitenende
Seite zurück
©  biancahoegel.de
Datum der letzten Änderung:  Jena, den: 19.10. 2021