Kurs:Invariantentheorie (Osnabrück 2012-2013)/Vorlesung 31/latex
\setcounter{section}{31}
\zwischenueberschrift{Invariantenringe bei linear reduktiver Gruppe}
Wir möchten zeigen, dass der Invariantenring zu einer algebraischen Operation einer linear reduktiven Gruppe ein direkter Summand ist, woraus folgt, dass er endlich erzeugt ist. Wir beginnen mit äquivalenten Charakterisierungen von linear reduktiv.
\inputfaktbeweis
{Linear reduktive Gruppe/Charakterisierung/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {algebraisch abgeschlossener Körper}{}{}
und $G$ eine
\definitionsverweis {affin-algebraische Gruppe}{}{}
über $K$.}
\faktuebergang {Dann sind folgende Aussagen äquivalent.}
\faktfolgerung {\aufzaehlungvier{ $G$ ist
\definitionsverweis {linear reduktiv}{}{.}
}{Zu jeder
$K$-\definitionsverweis {rationalen Darstellung}{}{}
auf einem
\definitionsverweis {endlichdimensionalen}{}{}
$K$-\definitionsverweis {Vektorraum}{}{}
$V$ besitzt
\mathl{V^G \subseteq V}{} ein eindeutig bestimmtes
$G$-\definitionsverweis {Komplement}{}{}
\mathl{W \subseteq V}{.} Dabei gilt
\mathl{{ \left( { W }^{ * } \right) }^G=0}{.}
}{Zu jeder
$K$-\definitionsverweis {rationalen Darstellung}{}{}
auf einem
\definitionsverweis {endlichdimensionalen}{}{}
$K$-\definitionsverweis {Vektorraum}{}{}
$V$ und jedem
\mathbed {v \in V^G} {}
{v \neq 0} {}
{} {} {} {,}
gibt es eine
$G$-\definitionsverweis {invariante}{}{} \definitionsverweis {Linearform}{}{}
\mathl{f \in { V }^{ * }}{} mit
\mathl{f(v) \neq 0}{.}
}{Zu jeder
$K$-\definitionsverweis {rationalen Darstellung}{}{}
auf einem
\definitionsverweis {endlichdimensionalen}{}{}
$K$-\definitionsverweis {Vektorraum}{}{}
$V$ und jedem
$G$-\definitionsverweis {Untervektorraum}{}{}
\mathl{U \subseteq V}{} gibt es ein
$G$-\definitionsverweis {Komplement}{}{.}
}}
\faktzusatz {}
\faktzusatz {}
}
{
$(1) \Rightarrow (2)$. Es sei
\mavergleichskette
{\vergleichskette
{ V
}
{ = }{ V_1 \oplus \cdots \oplus V_r
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Zerlegung in
\definitionsverweis {irreduzible Darstellungen}{}{.}
Wegen der
\definitionsverweis {Irreduzibilität}{}{}
ist
\mathl{(V_i)^G =V_i \cap V^G}{} gleich $0$ oder gleich $V_i$, daher ist
\zusatzklammer {nach Umordnung} {} {}
\mathl{V^G=V_1 \oplus \cdots \oplus V_s}{.} Die direkte Summe der verbleibenden irreduziblen Unterräume, also
\mathl{W= V_{s+1} \oplus \cdots \oplus V_r}{} bilden ein $G$-invariantes Komplement. Wenn $W'$ ein solches $G$-Komplement ist, so gilt wieder
\mathl{W' \cap V_i = V_i}{} oder $=0$. Bei
\mathl{W' \cap V_i = 0}{} für ein
\mathl{i \geq s+1}{} würde die Dimension von $W'$ zu klein werden, also muss
\mathl{W'=W}{} sein. Den Zusatz kann man für die an $W$ beteiligten $V_i$ getrennt beweisen. Es sei also
\maabbdisp {h} {V_i} {K
} {}
eine
$G$-\definitionsverweis {invariante}{}{} \definitionsverweis {Linearform}{}{.}
Bei
\mathl{\dim_{ K } { \left( V_i \right) } \geq 2}{} und
\mathl{h \neq 0}{} wäre der Kern ein echter $G$-invarianter Untervektorraum im Widerspruch zur Irreduziblität von $V_i$. Bei
\mathl{\dim_{ K } { \left( V_i \right) }= 1}{} und
\mathl{h \neq 0}{} wäre $h$ eine Bijektion, und dann müsste $G$ auf $V_i$ identisch wirken.
$(2) \Rightarrow (3)$. Wir betrachten die
\definitionsverweis {lineare Projektion}{}{}
\maabbdisp {\pi} {V} {V^G
} {}
zur Zerlegung
\mathl{V=V^G \oplus W}{} mit dem $G$-invarianten Komplement $W$. Dabei ist
\mathl{\pi(v)=v \neq 0}{} und dazu gibt es eine Linearform
\maabb {h} {V^G} {K
} {}
mit
\mathl{h(v) \neq 0}{.} Die Linearform
\mathl{h \circ \pi}{} ist $G$-verträglich und leistet das Gewünschte.
$(3) \Rightarrow (4)$. Es sei zunächst $U$ irreduzibel. Die Räume
\mathkor {} {\operatorname{Hom}_{ K } { \left( U , V \right) }} {und} {\operatorname{Hom}_{ K } { \left( V , U \right) }} {}
sind
\definitionsverweis {dual}{}{}
zueinander, und zwar über die Beziehung
\maabbeledisp {} { \operatorname{Hom}_{ K } { \left( U , V \right) } \times \operatorname{Hom}_{ K } { \left( V , U \right) } } { K
} {( \varphi, \psi )} { \operatorname{Spur} { \left( \varphi \circ \psi \right) }
} {.}
Dabei ist
\mathl{\varphi \circ \psi}{} ein Endomorphismus auf $V$. Wir fassen die Inklusion
\mathl{U \subseteq V}{} als eine $G$-invariante lineare Abbildung, also als ein Element $\varphi$ in
\mathl{\operatorname{Hom}_{ K } { \left( U , V \right) }^G}{,} auf. Nach $(3)$, angewendet auf dieses Element, muss es ein $G$-invariantes
\mathl{\psi \in \operatorname{Hom}_{ K } { \left( V , U \right) } \cong { \operatorname{Hom}_{ K } { \left( U , V \right) } }^{ * }}{} mit
\mathl{\psi (\varphi) \neq 0}{} geben, was
\mavergleichskette
{\vergleichskette
{ \operatorname{Spur} { \left( \varphi \circ \psi \right) }
}
{ = }{ \operatorname{Spur} { \left( \psi \circ \varphi \right) }
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
}
{}{}{}
bedeutet. Die lineare Abbildung
\maabbdisp {\psi \circ \varphi} {U} {U
} {}
ist daher nicht die Nullabbildung, und sie ist $G$-invariant als Verknüpfung von zwei $G$-invarianten linearen Abbildungen.
Nach Korollar 30.9
ist
\mathl{\psi \circ \varphi}{} eine Streckung, die wir zur Identität normieren können. Somit ist $\psi$ eine $G$-invariante Projektion auf $U$ und daher ist
\mavergleichskettedisp
{\vergleichskette
{V
}
{ =} {U \oplus \operatorname{kern} \varphi
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Im allgemeinen Fall führen wir Induktion über die Dimension von $V$. Es sei
\mavergleichskettedisp
{\vergleichskette
{0
}
{ \neq} {U'
}
{ \subseteq} {U
}
{ } {
}
{ } {
}
}
{}{}{}
ein $G$-invarianter irreduzibler Untervektorraum. Nach der Vorüberlegung ist
\mavergleichskette
{\vergleichskette
{V
}
{ = }{U' \oplus V'
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
wobei $V'$ ebenfalls $G$-invariant ist. Es ist dann
\mavergleichskettedisp
{\vergleichskette
{U
}
{ =} { U' \oplus (U \cap V')
}
{ } {
}
{ } {}
{ } {}
}
{}{}{.}
Aufgrund der Induktionsvoraussetzung ist
\mavergleichskettedisp
{\vergleichskette
{V'
}
{ =} { (U \cap V') \oplus W
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit einem $G$-invarianten Untervektorraum
\mavergleichskettedisp
{\vergleichskette
{W
}
{ \subseteq} {V'
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und daher ist
\mavergleichskettedisp
{\vergleichskette
{V
}
{ =} {U' \oplus V'
}
{ =} { U' \oplus (U \cap V') \oplus W
}
{ =} { U \oplus W
}
{ } {
}
}
{}{}{.}
$(4) \Rightarrow (1)$. Induktion über die Dimension von $V$.
Wir wollen zeigen, dass der Invariantenring zu einer algebraischen Operation einer linear reduktiven Gruppe auf einer
$K$-\definitionsverweis {Algebra von endlichem Typ}{}{}
ein
\definitionsverweis {direkter Summand}{}{}
ist, wobei wir
Satz 31.1
auf geeignete
\definitionsverweis {endlichdimensionale}{}{}
$G$-\definitionsverweis {Untervektorräume}{}{}
$V$ anwenden wollen. Dazu müssen wir zunächst sicherstellen, dass jedes
\mathl{f \in R}{} in einem endlichdimensionalen $G$-Untervektorraum
\mathl{V \subseteq R}{} liegt. Es sei
\mathl{G= \operatorname{Spek} { \left( H \right) }}{} ein
\definitionsverweis {affines Gruppenschema}{}{}
zu einer endlich erzeugten
$K$-\definitionsverweis {Hopf-Algebra}{}{}
$H$. Die Operation von $G$ auf
\mathl{X=\operatorname{Spek} { \left( R \right) }}{,} dem Spektrum einer
\definitionsverweis {endlich erzeugten}{}{}
$K$-\definitionsverweis {Algebra}{}{,}
ist äquivalent zu einem Ringhomomorphismus
\zusatzklammer {der
\definitionsverweis {Kooperation}{}{}} {} {}
\maabbdisp {N} {R} {H \otimes_{ K } R
} {}
\zusatzklammer {mit bestimmten Eigenschaften} {} {.}
Für ein
\mathl{f\in R}{} kann man dabei
\mavergleichskettedisp
{\vergleichskette
{N(f)
}
{ =} {\sum_{i = 1}^n a_i \otimes f_i
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mathl{a_i \in H}{} und
\mathl{f_i \in R}{} schreiben. Die Operation des
$K$-\definitionsverweis {Spektrums}{}{}
von $H$ auf $R$ ist folgendermaßen gegeben: Ein Gruppenelement
\mathl{\sigma \in K\!-\!\operatorname{Spek}\, { \left( R \right) }}{,} also ein
$K$-\definitionsverweis {Algebrahomomorphismus}{}{}
\maabbdisp {\sigma} {H} {K
} {}
schickt eine Funktion $f$ auf
\mavergleichskettedisp
{\vergleichskette
{f \sigma
}
{ =} { \sum_{i=1}^n \sigma (a_i) \otimes f_i
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Es wird also die Hintereinanderschaltung
\mathdisp {R \stackrel{N}{\longrightarrow} H \otimes_{ K } R \stackrel{ \sigma \otimes
\operatorname{Id}_{ R } }{\longrightarrow} K \otimes_{ K } R \stackrel{\cong}{\longrightarrow} R} { }
betrachtet.
\inputfaktbeweis
{Rationale Gruppenoperation/G(K)-stabiler endlicher Unterraum/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {Körper}{}{,}
$G$ ein
\definitionsverweis {affines Gruppenschema}{}{}
über $K$ und
\maabbdisp {\nu} {G \times X} {X
} {}
eine
$K$-\definitionsverweis {algebraische Operation}{}{}
von $G$ auf einem
\definitionsverweis {affinen Schema}{}{}
\mathl{X= \operatorname{Spek} { \left( R \right) }}{,} wobei $R$ eine kommutative
$K$-\definitionsverweis {Algebra}{}{}
sei.}
\faktfolgerung {Dann liegt jedes
\mathl{f \in R}{} in einem
\definitionsverweis {endlichdimensionalen}{}{}
$G(K)$-\definitionsverweis {invarianten}{}{}
$K$-\definitionsverweis {Untervektorraum}{}{}
von $R$.}
\faktzusatz {}
\faktzusatz {}
}
{
Wir betrachten die zur Operation gehörige algebraische Situation, also den
$K$-\definitionsverweis {Algebrahomomorphismus}{}{}
\maabbdisp {N} {R} { H \otimes_{ K } R
} {,}
wobei $H$ die
\definitionsverweis {Hopf-Algebra}{}{}
zu $G$ sei. Es sei
\mavergleichskettedisp
{\vergleichskette
{N(f)
}
{ =} { \sum_{i = 1}^n a_i \otimes f_i
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mathl{a_i \in H}{} und
\mathl{f_i \in R}{.} Für jedes
\mathl{\sigma \in G(K)}{} ist
\mavergleichskettedisp
{\vergleichskette
{f \sigma
}
{ =} { \sum_{i=1}^n \sigma (a_i) \otimes f_i
}
{ =} {\sum_{i=1}^n \sigma (a_i) f_i
}
{ } {
}
{ } {
}
}
{}{}{,}
d.h. diese liegen alle in dem von
\mathl{f_1 , \ldots , f_n}{}
\definitionsverweis {erzeugten}{}{}
$K$-\definitionsverweis {Untervektorraum}{}{}
von $R$. Der von all diesen
\mathbed {f \sigma} {}
{\sigma \in G(K)} {}
{} {} {} {,}
erzeugte Untervektorraum ist also
$G(K)$-\definitionsverweis {invariant}{}{}
und endlichdimensional.
\inputfaktbeweis
{Linear reduktive Gruppe/Algebraische (Ko)Operation/Direkter Summand/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {algebraisch abgeschlossener Körper}{}{,}
$G$ eine
\definitionsverweis {linear reduktive Gruppe}{}{}
über $K$, die auf einer
\definitionsverweis {endlich erzeugten}{}{}
$K$-\definitionsverweis {Algebra}{}{}
$R$
\definitionsverweis {algebraisch operiere}{}{.}}
\faktfolgerung {Dann ist
\mathl{R^G \subseteq R}{} ein
\definitionsverweis {direkter Summand}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
\teilbeweis {}{}{}
{Es sei
\mathl{V \subseteq R}{} ein
\definitionsverweis {endlichdimensionaler}{}{}
$G$-\definitionsverweis {Untervektorraum}{}{.}
Nach Satz 31.1 (2)
ist
\mathl{V=V^G \oplus W}{} mit einem
$G$-\definitionsverweis {Komplement}{}{,}
das überdies eindeutig bestimmt ist und für welches
\mavergleichskette
{\vergleichskette
{ { \left( { W }^{ * } \right) }^G
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt.}
{}
\teilbeweis {}{Es ist sinnvoll, zuerst die Eindeutigkeit einer Reynolds-Abbildung nachzuweisen.\leerzeichen{}}{}
{Es sei
\maabbdisp {\Phi} {R} {R^G
} {}
eine
\definitionsverweis {Reynolds-Abbildung}{}{.}
Nach Lemma 31.2
gibt es zu jedem
\mathl{f \in R}{} einen endlichdimensionalen
$G$-\definitionsverweis {Untervektorraum}{}{}
\mathl{V \subseteq R}{} mit
\mathl{f \in V}{.} Wegen der
$G$-\definitionsverweis {Invarianz}{}{}
von $\Phi$ ist
\mathl{\Phi(V) \subseteq V}{} und die Einschränkung
\mathl{\Phi {{|}}_{V^G}}{} ist die Identität auf
\mathl{V^G}{.} Ferner ist
\mathl{\Phi(W)=0}{.} Bei
\mathbed {u \in \Phi(W)} {}
{u \neq 0} {}
{} {} {} {,}
könnte man nämlich mit Hilfe einer $K$-linearen Abbildung
\maabbdisp {h} {R^G} {K
} {}
mit
\mathl{h(u) \neq 0}{} eine Linearform $\neq 0$ auf $R$, nämlich
\mathl{h \circ \Phi}{,} angeben, die zu
\mathl{{ \left( { W }^{ * } \right) }^G}{} gehört. Dadurch ist $\Phi$ auf $V$ eindeutig bestimmt und}
{\leerzeichen{}somit kann es maximal eine Reynolds-Abbildung geben.}
\teilbeweis {Zur Existenz.\leerzeichen{}}{}{}
{Wir wählen zu
\mathl{f \in R}{}
gemäß Lemma 31.2
einen endlichdimensionalen
$G$-\definitionsverweis {Untervektorraum}{}{}
\mathl{V \subseteq R}{} und setzen
\mavergleichskettedisp
{\vergleichskette
{ \Phi(f)
}
{ \defeq} { \pi_V(f)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei
\maabbdisp {\pi_V} {V } {V^G
} {}
die Projektion von $V$ auf $V^G$ längs des $G$-Komplementes $W$von $V^G$ in $V$ bezeichnet. Dabei ist
\mathl{\Phi(f)}{} unabhängig von der Wahl von $V$. Zu einem anderen $V'$ ist nämlich
\mavergleichskette
{\vergleichskette
{ \pi_{V'} {{|}}_{V\cap V'}
}
{ = }{ \pi_{V} {{|}}_{V\cap V'}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Um dies zu zeigen kann man
\mathl{V \subseteq V'}{} annehmen. Aus
\mathl{V'=(V')^G \oplus W'}{} ergibt sich durch Schneiden mit $V$ sofort eine Zerlegung von $V$, die wegen der Eindeutigkeit mit
\mathl{V^G \oplus W}{} übereinstimmen muss. Somit haben wir eine wohldefinierte $K$-lineare Abbildung
\maabbdisp {\Phi} {R} {R^G
} {.}
Zu
\mathl{f \in R^G}{} ist natürlich
\mathl{f \in V^G}{}
\zusatzklammer {für einen gewählten Unterraum} {} {}
und somit ist die Einschränkung von $\Phi$ auf $R^G$ die Identität. Für ein Gruppenelement
\mathl{\sigma \in G}{} und
\mathl{f \in R}{} kann man
\mathl{\Phi( f \sigma )}{} mit dem gleichen Untervektorraum $V$ berechnen. Es sei
\mathl{f=(u,w)}{} die Zerlegung von $f$ in der direkten Zerlegung
\mavergleichskettedisp
{\vergleichskette
{ V
}
{ =} {V^G \oplus W
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Zerlegung von $f \sigma$ hat dann die Form
\mathl{(u,w')}{,} da ja die Zerlegung die Gruppenoperation respektiert und die Gruppe in der ersten Komponente identisch operiert. Somit ist
\mavergleichskettedisp
{\vergleichskette
{ \Phi( f \sigma)
}
{ =} { \pi_V( f \sigma )
}
{ =} {u
}
{ =} { \pi_V( f)
}
{ =} {\Phi(f)
}
}
{}{}{,}
und $\Phi$ ist in der Tat eine Reynolds-Abbildung.}
{}
\inputfaktbeweis
{Linear reduktive Gruppe/Rationale Operation/Endlich erzeugt/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {algebraisch abgeschlossener Körper}{}{,}
$G$ eine
\definitionsverweis {linear reduktive Gruppe}{}{}
über $K$, die auf einem
\definitionsverweis {endlichdimensionalen}{}{}
$K$-\definitionsverweis {Vektorraum}{}{}
$V$
$K$-\definitionsverweis {rational operiere}{}{.}}
\faktfolgerung {Dann ist der
\definitionsverweis {Invariantenring}{}{}
\mathl{K[V]^G}{} eine
\definitionsverweis {endlich erzeugte}{}{}
$K$-\definitionsverweis {Algebra}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Dies folgt aus Satz 31.3 und aus Korollar 12.7 \zusatzklammer {die Homogenitätsvoraussetzung ist erfüllt} {} {.}
\inputfaktbeweis
{Linear reduktive Gruppe/Algebraische (Ko)Operation/Endlich erzeugt/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {algebraisch abgeschlossener Körper}{}{,}
$G$ eine
\definitionsverweis {linear reduktive Gruppe}{}{}
über $K$, die auf einer
\definitionsverweis {endlich erzeugten}{}{}
$K$-\definitionsverweis {Algebra}{}{}
$R$
$K$-\definitionsverweis {algebraisch operiere}{}{.}}
\faktfolgerung {Dann ist der
\definitionsverweis {Invariantenring}{}{}
$R^G$ eine
\definitionsverweis {endlich erzeugte}{}{}
$K$-\definitionsverweis {Algebra}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Es sei
\mathl{f_1 , \ldots , f_n}{} ein
$K$-\definitionsverweis {Algebraerzeugendensystem}{}{}
von $R$. Nach
Lemma 31.2
gibt es einen endlichdimensionalen
$K$-\definitionsverweis {Untervektorraum}{}{}
\mathl{V \subseteq R}{,} der
$G$-\definitionsverweis {invariant}{}{}
ist. Es sei
\mathl{K[V]}{} der zum Vektorraum $V$ gehörende Polynomring, auf dem $G$ linear operiert. Es ist
\maabbdisp {p} {K[V]} { R
} {}
ein surjektiver
$K$-\definitionsverweis {Algebrahomomorphismus}{}{,}
der mit den Operationen von $G$
\definitionsverweis {verträglich}{}{}
ist. Zu einem invarianten Element
\mathl{f \in R^G}{} gibt es ein
\mathl{h \in K[V]}{,} das auf $f$ abbildet. Wiederum nach
Lemma 31.2
gibt es einen endlichdimensionalen $G$-invarianten Untervektorraum
\mathl{U \subseteq K[V]}{} mit
\mathl{h \in U}{.} Dann ist
\mathl{f \in p(U)}{} ebenfalls $G$-invariant und nach
Aufgabe 31.5,
angewandt auf
\maabbdisp {p{{|}}_U} {U} {p(U)
} {}
gibt es auch ein $G$-invariantes
\mathl{h'\in K[V]}{,} das auf $f$ abbildet. Es ist also
\maabbdisp {} {K[V]^G} {R^G
} {}
ebenfalls surjektiv. Nach
Satz 31.4
ist
\mathl{K[V]^G}{} und somit $R^G$ endlich erzeugt.
| << | Kurs:Invariantentheorie (Osnabrück 2012-2013) | >> |
|---|