Ampler Divisor
# Ampler Divisor

Der Ample Divisor ist in der Mathematik ein Begriff aus der algebraischen Geometrie. Die algebraische Geometrie verknüpft die Gleichungen der abstrakten Algebra mit der Geometrie. Divisoren beschreiben die Nullstellen von algebraischen Kurven, und etwas vereinfacht sind sie ampel, wenn ihre Basisfunktionen keine gemeinsamen Nullstellen haben.
Die amplen Divisoren zeigen, ob die durch Polynome beschriebenen algebraische Kurven auf einen projektiven Raum abgebildet werden können.

## Definition

Sei $D$ ein Divisor auf einer algebraischen Kurve $C$ und $H^{0}(C,{\mathcal {O}}(D))$ der Vektorraum derjenigen rationalen Funktionen auf $C$, deren Hauptdivisor $(f)$ die Ungleichung $(f)\geq -D$ erfüllt.
$D$ heißt sehr ampel, wenn es eine Basis $f_{0},\ldots ,f_{n-1}$ von $H^{0}(C,{\mathcal {O}}(D))$ gibt, so dass die Funktionen $f_{0},\ldots ,f_{n-1}$ keine gemeinsame Nullstelle auf $C$ haben und die Abbildung
    $\phi _{D}\colon C\to P^{n-1}$
    $\phi _{d}(P)=\left[f_{0}(P)\colon \ldots \colon f_{n-1}(P)\right]$
eine Einbettung in den projektiven Raum ist.
$D$ heißt ampel, wenn es eine natürliche Zahl $l\in \mathbb {N}$ gibt, so dass $lD$ sehr ampel ist.

## Beispiele

* Sei $C=P^{1}$ die projektive Gerade und $D=2\left[0:1\right]$. Eine rationale Funktion $f$ mit $(f)\geq -D$ darf also nur in $\left[0:1\right]$ eine Polstelle haben und dort höchstens vom Grad 2. Damit ist $f$ von der Form $f={\tfrac {p}{x_{0}^{2}}}$ für ein homogenes Polynom $p$ vom Grad 2. Eine Basis des Vektorraums dieser Funktionen ist zum Beispiel $f_{0}=1,f_{1}={\tfrac {x_{1}}{x_{0}}},f_{2}={\tfrac {x_{1}^{2}}{x_{0}^{2}}}$. Die mit dieser Basis definierte Abbildung $\phi _{d}$ ist die Einbettung der projektiven Gerade als abgeschlossene Parabel in $P^{2}$. Also ist $D$ sehr ampel.
* Eine elliptische Kurve in $P^{2}$ schneide eine projektive Gerade in drei Punkten $P_{1},P_{2},P_{3}$. Dann ist $D:=P_{1}+P_{2}+P_{3}$ sehr ampel.
* Der kanonische Divisor einer algebraischen Kurve vom Geschlecht $g\geq 2$ ist sehr ampel wenn die Kurve nicht hyperelliptisch ist.