Kurs:Differentialgeometrie (Osnabrück 2023)/Vorlesung 24/kontrolle

Zu einer differenzierbaren Hyperfläche ${}Y\subseteq \mathbb {R} ^{n}$ ist für jeden Punkt ${}P\in Y$ der Tangentialraum ein Untervektorraum ${}T_{P}Y\subseteq \mathbb {R} ^{n}$ und das Standardskalarprodukt des ${}\mathbb {R} ^{n}$ erlaubt über die orthogonale Projektion

$\pi _{P}\colon \mathbb {R} ^{n}\longrightarrow T_{P}Y,$

Daten im umgebenden Raum auf der Hyperfläche zu interpretieren und dadurch wichtige Konzepte für ${}Y$ einzuführen, wie beispielsweise die tangentiale Beschleunigung, geodätische Kurven, die Krümmung, die kovariante Ableitung eines Vektorfeldes, ein paralleles Vektorfeld und den Paralleltransport. Das Standardskalarprodukt definiert aber auch eine riemannsche Struktur auf ${}Y$, und es erhebt sich die Frage, ob man die eben erwähnten Konzepte auch intrinsisch, nur durch Kenntnis von ${}Y$ und ihrer riemannschen Struktur, definieren kann (beispielsweise für die hyperbolische Fläche). Um diese Frage beantworten zu können, muss man eine neue Technik einführen, die sogenannten Zusammenhänge auf einem Vektorbündel und insbesondere auf dem Tangentialbündel einer differenzierbaren Mannigfaltigkeit. Im Fall einer riemannschen Mannigfaltigkeit ergibt sich in kanonischer Weise der sogenannte Levi-Civita-Zusammenhang (siehe Satz 26.12), mit dem man die oben erwähnten Konzepte intrinsisch erfassen kann.

Zusammenhänge

Es sei ${}X$ eine reelle differenzierbare Mannigfaltigkeit und

$p\colon E\longrightarrow X$

ein Vektorbündel über ${}X$, das wir ebenfalls als eine differenzierbare Mannigfaltigkeit ansetzen. Die Tangentialabbildung ist eine Abbildung ${}T(p)\colon TE\rightarrow TX$, die in dem kommutativen Diagramm

${\begin{matrix}TE&{\stackrel {T(p)}{\longrightarrow }}&TX&\\\downarrow &&\downarrow &\\E&{\stackrel {p}{\longrightarrow }}&X&\!\!\!\!\!\\\end{matrix}}$

liegt, und wobei für jeden Punkt ${}e\in E$ mit Basispunkt ${}x=p(e)$ die lineare Tangentialabbildung

$T_{e}(p)\colon T_{e}E\longrightarrow T_{x}X$

vorliegt. Diese ist surjektiv, was beispielsweise daraus folgt, dass es bei einem Vektorbündel ${}E$ lokal durch jeden Punkt ${}e\in E$ einen Schnitt gibt. Um eine gemeinsame Basis zu haben, fassen wir ${}T(p)$ als Bündelabbildung

$Tp\colon TE\longrightarrow p^{*}TX$

von Vektorbündeln über ${}E$ auf. Dabei ist

${}p^{*}TX=E\oplus TX=E\times _{X}TX\,$

die direkte Summe von Vektorbündeln über ${}X$, siehe Aufgabe 12.24, wobei wir hier ${}p^{*}TX$ als Vektorbündel über ${}E$ auffassen. Die Faser von ${}p^{*}TX$ über einem Punkt ${}e\in E$ mit Basispunkt ${}x\in p(e)$ ist einfach ${}T_{x}X$ und die Abbildung in der Faser ist nach wie vor

$T_{e}(p)\colon T_{e}E\longrightarrow T_{x}X,$

wobei es in ${}p^{*}TX$ für jedes ${}e\in E$ eine Kopie von ${}T_{x}X$ gibt.

Bemerkung   Referenznummer erstellen

Es sei ${}p\colon E\rightarrow X$ ein differenzierbares Vektorbündel über einer differenzierbaren Mannigfaltigkeit ${}X$. Für eine offene Menge ${}U\subseteq X$, über der ${}E$ trivialisiert, also die Gestalt ${}E{|}_{U}\cong U\times W$ mit einem ${}\mathbb {R}$-Vektorraum ${}W$ hat, ist

${}T{\left(E{|}_{U}\right)}=T(U\times W)=TU\times TW=TU\times W\times W\,,$

und die Tangentialabbildung zu ${}p_{U}\colon E{|}_{U}\rightarrow U$ ist dabei die Projektion auf ${}TU$. Als Bündelhomomorphismus über ${}U\times W$ muss man

${}p^{*}TU=TU\times W=TU\times _{U}(U\times W)\,$

und

$T{\left(E{|}_{U}\right)}=TU\times W\times W\longrightarrow TU\times W$

mit der Projektion auf ${}TU$ und der zweiten Projektion auf ${}W$ nehmen.

Definition Referenznummer erstellen

Es sei ${}p\colon E\rightarrow X$ ein differenzierbares Vektorbündel auf einer differenzierbaren Mannigfaltigkeit ${}X$. Das Kernbündel des surjektiven Bündelhomomorphismus

$T(p)\colon TE\longrightarrow p^{*}TX$

über ${}E$ heißt Vertikalbündel. Es wird mit ${}V$ bezeichnet.

Das Vertikalbündel ist ein Vektorbündel über ${}E$ nach Aufgabe 12.19 und zwar ein Untervektorbündel von ${}TE$.

Lemma Referenznummer erstellen

Es sei ${}p\colon E\rightarrow X$ ein differenzierbares Vektorbündel auf einer ${}C^{2}$- differenzierbaren Mannigfaltigkeit ${}X$. Dann gelten folgende Aussagen.

1. Es liegt eine kurze exakte Sequenz

   $0\,{\stackrel {}{\longrightarrow }}\,V\,{\stackrel {}{\longrightarrow }}\,TE\,{\stackrel {}{\longrightarrow }}\,p^{*}TX\,{\stackrel {}{\longrightarrow }}\,0$

   von Homomorphismen von Vektorbündeln über ${}E$ vor.

2. Für das Vertikalbündel liegt eine Bündelisomorphie ${}V\cong p^{*}E=E\oplus E$ vor.
3. Für jeden Punkt ${}e\in E$ liegt eine kurze exakte Sequenz von Vektorräumen

   $0\,{\stackrel {}{\longrightarrow }}\,E_{p(e)}\,{\stackrel {}{\longrightarrow }}\,T_{e}E\,{\stackrel {}{\longrightarrow }}\,T_{p(e)}X\,{\stackrel {}{\longrightarrow }}\,0$

   vor.

Beweis

1. Dies ist klar.
2. Es gibt einen injektiven Homomorphismus von Vektorbündeln

   $p^{*}E=E\oplus E\longrightarrow TE$

   über ${}E$, der ${}(P,u)$, ${}u\in E_{P}$, auf den Tangentialvektor abbildet, der durch die (vertikale) differenzierbare Kurve

   $\mathbb {R} \longrightarrow E,\,t\longmapsto (P,tu),$

   gegeben ist. Unter

   $TE\longrightarrow p^{*}TX$

   werden diese Tangentialvektoren auf ${}0$ abgebildet, da ja die repräsentierende Kurve unter ${}p\colon E\rightarrow X$ auf ${}P$ abgebildet wird. Daher ist ${}E\subseteq V$ und aus Ranggründen liegt eine Isomorphie vor.

$\Box$

Häufig ist das Vektorbündel ${}E$ gleich dem Tangentialbündel von ${}X$, dann liegt eine kurze exakte Sequenz

$0\,{\stackrel {}{\longrightarrow }}\,p^{*}TX\,{\stackrel {}{\longrightarrow }}\,TTX\,{\stackrel {}{\longrightarrow }}\,p^{*}TX\,{\stackrel {}{\longrightarrow }}\,0$

vor, und man muss stets sorgfältig unterscheiden, ob man das Tangentialbündel links oder rechts meint.

Bemerkung   Bemerkung 24.4 ändern

Es sei

$f\colon \mathbb {R} ^{n}\longrightarrow \mathbb {R}$

eine zweifach stetig differenzierbare Funktion und ${}Y=f^{-1}(0)$ die zugehörige differenzierbare Hyperfläche, die in jedem Punkt regulär sei. Das Tangentialbündel ${}TY$ lässt sich ebenfalls als eine Faser von Funktionen beschreiben, nämlich als

${}{\begin{aligned}TY&={\left\{(P,u)\mid f(P)=0,\,{\left(Df\right)}_{P}{\left(u\right)}=0\right\}}\\&={\left\{(P,u_{1},\ldots ,u_{n})\mid f(P)=0,\,\sum _{i=1}^{n}u_{i}{\frac {\partial f}{\partial x_{i}}}(P)=0\right\}}\\&\subseteq \mathbb {R} ^{n}\times \mathbb {R} ^{n},\end{aligned}}$

siehe Aufgabe 10.15. Wir fassen dabei ${}f$ als Funktion auf dem ${}\mathbb {R} ^{2n}$ auf, die nur von den ersten ${}n$ Variablen abhängt, und wir setzen

${}g(P,u)=\sum _{i=1}^{n}u_{i}{\frac {\partial f}{\partial x_{i}}}(P)\,.$

Das zweite Tangentialbündel ${}TTY$, also das Tangentialbündel zu ${}TY$, können wir entsprechend mit dem totalen Differential zu

$\varphi =(f,g)\colon \mathbb {R} ^{2n}\longrightarrow \mathbb {R} ^{2}$

beschreiben, es ist

${}{\begin{aligned}TTY&={\left\{(P,u,v,w)\mid (P,u)\in TY,\,{\left(D\varphi \right)}_{(P,u)}{\left((v,w)\right)}=0\right\}}\\&\subseteq \mathbb {R} ^{4n}.\end{aligned}}$

Die Jacobi-Matrix, die das totale Differential ${}D\varphi$ beschreibt, ist

${\begin{pmatrix}{\frac {\partial f}{\partial x_{1}}}(P)&\ldots &{\frac {\partial f}{\partial x_{n}}}(P)&0&\ldots &0\\\sum _{i=1}^{n}u_{i}{\frac {\partial }{\partial x_{1}}}{\frac {\partial f}{\partial x_{i}}}(P)&\ldots &\sum _{i=1}^{n}u_{i}{\frac {\partial }{\partial x_{n}}}{\frac {\partial f}{\partial x_{i}}}(P)&{\frac {\partial f}{\partial x_{1}}}(P)&\ldots &{\frac {\partial f}{\partial x_{n}}}(P)\end{pmatrix}}.$

Dies ergibt neben den beiden Bedingungen für den ${}TY$, die sich nur auf ${}P$ und ${}u$ beziehen, die beiden zusätzlichen Bedingungen an alle Variablen, nämlich

${}\sum _{j=1}^{n}v_{j}{\frac {\partial f}{\partial x_{j}}}(P)=0\,$

und

${}\sum _{j=1}^{n}v_{j}{\left(\sum _{i=1}^{n}u_{i}{\frac {\partial }{\partial x_{i}}}{\frac {\partial f}{\partial x_{j}}}(P)\right)}+\sum _{k=1}^{n}w_{k}{\frac {\partial f}{\partial x_{k}}}(P)=0\,.$

Bemerkung   Bemerkung 24.5 ändern

Es sei

$f\colon \mathbb {R} ^{n}\longrightarrow \mathbb {R}$

eine zweifach stetig differenzierbare Funktion und ${}Y=f^{-1}(0)$ die zugehörige differenzierbare Hyperfläche, die in jedem Punkt regulär sei. Wir knüpfen an die Beschreibung des zweiten Tangentialbündels ${}TTY$ aus Bemerkung 24.4 mit den dortigen Bezeichnungen an. Das zurückgezogene Tangentialbündel ${}\pi ^{*}TY$ zu

$\pi \colon TY\longrightarrow Y,$

das zugleich das Vertikalbündel ist, ist

${}{\begin{aligned}V&\cong \pi ^{*}TY\\&=TY\times _{Y}TY\\&={\left\{(P,u,z)\mid f(P)=0,\,\sum _{i=1}^{n}u_{i}{\frac {\partial f}{\partial x_{i}}}(P)=0,\,\sum _{k=1}^{n}z_{k}{\frac {\partial f}{\partial x_{k}}}(P)=0\right\}}.\end{aligned}}$

Wir müssen bestimmen, wie die tangentiale Abbildung ${}T(\pi )\colon TTY\rightarrow \pi ^{*}TY$ und wie die Einbettung des Vertikalbündels in ${}TTY$ aussieht. Nach Aufgabe 24.2 ist

$T(\pi )\colon TTY\longrightarrow \pi ^{*}TY,\,(P,u,v,w)\longmapsto (P,u,v).$

Der Kern davon ist

${}V={\left\{(P,u,0,w)\mid (P,u,0,w)\in TTY\right\}}\subset TTY\,,$

wobei man direkt sieht, dass dann ${}(P,u,w)$ die Bedingung für ${}\pi ^{*}TY$ erfüllt. Die Bündelhomomorphismen in der kurzen exakten Sequenz

$0\,{\stackrel {}{\longrightarrow }}\,\pi ^{*}TY\,{\stackrel {}{\longrightarrow }}\,TTY\,{\stackrel {}{\longrightarrow }}\,\pi ^{*}TY\,{\stackrel {}{\longrightarrow }}\,0$

kann man also in Koordinaten als ${}(P,u,w)\mapsto (P,u,0,w)$ und ${}(P,u,v,w)\mapsto (P,u,v)$ schreiben.

Wenn ${}E$ das triviale Bündel ist, also ${}E=X\times \mathbb {R} ^{r}$, so gibt es eine direkte Zerlegung (über ${}E$) ${}TE=V\oplus p^{*}TX$. Für jeden Punkt ${}e\in E$ repräsentieren dann die Tangentialvektoren ${}t\in V$ die vertikalen Richtungen und ${}t\in p^{*}T_{x}X$ die „horizontalen Richtungen“. Für jedes Vektorbündel kann man lokal mit Hilfe von Trivialisierungen den Tangentialraum ${}T_{e}E$ in die direkte Summe aus vertikalem Raum und horizontalem Raum zerlegen. Allerdings hängen die horizontalen Unterräume wesentlich von der gewählten Trivialisierung ab und lassen sich nicht ohne Weiteres (im Gegensatz zu den vertikalen Unterräumen, die zusammen das Vertikalbündel bilden) zu einem Unterbündel zusammenfassen. Die Existenz eines solchen Bündels wird durch den Begriff des Zusammenhangs beschrieben.

Definition Referenznummer erstellen

Es sei ${}X$ eine differenzierbare Mannigfaltigkeit und ${}E$ ein differenzierbares Vektorbündel auf ${}X$. Unter einem Zusammenhang auf ${}E$ versteht man eine direkte Summenzerlegung des Tangentialbündels ${}TE=V\oplus H$ in zwei Untervektorbündel ${}V$ und ${}H$, wobei ${}V\subseteq TE$ das Vertikalbündel ist. Das Unterbündel ${}H\subseteq TE$ nennt man das Horizontalbündel des Zusammenhangs.

Ein Zusammenhang wird zumeist kurz als ${}\nabla$ bezeichnet, insbesondere, wenn man die durch einen Zusammenhang bestimmten Ableitungsprozesse betonen möchte. Gemäß dieser Definition ist also ein Zusammenhang nichts anderes als ein zum Vertikalbündel komplementäres Unterbündel des Tangentialbündels ${}TE$. Es gibt einige inhaltlich äquivalente Beschreibungen eines Zusammenhangs. Ein Zusammenhang ist äquivalent zu einem Bündelhomomorphismus (der Vertikalprojektion des Zusammenhangs)

$\pi _{\text{vert}}\colon TE\longrightarrow V$

mit

${}\pi _{\text{vert}}\circ \iota =\operatorname {Id} _{V}\,,$

wobei ${}\iota$ die Einbettung von ${}V$ in ${}TE$ bezeichne. Das horizontale Bündel ist dann der Kern von ${}\pi _{\text{vert}}$, und umgekehrt liefert die Summenzerlegung eine Projektion auf die beiden Summanden. Eine solche Summenzerlegung nennt man auch eine Spaltung der kurzen exakten Sequenz. Einen Zusammenhang kann man auf jede offene Teilmenge ${}U\subseteq X$ einschränken.

Beispiel Referenznummer erstellen

Auf dem trivialen Bündel

$p\colon X\times W=W_{X}\longrightarrow X,$

wobei ${}W$ einen reellen Vektorraum der Dimension ${}r$ und ${}X$ eine differenzierbare Mannigfaltigkeit bezeichnet, liegt die kurze exakte Sequenz

$0\,{\stackrel {}{\longrightarrow }}\,p^{*}(X\times W)=X\times W\times W\,{\stackrel {}{\longrightarrow }}\,p^{*}T(X\times W)=TX\times W\times W\,{\stackrel {}{\longrightarrow }}\,p^{*}TX=TX\times W\,{\stackrel {}{\longrightarrow }}\,0$

von Vektorbündeln über ${}X\times W$ vor. Die Produkte werden dabei absolut genommen, wobei links die Identifizierung ${}(X\times W)\times _{X}(X\times W)=X\times W\times W$ und rechts die Identifizierung ${}TX\times _{X}(X\times W)=TX\times W$ vorgenommen wurde. Zu einem Punkt ${}(x,w)\in X\times W$ gehört die exakte Sequenz der Fasern, also

$0\,{\stackrel {}{\longrightarrow }}\,W\,{\stackrel {}{\longrightarrow }}\,T_{x}X\times W\,{\stackrel {}{\longrightarrow }}\,T_{x}X\,{\stackrel {}{\longrightarrow }}\,0.$

Die triviale Spaltung dieser kurzen exakten Sequenz von Vektorbündeln nennt man den trivialen Zusammenhang auf dem trivialen Bündel.

Bemerkung   Bemerkung 24.8 ändern

Es sei

$f\colon \mathbb {R} ^{n}\longrightarrow \mathbb {R}$

eine zweifach stetig differenzierbare Funktion und ${}Y=f^{-1}(0)$ die zugehörige differenzierbare Hyperfläche, die in jedem Punkt regulär sei. Wir knüpfen an die Beschreibung des zweiten Tangentialbündels ${}TTY$ aus Bemerkung 24.4 und an die Bündelhomomorphismen aus Bemerkung 24.5 an. Durch die orthogonale Projektion ${}\mathbb {R} ^{n}\rightarrow T_{P}Y$ erhält man die vertikale Projektion

$TTY\longrightarrow V=p^{*}TY,\,(P,u,v,w)\longmapsto (P,u,\pi _{P}(w)),$

auf das Vertikalbündel. Durch die orthogonale Projektion gehört ${}\pi _{P}(w)$ zum Tangentialraum an ${}Y$, wenn man mit einem Vektor ${}(P,u,w)\in V$ startet, so ist in ${}(P,u,0,w)$ das hintere ${}w$ automatisch im Tangentialraum, die orthogonale Projektion bildet solche Elemente also auf ${}(P,u,w)$ zurück ab. Es ergibt sich also ein Zusammenhang auf ${}TY$.

Vertikale Ableitung

Definition Referenznummer erstellen

Es sei ${}X$ eine differenzierbare Mannigfaltigkeit und ${}E$ ein differenzierbares Vektorbündel auf ${}X$, das mit einem Zusammenhang versehen sei. Unter der vertikalen Ableitung ${}\nabla$ versteht man die Abbildung

$\nabla \colon C^{1}(E)\longrightarrow C^{0}(E\otimes T^{*}X),\,s\longmapsto \nabla (s)=\pi _{\text{vert}}\circ T(s).$

Zu einem differenzierbaren Schnitt ${}s$ in ${}E$ (über ${}X$ oder einer beliebigen offenen Teilmenge ${}U\subseteq X$) wird also die Abbildung

$TX{\stackrel {T(s)}{\longrightarrow }}TE{\stackrel {\pi _{\text{vert}}}{\longrightarrow }}V\cong p^{*}E\longrightarrow E$

zugeordnet, wobei wir ${}\operatorname {Hom} (TX,E)\cong E\otimes T^{*}X$ auffassen.

Wenn zusätzlich ein Vektorfeld ${}F$ auf ${}X$, also ein Schnitt ${}F\colon X\rightarrow TX$ im Tangentialbündel ${}TX$ gegeben ist, so erhält man die Abbildung

$\nabla _{F}\colon C^{1}(E)\longrightarrow C^{0}(E),\,s\longmapsto \nabla _{F}(s)=\nabla (s)\circ F,$

die man die vertikale Ableitung in Richtung ${}F$ nennt. Man beachte, dass dabei die Abhängigkeit vom Vektorfeld ${}F$ nur punktweise ist, die Abhängigkeit von ${}s$ aber infinitesimal ist, da die Tangentialabbildung ${}T(s)$ eingeht.

Lemma Lemma 24.10 ändern

Es sei ${}X$ eine differenzierbare Mannigfaltigkeit und ${}E$ ein differenzierbares Vektorbündel auf ${}X$, das mit einem Zusammenhang versehen sei. Es bezeichne

$\nabla _{F}\colon C^{1}(E)\longrightarrow C^{0}(E)$

den zugehörigen Ableitungsoperator zu einem Vektorfeld ${}F$. Dann gelten die folgenden Eigenschaften.

1. ${}{\left(\nabla _{F}(s)\right)}(P)$ hängt nur von ${}F(P)$ (und ${}s$ ab).
2. Es ist

   ${}\nabla _{g_{1}F_{1}+g_{2}F_{2}}=g_{1}\nabla _{F_{1}}+g_{2}\nabla _{F_{2}}\,$

   für Vektorfelder ${}F_{1},F_{2}$ und Funktionen ${}g_{1},g_{2}\colon X\rightarrow \mathbb {R}$.

Beweis

1. Zu einem fixierten Punkt ${}P\in X$ und einem fixierten Schnitt ${}s\in C^{1}(U,E)$ zu einer offenen Menge ${}P\in U\subseteq X$ ist

   ${}\nabla _{F}(s)(P)=(\pi _{\text{vert}}\circ T_{P}(s))(F(P))\,.$

2. Die Tangentialabbildung und die vertikale Projektion sind linear. Wegen (1) ist die Abhängigkeit von ${}F$ linear und auch mit der Multiplikation von Funktionen verträglich.

$\Box$

Lemma Lemma 24.11 ändern

Es sei ${}Y\subseteq W\subseteq \mathbb {R} ^{n}$, ${}W$ offen, eine differenzierbare Hyperfläche und sei

$F\colon Y\longrightarrow \mathbb {R} ^{n}$

ein tangentiales Vektorfeld.

Dann stimmt die vertikale Ableitung ${}\nabla _{F}$ zum Zusammenhang aus Bemerkung 24.8 mit der kovarianten Ableitung überein.

Beweis

Die vertikale Ableitung längs ${}F$ des Zusammenhangs eines differenzierbaren Schnittes ${}s\colon Y\rightarrow TY$ ist

$Y{\stackrel {F}{\longrightarrow }}TY{\stackrel {T(s)}{\longrightarrow }}TTY{\stackrel {\pi _{\text{vert}}}{\longrightarrow }}TY.$

Dabei bildet ${}T(s)$ einen Punkt ${}(P,u)$ auf ${}(P,u,s(P),{\left(Ds\right)}_{P}{\left(u\right)})$ in der Notation von Bemerkung 24.8 ab und dieses wird auf ${}(P,\pi _{P}{\left({\left(Ds\right)}_{P}{\left(u\right)}\right)})$ abgebildet. Dies stimmt mit der Definition der kovarianten Ableitung überein.

$\Box$