Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 8/latex
\setcounter{section}{8}
Wir möchten typische Methoden beschreiben, mit denen man die Invariantenringe zu den Operationen der endlichen Untergruppen der speziellen linearen Gruppe berechnen kann. Berechnen heißt, invariante Polynome zu finden, davon ein endliches Algebraerzeugendensysem auszuwählen und Relationen zwischen diesen Erzeugern zu finden. Eine typische Besonderheit der speziellen Quotientensingularitäten in der Dimension zwei ist, dass sie sich mit einer einzigen Gleichung in drei Variablen beschreiben lassen. Diese Gleichungen wollen wir im Folgenden bestimmen.
\zwischenueberschrift{Graduierungen}
\inputdefinition
{}
{
Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{} und $D$ eine
\definitionsverweis {kommutative Gruppe}{}{.}
Eine
$R$-\definitionsverweis {Algebra}{}{} $A$ heißt
\definitionswortpraemath {D}{ graduiert }{,}
wenn es eine
\definitionsverweis {direkte Summenzerlegung}{}{}
\mavergleichskettedisp
{\vergleichskette
{A
}
{ =} { \bigoplus_{d \in D} A_d
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
$R$-\definitionsverweis {Untermoduln}{}{}
$A_d$ gibt derart, dass
\mavergleichskette
{\vergleichskette
{R
}
{ \subseteq }{ A_0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist und für die Multiplikation auf $A$ die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ A_d \cdot A_e
}
{ \subseteq} {A_{d+e}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt.
}
\inputfaktbeweis
{Graduierter Ring/Körper/Endliche Gruppe/Einheitswurzeln/Invariantenring/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {Körper}{}{,} $D$ eine endliche
\definitionsverweis {kommutative Gruppe}{}{}
und $A$ eine
$D$-\definitionsverweis {graduierte}{}{}
\definitionsverweis {kommutative}{}{}
$K$-\definitionsverweis {Algebra}{}{.}}
\faktvoraussetzung {Der Körper enthalte hinreichend viele Einheitswurzeln, sodass die Charaktergruppe
\mavergleichskette
{\vergleichskette
{G
}
{ = }{ D^{ \vee }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
von $D$ isomorph zu $D$ sei.}
\faktfolgerung {Dann ist $A_0$ der
\definitionsverweis {Invariantenring}{}{}
unter der natürlichen Operation der
\definitionsverweis {Charaktergruppe}{}{}
$G$ auf $A$.}
\faktzusatz {}
\faktzusatz {}
}
{
Für ein Element
\mavergleichskette
{\vergleichskette
{f
}
{ \in }{ A_0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und einen beliebigen
\definitionsverweis {Charakter}{}{}
$\chi$ ist offenbar
\mavergleichskettedisp
{\vergleichskette
{\chi f
}
{ =} { \varphi_\chi (f)
}
{ =} { \chi(0) f
}
{ =} { f
}
{ } {
}
}
{}{}{,}
sodass
\mavergleichskette
{\vergleichskette
{A_0
}
{ \subseteq }{ A^G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. Da die Operation der Charaktergruppe homogen ist, sind die homogenen Komponenten eines invarianten Elements
\mavergleichskette
{\vergleichskette
{f
}
{ \in }{A^G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ebenfalls invariant. Sei
\mavergleichskette
{\vergleichskette
{f
}
{ \in }{A_d \cap A^G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{d
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Aufgrund der Voraussetzung über die Einheitswurzeln gibt es einen Charakter
\maabbdisp {\chi} {D} {K^\times
} {}
mit
\mavergleichskette
{\vergleichskette
{ \chi(d)
}
{ \neq }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist
\mavergleichskettedisp
{\vergleichskette
{\chi f
}
{ =} {\varphi_\chi(f)
}
{ =} { \chi(d) f
}
{ \neq} { f
}
{ } {
}
}
{}{}{,}
also sind solche Elemente nicht invariant.
\inputbeispiel{}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{,}
der eine primitive $n$-te
\definitionsverweis {Einheitswurzel}{}{}
$\xi$ enthalte. Wir betrachten die Untergruppe
\mavergleichskettedisp
{\vergleichskette
{G
}
{ =} { { \left\{ \begin{pmatrix} \zeta & 0 \\ 0 & \zeta^{-1} \end{pmatrix} \mid \zeta^n=1 \right\} }
}
{ \subseteq} { \operatorname{GL}_{ 2 } \! { \left( K \right) }
}
{ } {
}
{ } {
}
}
{}{}{}
und die zugehörige Operation auf $K^2$ bzw. auf
\mathl{K[U,V]}{.} Es handelt sich um eine
\definitionsverweis {zyklische Gruppe}{}{}
der Ordnung $n$, die von
\mavergleichskettedisp
{\vergleichskette
{g
}
{ =} { \begin{pmatrix} \xi & 0 \\ 0 & \xi^{-1} \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
erzeugt wird. Die Operation von $g$ auf
\mathl{K[U,V]}{} ist durch
\mathkor {} {U \mapsto \xi U} {und} {V \mapsto \xi^{-1} V} {}
gegeben. Offenbar sind
\mathdisp {X=U^n,\, Y=V^n,\, Z=UV} { }
\definitionsverweis {invariante Polynome}{}{} unter dieser Gruppenoperation, die in der Beziehung
\mavergleichskettedisp
{\vergleichskette
{ XY
}
{ =} {Z^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
stehen. Dass diese drei Invarianten den Invariantenring erzeugen, sieht man am besten, wenn man die Situation graduiert realisiert. Dazu sei der Polynomring
$\Z \times \Z$-\definitionsverweis {graduiert}{}{,}
wobei $U$ den Grad
\mathl{(1,0)}{} und $V$ den Grad
\mathl{(0,1)}{} besitze. Wir betrachten den
\definitionsverweis {Gruppenhomomorphismus}{}{}
\maabbeledisp {\delta} {\Z^2} { \Z/(n) \defeqr D
} {(a,b)} { a-b
} {,}
und die zugehörige $D$-Graduierung des Polynomringes. Wir identifizieren die
\definitionsverweis {Charaktergruppe}{}{}
\mathl{D^{ \vee }}{} mit der obigen Gruppe $G$, indem wir
\maabbdisp {\chi} {D} {K^\times
} {}
mit
\mathl{\begin{pmatrix} \chi(1) & 0 \\ 0 & \chi(-1) \end{pmatrix}}{} identifizieren. Bei dieser Identifizierung entspricht die obige explizite Operation von $G$ auf
\mathl{K[U,V]}{} der natürlichen Operation der Charaktergruppe
gemäß Lemma 12.15 (Körper- und Galoistheorie (Osnabrück 2018-2019)).
Nach Lemma 8.2
ist der Invariantenring unter der $G$-Operation gleich der neutralen Stufe unter der
$D$-\definitionsverweis {Graduierung}{}{.}
Der Kern von $\delta$ wird durch
\mathl{(n,0),(0,n),(1,1)}{} erzeugt. Die zugehörigen Stufen bilden somit den Invariantenring. Der Invariantenring ist also
\mathl{K[U^n,V^n,UV]}{.}
}
Die Ringe
\mavergleichskettedisp
{\vergleichskette
{K[U^n,V^n,UV]
}
{ \cong} { K[X,Y,Z] { \left( XY-Z^n \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
nennt man $A_{n-1}$-\stichwort {Singularitäten} {}
\zusatzklammer {man beachte die Indizierung} {} {!}
\zwischenueberschrift{Der Invariantenring der binären Diedergruppe}
Aufbauend auf die Berechnung des Invariantenringes zur zyklischen Gruppe können wir den Invariantenring zur den binären Diedergruppen
\mathl{BD_{m}}{} bestimmen.
\inputfaktbeweis
{Invariantenring/Untergruppe/Fakt}
{Lemma}
{}
{
\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
}
{ }{
}
{ }{
}
}
{}{}{.}}
{}
\inputbeispiel{}
{
Es sei
\mathl{m \in \N_+}{} und es sei $K$ ein Körper der
\definitionsverweis {Charakteristik}{}{}
$\neq 2$, der eine vierte
\definitionsverweis {primitive Einheitswurzel}{}{}
${ \mathrm i}$ und eine $2m$-te primitive Einheitswurzel
$\zeta$ enthalte. Wir betrachten die von den Matrizen
\mathdisp {A = \begin{pmatrix} \zeta & 0 \\ 0 & \zeta^{-1} \end{pmatrix} \text{ und } B = \begin{pmatrix} 0 & { \mathrm i} \\ { \mathrm i} & 0 \end{pmatrix}} { }
\definitionsverweis {erzeugte Untergruppe}{}{}
$G$
\zusatzklammer {die man auch als
\mathl{BD_{m}}{} bezeichnet} {} {}
der
\mathl{\operatorname{SL}_{ 2 } \! { \left( K \right) }}{} mit ihrer natürlichen Operation auf
\mavergleichskette
{\vergleichskette
{R
}
{ = }{K[U,V]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Es sei
\mavergleichskette
{\vergleichskette
{H
}
{ \subseteq }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die von $A$ erzeugte
\definitionsverweis {zyklische Untergruppe}{}{}
der Ordnung $2m$. Da $G$ die Ordnung $4m$ besitzt, ist $H$ ein
\definitionsverweis {Normalteiler}{}{}
in $G$. Daher können wir
mit Hilfe von Lemma 8.4 (3)
und
Beispiel 8.3
den Invariantenring
\mathl{K[U,V]^{G }}{} ausrechnen. Es ist ja
\mavergleichskettedisp
{\vergleichskette
{S
}
{ \defeq} {K[U,V]^{H}
}
{ =} {K[U^{2m},V^{2m}, UV]
}
{ =} {K[X,Y,Z]/ { \left( XY-Z^{2m} \right) }
}
{ } {}
}
{}{}{.}
Die Operation des nichttrivialen Elementes aus
\mavergleichskette
{\vergleichskette
{G/H
}
{ \cong }{ \Z/(2)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
auf diesem Invariantenring wird durch die Operation von $B$ auf
\mathl{K[U,V]}{} repräsentiert. Sie ist also durch
\mathkor {} {U \mapsto { \mathrm i} V} {und} {V \mapsto { \mathrm i} U} {}
gegeben und induziert
\mathdisp {X = U^{2m} \longmapsto { \mathrm i}^{2m} V^{2m} = \rho Y} { , }
\mathdisp {Y = V^{2m} \longmapsto { \mathrm i}^{2m} U^{2m} = \rho X} { , }
\mathdisp {Z = UV \longmapsto { \mathrm i}^{2} UV = - Z} { , }
wobei
\mavergleichskette
{\vergleichskette
{ \rho
}
{ = }{ \pm 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, je nachdem, ob $m$ gerade oder ungerade ist.
Durch diese Operation ist $S$
\mathl{\Z/(2)}{-}graduiert. Bei $m$ gerade sind
\mathdisp {X+Y, Z^2, Z(X-Y)} { }
invariante Polynome
\zusatzklammer {bei $m$ ungerade \mathlk{X-Y, Z^2, Z(X+Y)}{}} {} {}
und
\mathkor {} {Z} {und} {X-Y} {}
sind
\definitionsverweis {semiinvariante Polynome}{}{.}
Mittels
\mathkor {} {X = { \frac{ 1 }{ 2 } } (X+Y) + { \frac{ 1 }{ 2 } } (X-Y)} {und} {Y = { \frac{ 1 }{ 2 } } (X+Y) - { \frac{ 1 }{ 2 } } (X-Y)} {}
lässt sich für jedes Monom
\mathl{X^{i}Y^{j}Z^{k}}{} die homogene Zerlegung bezüglich dieser Graduierung angeben
\zusatzklammer {wegen \mathlk{(X-Y)^2= (X+Y)^2-4Z^{2m}}{} kann diese Invariante durch die anderen ausgedrückt werden} {} {.}
Deshalb bilden
\mathl{L=X+Y,\, M= Z^2,\, N= Z(X-Y)}{} ein
\definitionsverweis {Algebraerzeugendensystem}{}{}
des Invariantenringes
\mavergleichskettedisp
{\vergleichskette
{ R^G
}
{ =} {S^{ \Z/(2) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Es besteht die Relation
\mavergleichskettealign
{\vergleichskettealign
{ N^2
}
{ =} {Z^2 (X-Y)^2
}
{ =} {M { \left( X^2+Y^2-2XY \right) }
}
{ =} { M { \left( L^2 - 4XY \right) }
}
{ =} { M L^2 - 4M M^{m}
}
}
{
\vergleichskettefortsetzungalign
{ =} {ML^2 -4 M^{m+1}
}
{ } {}
{ } {}
{ } {}
}
{}{.}
Da das Polynom
\mathdisp {N^2 -ML^2 +4 M^{m+1}} { }
\definitionsverweis {irreduzibel}{}{}
ist, und der Invariantenring zweidimensional sein muss, ist
\mavergleichskettedisp
{\vergleichskette
{R^G
}
{ \cong} {K[L,M,N]/ { \left( N^2 -ML^2 +4 M^{m+1} \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Unter schwachen Bedingungen an den Körper $K$ ist dieser Ring isomorph zu
\mathdisp {K[X,Y,Z]/ { \left( X^2+YZ^2 + Y^{m+1} \right) }} { . }
}
Man spricht von den $D_{m+2}$-\stichwort {Singularitäten} {}
\zusatzklammer {man beachte die Indizierung} {} {.}
Nach
Aufgabe 8.16
ist
\mathl{D_3}{} isomorph zu $A_3$, also
\mavergleichskettedisp
{\vergleichskette
{ {\mathbb C}[X,Y,Z]/ { \left( X^2 + YZ^2+Y^2 \right) }
}
{ \cong} { {\mathbb C}[S,T,U]/ { \left( ST+U^4 \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
so dass man diese $D$-Liste bei $D_4$ beginnen lässt. In den ursprünglichen Variablen
\mathkor {} {U} {und} {V} {}
sind
\mathdisp {U^{2m}+V^{2m}, \, U^2V^2 \text{ und } UV { \left( U^{2m} - V^{2m} \right) }} { }
ein Algebraerzeugendensystem aus invarianten Polynomen. In Charakteristik
\mathl{\neq 2,3}{} kann man die $D_4$ Gleichung, also
\mavergleichskette
{\vergleichskette
{X^2 + YZ^2+Y^3
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in
\mavergleichskette
{\vergleichskette
{X^2 + Y^3+Z^3
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
transformieren.
\zwischenueberschrift{Die Invarianten der binären Tetraedergruppe}
\inputbeispiel{}
{
Die
\definitionsverweis {binäre Diedergruppe}{}{}
\mathl{BD_2}{} ist ein
\definitionsverweis {Normalteiler}{}{}
in der
\definitionsverweis {binären Tetraedergruppe}{}{}
$BT$. Die Untergruppenbeziehung kann man direkt aus den expliziten Beschreibungen
\mavergleichskettedisp
{\vergleichskette
{ BD_2
}
{ =} {\langle \begin{pmatrix} { \mathrm i} & 0 \\ 0 & - { \mathrm i} \end{pmatrix} , \, \begin{pmatrix} 0 & { \mathrm i} \\ { \mathrm i} & 0 \end{pmatrix} \rangle
}
{ \subseteq} {\langle \begin{pmatrix} { \mathrm i} & 0 \\ 0 & - { \mathrm i} \end{pmatrix} , \, \begin{pmatrix} 0 & { \mathrm i} \\ { \mathrm i} & 0 \end{pmatrix}, \, { \frac{ 1 }{ \sqrt{2} } } \begin{pmatrix} \zeta^7 & \zeta^7 \\ \zeta^5 & \zeta \end{pmatrix} \rangle
}
{ =} { BT
}
{ } {
}
}
{}{}{}
\zusatzklammer {wobei $\zeta$ eine primitive achte Einheitswurzel ist} {} {}
ablesen.
}
\inputbeispiel{}
{
Wir wollen den
\definitionsverweis {Invariantenring}{}{}
zur
\definitionsverweis {binären Tetraedergruppe}{}{}
\mavergleichskette
{\vergleichskette
{ \operatorname{BT}
}
{ \subseteq }{ \operatorname{SL}_{ 2 } \! { \left( {\mathbb C} \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
berechnen, die auf dem Polynomring
\mathl{{\mathbb C}[U,V]}{} operiert. Wir verwenden den
\definitionsverweis {Normalteiler}{}{}
\mavergleichskette
{\vergleichskette
{{\operatorname{BD}_{ 2 } }
}
{ \subseteq }{\operatorname{BT}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Der Invariantenring
\mathl{{\mathbb C}[U,V]^{\operatorname{BD}_{ 2 } }}{} wird
nach Beispiel 8.5
von
\mathdisp {L = U^4+V^4, \, M = U^2V^2 \text{ und } N = UV { \left( U^4-V^4 \right) }} { }
erzeugt mit der Relation
\mavergleichskettedisp
{\vergleichskette
{ N^2-ML^2+4M^3
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Auf diesem Invariantenring wirkt die Restklassengruppe
\mavergleichskette
{\vergleichskette
{ \operatorname{BT} / {\operatorname{BD}_{ 2 } }
}
{ \cong }{ \Z/(3)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
wobei das nichttriviale Element
\zusatzklammer {die $1$} {} {}
durch
\mathdisp {{ \frac{ 1 }{ \sqrt{2} } } \begin{pmatrix} \zeta^7 & \zeta^7 \\ \zeta^5 & \zeta \end{pmatrix}} { }
repräsentiert wird. Diese Matrix schickt $U$ auf
\mathl{{ \frac{ 1 }{ \sqrt{2} } } { \left( \zeta^7 U + \zeta^7 V \right) }}{} und $V$ auf
\mathl{{ \frac{ 1 }{ \sqrt{2} } } { \left( \zeta^5 U + \zeta V \right) }}{.} Daher ist
\mathdisp {U^4 \longmapsto - { \frac{ 1 }{ 4 } } { \left( U^4+4U^3V+6U^2V^2+4UV^3+V^4 \right) }} { }
und
\mathdisp {V^4 \longmapsto - { \frac{ 1 }{ 4 } } { \left( -U+V \right) }^4 = - { \frac{ 1 }{ 4 } } { \left( U^4-4U^3V+6U^2V^2-4UV^3+V^4 \right) }} { }
und damit
\mathdisp {L= U^4+V^4 \longmapsto - { \frac{ 1 }{ 2 } } { \left( U^4 + 6 U^2V^2 +V^4 \right) } = - { \frac{ 1 }{ 2 } } L - 3 M} { . }
Ferner wird
\mavergleichskette
{\vergleichskette
{ M
}
{ = }{ U^2V^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
auf
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ { \frac{ 1 }{ 4 } } { \left( \zeta^7 U + \zeta^7 V \right) }^2 { \left( \zeta^5 U + \zeta V \right) }^2
}
{ =} { { \frac{ 1 }{ 4 } } { \left( U + V \right) }^2 { \left( - U + V \right) }^2
}
{ =} { { \frac{ 1 }{ 4 } } { \left( U^4 -2 U^2V^2+V^4 \right) }
}
{ =} { { \frac{ 1 }{ 4 } } { \left( L -2M \right) }
}
{ =} { { \frac{ 1 }{ 4 } } L - { \frac{ 1 }{ 2 } } M
}
}
{}
{}{}
geschickt. Das Element
\mavergleichskette
{\vergleichskette
{N
}
{ = }{UV { \left( U^4-V^4 \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
wird auf
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ { \frac{ 1 }{ \sqrt{2} } } { \left( \zeta^7 U + \zeta^7 V \right) } { \frac{ 1 }{ \sqrt{2} } } { \left( \zeta^5 U + \zeta V \right) } { \left( -2 U^3V - 2 UV^3 \right) }
}
{ =} { (U+V)(-U+V) { \left( - U^3V - UV^3 \right) }
}
{ =} { (U+V)(-U+V) (-1) UV { \left( U^2 + V^2 \right) }
}
{ =} { UV (U-V) (U+V) (U+iV)(U-iV)
}
{ =} { UV { \left( U^4-V^4 \right) }
}
}
{
\vergleichskettefortsetzungalign
{ =} { N
}
{ } {}
{ } {}
{ } {}
}
{}{,}
also auf sich selbst geschickt. Neben
\mavergleichskettedisp
{\vergleichskette
{N
}
{ =} {UV(U^4-V^4)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
sind, wie man direkt nachrechnet, auch
\mavergleichskettedisp
{\vergleichskette
{P
}
{ \defeq} { L^2+12M^2
}
{ =} { U^8+14 U^4V^4 +V^8
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{Q
}
{ \defeq} { L^3 -36 LM^2
}
{ =} { U^{12} -33U^8V^4-33U^4V^8 +V^{12}
}
{ } {
}
{ } {
}
}
{}{}{}
invariant. Wegen
\mavergleichskettedisp
{\vergleichskette
{N^4
}
{ =} { { \left( ML^2-4M^3 \right) }^2
}
{ =} { M^2L^4 -8 M^4 L^2 +16 M^6
}
{ } {
}
{ } {
}
}
{}{}{}
einerseits und
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ { \left( L^3 -36 LM^2 \right) }^2 - { \left( L^2+12M^2 \right) }^3
}
{ =} { -72 L^4M^2 + 1296 L^2M^4 - 36 L^4M^2 - 432 L^2M^4 - 1728 M^6
}
{ =} { -108 L^4M^2 + 864 L^2M^4 - 1728 M^6
}
{ =} { - 108 { \left( M^2L^4 -8 M^4 L^2 +16 M^6 \right) }
}
{ } {
}
}
{}
{}{}
andererseits haben wir zwischen diesen Invarianten die Relation
\mavergleichskettedisp
{\vergleichskette
{ -108 N^4
}
{ =} { { \left( L^3-36 LM^2 \right) }^2 - { \left( L^2+12M^2 \right) }^3
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Mit
\mathkor {} {P=L^2+12M^2} {und} {Q= L^3-36 LM^2} {}
liegt also die Relation
\mavergleichskettedisp
{\vergleichskette
{ Q^2-P^3+108 N^4
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
vor.
Wir müssen noch zeigen, dass damit alle Invarianten erfasst sind, dass also der Invariantenring von
\mathl{N,P,Q}{} erzeugt wird. Dazu lassen wir uns davon leiten, dass eine Operation der
\mathl{\Z/(3)}{} vorliegt, die von einer
$\Z/(3)$-\definitionsverweis {Graduierung}{}{}
herrühren muss. Nach
Lemma 8.2
ist der Invariantenring gleich dem Ring der neutralen Stufe, der häufig einfacher zu bestimmen ist. Wie oben berechnet, wirkt der Erzeuger der Gruppe durch
\mathkor {} {L \mapsto - { \frac{ 1 }{ 2 } } L - 3 M} {und} {N \mapsto { \frac{ 1 }{ 4 } } L - { \frac{ 1 }{ 2 } } M} {.}
Durch
\definitionsverweis {Diagonalisierung}{}{}
dieser Matrix erhält man, dass
\mavergleichskettedisp
{\vergleichskette
{A
}
{ =} {\sqrt{3 } { \mathrm i} L-6M
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{B
}
{ =} {\sqrt{3 } { \mathrm i} L + 6M
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
Eigenvektoren zu den Eigenwerten
\mathkor {} {{ \frac{ -1+ \sqrt{3} { \mathrm i} }{ 2 } }} {bzw.} {{ \frac{ -1 -\sqrt{3} { \mathrm i} }{ 2 } }} {}
sind, die dritte Einheitswurzeln sind. Wegen
\mavergleichskettedisp
{\vergleichskette
{ L
}
{ =} { { \frac{ 1 }{ 2 \sqrt{3} { \mathrm i} } } (A+B)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ M
}
{ =} { { \frac{ 1 }{ 12 } } ( B-A)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
kann man die definierende Gleichung
\zusatzklammer {des Invariantenringes zu \mathlk{BD_2}{}} {} {}
in den Variablen
\mathl{N,A,B}{} als
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ N^2 -ML^2+ 4M^3
}
{ =} {N^2 - { \frac{ 1 }{ 12 } } { \left( { \frac{ 1 }{ 2 \sqrt{3} { \mathrm i} } } \right) }^2 ( B-A) (A+B)^2 + 4 { \left( { \frac{ 1 }{ 12 } } \right) }^3 ( B-A)^3
}
{ =} {N^2 + { \frac{ 1 }{ 144 } } { \left( B^3 + B^2A - BA^2 -A^3 \right) } + { \frac{ 1 }{ 432 } } { \left( B^3-3B^2A+3 BA^2-A^3 \right) }
}
{ =} {N^2 + { \frac{ 1 }{ 108 } } { \left( B^3 -A^3 \right) }
}
{ } {
}
}
{}
{}{.}
Wir können also davon ausgehen, dass der Ring
\mathdisp {K[N,A,B]/ { \left( N^2 + { \frac{ 1 }{ 108 } } B^3 - { \frac{ 1 }{ 108 } } A^3 \right) }} { }
vorliegt, der $\Z/(3)$-graduiert ist, wobei $N$ den Grad $0$, $B$ den Grad $1$ und $A$ den Grad $2$ bekommt. Die definierende Gleichung besitzt den Grad $0$. Der Ring der nullten Stufe wird offenbar von
\mathl{N,A^3,B^3,AB}{} erzeugt. Für die oben gefundenen invarianten Polynome gilt
\mavergleichskettealign
{\vergleichskettealign
{P
}
{ =} {L^2+12M^2
}
{ =} { - { \frac{ 1 }{ 12 } } { \left( A+B \right) }^2 + { \frac{ 1 }{ 12 } } (B-A)^2
}
{ =} { - { \frac{ 1 }{ 3 } } AB
}
{ } {
}
}
{}
{}{}
und
\mavergleichskettealign
{\vergleichskettealign
{ Q
}
{ =} {L^3-36 LM^2
}
{ =} { { \frac{ 1 }{ 2\sqrt{3} { \mathrm i} } } (A+B) { \left( - { \frac{ 1 }{ 12 } } (A+B)^2 - { \frac{ 1 }{ 4 } } (B-A)^2 \right) }
}
{ =} { { \frac{ 1 }{ 6 \sqrt{3} { \mathrm i} } } (A+B) { \left( - A^2 + AB - B^2 \right) }
}
{ =} { { \frac{ 1 }{ 6 \sqrt{3} { \mathrm i} } } { \left( A^3 + B^3 \right) }
}
}
{}
{}{.}
Mit Hilfe der Relation kann man $A^3$
\zusatzklammer {und $B^3$} {} {}
als Linearkombination von
\mathl{N,P,Q}{} ausdrücken. Daher sind dies Algebraerzeuger des Invariantenrings und dieser ist zu
\mathdisp {{\mathbb C}[X,Y,Z]/ { \left( X^2+Y^3+Z^4 \right) }} { }
isomorph. Man spricht von der $E_6$-\stichwort {Singularität} {.}
}
\zwischenueberschrift{Die Invarianten der binären Oktaedergruppe}
Wir setzen die Berechnung der Invariantenringe zu den Operationen der endlichen Untergruppen der
\mathl{\operatorname{SU}_{ 2 } \! { \left( {\mathbb C} \right) }}{} fort.
\inputbeispiel{}
{
Zur Berechnung des
\definitionsverweis {Invariantenringes}{}{} zur
\definitionsverweis {Operation}{}{}
der
\definitionsverweis {binären Oktaedergruppe}{}{}
$\operatorname{BO}$ auf
\mathl{{\mathbb C}[U,V]}{} benutzen wir die Normalteilerbeziehung
\mavergleichskette
{\vergleichskette
{ \operatorname{BT}
}
{ \subseteq }{ \operatorname{BO}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {mit der Restklassengruppe \mathlk{\Z/(2)}{}} {} {,}
Lemma 8.4
und
Beispiel 8.7.
Das Element
\mathl{\begin{pmatrix} \xi & 0 \\ 0 & \xi^7 \end{pmatrix} \in \operatorname{BO} \setminus \operatorname{BT}}{,} wobei $\xi$ eine achte
\definitionsverweis {primitive Einheitswurzel}{}{}
ist, wirkt durch
\mathkor {} {U \mapsto \xi U} {und} {V \mapsto \xi^7 V} {.}
Somit wird in der Darstellung
\mavergleichskettedisp
{\vergleichskette
{{\mathbb C}[U,V]^{\operatorname{BT} }
}
{ =} { {\mathbb C}[N,P,Q]/ { \left( Q^2-P^3+108N^4 \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
das Polynom
\mavergleichskette
{\vergleichskette
{N
}
{ = }{UV { \left( U^4-V^4 \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
auf
\mavergleichskettedisp
{\vergleichskette
{UV{ \left( - U^4 +V^4 \right) }
}
{ =} {-N
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
$P$ auf $P$ und $Q$ auf $-Q$ geschickt. Auf dem isomorphen Ring
\mathl{{\mathbb C}[X,Y,Z]/ { \left( X^2+Y^3+Z^4 \right) }}{} ist dies einfach die Operation, die $Y$ auf sich und $X,Z$ auf ihr Negatives abbildet. Wir arbeiten mit der $\Z/(2)$-Graduierung, bei der $Y$ den Grad $0$ und $X,Z$ den Grad $1$ besitzen.
Nach Lemma 8.2
ist der Invariantenring gleich der neutralen Stufe in der Graduierung. Diese Stufe wird neben $Y$ von
\mathkor {} {R=XZ} {und} {S=Z^2} {}
erzeugt
\zusatzklammer {wegen \mathlk{X^2=-Y^3- { \left( Z^2 \right) }^2}{} kann man auf $X^2$ verzichten} {} {.}
Zwischen
\mathl{Y,R,S}{} besteht die Relation
\mavergleichskettedisp
{\vergleichskette
{ R^2 +Y^3S +S^3
}
{ =} { (XZ)^2 +Y^3 Z^2 +Z^6
}
{ =} { Z^2 { \left( X^2 +Y^3 +Z^4 \right) }
}
{ =} { 0
}
{ } {
}
}
{}{}{.}
Nach Umbenennung der Variablen ist also der Invariantenring zur binären Oktaedergruppe isomorph zu
\mathdisp {{\mathbb C}[X,Y,Z]/ { \left( X^2 +Y^3 +YZ^3 \right) }} { . }
}
Diesen Invariantenring bezeichnet man als $E_7$-\stichwort {Singularität} {.}
\zwischenueberschrift{Die Invarianten der binären Ikosaedergruppe}
Der Invariantenring zur binären Ikosaedergruppe verhält sich in vielerlei Hinsicht anders als die bisher besprochenen Invariantenringe. Man braucht andere Methoden, um letztlich zu zeigen, dass der Invariantenring gleich
\mathdisp {K[X,Y,Z]/ { \left( X^2+Y^3+Z^5 \right) }} { }
ist. Man spricht von der $E_8$-\stichwort {Singularität} {.}