# Riemannsche Fläche/Holomorphe Differentialform/Einführung/Textabschnitt
## Definition

Eine holomorphe Differentialform auf einer riemannschen Fläche $X$ ist ein holomorpher Schnitt im Kotangentialbündel $T^{*}X$.
Eine holomorphe Differentialform $\omega$ ordnet also jedem Punkt $P\in X$ einen Vektor $\omega (P)$ im Kotangentialraum $T_{P}^{*}X$ zu, also eine komplexwertige Linearform auf dem Tangentialraum $T_{P}X$. Wenn $v\in T_{P}X$ ein Tangentialvektor ist, so versteht man unter $\omega (P,v)$ diejenige komplexe Zahl, die sich ergibt, wenn man die Linearform $\omega (P)$ auf den Vektor $v$ anwendet. Wir beschreiben zuerst die holomorphen Differentialformen auf einer offenen Menge von ${\mathbb {C} }$, was dann auch die lokale Beschreibung für die holomorphen Differentialformen auf einer beliebigen riemannschen Fläche ergibt.

## Lemma
### Beweis

* Den Tangentialbündel zu $U$ können wir mit $U\times {\mathbb {C} }$ und das Kotangentialbündel können wir entsprechend mit identifizieren. Die Differentialform $dz$ ist diejenige Differentialform, die jedem Punkt die Identität zuordnet, was der konstanten $1$ bei der natürlichen Identifizierung entspricht. Jeder Schnitt im Kotangentialbündel kann man daher eindeutig als $fdz$ schreiben. Dabei liegt genau dann ein holomorpher Schnitt und damit eine holomorphe Differentialform vor, wenn $f$ eine holomorphe Funktion ist.
    $U\times \operatorname {Hom} _{\mathbb {C} }{\left({\mathbb {C} },{\mathbb {C} }\right)}\cong U\times {\mathbb {C} }\,$
* Die Gleichung $df=f'dz$ folgt mit Fakt (1) aus Die Holomorphie von $f'$ folgt aus (1) und Fakt.
    $(df)_{P}=T_{P}f=\left(Df\right)_{P}=f'(P)\cdot \operatorname {Id} _{\mathbb {C} }=f'(P)dz\,.$
$\Box$

## Lemma

Auf einer riemannschen Fläche $X$
gelten die folgenden Aussagen.

### Beweis

Sowohl die Eigenschaft, ein Schnitt im Kotangentialbündel zu sein als auch die Eigenschaft, holomorph zu sein, sind lokal. Ebenso sind die in den Aussagen vorkommenden Operationen lokal. Daher folgen die Aussagen aus Fakt.
$\Box$
Eine holomorphe Differentialform $\omega$ auf einer riemannschen Fläche wird häufig in der Form $U_{i},f_{i}dz_{i}$ gegeben, wobei $U=\bigcup _{i\in I}U_{i}$ eine offene Überdeckung mit Kartengebieten, $z_{i}$ ein lokaler Parameter und $f_{i}$ eine holomorphe Funktion auf $U_{i}$ ist, wobei die $f_{i}dz_{i}$ auf den Kartenüberlappungen zusammenpassen müssen.

## Lemma

Auf einer riemannschen Fläche $X$ bilden die holomorphen Differentialformen
eine Garbe von kommutativen Gruppen.

### Beweis

$\Box$
Die Garbe der holomorphen Differentialformen auf einer riemannschen Fläche $X$ wird mit $\Omega _{X}$ bezeichnet. Es ist also $\Gamma {\left(U,\Omega _{X}\right)}$ der Vektorraum aller holomorphen Differentialformen auf $U$ und speziell $\Gamma {\left(X,\Omega _{X}\right)}$ der Vektorraum der globalen holomorphen Differentialformen. Insbesondere für kompakte riemannschen Flächen ist es eine wichtige Frage, wie viele globale holomorphe Differentialformen es gibt. Es handelt sich im kompakten Fall um einen endlichdimensionalen Vektorraum, dessen Dimension auch das differentielle Geschlecht der riemannschen Fläche heißt, siehe hierzu Fakt, Fakt, Bemerkung und vor allem Fakt, Fakt und Fakt.
Man nennt die holomorphe Differentialform $df$ auch die Ableitung zu $f$ und ebenso nennt man die Abbildung
    $d\colon \Gamma (X,{\mathcal {O}}_{X})\longrightarrow \Gamma {\left(X,\Omega _{X}\right)},\,f\longmapsto df,$
Ableitung oder den Ableitungsoperator. Man beachte, dass es keine Ableitung in dem Sinne gibt, dass einer holomorphen Funktion wieder eine holomorphe Funktion zugeordnet wird. Dies lässt sich zwar lokal definieren, passt aber global nicht zusammen. Um einen sinnvollen Ableitungsprozess zu bekommen, muss man die Ableitung als eine Differentialform verstehen.

## Lemma

Auf einer riemannschen Fläche $X$
liegt die kurze exakte Garbensequenz
vor, wobei ${\mathbb {C} }$ hier die Garbe der lokal konstanten Funktionen mit Werten in ${\mathbb {C} }$ bezeichnet.

### Beweis

Dies ist eine lokale Aussage, die auf einer Kreisscheibe aus den entsprechenden Aussagen der Funktionentheorie folgt: Eine holomorphe Funktion ist genau dann konstant, wenn ihre Ableitung gleich $0$ ist, und eine holomorphe Differentialform besitzt auf einer Kreisscheibe eine Stammfunktion, da man zu einer Potenzreihe direkt eine Stammreihe angeben kann, die den gleichen Konvergenzradius besitzt.
$\Box$
Im Allgemeinen ist die globale Auswertung
    $d\colon \Gamma (X,{\mathcal {O}}_{X})\longrightarrow \Gamma {\left(X,\Omega _{X}\right)},\,f\longmapsto df,$
nicht surjektiv. Wenn eine holomorphe Differentialform $\omega$ von der Form $df$ ist, so heißt $f$ eine Stammfunktion der Form. Die Surjektivität der globalen Auswertung ist also äquivalent dazu, dass jede holomorphe Differentialform eine Stammfunktion besitzt. Siehe u. A. Aufgabe und Aufgabe.

## Lemma

Auf der riemannschen Sphäre $S^{2}\cong {\mathbb {P} }_{\mathbb {C} }^{1}$
ist die Nullform die einzige globale holomorphe Differentialform.

### Beweis

Die Projektive Gerade ist nach Beispiel bzw. Fakt die Verklebung von den beiden komplexen Zahlebenen ${\mathbb {C} },z$ und ${\mathbb {C} },w$ entlang der Identifizierung $z=w^{-1}$ auf ${\mathbb {C} }^{\times }$. Nach Fakt ist eine holomorphe Differentialform auf dem ersten ${\mathbb {C} }$ gleich $f(z)dz$ mit einer holomorphen Funktion $f$ auf ${\mathbb {C} }$. Diese kann man in $w$ wegen Aufgabe auf ${\mathbb {C} }^{\times }$ als
    $f(z)dz=f(w^{-1})dw^{-1}=-f(w^{-1}){\frac {1}{w^{2}}}dw\,$
schreiben. Dabei ist außer bei $f=0$ die beschreibende Funktion in $w$ sicher nicht holomorph auf ${\mathbb {C} }$.
$\Box$

## Lemma

Es sei $f\in {\mathbb {C} }[Z]$ ein Polynom vom Grad $m$ ohne mehrfache Nullstelle und sei $V={\left\{(z,w)\mid w^{2}=f(z)\right\}}\subseteq {\mathbb {C} }^{2}$ die zugehörige riemannsche Wurzelfläche.
Dann sind ${\frac {z^{j}dz}{w}}$ für $j=0,\ldots ,\left\lfloor {\frac {m-3}{2}}\right\rfloor$ holomorphe Differentialformen auf $V$.

### Beweis

Aus $w^{2}=f(z)$ ergibt sich die algebraische Relation $2wdw=f'(z)dz$. Daher ist
    ${\frac {z^{j}}{w}}dz={\frac {2z^{j}}{f'(z)}}dw\,$
und da $w$ und $f'(z)$ keine gemeinsame Nullstelle haben, ist eine solche Differentialform überall definiert.
$\Box$
Dieses Argument würde auch bei allgemeiner angesetzten Differentialformen durchgehen, allerdings bilden die angegebenen Formen auf dem projektiven Abschluss schon eine Basis.