Zum Inhalt springen

Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 20/latex

Aus Wikiversity

\setcounter{section}{20}






\zwischenueberschrift{Produktvarietäten}

Zu Mengen \mathkor {} {M} {und} {N} {} kann man bekanntlich das \definitionsverweis {Produkt}{}{}
\mathl{M \times N}{} definieren, das aus allen Paaren
\mathl{(x,y)}{} mit
\mavergleichskette
{\vergleichskette
{x }
{ \in }{M }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{y }
{ \in }{N }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} besteht. Wenn die beteiligten Mengen weitere Strukturen besitzen, so übertragen sich diese häufig direkt auf die Produktmenge. Beispielsweise ist das Produkt von Gruppen wieder eine Gruppe, das Produkt von Vektorräumen ist wieder ein Vektorraum, das Produkt von topologischen Räumen ist mit der \definitionsverweis {Produkttopologie}{}{} wieder ein topologischer Raum, das \definitionsverweis {Produkt von Mannigfaltigkeiten}{}{} ist wieder eine Mannigfaltigkeit. Hier interessieren wir uns für das Produkt von affin-algebraischen Mengen, wie dieses zu definieren ist, wie der Koordinatenring dazu aussieht und wie sich die Krulldimension dabei verhält. Für Vektorräume gilt
\mavergleichskette
{\vergleichskette
{K^r \times K^s }
{ = }{ K^{r+s} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} das bedeutet, dass die Dimension des Produktraumes die Summe der beiden einzelnen Dimensionen ist. Dies wird sich auch für die Dimension von Produktvarietäten ergeben. Wir stellen eine allgemeine Vorüberlegung an, inwiefern auf den beteiligten Mengen \zusatzklammer {Räumen, Mannigfaltigkeiten, Varietäten} {} {} definierte Funktionen auch Funktionen auf der Produktmenge ergeben.






\inputbemerkung
{}
{

Es seien \mathkor {} {V} {und} {W} {} geometrische Objekte \zusatzklammer {topologische Räume, Mannigfaltigkeiten, Varietäten, beringte Räume} {} {,} wobei klar sein soll, was die darauf adäquaten definierten Funktionen sein sollen. Jedenfalls soll eine Funktion von der Form \maabb {f} {V} {K } {} in einen festgelegten Körper $K$ sein, wodurch eine Ringstruktur auf der Menge der Funktionen gestiftet wird. Über die Projektionen \maabbdisp {p_V} {V \times W} {V } {} und \maabbdisp {p_W} {V \times W} {W } {} definiert eine Funktion auf $V$ \zusatzklammer {bzw. auf $W$} {} {} direkt eine Funktion auf
\mathl{V \times W}{,} indem man einfach die Hintereinanderschaltung
\mathdisp {V \times W \stackrel{p_V}{\longrightarrow} V\stackrel{f}{\longrightarrow} K} { }
betrachtet. Zu einer Funktion $f$ auf $V$ und einer Funktion $g$ auf $W$ kann man auf
\mathl{V \times W}{} die Funktion
\mathdisp {V \times W \stackrel{f \times g}{ \longrightarrow} K \times K \stackrel{ \cdot}{\longrightarrow} K} { }
betrachten, wobei $\cdot$ die Multiplikation auf dem Körper bezeichnet. Diese Abbildung bezeichnen wir \zusatzklammer {aus gutem Grund} {} {} mit
\mathl{f \otimes g}{.} Es ist also
\mavergleichskettedisp
{\vergleichskette
{ { \left( f \otimes g \right) } (x,y) }
{ =} { f(x) \cdot g(y) }
{ } { }
{ } { }
{ } { }
} {}{}{.} Dabei stimmt
\mathl{f \otimes 1}{} mit der über die Projektion nach $V$ gewonnene Funktion
\mathl{f \circ p_V}{} überein. Ferner gilt im Ring der Funktionen auf der Produktmenge die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ f \otimes g }
{ =} { { \left( f \otimes 1 \right) } \cdot { \left( 1 \otimes g \right) } }
{ } { }
{ } { }
{ } { }
} {}{}{.} Keineswegs sind alle Funktionen auf
\mathl{V \times W}{} von diesem Produkttyp, beispielsweise kann man
\mathl{{ \left( f \otimes 1 \right) } + { \left( 1 \otimes g \right) }}{} im Allgemeinen nicht auf diese Gestalt bringen.

}

Im algebraischen Kontext sind die relevanten Funktionen die Polynomfunktionen auf dem affinen Raum
\mathl{{ {\mathbb A}_{ K }^{ n } }}{} und ihre Einschränkungen auf abgeschlossene Teilmengen und daraus konstruierte rationale Funktionen. Die natürliche Identität
\mavergleichskettedisp
{\vergleichskette
{ { {\mathbb A}_{ K }^{ m } } \times { {\mathbb A}_{ K }^{ n } } }
{ =} { { {\mathbb A}_{ K }^{ m+n } } }
{ } { }
{ } { }
{ } { }
} {}{}{} kann man auf der Ebene der Polynomringe folgendermaßen interpretieren: Einerseits hat man für die beiden affinen Räume die Polynomringe
\mathl{K[X_1 , \ldots , X_m ]}{} und
\mathl{K[Y_1 , \ldots , Y_n ]}{,} andererseits einen Polynomring in
\mathl{m+n}{} Variablen. Diesen kann man aber direkt als
\mathl{K[X_1 , \ldots , X_m, Y_1 , \ldots , Y_n ]}{} ansetzen, da ein Polynom aus
\mathl{K[X_1 , \ldots , X_m ]}{} über die Projektion \maabbdisp {} { { {\mathbb A}_{ K }^{ m } } \times { {\mathbb A}_{ K }^{ n } } } { { {\mathbb A}_{ K }^{ m } }} {} zu einer polynomialen Funktion auf der Produktmenge wird. Über diesen Weg wird ein Polynom in den ersten $m$ Variablen einfach als ein Polynom in
\mathl{m+n}{} Variablen aufgefasst, in dem die hinteren Variablen nicht explizit vorkommen. Eine direkte Überlegung zeigt
\mavergleichskettedisp
{\vergleichskette
{ K[X_1 , \ldots , X_m] \otimes_{ K } K[ Y_1 , \ldots , Y_n ] }
{ \cong} { K[X_1 , \ldots , X_m, Y_1 , \ldots , Y_n ] }
{ } { }
{ } { }
{ } { }
} {}{}{} \zusatzklammer {siehe auch Beispiel Anhang 11.2} {} {.} Die oben formulierte naive funktionentheoretische Interpretation des Tensorzeichens stimmt mit der algebraischen Definition des Tensorproduktes überein.





\inputfaktbeweis
{Affine Varietäten/Körper/Produkt/Geometrisch/Teilmenge affiner Raum/Fakt}
{Lemma}
{}
{

\faktsituation {Es seien
\mavergleichskette
{\vergleichskette
{V( {\mathfrak a} ) }
{ \subseteq }{ { {\mathbb A}_{ K }^{ m } } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{V( {\mathfrak b} ) }
{ \subseteq }{ { {\mathbb A}_{ K }^{ n } } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} \definitionsverweis {affin-algebraische Mengen}{}{.}}
\faktfolgerung {Dann ist
\mavergleichskettedisp
{\vergleichskette
{ V( {\mathfrak a} ) \times V( {\mathfrak b} ) }
{ \subseteq} { { {\mathbb A}_{ K }^{ m } } \times { {\mathbb A}_{ K }^{ n } } }
{ =} { { {\mathbb A}_{ K }^{ m+n } } }
{ } { }
{ } { }
} {}{}{} eine affin-algebraische Menge, die durch das Ideal
\mathdisp {{\mathfrak a} K[X_1 , \ldots , X_m, Y_1 , \ldots , Y_n ] + {\mathfrak b} K[X_1 , \ldots , X_m, Y_1 , \ldots , Y_n ]} { }
beschrieben wird.}
\faktzusatz {}
\faktzusatz {}

}
{

Ein Punkt
\mavergleichskette
{\vergleichskette
{P }
{ \in }{ V( {\mathfrak a} ) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist ein Tupel
\mathl{(x_1 , \ldots , x_m)}{,} in dem alle Polynome aus
\mavergleichskette
{\vergleichskette
{ {\mathfrak a} }
{ \subseteq }{ K[X_1 , \ldots , X_m] }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} verschwinden. Ein Punkt
\mavergleichskettedisp
{\vergleichskette
{ (P ,Q) }
{ \in} { V( {\mathfrak a} ) \times V( {\mathfrak b} ) }
{ } { }
{ } { }
{ } { }
} {}{}{} ist entsprechend ein Tupel
\mathl{(x_1 , \ldots , x_m ; y_1 , \ldots , y_n )}{,} in dem sowohl alle Polynome aus
\mavergleichskette
{\vergleichskette
{ {\mathfrak a} }
{ \subseteq }{ K[X_1 , \ldots , X_m] }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} als auch alle Polynome aus
\mavergleichskette
{\vergleichskette
{ {\mathfrak b} }
{ \subseteq }{ K[Y_1 , \ldots , Y_n] }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} verschwinden, wobei diese Bedingungen jeweils nur vom vorderen bzw. vom hinteren Teiltupel abhängen. Dies ist äquivalent dazu, dass alle Polynome aus
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak a} K[X_1 , \ldots , X_m, Y_1 , \ldots , Y_n ] + {\mathfrak b} K[X_1 , \ldots , X_m, Y_1 , \ldots , Y_n ] }
{ \subseteq} { K[X_1 , \ldots , X_m, Y_1 , \ldots , Y_n ] }
{ } { }
{ } { }
{ } { }
} {}{}{} verschwinden, da diese Eigenschaft durch ein Erzeugendensystem des Ideals festgelegt ist.

}


Wenn die beiden Ideale durch Erzeuger gegeben sind, sagen wir
\mavergleichskette
{\vergleichskette
{ {\mathfrak a} }
{ = }{ { \left( f_1 , \ldots , f_r \right) } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{ {\mathfrak b} }
{ = }{ { \left( g_1 , \ldots , g_s \right) } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} so ist das Ideal, das die Produktmenge beschreibt, einfach gleich
\mavergleichskette
{\vergleichskette
{ { \left( f_1 , \ldots , f_r , g_1 , \ldots , g_s \right) } }
{ \subseteq }{ K[X_1 , \ldots , X_m, Y_1 , \ldots , Y_n ] }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.}




\inputdefinition
{}
{

Zu \definitionsverweis {affin-algebraischen Mengen}{}{}
\mavergleichskette
{\vergleichskette
{V( {\mathfrak a} ) }
{ \subseteq }{ { {\mathbb A}_{ K }^{ m } } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{V( {\mathfrak b} ) }
{ \subseteq }{ { {\mathbb A}_{ K }^{ n } } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} nennt man
\mavergleichskettedisp
{\vergleichskette
{ V( {\mathfrak a} ) \times V( {\mathfrak b} ) }
{ \subseteq} { { {\mathbb A}_{ K }^{ m } } \times { {\mathbb A}_{ K }^{ n } } }
{ =} { { {\mathbb A}_{ K }^{ m+n } } }
{ } { }
{ } { }
} {}{}{} mit der \definitionsverweis {induzierten}{}{} \definitionsverweis {Zariski-Topologie}{}{} des
\mathl{{ {\mathbb A}_{ K }^{ m+n } }}{} das \definitionswort {Produkt}{} der beiden affin-algebraischen Mengen.

}

Nach Konstruktion ist das Produkt
\mathl{V( {\mathfrak a} ) \times V( {\mathfrak b} )}{} als Punktmenge einfach die rein mengentheoretische Produktmenge. Allerdings kommt noch die Zariski-Topologie hinzu, die unter Bezug auf die umgebenden Räume definiert wird. Diese Topologie ist nicht die \definitionsverweis {Produkttopologie}{}{} der beiden einzelnen Topologien auf den Varietäten \zusatzklammer {dies stimmt schon nicht für
\mavergleichskettek
{\vergleichskettek
{ {\mathbb A}^{2}_{K} }
{ = }{ {\mathbb A}^{1}_{K} \times {\mathbb A}^{1}_{K} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{}} {} {.} Von daher ist es nicht selbstverständlich, dass diese Topologie auf der Produktmenge unabhängig von der Restklassenrepräsentierung der beiden Koordinatenringe ist, und wie man den Koordinatenring der Produktvarietät aus den beiden Koordinatenringen berechnet. Beide Probleme werden durch das folgende Lemma erledigt.





\inputfaktbeweis
{Kommutative Ringe/Restklassendarstellung/Tensorprodukt/Fakt}
{Lemma}
{}
{

\faktsituation {Es seien \mathkor {} {A} {und} {B} {} \definitionsverweis {kommutative}{}{} $R$-\definitionsverweis {Algebren}{}{} und
\mavergleichskette
{\vergleichskette
{ {\mathfrak a} }
{ \subseteq }{ A }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,}
\mavergleichskette
{\vergleichskette
{ {\mathfrak b} }
{ \subseteq }{ B }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} \definitionsverweis {Ideale}{}{.}}
\faktfolgerung {Dann gibt es eine kanonische $R$-\definitionsverweis {Algebraisomorphie}{}{} \maabbdisp {} { A \otimes_{ R } B/ { \left( {\mathfrak a} { \left( A \otimes_{ R } B \right) } + {\mathfrak b} { \left( A \otimes_{ R } B \right) } \right) } } { A/ {\mathfrak a} \otimes_{ R } B/ {\mathfrak b} } {.}}
\faktzusatz {}
\faktzusatz {}

}
{

Dabei ist
\mathl{{\mathfrak a} { \left( A \otimes_{ R } B \right) }}{} das Erweiterungsideal unter dem kanonischen Ringhomomorphismus \maabbeledisp {} {A } {A \otimes_{ R } B } {a} { a \otimes 1 } {.} Dies ist auch das Bild von
\mathl{{\mathfrak a} \otimes_{ R } B}{} in
\mathl{{ \left( A \otimes_{ R } B \right) }}{,} und dieses gehört zum Kern von \maabb {} { A \otimes_{ R } B} { A /{\mathfrak a} \otimes_{ R } B/ {\mathfrak b} } {.} Zum Nachweis, dass die angegebene Idealsumme der ganze Kern ist, machen wir eine \stichwort {Diagrammjagd} {.} Wir gehen aus von den surjektiven $R$-\definitionsverweis {Algebrahomomorphismen}{}{} \maabb {} {A} {A/ {\mathfrak a} } {} und \maabb {} {B} {B/ {\mathfrak b} } {.} Die kurzen exakten Sequenzen
\mathdisp {0 \longrightarrow {\mathfrak a} \longrightarrow A \longrightarrow A/{\mathfrak a} \longrightarrow 0} { }
und
\mathdisp {0 \longrightarrow {\mathfrak b} \longrightarrow B \longrightarrow B/{\mathfrak b} \longrightarrow 0} { }
ergeben nach Proposition Anhang 5.4 durch verschiedene Tensorierungen das \definitionsverweis {kommutative Diagramm}{}{}



\mathdisp {\begin{matrix} {\mathfrak a} \otimes_{ R } {\mathfrak b} & \stackrel{ }{\longrightarrow} & A \otimes_{ R } {\mathfrak b} & \stackrel{ }{\longrightarrow} & A/ {\mathfrak a} \otimes_{ R } {\mathfrak b} & \stackrel{ }{\longrightarrow} & 0

& \\ \downarrow & & \downarrow & & \downarrow & & \downarrow & &\\   {\mathfrak a} \otimes_{ R }  B  & \stackrel{  }{\longrightarrow} &   A   \otimes_{ R }  B      & \stackrel{  }{\longrightarrow} &   A/ {\mathfrak a}   \otimes_{ R }  B  & \stackrel{  }{\longrightarrow} & 0 &

\\ \downarrow & & \downarrow & & \downarrow & & \downarrow & &\\ {\mathfrak a} \otimes_{ R } B/ {\mathfrak b} & \stackrel{ }{\longrightarrow} & A \otimes_{ R } B / {\mathfrak b} & \stackrel{ }{\longrightarrow} & A/ {\mathfrak a} \otimes_{ R } B/ {\mathfrak b} & \stackrel{ }{\longrightarrow} & 0 & \\ \downarrow & & \downarrow & & \downarrow & & \downarrow & &\\ 0 & \stackrel{ }{\longrightarrow} & 0 & \stackrel{ }{\longrightarrow} & 0 & \stackrel{ }{\longrightarrow} & 0 & \!\!\!\!\! . \\

\end{matrix}} {  }

Es sei
\mathl{z \in A \otimes_{ R } B}{} ein Element, das rechts unten \zusatzklammer {in \mathlk{A/ {\mathfrak a} \otimes_{ R } B/ {\mathfrak b}}{}} {} {} auf $0$ geht. Dann rührt das Bild $y$ von $z$ in
\mathl{A/ {\mathfrak a} \otimes_{ R } B}{} von einem Element
\mavergleichskette
{\vergleichskette
{x }
{ \in }{A/ {\mathfrak a} \otimes_{ R } {\mathfrak b} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und dieses von einem Element
\mavergleichskette
{\vergleichskette
{ u }
{ \in }{A \otimes_{ R } {\mathfrak b} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} her. Es sei $u'$ das Bild davon in
\mathl{A \otimes_{ R } B}{.} Dann wird
\mathl{z-u'}{} nach rechts auf $0$ abgebildet. Daher existiert ein
\mavergleichskette
{\vergleichskette
{v }
{ \in }{ {\mathfrak a} \otimes_{ R } B }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} mit
\mavergleichskette
{\vergleichskette
{v' }
{ = }{z-u' }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Also ist
\mavergleichskette
{\vergleichskette
{z }
{ = }{u' +v' }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} wie behauptet.

}


Da man $V( {\mathfrak a} )$ mitsamt der Topologie als das $K$-Spektrum aus dem Koordinatenring
\mathl{K[X_1 , \ldots , X_n ]/ {\mathfrak a}}{} rekonstruieren kann, kann man auch die Topologie der Produktvarietät aus dem Tensorprodukt der beiden Koordinanteringe rekonstruieren. Dass das Tensorprodukt auf der algebraischen Ebene die richtige Beschreibung des Produktes der geometrischen Mengen liefert, wird auch durch den folgenden Satz bestätigt.




\inputfaktbeweis
{K-Algebren/Tensorprodukt/K-Spektrum/Produktmenge/Fakt}
{Satz}
{}
{

\faktsituation {Zu kommutativen $K$-\definitionsverweis {Algebren}{}{} \mathkor {} {A} {und} {B} {} gilt}
\faktfolgerung {
\mavergleichskettedisp
{\vergleichskette
{ K-\operatorname{Spec} { \left( A \otimes_{ K } B \right) } }
{ =} { K-\operatorname{Spec} { \left( A \right) } \times K-\operatorname{Spec} { \left( B \right) } }
{ } { }
{ } { }
{ } { }
} {}{}{.}}
\faktzusatz {}
\faktzusatz {}

}
{

Die Aussage bedeutet einfach
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ \operatorname{Hom}^{\rm alg}_{ K } \, { \left( A \otimes_{ K } B,K \right) } }
{ =} { \operatorname{Hom}^{\rm alg}_{ K } \, { \left( A ,K \right) } \times \operatorname{Hom}^{\rm alg}_{ K } \, { \left( B ,K \right) } }
{ } { }
{ } { }
{ } { }
} {}{}{} und ist somit ein Spezialfall von Satz Anhang 11.5.

}





\inputfaktbeweis
{Affine Varietäten/Körper/Produkt/Geometrisch/Einfache Eigenschaften/Fakt}
{Lemma}
{}
{

\faktsituation {}
\faktfolgerung {Für jeden Punkt
\mavergleichskette
{\vergleichskette
{x }
{ \in }{V }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist
\mavergleichskette
{\vergleichskette
{x \times W }
{ \subseteq }{ V \times W }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} mit der \definitionsverweis {induzierten Topologie}{}{} \definitionsverweis {homöomorph}{}{} zu $W$.}
\faktzusatz {}
\faktzusatz {}

}
{

Sei
\mavergleichskette
{\vergleichskette
{V }
{ \subseteq }{ { {\mathbb A}_{ K }^{ m } } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{W }
{ \subseteq }{ { {\mathbb A}_{ K }^{ n } } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Die Abbildung \zusatzklammer {zu einem fixierten
\mavergleichskettek
{\vergleichskettek
{x }
{ \in }{V }
{ }{ }
{ }{ }
{ }{ }
} {}{}{}} {} {} \maabbeledisp {} {W} {V \times W } {y} { (x,y) } {,} ist eine Einschränkung der Abbildung \maabbeledisp {} {{ {\mathbb A}_{ K }^{ n } } } {{ {\mathbb A}_{ K }^{ m } } \times { {\mathbb A}_{ K }^{ n } } } {y} { (x,y) } {.} Diese induziert eine Bijektion auf die abgeschlossene Teilmenge
\mathl{x \times { {\mathbb A}_{ K }^{ n } }}{.} Sie ist stetig, da Urbilder von Nullstellenmengen wieder Nullstellenmengen sind, und sie bildet Nullstellenmengen auf Nullstelenmengen ab, da man beschreibende Polynome in den $n$ Variablen direkt in den
\mathl{m+n}{} Variablen auffassen kann. Es werden also abgeschlossene Teilmengen auf abgeschlossene Teilmengen abgebildet und somit liegt eine Homöomorphie vor. Diese Eigenschaften übertragen sich auf die Einschränkung.

}





\inputfaktbeweis
{Affine Varietäten/Körper/Produkt/Geometrisch/Irreduzibel/Fakt}
{Lemma}
{}
{

\faktsituation {Es seien \mathkor {} {V} {und} {W} {} \definitionsverweis {affine Varietäten}{}{} über einem Körper $K$.}
\faktfolgerung {Dann ist auch das \definitionsverweis {Produkt}{}{}
\mathl{V \times W}{} \definitionsverweis {irreduzibel}{}{.}}
\faktzusatz {}
\faktzusatz {}

}
{

Es sei
\mavergleichskettedisp
{\vergleichskette
{ V \times W }
{ =} { Z_1 \cup Z_2 }
{ } { }
{ } { }
{ } { }
} {}{}{} eine Zerlegung in abgeschlossene Teilmengen. Wir betrachten
\mavergleichskettedisp
{\vergleichskette
{V_i }
{ =} { { \left\{ x \in V \mid x \times W \subseteq Z_i \right\} } }
{ } { }
{ } { }
{ } { }
} {}{}{} für
\mavergleichskette
{\vergleichskette
{i }
{ = }{1,2 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Die Mengen
\mavergleichskette
{\vergleichskette
{x \times W }
{ \cong }{ W }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} sind irreduzibel nach Lemma 20.6. Wegen
\mavergleichskettedisp
{\vergleichskette
{x \times W }
{ \subseteq} { V \times W }
{ =} { Z_1 \cup Z_2 }
{ } { }
{ } { }
} {}{}{} gilt
\mavergleichskette
{\vergleichskette
{ x \times W }
{ \subseteq }{ Z_1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} oder
\mavergleichskette
{\vergleichskette
{ x \times W }
{ \subseteq }{ Z_2 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Also ist
\mavergleichskette
{\vergleichskette
{V }
{ = }{V_1 \cup V_2 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Die Mengen $V_i$ sind abgeschlossen. Wir zeigen dazu, dass das Komplement
\mathl{V \setminus V_1}{} offen ist. Es sei dazu
\mavergleichskette
{\vergleichskette
{x }
{ \in }{ V \setminus V_1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und somit
\mavergleichskette
{\vergleichskette
{x \times W }
{ \not \subseteq }{ Z_1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Somit gibt es
\mavergleichskette
{\vergleichskette
{y }
{ \in }{ W }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} mit
\mavergleichskettedisp
{\vergleichskette
{(x,y) }
{ \notin} { Z_1 }
{ } { }
{ } { }
{ } { }
} {}{}{.} Da
\mavergleichskette
{\vergleichskette
{ { \left( V \times y \right) } \cap { \left( V \times W \setminus Z_1 \right) } }
{ \subseteq }{ V \times y }
{ \cong }{ V }
{ }{ }
{ }{ }
} {}{}{} nach Lemma 20.6 offen ist und $x$ enthält, gilt auch für
\mathl{(x',y)}{} mit $x'$ aus einer offenen Umgebung von $x$, dass
\mavergleichskette
{\vergleichskette
{ (x',y) }
{ \notin }{ Z_1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und damit
\mavergleichskettedisp
{\vergleichskette
{x' \times W }
{ \not \subseteq} { Z_1 }
{ } { }
{ } { }
{ } { }
} {}{}{,} also
\mavergleichskette
{\vergleichskette
{x' }
{ \notin }{ V_1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Wegen der Irreduzibilität von $V$ folgt
\mavergleichskette
{\vergleichskette
{V_1 }
{ = }{V }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} oder
\mavergleichskette
{\vergleichskette
{V_2 }
{ = }{V }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} also
\mavergleichskette
{\vergleichskette
{Z_1 }
{ = }{V \times W }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} oder
\mavergleichskette
{\vergleichskette
{Z_2 }
{ = }{V \times W }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.}

}


Den folgenden Satz formulieren wir nur für einen algebraisch abgeschlossenen Körper, da nur in diesem Fall die Übersetzung von Primidealen in irreduzible Teilmengen unproblematisch ist.




\inputfaktbeweis
{Affine Varietäten/Algebraisch abgeschlossener Körper/Produkt/Geometrisch/Dimension/Fakt}
{Satz}
{}
{

\faktsituation {Es sei $K$ ein \definitionsverweis {algebraisch abgeschlossener Körper}{}{} und seien \mathkor {} {V} {und} {W} {} \definitionsverweis {affine Varietäten}{}{} über $K$ der \definitionsverweis {Dimension}{}{} \mathkor {} {r} {bzw.} {s} {.}}
\faktfolgerung {Dann besitzt die \definitionsverweis {Produktvarietät}{}{} die Dimension
\mathl{r+s}{.}}
\faktzusatz {}
\faktzusatz {}

}
{

Wir betrachten Realisierungen
\mavergleichskette
{\vergleichskette
{V }
{ \subseteq }{ { {\mathbb A}_{ K }^{ m } } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{W }
{ \subseteq }{ { {\mathbb A}_{ K }^{ n } } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Es seien Ketten von irreduziblen Mengen
\mavergleichskettedisp
{\vergleichskette
{V_0 }
{ \subset} {V_1 }
{ \subset \ldots \subset} { V_{r-1} }
{ \subset} {V_r }
{ =} {V }
} {
\vergleichskettefortsetzung
{ \subset} {V_{r+1} }
{ \subset \ldots \subset} { V_{m-1} }
{ \subset} { V_m }
{ =} { { {\mathbb A}_{ }^{ m } } }
}{}{} und
\mavergleichskettedisp
{\vergleichskette
{W_0 }
{ \subset} {W_1 }
{ \subset \ldots \subset} { W_{s-1} }
{ \subset} {W_s }
{ =} {W }
} {
\vergleichskettefortsetzung
{ \subset} {W_{s+1} }
{ \subset \ldots \subset} { W_{n-1} }
{ \subset} { W_n }
{ =} { { {\mathbb A}_{ }^{ n } } }
}{}{} gegeben. Solche Ketten gibt es nach Satz 19.4. Somit liegt eine Kette
\mavergleichskettedisp
{\vergleichskette
{V_0 \times W_0 }
{ \subset \ldots \subset} {V_r \times W_0 }
{ \subset \ldots \subset} { V_r \times W_s }
{ \subset \ldots \subset} { V_{m} \times W_s }
{ \subset \ldots \subset} { V_{m} \times W_n }
} {
\vergleichskettefortsetzung
{ =} { { {\mathbb A}_{ K }^{ m+n } } }
{ } {}
{ } {}
{ } {}
}{}{} von nach Lemma 20.7 irreduziblen Teilmengen vor. Die Kette von \mathkor {} {V_0 \times W_0} {bis} {V_r \times W_s = V \times W} {} zeigt, dass die Dimension von
\mathl{V \times W}{} zumindest
\mathl{r+s}{} ist. Würde es in
\mathl{V \times W}{} eine längere Kette geben, sagen wir der Länge
\mavergleichskette
{\vergleichskette
{t }
{ > }{ r+s }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} so könnte man diese durch die obige Teilkette von \mathkor {} {V \times W} {bis} {V_m \times W_n} {} zu einer Kette der Länge
\mavergleichskettedisp
{\vergleichskette
{ t+ m-r +n-s }
{ >} {r+s + m-r +n-s }
{ =} { m+n }
{ } { }
{ } { }
} {}{}{} des
\mathl{{ {\mathbb A}_{ K }^{ m+n } }}{} führen, was nach Satz Anhang 2.15 und Satz 19.1 nicht sein kann.

}


Diese Aussage gilt auch für beliebige affin-agebraische Mengen, siehe Aufgabe 20.17.






\zwischenueberschrift{Die Einbettungsdimension}




\inputdefinition
{}
{

Es sei $R$ ein lokaler kommutativer noetherscher Ring mit \definitionsverweis {maximalem Ideal}{}{} ${\mathfrak m}$. Dann heißt die minimale Idealerzeugendenzahl für ${\mathfrak m}$ die \definitionswort {Einbettungsdimension}{} von $R$, geschrieben
\mathdisp {\operatorname{embdim}\,(R)} { . }

}





\inputfaktbeweis
{Lokaler Ring/Einbettungsdimension ist Dimension des Kotangentialraumes/Fakt}
{Lemma}
{}
{

\faktsituation {}
\faktvoraussetzung {Es sei
\mathl{(R,{\mathfrak m},K)}{} ein \definitionsverweis {noetherscher}{}{} \definitionsverweis {lokaler Ring}{}{.}}
\faktfolgerung {Dann ist die \definitionsverweis {Einbettungsdimension}{}{} gleich
\mavergleichskettedisp
{\vergleichskette
{ \mu ({\mathfrak m}) }
{ =} { \dim_{ K } { \left( {\mathfrak m}/{\mathfrak m}^2 \right) } }
{ } { }
{ } { }
{ } { }
} {}{}{.}}
\faktzusatz {}
\faktzusatz {}

}
{

Dies folgt sofort aus dem Lemma von Nakayama angewandt auf das Ideal ${\mathfrak m}$ und den endlich erzeugten $R$-Modul ${\mathfrak m}$.

}





\inputfaktbeweis
{Noetherscher Ring/Maximales Ideal/Kotangentialraum direkt und über lokalen Ring/Fakt}
{Lemma}
{}
{

\faktsituation {}
\faktvoraussetzung {Es sei $R$ ein \definitionsverweis {noetherscher}{}{} \definitionsverweis {kommutativer Ring}{}{} und ${\mathfrak n}$ ein \definitionsverweis {maximales Ideal}{}{.} Es sei
\mavergleichskette
{\vergleichskette
{S }
{ = }{R_{\mathfrak n} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} die \definitionsverweis {Lokalisierung}{}{} an ${\mathfrak n}$ mit dem maximalen Ideal
\mavergleichskette
{\vergleichskette
{ {\mathfrak m} }
{ = }{ {\mathfrak n}R_{\mathfrak n} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.}}
\faktfolgerung {Dann ist
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak m}/{\mathfrak m}^2 }
{ \cong} { {\mathfrak n}/{\mathfrak n}^2 }
{ } { }
{ } { }
{ } { }
} {}{}{.}}
\faktzusatz {Insbesondere ist die \definitionsverweis {Einbettungsdimension}{}{} der Lokalisierung gleich
\mathl{\operatorname{dim }_{R/{\mathfrak n}}\, ({\mathfrak n}/{\mathfrak n}^2)}{.}}
\faktzusatz {}

}
{

Dies ist ein Spezialfall von Lemma 17.5.

}





\inputfaktbeweis
{Noetherscher lokaler Ring/Einbettungsdimension/Dimension/Fakt}
{Satz}
{}
{

\faktsituation {In einem \definitionsverweis {noetherschen}{}{} \definitionsverweis {lokalen Ring}{}{} $R$ gilt}
\faktfolgerung {
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{dim} { \left( R \right) } }
{ \leq} {\operatorname{embdim}\,(R) }
{ } { }
{ } { }
{ } { }
} {}{}{.}}
\faktzusatz {}
\faktzusatz {}

}
{

Die \definitionsverweis {Einbettungsdimension}{}{} von $R$ ist die \definitionsverweis {minimale Erzeugendenzahl}{}{} des \definitionsverweis {maximalen Ideals}{}{} ${\mathfrak m}$. Es sei also
\mavergleichskettedisp
{\vergleichskette
{(f_1 , \ldots , f_e) }
{ =} { {\mathfrak m} }
{ } { }
{ } { }
{ } { }
} {}{}{.} Dann ist nach Satz 18.7 die \definitionsverweis {Höhe}{}{} von ${\mathfrak m}$ höchstens gleich $e$, und diese ist die \definitionsverweis {Dimension}{}{} von $R$.

}