Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 23/kontrolle

Komplexe

In der nächsten Vorlesung wollen wir die homologische Charakterisierung von regulären Ringen beweisen. Dazu geben wir hier eine Einführung in die homologische Algebra und insbesondere zu freien Auflösungen.

Definition Referenznummer erstellen

Es sei ${}R$ ein kommutativer Ring. Ein Kettenkomplex (oder einfach Komplex) ist eine Folge ${}M_{n}$, ${}n\in \mathbb {Z}$, von ${}R$- Moduln zusammen mit einer Folge von Modulhomomorphismen

$d_{n}\colon M_{n+1}\longrightarrow M_{n}$

mit der Eigenschaft

${}d_{n-1}\circ d_{n}=0\,$

für alle ${}n\in \mathbb {Z}$.

Dies bedeutet, dass an jeder Stelle

${}\operatorname {bild} d_{n}\subseteq \operatorname {kern} d_{n-1}\,$

gilt.

Definition Referenznummer erstellen

Ein Kettenkomplex über einem kommutativen Ring heißt exakt an der Stelle ${}n$, wenn

${}\operatorname {kern} d_{n-1}=\operatorname {bild} d_{n}\,$

gilt. Er heißt exakt, wenn er an jeder Stelle exakt ist.

Dies bedeutet wiederum, dass an jeder Stelle

${}\operatorname {bild} d_{n}\supseteq \operatorname {kern} d_{n-1}\,$

gilt.

In der Form von kurzen exakten Sequenzen haben wir dieses Konzept bereits kennengelernt.

Flache Moduln

Zu einer exakten Sequenz von ${}R$- Moduln

$U\longrightarrow V\longrightarrow W\longrightarrow 0$

und einem weiteren ${}R$-Modul ${}M$ ist nach Proposition Anhang 5.4 auch die tensorierte Sequenz

$U\otimes _{R}M\longrightarrow V\otimes _{R}M\longrightarrow W\otimes _{R}M\longrightarrow 0$

exakt. Allerdings ist zu einer injektiven Abbildung ${}U\rightarrow V$ (man denke beispielsweise an die Situation einer kurzen exakten Sequenz, bei der oben noch eine ${}0$ links steht) die tensorierte Abbildung

$U\otimes _{R}M\longrightarrow V\otimes _{R}M$

im Allgemeinen nicht injektiv. Wenn beispielsweise ${}f\in R$ ein Nichtnullteiler ist, so ist die Multiplikationsabbildung

$\mu _{f}\colon R\longrightarrow R,\,x\longmapsto fx,$

injektiv. Für den zu einem Ideal ${}I\subseteq R$ mit ${}f\in I$ gehörenden Restklassenring

${}M=R/I\,$

ist aber die tensorierte Abbildung

$\mu _{f}\otimes _{R}R/I\colon R\otimes _{R}R/I=R/I\longrightarrow R\otimes _{R}R/I=R/I$

die Nullabbildung, da ja ${}[f]=0$ in ${}R/I$ ist. Diese ist nicht (mit der einzigen Ausnahme bei ${}I=R$) injektiv.

Definition Referenznummer erstellen

Es sei ${}R$ ein kommutativer Ring. Ein ${}R$- Modul ${}M$ heißt flach, wenn die Tensorierung mit ${}M$ die Exaktheit von beliebigen Sequenzen erhält.

Ein freier Modul ist flach, siehe Aufgabe 23.1. Restklassenmoduln sind typischerweise nicht flach.

Lemma Lemma 23.4 ändern

Es sei ${}R$ ein kommutativer Ring und ${}S\subseteq R$ ein multiplikatives System.

Dann ist der ${}R$- Modul ${}R_{S}$ flach.

Beweis

Siehe Aufgabe 23.2.

$\Box$

Insbesondere ist eine Lokalisierung ${}R_{\mathfrak {p}}$ an einem Primideal und der Quotientenkörper zu einem Integritätsbereich flach.

Projektive Moduln

Definition Referenznummer erstellen

Es sei ${}R$ ein kommutativer Ring und ${}M$ ein ${}R$- Modul. Der Modul ${}M$ heißt projektiv, wenn es zu jedem surjektiven ${}R$- Modulhomomorphismus

$\theta \colon A\longrightarrow B$

und jedem Modulhomomorphismus

$\varphi \colon M\longrightarrow B$

einen Modulhomomorphismus

$\psi \colon M\longrightarrow A$

mit

${}\varphi =\theta \circ \psi \,$

gibt.

Ähnlich wie flache Moduln werden projektive Moduln unter Bezug auf eine universelle Eigenschaft innerhalb der Kategorie aller Moduln definiert. Dies ist innerhalb der homologischen Algebra eine weitverbreitete Vorgehensweise. Eine unmittelbare Konsequenz der universellen Eigenschaft, die von projektiven Moduln gefordert wird, ergibt sich aus dem folgenden Spezialfall. Wir betrachten die Identität

$\varphi \colon M\longrightarrow M$

(also ${}B=M$) und eine surjektive Abbildung

$p\colon F\longrightarrow M$

mit einem freien Modul ${}F$. Für ${}M$ projektiv gibt es dann ein

$\psi \colon M\longrightarrow F$

mit ${}p\circ \psi =\operatorname {Id} _{M}$. Dies bedeutet

${}M\oplus \operatorname {kern} p=F\,$

und das heißt, dass ein projektiver Modul ein direkter Summand eines freien Moduls ist. Umgekehrt ist ein direkter Summand eines freien Moduls selbst projektiv, siehe Aufgabe 23.4.

Lemma Lemma 23.6 ändern

Es sei ${}R$ ein kommutativer lokaler Ring und ${}M$ ein endlich erzeugter ${}R$- Modul. Dann ist ${}M$ genau dann frei, wenn ${}M$ ein projektiver Modul ist.

Beweis

Dass freie Moduln projektiv sind wurde in Lemma Anhang 17.2 bewiesen. Es sei also ${}M$ projektiv. Es sei ${}m_{1},\ldots ,m_{n}$ ein minimales Erzeugendensystem von ${}M$ und sei

$p\colon R^{n}\longrightarrow M$

der zugehörige surjektive Modulhomomorphismus. Wegen der Minimalität ist

${\left(R/{\mathfrak {m}}\right)}^{n}\longrightarrow M/{\mathfrak {m}}M$

eine ${}R/{\mathfrak {m}}$- lineare bijektive Abbildung. Wegen der Projektivität gibt es einen Modulhomomorphismus ${}i\colon M\rightarrow R^{n}$ mit ${}p\circ i=\operatorname {Id} _{M}$. Dann ist

${}R^{n}\cong M\oplus N\,$

mit ${}N=\operatorname {kern} p$ und wobei wir ${}M$ mit ${}i(M)$ identifizieren. Wir betrachten nun

$R^{n}{\stackrel {\cong }{\longrightarrow }}M\oplus N\longrightarrow M$

und die induzierten ${}R/{\mathfrak {m}}$-linearen Abbildungen

${\left(R/{\mathfrak {m}}\right)}^{n}\longrightarrow M/{\mathfrak {m}}M\oplus N/{\mathfrak {m}}N\longrightarrow M/{\mathfrak {m}}M.$

Hierbei ist sowohl die Abbildung links als auch die Gesamtabbildung bijektiv. Daher muss ${}N/{\mathfrak {m}}N=0$ sein. Aus Lemma Anhang 7.1 folgt ${}N=0$ und somit ist ${}R^{n}=M$ frei.

$\Box$

Definition Referenznummer erstellen

Ein ${}R$- Modul ${}M$ über einem kommutativen Ring ${}R$ heißt lokal frei, wenn für jedes Primideal ${}{\mathfrak {p}}$ von ${}R$ die Lokalisierung ${}M_{\mathfrak {p}}$ ein freier ${}R_{\mathfrak {p}}$-Modul ist.

Korollar Korollar 23.8 ändern

Es sei ${}R$ ein noetherscher kommutativer Ring und ${}M$ ein endlich erzeugter ${}R$- Modul. Dann ist ${}M$ genau dann lokal frei, wenn ${}M$ ein projektiver Modul ist.

Beweis

Die eine Richtung folgt direkt aus Lemma 23.6 unter Berücksichtigung von Aufgabe 23.8. Zum Beweis der Umkehrung sei ${}p\colon L\rightarrow M$ ein surjektiver Modulhomomorphismus mit einem endlich erzeugten freien ${}R$-Modul ${}L$. Es ist zu zeigen, dass es einen Homomorphismus ${}i\colon M\rightarrow L$ mit ${}p\circ i=\operatorname {Id} _{M}$ gibt. Dies ist insbesondere dann gesichert, wenn man zeigen kann, dass der natürliche Homomorphismus

$\operatorname {Hom} _{R}{\left(M,L\right)}\longrightarrow \operatorname {Hom} _{R}{\left(M,M\right)},\,\varphi \longmapsto p\circ \varphi ,$

surjektiv ist, da ja dann insbesondere die Identität getroffen wird. Nach Lemma Anhang 18.4 kann man die Surjektivität lokal testen. Für die Homomorphismenmoduln gilt unter den gegebenen Endlichkeitsvoraussetzungen

${}{\left(\operatorname {Hom} _{R}{\left(M,L\right)}\right)}_{\mathfrak {p}}=\operatorname {Hom} _{R_{\mathfrak {p}}}{\left(M_{\mathfrak {p}},L_{\mathfrak {p}}\right)}\,.$

Die Surjektivität von

$\operatorname {Hom} _{R_{\mathfrak {p}}}{\left(M_{\mathfrak {p}},L_{\mathfrak {p}}\right)}\longrightarrow \operatorname {Hom} _{R_{\mathfrak {p}}}{\left(M_{\mathfrak {p}},M_{\mathfrak {p}}\right)}$

folgt aber für jedes Primideal ${}{\mathfrak {p}}$ aus der Freiheit von ${}M_{\mathfrak {p}}$ und Lemma Anhang 17.2.

$\Box$

Korollar Referenznummer erstellen

Es sei ${}V\subseteq {{\mathbb {A} }_{K}^{n}}$ eine zusammenhängende glatte Varietät über einem vollkommener Körper ${}K$ und es sei ${}R$ der affine Koordinatenring zu ${}V$.

Dann ist der Modul der Kähler-Differentiale ${}\Omega _{R{|}K}$ lokal frei von konstantem Rang ${}\operatorname {dim} {\left(R\right)}$ und insbesondere ein projektiver Modul.

Beweis

Dies folgt aus Satz 21.6, Satz 21.7, Lemma 12.6 und Korollar 23.8.

$\Box$

Beispiel Referenznummer erstellen

Wir betrachten die reelle Sphäre

${}S^{2}={\left\{(x,y,z)\mid x^{2}+y^{2}+z^{2}=1\right\}}\subseteq \mathbb {R} ^{3}\,$

mit dem affinen Koordinatenring

${}R=\mathbb {R} [X,Y,Z]/{\left(X^{2}+Y^{2}+Z^{2}-1\right)}\,.$

Der ${}R$- Modul der Kählerdifferentiale ist nach Korollar 13.2 gleich

${}\Omega _{R{|}\mathbb {R} }=RdX\oplus RdY\oplus RdZ/(XdX+YdY+ZdZ)\,.$

Eine direkte Überprüfung zeigt, dass die reelle Sphäre glatt ist. Nach Satz 21.7 ist somit ${}\Omega _{R{|}\mathbb {R} }$ lokal frei (von konstantem Rang ${}2$). Dies kann man auch direkt von der Darstellung her begründen, siehe Aufgabe 23.11. Dagegen ist ${}\Omega _{R{|}\mathbb {R} }$ nicht frei. Dies ist eine algebraische Version des Satzes vom Igel, dass man ihn nicht glattkämmen kann, also die Stacheln nicht wirbelfrei tangential an die Kugel anlegen kann.

Freie Auflösungen

Definition Referenznummer erstellen

Es sei ${}R$ ein kommutativer Ring und ${}M$ ein ${}R$-Modul. Eine freie Auflösung ist ein (linksseitig unendlicher) exakter Komplex

$\ldots \longrightarrow F_{2}\longrightarrow F_{1}\longrightarrow F_{0}\longrightarrow M\longrightarrow 0,$

wobei die ${}F_{i}$ freie endlich erzeugte ${}R$-Moduln sind.

Die ${}F_{i}$ haben somit die Form ${}F_{i}=R^{r_{i}}$ mit ${}r_{i}\in \mathbb {N}$. Die ${}R$-Modulhomomorphismen

$\theta _{i}\colon F_{i+1}=R^{r_{i+1}}\longrightarrow F_{i}=R^{r_{i}}$

werden durch Matrizen beschrieben. Da ${}F_{0}\rightarrow M$ surjektiv ist, muss ${}M$ endlich erzeugt sein, wenn es für ihn eine freie Auflösung gibt. Den Modul ${}M$ kann man aus der Auflösung ${}F_{\bullet }$, bei der man ${}M$ weglässt, als Kokern von ${}\theta _{0}$ rekonstruieren. Die Bedeutung von freien Auflösungen liegt darin, beliebig komplizierte und insbesondere hochgradig nichtfreie Moduln durch freie Moduln zu beschreiben.

Lemma Referenznummer erstellen

Es sei ${}R$ ein noetherscher kommutativer Ring und ${}M$ ein endlich erzeugter ${}R$-Modul.

Dann besitzt ${}M$ eine freie Auflösung mit endlich erzeugten freien Moduln.

Beweis

Znächst gibt es einen surjektiven ${}R$- Modulhomomorphismus

$\theta _{-1}\colon F=R^{r_{0}}\longrightarrow M,$

wobei die Standardvektoren ${}e_{i}$ auf ein (endliches) Erzeugendensystem ${}m_{i}$ von ${}M$ abgebildet werden. Somit hat man eine kurze exakte Sequenz

$0\longrightarrow M_{0}=\operatorname {kern} \left(\theta _{-1}\right)\longrightarrow F_{0}\longrightarrow M\longrightarrow 0.$

Nach Satz 10.4 (Algebraische Kurven (Osnabrück 2017-2018)) ist ${}F_{0}$ ein noetherscher Modul und somit ist ${}M_{0}$ ebenfalls endlich erzeugt. Man findet daher wieder eine Surjektion

$\theta _{0}\colon F_{1}\longrightarrow M_{0}$

und so kann man induktiv fortfahren.

$\Box$

Definition Referenznummer erstellen

Eine freie Auflösung

$\ldots \longrightarrow F_{2}\longrightarrow F_{1}\longrightarrow F_{0}\longrightarrow M\longrightarrow 0$

eines ${}R$- Moduls heißt minimal, wenn in jedem Schritt die Abbildung

$\theta _{i}\colon F_{i+1}\longrightarrow M_{i}\subseteq F_{i}$

durch ein Erzeugendensystem von

${}M_{i}=\operatorname {kern} \theta _{i-1}\,$

von minimaler Anzahl gegeben ist.

Lemma Referenznummer erstellen

Es sei ${}R$ ein lokaler noetherscher Ring, ${}M$ ein endlich erzeugter ${}R$- Modul und

$\ldots \longrightarrow F_{2}\longrightarrow F_{1}\longrightarrow F_{0}\longrightarrow M\longrightarrow 0$

eine minimale freie Auflösung von ${}M$.

Dann ist der Rang von ${}F_{i}$ gleich der ${}R/{\mathfrak {m}}$- Dimension von ${}M_{i}\otimes _{R}R/{\mathfrak {m}}$ mit ${}M_{i}=\operatorname {kern} \left(\theta _{i-1}\right)$.

Beweis

Siehe Aufgabe 23.12.

$\Box$

Satz Referenznummer erstellen

Es sei ${}R$ ein lokaler noetherscher Ring und ${}M$ ein endlich erzeugter ${}R$- Modul.

Dann ist die minimale freie Auflösung von ${}M$ im folgenden Sinne eindeutig bestimmt: Wenn

$\ldots \longrightarrow F_{2}\longrightarrow F_{1}\longrightarrow F_{0}\longrightarrow M\longrightarrow 0$

und

$\ldots \longrightarrow G_{2}\longrightarrow G_{1}\longrightarrow G_{0}\longrightarrow M\longrightarrow 0$

minimale freie Auflösungen von ${}M$ sind, dann gibt es ${}R$- Modulisomorphismen

$\Psi _{i}\colon F_{i}\longrightarrow G_{i}$

derart, dass die Diagramme

${\begin{matrix}F_{i+1}&{\stackrel {\theta _{i}}{\longrightarrow }}&F_{i}&\\\!\!\!\!\!\Psi _{i+1}\downarrow &&\downarrow \Psi _{i}\!\!\!\!\!&\\G_{i+1}&{\stackrel {\theta _{i}'}{\longrightarrow }}&G_{i}&\!\!\!\!\!\\\end{matrix}}$

kommutieren.

Beweis

Wir konstruieren induktiv die ${}\Psi _{i}$, ${}i\in \mathbb {N}$. Für ${}i=0$ betrachten wir die Situation

${\begin{matrix}F_{0}&{\stackrel {\theta _{-1}}{\longrightarrow }}&M&\\\!\!\!\!\!?\downarrow &\nearrow \theta _{-1}'\!\!\!\!\!&\\G_{0}&&&&\!\!\!\!\!\!\!\!.\\\end{matrix}}$

Wegen der Minimalität rühren beide Abbildungen von einem minimalen Modulerzeugendensystem der Länge ${}n$ von ${}M$ her, sagen wir

${}\theta _{-1}(e_{j})=u_{j}\,$

und

${}\theta _{-1}'(e_{j})=v_{j}\,.$

Es ist dann

${}\theta _{-1}(e_{j})=u_{j}=\sum _{i=1}^{n}r_{ij}v_{i}\,.$

Durch die Festlegung

${}\Psi _{0}(e_{j}):=\sum _{i=1}^{n}r_{ij}e_{i}\,$

erhält man dann einen ${}R$-Modulhomomorphismus von ${}F_{0}$ nach ${}G_{0}$, der mit den gegebenen Abbildungen kommutiert. Die Abbildung ist surjektiv, da andernfalls ein echter Untermodul von ${}G_{0}$ schon surjektiv auf ${}M$ abbildet würde, was der Minimalität von ${}G_{0}$ widerspricht (siehe Aufgabe 23.15). Dieser Isomorphismus führt somit auch die Kerne

${}M_{0}=\operatorname {kern} \theta _{-1}\,$

und

${}N_{0}=\operatorname {kern} \theta _{-1}'\,$

ineinander über. Es sei nun vorausgesetzt, dass die Isomorphismen ${}\Psi _{i}$ schon konstruiert sind und die Kerne ineinander überführen. Dann liegt die Situation

${\begin{matrix}F_{i+1}&{\stackrel {\theta _{i}}{\longrightarrow }}&M_{i}&{\stackrel {}{\longrightarrow }}&F_{i}&\\\!\!\!\!\!?\downarrow &&\!\!\!\!\!\Psi _{i}{|}_{M_{i}}\downarrow &&\downarrow \Psi _{i}\!\!\!\!\!&&\\G_{i+1}&{\stackrel {\theta _{i}'}{\longrightarrow }}&N_{i}&{\stackrel {}{\longrightarrow }}&G_{i}&\!\!\!\!\!\\\end{matrix}}$

vor, wobei das Quadrat rechts kommutiert. Sowohl ${}\theta _{i}$ als auch ${}\theta _{i}'$ rühren von einem minimalen Erzeugendensystem von ${}M_{i}$ bzw. ${}N_{i}$ her. Das im Wesentlichen gleiche Argument wie am Induktionsanfang zeigt, dass es einen Isomorphismus

$\Psi _{i+1}\colon F_{i+1}\longrightarrow G_{i+1}$

gibt, der die Kerne ineinander überführt.

$\Box$

Endliche projektive Dimension

Definition Referenznummer erstellen

Es sei ${}R$ ein noetherscher lokaler Ring und ${}M$ ein endlich erzeugter ${}R$- Modul. Man sagt, dass ${}M$ eine endliche projektive Dimension besitzt, wenn es eine freie Auflösung

$\ldots \longrightarrow F_{2}\longrightarrow F_{1}\longrightarrow F_{0}\longrightarrow M\longrightarrow 0$

mit ${}F_{n}=0$ für ${}n\geq n_{0}$ gibt. In diesem Fall nennt man das Minimum der ${}n$ mit ${}F_{n+1}=0$ für alle freie Auflösungen die projektive Dimension von ${}M$.

Die projektive Dimension eines Moduls ist also das Maximum des Indexes, wo in jeder freien Auflösung ein Modul ${}\neq 0$ stehen muss. Ein endlich erzeugter freier Modul ${}\neq M$ besitzt demnach die projektive Dimension ${}0$, der Nullmodul die projektive Dimension ${}-1$. Zu einem Nichtnullteiler ${}f\in {\mathfrak {m}}$ besitzt der Restklassenmodul ${}R/(f)$ die projektive Dimension ${}1$, da eine freie Auflösung

$0\longrightarrow R{\stackrel {f}{\longrightarrow }}R\longrightarrow R/(f)\longrightarrow 0$

vorliegt, und ${}R/(f)$ selbst nicht frei ist.

Beispiel Beispiel 23.17 ändern

Es sei ${}R$ ein zweidimensionaler lokaler regulärer Ring mit dem maximalen Ideal ${}{\mathfrak {m}}=(x,y)$. Dann ist

$0\longrightarrow R{\stackrel {\begin{pmatrix}y\\-x\end{pmatrix}}{\longrightarrow }}R^{2}{\stackrel {(x,y)}{\longrightarrow }}R\longrightarrow R/{\mathfrak {m}}\longrightarrow 0$

eine freie Auflösung des Restklassenkörpers ${}R/{\mathfrak {m}}$. Dieser besitzt also die projektive Dimension ${}2$. Die einzige Stelle, an der die Exaktheit nicht direkt klar ist, ist für ${}R^{2}$. Es seien ${}(a,b)\in R^{2}$ mit ${}ax+by=0$. Dies bedeutet ${}ax=-by$ und dies bedeutet ${}ax=0$ in ${}R/(y)$. Nach Lemma 21.4 ist dies ein regulärer Ring der Dimension ${}1$ und ${}x$ erzeugt darin das maximale Ideal. Wegen Satz 21.5 ist ${}R/(y)$ ein Integritätsbereich und somit ist dort ${}a=0$. Dies heißt zurückübersetzt nach ${}R$, dass ${}a=cy$ ist. Da ${}y$ ein Nichtnullteiler in ${}R$ ist, folgt ${}b=-cx$ und somit ist

${}{\begin{pmatrix}a\\b\end{pmatrix}}=c{\begin{pmatrix}y\\-x\end{pmatrix}}\,.$

Lemma Lemma 23.18 ändern

Es sei ${}R$ ein lokaler noetherscher Ring und ${}L=M\oplus N$ ein endlich erzeugter ${}R$- Modul mit einer endlichen projektiven Dimension.

Dann besitzen auch die direkten Summanden ${}M$ und ${}N$ eine endliche projektive Dimension, die höchstens so groß wie die von ${}L$ ist.

Beweis

Wir führen Induktion über die projektive Dimension von ${}L$. Wenn diese gleich ${}0$ ist, so bedeutet dies, dass ${}L$ frei ist. Doch dann sind ${}M$ und ${}N$ als direkte Summanden projektiv und somit nach Lemma 23.6 selbst frei. Es sei die Aussage nun für endliche projektive Dimension ${}e$ bewiesen und ${}M\oplus N$ habe die projektive Dimension ${}e+1$. Es sei

$R^{n}\longrightarrow M\oplus N$

surjektiv und minimal. Dabei kann man annehmen, dass dies von surjektiven Abbildungen ${}R^{n_{1}}\rightarrow M$ und ${}R^{n_{2}}\rightarrow N$ mit ${}n_{1}+n_{2}=n$ herrührt. Dann ist der Kern davon von der Form ${}M'\oplus N'$ und man kann darauf die Induktionsvoraussetzung anwenden.

$\Box$

Fußnoten