Ausblick fertig
This commit is contained in:
parent
6c4ad11f7d
commit
47128d2757
4
.vscode/settings.json
vendored
4
.vscode/settings.json
vendored
|
|
@ -31,6 +31,7 @@
|
|||
"Potenzreihenring",
|
||||
"Potenzreihenringe",
|
||||
"Potenzreihenringen",
|
||||
"Restklassenkörper",
|
||||
"Schnittmultiplizitäten",
|
||||
"Serre",
|
||||
"Serres",
|
||||
|
|
@ -47,5 +48,6 @@
|
|||
"kofinal",
|
||||
"kofinale",
|
||||
"surjektiven"
|
||||
]
|
||||
],
|
||||
"cSpell.enabled": false
|
||||
}
|
||||
|
|
@ -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}
|
||||
}
|
||||
|
|
|
|||
|
|
@ -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}
|
||||
|
|
|
|||
Loading…
Reference in a new issue