Zum Inhalt springen

Kurs:Riemannsche Flächen (Osnabrück 2022)/Vorlesung 32/latex

Aus Wikiversity

\setcounter{section}{32}






\zwischenueberschrift{Das algebraische Geschlecht}

Eine glatte projektive Kurve über ${\mathbb C}$ kann man als eine kompakte riemannsche Fläche und eine kompakte riemannsche Fläche algebraisch realisieren, für die erste Richtung siehe im ebenen Fall Satz 5.14, für die zweite Richtung ist Satz 26.9 ein entscheidender Schritt. Wir wollen zeigen, dass bei dieser Korrespondenz die Geschlechter übereinstimmen. In der kohomologischen Definition des Geschlechtes wird auf beiden Seiten die Dimension der ersten Kohomologie der Strukturgarbe genommen. In der analytischen Situation bezieht sich Strukturgarbe aber auf die holomorphen Funktionen mit der feinen metrischen Topologie, in der algebraischen Situation aber auf die rationalen Funktionen in der Zariski-Topologie. Aufgrund der Serre-Dualität, die es auf beiden Seiten gibt, stimmt jeweils das kohomologische Geschlecht mit dem differentiellen Geschlecht überein. Dies ist analog definiert, bezieht sich aber in der analytischen Situation auf die Dimension der globalen holomorphen Differentialformen, in der algebraischen Situation auf die Dimension der globalen Kähler-Differentialformen.

In der differentiellen Situation ist recht einfach zu sehen, dass globale Kähler-Differentialformen auch globale holomorphe Differentialformen sind und dass dabei die lineare Unabhängigkeit erhalten bleibt. Es ist also
\mavergleichskettedisp
{\vergleichskette
{ g_{\text{alg} \text{ dif} }(X_\text{alg} ) }
{ \leq} { g_{\text{an} \text{ dif} }(X_\text{an} ) }
{ } { }
{ } { }
{ } { }
} {}{}{.} In der kohomologischen Welt liefert ein Čech-Kozykel zur algebraischen Strukturgarbe auf einer Zariski-offenen Überdeckung auch einen Čech-Kozykel für die holomorphen Funktionen auf der riemannschen Fläche. Es ist aber keineswegs klar, dass ein solcher nichttrivialer Kozykel nichttrivial bleibt, da ja viel mehr holomorphe Funktionen zur Verfügung stehen, noch, dass alle holomorphen Kozykel zu dieser Überdeckung algebraisch repräsentiert werden können, noch, dass man mit diesen Zariski-Überdeckungen alles erfassen kann.





\inputfaktbeweis
{Glatte projektive Kurve/C/Riemannsche Fläche/Geschlecht/Übereinstimmung/Fakt}
{Satz}
{}
{

\faktsituation {Es sei $X_\text{alg}$ eine \definitionsverweis {zusammenhängende}{}{} \definitionsverweis {glatte}{}{} \definitionsverweis {projektive Kurve}{}{} über ${\mathbb C}$ und sei $X_\text{an}$ die zugehörige \definitionsverweis {kompakte}{}{} zusammenhängende \definitionsverweis {riemannsche Fläche}{}{.}}
\faktfolgerung {Dann stimmt das algebraisch definierte \definitionsverweis {Geschlecht}{}{} von $X_\text{alg}$ mit dem analytisch definierten \definitionsverweis {Geschlecht}{}{} von $X_\text{an}$ überein.}
\faktzusatz {}
\faktzusatz {}

}
{

Nach Satz 31.1 kann man die erste Kohomologie der holomorphen Strukturgarbe durch
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ H^1(X_\text{an}, {\mathcal O}_{ X_\text{an} } ) }
{ \cong} { \Gamma { \left( X_\text{an}, { \mathcal T }_\text{an} \right) } / \operatorname{bild} { \left( \Gamma { \left( X_\text{an}, { \mathcal M } \right) }\rightarrow \Gamma { \left( X_\text{an}, { \mathcal T_\text{an} } \right) } \right) } }
{ } { }
{ } { }
{ } { }
} {}{}{} berechnen. In der algebraischen Situation gibt es die kurze exakte Garbensequenz
\mathdisp {0 \, \stackrel{ }{\longrightarrow} \, {\mathcal O}_{ X_\text{alg} } \, \stackrel{ }{ \longrightarrow} \, K \, \stackrel{ }{\longrightarrow} \, K/ {\mathcal O}_{ X_\text{alg} } \,\stackrel{ } {\longrightarrow} \, 0} { , }
wobei $K$ die konstante Garbe auf der Zariski-Topologie mit dem \definitionsverweis {Funktionenkörper}{}{} $K$ bezeichnet. Diese Garbe ist insbesondere welk und ihre erste Kohomologie verschwindet daher. Die Quotientengarbe
\mathl{K/{\mathcal O}_{ X_\text{alg} }}{} kann man punktweise berechnen, die Halme in einem Punkt $P$ sind
\mathl{K/ { \mathcal O }_{ X_\text{alg},P }}{.} Da ${ \mathcal O }_{ X_\text{alg},P }$ ein \definitionsverweis {diskreter Bewertungsring}{}{} mit einer Ortsuniformisierenden $\pi$ und $K$ sein \definitionsverweis {Quotientenkörper}{}{} mit
\mavergleichskette
{\vergleichskette
{K }
{ = }{R_\pi }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist, gilt
\mavergleichskettedisp
{\vergleichskette
{K/R }
{ \cong} { \bigoplus_{i \in \Z_-} {\mathbb C} \pi^{-i} }
{ } { }
{ } { }
{ } { }
} {}{}{} nach Aufgabe 32.5. Es liegt also die gleiche Hauptteilstruktur wie im analytischen Fall vor. Somit stimmt die Garbe der analytischen Hauptteilverteilungen mit der Garbe der algebraischen Hauptteilverteilungen \zusatzklammer {wo sie definiert ist} {} {} überein. Nach Satz 26.10 ist
\mavergleichskettedisp
{\vergleichskette
{ \Gamma { \left( X_\text{an} , { \mathcal M } \right) } }
{ =} { K }
{ } { }
{ } { }
{ } { }
} {}{}{,} also hat man für \mathkor {} {H^1(X_\text{an}, {\mathcal O}_{ X_{\text{an} } } )} {und} {H^1(X_\text{alg}, {\mathcal O}_{ X_{\text{alg} } } )} {} identische Beschreibungen.

}






\zwischenueberschrift{Das topologische Geschlecht}






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Euclid Tetrahedron 4.svg} }
\end{center}
\bildtext {} }

\bildlizenz { Euclid Tetrahedron 4.svg } {} {Aldoaldoz} {Commons} {CC-by-sa 3.0} {}

Die komplex-projektive Gerade ist als reelle Manniglfaltigkeit eine $2$-Sphäre und damit homömorph zu einer Pyramide \zusatzklammer {einem Tetrahedron} {} {.} Sie setzt sich zusammen aus $4$ Dreiecken, es gibt $6$ Kanten und $4$ Eckpunkte. Die Wechselsumme dieser Zahlen ist
\mavergleichskette
{\vergleichskette
{ 4-6+4 }
{ = }{ 2 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Die Dreieckstruktur kann man auf die Kugeloberfläche oder jede dazu homöomorphe Fläche übertragen. Man spricht von einer \stichwort {Triangulierung} {} der Fläche. Es gibt natürlich eine Vielzahl von solchen Triangulierungen der Sphäre. Wenn man sie als Würfeloberfläche auffasst und jede Fläche in zwei Dreieckshälften unterteilt, so erhält man $12$ Dreiecksflächen, $18$ Kanten und $8$ Eckpunkte. Für die Wechselsumme gilt wieder
\mavergleichskette
{\vergleichskette
{ 12-18+8 }
{ = }{ 2 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.}

Eine Triangulierung einer Fläche \zusatzklammer {im Sinne einer reellen zusammenhängenden zweidimensionalen Mannigfaltikeit} {} {} ist eine Überdeckung der Fläche mit zu Dreiecken homoömorphen Flächenstücken, wobei je zwei Dreiecke disjunkt sind, oder eine Kante oder einen Eckpunkt gemeinsam haben. Die Existenz einer Triangulierung ist nicht trivial.




\inputdefinition
{}
{

Es sei $X$ eine \definitionsverweis {kompakte}{}{} \definitionsverweis {Fläche}{}{} zusammen mit einer Triangulierung von $X$ mit $e$ Eckpunkten, $k$ Kanten und $f$ Dreiecken. Dann nennt man
\mathl{e-k+f}{} die \definitionswort {Euler-Poincaré-Charakteristik}{} der Triangulierung.

}






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Torus_illustration.png} }
\end{center}
\bildtext {} }

\bildlizenz { Torus illustration.png } {Oleg Alexandrov} {} {Commons} {PD} {}






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Double_torus_illustration.png} }
\end{center}
\bildtext {} }

\bildlizenz { Double torus illustration.png } {Oleg Alexandrov} {} {Commons} {PD} {}






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Sphere_with_three_handles.png} }
\end{center}
\bildtext {} }

\bildlizenz { Sphere with three handles.png } {Oleg Alexandrov} {} {Commons} {PD} {}




\inputbeispiel{}
{

Wir realisieren einen Torus durch $8$ gleiche Würfel, die wir ringförmig um einen nichtvorhandenen neunten Würfel legen. Dieses geometrische Objekt hat eine Überdeckung mit Quadratflächen, die wir in Dreiecke halbieren können, um eine Triangulierung zu erhalten. Da sich aber bei einer solchen einzelnen Halbierung die Flächenanzahl um $1$ erhöht, eine Kante hinzukommt und die Anzahl der Eckpunkte unverändert bleibt, können wir die \definitionsverweis {Euler-Poincaré-Charakteristik}{}{} auch direkt mit der gegebenen Zerlegung in Quadrate berechnen. Es gibt $32$ Ecken, $64$ Kanten \zusatzklammer {oben hat man $12$ am äußeren Rand, $4$ innen und $8$ dazwischen, an den Seiten außen hat man $12$ und innen $4$} {} {} und $32$ Quadrate \zusatzklammer {$8$ oben und $8$ unten, $12$ außen und $4$ innen} {} {.} Also ist
\mavergleichskettedisp
{\vergleichskette
{ \chi(X) }
{ =} { 32-64+32 }
{ =} { 0 }
{ } { }
{ } { }
} {}{}{.}


}




\inputbeispiel{}
{

Es sei $X$ eine \definitionsverweis {kompakte}{}{} \definitionsverweis {Fläche}{}{} zusammen mit einer endlichen Triangulierung und der \definitionsverweis {Euler-Poincaré-Charakteristik}{}{} $\chi(X)$. Wir möchten einen Henkel an die Fläche ankleben. Es seien $D_1$ und $D_2$ disjunkte Dreiecke der Triangulierung \zusatzklammer {durch eine Verfeinerung der Triangulierung kann man davon ausgehen, dass es solche disjunkten Dreiecke gibt} {} {.} Wir ändern $X$ zu einer neuen Fläche $X'$ ab, indem wir uns außerhalb der Fläche ein Dreieck $T$ dazudenken \zusatzklammer {man kann sich vorstellen, dass sich alles oberhalb einer Kreisscheibe abspielt, in der es die beiden Dreiecke gibt. Das dritte Dreieck wird oberhalb der \anfuehrung{Mitte}{} der beiden Dreiecke senkrecht platziert} {} {} und dieses mit den beiden Dreiecken verbindet. Es entsteht also zweimal ein Zylindermantel zu einer dreieckigen Grundfläche \zusatzklammer {ohne irgendeine Bedingung an Parallelität oder Rechtwinkligkeit oder dergleichen} {} {.} Jede Mantelfläche \zusatzklammer {die konvexe Vierecke sind} {} {} zerlegen wir in zwei Dreiecke. Dadurch entsteht ein neuer topologischer Raum mit einer Triangulierung, wobei wir den Raum auch glatt realisieren können. Bei diesem Prozess gehen $2$ Dreiecke der Triangulation verloren und es kommen $12$ neue dazu. Es kommen $12$ Kanten auf den Zylindern und $3$ Kanten auf $T$ hinzu und es kommen $3$ Eckpunkte hinzu. Die Differenz der Euler-Poincaré-Charakteristik von $X'$ zu $X$ ist also
\mavergleichskettedisp
{\vergleichskette
{ \chi(X') -\chi(X) }
{ =} { -2+12 -15 +3 }
{ =} { -2 }
{ } { }
{ } { }
} {}{}{.} Bei der Hinzunahme eines Henkels reduziert sich also die Euler-Poincaré-Charakteristik um $2$.


}




\inputfakt{Kompakte Fläche/Triangulierung/Euler-Poincare-Charakteristik/Topologische Invariante/Fakt}{Satz}{} {

\faktsituation {Es sei $X$ eine \definitionsverweis {kompakte}{}{} \definitionsverweis {Fläche}{}{.}}
\faktfolgerung {Dann ist die über eine Triangulierung definierte \definitionsverweis {Euler-Poincaré-Charakteristik}{}{} eine topologische Invariante, d.h. sie hängt nicht von der gewählten Triangulierung ab. Sie ist
\mavergleichskettedisp
{\vergleichskette
{ \chi(X) }
{ =} { \sum_{i = 0}^2 (-1)^i b_i(X) }
{ } { }
{ } { }
{ } { }
} {}{}{,} wobei $b_i(X)$ die $i$-te Betti-Zahl bezeichnet, also den Rang der $i$-ten singulären Homologie von $X$.}
\faktzusatz {}
\faktzusatz {}

}

Wir definieren das topologische Geschlecht über die Euler-Poincaré-Charakteristik.


\inputdefinition
{}
{

Es sei $X$ eine \definitionsverweis {kompakte}{}{} \definitionsverweis {orientierte}{}{} \definitionsverweis {Fläche}{}{.} Dann definiert man das \definitionswort {Geschlecht}{} von $X$ als
\mavergleichskettedisp
{\vergleichskette
{ g(X) }
{ =} { { \frac{ 1 }{ 2 } } { \left( 1 - \chi(X) \right) } }
{ } { }
{ } { }
{ } { }
} {}{}{,} wobei $\chi(X)$ die \definitionsverweis {Euler-Poincaré-Charakteristik}{}{} von $X$ bezeichnet.

} Für die $2$-Sphäre ist das so definierte Geschlecht gleich $0$. Mit Beispiel 32.4 ergibt sich, dass sich das Geschlecht bei der Anheftung eines Henkels um $1$ erhöht. Das Geschlecht ist also die Anzahl der Henkel. Für eine orientierte zusammenhängende kompakte Fläche ist
\mavergleichskette
{\vergleichskette
{ b_0 }
{ = }{ b_2 }
{ = }{ 1 }
{ }{ }
{ }{ }
} {}{}{.} Dabei ergibt sich das erste direkt aus der Zusammenhangseigenschaft, das zweite folgt daraus mit Hilfe der Poincaré-Dualität. Daher ist mit Satz 32.5
\mavergleichskettedisp
{\vergleichskette
{ 2(1-g) }
{ =} { \chi(X) }
{ =} { b_0-b_1+b_2 }
{ =} { 2-b_1 }
{ } { }
} {}{}{,} also
\mavergleichskette
{\vergleichskette
{ b_1 }
{ = }{ 2g }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} der Rang der ersten singulären Homologie ist also das Doppelte des Geschlechtes.

Wir zeigen nun die Beziehung zwischen dem über die holomorphe Struktur definierten Geschlecht und dem topologischen Geschlecht.




\inputfaktbeweis
{Kompakte riemannsche Fläche/Euler-Poincare-Charakteristik/Grad kanonischer Divisor/Fakt}
{Satz}
{}
{

\faktsituation {Es sei $X$ eine \definitionsverweis {kompakte}{}{} \definitionsverweis {zusammenhängende}{}{} \definitionsverweis {riemannsche Fläche}{}{.}}
\faktfolgerung {Dann besteht zwischen dem \definitionsverweis {Grad}{}{} eines \definitionsverweis {kanonischen Divisors}{}{} $K_X$ von $X$ und der \definitionsverweis {Euler-Poincaré-Charakteristik}{}{} $\chi(X)$ von $X$ die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{Grad} \, (K_X) }
{ =} { - \chi (X) }
{ } { }
{ } { }
{ } { }
} {}{}{.}}
\faktzusatz {}
\faktzusatz {}

}
{

Nach Satz 26.3 gibt es eine \definitionsverweis {endliche}{}{} surjektive \definitionsverweis {holomorphe Abbildung}{}{} \maabbdisp {\varphi} {X} { {\mathbb P}^{1}_{ {\mathbb C} } } {.} Dabei gilt nach Satz 31.8 in Verbindung mit Satz 30.10 die Beziehung
\mavergleichskettealign
{\vergleichskettealign
{ \operatorname{Grad} \, (K_X) }
{ =} { 2 g(X)-2 }
{ =} { \operatorname{Grad} \, (\varphi) (-2) + \operatorname{Grad} \, (R) }
{ =} { \operatorname{Grad} \, (\varphi) ( \operatorname{Grad} \, (K_{ {\mathbb P}^{1}_{ {\mathbb C} } })) + \operatorname{Grad} \, (R) }
{ } { }
} {} {}{.} Es genügt also zu zeigen, dass für die Euler-Poincaré-Charakteristik eine entsprechende Formel gilt. Es sei
\mavergleichskette
{\vergleichskette
{S }
{ \subseteq }{ {\mathbb P}^{1}_{ {\mathbb C} } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} die Menge der Verzweigungsbildpunkte von $\varphi$. Wir wählen eine Triangulierung von ${\mathbb P}^{1}_{ {\mathbb C} }$, in der diese Punkte als Eckpunkte auftreten. Ferner können wir durch eine Verfeinerung erreichen. dass in jedem Dreieck höchstens ein Eckpunkt ein Verzweigungsbildpunkt ist. Es sei
\mavergleichskettedisp
{\vergleichskette
{ b }
{ =} { \operatorname{Grad} \, (\varphi) }
{ } { }
{ } { }
{ } { }
} {}{}{} die Blätterzahl von $\varphi$. Zu jedem Dreieck
\mavergleichskette
{\vergleichskette
{D }
{ \subseteq }{ {\mathbb P}^{1}_{ {\mathbb C} } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} der Triangulierung gibt es $b$ eindeutige \zusatzklammer {und zueinander disjunkte} {} {} Liftungen des Dreieckes ohne die Eckpunkte. Aufgrund der Eigentlichkeit der Abbildung besitzen auch die Eckpunkte bei einer gegebenen Liftung des Dreieckes eine zugehörige Liftung, wobei allerdings unterschiedliche geliftete Dreiecke einen gleichen Eckpunkt haben können. Diese geliftete Triangulierung ist eine Triangulierung von $X$

Wenn nämlich zwei Dreiecke zwei gemeinsame Eckpunkte haben, so gehört schon die zugehörige Kante zu beiden Dreiecken. Die beiden Eckpunkte bilden auf verschiedene Punkte ab, einer der beiden Punkte ist dann nach Konstruktion der Triangulierung auf der projektiven Geraden kein Verzweigungspunkt. Die beiden relevanten Kanten müssen auf die gleiche Kante unten abbilden. Wegen der eindeutigen Liftung im unverzweigten Punkt folgt, dass die Kanten oben auch übereinstimmen.

Es sei $e$ die Anzahl der Ecken, $k$ die Anzahl der Kanten und $f$ die Anzahl der Dreiecke unten. Dabei gilt
\mavergleichskette
{\vergleichskette
{e-k+f }
{ = }{2 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} aufgrund der tetrahedrischen Triangulierung der Sphäre. In der gelifteten Triangulierung ist die Anzahl der Kanten gleich $bk$ und die Anzahl der gelifteten Dreiecke gleich $bf$. Für jeden Punkt
\mavergleichskette
{\vergleichskette
{Q }
{ \in }{ {\mathbb P}^{1}_{ {\mathbb C} } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist
\mavergleichskettedisp
{\vergleichskette
{ \sum_{P \in \varphi^{-1} (Q)} \operatorname{Verz} { \left( P {{|}} Q \right) } }
{ =} { b }
{ } { }
{ } { }
{ } { }
} {}{}{.} D.h. die Anzahl der Urbildpunkte zu $Q$ ist
\mathl{b- \sum_{P \in \varphi^{-1} (Q)} R_P}{} mit
\mavergleichskette
{\vergleichskette
{ R_P }
{ = }{ \operatorname{Verz} { \left( P {{|}} Q \right) } -1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Damit ist die Anzahl der Eckpunkte der gelifteten Triangulierung gleich
\mavergleichskettedisp
{\vergleichskette
{ \sum_{ Q \text{ Eckpunkt unten} } { \left( b- \sum_{P \in \varphi^{-1} (Q)} R_P \right) } }
{ =} { eb - \sum_{P \in X} R_P }
{ =} { eb - \operatorname{Grad} \, (R) }
{ } { }
{ } { }
} {}{}{.} Somit ist
\mavergleichskettealign
{\vergleichskettealign
{ \chi(X) }
{ =} { e'-k'+f' }
{ =} { eb - \operatorname{Grad} \, (R) -kb+fb }
{ =} { b (e-k+f) - \operatorname{Grad} \, (R) }
{ =} { 2 b - \operatorname{Grad} \, (R) }
} {} {}{.}

}





\inputfaktbeweis
{Kompakte riemannsche Fläche/Geschlecht und topologisches Geschlecht/Fakt}
{Korollar}
{}
{

\faktsituation {Es sei $X$ eine \definitionsverweis {kompakte}{}{} \definitionsverweis {zusammenhängende}{}{} \definitionsverweis {riemannsche Fläche}{}{.}}
\faktfolgerung {Dann stimmt das \definitionsverweis {Geschlecht}{}{} von $X$ mit dem \definitionsverweis {topologischen Geschlecht}{}{} von $X$ überein.}
\faktzusatz {}
\faktzusatz {}

}
{

Dies folgt wegen Satz 32.7 aus Satz 30.10 und der Definition des topologischen Geschlechtes mit Hilfe der \definitionsverweis {Euler-Poincaré-Charakteristik}{}{.}

}