Kurs:Invariantentheorie (Osnabrück 2025-2026)/Vorlesung 14

Funktorielle Eigenschaften des Spektrums

Das Spektrum ordnet nicht nur einem kommutativen Ring einen topologischen Raum zu, sondern auch einem Ringhomomorphismus eine stetige Abbildung zu.

Proposition

Es sei ${}\varphi \colon R\rightarrow S$ ein Ringhomomorphismus zwischen kommutativen Ringen.

Dann gelten folgende Aussagen.

1. Die Zuordnung

   $\varphi ^{*}\colon \operatorname {Spek} {\left(S\right)}\longrightarrow \operatorname {Spek} {\left(R\right)},\,{\mathfrak {p}}\longmapsto \varphi ^{*}({\mathfrak {p}}):=\varphi ^{-1}({\mathfrak {p}}),$

   ist (wohldefiniert und) stetig.

2. Es ist  ${}(\varphi ^{*})^{-1}(D({\mathfrak {a}}))=D({\mathfrak {a}}S)$  für jedes Ideal  ${}{\mathfrak {a}}\subseteq R$. 
3. Für einen weiteren Ringhomomorphismus

   $\psi \colon S\longrightarrow T$

   gilt  ${}(\psi \circ \varphi )^{*}=\varphi ^{*}\circ \psi ^{*}$. 

Beweis

Die Abbildung ist nach Aufgabe 14.1 wohldefiniert. Zur Stetigkeit ist die Aussage (2) zu zeigen. Wir argumentieren mit den abgeschlossenen Mengen. Für ein Primideal  ${}{\mathfrak {q}}\in \operatorname {Spek} {\left(S\right)}$  ist  ${}\varphi ^{*}({\mathfrak {q}})\in V({\mathfrak {a}})$  genau dann, wenn  ${}{\mathfrak {a}}\subseteq \varphi ^{-1}({\mathfrak {q}})$  ist. Dies ist äquivalent zu  ${}\varphi ({\mathfrak {a}})\subseteq {\mathfrak {q}}$  und ebenso zu  ${}{\mathfrak {a}}S\subseteq {\mathfrak {q}}$.  (3) ist klar.

$\Box$

Die in der vorstehenden Aussage eingeführte stetige Abbildung heißt Spektrumsabbildung (zu dem gegebenen Ringhomomorphismus). Bei einem Unterring  ${}R\subseteq S$  geht es einfach um die Zuordnung ${}{\mathfrak {p}}\mapsto {\mathfrak {p}}\cap R$. In diesem Fall spricht man auch von „Runterschneiden“. Vor der nächsten Aussage erinnern wir an einige topologische Eigenschaften von stetigen Abbildungen. Eine stetige Abbildung

$f\colon X\longrightarrow Y$

zwischen topologischen Räumen ${}X$ und ${}Y$ heißt abgeschlossen (offen), wenn Bilder von abgeschlossenen (offenen) Mengen wieder abgeschlossen (offen) sind. Unter einer Einbettung versteht man eine injektive Abbildung, bei der die eingebettete Menge homöomorph zur Bildmenge ist.

Proposition

Es sei ${}R$ ein kommutativer Ring. Dann gelten folgende Aussagen.

1. Zu einem Ideal  ${}{\mathfrak {a}}\subseteq R$  und der Restklassenabbildung

   $q\colon R\longrightarrow R/{\mathfrak {a}}$

   ist die Spektrumsabbildung

   $q^{*}\colon \operatorname {Spek} {\left(R/{\mathfrak {a}}\right)}\longrightarrow \operatorname {Spek} {\left(R\right)}$

   eine abgeschlossene Einbettung, deren Bild ${}V({\mathfrak {a}})$ ist.

2. Zu einem multiplikativen System  ${}M\subseteq R$  ist die zur kanonischen Abbildung

   $\iota \colon R\longrightarrow R_{M}$

   gehörige Abbildung

   $\iota ^{*}\colon \operatorname {Spek} {\left(R_{M}\right)}\longrightarrow \operatorname {Spek} {\left(R\right)}$

   injektiv, und das Bild besteht aus der Menge der Primideale von ${}R$, die zu ${}M$ disjunkt sind.

3. Zu  ${}f\in R$  ist die zur kanonischen Abbildung

   $\iota \colon R\longrightarrow R_{f}$

   gehörige Abbildung

   $\iota ^{*}\colon \operatorname {Spek} {\left(R_{f}\right)}\longrightarrow \operatorname {Spek} {\left(R\right)}$

   eine offene Einbettung, deren Bild gleich ${}D(f)$ ist.

Beweis

(1) folgt aus Aufgabe 10.10: Die Primideale in ${}R/{\mathfrak {a}}$ entsprechen über ${}{\mathfrak {p}}\mapsto q^{-1}({\mathfrak {p}})={\mathfrak {p}}+{\mathfrak {a}}$ den Primidealen von ${}R$, die ${}{\mathfrak {a}}$ enthalten. Die angegebene Abbildung ist also bijektiv und hat das beschriebene Bild. Zu einem Ideal  ${}{\mathfrak {b}}\subseteq R/{\mathfrak {a}}$  und einem Primideal  ${}{\mathfrak {p}}\subseteq R/{\mathfrak {a}}$  ist  ${}{\mathfrak {b}}\subseteq {\mathfrak {p}}$  genau dann, wenn

${}{\mathfrak {b}}+{\mathfrak {a}}=q^{-1}({\mathfrak {b}})\subseteq {\mathfrak {p}}+{\mathfrak {a}}=q^{-1}({\mathfrak {p}})\,$

in ${}R$ gilt. Also ist das Bild von ${}V({\mathfrak {b}})$ gleich ${}V({\mathfrak {b}}+{\mathfrak {a}})$ und damit abgeschlossen.
Für (2) siehe Aufgabe 14.2.
(3). Da für ein Primideal ${}{\mathfrak {p}}$ und ein Element  ${}f\in R$  die Beziehung  ${}f\notin {\mathfrak {p}}$  genau dann gilt, wenn ${}{\mathfrak {p}}$ zum multiplikativen System ${}{\left\{f^{n}\mid n\in \mathbb {N} \right\}}$ disjunkt ist, folgt aus Teil (2), dass die Abbildung injektiv ist und dass ihr Bild gleich ${}D(f)$ ist. Das gleiche Argument, angewendet auf  ${}g\in R$  bzw.  ${}{\frac {g}{1}}\in R_{f}$  zeigt, dass das Bild von  ${}D(g)\subseteq \operatorname {Spek} {\left(R_{f}\right)}$  gleich ${}D(fg)$ und damit offen ist.

$\Box$

Lemma

Es sei ${}\varphi \colon R\rightarrow S$ ein Ringhomomorphismus zwischen kommutativen Ringen und es sei

$\varphi ^{*}\colon \operatorname {Spek} {\left(S\right)}\longrightarrow \operatorname {Spek} {\left(R\right)},\,{\mathfrak {p}}\longmapsto \varphi ^{*}({\mathfrak {p}}),$

die zugehörige Spektrumsabbildung.

Dann ist die Faser über einem Primideal  ${}{\mathfrak {q}}\in \operatorname {Spek} {\left(R\right)}$  gleich ${}\operatorname {Spek} {\left((S/{\mathfrak {q}}S)_{\varphi (R\setminus {\mathfrak {q}})}\right)}$.

D.h. die Faser besteht aus allen Primidealen  ${}{\mathfrak {p}}\in \operatorname {Spek} {\left(S\right)}$  mit  ${}{\mathfrak {q}}S\subseteq {\mathfrak {p}}$  und mit  ${}{\mathfrak {p}}\cap \varphi (R\setminus {\mathfrak {q}})=\emptyset$. 

Beweis

Aufgrund von Proposition 14.2 müssen wir nur die zweite Formulierung beweisen. Für ein Primideal  ${}{\mathfrak {p}}\subseteq S$  gilt  ${}\varphi ^{-1}({\mathfrak {p}})={\mathfrak {q}}$  genau dann, wenn sowohl  ${}\varphi ({\mathfrak {q}})\subseteq {\mathfrak {p}}$  als auch  ${}\varphi (R\setminus {\mathfrak {q}})\subseteq S\setminus {\mathfrak {p}}$  gilt. Die erste Bedingung ist zu  ${}{\mathfrak {q}}S\subseteq {\mathfrak {p}}$  und die zweite Bedingung ist zu

${}\varphi (R\setminus {\mathfrak {q}})\cap {\mathfrak {p}}=\emptyset \,$

äquivalent.

$\Box$

Insbesondere ist die Faser eines Spektrumsmorphismus über einem Punkt selbst wieder das Spektrum eines Ringes. Wir werden später eine weitere Beschreibung der Faser mit Hilfe des Tensorprodukts kennenlernen. Ein Spezialfall der vorstehenden Aussage ist, dass die Faser über einem maximalen Ideal ${}{\mathfrak {m}}$ gleich ${}\operatorname {Spek} {\left(S/{\mathfrak {m}}S\right)}$ ist, da in diesem Fall aus  ${}{\mathfrak {m}}S\subseteq {\mathfrak {p}}$  sofort  ${}{\mathfrak {m}}\subseteq \varphi ^{-1}({\mathfrak {p}})$  folgt und wegen der Maximalität Gleichheit gelten muss. Bei einem Integritätsbereich ${}R$ und dem Nullideal erübrigt es sich, das Erweiterungsideal zu betrachten, die Faser wird einfach durch ${}\operatorname {Spek} {\left(S_{\varphi (R\setminus \{0\})}\right)}$ beschrieben.

Korollar

Es sei

$\varphi \colon R\longrightarrow S$

ein Ringhomomorphismus zwischen kommutativen Ringen und es sei

$\varphi ^{*}\colon \operatorname {Spek} {\left(S\right)}\longrightarrow \operatorname {Spek} {\left(R\right)},\,{\mathfrak {p}}\longmapsto \varphi ^{*}({\mathfrak {p}}),$

die zugehörige Spektrumsabbildung.

Dann ist die Faser über einem Primideal  ${}{\mathfrak {q}}\in \operatorname {Spek} {\left(R\right)}$  genau dann leer, wenn  ${}{\mathfrak {q}}S\cap \varphi (R\setminus {\mathfrak {q}})\neq \emptyset$. 

Beweis

Dies folgt aus Lemma 14.3 und Proposition 13.4  (6).

$\Box$

Beispiel

Es sei ${}K$ ein Körper und sei ein ${}K$- Algebrahomomorphismus

$K[X_{1},\ldots ,X_{n}]\longrightarrow K[Y_{1},\ldots ,Y_{m}],\,X_{i}\longmapsto P_{i},$

gegeben. Nach Lemma 14.3 wird die Faser über einem maximalen Ideal der Form ${}(X_{1}-a_{1},\ldots ,X_{n}-a_{n})$ durch ${}V(P_{1}-a_{1},\ldots ,P_{n}-a_{n})$ beschrieben. Ein ${}K$-Punkt ${}(Y_{1}-b_{1},\ldots ,Y_{m}-b_{m})$ gehört zu dieser abgeschlossenen Menge genau dann, wenn

${}P_{i}(b_{1},\ldots ,b_{m})=a_{i}\,$

für  ${}i=1,\ldots ,n$  ist.

Beispiel

Die Faser zu

$\operatorname {Spek} {\left(\mathbb {Z} [X]\right)}\longrightarrow \operatorname {Spek} {\left(\mathbb {Z} \right)}$

über einem Primideal ${}(p)$ zu einer Primzahl ${}p$ ist nach Lemma 14.3 und Proposition 14.2  (1) gleich

${}V(p\mathbb {Z} [X])=\operatorname {Spek} {\left(\mathbb {Z} [X]/p\mathbb {Z} [X]\right)}=\operatorname {Spek} {\left(\mathbb {Z} /(p)[X]\right)}\,.$

Über dem Nullideal ${}(0)$ ist die Faser gleich

${}\operatorname {Spek} {\left((\mathbb {Z} [X])_{\mathbb {Z} \setminus \{0\}}\right)}=\operatorname {Spek} {\left(\mathbb {Q} [X]\right)}\,.$

In jedem Fall ist also die Faser gleich ${}\operatorname {Spek} {\left(K[X]\right)}$, wenn ${}K$ den Restekörper zum Primideal bezeichnet.

Die Spektrumsabbildung bei einer ganzen Erweiterung

Wir betrachten Besonderheiten der Spektrumsabbildung zu einer ganzen Erweiterung. Die folgende Aussage heißt die going up-Eigenschaft einer ganzen Erweiterung.

Lemma

Es sei

$\varphi \colon R\longrightarrow S$

ein ganzer Ringhomomorphismus. Es seien  ${}{\mathfrak {q}}_{0}\subseteq {\mathfrak {q}}_{1}$  Primideale in ${}R$ und ${}{\mathfrak {p}}_{0}$ ein Primideal in ${}S$ mit  ${}\varphi ^{*}({\mathfrak {p}}_{0})={\mathfrak {q}}_{0}$. 

Dann gibt es ein Primideal  ${}{\mathfrak {p}}_{1}\supseteq {\mathfrak {p}}_{0}$  in ${}S$ mit  ${}\varphi ^{*}({\mathfrak {p}}_{1})={\mathfrak {q}}_{1}$. 

Beweis

Wir betrachten die injektive Abbildung

$R/{\mathfrak {q}}_{0}\longrightarrow S/{\mathfrak {p}}_{0},$

die nach wie vor ganz ist. Wir können also annehmen, dass eine ganze Erweiterung  ${}R\subseteq S$  von Integritätsbereichen vorliegt und müssen ein Primideal  ${}{\mathfrak {p}}\in \operatorname {Spek} {\left(S\right)}$  finden, das auf ein vorgegebenes Primideal  ${}{\mathfrak {q}}\in \operatorname {Spek} {\left(R\right)}$  runterschneidet. Wir lokalisieren ${}R$ an ${}{\mathfrak {q}}$ und ${}S$ an  ${}R\setminus {\mathfrak {q}}\subseteq S$,  wobei die induzierte Abbildung

$R_{\mathfrak {q}}\longrightarrow S_{R\setminus {\mathfrak {q}}}$

nach wie vor injektiv und ganz ist. Wir können also annehmen, dass ${}R$ ein lokaler Integritätsbereich ist und  ${}R\subseteq S$  eine ganze Erweiterung. Wir suchen ein Primideal aus ${}S$, das auf das maximale Ideal ${}{\mathfrak {m}}$ herunterschneidet.  Nehmen wir an, dass die Faser über ${}{\mathfrak {m}}$ leer ist. Dann ist nach Korollar 14.4 das Erweiterungsideal ${}{\mathfrak {m}}S$ gleich dem Einheitsideal. Dann gibt es Elemente  ${}f_{1},\ldots ,f_{n}\in {\mathfrak {m}}$  und  ${}s_{1},\ldots ,s_{n}\in S$  mit  ${}s_{1}f_{1}+\cdots +s_{n}f_{n}=1$.  Diese Gleichung gilt auch im Unterring  ${}T=R[s_{1},\ldots ,s_{n}]\subseteq S$.  Die Erweiterung  ${}R\subseteq T$  ist endlich erzeugt und ganz, also nach Satz 11.10 sogar endlich. Es ist  ${}{\mathfrak {m}}T=T$  und damit  ${}T/{\mathfrak {m}}T=0$.  Aus dem Lemma von Nakayama folgt daraus  ${}T=0$,  ein Widerspruch.

$\Box$

Die folgende Aussage heißt die lying over-Eigenschaft einer injektiven ganzen Erweiterung.

Lemma

Es sei

$\varphi \colon R\longrightarrow S$

ein injektiver ganzer Ringhomomorphismus.

Dann ist die Spektrumsabbildung

$\varphi ^{*}\colon \operatorname {Spek} {\left(S\right)}\longrightarrow \operatorname {Spek} {\left(R\right)}$

surjektiv.

Beweis

Es sei  ${}{\mathfrak {q}}\in \operatorname {Spek} {\left(R\right)}$  vorgegeben. Die induzierte Abbildung

$R_{\mathfrak {q}}\longrightarrow S_{R\setminus {\mathfrak {q}}}$

ist ebenfalls injektiv. Der Beweis zu Lemma 14.7 zeigt, dass es ein Primideal aus ${}S_{R\setminus {\mathfrak {q}}}$ gibt, das auf ${}{\mathfrak {q}}$ runterschneidet.

$\Box$

Satz

Es seien ${}R$ und ${}S$ kommutative Ringe und es sei

$\varphi \colon R\longrightarrow S$

ein ganzer Ringhomomorphismus.

Dann ist die Spektrumsabbildung

$\varphi ^{*}\colon \operatorname {Spek} {\left(S\right)}\longrightarrow \operatorname {Spek} {\left(R\right)}$

abgeschlossen.

Wenn ${}\varphi$ zusätzlich injektiv ist, so ist ${}\varphi ^{*}$ surjektiv.

Beweis

Wir zeigen für eine beliebige abgeschlossene Teilmenge  ${}V({\mathfrak {a}})\subseteq \operatorname {Spek} {\left(S\right)}$ 

mit einem Ideal  ${}{\mathfrak {a}}\subseteq S$,  dass das Bild

${}\varphi ^{*}(V({\mathfrak {a}}))=V(\varphi ^{-1}({\mathfrak {a}}))\,$

ist, also insbesondere wieder abgeschlossen ist. Dafür betrachten wir den induzierten Ringhomomorphismus

$R/\varphi ^{-1}({\mathfrak {a}})\longrightarrow S/{\mathfrak {a}},$

der ebenfalls ganz und zusätzlich injektiv ist. Daher ist

$V({\mathfrak {a}})\cong \operatorname {Spek} {\left(S/{\mathfrak {a}}\right)}\longrightarrow V(\varphi ^{-1}({\mathfrak {a}}))\cong \operatorname {Spek} {\left(R/\varphi ^{-1}({\mathfrak {a}})\right)}$

nach Lemma 14.8 surjektiv. Also ist  ${}\varphi ^{*}(V({\mathfrak {a}}))=V(\varphi ^{-1}({\mathfrak {a}}))$.  Der Zusatz folgt ebenfalls aus Lemma 14.8.

$\Box$

Lemma

Es sei ${}K$ ein Körper, ${}A$ ein Integritätsbereich und  ${}K\subseteq A$  eine ganze Erweiterung.

Dann ist auch ${}A$ ein Körper.

Beweis

Es sei ${}a\in A$, ${}a\neq 0$. Wir betrachten eine Ganzheitsgleichung

${}a^{n}+r_{n-1}a^{n-1}+\cdots +r_{1}a+r_{0}=0\,.$

Wenn  ${}r_{0}=0$  ist, so können wir ${}a$ ausklammern und erhalten, da ${}a$ ein Nichtnullteiler ist, eine Ganzheitsgleichung kleineren Grades. Wir können also annehmen, dass  ${}r_{0}\neq 0$  ist. Dann ist

${}a\cdot {\left(a^{n-1}+r_{n-1}a^{n-2}+\cdots +r_{1}\right)}\cdot {\left(-r_{0}^{-1}\right)}=1\,$

und somit ist ${}a$ eine Einheit.

$\Box$

Lemma

Es sei

$\varphi \colon R\longrightarrow S$

ein ganzer Ringhomomorphismus. Es seien  ${}{\mathfrak {p}}\neq {\mathfrak {q}}$  Primideale in ${}S$ mit  ${}\varphi ^{*}({\mathfrak {p}})=\varphi ^{*}({\mathfrak {q}})$. 

Dann ist  ${}{\mathfrak {p}}\not \subseteq {\mathfrak {q}}$. 

D.h. die Fasern sind nulldimensional.

Beweis

Es sei  ${}{\mathfrak {r}}:=\varphi ^{*}({\mathfrak {p}})=\varphi ^{*}({\mathfrak {q}})$.  Wir machen den Übergang

$R\longrightarrow R_{\mathfrak {r}}/{\mathfrak {r}}R_{\mathfrak {r}}=\kappa ({\mathfrak {r}})$

und betrachten die induzierte Abbildung

$\kappa ({\mathfrak {r}})=:K\longrightarrow (S/{\mathfrak {r}}S)_{\varphi (R\setminus {\mathfrak {r}})}=:A,$

die ebenfalls ganz ist. Nach Lemma 14.3 ist ${}\operatorname {Spek} {\left(A\right)}$ die Faser von ${}\varphi ^{*}$ über ${}{\mathfrak {r}}$. Wir müssen also zeigen, dass das Spektrum einer über einem Körper ${}K$ ganzen Algebra nulldimensional ist, es also keine Inklusionen von Primidealen gibt. Es sei  ${}{\mathfrak {p}}\subseteq {\mathfrak {q}}$  eine Inklusion von Primidealen aus ${}A$. Wir gehen zu ${}K\rightarrow A/{\mathfrak {p}}$ über. Somit ist ${}A/{\mathfrak {p}}$ ein Integritätsbereich und eine ganze Erweiterung eines Körpers. Nach Lemma 14.10 ist ${}A/{\mathfrak {p}}$ selbst ein Körper. Also ist

${}{\mathfrak {q}}={\mathfrak {p}}\,.$

$\Box$

Satz

Es sei

$\varphi \colon R\longrightarrow S$

ein injektiver ganzer Ringhomomorphismus.

Dann ist

${}\operatorname {dim} {\left(S\right)}=\operatorname {dim} {\left(R\right)}\,.$

Beweis

Zu einer Primidealkette  ${}{\mathfrak {p}}_{0}\subset {\mathfrak {p}}_{1}\subset \ldots \subset {\mathfrak {p}}_{n}$  aus ${}S$ ist die Kette  ${}\varphi ^{*}({\mathfrak {p}}_{0})\subset \varphi ^{*}({\mathfrak {p}}_{1})\subset \ldots \subset \varphi ^{*}({\mathfrak {p}}_{n})$  nach Lemma 14.11 ebenfalls echt, sodass

${}\operatorname {dim} {\left(S\right)}\leq \operatorname {dim} {\left(R\right)}\,$

ist. Zu einer Primidealkette  ${}{\mathfrak {q}}_{0}\subset {\mathfrak {q}}_{1}\subset \ldots \subset {\mathfrak {q}}_{n}$  aus ${}R$ gibt es zunächst nach Lemma 14.8 ein Primideal ${}{\mathfrak {p}}_{0}$ aus ${}S$ mit  ${}\varphi ^{*}({\mathfrak {p}}_{0})={\mathfrak {q}}_{0}$.  Nach Lemma 14.7 kann man dies sukzessive zu einer Kette  ${}{\mathfrak {p}}_{0}\subset {\mathfrak {p}}_{1}\subset \ldots \subset {\mathfrak {p}}_{n}$  mit  ${}\varphi ^{*}({\mathfrak {p}}_{i})={\mathfrak {q}}_{i}$  fortsetzen. Daher ist auch

${}\operatorname {dim} {\left(S\right)}\geq \operatorname {dim} {\left(R\right)}\,.$

$\Box$

Satz

Es sei

$R\longrightarrow S$

ein endlicher Ringhomomorphismus zwischen kommutativen Ringen.

Dann bestehen die Fasern der Spektrumsabbildung

$\operatorname {Spek} {\left(S\right)}\longrightarrow \operatorname {Spek} {\left(R\right)}$

aus endlich vielen Punkten.

Beweis

Siehe Aufgabe 14.19.

$\Box$

<< | Kurs:Invariantentheorie (Osnabrück 2025-2026) | >> PDF-Version dieser Vorlesung Arbeitsblatt zur Vorlesung (PDF)