Kurs:Riemannsche Flächen (Osnabrück 2022)/Vorlesung 17/kontrolle

Geschlossene Differentialformen

Definition Referenznummer erstellen

Es sei ${}M$ eine differenzierbare Mannigfaltigkeit. Eine ${}1$- Differentialform ${}\omega$ auf ${}M$ heißt exakt, wenn es eine differenzierbare Funktion ${}f$ auf ${}M$ mit ${}df=\omega$ gibt.

Definition Referenznummer erstellen

Es sei ${}M$ eine differenzierbare Mannigfaltigkeit. Eine differenzierbare Differentialform ${}\omega$ auf ${}M$ heißt geschlossen, wenn ihre äußere Ableitung ${}d\omega =0$ ist.

Holomorphe Differentialformen auf einer riemannschen Fläche sind nach Satz 16.15 geschlossen. Eine geschlossene Differentialform ist lokal exakt, das heißt, für jeden Punkt gibt es eine offene Umgebung derart, dass die Form darauf eine Stammfunktion besitzt.

Wegintegrale

Wegintegrale zu einer ${}1$-Form längs eines Weges werden in der höheren Analysis (siehe Kurs:Analysis_(Osnabrück_2014-2016)/Teil_III/Vorlesung_83) und in der Funktionentheorie behandelt. Für den Zusammenhang mit Wegintegralen zu Vektorfelder siehe Aufgabe 17.7.

Definition Referenznummer erstellen

Es sei ${}M$ eine differenzierbare Mannigfaltigkeit und ${}\omega \in {{\mathcal {E}}^{(1)}}{\left(M\right)}$ eine ${}1$- Differentialform. Es sei

$\gamma \colon [a,b]\longrightarrow M$

eine stetig differenzierbare Kurve. Dann heißt

${}\int _{\gamma }\omega :=\int _{[a,b]}\gamma ^{*}\omega =\int _{a}^{b}\omega (\gamma (t);\gamma '(t))\,dt\,$

das Wegintegral von ${}\omega$ längs ${}\gamma$.

Zu einer holomorphen Differentialform ${}\omega =fdz$ auf einer offenen Menge ${}U\subseteq {\mathbb {C} }$ und einem stetig differenzierbaren Weg ${}\gamma \colon [a,b]\rightarrow U$ ist das Wegintegral gleich

${}\int _{\gamma }\omega =\int _{\gamma }fdz=\int _{a}^{b}f(\gamma (t))\gamma '(t)dt\,.$

Beispiel Beispiel 17.4 ändern

Ein wichtiges Standardbeispiel ist die holomorphe Differentialform ${}{\frac {dz}{z}}$ auf ${}U={\mathbb {C} }\setminus \{0\}$. Längs des Einheitskreises mit der trigonometrischen Parametrisierung

$\gamma \colon [0,2\pi ]\longrightarrow {\mathbb {C} }\setminus \{0\},\,t\longmapsto \cos t+{\mathrm {i} }\sin t,$

ist

${}{\begin{aligned}\int _{\gamma }{\frac {dz}{z}}&=\int _{0}^{2\pi }{\frac {1}{\cos t+{\mathrm {i} }\sin t}}{\left(-\sin t+{\mathrm {i} }\cos t\right)}dt\\&={\mathrm {i} }\int _{0}^{2\pi }{\left(\cos t-{\mathrm {i} }\sin t\right)}{\left(\cos t+{\mathrm {i} }\sin t\right)}dt\\&={\mathrm {i} }\int _{0}^{2\pi }\cos ^{2}t+\sin ^{2}tdt\\&={\mathrm {i} }\int _{0}^{2\pi }1dt\\&=2\pi {\mathrm {i} }.\end{aligned}}$

Lemma Lemma 17.5 ändern

Es sei ${}M$ eine differenzierbare Mannigfaltigkeit und ${}\omega$ eine geschlossene Differentialform auf ${}M$ mit Werten in ${}{\mathbb {K} }$.

Dann ist die Zuordnung

$U\mapsto {\mathcal {S}}{\left(U\right)}:={\left\{f:U\rightarrow {\mathbb {K} }{\text{ differenzierbar }}\mid df=\omega {|}_{U}\right\}}$

eine Garbe auf ${}M$.

Beweis

Siehe Aufgabe 17.10.

$\Box$

Diese Garbe beschreibt also die lokalen Stammfunktionen zur ${}1$-Form ${}\omega$. Wir betrachten den zugehörigen Ausbreitungsraum.

Lemma Lemma 17.6 ändern

Es sei ${}M$ eine differenzierbare Mannigfaltigkeit und ${}\omega$ eine geschlossene Differentialform auf ${}M$ mit Werten in ${}{\mathbb {K} }$. Es sei ${}{\mathcal {S}}$ die zugehörige Garbe der lokalen Stammfunktionen aus Lemma 17.5 und sei ${}A_{\omega }$ der zugehörige Ausbreitungsraum. Dann gelten folgende Aussagen.

1. Die natürliche Projektion

   $p\colon A_{\omega }\longrightarrow M$

   ist eine surjektive Überlagerung.

2. Durch

   ${}F(P,f):=f(P)\,$

   ist eine differenzierbare Funktion auf ${}A_{\omega }$ gegeben.

3. Auf ${}A_{\omega }$ ist

   ${}dF=p^{*}\omega \,.$

   Insbesondere ist ${}p^{*}\omega$ exakt.

4. Zu einem stetigen differenzierbaren Weg ${}\gamma \colon [a,b]\rightarrow M$ ist

   ${}\int _{\gamma }\omega =\int _{\tilde {\gamma }}p^{*}\omega =F({\tilde {\gamma }}(b))-F({\tilde {\gamma }}(a))\,,$

   wobei ${}{\tilde {\gamma }}$ eine Liftung von ${}\gamma$ nach ${}A_{\omega }$ ist.

Beweis

1. Nach Lemma 12.9 liegt ein lokaler Homöomorphismus vor. Die Surjektivität ergibt sich daraus, dass ${}\omega$ lokal eine Stammfunktion besitzt. Daraus ergibt sich auch die Überlagerungseigenschaft.
2. Lokal stimmt ${}F$ auf einer offenen Menge von ${}A_{\omega }$ der Form ${}(U,f)$ mit ${}f$ überein.
3. Dies folgt aus (2).
4. Die erste Gleichung folgt aus Satz Anhang.. Die zweite Gleichung folgt daraus, dass ${}F\circ {\tilde {\gamma }}$ nach Aufgabe 17.4 eine Stammfunktion von

   ${}\gamma ^{*}\omega ={\tilde {\gamma }}^{*}{\left(p^{*}\omega \right)}\,$

   ist.

$\Box$

Die folgende Aussage nennt man auch Monodromiesatz, wobei Monodromie eher ein Prinzip ist, das aufgerufen wird, wenn analytische Objekte bereits durch topologische Daten festgelegt sind.

Satz Satz 17.7 ändern

Es sei ${}M$ eine differenzierbare Mannigfaltigkeit und ${}\omega$ eine geschlossene Differentialform auf ${}M$ mit Werten in ${}{\mathbb {K} }$. Es seien

$\gamma _{1},\gamma _{2}\colon [a,b]\longrightarrow M$

stetige differenzierbare homotope Wege.

Dann ist

${}\int _{\gamma _{1}}\omega =\int _{\gamma _{2}}\omega \,.$

Beweis

Es seien ${}{\tilde {\gamma _{1}}}$ bzw. ${}{\tilde {\gamma _{2}}}$ Liftungen von ${}\gamma _{1}$ bzw. ${}\gamma _{2}$ nach ${}A_{\omega }$ (siehe Lemma 17.6) mit dem gleichen Startpunkt

${}{\tilde {\gamma _{1}}}(a)={\tilde {\gamma _{2}}}(a)\,.$

Die Liftungen sind nach Lemma 7.8 wieder zueinander homotop und besitzen daher auch den gleichen Endpunkt. Somit folgt die Aussage aus Lemma 17.6  (4).

$\Box$

Korollar Korollar 17.8 ändern

Es sei ${}M$ eine differenzierbare Mannigfaltigkeit und ${}\omega$ eine geschlossene Differentialform auf ${}M$ mit Werten in ${}{\mathbb {K} }$. Es sei

$\gamma \colon [a,b]\longrightarrow M$

ein stetig differenzierbarer nullhomotoper Weg.

Dann ist

${}\int _{\gamma }\omega =0\,.$

Beweis

Dies ist ein Spezialfall von Satz 17.7.

$\Box$

Wegintegrale auf riemannschen Flächen

Bemerkung   Bemerkung 17.9 ändern

Eine rationale Funktion in ${}x$ und in ${}{\sqrt {ax^{2}+bx+c}}$ lässt sich unter Verwendung von gewissen Standardsubstitutionen elementar integrieren, siehe Lemma 27.8 (Analysis (Osnabrück 2021-2023)). Beispielsweise ist mit ${}x=\sin s$

${}\int {\frac {x}{\sqrt {1-x^{2}}}}dx=\int {\frac {\sin s}{\sqrt {1-\sin ^{2}s}}}d\sin s=\int {\frac {\sin s\cos s}{\sqrt {\cos ^{2}s}}}ds=\int \sin sds\,.$

Eine solche Situation kann man auffassen als eine rationale Funktion ${}R(x,y)$ in zwei Variablen ${}x$ und ${}y$, wobei zusätzlich zwischen den Variablen die algebraische Beziehung ${}y^{2}=ax^{2}+bx+c$ besteht.

Es gibt eine Reihe von geometrisch relevanten Problemen, die auf ähnliche Integrale führen, wobei allerdings keine algebraische Beziehung zwischen den Variablen vom Grad ${}2$, sondern von höherem Grad vorliegt. Die Berechnung der Länge einer Ellipse oder einer sogenannten Lemniskate (siehe Beispiel Anhang.) führt zu Integralen der Form ${}\int {\frac {\sqrt {g(x)}}{1-x^{2}}}$ mit einem Polynom ${}g(x)$ vom Grad ${}4$ bzw. ${}\int {\frac {1}{\sqrt {1-x^{4}}}}$. Diese Integrale sind nicht elementar integrierbar, ihre Behandlung erfordert neuartige Ansätze, die sich in der Theorie von Wegintegralen auf riemannschen Flächen niederschlagen.

Wir fixieren die folgende Situation.

Lemma Lemma 17.10 ändern

Es sei ${}R(z,w)$ eine rationale Funktion in den beiden Variablen ${}z$ und ${}w$ und es sei ${}P(z,w)$ ein Polynom in ${}z$ und ${}w$, das kein Teiler des Nenners von ${}R$ sei. Es sei

${}V={\left\{(z,w)\mid P(z,w)=0,\,glatt\right\}}\subseteq {\mathbb {C} }^{2}\,$

das glatte Nullstellengebilde zu ${}P$. Es sei

$\beta \colon [a,b]\longrightarrow {\mathbb {C} },\,t\longmapsto \beta (t),$

ein differenzierbarer Weg mit ${}P(t,\beta (t))=0$ für ${}t\in [a,b]$ und es sei ${}R(t,\beta (t))$ ohne Polstelle auf dem Intervall.

Dann ist ${}\omega =R(z,w)dz$ eine holomorphe Differentialform auf einer offenen Menge von ${}V$ und

${}\int _{a}^{b}R(t,\beta (t))dt=\int _{\gamma }\omega \,,$

wobei ${}\gamma (t)=(t,\beta (t))$ ist.

Beweis

Nach Lemma 14.5 sind ${}z$ und ${}w$ holomorphe Funktionen auf dem glatten Nullstellengebilde und daher ist auch ${}R(z,w)$ auf einer offenen Teilmenge davon eine holomorphe Funktion und somit liegt eine holomorphe Differentialform vor. Nach der Definition von Wegintegralen ist

${}{\begin{aligned}\int _{\gamma }\omega &=\int _{\gamma }R(z,w)dz\\&=\int _{a}^{b}\gamma ^{*}{\left(R(z,w)dz\right)}\\&=\int _{a}^{b}R(t,\beta (t))dt.\end{aligned}}$

$\Box$

Beispiel Referenznummer erstellen

Im Beispiel aus Bemerkung 17.9 sind die Bezeichnungen aus Lemma 17.10 als

${}P=x^{2}+y^{2}-1\,,$

das Nullstellengebilde ist also reell ein Kreis (komplex eine Quadrik) und die holomorphe Differentialform darauf ist ${}{\frac {x}{y}}dx$. Eine elementare Integration ist möglich, da der Kreis ein einfach zu parametrisierendes Gebilde ist.

Lemma Lemma 17.12 ändern

Es sei ${}f\in \mathbb {R} [Z]$ ein reelles Polynom vom Grad ${}\geq 3$ ohne mehrfache komplexe Nullstelle und sei ${}V={\left\{(z,w)\mid w^{2}=f(z)\right\}}\subseteq {\mathbb {C} }^{2}$ die zugehörige riemannsche Fläche. Es seien ${}a<b$ benachbarte reelle Nullstellen von ${}f$ mit ${}f(x)\geq 0$ für ${}x\in [a,b]$. Es sei ${}\gamma \colon [0,1]\rightarrow V$ der geschlossene Weg, dessen ${}z$-Koordinate linear von ${}a$ nach ${}b$ und zurück läuft und dessen ${}w$-Koordinate zuerst die positive Wurzel und dann die negative Wurzel von ${}f$ durchläuft.

Dann ist

${}\int _{\gamma }{\frac {dz}{w}}>0\,.$

Insbesondere ist ${}\gamma$ nicht nullhomotop in ${}V$.

Beweis

Die Form ${}{\frac {dz}{w}}$ ist nach Lemma 15.10 eine holomorphe Differentialform (hierzu braucht man Grad ${}\geq 3$). Auf dem Hinweg ist der Integrand positiv, auf dem Rückweg ebenfalls, da dort ${}dz(t)$ negativ und auch ${}w(t)$ negativ ist. Der Zusatz folgt aus Korollar 17.8.

$\Box$

In der vorstehenden Situation weiß man insbesondere, dass es nicht nullhomotope Wege auf dem Nullstellengebilde gibt. Insbesondere ist diese riemannsche Fläche nicht einfach zusammenhängend.

Der Residuensatz

Wie in der Funktionentheorie definiert man das Residuum in einem Punkt ${}P$ einer ${}1$-Form ${}\omega$ auf einer riemannschen Fläche ${}X$, die in ${}X\setminus \{P\}$ holomorph ist, durch

${}\operatorname {Res} _{P}\left(\omega \right)={\frac {1}{2\pi {\mathrm {i} }}}\int _{\gamma }\omega \,,$

wobei ${}\gamma$ einen einfach gegen den Uhrzeigersinn durchlaufenen Weg um ${}P$ innerhalb einer Kartenumgebung bezeichnet, die biholomorph zu einer offenen Kreisscheibe ist. Dies stimmt mit dem Koeffizienten ${}c_{-1}$ der Laurent-Entwicklung überein.

Satz Satz 17.13 ändern

Es sei ${}X$ eine kompakte riemannsche Fläche, es sei

${}D=\{P_{1},\ldots ,P_{n}\}\subseteq X\,$

eine endliche Teilmenge in ${}X$ und ${}\omega$ eine holomorphe Differentialform auf ${}X\setminus D$.

Dann ist

${}\sum _{i=1}^{n}\operatorname {Res} _{P_{i}}\left(\omega \right)=0\,.$

Beweis

Wir wählen zu jedem Punkt ${}P_{i}$ offene Kartenumgebungen ${}V_{i}$, die zueinander disjunkt und biholomorph zu einer offenen Menge ${}{\tilde {V}}_{i}\subseteq {\mathbb {C} }$ sind. Es sei

${}{\tilde {P}}_{i}\in {\tilde {U}}_{i}\subseteq {\tilde {B}}_{i}\subseteq {\tilde {V}}_{i}\,$

eine offene Kreisscheibe um den Kartenbildpunkt zu ${}P_{i}$ innerhalb von ${}{\tilde {V}}_{i}$. Es sei ${}{\tilde {B}}_{i}$ die abgeschlossene Kreisscheibe zu ${}{\tilde {U}}_{i}$, die ganz innerhalb von ${}{\tilde {V}}_{i}$ sei. Es sei ${}{\tilde {S}}_{i}$ der Kreisrand von ${}{\tilde {B}}_{i}$ und sei ${}{\tilde {\gamma }}$ ein einfacher Durchlauf durch ${}{\tilde {S}}_{i}$ gegen den Uhrzeigersinn. Es seien ${}U_{i},B_{i},S_{i},\gamma _{i}$ die entsprechenden Objekte auf ${}X$. Wir betrachten die abgeschlossene und damit kompakte Untermannigfaltigkeit mit Rand

${}M:=X\setminus \bigcup _{i=1}^{n}U_{i}\,,$

der Rand ist ${}\bigcup _{i=1}^{n}S_{i}$. Die Untermannigfaltigkeit ${}M$ und ihr Rand erben von der riemannschen Fläche die Orientierung. Die ${}1$-Form ${}\omega$ ist auf ${}M$ geschlossen, da dies nach Satz 16.15 auf ${}X\setminus D$ gilt. Daher ist der Satz von Stokes anwendbar und ergibt

${}0=\int _{M}d\omega =\int _{\partial M}\omega =\sum _{i=1}^{n}\int _{\gamma _{i}}\omega =\sum _{i=1}^{n}-2\pi {\mathrm {i} }\cdot \operatorname {Res} _{P_{i}}\left(\omega \right)\,.$

(das Minuszeichen rührt daher, dass die ${}S_{i}$ die Orientierung als Rand von ${}M$ tragen ud nicht als Rand von ${}U_{i}$).

$\Box$