Kurs:Bündel, Garben und Kohomologie (Osnabrück 2019-2020)/Vorlesung 22/kontrolle

Weil-Divisoren

Wir nennen eine irreduzible abgeschlossene Teilmenge ${}Y\subset X$ der Kodimension ${}1$ in einem integren Schema ${}X$ einen Primdivisor. Wenn ${}X$ normal und noethersch ist, so ist der lokale Ring ${}{\mathcal {O}}_{X,\eta }$ am generischen Punkt ${}\eta$ zu ${}Y$ ein diskreter Bewertungsring. Somit besitzt jedes Element ${}f\neq 0$ aus dem Funktionenkörper ${}K(X)$ eine wohlbestimmte Ordnung ${}\operatorname {ord} \,(f)$ längs ${}Y$, die wir mit ${}\operatorname {ord} _{Y}\,(f)$ bezeichnen. Wenn ${}\pi$ die Ortsuniformisierende im diskreten Bewertungsring ${}{\mathcal {O}}_{X,\eta }$ bezeichnet, so kann man ${}f=u\pi ^{n}$ mit einer Einheit ${}u$ aus dem Ring und ${}n\in \mathbb {Z}$ schreiben, und dieser Exponent ${}n$ ist die Ordnung von ${}f$ längs ${}Y$ heißt. Bei positiver Ordnung spricht man von einer Nullstelle, bei negativer Ordnung von einem Pol. Wenn ${}U=\operatorname {Spek} {\left(R\right)}\subseteq X$ eine offene affine Teilmenge mit ${}U\cap Y\neq \emptyset$ ist, so entspricht ${}Y$ einem Primideal ${}{\mathfrak {p}}$ der Höhe ${}1$ in ${}R$ und für den lokalen Ring gilt ${}{\mathcal {O}}_{X,\eta }=R_{\mathfrak {p}}$.

Definition Referenznummer erstellen

Es sei ${}X$ ein normales noethersches integres Schema mit Funktionenkörper ${}K$ und sei ${}f\in K$, ${}f\neq 0$. Dann heißt die formale Summe

$\operatorname {div} {\left(f\right)}=\sum _{Y{\text{ Primdivisor }}}\operatorname {ord} _{Y}\,(f)\cdot Y\,,$

wobei ${}\operatorname {ord} _{Y}\,(f)$ die Ordnung von ${}f$ im lokalen Ring zu ${}Y$ bezeichnet, der durch ${}f$ definierte Hauptdivisor.

Der Hauptdivisor beschreibt also das Nullstellen- und das Polverhalten der Funktion ${}f$. Wir zeigen zunächst, dass es sich bei einem Hauptdivisor um eine endliche Summe handelt.

Lemma Lemma 22.2 ändern

Es sei ${}X$ ein normales noethersches integres Schema mit Funktionenkörper ${}K$ und sei ${}f\in K$, ${}f\neq 0$.

Dann gibt es nur endlich viele Primdivisoren ${}Y$ mit

${}\operatorname {ord} _{Y}\,(f)\neq 0\,,$

Beweis

Es sei ${}U\subseteq X$ eine nichtleere offene affine Teilmenge mit

${}f\in R=\Gamma (U,{\mathcal {O}}_{X})\,.$

Da der generische Punkt von ${}X$ zu ${}U$ gehört, sind die Primdivisoren, die ${}U$ nicht treffen, irreduzible Komponenten von ${}X\setminus U$. Da ${}X\setminus U$ eine abgeschlossene Teilmenge von ${}X$ und damit noethersch ist, gibt es dort nur endlich viele Komponenten. D.h. wir müssen nur noch diejenigen Primdivisoren betrachten, die ${}U$ treffen. Deren generische Punkte entsprechen dann Primidealen der Höhe ${}1$ von ${}R$. Es ist

${}\operatorname {ord} _{Y}\,(f)=\operatorname {ord} _{\mathfrak {p}}\,(f)\geq 0\,$

und dies ist nur dann positiv, wenn ${}f\in {\mathfrak {p}}$ ist. Die Primideale ${}{\mathfrak {p}}$ der Höhe ${}1$ oberhalb von ${}f$ sind die minimalen Primideale von ${}R/(f)$, und wegen noethersch gibt es davon nur endlich viele.

$\Box$

Definition Referenznummer erstellen

Es sei ${}X$ ein normales noethersches integres Schema. Dann nennt man eine formale Summe ${}\sum _{Y}n_{Y}\cdot Y$, wobei ${}Y$ die Primdivisoren von ${}X$ durchläuft und nur endlich viele der ${}n_{Y}$ von ${}0$ verschieden sind, einen Weildivisor auf ${}X$.

Ein Weildivisor ist eine freie Vorgabe für das „theoretisch mögliche“ Nullstellen- bzw Polverhalten einer rationalen Funktion, allerdings muss ein solche Vorgabe nicht durch eine Funktion realisiert werden können. Einen Divisor, bei dem sämtliche Zahlen ${}a_{Y}\geq 0$ sind, nennt man effektiv. Auf einer irreduziblen normalen (also glatten) Kurve ${}X$ ist ein Primdivisor einfach ein abgeschlossener Punkt. Ein Weildivisor ist also in diesem Fall einfach eine endliche Summe ${}\sum _{P\in X}n_{P}\cdot P$.

Definition Referenznummer erstellen

Es sei ${}X$ ein normales noethersches integres Schema. Dann nennt die Gruppe aller Weildivisoren mit komponentenweiser Addition die Weildivisorengruppe von ${}X$. Sie wird mit ${}\operatorname {Div} \,(X)$ bezeichnet.

Lemma Referenznummer erstellen

Es sei ${}X$ ein normales noethersches integres Schema mit Funktionenkörper ${}K$.

Dann ist die Zuordnung

$K^{\times }\longrightarrow \operatorname {Div} \,(X),\,f\longmapsto \operatorname {div} {\left(f\right)},$

ein Gruppenhomomorphismus.

Beweis

Nach Lemma 22.2 ist der Hauptdivisor zu ${}f$ in der Tat ein Weildivisor. Die Homomorphieeigenschaft folgt, bezogen auf einen fixierten Primdivisor ${}Y$ mit dem zugehörigen diskreten Bewertungsring ${}{\mathcal {O}}_{Y}$, aus Lemma 21.7  (1).

$\Box$

Die Divisorenklassengruppe

Definition Referenznummer erstellen

Es sei ${}X$ ein normales noethersches integres Schema mit Funktionenkörper ${}K$. Dann nennt man die Restklassengruppe

${}\operatorname {DKG} {\left(X\right)}=\operatorname {Div} \,(X)/\operatorname {HDiv} \,(X)\,$

die Divisorenklassengruppe von ${}X$.

Für einen noetherschen normalen Integritätsbereich ${}R$ nennt man entsprechend ${}\operatorname {DKG} {\left(R\right)}=\operatorname {DKG} {\left(\operatorname {Spek} {\left(R\right)}\right)}$ die Divisorenklassengruppe des Rings ${}R$. Im zahlentheoretischen Kontext, wenn ${}R$ der Ring der ganzen Zahlen in einer endlichen Erweiterung von ${}\mathbb {Q}$ ist, spricht man auch von der Idealklassengruppe. Divisoren, die die gleiche Divisorenklasse definieren, heißen linear äquivalent.

Satz Satz 22.7 ändern

Es sei ${}R$ ein normaler noetherscher Integritätsbereich und es bezeichne ${}\operatorname {DKG} {\left(R\right)}$ die Divisorenklassengruppe von ${}R$. Dann sind folgende Aussagen äquivalent.

1. ${}R$ ist faktoriell.
2. Jedes Primideal der Höhe ${}1$ ist ein Hauptideal.
3. Jeder Divisor ist ein Hauptdivisor.
4. Es ist ${}\operatorname {DKG} {\left(R\right)}=0$.

Beweis

Sei (1) erfüllt und ${}{\mathfrak {p}}$ ein Primideal der Höhe ${}1$. Es gibt ein Element ${}f\in {\mathfrak {p}}$, ${}f\neq 0$. Dieses hat eine Primfaktorzerlegung ${}f=p_{1}\cdots p_{n}$ und aufgrund der Primeigenschaft muss ${}p_{i}\in {\mathfrak {p}}$ für ein ${}i$ sein. Dann ist aber wegen der Höhenbedingung ${}(p_{i})={\mathfrak {p}}$. Sei nun jedes Primideal der Höhe ${}1$ Hauptideal. Dann gilt mit

${}{\mathfrak {p}}=(p)\,$

die Divisorbeziehung

${}\operatorname {div} {\left(p\right)}=1\cdot {\mathfrak {p}}\,,$

da ${}p$ in keinem anderen Primideal der Höhe ${}1$ enthalten ist und da ${}p$ auch in ${}R_{\mathfrak {p}}$ ein Erzeuger von ${}{\mathfrak {p}}R_{\mathfrak {p}}$ ist. Somit sind die Gruppenerzeuger der Divisorenklasengruppe Hauptdivisoren und damit sind überhaupt alle Divisoren Hauptdivisoren. Die Äquivalenz von (3) und (4) ist klar. Es sei nun vorausgesetzt, dass jeder Divisor ein Hauptdivisor ist. Dann gibt es zu einem Primideal ${}{\mathfrak {p}}$ der Höhe ${}1$ ein ${}f\in Q(R)$, ${}f\neq 0$, mit

${}\operatorname {div} {\left(f\right)}=1\cdot {\mathfrak {p}}\,.$

Wegen der Nichtnegativität des Hauptdivisors ist nach Satz 21.12 ${}f\in R$. Somit ist ${}f$ nur in ${}{\mathfrak {p}}$ als einzigem Primideal der Höhe ${}1$ enthalten. Sei ${}{\mathfrak {p}}=(g_{1},\ldots ,g_{n})$. Dann ist

${}\operatorname {div} {\left(g_{i}\right)}\geq \operatorname {div} {\left(f\right)}\,$

und somit ist ${}{\frac {g_{i}}{f}}\in R$, also ${}g_{i}\in (f)$ und damit ${}{\mathfrak {p}}=(f)$.

Sei schließlich (2) erfüllt, und ${}f\in R$, ${}f\neq 0$. Es seien ${}{\mathfrak {p}}_{1},\ldots ,{\mathfrak {p}}_{s}$ die minimalen Primoberideale von ${}f$. Nach dem Krullschen Hauptidealsatz besitzen diese alle die Höhe ${}1$. Sei ${}{\mathfrak {p}}_{i}=(p_{i})$ mit Primelementen ${}p_{1}$. Es ist

${}\operatorname {div} {\left(f\right)}=\sum _{i=1}^{s}n_{i}{\mathfrak {p}}_{i}\,.$

Das Element ${}\prod _{i=1}^{s}p_{i}^{n_{i}}$ besitzt den gleichen Hauptdivisor. Deshalb ist der Quotient ${}f/\prod _{i=1}^{s}p_{i}^{n_{i}}$ eine Einheit und

${}f=u\prod _{i=1}^{s}p_{i}^{n_{i}}\,$

mit einer Einheit ${}u$. Daher ist ${}R$ faktoriell.

$\Box$

Beispiel Beispiel 22.8 ändern

Wir wollen die Weildivisoren und die Divisorenklassengruppe des projektiven Raumes ${}{\mathbb {P} }_{K}^{d}$ über einem Körper ${}K$ verstehen (${}d\geq 1$). Wir betrachten die disjunkte Zerlegung

${}{\mathbb {P} }_{K}^{d}=D_{+}(X_{0})\cup V_{+}(X_{0})={{\mathbb {A} }_{K}^{d}}\cup {\mathbb {P} }_{K}^{d-1}\,,$

d.h. wir fixieren die Hyperebene

${}H=V_{+}(X_{0})\cong {\mathbb {P} }_{K}^{d-1}\,$

im „Unendlichen“. Ein Primdivisor des projektiven Raumes stimmt also entweder mit der Hyperebene rechts überein oder sie schneidet den affinen Raum links nichtleer und kann als ein Primideal der Höhe ${}1$ im Polynomring ${}K[{\frac {X_{1}}{X_{0}}},\ldots ,{\frac {X_{d}}{X_{0}}}]$ aufgefasst werden. Jede Funktion ${}f$ des Funktionenkörpers lässt sich (bis auf Skalierung und kürzen) eindeutig als ${}f={\frac {P}{Q}}$ mit Polynomen ${}P,Q\in K[{\frac {X_{1}}{X_{0}}},\ldots ,{\frac {X_{d}}{X_{0}}}]$ schreiben. Mit den Primfaktorzerlegungen zu ${}P$ und ${}Q$ kann man direkt

${}f=\prod _{i=1}^{n}cP_{i}^{\nu _{i}}\,$

(mit einer Konstanten ${}c\neq 0$ und ${}\nu _{i}\in \mathbb {Z}$) schreiben und daraus den Hauptdivisor zu ${}f$ ablesen, sofern er such auf die Komponenten im affinen Raum bezieht. Die („unendlich ferne“) Ordnung von ${}f$ an ${}V_{+}(X_{0})$ ergibt sich folgendermaßen. Der lokale Ring zu diesem Primdivisor ist

${}{\begin{aligned}K[X_{0},X_{1},\ldots ,X_{n}]_{((X_{0}))}&={\left(K[X_{0},X_{1},\ldots ,X_{n}]_{K[X_{0},X_{1},\ldots ,X_{n}]\setminus (X_{0})\cap {\text{ homogene Elemente }}}\right)}_{0}\\&=K{\left({\frac {X_{2}}{X_{1}}},\ldots ,{\frac {X_{d}}{X_{1}}}\right)}[{\frac {X_{0}}{X_{1}}}]_{\left({\frac {X_{0}}{X_{1}}}\right)}.\end{aligned}}$

Man schreibt ${}P$ (bzw. ${}Q$ oder ${}f$), indem man überall ${}{\frac {X_{i}}{X_{0}}}$ durch ${}{\frac {X_{i}}{X_{1}}}\cdot {\frac {X_{1}}{X_{0}}}$ ersetzt. Dies betrachtet man als rationale Funktion über dem Körper ${}K{\left({\frac {X_{2}}{X_{1}}},\ldots ,{\frac {X_{d}}{X_{1}}}\right)}$ in der einen Variablen ${}{\frac {X_{0}}{X_{1}}}$. Der (typischerweise negative) Grad bezüglich ${}{\frac {X_{0}}{X_{1}}}$ ist die Ordnung.

Beispielsweise ist bei

${}P={\frac {X_{1}}{X_{0}}}+{\left({\frac {X_{2}}{X_{0}}}\right)}^{3}={\frac {X_{1}}{X_{0}}}+{\left({\frac {X_{2}}{X_{1}}}\right)}^{3}{\left({\frac {X_{1}}{X_{0}}}\right)}^{3}={\left({\left({\frac {X_{0}}{X_{1}}}\right)}^{2}+{\left({\frac {X_{2}}{X_{1}}}\right)}^{3}\right)}{\left({\frac {X_{0}}{X_{1}}}\right)}^{-3}\,$

und die Ordnung ist ${}-3$. Da jeder Weildivisor mit einem Hauptdivisor auf dem affinen Raum wegen der Faktorialität des Polynomringes übereinstimmt, ist jeder Weildivisor linear äquivalent zu einem Divisor der Form ${}nV_{+}(X_{0})$ mit ${}n\in \mathbb {Z}$ (die Klasse zu ${}V_{+}(X_{0})$ nennt man auch die Hyperebenenklasse.). Ein solcher Divisor ist aber bei ${}n\neq 0$ kein Hauptdivisor, da ein solcher Hauptdivisor auf dem affinen Raum trivial ist und daher von einer Konstanten herrühren muss. Eine solche besitzt aber auch im Unendlichen die Ordnung ${}0$. Die Divisorenklassengruppe des projektiven Raumes ist also ${}\mathbb {Z}$, als Erzeuger kann man jede Hyperebene nehmen.

Divisorenklassengruppe und Picardgruppe

Wir besprechen nun den Zusammenhang zwischen Divisoren und invertierbaren Untergarben der Funktionenkörpergarben ${}{\mathcal {K}}$ und zwischen der Divisorenklassengruppe und der Picardgruppe. Eine invertierbare Untergarbe ${}{\mathcal {L}}\subseteq {\mathcal {K}}$ definiert für jeden Punkt ${}x\in X$ einen freien ${}{\mathcal {O}}_{X,x}$- Untermodul ${}{\mathcal {L}}_{x}\subseteq {\mathcal {K}}_{x}=K$ vom Rang ${}1$. Wenn ${}{\mathcal {O}}_{X,x}$ ein diskreter Bewertungsring mit Ortsuniformisierender ${}\pi$ ist, was bei einem normalen Schema für jeden generischen Punkt zu einem Primdivisor der Fall ist, gilt

${}{\mathcal {L}}_{x}=\pi ^{n}{\mathcal {O}}_{X,x}\,$

mit einem eindeutigen ${}n\in \mathbb {Z}$. Dieses ${}n$ bezeichnen wir mit ${}\operatorname {ord} _{Y}\,({\mathcal {L}})$, wenn ${}Y$ den Primdivisor bezeichnet.

Satz Satz 22.9 ändern

Es sei ${}X$ ein lokal faktorielles noethersches integres Schema.

Dann entsprechen sich die invertierbaren ${}{\mathcal {O}}_{X}$- Untermoduln der konstanten Funktionenkörpergarbe ${}{\mathcal {K}}$ und die Weildivisoren über die Korrespondenz

${\mathcal {L}}\longmapsto \sum _{Y}\operatorname {ord} _{Y}({\mathcal {L}})$

und

$D=\sum _{Y}a_{Y}Y\longmapsto {\mathcal {L}}_{D}$

mit

${}{\mathcal {L}}_{D}(U)={\left\{f\in K\mid \operatorname {ord} _{Y}(f)\geq D{\text{ für alle }}Y\in U\right\}}\,$

für eine offene Teilmenge ${}U\subseteq X$.

Diese Zuordnungen sind mit den Gruppenstrukturen verträglich und dabei entsprechen sich triviale Untergarben und Hauptdivisoren. Invertierbare Ideale ${}{\mathcal {L}}\subseteq {\mathcal {O}}_{X}\subseteq {\mathcal {K}}$ entsprechen den effektiven Divisoren.

Beweis

Es gibt eine endliche offene affine Überdeckung ${}X=\bigcup _{i\in I}U_{i}$ mit

${}{\mathcal {L}}=(f_{i}){\mathcal {O}}_{X}{|}_{U_{i}}\,$

mit ${}f_{i}\in K$, ${}f_{i}\neq 0$. Nach Lemma 22.2 gibt es jeweils nur endlich viele irreduzible Weildivisoren in ${}U_{i}$ mit

${}\operatorname {ord} _{Y}(f_{i})\neq 0\,.$

Daher ist ${}D=\sum _{Y}\operatorname {ord} _{Y}({\mathcal {L}})Y$ in der Tat ein Weildivisor.

Es sei umgekehrt ${}D$ ein Weildivisor und ${}{\mathcal {L}}$ die zugehörige Untergarbe der konstanten Garbe zum Funktionenkörper. Es ist zu zeigen, dass diese invertierbar ist. Sei ${}x\in X$ ein Punkt und ${}x\in U\subseteq X$ eine affine offene Umgebung. Im lokalen Ring ${}{\mathcal {O}}_{X,x}$, der nach Voraussetzung faktoriell ist, ist nach Satz 22.7 der Divisor ${}D_{x}$, der aus allen irreduziblen Komponenten von ${}D$ besteht, die durch ${}x$ verlaufen, ein Hauptdivisor. Indem man die Komponenten von ${}D$, die nicht durch ${}x$ verlaufen, entfernt, kann man ${}U$ durch eine kleinere affine Umgebung ${}V$ von ${}x$ ersetzen, auf der der Divisor ein Hauptdivisor ist. Dort gilt also

${}D{|}_{V}=\operatorname {div} {\left(f\right)}{|}_{V}\,$

mit einem ${}f\in K$. Es ist dann

${}{\mathcal {L}}_{D}{|}_{V}=(f){\mathcal {O}}_{X}{|}_{V}\,.$

Wir müssen nun zeigen, dass diese Zuordnungen invers zueinander sind. Wir beginnen mit einer invertierbaren Untergarbe und übernehmen die Bezeichnungen von oben. Auf ${}U_{i}$ ist ${}D{|}_{U_{i}}=\operatorname {div} {\left(f_{i}\right)}{|}_{U_{i}}$. Daher gilt für ${}g\in K$ die Zugehörigkeit

${}g\in {\left\{f\in K\mid \operatorname {ord} _{Y}(f)\geq D{\text{ für alle }}Y\in U\right\}}\,$

genau dann, wenn auf ${}U$ für die Hauptdivisoren die Beziehung

${}\operatorname {div} {\left(g\right)}\geq \operatorname {div} {\left(f_{i}\right)}\,$

gilt, was wegen Satz 21.12 wiederum zu ${}g\in f\cdot \Gamma (X,{\mathcal {O}}_{X})$ äquivalent ist.

Wenn man mit einem Weildivisor startet, so stimmt dieser lokal mit einem Hauptdivisor überein. Dann erzeugt ein Element des Funktionenkörpers, das diesen Hauptdivisor besitzt, lokal die zugehörige invertierbare Garbe, und dieses Element wird auch verwendet, um den zugehörigen Divisor auszurechnen.

$\Box$

Bei der vorstehenden Korrespondenz entsprechen die Ideale den effektiven Divisoren, das Hauptideal ${}(f)$ entspricht dem Hauptdivisor ${}\operatorname {div} {\left(f\right)}$. Es gibt aber auch gute Gründe, die Korrespondenz abzuändern, indem man Negationen miteinarbeitet. Dann entspricht ein effektiver Divisor einem globalen Schnitt in der zugehörigen invertierbaren Garbe.

Satz Satz 22.10 ändern

Es sei ${}X$ ein lokal faktorielles noethersches integres Schema.

Dann stimmt die Divisorenklassengruppe von ${}X$ mit der Picardgruppe von ${}X$ überein.

Beweis

Dies folgt aus Lemma 20.6 und Satz 22.9.

$\Box$

Korollar Korollar 22.11 ändern

Es sei ${}X$ ein glattes Schema über einem algebraisch abgeschlossenen Körper ${}K$.

Dann stimmt die Divisorenklassengruppe von ${}X$ mit der Picardgruppe von ${}X$ überein.

Beweis

In einem glatten Schema sind die lokalen Ringe nach Satz 18.16 regulär und diese sind nach Satz 25.12 (Singularitätentheorie (Osnabrück 2019)) faktoriell. Daher folgt die Aussage aus Satz 22.10.

$\Box$

Satz Satz 22.12 ändern

Die Picardgruppe des projektiven Raumes ${}{\mathbb {P} }_{K}^{d}$ mit ${}d\geq 1$ über einem Körper ${}K$

ist ${}\mathbb {Z}$. Die invertierbaren Garben auf dem projektiven Raum werden repräsentiert durch die getwisteten Strukturgarben ${}{\mathcal {O}}_{{\mathbb {P} }_{K}^{d}}(\ell )$, ${}\ell \in \mathbb {Z}$.

Beweis

Dies folgt aus Satz 22.10 und Beispiel 22.8. Aufgrund der expliziten Übersetzung in Satz 22.9 entspricht die negierte Hyperebenenklasse dem tautologischen Bündel ${}{\mathcal {O}}_{{\mathbb {P} }_{K}^{d}}(1)$.

$\Box$