# Riemannsche Fläche/Polynom/Nullstellengebilde/Textabschnitt
## Definition

Es sei $X$ eine riemannsche Fläche, seien $a_{0},a_{1},\ldots ,a_{n-1}$ holomorphe Funktionen auf $X$ und sei $P=T^{n}+a_{n-1}T^{n-1}+\cdots +a_{1}T+a_{0}$ das durch diese Koeffizientenfunktionen definierte Polynom aus $\Gamma (X,{\mathcal {O}}_{X})[T]$. Dann nennt man
    ${\left\{(x,t)\in X\times {\mathbb {C} }\mid P(x,t)=0\right\}}\subseteq X\times {\mathbb {C} }\,$
das Nullstellengebilde zu $P$.
Diese Definition ist so zu verstehen: Zu $(x,t)\in X\times {\mathbb {C} }$ ist
    $P(x,t)=t^{n}+a_{n-1}(x)t^{n-1}+\cdots +a_{1}(x)t+a_{0}(x)\,,$
es wird also
$x\in X$ in die holomorphen Koeffizientenfunktionen eingesetzt und $t$ wird in die Variable des Polynoms eingesetzt. Das Nullstellengebilde besteht aus allen Punkten $(x,t)$, für die diese Einsetzung $0$ ergibt. Das Nullstellengebilde wird mit der induzierten Topologie von $X\times {\mathbb {C} }$ versehen. Häufig wird das Polynom als irreduzibel vorausgesetzt. Im Fall, dass $X={\mathbb {C} }$ oder eine offene Menge davon ist und dass die $a_{i}$ selbst Polynome in $x$ sind, ist $P$ ein Polynom in zwei Variablen über ${\mathbb {C} }$ und es wird das Paar $(x,t)$ in die beiden Variablen eingesetzt. Das einfachste nichttriviale Beispiel ist durch das quadratische Polynom $T^{2}-z$ gegeben, wobei $z$ die Variable auf ${\mathbb {C} }$ bezeichnet. Für die Situation, wo statt $z$ ein Polynom in $z$ als konstanter Koeffizient des quadratischen Polynoms auftritt, siehe Fakt.

## Lemma

Es sei $X$ eine riemannsche Fläche, seien $a_{0},a_{1},\ldots ,a_{n-1}$ holomorphe Funktionen auf $X$ und sei $V\subseteq X\times {\mathbb {C} }$ das Nullstellengebilde zu $P=T^{n}+a_{n-1}T^{n-1}+\cdots +a_{1}T+a_{0}$. Es sei $p\colon V\rightarrow X$ die Projektion auf $X$. Dann gelten folgende Eigenschaften.

### Beweis

* Dies ist klar, da man den Einsetzungsprozess in zwei Schritte aufteilen kann.
* Dies folgt aus (1) und Fakt.
* Der erste Teil folgt aus (1) und dem Fundamentalsatz der Algebra. Der zweite Teil ergibt sich mit einem ähnlichen Argument wie im Beweis zu Fakt.
* Dies folgt aus der Resultantentheorie, insbesondere Fakt angewendet auf $P$ und $P'$. Da die Koeffizientenfunktionen holomorph sind, ist die Resultante eine holomorphe Funktion auf $X$, die wegen der Irreduzibilität $\neq 0$. Außerhalb deren Nullstellenmenge hat $P(x,-)$ keine mehrfache Nullstelle. Die Nullstellenmenge einer holomorphen Funktion ist diskret nach Fakt.
$\Box$
Ohne die in Fakt (4) formulierte Bedingung der Irreduzibilität an das Polynom kann das glatte Nullstellengebilde leer sein. Die Irreduzibilität bzw. die schwächere Bedingung, dass $P$ und $P'$ keinen gemeinsamen nichtkonstanten Faktor besitzen, ist also häufig nötig, damit die Aussagen sich nicht auf die leere Menge beziehen (die wir als riemannsche Fläche gelten lassen). In Fakt wird gezeigt, dass für ein irreduzibles Polynom über einer zusammenhängenden riemannschen Fläche das Nullstellengebilde ebenfalls zusammenhängend ist.

## Definition

Es sei $X$ eine riemannsche Fläche, seien $a_{0},a_{1},\ldots ,a_{n-1}$ holomorphe Funktionen auf $X$ und sei $V\subseteq X\times {\mathbb {C} }$ das Nullstellengebilde zu $P=T^{n}+a_{n-1}T^{n-1}+\cdots +a_{1}T+a_{0}$. Es sei $p\colon V\rightarrow X$ die Projektion auf $X$. Dann nennt man
    ${\tilde {V}}={\left\{v\in V\mid p^{-1}(p(v)){\text{ besteht aus }}n{\text{ Punkten}}\right\}}\subseteq V\,$
das unverzweigte Nullstellengebilde zu $P$.

## Definition

Es sei $X$ eine riemannsche Fläche, seien $a_{0},a_{1},\ldots ,a_{n-1}$ holomorphe Funktionen auf $X$ und sei $V\subseteq X\times {\mathbb {C} }$ das Nullstellengebilde zu $P=T^{n}+a_{n-1}T^{n-1}+\cdots +a_{1}T+a_{0}$. Es sei $p\colon V\rightarrow X$ die Projektion auf $X$. Dann nennt man
    $W={\left\{(x,t)\in V\mid {\frac {\partial P}{\partial T}}(x,t)\neq 0{\text{ oder }}{\frac {\partial a_{n-1}}{\partial z}}t^{n-1}+\cdots +{\frac {\partial a_{1}}{\partial z}}t+{\frac {\partial a_{0}}{\partial z}}\neq 0\right\}}\subseteq V\,$
das glatte Nullstellengebilde zu $P$. Hierbei bezeichnet $z$ einen lokalen Parameter in einer offenen Umgebung von $x$.
Dabei ist $P'={\frac {\partial P}{\partial T}}$ die formale Ableitung nach $T$. Ein Punkt $(x,t)$ des Nullstellengebildes, der nicht die Glattheitsbedingung aus der Definition erfüllt, heißt singulärer Punkt oder Singularität.

## Lemma

Es sei $X$ eine riemannsche Fläche, seien $a_{0},a_{1},\ldots ,a_{n-1}$ holomorphe Funktionen auf $X$ und es sei $W\subseteq X\times {\mathbb {C} }$ das glatte Nullstellengebilde zum irreduziblen Polynom $P=T^{n}+a_{n-1}T^{n-1}+\cdots +a_{1}T+a_{0}$.
Dann ist $W$ eine riemannsche Fläche, die erste Projektion $p\colon W\rightarrow X$ ist eine holomorphe Abbildung und die zweite Projektion $W\rightarrow {\mathbb {C} }$ ist eine holomorphe Funktion.

### Beweis

Wir betrachten die Abbildung
    $t^{n}+a_{n-1}t^{n-1}+\cdots +a_{1}t+a_{0}\colon X\times {\mathbb {C} }\longrightarrow {\mathbb {C} },\,(x,t)\longmapsto t^{n}+a_{n-1}(x)t^{n-1}+\cdots +a_{1}(x)t+a_{0}(x).$
Wenn man $X$ lokal durch eine Karte mit dem offenen Kartenbild $U\subseteq {\mathbb {C} }$ beschreibt, so liegt eine komplex-differenzierbare Abbildung
    $\psi \colon U\times {\mathbb {C} }\longrightarrow {\mathbb {C} }$
in den komplexen Variablen $z$ und $t$ vor, wobei $z$ einen lokalen Parameter von $U$ bezeichne. Das Nullstellengebilde $V$ ist die Faser von $\psi$ über dem Nullpunkt $0\in {\mathbb {C} }$. Die beiden partiellen Ableitungen von $\psi$ sind
    ${\frac {\partial \psi }{\partial z}}(z,t)={\frac {\partial a_{n-1}(z)}{\partial z}}t^{n-1}+\cdots +{\frac {\partial a_{1}(z)}{\partial z}}t+{\frac {\partial a_{0}(z)}{\partial z}}\,$
und
    ${\frac {\partial \varphi }{\partial t}}(z,t)=nt^{n-1}+(n-1)a_{n-1}(z)t^{n-2}+\cdots +2a_{2}(z)t+a_{1}(z)\,.$
Ein Punkt $(x,t)\in U\times {\mathbb {C} }$ ist genau dann ein regulärer Punkt für $\psi$, wenn zumindest eine der beiden partiellen Ableitungen in diesem Punkt nicht verschwindet. Deshalb ist das glatte Nullstellengebilde $W$ nach Definition die Menge der regulären Punkte zu $\psi$. Der Satz über implizite Abbildungen zeigt, dass die Faser $V$ lokal in jedem regulären Punkt homöomorph zu einer offenen Teilmenge von ${\mathbb {C} }$ ist, und dass diese Homöomorphismen durch komplex-differenzierbare Abbildungen nach $U\times {\mathbb {C} }$ gegeben sind. Somit liegt auf $W$ die Struktur einer eindimensionalen komplexen Mannigfaltigkeit vor, also eine riemannsche Fläche. Die Holomorphie der beiden Abbildungen ergibt sich ebenfalls aus dem Satz über implizite Abbildungen.
$\Box$

## Lemma

Es sei $X$ eine riemannsche Fläche, seien $a_{0},a_{1},\ldots ,a_{n-1}$ holomorphe Funktionen auf $X$.
Dann ist das unverzweigte Nullstellengebilde eine offene Teilmenge des glatten Nullstellengebildes zum Polynom $P=T^{n}+a_{n-1}T^{n-1}+\cdots +a_{1}T+a_{0}$.
Ein Punkt $(x,t)$ des Nullstellengebildes gehört genau dann zum unverzweigten Nullstellengebilde, wenn oberhalb von $x$ alle Punkte glatt und unverzweigt sind.

### Beweis

In den Punktes des unverzweigten Nullstellengebildes haben $P$ und $P'$ (Ableitung nach $T$) keine gemeinsame Nullstelle. D.h. $P'$ hat in diesen Punkten keine Nullstelle und daher handelt es sich insbesondere um einen glatten Punkt. Es bezeichne $X'\subseteq X$ die offene Teilmenge von $X$ bestehend aus allen Punkten $x\in X$ mit der Eigenschaft, dass alle Punkte darüber glatt sind. Dabei gilt $X\setminus D\subseteq X'$, wobei $D$ die Menge aus Fakt (4) bezeichnet. Wir betrachten die eingeschränkte Projektion $p'\colon p^{-1}(X')\rightarrow X'$. Hierbei ist $p^{-1}(X')$ als Teilmenge des glatten Nullstellengebildes eine riemannsche Fläche und die Abbildung ist endlich mit Blätterzahl $n$. Nach Fakt ist $p'$ genau dann überall unverzweigt, wenn die Faseranzahl gleich $n$ ist.
$\Box$

## Lemma

Es sei $X$ eine zusammenhängende riemannsche Fläche, seien $a_{0},a_{1},\ldots ,a_{n-1}$ holomorphe Funktionen auf $X$ und sei ${\tilde {V}}\subseteq X\times {\mathbb {C} }$ das unverzweigte Nullstellengebilde zum irreduziblen Polynom $P=T^{n}+a_{n-1}T^{n-1}+\cdots +a_{1}T+a_{0}$.
Dann ist die Abbildung
mit $U=p({\tilde {V}})$ eine endliche Überlagerung mit Blätterzahl $n$ vor und ${\tilde {V}}$ ist eine riemannsche Fläche.

### Beweis

Es ist $U=X\setminus D$ mit $D$ wie in Fakt (4) und es ist $p^{-1}(U)={\tilde {V}}$. Es ist ${\tilde {V}}$ eine riemannsche Fläche nach Fakt und die Abbildung ${\tilde {V}}\rightarrow U$ ist eine endliche Überlagerung nach Fakt.
$\Box$

## Beispiel

Wir betrachten die holomorphe Funktion $a_{0}(z)=z$ auf ${\mathbb {C} }$ und dazu das Polynom $t^{n}-z$. Das Nullstellengebilde
    $V=V(t^{n}-z)\subseteq {\mathbb {C} }\times {\mathbb {C} }\,$
ist überall glatt und steht direkt in einer Bijektion
    ${\mathbb {C} }\longrightarrow V,\,t\longmapsto (t^{n},t),$
die biholomorph wird, wenn $V$ im Sinne von Fakt als eine riemannsche Fläche aufgefasst wird. Die Umkehrabbildung ist die zweite Projektion auf ${\mathbb {C} }$. Das unverzweigte Nullstellengebilde ist ${\mathbb {C} }\setminus \{0\}\cong V\setminus \{0,0\}$.

## Beispiel

Wir betrachten die holomorphe Funktion $a_{0}(z)=z^{2}$ auf ${\mathbb {C} }$ und dazu das Polynom
    $t^{2}-a_{0}(z)=t^{2}-z^{2}=(t-z)(t+z)\,.$
Das Nullstellengebilde
    $V=V(t^{2}-z^{2})\subset {\mathbb {C} }\times {\mathbb {C} }\,$
ist die Vereinigung von zwei komplexen Ebenen, die sich im singulären Punkt $(0,0)$ kreuzen, es liegt das komplexe Achsenkreuz vor. Das glatte Nullstellengebilde ist
    $W=V\setminus \{(0,0)\}={\left({\mathbb {C} }\setminus \{0\}\right)}\uplus {\left({\mathbb {C} }\setminus \{0\}\right)}\,,$
die disjunkte Vereinigung von zwei punktierten komplexen Zahlengeraden (also Gaußsche Zahlenebenen) und ist insbesondere nicht zusammenhängend. Dies ist auch das unverzweigte Nullstellengebilde.

## Beispiel

Wir betrachten die holomorphe Funktion $a_{0}(z)=z^{3}$ auf ${\mathbb {C} }$ und dazu das Polynom
    $t^{2}-a_{0}(z)=t^{2}-z^{3}\,.$
Das Nullstellengebilde
    $V=V(t^{2}-z^{3})\subset {\mathbb {C} }\times {\mathbb {C} }\,$
nennt man die Neilsche Parabel. Die partiellen Ableitungen sind $2t$ bzw. $3z^{2}$, somit ist $(0,0)$ der einzige singuläre Punkt und das glatte Nullstellengebilde ist $W=V\setminus \{(0,0)\}$. Zu $z\neq 0$ gibt es oberhalb von $z$ die beiden Punkte $\pm {\sqrt {z^{3}}}$ und daher stimmt das glatte Nullstellengebilde mit dem unverzweigten Nullstellengebilde überein.
Wir werden in Fakt sehen, dass man das glatte Nullstellengebilde über die singulären Punkte des Nullstellengebildes hinaus zu einer größeren riemannschen Fläche mit einer surjektiven endlichen holomorphen Abbildung nach $X$ erweitern kann. Im Beispiel der Neilschen Parabel wird dies durch die Abbildung
    ${\mathbb {C} }\longrightarrow V,\,u\longmapsto (u^{2},u^{3})=(z,t),$
geleistet, die bijektiv ist und auf dem glatten Ort biholomorph. Im Beispiel des Achsenkreuzes wird es durch die disjunkte Vereinigung von zwei komplexen Geraden geleistet, die auf die beiden Achsen abbilden und sich im Ursprung vereinigen.