From 47128d27574e2165e60aabf66dc96cd1cbddaeb6 Mon Sep 17 00:00:00 2001
From: Johannes Loher <johannes.loher@fg4f.de>
Date: Thu, 21 Sep 2017 18:14:43 +0200
Subject: [PATCH] Ausblick fertig
---
.vscode/settings.json | 4 +-
bibliography.bib | 8 +++
chapters/chapter3.tex | 147 +++++++++++++++++++++++++++++++++++++++++-
3 files changed, 157 insertions(+), 2 deletions(-)
diff --git a/.vscode/settings.json b/.vscode/settings.json
index 52580b0..d0fba3f 100644
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -31,6 +31,7 @@
"Potenzreihenring",
"Potenzreihenringe",
"Potenzreihenringen",
+ "Restklassenkörper",
"Schnittmultiplizitäten",
"Serre",
"Serres",
@@ -47,5 +48,6 @@
"kofinal",
"kofinale",
"surjektiven"
- ]
+ ],
+ "cSpell.enabled": false
}
\ No newline at end of file
diff --git a/bibliography.bib b/bibliography.bib
index db3f4f7..21e6dcc 100644
--- a/bibliography.bib
+++ b/bibliography.bib
@@ -119,3 +119,11 @@ tures},
year={1998},
publisher={Springer New York}
}
+
+@book{weibel1995introduction,
+ title={An Introduction to Homological Algebra},
+ author={Weibel, Charles A.},
+ series={Cambridge Studies in Advanced Mathematics},
+ year={1995},
+ publisher={Cambridge University Press}
+}
diff --git a/chapters/chapter3.tex b/chapters/chapter3.tex
index fd5b360..5122987 100644
--- a/chapters/chapter3.tex
+++ b/chapters/chapter3.tex
@@ -699,6 +699,10 @@ Wir geben nun einige Eigenschaften der soeben definierten abelschen Gruppen an:
\begin{bem}
Trägt $N$ in \cref{prop:vervollstaendigtes-tensorprodukt-eigenschaften}~\cref{item:vervollstaendigtes-tensorprodukt-eigenschaften-M-folge} eine natürliche $A$-Modul-Struktur, so kann die $M$-Folge $\lbrace a_1, \ldots, a_r \rbrace$ auch aus Elementen aus $\Rad(A)$ gewählt werden.
Der Beweis bleibt in diesem Fall identisch.
+
+ Hat $A$ eine $A$-Folge der Länge $n$, dann gilt $\widehat{\Tor}^k_i(M', N) = 0$ für alle freien $A$-Moduln $M'$ und alle $i > 0$.
+ In diesem Fall ist der Funktor $M \mapsto \widehat{\Tor}^k_i(M, N)$ der $i$-te linksabgeleitete Funktor des Funktors $M \mapsto M \widehat{\otimes}_k N$.
+ Insbesondere ist $\widehat{\Tor}^k_i(M, N)$ ein endlich erzeugter $(A \widehat{\otimes}_k B)$-Modul.
\end{bem}
Wir wollen nun den für uns wichtigsten Fall untersuchen, nämlich dass $k$ ein Körper ist, $A \cong B \cong k[[X_1, \ldots, X_n]]$ und $\mfm \cong \mfn \cong (X_1, \ldots, X_n)$.
@@ -783,7 +787,7 @@ Nun ist aber $C$ die Vervollständigung von $k[X_y, \ldots, X_n, Y_1, \ldots, Y_
\end{prop}
\section{Reguläre Ringe gleicher Charakteristik}
-\label{regulaere-ringe-gleicher-charakteristik}
+\label{sec:regulaere-ringe-gleicher-charakteristik}
Sei nun $k$ ein Körper, $A = k[[X_1, \ldots, X_n]]$, $C = A \widehat{\otimes}_k A = k[[X_1, \ldots, X_n, Y_1, \ldots, Y_n]]$ und $\mfd = (X_1 - Y_1, \ldots, X_n - Y_n) \subset C$.
Seien $M$ und $N$ zwei endlich erzeugte $A$-Moduln.
@@ -1122,3 +1126,144 @@ Dazu zeigen wir zunächst, dass das Verfahren der Reduktion auf die Diagonale un
Durch Lokalisieren und Vervollständigen wie im Beweis von \cref{thm:tor-formel-regulaerer-ring-gleicher-charakteristik} genügt es folgendes Lemma zu beweisen:
\end{proof}
\end{thm}
+
+\begin{lem}
+ \label{lem:tor-formel-potenzreihernring-diskreter-bewertungsring}
+ Sei $k$ ein vollständiger diskreter Bewertungsring, $A = k[[X_1, \ldots, X_n]]$ und seien $M$ und $N$ zwei endlich erzeugte $A$-Moduln mit der Eigenschaft, dass $M \otimes_A N$ von endlicher Länge ist.
+ Dann gilt:
+ \begin{enumerate}[label = (\alph*)]
+ \item $\chi(M, N) \coloneqq \sum_{i = 1}^{n + 1} \length_A(\Tor^A_i(M, N)) \ge 0$.
+ \item $\dim(M) + \dim(N) \le \dim(A) = n + 1$.
+ \item $\chi(M, N) = 0$ genau dann, wenn $\dim(M) + \dim(N) < \dim(A)$.
+ \end{enumerate}
+ \begin{proof}
+ Da die Länge auf kurzen exakten Sequenzen additiv ist, ist $\chi(M, N)$ \enquote{biadditiv} in $M$ und $N$.
+ Indem wir Kompositionsreihen von $M$ und $N$ wählen, deren Quotienten die Form $A / \mfp$ für Primideale $\mfp$ von $A$ haben (siehe {}\cite[Chapter~I, Corollary~2 nach Proposition~5]{serre2000local}), können wir uns also auf den Fall $M = A / \mfp$ und $N = A / \mfq$ für Primideale $\mfp$ und $\mfq$ von $A$ beschränken.
+ Insbesondere ist dann jeder Endomorphismus auf $M$ und $N$, der durch skalare Multiplikation gegeben ist, entweder injektiv oder der Nullmorphismus.
+ Sei nun $\pi$ ein Erzeuger des Maximalideals von $k$, dann betrachten wir die folgenden verschiedenen Fälle:
+ \begin{description}
+ \item[$\pi$ ist kein Nullteiler auf $M$ und $N$.] Sei $C = k[[X_1, \ldots, X_n, Y_1, \ldots, Y_n]]$ und $\mfm$ das Maximalideal von $A$.
+ Nach \cref{prop:reduktion-auf-die-diagonale-diskreter-bewertungsring} gilt dann
+ \begin{equation*}
+ \Tor^A_i(M, N) = \Tor^C_i(A, M \widehat{\otimes}_k N),
+ \end{equation*}
+ wobei wir das Vervollständigte Tensorprodukte $M \widehat{\otimes}_k N$ durch die $\mfm$-adischen Filtrierungen auf $M$ und $N$ erhalten.
+ Außerdem gilt
+ \begin{equation*}
+ \dim(M \widehat{\otimes}_k N) = \dim(M) + \dim(N) - 1
+ \end{equation*}
+ Sei $\mfd$ das von den Elementen $X_1 - Y_1, \ldots, X_n - Y_n$ erzeugte Ideal von $C$.
+ Da die Elementen $X_1 - Y_1, \ldots, X_n - Y_n$ eine $C$-reguläre Folge bilden, erhalten wir mit \cref{kor:isomorphie-koszul-homologie-tor}:
+ \begin{equation*}
+ \Tor^A_i(M, N) \cong \Tor^C_i(C / \mfd, M \widehat{\otimes}_k N) \cong H_i^C((X_1 - Y_1, \ldots, X_n - Y_n), M \widehat{\otimes}_k N)
+ \end{equation*}
+ Nach \cref{thm:euler-poincare-charakteristik-gleich-samuel-polynom} gilt dann also
+ \begin{equation*}
+ \chi(M, N) = e_\mfd(M \widehat{\otimes}_k N, n + 1)
+ \end{equation*}
+ und es folgt die Behauptung in diesem Fall.
+ \item[$\pi$ annulliert $M$ und ist kein Nullteiler auf $N$.] Wenn wir den Ring $A$ nennen wollen, bezüglich dem $\chi(M, N)$ gebildet wird, so schreiben wir im Folgenden $\chi^A(M, N)$.
+
+ Sei $\overline{M} = M / \pi M$ und $\overline{A} = A / \pi A$.
+ Wegen $\pi M = 0$ folgt $\overline{M} = M$, also ist $M$ auf kanonische Weise ein $\overline{A}$-Modul.
+ Wir haben die Basiswechsel Spektralsequenz
+ \begin{equation*}
+ E^2_{p, q} = \Tor^{\overline{A}}_p(M, \Tor^A_q(\overline{A}, N)) \Longrightarrow \Tor^A_{p + q}(M, N)
+ \end{equation*}
+ (siehe {}\cite[Applications~5.8.5]{weibel1995introduction}).
+ Die kurze exakte Sequenz
+ \begin{equation*}
+ 0 \longrightarrow A \overset{\cdot \pi}{\longrightarrow} A \longrightarrow \overline{A} \longrightarrow 0
+ \end{equation*}
+ liefert eine freie und damit projektive Auflösung von $\overline{A}$ als $A$-Modul.
+ Also ist die homologische Dimension von $\overline{A}$ als $\overline{A}$-Modul $\le 1$.
+ Insbesondere ist also auch die flache Dimension von $\overline{A}$ als $A$-Modul $\le 1$ und wir haben $\Tor^A_q(\overline{A}, N) = 0$ für $q > 1$.
+ Für $q \neq 0, 1$ gilt also bereits $E^2_{p, q} = 0$.
+ Außerdem gilt
+ \begin{equation*}
+ \overline{A} \otimes_A N \cong N / \pi N
+ \end{equation*}
+ und die obige Auflösung zeigt auch
+ \begin{equation*}
+ \Tor^A_1(\overline{A}, N) = \prescript{}{\pi}{N} \coloneqq \Ann_N(\pi) = \lbrace n \in N \mid \pi n = 0 \rbrace.
+ \end{equation*}
+ Demnach erhalten wir folgende lange exakte Sequenz:
+ \begin{center}
+ \begin{tikzcd}[column sep=small]
+ \cdots \ar[r] & \Tor^A_{p + 1}(M, N) \ar[r] & \Tor^{\overline{A}}_{p + 1}(M, N / \pi N) \ar[r] \ar[d, phantom, ""{coordinate, name=Z}]
+ & \Tor^{\overline{A}}_{p - 1}(M, \prescript{}{\pi}{N}) \arrow[dll,
+ rounded corners,
+ to path={ -- ([xshift=2ex]\tikztostart.east)
+ |- (Z) [near end]\tikztonodes
+ -| ([xshift=-2ex]\tikztotarget.west)
+ -- (\tikztotarget)}] \\
+ & \Tor^A_{p}(M, N) \ar[r] & \Tor^{\overline{A}}_{p}(M, N / \pi N) \ar[r] & \Tor^{\overline{A}}_{p - 2}(M, \prescript{}{\pi}{N}) \ar[r] & \cdots
+ \end{tikzcd}
+ \end{center}
+ Nach Voraussetzung gilt aber $\prescript{}{\pi}{N} = 0$, also haben wir Isomorphismen
+ \begin{equation*}
+ \Tor^A_{p}(M, N) \cong \Tor^{\overline{A}}_{p}(M, N / \pi N)
+ \end{equation*}
+ und es folgt
+ \begin{equation*}
+ \chi^A(M, N) = \chi^{\overline{A}}(M, N / \pi N).
+ \end{equation*}
+ Aber $\overline{A}$ ist der formale Potenzreihenring in $n$ Variablen über dem Restklassenkörper $\overline{k} = k / \pi k$ von $k$ und $M \otimes_{\overline{A}} (N / \pi N) \cong M \otimes_A N \otimes_A \overline{A}$ ist von endlicher Länge.
+ Wir sind nun also in dem Fall, den wir zu Beginn von \cref{sec:regulaere-ringe-gleicher-charakteristik} behandelt haben und es folgt
+ \begin{equation*}
+ \chi(M, N) \ge 0
+ \end{equation*}
+ und
+ \begin{equation*}
+ \dim_{\overline{A}}(M) + \dim_{\overline{A}}(N / \pi N) \le n,
+ \end{equation*}
+ wobei die Ungleichheit genau dann echt ist, wenn $\chi^{\overline{A}}(M, N / \pi N) = 0$.
+ Wegen $\dim_A(M) = \dim_{\overline{A}}(M)$ und $\dim_{\overline{A}}(N / \pi N) = \dim_A(N / \pi N) = \dim_A(N) - 1$ folgt die Behauptung in diesem Fall.
+ \item[$\pi$ annulliert $M$ und $N$.] Wie im vorherigen Fall betrachten wir $M$ als $\overline{A}$-Modul.
+ Die lange exakte Sequenz, die wir aus der Basiswechsel Spektralsequenz erhalten haben, liefert uns nun
+ \begin{equation*}
+ \chi^A(M, N) = \chi^{\overline{A}}(M, N / \pi N) - \chi^{\overline{A}}(M, \prescript{}{\pi}{N}).
+ \end{equation*}
+ Nach Voraussetzung gilt aber $\pi N = 0$ und es folgt $N / \pi N = \prescript{}{\pi}{N} = N$, also gilt bereits $\chi^A(M, N) = 0$.
+ Wir müssen also nur noch
+ \begin{equation*}
+ \dim_A(M) + \dim_A(N) < n + 1
+ \end{equation*}
+ zeigen.
+ Weil $M \otimes_A N = M \otimes_{\overline{A}} N$ von endlicher Länge ist und $\overline{A}$ der formale Potenzreihenring in $n$ Variablen über $\overline{k}$ ist, sind wir wieder in dem Fall, den wir zu Beginn von \cref{sec:regulaere-ringe-gleicher-charakteristik} behandelt haben und es folgt
+ \begin{equation*}
+ \dim_A(M) + \dim_A(N) = \dim_{\overline{A}}(M) + \dim_{\overline{A}}(N) \le n < n + 1
+ \end{equation*}
+ und die Behauptung folgt auch in diesem Fall.
+ \end{description}
+ \end{proof}
+\end{lem}
+
+\begin{thm}
+ \label{thm:dimensions-formel-der-algebraischen-geometrie}
+ Seien $A$ ein regulärer Ring, $\mfp$ und $\mfq$ zwei Primideale von $A$ und $\mfr$ ein minimales Element in $V(\mfp + \mfq)$.
+ Dann gilt
+ \begin{equation*}
+ \height(\mfp) + \height(\mfq) \ge \height(\mfr).
+ \end{equation*}
+ \begin{proof}
+ Indem wir bei $\mfr$ lokalisieren, können wir annehmen, dass $A$ lokal mit maximalem Ideal $\mfr$ ist.
+ In diesem Fall können wir die Behauptung auf folgende Weise umformulieren:
+ Sind $M$ und $N$ zwei endlich erzeugte $A$-Moduln mit $\length(M \otimes_A N) < \infty$, so gilt $\dim(M) + \dim(N) \le \dim(A)$.
+ Um diese Behauptung zu zeigen, können wir annehmen, dass $A$ vollständig ist.
+ Dann gibt es einen formalen Potenzreihenring $A_1$ über einem vollständigen diskreten Bewertungsring und ein $a \in A_1 \setminus \lbrace 0 \rbrace$ mit $A \cong A_1 / a A_1$ und $\dim(A) = \dim(A_1) - 1$ (siehe {}\cite[Corollary~3 nach Theorem~15]{cohen46onthestructure}).
+ Wir betrachten $M$ und $N$ nun als $A_1$-Moduln.
+ Analog zum letzten Fall des Beweises von \cref{lem:tor-formel-potenzreihernring-diskreter-bewertungsring} (ersetze $\pi$ durch $a$ und $A$ durch $A_1$) folgt nun
+ \begin{equation*}
+ \chi^{A_1}(M, N) = 0.
+ \end{equation*}
+ Wenden wir \cref{lem:tor-formel-potenzreihernring-diskreter-bewertungsring} nun auf $A_1$ and, so erhalten wir
+ \begin{equation*}
+ \dim_A(M) + \dim_A(N) = \dim_{A_1}(M) + \dim_{A_1}(N) < \dim(A_1)
+ \end{equation*}
+ und damit
+ \begin{equation*}
+ \dim(M) + \dim(N) \le \dim(A_1) - 1 = \dim(A).
+ \end{equation*}
+ \end{proof}
+\end{thm}