Kurs:Invariantentheorie (Osnabrück 2012-2013)/Vorlesung 26/latex
\setcounter{section}{26}
\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)}{}} {} {,}
Proposition 5.1
und
Beispiel 25.5.
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 Korollar 7.11
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. Wir können den Invariantenring nicht aus der Kenntnis von anderen Invariantenringen berechnen. Dafür können wir zeigen, dass es keinen nichttrivialen Charakter der binären Ikosaedergruppe gibt, woraus sich über Satz 25.1 direkt invariante Polynome ergeben.
\inputfaktbeweis
{Binäre Ikosaedergruppe/Kein Charakter/Fakt}
{Lemma}
{}
{
\faktsituation {Die
\definitionsverweis {binäre Ikosaedergruppe}{}{}
$\operatorname{BI}$}
\faktfolgerung {besitzt keinen nichttrivialen
\definitionsverweis {Charakter}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Wir gehen von der Darstellung der binären Ikosaedergruppe in
Beispiel 23.5
aus. Es sei
\maabbdisp {\psi} { \operatorname{BI} } { \Z/(\ell)
} {}
ein
\definitionsverweis {surjektiver}{}{} \definitionsverweis {Gruppenhomomorphismus}{}{.}
Wenn das Element
\mathl{\begin{pmatrix} -1 & 0 \\ 0 & -1 \end{pmatrix}}{} auf $0$ abgebildet wird, so faktorisiert dieser Homomorphismus durch die reelle Ikosaedergruppe. Diese ist aber isomorph zur
\definitionsverweis {alternierenden Gruppe}{}{}
$A_5$, welche
\definitionsverweis {einfach}{}{}
ist. Also wird diese Matrix nicht auf $0$ abgebildet und somit muss $\ell$ gerade $\geq 2$ sein. Dann gibt es auch einen surjektiven Homomorphismus für
\mavergleichskette
{\vergleichskette
{ \ell
}
{ = }{ 2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Der Kern dieser Abbildung besitzt $60$ Elemente. Aufgrund der Liste in
Satz 24.4
kommen dafür nur eine zyklische Gruppe oder eine Diedergruppe in Frage. In beiden Fällen hätte
\mathl{\operatorname{BI}}{} ein Element der
\definitionsverweis {Ordnung}{}{}
$15$ und damit hätte auch die reelle Ikosaedergruppe ein solches Element, was aber nicht der Fall ist.
\inputfaktbeweis
{Binäre Ikosaedergruppe/Hilbert-Reihe/Grad 60/Fakt}
{Lemma}
{}
{
\faktsituation {Der
\definitionsverweis {Invariantenring}{}{}
\mathl{{\mathbb C}[U,V]^{BI}}{} zur
\definitionsverweis {binären Ikosaedergruppe}{}{}}
\faktfolgerung {besitzt im Grad $60$ die Dimension $2$.}
\faktzusatz {}
\faktzusatz {}
}
{
Wir verwenden
Lemma 19.6
und Techniken, die auch im Beweis
zur Formel von Molien
verwendet werden. Es sei dazu
\mathl{\sigma \in BI}{,} das bezüglich einer geeigneten Basis durch eine Diagonalmatrix
\mathl{\begin{pmatrix} \xi & 0 \\ 0 & \xi^{-1} \end{pmatrix}}{} beschrieben wird, wobei $\xi$ eine
\definitionsverweis {Einheitswurzel}{}{}
ist. Die Wirkungsweise dieses Elementes auf der $d$-ten Stufe
\mathl{{\mathbb C}[W,Z]_{d}}{} ist durch
\mathdisp {W^{i}Z^{d-i} \mapsto \xi^{i} \xi^{i-d} W^{i}Z^{d-i} = \xi^{2i-d} W^{i}Z^{d-i}} { }
gegeben
\zusatzklammer {$W,Z$ seien die Linearformen zur gewählten Basis} {} {.}
Daher ist die
\definitionsverweis {Spur}{}{}
von
\mathl{\sigma^{(d)}}{} durch
\mavergleichskettedisp
{\vergleichskette
{ \sum_{i = 0}^d \xi^{2i-d}
}
{ =} { \xi^{-d} \sum_{i = 0}^{d} { \left( \xi^{2} \right) }^{i}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gegeben. Es sei nun
\mathl{d=60}{.} Da die
\definitionsverweis {Ordnung}{}{}
von $\sigma$ nach
Aufgabe 24.15
ein Teiler von $60$ ist, sind die
\mathl{\xi, \xi^{-1}, \xi^2}{} sechzigste Einheitswurzeln. Bei
\mathl{\sigma = \pm E_2}{} ist diese Summe jeweils
\mathl{61}{.} Bei jedem anderen Gruppenelement ist
nach Satz 24.3
\mathl{\xi^2 \neq 1}{} und daher durchlaufen die Summanden von
\mathl{i=0}{} bis
\mathl{i=59}{} mehrfach sämtliche Potenzen von
\mathl{\xi^{2}}{,} sodass diese Summe $0$ ist und lediglich der Summand
\mathl{{ \left( \xi^{2} \right) }^{60} =1}{} übrigbleibt. Die Summe der Spuren zu allen
\mathbed {\sigma^{(60)}} {}
{\sigma \in BI} {}
{} {} {} {,}
ist somit
\mathl{61 +61 + 118= 240}{.} Nach
Lemma 19.6
ist also
\mavergleichskette
{\vergleichskette
{ \dim_{ {\mathbb C} } { \left( {\mathbb C}[U,V]_{60}^{BI} \right) }
}
{ = }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
\inputbeispiel{}
{
Mit Hilfe von
Satz 25.1
und
Lemma 26.2
kann man direkt invariante Polynome für die binäre Ikosaedergruppe angeben. Ein Ikosaeder hat $12$ Ecken, $20$ Flächen und $30$ Kanten, wobei die Ecken, die Flächenmittelpunkte und die Kantenmittelpunkte die Halbachsenklassen bilden. Daher gibt es invariante Polynome
\mathl{A,B,C}{} vom Grad
\mathl{12,20}{} und $30$. Diese kann man mit einigem Rechenaufwand explizit ausrechnen, indem man explizit die Halbachsenklassen der reellen Ikosaedergruppe angibt
\zusatzklammer {also beispielsweise alle zwölf Eckpunkte} {} {,}
diese ins Komplexe übersetzt und die zugehörigen Linearformen multipliziert. Unabhängig davon, ob diese Polynome explizit oder nicht vorliegen, kann man zeigen, dass diese den Invarianenring erzeugen, dass also
\mavergleichskette
{\vergleichskette
{ R^G
}
{ = }{ {\mathbb C}[A,B,C]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt. Es sei dazu
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{ R^G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {invariant}{}{,}
das wir als homogen annehmen dürfen. Wir führen Induktion über den Grad, wobei der Grad $0$ der
\zusatzklammer {triviale} {} {}
Induktionsbeginn ist. Es sei $P$ homogen von positivem Grad und es sei
\mavergleichskettedisp
{\vergleichskette
{ P
}
{ =} { \prod_{j = 1}^s { \left( d_j U - c_jV \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die Faktorzerlegung in Linearfaktoren.
Nach Satz 25.1 (3)
enthält die
\zusatzklammer {nichtleere} {} {}
Indexmenge eine volle Bahn der Operation der reellen Ikosaedergruppe auf $S^2$ bzw. ${\mathbb P}^{1}_{{\mathbb C}}$. Wenn diese Bahn eine Halbachsenklasse ist, so ist
\mavergleichskettedisp
{\vergleichskette
{ P
}
{ =} {HD
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit $D=A,B$ oder $=C$. Wegen der Invarianz von
\mathkor {} {P} {und} {D} {}
ist auch $H$ invariant. Nach Induktionsvoraussetzung ist also
\mathl{H\in {\mathbb C}[A,B,C]}{.} Wenn dagegen die Indexmenge keine Halbachsenklasse enthält, so enthält sie eine Bahn mit sechzig Elementen
\zusatzklammer {aus
\mavergleichskettek
{\vergleichskettek
{ \sigma(P)
}
{ = }{ P
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{ \sigma
}
{ \in }{ I
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt, dass $P$ ein Halbachsenpunkt ist} {} {.}
Also ist
\mavergleichskettedisp
{\vergleichskette
{ P
}
{ =} {HD
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und $D$ ist invariant vom Grad $60$.
Nach Lemma 26.3
ist der Raum der invarianten Polynome vom Grad $60$ zweidimensional. Die Polynome $A^5,B^3,C^2$ erzeugen diesen Raum, da sie paarweise linear unabhängig sind, was daraus folgt, dass sie
\zusatzklammer {in \mathlk{{\mathbb C}[U,V]}{}} {} {}
aus unterschiedlichen Linearfaktoren zusammengesetzt sind. Daher ist
\mavergleichskette
{\vergleichskette
{ D
}
{ \in }{ {\mathbb C}[A,B,C]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und dies gilt nach Induktionsvoraussetzung auch für $H$.
Weiterhin folgt aus der Zweidimensionalität der sechzigsten Stufe des Invariantenringes, dass eine Relation der Form
\mavergleichskettedisp
{\vergleichskette
{\alpha A^5 + \beta B^3 + \gamma C^2
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ \alpha, \beta,\gamma
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
vorliegen muss, was den Isomorphietyp des Ringes bereits bestimmt.
Wir geben noch die invarianten Polynome zu den Halbachsen an, und zwar geben wir homogene invariante Polynome vom Grad
\mathl{12,20,30}{} an, wobei wir die Invarianz nur exemplarisch überprüfen. Wir setzen
\mavergleichskettedisp
{\vergleichskette
{\tilde{A}
}
{ =} { U^{11}V + 11 U^{6} V^{6} -UV^{11}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{\tilde{B}
}
{ =} { U^{20} -228 U^{15}V^5 +494 U^{10} V^{10} + 228 U^{5} V^{15} + V^{20}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{\tilde{C}
}
{ =} { U^{30} + 522 U^{25}V^5 -10005 U^{20} V^{10} -10005 U^{10} V^{20} - 522 U^{5}V^{25} + V^{30}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wenn man nachweist, dass diese Polynome invariant sind, so muss wegen
\mavergleichskette
{\vergleichskette
{ \tilde{A}, \tilde{B}, \tilde{C}
}
{ \in }{ {\mathbb C}[A,B,C]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und aus Gradgründen
\zusatzklammer {bis auf Skalierung} {} {}
\mavergleichskette
{\vergleichskette
{ \tilde{A}
}
{ = }{ A
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{ \tilde{B}
}
{ = }{ B
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ \tilde{C}
}
{ = }{ C
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
gelten. Die erzeugenden Matrizen
\mathdisp {E= - \begin{pmatrix} \xi^3 & 0 \\ 0 & \xi^2 \end{pmatrix} \text{ und } F= { \frac{ 1 }{ \sqrt{5} } } \begin{pmatrix} - \xi + \xi^4 & \xi^2-\xi^3 \\ \xi^2-\xi^3 & \xi -\xi^4 \end{pmatrix}} { }
\zusatzklammer {wobei $\xi$ eine
\definitionsverweis {primitive}{}{} $5$-te komplexe Einheitswurzel sei} {} {}
der binären Ikosaedergruppe wirken durch
\mathdisp {U \mapsto - \xi^3 U,\, V \mapsto - \xi^2 V} { }
bzw.
\mathdisp {U \mapsto { \frac{ 1 }{ \sqrt{5 } } } { \left( ( - \xi + \xi^4 )U +(\xi^2 - \xi^3) V \right) }, \, V \mapsto { \frac{ 1 }{ \sqrt{5 } } } { \left( ( \xi^2 - \xi^3 )U +(\xi - \xi^4 )V \right) }} { . }
Es ist
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ (\tilde{A}) E
}
{ =} { (U^{11}V + 11 U^{6} V^{6} -UV^{11})E
}
{ =} { ( - \xi^{33} )(- \xi^2 ) U^{11} V + 11 ( \xi^{18} \xi^{12} ) U^{6} V^{6} - ( - \xi^{3} )(- \xi^{22} ) UV^{11}
}
{ =} { U^{11}V + 11 U^{6} V^{6} - UV^{11}
}
{ } {
}
}
{}
{}{}
und
\zusatzklammer {mit einer aufwändigen Rechnung} {} {}
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ (\tilde{A}) F
}
{ =} { (U^{11}V + 11 U^{6} V^{6} -UV^{11})F
}
{ =} { U^{11}V + 11 U^{6} V^{6} -UV^{11}
}
{ } {
}
{ } {
}
}
{}
{}{.}
Zwischen diesen invarianten Polynomen besteht, wie eine aufwändige Rechnung zeigt, die Beziehung
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{\tilde{C}^2 - \tilde{B}^3 -1728 \tilde{A}^5
}
{ =} { { \left( U^{30} + 522 U^{25}V^5 -10005 U^{20} V^{10} -10005 U^{10} V^{20} - 522 U^{5}V^{25} + V^{30} \right) }^2 - { \left( U^{20} -228 U^{15}V^5 +494 U^{10} V^{10} +228 U^{5} V^{15} + V^{20} \right) }^3 -1728 { \left( U^{11}V + 11 U^{6} V^{6} -UV^{11} \right) }^5
}
{ =} { U^{55}V^5 { \left( 1044 +684 -1728 \right) } + \ldots
}
{ =} { 0
}
{ } {
}
}
{}
{}{.}
Dies überprüft man, indem man die Koeffizienten zu den Monomen
\mathbed {U^{5i}V^{5j}} {}
{i+j=12} {}
{} {} {} {,}
berechnet. Da diese Relation irreduzibel ist, liegt die Isomorphie
\mavergleichskettedisp
{\vergleichskette
{ {\mathbb C}[U,V]^{ BI }
}
{ =} { {\mathbb C}[\tilde{A}, \tilde{B}, \tilde{C}]/(\tilde{C}^2 - \tilde{B}^3 -1728 \tilde{A}^5)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
vor. Nach Umbenennung und Streckung der Variablen ist dieser Ring isomorph zu
\mathl{{\mathbb C}[X,Y,Z]/ { \left( X^2+Y^3+Z^5 \right) }}{.}
}
Diesen Invariantenring bezeichnet man als $E_8$-\stichwort {Singularität} {.}
\inputfaktbeweis
{E8-Singularität/Faktoriell/Fakt}
{Satz}
{}
{
\faktsituation {Der
\definitionsverweis {Restklassenring}{}{}
\mathl{{\mathbb C}[X,Y,Z]/ { \left( X^2+Y^3+Z^5 \right) }}{}}
\faktfolgerung {ist
\definitionsverweis {faktoriell}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Dies folgt aus Lemma 26.2, Beispiel 26.4 und Korollar 12.9.
\inputbemerkung
{}
{
Die
\definitionsverweis {Komplettierung}{}{}
des Ringes
\mavergleichskette
{\vergleichskette
{ R
}
{ = }{ {\mathbb C}[X,Y,Z]/ { \left( X^2+Y^3+Z^5 \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
am maximalen Ideal $R_+$ ist
\mavergleichskette
{\vergleichskette
{ \hat{R}
}
{ = }{ {\mathbb C}[ \![X,Y,Z]\! ]/ { \left( X^2+Y^3+Z^5 \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dieser Ring ist ebenfalls faktoriell
\zusatzklammer {die Komplettierung eines faktoriellen Ringes muss im Allgemeinen nicht faktoriell sein} {} {.}
Es gilt sogar, dass dieser Ring der einzige zweidimensionale komplette Ring
\zusatzklammer {bis auf Isomorphie} {} {}
über ${\mathbb C}$ ist, der faktoriell, aber nicht regulär, also nicht der Potenzreihenring
\mathl{{\mathbb C}[ \![X,Y]\! ]}{} ist.
}
| << | Kurs:Invariantentheorie (Osnabrück 2012-2013) | >> |
|---|