Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 8/kontrolle

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.

Graduierungen

Definition Referenznummer erstellen

Es sei ${}R$ ein kommutativer Ring und ${}D$ eine kommutative Gruppe. Eine ${}R$- Algebra ${}A$ heißt graduiert, wenn es eine direkte Summenzerlegung

${}A=\bigoplus _{d\in D}A_{d}\,$

mit ${}R$- Untermoduln ${}A_{d}$ gibt derart, dass ${}R\subseteq A_{0}$ ist und für die Multiplikation auf ${}A$ die Beziehung

${}A_{d}\cdot A_{e}\subseteq A_{d+e}\,$

gilt.

Lemma Lemma 8.2 ändern

Es sei ${}K$ ein Körper, ${}D$ eine endliche kommutative Gruppe und ${}A$ eine ${}D$- graduierte kommutative ${}K$- Algebra. Der Körper enthalte hinreichend viele Einheitswurzeln, sodass die Charaktergruppe ${}G=D^{\vee }$ von ${}D$ isomorph zu ${}D$ sei.

Dann ist ${}A_{0}$ der Invariantenring unter der natürlichen Operation der Charaktergruppe ${}G$ auf ${}A$.

Beweis

Für ein Element ${}f\in A_{0}$ und einen beliebigen Charakter ${}\chi$ ist offenbar

${}\chi f=\varphi _{\chi }(f)=\chi (0)f=f\,,$

sodass ${}A_{0}\subseteq A^{G}$ ist. Da die Operation der Charaktergruppe homogen ist, sind die homogenen Komponenten eines invarianten Elements ${}f\in A^{G}$ ebenfalls invariant. Sei ${}f\in A_{d}\cap A^{G}$ und ${}d\neq 0$. Aufgrund der Voraussetzung über die Einheitswurzeln gibt es einen Charakter

$\chi \colon D\longrightarrow K^{\times }$

mit ${}\chi (d)\neq 1$. Dann ist

${}\chi f=\varphi _{\chi }(f)=\chi (d)f\neq f\,,$

also sind solche Elemente nicht invariant.

$\Box$

Beispiel Beispiel 8.3 ändern

Es sei ${}K$ ein Körper, der eine primitive ${}n$-te Einheitswurzel ${}\xi$ enthalte. Wir betrachten die Untergruppe

${}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 ${}K[U,V]$. Es handelt sich um eine zyklische Gruppe der Ordnung ${}n$, die von

${}g={\begin{pmatrix}\xi &0\\0&\xi ^{-1}\end{pmatrix}}\,$

erzeugt wird. Die Operation von ${}g$ auf ${}K[U,V]$ ist durch ${}U\mapsto \xi U$ und ${}V\mapsto \xi ^{-1}V$ gegeben. Offenbar sind

$X=U^{n},\,Y=V^{n},\,Z=UV$

invariante Polynome unter dieser Gruppenoperation, die in der Beziehung

${}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 ${}\mathbb {Z} \times \mathbb {Z}$- graduiert, wobei ${}U$ den Grad ${}(1,0)$ und ${}V$ den Grad ${}(0,1)$ besitze. Wir betrachten den Gruppenhomomorphismus

$\delta \colon \mathbb {Z} ^{2}\longrightarrow \mathbb {Z} /(n)=:D,\,(a,b)\longmapsto a-b,$

und die zugehörige ${}D$-Graduierung des Polynomringes. Wir identifizieren die Charaktergruppe ${}D^{\vee }$ mit der obigen Gruppe ${}G$, indem wir

$\chi \colon D\longrightarrow K^{\times }$

mit ${}{\begin{pmatrix}\chi (1)&0\\0&\chi (-1)\end{pmatrix}}$ identifizieren. Bei dieser Identifizierung entspricht die obige explizite Operation von ${}G$ auf ${}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$- Graduierung. Der Kern von ${}\delta$ wird durch ${}(n,0),(0,n),(1,1)$ erzeugt. Die zugehörigen Stufen bilden somit den Invariantenring. Der Invariantenring ist also ${}K[U^{n},V^{n},UV]$.

Die Ringe

${}K[U^{n},V^{n},UV]\cong K[X,Y,Z]{\left(XY-Z^{n}\right)}\,$

nennt man ${}A_{n-1}$-Singularitäten (man beachte die Indizierung)!

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 ${}BD_{m}$ bestimmen.

Lemma Lemma 8.4 ändern

Es sei ${}R\times G\rightarrow R$ eine Operation einer Gruppe ${}G$ auf einem kommutativen Ring durch Ringautomorphismen. Sei ${}H\subseteq G$ eine Untergruppe. Dann gelten folgende Aussagen.

1. ${}R^{G}\subseteq R^{H}$.
2. Sind ${}H_{1}$ und ${}H_{2}$ Untergruppen in ${}G$ mit ${}G=H_{1}\cdot H_{2}$, so ist

   ${}R^{H_{1}}\cap R^{H_{2}}=R^{G}\,.$

3. Ist ${}H$ ein Normalteiler in ${}G$, so operiert die Restklassengruppe ${}G/H$ auf ${}R^{H}$ durch

   ${}f[\sigma ]:=f\sigma \,.$

   Dabei ist

   ${}R^{G}={\left(R^{H}\right)}^{G/H}\,.$

Beweis

(1) ist klar.
(2). Die Voraussetzung bedeutet, dass man ${}\sigma =\prod _{i=1}^{n}\sigma _{i}$ mit gewissen ${}\sigma _{i}\in H_{1}$ oder ${}\sigma _{i}\in H_{2}$ schreiben kann.

Die Inklusion ${}\supseteq$ ist nach (1) klar. Die Inklusion ${}\subseteq$ ist wegen

${}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.
(3). Die Operation ist zunächst wohldefiniert, d.h. unabhängig vom Repräsentanten. Es seien dazu ${}\sigma ,\sigma '\in G$ gegeben mit ${}\sigma '\sigma ^{-1}\in H$. Dann ist

${}f\sigma '=f\sigma '\sigma ^{-1}\sigma =f\sigma \,.$

Wegen der Normalteilereigenschaft gibt es für ${}\sigma \in G$ und ${}\tau \in H$ ein ${}\tau '\in H$ mit ${}\sigma \tau =\tau '\sigma$. Für ${}f\in R^{H}$ ist

${}(f\sigma )\tau =f\tau '\sigma =f\sigma \,$

und somit gehört ${}f\sigma$ ebenfalls zu ${}R^{H}$. Wir haben also eine Abbildung

$R^{H}\times G\longrightarrow R^{H}.$

Diese Abbildung ist in der Tat eine Gruppenoperation. Das neutrale Element wirkt identisch und die Assoziativität ergibt sich aus

${}f([\sigma ][\tau ])=f[\sigma \tau ]=f(\sigma \tau )=(f\sigma )\tau =(f[\sigma ])\tau =(f[\sigma ])[\tau ]\,.$

Es liegt also eine Operation von ${}G$ auf ${}R^{H}$ vor, und da die Elemente ${}\sigma \in H$ identisch wirken, induziert dies eine Operation von ${}G/H$ auf ${}R^{H}$. Bei den Abbildungen ${}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

${}R^{G}={\left(R^{H}\right)}^{G/H}\,.$

Zum Beweis der Inklusion ${}\subseteq$ sei ${}f\in R^{G}$. Dann ist insbesondere ${}f\in R^{H}$. Wegen ${}f[\sigma ]=f\sigma =f$ ist ${}f$ auch ${}G/H$- invariant. Zum Beweis der Inklusion ${}\supseteq$ sei ${}f\in {\left(R^{H}\right)}^{G/H}\subseteq R^{H}$. Doch dann ist für ${}\sigma \in G$ wiederum ${}f\sigma =f[\sigma ]=f$.

$\Box$

Beispiel Beispiel 8.5 ändern

Es sei ${}m\in \mathbb {N} _{+}$ und es sei ${}K$ ein Körper der Charakteristik ${}\neq 2$, der eine vierte primitive Einheitswurzel ${}{\mathrm {i} }$ und eine ${}2m$-te primitive Einheitswurzel ${}\zeta$ enthalte. Wir betrachten die von den Matrizen

$A={\begin{pmatrix}\zeta &0\\0&\zeta ^{-1}\end{pmatrix}}\,\,{\text{ und }}\,\,B={\begin{pmatrix}0&{\mathrm {i} }\\{\mathrm {i} }&0\end{pmatrix}}$

erzeugte Untergruppe ${}G$ (die man auch als ${}BD_{m}$ bezeichnet) der ${}\operatorname {SL} _{2}\!{\left(K\right)}$ mit ihrer natürlichen Operation auf ${}R=K[U,V]$. Es sei ${}H\subseteq G$ die von ${}A$ erzeugte zyklische Untergruppe der Ordnung ${}2m$. Da ${}G$ die Ordnung ${}4m$ besitzt, ist ${}H$ ein Normalteiler in ${}G$. Daher können wir mit Hilfe von Lemma 8.4  (3) und Beispiel 8.3 den Invariantenring ${}K[U,V]^{G}$ ausrechnen. Es ist ja

${}S:=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 ${}G/H\cong \mathbb {Z} /(2)$ auf diesem Invariantenring wird durch die Operation von ${}B$ auf ${}K[U,V]$ repräsentiert. Sie ist also durch ${}U\mapsto {\mathrm {i} }V$ und ${}V\mapsto {\mathrm {i} }U$ gegeben und induziert

$X=U^{2m}\longmapsto {\mathrm {i} }^{2m}V^{2m}=\rho Y,$

$Y=V^{2m}\longmapsto {\mathrm {i} }^{2m}U^{2m}=\rho X,$

$Z=UV\longmapsto {\mathrm {i} }^{2}UV=-Z,$

wobei ${}\rho =\pm 1$ ist, je nachdem, ob ${}m$ gerade oder ungerade ist.

Durch diese Operation ist ${}S$ ${}\mathbb {Z} /(2)$-graduiert. Bei ${}m$ gerade sind

$X+Y,Z^{2},Z(X-Y)$

invariante Polynome (bei ${}m$ ungerade $X-Y,Z^{2},Z(X+Y)$) und ${}Z$ und ${}X-Y$ sind semiinvariante Polynome. Mittels ${}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 ${}X^{i}Y^{j}Z^{k}$ die homogene Zerlegung bezüglich dieser Graduierung angeben (wegen $(X-Y)^{2}=(X+Y)^{2}-4Z^{2m}$ kann diese Invariante durch die anderen ausgedrückt werden). Deshalb bilden ${}L=X+Y,\,M=Z^{2},\,N=Z(X-Y)$ ein Algebraerzeugendensystem des Invariantenringes

${}R^{G}=S^{\mathbb {Z} /(2)}\,.$

Es besteht die Relation

${}{\begin{aligned}N^{2}&=Z^{2}(X-Y)^{2}\\&=M{\left(X^{2}+Y^{2}-2XY\right)}\\&=M{\left(L^{2}-4XY\right)}\\&=ML^{2}-4MM^{m}\\&=ML^{2}-4M^{m+1}.\end{aligned}}$

Da das Polynom

$N^{2}-ML^{2}+4M^{m+1}$

irreduzibel ist, und der Invariantenring zweidimensional sein muss, ist

${}R^{G}\cong K[L,M,N]/{\left(N^{2}-ML^{2}+4M^{m+1}\right)}\,.$

Unter schwachen Bedingungen an den Körper ${}K$ ist dieser Ring isomorph zu

$K[X,Y,Z]/{\left(X^{2}+YZ^{2}+Y^{m+1}\right)}.$

Man spricht von den ${}D_{m+2}$-Singularitäten (man beachte die Indizierung). Nach Aufgabe 8.16 ist ${}D_{3}$ isomorph zu ${}A_{3}$, also

${}{\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 ${}U$ und ${}V$ sind

$U^{2m}+V^{2m},\,U^{2}V^{2}{\text{ und }}UV{\left(U^{2m}-V^{2m}\right)}$

ein Algebraerzeugendensystem aus invarianten Polynomen. In Charakteristik ${}\neq 2,3$ kann man die ${}D_{4}$ Gleichung, also ${}X^{2}+YZ^{2}+Y^{3}=0$ in ${}X^{2}+Y^{3}+Z^{3}=0$ transformieren.

Die Invarianten der binären Tetraedergruppe

Beispiel Referenznummer erstellen

Die binäre Diedergruppe ${}BD_{2}$ ist ein Normalteiler in der binären Tetraedergruppe ${}BT$. Die Untergruppenbeziehung kann man direkt aus den expliziten Beschreibungen

${}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\,$

(wobei ${}\zeta$ eine primitive achte Einheitswurzel ist) ablesen.

Beispiel Beispiel 8.7 ändern

Wir wollen den Invariantenring zur binären Tetraedergruppe ${}\operatorname {BT} \subseteq \operatorname {SL} _{2}\!{\left({\mathbb {C} }\right)}$ berechnen, die auf dem Polynomring ${}{\mathbb {C} }[U,V]$ operiert. Wir verwenden den Normalteiler ${}{\operatorname {BD} _{2}}\subseteq \operatorname {BT}$. Der Invariantenring ${}{\mathbb {C} }[U,V]^{\operatorname {BD} _{2}}$ wird nach Beispiel 8.5 von

$L=U^{4}+V^{4},\,M=U^{2}V^{2}{\text{ und }}N=UV{\left(U^{4}-V^{4}\right)}$

erzeugt mit der Relation

${}N^{2}-ML^{2}+4M^{3}=0\,.$

Auf diesem Invariantenring wirkt die Restklassengruppe ${}\operatorname {BT} /{\operatorname {BD} _{2}}\cong \mathbb {Z} /(3)$, wobei das nichttriviale Element (die ${}1$) durch

${\frac {1}{\sqrt {2}}}{\begin{pmatrix}\zeta ^{7}&\zeta ^{7}\\\zeta ^{5}&\zeta \end{pmatrix}}$

repräsentiert wird. Diese Matrix schickt ${}U$ auf ${}{\frac {1}{\sqrt {2}}}{\left(\zeta ^{7}U+\zeta ^{7}V\right)}$ und ${}V$ auf ${}{\frac {1}{\sqrt {2}}}{\left(\zeta ^{5}U+\zeta V\right)}$. Daher ist

$U^{4}\longmapsto -{\frac {1}{4}}{\left(U^{4}+4U^{3}V+6U^{2}V^{2}+4UV^{3}+V^{4}\right)}$

und

$V^{4}\longmapsto -{\frac {1}{4}}{\left(-U+V\right)}^{4}=-{\frac {1}{4}}{\left(U^{4}-4U^{3}V+6U^{2}V^{2}-4UV^{3}+V^{4}\right)}$

und damit

$L=U^{4}+V^{4}\longmapsto -{\frac {1}{2}}{\left(U^{4}+6U^{2}V^{2}+V^{4}\right)}=-{\frac {1}{2}}L-3M.$

Ferner wird ${}M=U^{2}V^{2}$ auf

${}{\begin{aligned}{\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}-2U^{2}V^{2}+V^{4}\right)}\\&={\frac {1}{4}}{\left(L-2M\right)}\\&={\frac {1}{4}}L-{\frac {1}{2}}M\end{aligned}}$

geschickt. Das Element ${}N=UV{\left(U^{4}-V^{4}\right)}$ wird auf

${}{\begin{aligned}{\frac {1}{\sqrt {2}}}{\left(\zeta ^{7}U+\zeta ^{7}V\right)}{\frac {1}{\sqrt {2}}}{\left(\zeta ^{5}U+\zeta V\right)}{\left(-2U^{3}V-2UV^{3}\right)}&=(U+V)(-U+V){\left(-U^{3}V-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)}\\&=N,\end{aligned}}$

also auf sich selbst geschickt. Neben

${}N=UV(U^{4}-V^{4})\,$

sind, wie man direkt nachrechnet, auch

${}P:=L^{2}+12M^{2}=U^{8}+14U^{4}V^{4}+V^{8}\,$

und

${}Q:=L^{3}-36LM^{2}=U^{12}-33U^{8}V^{4}-33U^{4}V^{8}+V^{12}\,$

invariant. Wegen

${}N^{4}={\left(ML^{2}-4M^{3}\right)}^{2}=M^{2}L^{4}-8M^{4}L^{2}+16M^{6}\,$

einerseits und

${}{\begin{aligned}{\left(L^{3}-36LM^{2}\right)}^{2}-{\left(L^{2}+12M^{2}\right)}^{3}&=-72L^{4}M^{2}+1296L^{2}M^{4}-36L^{4}M^{2}-432L^{2}M^{4}-1728M^{6}\\&=-108L^{4}M^{2}+864L^{2}M^{4}-1728M^{6}\\&=-108{\left(M^{2}L^{4}-8M^{4}L^{2}+16M^{6}\right)}\end{aligned}}$

andererseits haben wir zwischen diesen Invarianten die Relation

${}-108N^{4}={\left(L^{3}-36LM^{2}\right)}^{2}-{\left(L^{2}+12M^{2}\right)}^{3}\,.$

Mit ${}P=L^{2}+12M^{2}$ und ${}Q=L^{3}-36LM^{2}$ liegt also die Relation

${}Q^{2}-P^{3}+108N^{4}=0\,$

vor.

Wir müssen noch zeigen, dass damit alle Invarianten erfasst sind, dass also der Invariantenring von ${}N,P,Q$ erzeugt wird. Dazu lassen wir uns davon leiten, dass eine Operation der ${}\mathbb {Z} /(3)$ vorliegt, die von einer ${}\mathbb {Z} /(3)$- 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 ${}L\mapsto -{\frac {1}{2}}L-3M$ und ${}N\mapsto {\frac {1}{4}}L-{\frac {1}{2}}M$. Durch Diagonalisierung dieser Matrix erhält man, dass

${}A={\sqrt {3}}{\mathrm {i} }L-6M\,$

und

${}B={\sqrt {3}}{\mathrm {i} }L+6M\,$

Eigenvektoren zu den Eigenwerten ${}{\frac {-1+{\sqrt {3}}{\mathrm {i} }}{2}}$ bzw. ${}{\frac {-1-{\sqrt {3}}{\mathrm {i} }}{2}}$ sind, die dritte Einheitswurzeln sind. Wegen

${}L={\frac {1}{2{\sqrt {3}}{\mathrm {i} }}}(A+B)\,$

und

${}M={\frac {1}{12}}(B-A)\,$

kann man die definierende Gleichung (des Invariantenringes zu $BD_{2}$) in den Variablen ${}N,A,B$ als

${}{\begin{aligned}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^{2}A-BA^{2}-A^{3}\right)}+{\frac {1}{432}}{\left(B^{3}-3B^{2}A+3BA^{2}-A^{3}\right)}\\&=N^{2}+{\frac {1}{108}}{\left(B^{3}-A^{3}\right)}.\end{aligned}}$

Wir können also davon ausgehen, dass der Ring

$K[N,A,B]/{\left(N^{2}+{\frac {1}{108}}B^{3}-{\frac {1}{108}}A^{3}\right)}$

vorliegt, der ${}\mathbb {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 ${}N,A^{3},B^{3},AB$ erzeugt. Für die oben gefundenen invarianten Polynome gilt

${}{\begin{aligned}P&=L^{2}+12M^{2}\\&=-{\frac {1}{12}}{\left(A+B\right)}^{2}+{\frac {1}{12}}(B-A)^{2}\\&=-{\frac {1}{3}}AB\end{aligned}}$

und

${}{\begin{aligned}Q&=L^{3}-36LM^{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)}.\end{aligned}}$

Mit Hilfe der Relation kann man ${}A^{3}$ (und ${}B^{3}$) als Linearkombination von ${}N,P,Q$ ausdrücken. Daher sind dies Algebraerzeuger des Invariantenrings und dieser ist zu

${\mathbb {C} }[X,Y,Z]/{\left(X^{2}+Y^{3}+Z^{4}\right)}$

isomorph. Man spricht von der ${}E_{6}$-Singularität.

Die Invarianten der binären Oktaedergruppe

Wir setzen die Berechnung der Invariantenringe zu den Operationen der endlichen Untergruppen der ${}\operatorname {SU} _{2}\!{\left({\mathbb {C} }\right)}$ fort.

Beispiel Referenznummer erstellen

Zur Berechnung des Invariantenringes zur Operation der binären Oktaedergruppe ${}\operatorname {BO}$ auf ${}{\mathbb {C} }[U,V]$ benutzen wir die Normalteilerbeziehung ${}\operatorname {BT} \subseteq \operatorname {BO}$ (mit der Restklassengruppe $\mathbb {Z} /(2)$), Lemma 8.4 und Beispiel 8.7. Das Element ${}{\begin{pmatrix}\xi &0\\0&\xi ^{7}\end{pmatrix}}\in \operatorname {BO} \setminus \operatorname {BT}$, wobei ${}\xi$ eine achte primitive Einheitswurzel ist, wirkt durch ${}U\mapsto \xi U$ und ${}V\mapsto \xi ^{7}V$. Somit wird in der Darstellung

${}{\mathbb {C} }[U,V]^{\operatorname {BT} }={\mathbb {C} }[N,P,Q]/{\left(Q^{2}-P^{3}+108N^{4}\right)}\,$

das Polynom ${}N=UV{\left(U^{4}-V^{4}\right)}$ auf

${}UV{\left(-U^{4}+V^{4}\right)}=-N\,,$

${}P$ auf ${}P$ und ${}Q$ auf ${}-Q$ geschickt. Auf dem isomorphen Ring ${}{\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 ${}\mathbb {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 ${}R=XZ$ und ${}S=Z^{2}$ erzeugt (wegen $X^{2}=-Y^{3}-{\left(Z^{2}\right)}^{2}$ kann man auf ${}X^{2}$ verzichten). Zwischen ${}Y,R,S$ besteht die Relation

${}R^{2}+Y^{3}S+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

${\mathbb {C} }[X,Y,Z]/{\left(X^{2}+Y^{3}+YZ^{3}\right)}.$

Diesen Invariantenring bezeichnet man als ${}E_{7}$-Singularität.

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

$K[X,Y,Z]/{\left(X^{2}+Y^{3}+Z^{5}\right)}$

ist. Man spricht von der ${}E_{8}$-Singularität.