Kurs:Invariantentheorie (Osnabrück 2012-2013)/Vorlesung 15/latex
\setcounter{section}{15}
\zwischenueberschrift{Operationen auf dem Spektrum}
Es sei $G$ eine
\definitionsverweis {Gruppe}{}{,} die auf einem
\definitionsverweis {kommutativen Ring}{}{} als Gruppe von
\definitionsverweis {Ringautomorphismen}{}{}
\definitionsverweis {operiere}{}{.}
Zu jedem
\mathl{\sigma \in G}{} liegt also ein Ringautomorphismus
\maabbdisp {\varphi_\sigma} {R} {R
} {} vor, der wiederum zu einer Spektrumsabbildung
\maabbdisp {\varphi_\sigma^*} { \operatorname{Spek} { \left( R \right) } } { \operatorname{Spek} { \left( R \right) }
} {}
führt, die eine
\definitionsverweis {Homöomorphie}{}{} ist. Die Operation von $G$ auf $R$ ergibt als eine Operation von $G$ auf
\mathl{\operatorname{Spek} { \left( R \right) }}{} als Gruppe von Homöomorphismen. Da wir die Operation auf dem Ring von rechts schreiben, und das Spektrum kontravariant ist, ist es natürlich, die Operation auf dem affinen Schema von links zu schreiben. Wir werden gleich sehen, dass man bei einer linearen Operation auf einem Vektorraum und der zugehörigen Operation auf dem Polynomring über das Spektrum die ursprüngliche Operation zurückgewinnt.
\inputfaktbeweis
{Lineare Abbildung/Polynomring und Spektrum/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {Körper}{}{}
und
\mathkor {} {V} {und} {W} {}
seien
\definitionsverweis {endlichdimensionale}{}{}
$K$-\definitionsverweis {Vektorräume}{}{.}
Es sei
\maabbdisp {\psi} {V} {W
} {}
eine
$K$-\definitionsverweis {lineare Abbildung}{}{}
und
\maabbdisp {\varphi} {K[W]} {K[V]
} {}
der zugehörige
$K$-\definitionsverweis {Algebrahomomorphismus}{}{}
zwischen den
\definitionsverweis {Polynomringen}{}{}
und
\maabbdisp {\varphi^*} { \operatorname{Spek} { \left( K[V] \right) } } { \operatorname{Spek} { \left( K[W] \right) }
} {}
die zugehörige
\definitionsverweis {Spektrumsabbildung}{}{.}}
\faktfolgerung {Dann kommutiert das Diagramm
\mathdisp {\begin{matrix} V & \stackrel{ \psi }{\longrightarrow} & W & \\ \downarrow & & \downarrow & \\ \operatorname{Spek} { \left( K[V] \right) } & \stackrel{ \varphi^* }{\longrightarrow} & \operatorname{Spek} { \left( K[W] \right) } & \!\!\!\!\! , \\ \end{matrix}} { }
wobei die vertikalen Abbildungen die natürlichen Einbettungen sind.}
\faktzusatz {}
\faktzusatz {}
}
{
Es seien
\mavergleichskette
{\vergleichskette
{ {\mathfrak m}_v
}
{ = }{ { \left\{ F \in K[V] \mid F(v) = 0 \right\} }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ {\mathfrak m}_w
}
{ = }{ { \left\{ G \in K[W] \mid G(w) = 0 \right\} }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{} die zu den Vektoren
\mathkor {} {v} {bzw.} {w} {}
gehörigen maximalen Ideale. Die Aussage folgt aus
\mavergleichskettealign
{\vergleichskettealign
{\varphi^*( {\mathfrak m}_v )
}
{ =} { \varphi^{-1} ( {\mathfrak m}_v )
}
{ =} { { \left\{ G \in K[W] \mid \varphi(G) \in {\mathfrak m}_v \right\} }
}
{ =} { { \left\{ G \in K[W] \mid \varphi(G)(v) = 0 \right\} }
}
{ =} { { \left\{ G \in K[W] \mid { \left( G \circ \psi \right) } (v) = 0 \right\} }
}
}
{
\vergleichskettefortsetzungalign
{ =} { { \left\{ G \in K[W] \mid G ( \psi (v)) = 0 \right\} }
}
{ =} { {\mathfrak m}_{\psi (v)}
}
{ } {}
{ } {}
}
{}{.}
\inputfaktbeweis
{Lineare Operation/Auf Ring und Spektrum/Fakt}
{Proposition}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {Körper}{}{,}
$V$ ein
\definitionsverweis {endlichdimensionaler}{}{}
$K$-\definitionsverweis {Vektorraum}{}{,}
auf dem eine
\definitionsverweis {Gruppe}{}{}
$G$
\definitionsverweis {linear operiere}{}{.}
Es sei
\maabbdisp {} {K[V] \times G} {K[V]
} {}
die zugehörige Operation auf dem
\definitionsverweis {Polynomring}{}{}
\mathl{K[V]}{} und
\maabbdisp {} {G \times \operatorname{Spek} { \left( K[V] \right) } } { \operatorname{Spek} { \left( K[V] \right) }
} {}
die zugehörige Operation auf dem Spektrum.}
\faktfolgerung {Dann liegt über die natürliche Einbettung
\mathl{V \subseteq \operatorname{Spek} { \left( K[V] \right) }}{} eine Fortsetzung der Operation vor.}
\faktzusatz {}
\faktzusatz {}
}
{
Dies folgt unmittelbar aus Lemma 15.1.
\zwischenueberschrift{Quotient und Invariantenring bei endlichen Gruppen}
Es sei $R$ ein kommutativer Ring, $G$ eine endliche Gruppe, die auf $R$ und damit auch auf
\mavergleichskette
{\vergleichskette
{X
}
{ = }{ \operatorname{Spek} { \left( R \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
als Gruppe von Automorphismen operiere. Dann hat man einerseits den topologischen Quotienten
\mathl{X/G}{} und andererseits den Invariantenring $R^G$ und damit dessen Spektrum
\mathl{\operatorname{Spek} { \left( R^G \right) }}{.} Wir zeigen nach einigen Vorbereitungen, dass diese zwei geometrischen Objekte gleich sind, also dass
\mavergleichskettedisp
{\vergleichskette
{ X/G
}
{ =} { \operatorname{Spek} { \left( R^G \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt. Dabei werden wir zeigen, dass die
\definitionsverweis {Spektrumsabbildung}{}{}
\maabbdisp {\iota^*} {\operatorname{Spek} { \left( R \right) } } {\operatorname{Spek} { \left( R^G \right) }
} {}
\zusatzklammer {die zur Inklusion
\mavergleichskette
{\vergleichskette
{R^G
}
{ \subseteq }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gehört} {} {}
die Eigenschaften eines topologischen Quotienten erfüllt.
\inputfaktbeweis
{Invariantenring/Endliche Gruppe/Abgeschlossene Abbildung/Bildtopologie/Fakt}
{Korollar}
{}
{
\faktsituation {Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{,} auf dem eine
\definitionsverweis {endliche Gruppe}{}{} $G$ durch
\definitionsverweis {Ringautomorphismen}{}{} operiere.}
\faktfolgerung {Dann ist die
\definitionsverweis {Spektrumsabbildung}{}{}
\maabbdisp {\iota^*} { \operatorname{Spek} { \left( R \right) } } { \operatorname{Spek} { \left( R^G \right) }
} {}
\definitionsverweis {surjektiv}{}{}
und
\definitionsverweis {abgeschlossen}{}{.}}
\faktzusatz {Insbesondere trägt
\mathl{\operatorname{Spek} { \left( R^G \right) }}{} die
\definitionsverweis {Bildtopologie}{}{}
unter dieser Abbildung.}
\faktzusatz {}
}
{
Dies folgt aus Lemma 12.1 und aus Satz 14.9.
Für die nächste Aussage über die Fasern und Bahnen bei einer endlichen Gruppenoperation benötigen wir das Lemma über die \stichwort {Primvermeidung} {.}
\inputfaktbeweis
{Primideal/Vermeidung/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{,}
${\mathfrak a}$ ein
\definitionsverweis {Ideal}{}{}
und
\mathl{{\mathfrak p}_1 , \ldots , {\mathfrak p}_n}{} eine endliche Familie von
\definitionsverweis {Primidealen}{}{.}}
\faktvoraussetzung {Es gelte
\mavergleichskette
{\vergleichskette
{ {\mathfrak a}
}
{ \subseteq }{ \bigcup_{i = 1}^n {\mathfrak p}_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktfolgerung {Dann ist
\mavergleichskette
{\vergleichskette
{ {\mathfrak a}
}
{ \subseteq }{{\mathfrak p}_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für ein $i$.}
\faktzusatz {}
\faktzusatz {}
}
{
Wir führen Induktion über $n$. Bei
\mavergleichskette
{\vergleichskette
{n
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist die Aussage trivial. Es sei die Aussage für $n$ Primideale bewiesen, und seien
\mathl{n+1}{} Primideale gegeben. Für jedes $i$ können wir annehmen, dass
\mavergleichskette
{\vergleichskette
{ {\mathfrak a}
}
{ \not\subseteq }{ \bigcup_{j \neq i} {\mathfrak p}_j
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, da andernfalls die Aussage nach Induktionsvoraussetzung bewiesen ist. Demnach gibt es jeweils ein
\mathl{f_i \in {\mathfrak a}}{} mit
\mathl{f_i \notin \bigcup_{j \neq i} {\mathfrak p}_j}{.} Dann muss insbesondere
\mathl{f_i \in {\mathfrak p}_i}{} sein. Das Element
\mathl{f_1 +f_2 f_3 \cdots f_{n+1}}{} gehört zu ${\mathfrak a}$ und damit ist auch
\mathl{f_1 +f_2 f_3 \cdots f_{n+1} \in {\mathfrak p}_i}{} für ein $i$. Dies ist aber sowohl bei
\mavergleichskette
{\vergleichskette
{i
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
als auch bei
\mavergleichskette
{\vergleichskette
{i
}
{ \geq }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Widerspruch.
\inputfaktbeweis
{Invariantenring/Endliche Gruppe/Faser ist Bahn/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{,}
auf dem eine
\definitionsverweis {endliche Gruppe}{}{}
$G$ durch
\definitionsverweis {Ringautomorphismen}{}{}
operiere und es sei
\maabbdisp {\iota^*} { \operatorname{Spek} { \left( R \right) } } { \operatorname{Spek} { \left( R^G \right) }
} {}
die zugehörige
\definitionsverweis {Spektrumsabbildung}{}{.}}
\faktfolgerung {Dann gilt für
\mavergleichskette
{\vergleichskette
{ {\mathfrak p}, {\mathfrak q}
}
{ \in }{ \operatorname{Spek} { \left( R \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Äquivalenz:
\mavergleichskette
{\vergleichskette
{ \iota^*( {\mathfrak p})
}
{ = }{\iota^*( {\mathfrak q})
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau dann, wenn es ein
\mavergleichskette
{\vergleichskette
{\sigma
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ \sigma^*( {\mathfrak p})
}
{ = }{ {\mathfrak q}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt.}
\faktzusatz {Das heißt, dass die
\definitionsverweis {Bahnen der Operation}{}{}
von $G$ auf
\mathl{\operatorname{Spek} { \left( R \right) }}{} mit den
\definitionsverweis {Fasern}{}{}
von $\iota^*$ übereinstimmen.}
\faktzusatz {}
}
{
Wenn
\mavergleichskette
{\vergleichskette
{ \sigma^* ( {\mathfrak p} )
}
{ = }{ \sigma^{-1} ( {\mathfrak p} )
}
{ = }{ {\mathfrak q}
}
{ }{
}
{ }{
}
}
{}{}{}
ist und
\mavergleichskette
{\vergleichskette
{f
}
{ \in }{ R^G \cap {\mathfrak q}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
so ist auch
\mavergleichskette
{\vergleichskette
{f
}
{ = }{ f \sigma
}
{ \in }{ {\mathfrak p}
}
{ }{
}
{ }{
}
}
{}{}{,}
also ist
\mavergleichskettedisp
{\vergleichskette
{ \iota^*( {\mathfrak p})
}
{ =} { R^G \cap {\mathfrak p}
}
{ =} { R^G \cap {\mathfrak q}
}
{ =} { \iota^*( {\mathfrak q})
}
{ } {
}
}
{}{}{.}
Primideale in derselben Bahn besitzen also den gleichen Bildpunkt unter der Spektrumsabbildung.
Zum Beweis der Umkehrung betrachten wir die Faser über
\mavergleichskette
{\vergleichskette
{ {\mathfrak r}
}
{ \in }{\operatorname{Spek} { \left( R^G \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und es sei ${\mathfrak p}$ ein Element dieser Faser, welches es
nach Korollar 15.3
gibt. Wir müssen zeigen, dass jedes Primideal ${\mathfrak q}$ der Faser in der Bahn durch ${\mathfrak p}$ liegt, dass es also ein
\mavergleichskette
{\vergleichskette
{\sigma
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ \sigma^*( {\mathfrak p} )
}
{ = }{ {\mathfrak q}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt. Wir nehmen an, dass dies nicht der Fall sei, und es sei ${\mathfrak q}$ ein Primideal der Faser über ${\mathfrak r}$, das aber nicht zur Bahn durch ${\mathfrak q}$ gehört. Aus
\mavergleichskette
{\vergleichskette
{ {\mathfrak q}
}
{ \neq }{ \sigma^*( {\mathfrak p} )
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {für alle
\mavergleichskettek
{\vergleichskettek
{ \sigma
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
folgt
\mavergleichskette
{\vergleichskette
{ {\mathfrak q}
}
{ \not \subseteq }{ \sigma^*( {\mathfrak p} )
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
da andernfalls die Faser im Widerspruch zu
Lemma 14.11
nicht nulldimensional wäre.
Nach Lemma 15.4
ist dann auch
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak q}
}
{ \not\subseteq} { \bigcup_{\sigma \in G} \sigma^*( {\mathfrak p} )
}
{ \defeqr} {T
}
{ } {
}
{ } {
}
}
{}{}{.}
Sei
\mathbed {f \in {\mathfrak q}} {}
{f \notin T} {}
{} {} {} {.}
Die Menge $T$ wird unter der Gruppenoperation auf sich selbst abgebildet, daher ist auch
\mavergleichskette
{\vergleichskette
{ f \sigma
}
{ \notin }{T
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Somit ist auch
\mavergleichskette
{\vergleichskette
{g
}
{ = }{ \prod_{\sigma \in G} f \sigma
}
{ \notin }{T
}
{ }{
}
{ }{
}
}
{}{}{.} Andererseits ist aber
\mavergleichskette
{\vergleichskette
{g
}
{ \in }{R^G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{g
}
{ \in }{ {\mathfrak q}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
also ergibt sich der Widerspruch
\mavergleichskette
{\vergleichskette
{g
}
{ \in }{ R^G\cap {\mathfrak q}
}
{ = }{ {\mathfrak r}
}
{ \subseteq }{ {\mathfrak p}
}
{ \subseteq }{ T
}
}
{}{}{.}
\inputfaktbeweis
{Invariantenring/Endliche Gruppe/Quotient ist Spektrum/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{,} auf dem eine
\definitionsverweis {endliche Gruppe}{}{} $G$ durch
\definitionsverweis {Ringautomorphismen}{}{} operiere und es sei
\maabbdisp {\iota^*} { \operatorname{Spek} { \left( R \right) } } { \operatorname{Spek} { \left( R^G \right) }
} {}
die zugehörige
\definitionsverweis {Spektrumsabbildung}{}{.}}
\faktfolgerung {Dann ist
\mathl{{ \left( \operatorname{Spek} { \left( R^G \right) } , \iota^* \right) }}{} der
\definitionsverweis {Quotient}{}{}
der Gruppenoperation von $G$ auf
\mathl{\operatorname{Spek} { \left( R \right) }}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Die Abbildung
\maabbdisp {\iota^*} { \operatorname{Spek} { \left( R \right) } } { \operatorname{Spek} { \left( R^G \right) }
} {}
ist
nach Korollar 15.3
\definitionsverweis {surjektiv}{}{,}
so dass
nach Lemma 15.5
die Punkte aus
\mathl{\operatorname{Spek} { \left( R^G \right) }}{} den Bahnen der Gruppenoperation entsprechen. Daher ist
\mathl{\operatorname{Spek} { \left( R^G \right) }}{} ein mengentheoretischer Quotient.
Nach Korollar 15.3 trägt
\mathl{\operatorname{Spek} { \left( R^G \right) }}{} die
\definitionsverweis {Bildtopologie}{}{,}
so dass es sich auch um einen topologischen Quotienten handelt.
Aus den vorstehenden Aussagen folgt insbesondere, dass die Fasern der Spektrumsabbildung \maabbdisp {} { \operatorname{Spek} { \left( R \right) } } { \operatorname{Spek} { \left( R^G \right) } } {} aus endlich vielen Elementen bestehen, und zwar ist deren Anzahl maximal gleich der Anzahl der Elemente der Gruppe $G$.
\zwischenueberschrift{Quotient und Invariantenring allgemein}
Wenn die Gruppe nicht endlich ist, so ist das Spektrum des Invariantenringes im Allgemeinen nicht der Quotient der Gruppenoperation. Es ist ein eigenständiges, umfassendes Problem, den Quotienten zu einer algebaischen Gruppenoperation zu bestimmen, die unter der Bezeichnung \stichwort {geometrische Invariantentheorie} {} firmiert. Zwar existiert stets der Bahnenraum, der mit der Bildtopologie versehen der Quotient in der Kategorie der topologischen Räume ist, doch wünscht man sich auch eine algebraische Struktur auf dem Quotienten \zusatzklammer {beispielsweise möchte man über \anfuehrung{polynomiale Funktionen}{} auf dem Quotienten sprechen können} {} {.} Schon einfache Beispiele zeigen, dass man einen sinnvollen algebraisch-geometrischen Quotienten nur erwarten kann, wenn man die Operation auf eine offene \zusatzklammer {möglichst große} {} {} Teilmenge einschränkt. Um den Quotienten zu beschreiben reichen die affinen Varietäten nicht aus, und nur solche kann man über Invariantenringe gewinnen. Stattdessen muss man in der Kategorie der quasiprojektiven Varietäten bzw. der Schemata einen Quotienten konstruieren.
\inputbeispiel{}
{
Die
\definitionsverweis {Operation}{}{}
der
\definitionsverweis {Einheitengruppe}{}{}
$K^{\times}$ eines
\definitionsverweis {Körpers}{}{}
$K$ auf dem $K^n$
\zusatzklammer {\mathlk{n \geq 2}{}} {} {}
durch
\definitionsverweis {skalare Multiplikation}{}{}
besitzt den Nullpunkt als
\definitionsverweis {Fixpunkt}{}{}
und die Geraden durch den Nullpunkt ohne diesen als weitere
\definitionsverweis {Bahnen}{}{.}
Die zugehörige Operation auf dem Polynomring
\mathl{R=K[X_1 , \ldots , X_n]}{}
\zusatzklammer {vergleiche
Beispiel 5.9} {} {}
besitzt bei unendlichem $K$ nur die Konstanten als invariante Polynome. Die
\definitionsverweis {Spektrumsabbildung}{}{}
\maabbdisp {} { \operatorname{Spek} { \left( R \right) } } { \operatorname{Spek} { \left( R^G \right) }
} {}
ist also konstant und vermag nicht die Bahnen zu trennen. Nach
Aufgabe 5.12
gibt es bei
\mathl{K=\R}{}
\zusatzklammer {oder ${\mathbb C}$} {} {} noch nicht einmal stetige Funktionen des $\R^n$ in einen metrischen Raum, die die Bahnen trennen.
Wenn man hingegen den Nullpunkt herausnimmt, so ist der Bahnenraum nach Definition der \definitionsverweis {projektive Raum}{}{} über $K$, einer der wichtigsten Räume überhaupt. Dieser ist nicht das Spektrum eines kommutativen Ringes, er wird aber überdeckt durch offene Teilmengen, die Spektren zu kommutativen Ringen sind. Ein solches geometrisches Objekt nennt man ein \stichwort {Schema} {.} Die skalare Multiplikation auf dem punktierten affinen Raum besitzt also einen sinnvollen Quotienten in der Kategorie der Schemata.
}
Dennoch besitzt das Spektrum des Invariantenringes viele Eigenschaften, die man auch von einem Quotienten erwartet. Z.B. ist die Spektrumsabbildung \maabbdisp {} { \operatorname{Spec} { \left( R \right) } } { \operatorname{Spec} { \left( R^G \right) } } {} surjektiv, wenn $R^G$ ein \definitionsverweis {direkter Summand}{}{} in $R$ ist, wenn also ein \definitionsverweis {Reynolds-Operator}{}{} existiert. Dies ist nicht nur bei endlichen \zusatzklammer {nicht modularen} {} {} Gruppen der Fall, sondern auch bei Operationen \definitionsverweis {diagonalisierbarer Gruppen}{}{,} die den \definitionsverweis {Graduierungen}{}{} entsprechen, und allgemeiner bei den sogenannten \definitionsverweis {linear-reduktiven Gruppen}{}{,} die wir später einführen werden.
\inputfaktbeweis
{Direkter Summand/Spektrumsabbildung/Surjektiv/Fakt}
{Lemma}
{}
{
\faktsituation {Es seien $R,S$
\definitionsverweis {kommutative Ringe}{}{}
und
\mathl{R \subseteq S}{} ein
\definitionsverweis {direkter Summand}{}{.}}
\faktfolgerung {Dann ist die
\definitionsverweis {Spektrumsabbildung}{}{}
\maabbdisp {} { \operatorname{Spek} { \left( S \right) } } { \operatorname{Spek} { \left( R \right) }
} {}
\definitionsverweis {surjektiv}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Es sei
\mavergleichskettedisp
{\vergleichskette
{S
}
{ \cong} {R \oplus V
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit einem $R$-Modul $V$. Es sei ${\mathfrak p}$ ein
\definitionsverweis {Primideal}{}{} von $R$.
Nach Aufgabe 6.11
und
nach Aufgabe 6.12
sind auch
\maabbdisp {} {R_{\mathfrak p} } { S_{R\setminus {\mathfrak p} } = R_{\mathfrak p} \oplus V_{\mathfrak p}
} {}
und
\maabbdisp {} {\kappa( {\mathfrak p} ) = R_{\mathfrak p}/{\mathfrak p} R_{\mathfrak p} } { S_{R \setminus {\mathfrak p} } / { \left( {\mathfrak p} R_{\mathfrak p} \right) } S_{R\setminus {\mathfrak p} }= R_{\mathfrak p}/{\mathfrak p} R_{\mathfrak p} \oplus V_{\mathfrak p} /{\mathfrak p} V_{\mathfrak p}
} {}
direkte Summanden. Daher ist insbesondere der Ring rechts nicht $0$ und somit ist
nach Proposition 13.4 (6)
und
nach Korollar 14.4
die
\definitionsverweis {Faser}{}{} über ${\mathfrak p}$ nicht leer.
Das folgende Beispiel, das an
Beispiel 6.9 anschließt, zeigt, dass die Spektrumsabbildung zum Invariantenring zu einer Operation der additiven Gruppe
\mathl{(K,+)}{} nicht surjektiv sein muss.
\inputbeispiel{}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{}
der
\definitionsverweis {Charakteristik}{}{}
$0$ und
\mathl{A=K[X,Y]}{.} Auf der
$A$-\definitionsverweis {Algebra}{}{}
\mavergleichskettedisp
{\vergleichskette
{B
}
{ =} {A[S,T]/(XS+YT+1)
}
{ =} {K[X,Y,S,T]/(XS+YT+1)
}
{ } {
}
{ } {
}
}
{}{}{}
operiert die
\definitionsverweis {additive Gruppe}{}{}
\mathl{(K,+)}{,} indem ein
\mathl{\lambda \in K}{} durch
\mathdisp {X \mapsto X,\, Y \mapsto Y,\, S \mapsto S+ \lambda Y,\, T \mapsto T- \lambda X} { }
wirkt. Wie in
Beispiel 6.9
gezeigt wurde, ist der Invariantenring unter dieser Gruppenoperation gleich
\mathl{A=K[X,Y]}{.} Die Spektrumsabbildung
\maabbdisp {} { \operatorname{Spek} { \left( B \right) } } { \operatorname{Spek} { \left( A \right) }
} {}
ist nicht
\definitionsverweis {surjektiv}{}{.}
Für das
\definitionsverweis {maximale Ideal}{}{}
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak m}
}
{ =} { (X,Y)
}
{ \subset} { A
}
{ } {
}
{ } {
}
}
{}{}{}
ist das
\definitionsverweis {Erweiterungsideal}{}{}
\mathl{(X,Y)B}{} offenbar gleich dem
\definitionsverweis {Einheitsideal}{}{.}
Somit ist die
\definitionsverweis {Faser}{}{}
über ${\mathfrak m}$ nach
Korollar 14.4
leer. Zu jedem anderen Primideal
\mathbed {{\mathfrak p} \in \operatorname{Spek} { \left( A \right) }} {}
{{\mathfrak p} \neq {\mathfrak m}} {}
{} {} {} {}
ist die Faser gleich
\mathl{\kappa( {\mathfrak p} )[S,T]/(\psi(X)S + \psi(Y)T +1 )}{,} wobei
\maabbdisp {\psi} {A= K[X,Y]} { \kappa ( {\mathfrak p} )
} {}
der
\definitionsverweis {kanonische Ringhomomorphismus}{}{}
in den
\definitionsverweis {Restekörper}{}{}
ist. Nach Voraussetzung ist mindestens eines der
\mathl{\psi(X),\psi(Y)}{} eine Einheit, so dass eine Isomorphie zu
\mathl{\kappa({\mathfrak p})[U]}{} vorliegt. Die Fasern sind also affine Geraden. Diese sind wiederum genau die Bahnen der Operation, so dass die offene Teilmenge
\mathdisp {D( {\mathfrak m} ) \subset \operatorname{Spek} { \left( A \right) }} { }
der Quotient der Operation ist.
}
| << | Kurs:Invariantentheorie (Osnabrück 2012-2013) | >> |
|---|