Vektorwertige Differentialformen

Als Vektorwertige Differentialformen bezeichnet man in der Mathematik eine Verallgemeinerung des Begriffs der Differentialformen auf Funktionen, die jedem Punkt einer Mannigfaltigkeit eine vektorwertige multilineare und alternierende Abbildungen zuordnen.

Ein wichtiger Spezialfall bilden sogenannte Lie-Algebra-wertige Differentialformen, die zum Beispiel eine wichtige Anwendung in der Theorie der Zusammenhänge und Krümmung eines Hauptfaserbündels finden.

Eine Verallgemeinerung des Konzepts der vektorwertigen Differentialformen sind Vektorbündelwertige Differentialformen.

Motivation

Im Folgenden bezeichne ${\mathcal {M}}$ stets eine $d$-dimensionale glatte Mannigfaltigkeit mit oder ohne Rand.

Eine Differentialform vom Grad $k\in \mathbb {N}$ ist eine glatte Abbildung $\omega$, die jedem Punkt $p\in {\mathcal {M}}$ eine multilineare und alternierende Abbildung der Form

$\omega _{p}:\underbrace {T_{p}{\mathcal {M}}\times \dots \times T_{p}{\mathcal {M}}} _{k-\mathrm {mal} }\to \mathbb {R}$

zuordnet. In vielen Bereichen ist es erforderlich, dieses Konzept zu verallgemeinern. Sei $V$eine endlich-dimensional reeller Vektorraum. Dann bezeichnet man eine glatte Abbildung $\omega$, die jedem Punkt $p\in {\mathcal {M}}$ eine multilineare und alternierende Abbildung der Form

$\omega _{p}:\underbrace {T_{p}{\mathcal {M}}\times \dots \times T_{p}{\mathcal {M}}} _{k-\mathrm {mal} }\to V$

zuordnet, als „$V$-wertige Differentialform vom Grad $k$“.

Definition

Um das oben beschriebene Konzept präziser zu definieren, muss zuvor geklärt werde, was es bedeutet für eine derartige Abbildung „glatt“ zu sein. Man definiert hierzu die Menge

$L_{\mathrm {alt} }^{k}(T{\mathcal {M}},V):=\coprod _{p\in {\mathcal {M}}}L_{\mathrm {alt} }^{k}(T_{p}{\mathcal {M}},V)$

wobei $L_{\mathrm {alt} }^{k}(T_{p}{\mathcal {M}},V)$ die Menge aller multilinearen und alternierenden Abbildungen von $k$ Kopien des Tangentialraums $T_{p}{\mathcal {M}}$ zum Vektorraum $V$ bezeichnen. Es lässt sich zeigen, dass diese Menge eine eindeutig bestimmte glatte Struktur besitzt, sodass $L_{\mathrm {alt} }^{k}(T{\mathcal {M}},V)$ zusammen mit der Projektion ein glattes Vektorbündel bildet (sie zum Beispiel Glatter Funktor). Eine $V$-wertige Differentialform vom Grad $k$ ist dann gerade ein glatter Schnitt in diesem Bündel. Ähnlich wie im Falle reeller Differentialformen, ist es allerdings üblich eine etwas abstraktere Definition zu wählen. Hierfür beobachtet man, dass das Vektorbündel $L_{\mathrm {alt} }^{k}(T{\mathcal {M}},V)$ isomorph zum Tensorprodukt der $k$-äußeren Potenz des Kotangentialbündels mit dem trivialen Vektorbündel ${\mathcal {M}}\times V$ ist:

$L_{\mathrm {alt} }^{k}(T{\mathcal {M}},V)\cong {\bigwedge }^{k}T^{\ast }{\mathcal {M}}\otimes ({\mathcal {M}}\times V)$

Das Bündel auf der rechten Seite ist also das Vektorbündel

${\bigwedge }^{k}T^{\ast }{\mathcal {M}}\otimes ({\mathcal {M}}\times V)=\coprod _{p\in {\mathcal {M}}}{\bigwedge }^{k}T_{p}^{\ast }{\mathcal {M}}\otimes V$

wobei die Definition der $k$-ten äußeren Potenz ${\bigwedge }^{k}T_{p}^{\ast }{\mathcal {M}}$ im Artikel Graßmann-Algebra erklärt wird.

Man bezeichnet einen glatten Schnitt in diesem Bündel als „$V$-wertige Differentialform vom Grad $k$“. Die Menge aller derartigen Funktionen wird mit

$\Omega ^{k}({\mathcal {M}},V):=\Gamma ({\bigwedge }^{k}T^{\ast }{\mathcal {M}}\otimes ({\mathcal {M}}\times V))$

bezeichnet. Im Falle $V=\mathbb {R}$ erhält man die Menge aller reellen Differentialformen.

Alternativ, lassen sich $V$-wertige Differentialformen auch als Elemente von $L_{\mathrm {alt} }^{k}({\mathfrak {X}}({\mathcal {M}}),C^{\infty }({\mathcal {M}},V))$ auffassen. Ist nämlich $\omega \in \Omega ^{k}({\mathcal {M}},V)$, dann lässt sich ein Element ${\widetilde {\omega }}\in L_{\mathrm {alt} }^{k}({\mathfrak {X}}({\mathcal {M}}),C^{\infty }({\mathcal {M}},V))$ durch

${\widetilde {\omega }}(X_{1},\dots ,X_{k})(p):=\omega _{p}(X_{1},(p),\dots ,X_{k}(p))$

für alle $p\in {\mathcal {M}}$ und für alle $X_{1},\dots ,X_{k}\in {\mathfrak {X}}({\mathcal {M}})$ definieren. Die Zuordnung $\omega \mapsto {\widetilde {\omega }}$ ist bijektiv und definiert einen $C^{\infty }({\mathcal {M}})$-Modul-Isomorphismus

$\Omega ^{k}({\mathcal {M}},V)\cong L_{\mathrm {alt} }^{k}({\mathfrak {X}}({\mathcal {M}}),C^{\infty }({\mathcal {M}},V))$.

Wählt man eine Basis $(e_{1},\dots ,e_{n})$ von $V$, wobei $n:=\mathrm {dim} _{\mathbb {R} }(V)$, dann lässt sich $\omega \in \Omega ^{k}({\mathcal {M}},V)$ schreiben als $\omega =\sum _{i=1}^{n}\omega ^{i}e_{i}$, wobei $\omega ^{i}\in \Omega ^{k}({\mathcal {M}})$.

Äußeres Produkt

Im Gegensatz zu reellen Differentialformen lässt sich ein äußeres Produkt nicht direkt definieren. Kombiniert man den Begriff allerdings mit bilinearen Abbildungen, so lässt sich eine ganze Klasse von Produkten für vektorwertige Differentialformen definieren. Seien hierzu $U,V,W$ endlichdimensionale reelle Vektorräume und $\mu :U\times V\to W$ eine bilineare Abbildung. Dann lässt sich zeigen, dass für $\alpha \in \Omega ^{k}({\mathcal {M}},V)$ und $\beta \in \Omega ^{l}({\mathcal {M}},V)$ durch

$(\alpha \wedge _{\mu }\beta )_{p}(v_{1},\dots ,v_{k+l}):={\frac {1}{k!l!}}\sum _{\sigma \in {\mathfrak {S}}^{k+l}}\operatorname {sgn} (\sigma )\mu (\alpha _{p}(v_{\sigma (1)},\dots ,v_{\sigma (k)}),\beta _{p}(v_{\sigma (k+1)},\dots ,v_{\sigma (k+l)}))$

für all $p\in {\mathcal {M}}$ und für alle $v_{1},\dots ,v_{k+l}\in T_{p}{\mathcal {M}}$ ein Element von $\Omega ^{k+l}({\mathcal {M}},V)$ definiert wird. Ein wichtiger Spezialfall dieser Konstruktion ist durch eine Algebra $(A,\cdot )$ gegeben, wobei $A$ einen endlich-dimensional reellen Vektorraum und $\cdot$ das zugehörige bilineare Produkt bezeichne. Handelt es sich bei dieser Algebra um eine Lie-Algebra $({\mathfrak {g}},[\cdot ,\cdot ])$, so notiert man das oben definierte Produkt üblicherweise als $[\alpha \wedge \beta ]$, $[\alpha ,\beta ]$ oder $\alpha \wedge \beta$. Wichtig dabei ist, dass im Allgemeinen $[\alpha \wedge \alpha ]\neq 0$.

Äußere Ableitung

Die äußere Ableitung lässt sich komponentenweise definieren. Sei hierzu $(e_{1},\dots ,e_{n})$ eine Basis von $V$, wobei $n:=\mathrm {dim} _{\mathbb {R} }(V)$. Dann definiert man die äußere Ableitung für $\textstyle \omega =\sum _{i=1}^{n}\omega ^{i}e_{i}$ durch

$\mathrm {d} \omega :=\sum _{i=1}^{n}(\mathrm {d} \omega ^{i})e_{i}$.

Es lässt sich leicht zeigen, dass diese Definition unabhängig von der gewählten Basis ist. Die äußere Ableitung hat die folgenden Eigenschaften:

• Sie ist $\mathbb {R}$-linear
• $d\circ d=0$
• Sind $U,V,W$ endlichdimensionale reelle Vektorräume und $\mu :U\times V\to W$ eine bilineare Abbildung. Dann gilt

$\mathrm {d} (\alpha \wedge _{\mu }\beta )=(\mathrm {d} \alpha )\wedge _{\mu }\beta +(-1)^{\mathrm {deg} (\alpha )}\alpha \wedge _{\mu }(\mathrm {d} \beta )$.

Fasst man $V$-wertige Differentialformen als Elemente von $L_{\mathrm {alt} }^{k}({\mathfrak {X}}({\mathcal {M}}),C^{\infty }({\mathcal {M}},V))$ auf, dann gilt die folgende globale und koordinatenfreie Formel für $\omega \in \Omega ^{k}({\mathcal {M}},V)$

$(\mathrm {d} \omega )(X_{0},\dots ,X_{k})=\sum _{i=0}^{k}(-1)^{i+1}X_{i}(\omega (X_{0},\dots ,{\hat {X}}_{i},\dots ,X_{k+1}))+\sum _{0\leq i<j\leq k}(-1)^{i+j}\omega ([X_{i},X_{j}],X_{0},\dots ,{\hat {X}}_{i},\dots ,{\hat {X}}_{j},\dots ,X_{k+1})$

für alle $X_{0},\dots ,X_{k}\in {\mathfrak {X}}({\mathcal {M}})$. Hierbei bezeichnet $X(f):=\mathrm {d} f(X)$ für eine Funktion $f\in C^{\infty }({\mathcal {M}},V)$.

Beispiele

• Die Maurer-Cartan-Form einer Lie-Gruppe $G$ ist eine ${\mathfrak {g}}$-wertige $1$-form auf $G$.
• Der Zusammenhang eines Hauptfaserbündels $\pi :P\to {\mathcal {M}}$ mit Strukturgruppe $G$ ist eine ${\mathfrak {g}}$-wertige $1$-form auf $P$. Die zugehörige Krümmung ist eine ${\mathfrak {g}}$-wertige $2$-form auf $P$. Dies findet zum Beispiel Anwendung in der Eichtheorie (siehe zum Beispiel den Artikel Yang-Mills-Theorie).

Literatur

• L. W. Tu: Differential Geometry (= Graduate Texts in Mathematics. Nr. 275). Springer International Publishing, 2017. 
• J. Lee: Manifolds and Differential Geometry (= Graduate Studies in Mathematics. Nr. 107). American Mathematical Society, Providence, Rhode Island 2009.