Kurs:Invariantentheorie (Osnabrück 2012-2013)/Vorlesung 5/latex
\setcounter{section}{5}
\zwischenueberschrift{Invariantenringe zu Untergruppen}
\inputfaktbeweis
{Invariantenring/Untergruppe/Fakt}
{Proposition}
{}
{
\faktsituation {Es sei
\maabb {} {R \times G } { R
} {}
eine
\definitionsverweis {Operation}{}{}
einer
\definitionsverweis {Gruppe}{}{}
$G$ auf einem
\definitionsverweis {kommutativen Ring}{}{}
durch
\definitionsverweis {Ringautomorphismen}{}{.}
Sei
\mavergleichskette
{\vergleichskette
{H
}
{ \subseteq }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {Untergruppe}{}{.}}
\faktuebergang {Dann gelten folgende Aussagen.}
\faktfolgerung {\aufzaehlungdrei{
\mavergleichskette
{\vergleichskette
{R^G
}
{ \subseteq }{ R^H
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Sind
\mathkor {} {H_1} {und} {H_2} {}
Untergruppen in $G$ mit
\mavergleichskette
{\vergleichskette
{G
}
{ = }{H_1\cdot H_2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
so ist
\mavergleichskettedisp
{\vergleichskette
{ R^{H_1}\cap R^{H_2}
}
{ =} {R^G
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Ist $H$ ein
\definitionsverweis {Normalteiler}{}{}
in $G$, so operiert die
\definitionsverweis {Restklassengruppe}{}{}
\mathl{G/H}{} auf
\mathl{R^H}{} durch
\mavergleichskettedisp
{\vergleichskette
{ f [\sigma]
}
{ \defeq} { f \sigma
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dabei ist
\mavergleichskettedisp
{\vergleichskette
{ R^G
}
{ =} { { \left( R^H \right) }^{G/H}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}}
\faktzusatz {}
\faktzusatz {}
}
{
\teilbeweis {}{}{}
{(1) ist klar.}
{}
\teilbeweis {}{}{}
{(2). Die Voraussetzung bedeutet, dass man
\mavergleichskette
{\vergleichskette
{ \sigma
}
{ = }{ \prod_{i = 1 }^n \sigma_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit gewissen
\mathl{\sigma_i \in H_1}{} oder
\mathl{\sigma_i \in H_2}{} schreiben kann.
Die Inklusion $\supseteq$ ist nach (1) klar. Die Inklusion $\subseteq$ ist wegen
\mavergleichskettedisp
{\vergleichskette
{ f \sigma
}
{ =} { f \prod_{i = 1 }^n \sigma_i
}
{ =} { f \sigma_1 \prod_{i = 2 }^n \sigma_i
}
{ =} { f \prod_{i = 2 }^n \sigma_i
}
{ =} { f
}
}
{}{}{}
klar.}
{}
\teilbeweis {}{}{}
{(3). Die Operation ist zunächst wohldefiniert, d.h. unabhängig vom Repräsentanten. Es seien dazu
\mathl{\sigma, \sigma' \in G}{} gegeben mit
\mathl{\sigma' \sigma^{-1} \in H}{.} Dann ist
\mavergleichskettedisp
{\vergleichskette
{ f \sigma'
}
{ =} { f \sigma' \sigma^{-1} \sigma
}
{ =} { f \sigma
}
{ } {
}
{ } {
}
}
{}{}{.}
Wegen der Normalteilereigenschaft gibt es für
\mathl{\sigma \in G}{} und
\mathl{\tau \in H}{} ein
\mathl{\tau' \in H}{} mit
\mavergleichskette
{\vergleichskette
{ \sigma \tau
}
{ = }{ \tau' \sigma
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Für
\mathl{f \in R^H}{} ist
\mavergleichskettedisp
{\vergleichskette
{ (f \sigma) \tau
}
{ =} { f \tau' \sigma
}
{ =} { f \sigma
}
{ } {
}
{ } {
}
}
{}{}{}
und somit gehört $f \sigma$ ebenfalls zu $R^H$. Wir haben also eine Abbildung
\maabbdisp {} {R^H \times G} {R^H
} {.}
Diese Abbildung ist in der Tat eine Gruppenoperation. Das neutrale Element wirkt identisch und die Assoziativität ergibt sich aus
\mavergleichskettedisp
{\vergleichskette
{ f ([\sigma ][ \tau])
}
{ =} { f [ \sigma \tau ]
}
{ =} { f (\sigma \tau )
}
{ =} { (f \sigma) \tau
}
{ =} { (f [ \sigma]) \tau
}
}
{
\vergleichskettefortsetzung
{ =} { (f [\sigma]) [\tau]
}
{ } {}
{ } {}
{ } {}
}{}{.}
Es liegt also eine Operation von $G$ auf $R^H$ vor, und da die Elemente
\mathl{\sigma\in H}{} identisch wirken, induziert dies eine Operation von
\mathl{G/H}{} auf $R^H$. Bei den Abbildungen
\mathl{f \mapsto f \sigma}{} handelt es sich um Ringautomorphismen, da es sich um Einschränkungen von Ringautomorphismen auf $R$ handelt, wobei sich die Surjektivität aus der Existenz von $\sigma^{-1}$ ergibt.
Wir kommen zur Gleichheit
\mavergleichskettedisp
{\vergleichskette
{ R^G
}
{ =} { { \left( R^H \right) }^{G/H}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Zum Beweis der Inklusion $\subseteq$ sei
\mathl{f\in R^G}{.} Dann ist insbesondere
\mathl{f\in R^H}{.} Wegen
\mavergleichskette
{\vergleichskette
{ f [\sigma]
}
{ = }{ f \sigma
}
{ = }{ f
}
{ }{
}
{ }{
}
}
{}{}{}
ist $f$ auch
\mathl{G/H}{-} invariant. Zum Beweis der Inklusion $\supseteq$ sei
\mavergleichskette
{\vergleichskette
{f
}
{ \in }{{ \left( R^H \right) }^{G/H}
}
{ \subseteq }{R^H
}
{ }{
}
{ }{
}
}
{}{}{.}
Doch dann ist für
\mathl{\sigma \in G}{} wiederum
\mavergleichskette
{\vergleichskette
{ f \sigma
}
{ = }{ f [\sigma ]
}
{ = }{ f
}
{ }{
}
{ }{
}
}
{}{}{.}}
{}
\inputfaktbeweis
{Invariantenring/Konjugierte Untergruppen/Isomorph/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei
\maabbdisp {} {R \times G } {R
} {}
eine
\definitionsverweis {Operation}{}{}
einer
\definitionsverweis {Gruppe}{}{}
$G$ auf einem
\definitionsverweis {kommutativen Ring}{}{}
$R$ durch
\definitionsverweis {Ring\-automorphismen}{}{.}
Es seien
\mavergleichskette
{\vergleichskette
{ H, H'
}
{ \subseteq }{ G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}}
\faktvoraussetzung {\definitionsverweis {konjugierte Untergruppen}{}{.}}
\faktfolgerung {Dann sind die
\definitionsverweis {Invariantenringe}{}{}
\mathkor {} {R^H} {und} {R^{H'}} {}
in natürlicher Weise
\definitionsverweis {isomorph}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Die beiden Untergruppen seien vermöge
\mathl{\tau \in G}{} zueinander konjugiert, d.h. die Abbildung
\maabbeledisp {} {H} {H'
} {\sigma} {\tau^{-1} \sigma \tau
} {,}
sei ein
\definitionsverweis {Gruppenisomorphismus}{}{.}
Wir betrachten den zu $\tau$ gehörenden Ringautomorphismus
\maabbeledisp {} {R} {R
} {f} { f \tau
} {.}
Für
\mathl{f \in R^H}{} und
\mathl{\sigma' \in H'}{} mit
\mavergleichskette
{\vergleichskette
{\sigma'
}
{ = }{ \tau^{-1} \sigma \tau
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskettedisp
{\vergleichskette
{(f \tau) \sigma'
}
{ =} { (f \tau) ( \tau^{-1} \sigma \tau)
}
{ =} { f \sigma \tau
}
{ =} { f \tau
}
{ } {
}
}
{}{}{,}
also liegt das Bild in
\mathl{R^{H'}}{.} Da man die Rollen von $H$ und $H'$ vertauschen kann, liegt ein Isomorphismus vor.
\zwischenueberschrift{Polynomiale Dreiecksinvarianten}
\inputbeispiel{}
{
Wir betrachten die Menge der Dreiecke, aufgefasst mit der Operation der Kongruenzabbildungen, siehe
Beispiel 1.1.
Die Vektoren
\mathl{v \in \R^2}{} fasst man als Verschiebungen $T_v$ und damit als Kongruenzabbildungen auf. Mit einer beliebigen Kongruenz $\varphi$ besteht die Beziehung
\mavergleichskette
{\vergleichskette
{ \varphi \circ T_v
}
{ = }{ T_{ \varphi (v) } \circ \varphi
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Daher bilden die Verschiebungen einen Normalteiler in der Kongruenzgruppe $G$
\zusatzklammer {der uneigentlichen affinen Isometriegruppe} {} {.}
Nach
Proposition 5.1
kann man den Invariantenring
\mathl{\R[X_1,Y_1,X_2,Y_2,X_3,Y_3]^G}{} sukzessive berechnen. Unter der Untergruppe $V$ der Verschiebungen ist der Invariantenring offenbar gleich
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ \R[X_1,Y_1,X_2,Y_2,X_3,Y_3]^V
}
{ =} { \R[X_1-X_3,Y_1-Y_3,X_2-X_3,Y_2-Y_3]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dieser Übergang entspricht geometrisch der Verschiebung des dritten Eckpunktes in den Nullpunkt. Die Operation der Restklassengruppe, die ja die uneigentliche Drehgruppe ist, auf diesem Polynomring in vier Variablen
\zusatzklammer {die wir jetzt
\mathl{U_1,V_1,U_2,V_2}{} nennen} {} {}
rührt von der natürlichen
\zusatzklammer {und
\definitionsverweis {linearen}{}{}} {} {}
Operation der Drehgruppe auf dem $\R^2$ her. Die Determinante induziert einen surjektiven Gruppenhomomorphismus
\maabbdisp {} { \operatorname{O}_{ 2 } \! { \left( \R \right) } } { \{ 1,-1 \}
} {,}
deren
\definitionsverweis {Kern}{}{}
die eigentliche Drehgruppe
\mathl{\operatorname{SO}_{ 2 } \! { \left( \R \right) }}{} ist
\zusatzklammer {das Urbild von $-1$ bilden die \stichwort {Drehspiegelungen} {}} {} {.}
Daher gibt es eine natürliche Operation der
\mathl{\Z/(2)}{} auf
\mathdisp {\R[U_1,V_1,U_2,V_2]^{ \operatorname{SO}_{ 2 } \! { \left( \R \right) } }} { , }
und man sollte zuerst diesen Invariantenring ausrechnen. Aufgrund der geometrischen Interpretation
\zusatzklammer {die drei Quadrate der Längen des Dreiecks, das Skalarprodukt der Seiten am Nullpunkt, der orientierte Flächeninhalt
\zusatzklammer {bis auf Skalierung} {} {}} {} {}
müssen
\mathdisp {U_1^2+V_1^2,\, U_2^2+V_2^2,\, { \left( U_1-U_2 \right) }^2+ { \left( V_1- V_2 \right) }^2, \, U_1U_2+V_1V_2,\, U_1V_2-U_2V_1} { }
invariante Polynome sein, was man auch direkt durch Rechnungen bestätigen kann. Das Skalarprodukt ist dabei unmittelbar mit den ersten drei Längenquadraten polynomial ausdrückbar.
Da die drei Längen zwar die unorientierte Kongruenzklasse des Dreiecks bestimmen, es zu einem
\zusatzklammer {nicht entarteten} {} {}
Längentripel aber zwei entgegengesetzt orientierte Dreiecke gibt, muss es ein weiteres
\mathl{\operatorname{SO}_{ 2 } \! { \left( \R \right) }}{-}invariantes Polynom geben, das aber nicht
\mathl{\operatorname{O}_{ 2 } \! { \left( \R \right) }}{-}invariant ist, sondern Orientierungswechsel respektiert. Die Orientierung ist am fünften Polynom, der Determinante, ablesbar. Die drei Längenquadrate und die Determinante bestimmen die orientierte Kongruenzklasse des Dreiecks eindeutig, somit repräsentieren diese vier Funktionen die Quotientenabbildung. Das Quadrat der Determinante kann man als Polynom in den Längenquadraten ausdrücken
\zusatzklammer {beispielsweise ausgehend von der \stichwort {Heronschen Flächenformel} {}} {} {.}
}
\inputfaktbeweis
{Drehgruppe auf R^2/Zwei Punkte/Invariantenring/Fakt}
{Lemma}
{}
{
\faktsituation {Die
\definitionsverweis {Drehgruppe}{}{}
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{SO}_{2}\,(\R)
}
{ =} { { \left\{ \begin{pmatrix}
\operatorname{cos} \, \alpha & - \operatorname{sin} \, \alpha \\
\operatorname{sin} \, \alpha & \operatorname{cos} \,\alpha
\end{pmatrix} \mid \alpha \in [0 , 2 \pi) \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\definitionsverweis {operiere linear}{}{}
und
\definitionsverweis {simultan}{}{}
auf dem
\mavergleichskette
{\vergleichskette
{\R^4
}
{ = }{\R^2 \times \R^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktfolgerung {Dann ist der
\definitionsverweis {Invariantenring}{}{}
der zugehörigen Operation auf dem Polynomring
\mathl{\R [U_1,V_1,U_2,V_2]}{} gleich
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ \R [U_1,V_1,U_2,V_2]^{ \operatorname{SO}_{2}\,(\R) }
}
{ =} { \R [ U_1^2+V_1^2,U_2^2+V_2^2, U_1U_2+V_1V_2 , U_1V_2-U_2V_1 ]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dabei sind die ersten drei Erzeuger
\definitionsverweis {algebraisch unabhängig}{}{,}
und das Quadrat von
\mathl{U_1V_2-U_2V_1}{} lässt sich durch die ersten drei Erzeuger ausdrücken.}
\faktzusatz {}
\faktzusatz {}
}
{
Die Invarianz der angegebenen Polynome sowie ihre inhaltliche Bedeutung wurden schon in
Beispiel 5.3
bemerkt. Wir betrachten die Erweiterung
\mavergleichskettedisp
{\vergleichskette
{ \R [U_1,V_1,U_2,V_2]
}
{ \subset} { {\mathbb C} [U_1,V_1,U_2,V_2]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die angegebene Operation der
\mathl{\operatorname{SO}_{ 2 } \! { \left( \R \right) }}{} auf dem reellen Polynomring lässt sich direkt auf den komplexen Polynomring fortsetzen, da das Gruppenelement
\mavergleichskettedisp
{\vergleichskette
{ \sigma
}
{ =} { \begin{pmatrix}
\operatorname{cos} \, \alpha & - \operatorname{sin} \, \alpha \\
\operatorname{sin} \, \alpha & \operatorname{cos} \,\alpha
\end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
durch
\mathl{U_i \mapsto \cos \alpha U_i - \sin \alpha V_i}{} etc. wirkt, und diese Ringhomomorphismen reell oder komplex aufgefasst werden können\zusatzfussnote {Die operierende Gruppe wird also nicht komplexifiziert} {.} {.}
Ein Polynom
\mathl{F \in \R [U_1,V_1,U_2,V_2]}{} ist genau dann invariant, wenn es aufgefasst in ${\mathbb C} [U_1,V_1,U_2,V_2]$ invariant ist. Wir führen neue komplexe Variablen ein, nämlich
\mathdisp {W_1 =U_1 + { \mathrm i} V_1,\, Z_1 =U_1 - { \mathrm i} V_1,\, W_2 =U_2 + { \mathrm i} V_2,\, Z_2 = U_2 - { \mathrm i} V_2} { . }
Es bestehen die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ W_1 Z_1
}
{ =} { { \left( U_1 + { \mathrm i} V_1 \right) } { \left( U_1- { \mathrm i} V_1 \right) }
}
{ =} { U_1^2+V_1^2
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{ W_2 Z_2
}
{ =} { { \left( U_2 +V_2 \right) } { \left( U_2 - { \mathrm i} V_2 \right) }
}
{ =} {U_2^2+V_2^2
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{ W_1 Z_2
}
{ =} { { \left( U_1 + { \mathrm i}V_1 \right) } { \left( U_2 - { \mathrm i}V_2 \right) }
}
{ =} { U_1U_2 +V_1V_2 - i { \left( U_1V_2 - U_2V_1 \right) }
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ W_2 Z_1
}
{ =} { { \left( U_2 + { \mathrm i}V_2 \right) } { \left( U_1 - { \mathrm i}V_1 \right) }
}
{ =} { U_1U_2 + V_1V_2 + i { \left( U_1V_2 -U_2V_1 \right) }
}
{ } {
}
{ } {
}
}
{}{}{.}
Die beiden letzten Gleichungen zeigen, dass sich umgekehrt auch
\mathkor {} {U_1U_2 +V_1V_2} {und} {U_1V_2 - U_2V_1} {}
durch
\mathkor {} {W_1 Z_2} {und} {W_2 Z_1} {}
ausdrücken lassen. Die beiden Systeme erzeugen also die gleiche
${\mathbb C}$-\definitionsverweis {Unteralgebra}{}{}
von
\mavergleichskettedisp
{\vergleichskette
{ {\mathbb C} [U_1,V_1,U_2,V_2]
}
{ \cong} { {\mathbb C} [W_1,Z_1,W_2,Z_2]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wir schreiben die Elemente der operierenden Gruppe als
\mavergleichskettedisp
{\vergleichskette
{ \sigma
}
{ =} { \begin{pmatrix}
\operatorname{cos} \, \alpha & - \operatorname{sin} \, \alpha \\
\operatorname{sin} \, \alpha & \operatorname{cos} \,\alpha
\end{pmatrix}
}
{ =} { \cos \alpha + { \mathrm i} \sin \alpha
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei wir die Drehgruppe mit den komplexen Zahlen vom Betrag $1$
\zusatzklammer {zusammen mit der komplexen Multiplikation} {} {}
identifizieren. Die Operation wird dann zu
\zusatzklammer {$\bullet$ bezeichne die aus dem Reellen fortgesetzte Operation und $\cdot$ die komplexe Multiplikation} {} {}
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ W_1 \bullet \sigma
}
{ =} { { \left( U_1+ { \mathrm i}V_1 \right) } \bullet \sigma
}
{ =} { { \left( \cos \alpha \right) } U_1 - { \left( \sin \alpha \right) } V_1 + { \mathrm i} { \left( { \left( \sin \alpha \right) } U_1 + { \left( \cos \alpha \right) } V_1 \right) }
}
{ =} { { \left( U_1+ { \mathrm i} V_1 \right) } { \left( \cos \alpha + { \mathrm i} \sin \alpha \right) }
}
{ =} { W_1 \cdot \sigma
}
}
{}
{}{}
\zusatzklammer {ebenso für $W_2$} {} {}
und
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ Z_1 \bullet \sigma
}
{ =} { { \left( U_1- { \mathrm i}V_1 \right) } \bullet \sigma
}
{ =} { { \left( \cos \alpha \right) } U_1 - { \left( \sin \alpha \right) } V_1 - { \mathrm i} { \left( { \left( \sin \alpha \right) } U_1 + { \left( \cos \alpha \right) } V_1 \right) }
}
{ =} { { \left( U_1- { \mathrm i}V_1 \right) } { \left( \cos \alpha - { \mathrm i} \sin \alpha \right) }
}
{ =} { Z_1 \cdot \sigma^{-1}
}
}
{}
{}{}
\zusatzklammer {ebenso für $Z_2$} {} {.}
Wir betrachten auf
\mathl{{\mathbb C}[W_1,Z_1,W_2,Z_2]}{} die\zusatzfussnote {Wir werden Graduierungen mit einer beliebigen graduierenden Gruppe und die zugehörige Operation der Charaktergruppe in der siebten Vorlesung besprechen} {.} {}
$\Z$-\definitionsverweis {Graduierung}{}{,}
bei der
\mathl{W_1,W_2}{} den Grad $1$ und
\mathl{Z_1,Z_2}{} den Grad $-1$ bekommen. Die Operation der Gruppe ist
\definitionsverweis {homogen}{}{}
bezüglich dieser Graduierung. Daher ist der Invariantenring ein graduierter Unterring. Auf der $d$-ten Stufe des Ringes ist die Operation für
\mathl{t \in S^1 \subset {\mathbb C}^{\times}}{} durch
\mathl{H \mapsto t^d H}{} gegeben. Für
\mavergleichskette
{\vergleichskette
{d
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist dies die Identität, sodass die $0$-te Stufe invariant ist. Für
\mavergleichskette
{\vergleichskette
{d
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es
\mathl{t \in S^1}{} mit
\mathl{t^d \neq 1}{,} sodass es außer $0$ keine weiteren invarianten Polynome gibt. Der Invariantenring ist also die $0$-te Stufe. Diese besteht aus Linearkombinationen von Monomen der $0$-ten Stufe, und ein Monom vom nullten Grad muss ein Produkt der Elemente
\mathl{W_iZ_j}{} sein. Der Invariantenring ist also
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ {\mathbb C} [W_1,Z_1,W_2,Z_2]^{ \operatorname{SO}_{ 2 } \! { \left( \R \right) } }
}
{ =} { {\mathbb C} [ W_1Z_1,W_1Z_2,W_2Z_1,W_2Z_2]
}
{ =} { {\mathbb C} [ U_1^2+V_1^2,U_2^2+V_2^2, U_1U_2+V_1V_2 , U_1V_2-U_2V_1 ]
}
{ } {
}
{ } {
}
}
{}
{}{.}
Wir kehren zur reellen Situation zurück. Es sei
\mathl{F \in \R[U_1,V_1,U_2,V_2]}{} ein invariantes Polynom. Dann gibt es ein komplexes Polynom $P$ in vier Variablen mit
\mavergleichskettedisp
{\vergleichskette
{F
}
{ =} {P( U_1^2+V_1^2,U_2^2+V_2^2, U_1U_2+V_1V_2 , U_1V_2-U_2V_1 )
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Mit Hilfe der
\definitionsverweis {komplexen Konjugation}{}{}
sieht man, dass es auch ein reelles Polynom mit dieser Eigenschaft geben muss. Daher gilt für den reellen Invariantenring
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ \R [U_1,V_1,U_2,V_2]^{ \operatorname{SO}_{ 2 } \! { \left( \R \right) } }
}
{ =} { \R [ U_1^2+V_1^2,U_2^2+V_2^2, U_1U_2+V_1V_2 , U_1V_2-U_2V_1 ]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Für den Zusatz siehe
Aufgabe 5.4.
Der folgende Satz ist die polynomial-invariantentheoretische Version der Aussage, dass die Kongruenzklasse eines Dreiecks durch die drei Seitenlängen
\zusatzklammer {SSS} {} {} bzw. einen Winkel und zwei anliegende Seitenlängen
\zusatzklammer {SWS} {} {} festgelegt ist. Aufgrund dieses elementar-geometrischen Satzes weiß man, dass man jede Invariante der Kongruenzklasse eines Dreiecks \anfuehrung{irgendwie}{} als eine Funktion der drei Längen ausdrücken kann. Daraus folgt aber keineswegs automatisch, dass man eine polynomiale Invariante auch polynomial ausdrücken kann.
\inputfaktbeweis
{Geordnete Dreiecke/Kongruenzen/Invariantenring/Fakt}
{Satz}
{}
{
\faktsituation {Die
\definitionsverweis {orthogonale Gruppe}{}{}
\mathl{\operatorname{O}_{ 2 } \! { \left( \R \right) }}{}
\zusatzklammer {der Drehungen und der Drehspiegelungen} {} {}
\definitionsverweis {operiere linear}{}{} und
\definitionsverweis {simultan}{}{} auf dem
\mavergleichskettedisp
{\vergleichskette
{\R^4
}
{ =} {\R^2 \times \R^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktfolgerung {Dann ist der
\definitionsverweis {Invariantenring}{}{}
der zugehörigen Operation auf dem Polynomring
\mathl{\R [U_1,V_1,U_2,V_2]}{} gleich
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ \R [U_1,V_1,U_2,V_2]^{ \operatorname{O}_{ 2 } \! { \left( \R \right) } }
}
{ =} { \R [ U_1^2+V_1^2,U_2^2+V_2^2, U_1U_2+V_1V_2 ]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die drei Erzeuger sind dabei
\definitionsverweis {algebraisch unabhängig}{}{.}}
\faktzusatz {Jede polynomiale Invariante eines
\zusatzklammer {nummerierten} {} {}
Dreieckes lässt sich polynomial in den drei Seitenquadraten ausdrücken.}
\faktzusatz {}
}
{
Wie in
Beispiel 5.3
erwähnt, gibt es eine
\definitionsverweis {kurze exakte Sequenz}{}{}
\mathdisp {1 \longrightarrow \operatorname{SO}_{ 2 } \! { \left( \R \right) } \longrightarrow \operatorname{O}_{ 2 } \! { \left( \R \right) } \longrightarrow \{1,-1\} \longrightarrow 1} { . }
Wir können daher
aufgrund von Proposition 5.1
den Invariantenring
\mathdisp {\R [U_1,V_1,U_2,V_2]^{ \operatorname{O}_{ 2 } \! { \left( \R \right) } }} { }
aus dem Invariantenring zu
\mathdisp {\R [U_1,V_1,U_2,V_2]^{ \operatorname{SO}_{ 2 } \! { \left( \R \right) } }} { }
ausrechnen, der in
Lemma 5.4
zu
\mathdisp {B= \R [ U_1^2+V_1^2,U_2^2+V_2^2, U_1U_2+V_1V_2 , U_1V_2-U_2V_1 ]} { }
bestimmt wurde. Das nichttriviale Element der Restklassengruppe
\mathl{\{1,-1\}}{} wirkt auf $B$ durch einen beliebigen Repräsentanten, beispielsweise durch die Spiegelung
\mathl{\begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix}}{.} Der zugehörige Ringautomorphismus lässt
\mathl{U_1,U_2}{} unverändert und schickt
\mathl{V_1,V_2}{} auf ihr Negatives. Unter dieser Abbildung sind die drei vorderen Erzeuger invariant und der hintere Erzeuger wird auf sein Negatives abgebildet. Da das Quadrat des vierten Erzeugers zu
\mathl{A= \R [ U_1^2+V_1^2,U_2^2+V_2^2, U_1U_2+V_1V_2 ]}{} gehört, liegt eine Operation auf einem Ring der Form
\mathl{A[X]/(X^2-a)}{} durch
\mathl{X \leftrightarrow -X}{} vor. In einem solchen Fall ist $A$ der Invariantenring.
\zwischenueberschrift{Quotientenkörper von Invariantenringen}
\inputfaktbeweis
{Gruppenoperation/Integritätsbereich/Fundamentale Eigenschaften/Fakt}
{Proposition}
{}
{
\faktsituation {Es sei $G$ eine
\definitionsverweis {Gruppe}{}{,}
die auf einem
\definitionsverweis {Integritätsbereich}{}{}
$R$ als Gruppe von
\definitionsverweis {Ringautomorphismen}{}{}
\definitionsverweis {operiere}{}{.}}
\faktuebergang {Dann gelten folgende Eigenschaften.}
\faktfolgerung {\aufzaehlungvier{Der
\definitionsverweis {Invariantenring}{}{}
$R^G$ ist ein Integritätsbereich.
}{Die Operation induziert eine Operation von $G$ auf dem Quotientenkörper
\mathl{Q(R)}{} als Gruppe von
\definitionsverweis {Körperautomorphismen}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{ Q { \left( R^G \right) }
}
{ \subseteq }{ (Q(R))^G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskettedisp
{\vergleichskette
{R \cap (Q(R))^G
}
{ =} {R^G
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}}
\faktzusatz {}
\faktzusatz {}
}
{
\teilbeweis {}{}{}
{(1) ist wegen
\mavergleichskette
{\vergleichskette
{R^G
}
{ \subseteq }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
klar.}
{}
\teilbeweis {}{}{}
{(2). Es sei
\mavergleichskette
{\vergleichskette
{K
}
{ = }{Q(R)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
der
\definitionsverweis {Quotientenkörper}{}{}
von $R$. Zu jedem
\mavergleichskette
{\vergleichskette
{\sigma
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
setzt sich der
\definitionsverweis {Ringautomorphismus}{}{}
\mathl{f \mapsto f \sigma}{}
aufgrund der universellen Eigenschaft der Nenneraufnahme
zu einem
\definitionsverweis {Körperautomorphismus}{}{}
\mathl{{ \frac{ f }{ g } } \mapsto { \frac{ f \sigma }{ g \sigma } }}{} fort.}
{}
\teilbeweis {}{}{}
{(3). Ein Element aus dem Quotientenkörper
\mathl{Q { \left( R^G \right) }}{} hat die Form
\mathl{{ \frac{ f }{ g } }}{} mit invarianten Elementen
\mavergleichskette
{\vergleichskette
{f,g
}
{ \in }{ R^G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Es ist also insbesondere invariant unter der induzierten Operation auf $K$. Daher gilt
\mavergleichskette
{\vergleichskette
{ Q { \left( R^G \right) }
}
{ \subseteq }{ (Q(R))^G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
{}
\teilbeweis {}{}{}
{(4). Die Inklusion
\mavergleichskette
{\vergleichskette
{R^G
}
{ \subseteq }{ R \cap Q(R)^G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist direkt klar. Die andere Inklusion ergibt sich, da die Operation von $G$ auf
\mathl{Q(R)}{} eingeschränkt auf $R$ die ursprüngliche Operation ist. Wenn also
\mavergleichskette
{\vergleichskette
{f
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist und aufgefasst in
\mathl{Q(R)}{} invariant ist, so ist es überhaupt invariant.}
{}
\inputbemerkung
{}
{
Mit
Proposition 5.6
hängt die Invariantentheorie von Integritätsbereichen eng mit der Galoistheorie des Quotientenkörpers zusammen. In der Situation des Satzes ist bei endlichem $G$ die Körpererweiterung
\mathl{K^G \subseteq K}{}
eine
\definitionsverweis {Galoiserweiterung}{}{,}
wie aus dem
Satz von Artin folgt. $K^G$ ist ja gerade der
\definitionsverweis {Fixring}{}{} unter den Körperautomorphismen zu $G$. Die Untergruppen
\mathl{H \subseteq G}{} liefern
\definitionsverweis {Zwischenkörper}{}{}
\mavergleichskette
{\vergleichskette
{ K^G
}
{ \subseteq }{ M
}
{ = }{K^H
}
{ \subseteq }{K
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ M \cap R
}
{ = }{R^H
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist der zugehörige Zwischenring
\zusatzklammer {man darf aber nicht erwarten, dass es eine bijektive Korrespondenz zwischen Zwischenringen und Untergruppen gibt} {} {.}
Häufig besitzen Aussagen der Invariantentheorie stärkere Analoga aus der Galoistheorie. Zu
Proposition 5.1 (3)
vergleiche man etwa die Rückrichtung von
Satz 16.4 (Körper- und Galoistheorie (Osnabrück 2011)) (1).
Es gibt aber auch erhebliche Unterschiede zwischen Invariantentheorie und Galoistheorie. Beispielsweise geht man in der klassischen Galoistheorie eher von einem Grundkörper $K$ aus und untersucht Körpererweiterungen
\mavergleichskette
{\vergleichskette
{ K
}
{ \subseteq }{ L
}
{ }{
}
{ }{}
{ }{}
}
{}{}{}
zusammen mit der
$K$-\definitionsverweis {Automorphismengruppe}{}{,} während man in der klassischen Invariantentheorie eher mit dem Erweiterungsring anfängt und versucht, die Fixringe zu einer gewissen Operation zu bestimmen. Auch in der Invariantentheorie wird häufig ein Grundkörper $k$ vorausgesetzt, doch tritt dieser kaum als Invariantenring auf, sondern übernimmt die Rolle, dass alle beteiligten Ringe $k$-Algebren über diesem Körper und alle Ringhomomorphismen $k$-Algebrahomomorphismen sind. Beispielsweise ist die Bestimmung von Invariantenringen zum Polynomring
\mathl{k[X_1 , \ldots , X_n]}{} zu
\zusatzklammer {linearen} {} {}
Gruppenoperationen schon ein riesiges Teilgebiet der Invariantentheorie.
}
Bei einer endlichen Gruppe gilt in Proposition 5.6 (3) sogar Gleichheit, wie die folgende Aussage zeigt.
\inputfaktbeweis
{Endliche Gruppe/Operation auf Integritätsbereich/Quotientenkörper/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $G$ eine
\definitionsverweis {endliche Gruppe}{}{,} die auf einem
\definitionsverweis {Integritätsbereich}{}{} als Gruppe von
\definitionsverweis {Ringautomorphismen}{}{} operiere.}
\faktfolgerung {Dann ist
\mavergleichskettedisp
{\vergleichskette
{Q { \left( R^G \right) }
}
{ =} {(Q(R))^G
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Die Inklusion
\mavergleichskette
{\vergleichskette
{ Q { \left( R^G \right) }
}
{ \subseteq }{ (Q(R))^G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt
nach Proposition 5.6 (3)
für jede Gruppe. Zum Beweis der Umkehrung seien
\mathbed {f,g \in R} {}
{g \neq 0} {}
{} {} {} {,}
mit
\mavergleichskette
{\vergleichskette
{ { \frac{ f }{ g } }
}
{ \in }{ (Q(R))^G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegeben. Wir betrachten
\mavergleichskettedisp
{\vergleichskette
{h
}
{ =} { \prod_{\sigma \in G,\, \sigma \neq e_G} g \sigma
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dann gelten in
\mathl{Q(R)}{} die Identitäten
\mavergleichskettealign
{\vergleichskettealign
{ { \frac{ f }{ g } }
}
{ =} { { \frac{ hf }{ hg } }
}
{ =} { { \frac{ h f }{ { \left( \prod_{\sigma \in G,\, \sigma \neq e_G} g \sigma \right) } g } }
}
{ =} { { \frac{ hf }{ \prod_{\sigma \in G } g \sigma } }
}
{ } {
}
}
{}
{}{.}
Nach Voraussetzung ist der Bruch und in dieser Darstellung offenbar auch der Nenner
\zusatzklammer {siehe
Aufgabe *****} {} {}
invariant. Also muss auch der Zähler invariant sein und somit ist
\mavergleichskette
{\vergleichskette
{ { \frac{ f }{ g } }
}
{ \in }{ { \left( R^G \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
\inputbeispiel{}
{
Es sei $K$ ein unendlicher
\definitionsverweis {Körper}{}{.}
Wir betrachten auf
\mavergleichskette
{\vergleichskette
{R
}
{ = }{K[X,Y]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{} die
\definitionsverweis {Operation}{}{}
von $K^{\times}$ durch skalare Multiplikation. Zu
\mathl{\lambda \in K^{\times}}{} gehört also der durch
\mathl{X \mapsto \lambda X,\, Y \mapsto \lambda Y}{} gegebene
$K$-\definitionsverweis {Algebrahomomorphismus}{}{.}
Der Invariantenring dazu ist $K$, also ein Körper. Der Quotientenkörper von
\mathl{K[X,Y]}{} ist der
\definitionsverweis {Funktionenkörper}{}{}
\mathl{K(X,Y)}{} in zwei Variablen. Sein Invariantenring unter der Operation ist
\mathl{K { \left( { \frac{ X }{ Y } } \right) }}{,} also der Funktionenkörper in einer Variablen. In dieser Situation gilt also
\mavergleichskettedisp
{\vergleichskette
{ Q { \left( R^G \right) }
}
{ \neq} { ( Q(R))^G
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
| << | Kurs:Invariantentheorie (Osnabrück 2012-2013) | >> |
|---|