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

Das projektive Spektrum eines graduierten Ringes

Das projektive Spektrum wird üblicherweise für ${}\mathbb {N}$- graduierte Ringe eingeführt. Da man aber in der Konstruktion Nenneraufnahmen an homogenen Elementen betrachtet, wobei auch negative Grade auftreten, ist es sinnvoller, von Anfang an mit ${}\mathbb {Z}$-Graduierungen zu arbeiten.

Definition

Zu einem ${}\mathbb {Z}$- graduierten Ring nennt man das von allen homogenen Elementen von einem Grad ${}\neq 0$ erzeugte Ideal das irrelevante Ideal. Es wird mit ${}R_{+}$ bezeichnet.

Im positiv-graduierten Fall ist dies einfach das Ideal ${}\bigoplus _{n\geq 1}R_{n}$. Bei negativen Graden kann es auch das Einheitsideal sein.

Definition

Es sei ${}R$ ein ${}\mathbb {Z}$- graduierter kommutativer Ring. Dann nennt man die Menge der homogenen Primideale von ${}R$, die nicht ${}R_{+}$ umfassen, das projektive Spektrum von ${}R$. Es wird mit ${}\operatorname {Proj} {\left(R\right)}$ bezeichnet.

Definition

Es sei ${}R$ ein ${}\mathbb {Z}$- graduierter kommutativer Ring. Dann nennt man die Menge der homogenen Primideale von ${}R$, die nicht ${}R_{+}$ umfassen, zusammen mit der Topologie, bei der die Teilmengen

${}D_{+}{\left({\mathfrak {a}}\right)}={\left\{{\mathfrak {p}}\in \operatorname {Proj} {\left(R\right)}\mid {\mathfrak {a}}\not \subseteq {\mathfrak {p}}\right\}}\,$

als offen erklärt werden, das projektive Spektrum von ${}R$.

Es handelt sich in der Tat um eine Topologie. Es ist

${}D_{+}({\mathfrak {a}})=\bigcup _{f\in {\mathfrak {a}}{\text{ homogen}}}D_{+}(f)\,$

mit

${}D_{+}(f)={\left\{{\mathfrak {p}}\in \operatorname {Proj} {\left(R\right)}\mid f\notin {\mathfrak {p}}\right\}}\,.$

Diese ${}D_{+}(f)$ bilden eine Basis der Topologie.

Definition

Das projektive Spektrum des Polynomrings ${}R[X_{0},X_{1},\ldots ,X_{n}]$ nennt man den projektiven Raum der Dimension ${}n$ über ${}R$.

Zu einem ${}\mathbb {Z}$-graduierten Ring ${}S$ bezeichnet man den Ring der nullten Stufe mit ${}S_{0}$. Wenn ${}R$ ${}\mathbb {N}$-graduiert ist, so ist ${}R_{0}$ häufig ein einfacher Ring, beispielsweise ein Körper, aber wenn ${}f\in R$ ein homogenes Element mit einem positiven Grad ist, so ist die Nenneraufnahme ${}R_{f}$ in natürlicher Weise ${}\mathbb {Z}$-graduiert und ${}{\left(R_{f}\right)}_{0}$ kann beliebig kompliziert sein.

Zu einem homogenen Primideal ${}{\mathfrak {p}}$ ist ${}R\setminus {\mathfrak {p}}$ ein multiplikatives System und entsprechend ist der Durchschnitt von ${}R\setminus {\mathfrak {p}}$ mit der Menge aller homogenen Elemente ein multiplikatives System. Der Ring der nullten Stufe zu dieser Nenneraufnahme spielt eine besondere Rolle, er wird mit

${}R_{({\mathfrak {p}})}=(R_{(R\setminus {\mathfrak {p}})\cap \{{\text{homogene Elemente}}\}})_{0}\,$

bezeichnet.

Lemma

Zu einem homogenen Primideal ${}{\mathfrak {p}}$ in einem ${}\mathbb {N}$- graduierten Ring ${}R$

ist ${}R_{({\mathfrak {p}})}$ ein lokaler Ring.

Beweis

Seien ${}r,s\in R_{({\mathfrak {p}})}$ Nichteinheiten. Dann ist ${}r={\frac {a}{f}}$ und ${}s={\frac {b}{g}}$ mit homogenen Elementen ${}f,g\notin {\mathfrak {p}}$ und homogenen Elementen ${}a,b\in R$, die jeweils den gleichen Grad wie ihre Nenner haben. Dabei ist ${}a,b\in {\mathfrak {p}}$, da andernfalls eine Einheit vorliegen würde. Daher ist ${}ag+bf\in {\mathfrak {p}}$ und somit ist

${}{\frac {a}{f}}+{\frac {b}{g}}={\frac {ag+bf}{fg}}\,$

ebenfalls eine Nichteinheit in ${}R_{({\mathfrak {p}})}$.

$\Box$

Definition

Es sei ${}R$ ein ${}\mathbb {Z}$- graduierter Ring und ${}Y=\operatorname {Proj} {\left(R\right)}$ das mit der Zariski-Topologie versehene projektive Spektrum von ${}R$. Unter der Strukturgarbe auf ${}Y$ versteht man die Zuordnung, die jeder offenen Menge ${}U\subseteq Y$ den kommutativen Ring

$\Gamma (U,{\mathcal {O}}_{Y})={\left\{{\left(s_{\mathfrak {p}}\right)}_{{\mathfrak {p}}\in U}\in \prod _{{\mathfrak {p}}\in U}R_{({\mathfrak {p}})}\mid {\text{ für alle }}{\mathfrak {p}}\in U{\text{ gibt es homogene Elemente }}a,b\in R{\text{ mit }}{\mathfrak {p}}\in D_{+}(b)\subseteq U{\text{ und }}s_{\mathfrak {q}}={\frac {a}{b}}{\text{ in }}R_{({\mathfrak {q}})}{\text{ für alle }}{\mathfrak {q}}\in D_{+}(b)\right\}}\,$

und jeder Inklusion ${}U\subseteq V$ die natürliche Projektion zuordnet.

Diese Definition beinhaltet insbesondere, dass in jeder Darstellung die Differenz ${}\operatorname {Grad} \,(a)-\operatorname {Grad} \,(b)$ gleich ${}0$ ist. Man kann dies als Vergarbung der durch

$D_{+}({\mathfrak {a}})\mapsto \operatorname {colim} _{D_{+}({\mathfrak {a}})\subseteq D_{+}(f)}\,(R_{f})_{0}$

definierten Prägarbe auffassen, wodurch klar wird, dass eine Garbe aus kommutativen Ringen vorliegt.

Definition

Es sei ${}R$ ein ${}\mathbb {Z}$- graduierter Ring. Unter dem projektiven Spektrum ${}Y=\operatorname {Proj} {\left(R\right)}$ versteht man das mit der Zariski-Topologie und der Strukturgarbe versehene projektive Spektrum von ${}R$.

Lemma

Es sei ${}R$ ein ${}\mathbb {Z}$- graduierter Ring, der zumindest eine homogene Einheit positiven Grades besitze.

Dann ist die Abbildung

$\operatorname {Proj} {\left(R\right)}\longrightarrow \operatorname {Spek} {\left(R_{0}\right)},\,{\mathfrak {p}}\longmapsto {\mathfrak {p}}\cap R_{0},$

eine Bijektion, die bezüglich der Zariski-Topologien eine Homöomorphie und bezüglich der Strukturgarben ein Isomorphismus ist. Ferner ist dabei

${}R_{({\mathfrak {p}})}={\left(R_{0}\right)}_{{\mathfrak {p}}\cap R_{0}}\,.$

Beweis

Zunächst ist ${}{\mathfrak {p}}_{0}:={\mathfrak {p}}\cap R_{0}$ ein Primideal und die Abbildung ist wohldefiniert. Es sei ${}g$ eine Einheit positiven Grades. Wir behaupten, dass sich ${}{\mathfrak {p}}$ aus ${}{\mathfrak {p}}_{0}$ rekonstruieren lässt, und zwar sind die homogenen Elemente von ${}{\mathfrak {p}}$, die ja das Ideal festlegen, gleich

${}{\mathfrak {p}}\cap H={\left\{h{\text{ homogen}}\mid {\text{ es gibt }}i\in \mathbb {Z} ,j\in \mathbb {N} _{+}{\text{ mit }}g^{i}h^{j}\in {\mathfrak {p}}_{0}\right\}}\,.$

Dabei ist die Inklusion ${}\subseteq$ klar, da man ${}i$ und ${}j$ so wählen kann, dass der Grad von ${}g^{i}h^{j}$ gleich ${}0$ wird. Wenn umgekehrt ${}g^{i}h^{j}\in {\mathfrak {p}}_{0}$ ist, so ist zunächst ${}h^{j}\in {\mathfrak {p}}$ und wegen der Primeigenschaft dann auch ${}h\in {\mathfrak {p}}$. Damit ist die Abbildung injektiv. Zum Nachweis der Surjektivität sei ${}{\mathfrak {q}}$ ein Primideal aus ${}R_{0}$ und wir betrachten das von

${\left\{h{\text{ homogen}}\mid {\text{ es gibt }}i\in \mathbb {Z} ,j\in \mathbb {N} _{+}{\text{ mit }}g^{i}h^{j}\in {\mathfrak {q}}\right\}}$

erzeugte Ideal. Dieses enthält keine Einheit und somit auch nicht ganz ${}R_{+}$, da es nicht ${}g$ enthält, da ${}{\mathfrak {q}}$ nicht die ${}1$ enthält. Wenn ${}h_{1}h_{2}$ zu dieser Menge gehört, so ist ${}g^{i}h_{1}^{j}h_{2}^{j}\in {\mathfrak {q}}$ für gewisse ${}i,j$ und für eine gewisse Potenz davon können wir dies als

${}{\left(g^{i}h_{1}^{j}h_{2}^{j}\right)}^{n}={\left(g^{a}h_{1}^{b}\right)}{\left(g^{c}h_{2}^{d}\right)}\,$

derart schreiben, dass beide Faktoren den Grad ${}0$ haben. Dann muss ein Faktor zu ${}{\mathfrak {q}}$ gehören und somit ${}h_{1}$ oder ${}h_{2}$ zu der angegebenen Menge.

Zum Nachweis der Homöomorphie beachte man, dass die Mengen ${}D_{+}(f)$ bzw. ${}D(f)$ zu homogenen Elementen (vom Grad ${}0$) jeweils eine Basis der Topologie bilden, dass das Urbild von ${}D(f)$ gleich ${}D_{+}(f)$ ist und dass ${}D_{+}(f)=D_{+}(fg^{j})$ ist.

$\Box$

Lemma

Zu einem ${}\mathbb {Z}$- graduierten Ring ${}R$ und einem homogenen Element ${}f\in R$ von einem Grad ${}\neq 0$ ist

${}D_{+}(f)\cong \operatorname {Spek} {\left({\left(R_{f}\right)}_{0}\right)}\,$

als beringte Räume. Insbesondere ist das projektive Spektrum ${}\operatorname {Proj} {\left(R\right)}$ ein Schema.

Beweis

Dies folgt aus Lemma 12.8, angewendet auf ${}R_{f}$, unter Berücksichtigung, dass die homogenen Primideale von ${}D_{+}(f)$ den homogenen Primidealen von ${}R_{f}$ entsprechen. Die Schemaeigenschaft folgt, da die ${}D_{+}(f)$ zu ${}f\in R_{+}$ das projektive Spektrum überdecken.

$\Box$

Beispiel

Das projektive Spektrum zum standard-graduierten Polynomring ${}R[X_{0},X_{1},\ldots ,X_{n}]$, also der projektive Raum, wird durch die ${}D_{+}{\left(X_{i}\right)}$ überdeckt. Man spricht von der affinen Standardüberdeckung des projekiven Raumes. Dabei ist

${}\Gamma {\left(D_{+}(X_{i}),{\mathcal {O}}_{{\mathbb {P} }_{R}^{n}}\right)}={\left(R[X_{0},X_{1},\ldots ,X_{n}]_{X_{i}}\right)}_{0}=R[{\frac {X_{0}}{X_{i}}},{\frac {X_{1}}{X_{i}}},\ldots ,{\frac {X_{i-1}}{X_{i}}},{\frac {X_{i+1}}{X_{i}}},\ldots ,{\frac {X_{n}}{X_{i}}}]\,$

ein Polynomring in ${}n$ Variablen und daher ist (mit ${}Y_{j}={\frac {X_{j}}{X_{i}}}$ für ${}j\neq i$)

${}D_{+}{\left(X_{i}\right)}=\operatorname {Spek} {\left(R[Y_{0},Y_{1},\ldots ,Y_{i-1},Y_{i+1},\ldots ,Y_{n}]\right)}={{\mathbb {A} }_{R}^{n}}\,.$

Der projektive ${}n$-dimensionale Raum wird also durch ${}n+1$ affine Räume überdeckt.

Satz

Es seien ${}A$ und ${}B$ ${}\mathbb {Z}$- graduierte Ringe über einem kommutativen Ring ${}R=A_{0}$ und sei ${}\theta \colon A\rightarrow B$ ein homogener Ringhomomorphismus.

Dann gibt es einen natürlichen Schemamorphismus

$D_{+}(\theta (A_{+})B)\longrightarrow \operatorname {Proj} {\left(A\right)},\,{\mathfrak {p}}\longmapsto \theta ^{-1}({\mathfrak {p}}).$

Beweis

Das Urbild eines Primideals unter einem Ringhomomorphismus ist wieder ein Primideal und das Urbild eines homogenen Ideals ist wieder ein homogenes Ideal. Für

${}{\mathfrak {p}}\in D_{+}(\theta (A_{+})B)=\operatorname {Proj} {\left(B\right)}\,$

gibt es ein homogenes Element ${}f\in A_{+}$ mit ${}\theta (f)\notin {\mathfrak {p}}$. Daher ist ${}A_{+}\not \subseteq \theta ^{-1}({\mathfrak {p}})$ und somit ist ${}\theta ^{-1}({\mathfrak {p}})\in \operatorname {Proj} {\left(A\right)}$. Es gibt also eine Abbildung

$\varphi \colon D_{+}(\theta (A_{+})B)\longrightarrow \operatorname {Proj} {\left(A\right)}.$

Für ein homogenes Element ${}f\in A_{+}$ ist dabei ${}\varphi ^{-1}(D_{+}(f))=D_{+}(\theta (f))$, da dies auch für die Spektrumsabbildung gilt. Daher ist die Abbildung stetig. Nach Korollar 10.10 ist die Spektrumsabbildung in eindeutiger Weise ein Morphismus von Schemata. Auf jedem ${}D(f)$ ist dieser durch den Ringhomomorphismus

$\theta _{f}\colon A_{f}\longrightarrow B_{\theta (f)}$

gegeben. Bei ${}f$ homogen ist dieser Ringhomomorphismus wieder homogen und induziert insbesondere einen Ringhomomorphismus

${\left(\theta _{f}\right)}_{0}\colon {\left(A_{f}\right)}_{0}\longrightarrow {\left(B_{\theta (f)}\right)}_{0}$

in der nullten Stufe. Da dies nach Lemma 12.9 die Schnittringe zu ${}D_{+}(f)$ bzw. ${}D_{+}(\theta (f))$ sind, und da diese Ringhomomorphismen mit den Restriktionen verträglich sind, und da das Diagramm

${\begin{matrix}D_{+}(\theta (f))&{\stackrel {\varphi =\theta ^{-1}}{\longrightarrow }}&D_{+}(f)&\\\downarrow &&\downarrow &\\\operatorname {Spec} {\left((B_{\theta (f)})_{0}\right)}&{\stackrel {(\theta _{f})_{0}^{-1}}{\longrightarrow }}&\operatorname {Spec} {\left((A_{f})_{0}\right)}&\!\!\!\!\!\\\end{matrix}}$

kommutiert, handelt es sich um einen Morphismus lokal beringter Räume.

$\Box$

Beispiel

Die Unterringbeziehung

${}K[X_{1},\ldots ,X_{n}]\subseteq K[X_{0},X_{1},\ldots ,X_{n}]\,$

führt im Sinne von Satz 12.11 zu einem Schemamorphismus

${\mathbb {P} }_{K}^{n}\supset D_{+}(X_{1},\ldots ,X_{n})\longrightarrow {\mathbb {P} }_{K}^{n-1}.$

Einem ${}K$-Punkt mit den homogenen Koordinaten ${}(x_{0},x_{1},\ldots ,x_{n})$ wird der Punkt ${}(x_{1},\ldots ,x_{n})$ zugeordet, und diese Abbildung ist nur auf der angegebenen offenen Teilmenge definiert, es gibt keine sinnvolle Fortsetzung auf den Punkt ${}(1,0,\ldots ,0)$. Man spricht von der Projektion weg von einem Punkt. In den affinen Räumen ${}{{\mathbb {A} }_{K}^{n+1}}$ bzw. ${}{{\mathbb {A} }_{K}^{n}}$ interpretiert bedeutet die Abbildung, dass eine jede Gerade auf eine Hyperebene projiziert wird. Für die Gerade, die „senkrecht“ auf der Hyperebene steht, ist dies nicht wohldefiniert, da die Projektion keine Gerade liefert.

Die folgende Definition werden wir insbesondere über einem Körper verwenden.

Definition

Ein Schema ${}{\left(X,{\mathcal {O}}_{X}\right)}$ über einem kommutativen Ring ${}R$ heißt projektiv, wenn es eine Faktorisierung

$X{\stackrel {i}{\longrightarrow }}{\mathbb {P} }_{R}^{n}\longrightarrow \operatorname {Spek} {\left(R\right)}$

gibt, bei der ${}i$ eine abgeschlossene Einbettung ist.

Lemma

Zu einem standard-graduierten Ring ${}A$

ist das projektive Spektrum ${}\operatorname {Proj} {\left(A\right)}$ ein projektives Schema über ${}\operatorname {Spec} {\left(A_{0}\right)}$.

Beweis

Es ist

${}A=A_{0}[X_{0},X_{1},\ldots ,X_{n}]/{\mathfrak {a}}\,$

mit einem homogenen Ideal ${}{\mathfrak {a}}\subseteq A_{0}[X_{0},X_{1},\ldots ,X_{n}]$. Zur Restklassenabbildung

$\theta \colon A_{0}[X_{0},X_{1},\ldots ,X_{n}]\longrightarrow A$

gehört nach Satz 12.11 der Schemamorphismus

$i\colon \operatorname {Proj} {\left(A\right)}\longrightarrow {\mathbb {P} }_{A_{0}}^{n}.$

So wie die Spektrumsabbildung

$\operatorname {Spek} {\left(A\right)}\longrightarrow V({\mathfrak {a}})\subseteq {{\mathbb {A} }_{A_{0}}^{n+1}},\,{\mathfrak {p}}\longmapsto \theta ^{-1}({\mathfrak {p}}),$

eine Homöomorphie ist, ist auch die vorliegende projektive Variante eine Homöomorphie auf ${}V_{+}({\mathfrak {a}})$. D.h. insbesondere, dass ${}\operatorname {Proj} {\left(A\right)}$ in natürlicher Weise einer abgeschlossenen Teilmenge des projektiven Raumes über ${}A_{0}$ entspricht. Wir müssen noch zeigen, dass der Garbenhomomorphismus

${\mathcal {O}}_{{\mathbb {P} }_{A_{0}}^{n}}\longrightarrow i_{*}{\mathcal {O}}_{\operatorname {Proj} {\left(A\right)}}$

surjektiv ist. Auf ${}D_{+}(f)$ zu einem homogenen Element ${}f\in A_{0}[X_{0},X_{1},\ldots ,X_{n}]_{+}$ ist dies aber die Abbildung

${\left(A_{0}[X_{0},X_{1},\ldots ,X_{n}]_{f}\right)}_{0}\longrightarrow {\left(A_{f}\right)}_{0},$

und diese ist surjektiv.

$\Box$

In der vorstehenden Aussage sind die Ringhomomorhismen nur auf den Mengen der Form ${}D_{+}(f)$ surjektiv, nicht auf allen offenen Mengen. Da diese aber eine Basis der Topologie bilden, liegt auch die Surjektivität in den Halmen vor. Daher handelt es sich einen surjektiven Garbenhomomorphismus.

Definition

Zu einem homogenen Polynom ${}F\in K[X_{0},X_{1},\ldots ,X_{n}]$ über einem Körper ${}K$ nennt man

${}V_{+}(F)=\operatorname {Proj} {\left(K[X_{0},X_{1},\ldots ,X_{n}]/(F)\right)}\subset {\mathbb {P} }_{K}^{n}\,$

die projektive Hyperfläche zu ${}F$.

Definition

Zu einer projektiven Hyperfläche

${}V_{+}(F)=\operatorname {Proj} {\left(K[X_{0},X_{1},\ldots ,X_{n}]/(F)\right)}\subset {\mathbb {P} }_{K}^{n}\,$

zu einem homogenen Polynom ${}F\in K[X_{0},X_{1},\ldots ,X_{n}]$ nennt man den Grad von ${}F$ auch den Grad der Hyperfläche.

Eine Hyperfläche vom Grad ${}1$ nennt man Hyperebene, das sind projektiv-lineare Unterräume der Kodimension ${}1$.

Lemma

Es sei ${}R=K[X_{0},X_{1},\ldots ,X_{d}]/{\left(f_{1},\ldots ,f_{s}\right)}$ ein standard-graduierter Ring mit homogenen Erzeugern ${}f_{j}$ vom Grad ${}d_{j}$.

Dann ist ${}{\left(R_{X_{i}}\right)}_{0}=K[{\frac {X_{0}}{X_{i}}},\ldots ,{\frac {X_{i-1}}{X_{i}}},{\frac {X_{i+1}}{X_{i}}},\ldots ,{\frac {X_{d}}{X_{i}}}]/{\left({\frac {f_{1}}{X_{i}^{d_{1}}}},\ldots ,{\frac {f_{s}}{X_{i}^{d_{s}}}}\right)}$.

Dieser Restklassenring wird durch die Dehomogenisierungen der ${}f_{\ell }$ bezüglich der Variablen ${}X_{i}$ beschrieben.

Beweis

Es ist

${}{\begin{aligned}R_{X_{i}}&=K[X_{0},\ldots ,X_{d},X_{i}^{-1}]/{\left(f_{1},\ldots ,f_{s}\right)}\\&=K[{\frac {X_{0}}{X_{i}}},\ldots ,{\frac {X_{i-1}}{X_{i}}},{\frac {X_{i+1}}{X_{i}}},\ldots ,{\frac {X_{d}}{X_{i}}},X_{i},X_{i}^{-1}]/{\left({\frac {f_{1}}{X_{i}^{d_{1}}}},\ldots ,{\frac {f_{s}}{X_{i}^{d_{s}}}}\right)}\\&={\left(K[{\frac {X_{0}}{X_{i}}},\ldots ,{\frac {X_{i-1}}{X_{i}}},{\frac {X_{i+1}}{X_{i}}},\ldots ,{\frac {X_{d}}{X_{i}}}]/{\left({\frac {f_{1}}{X_{i}^{d_{1}}}},\ldots ,{\frac {f_{s}}{X_{i}^{d_{s}}}}\right)}\right)}[X_{i},X_{i}^{-1}].\end{aligned}}$

In dieser letzten Beschreibung ist klar, was der Ring in Grad ${}0$ ist.

Wenn man ${}Y_{k}={\frac {X_{k}}{X_{i}}}$ (mit ${}Y_{i}=1$) schreibt, so ist

${}{\frac {f_{\ell }}{X_{i}^{d_{\ell }}}}={\frac {\sum _{\nu }a_{\nu }X^{\nu }}{X_{i}^{d_{\ell }}}}=\sum _{\nu }a_{\nu }Y^{\nu }\,,$

und dies ist die Dehomogenisierung von ${}f_{\ell }$ bezüglich der Variablen ${}X_{i}$.

$\Box$

<< | Kurs:Bündel, Garben und Kohomologie (Osnabrück 2019-2020) | >> PDF-Version dieser Vorlesung Arbeitsblatt zur Vorlesung (PDF)