Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 7/latex
\setcounter{section}{7}
In den folgenden beiden Vorlesungen möchten wir die endlichen Untergruppen
\mavergleichskette
{\vergleichskette
{G
}
{ \subseteq }{ \operatorname{SL}_{ 2 } \! { \left( {\mathbb C} \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {bis auf Konjugation} {} {}
und die zugehörigen Invariantenringe
\mathl{K[U,V]^G}{} bestimmen. Es wird sich herausstellen, dass es hierzu eine überschaubare Klassifikation gibt, nämlich die ADE-Klassifikation. Die auftretenden Invariantenringe bzw. ihre Spektren
\zusatzklammer {also die Bahnenräume} {} {}
nennt man \stichwort {ADE-Singularitäten} {.} Die anvisierte Klassifikation beruht auf der Klassifikation der endlichen Bewegungsgruppen im $\R^3$. Die ADE-Singularitäten treten in vielen verschiedenen Kontexten immer wieder auf.
\zwischenueberschrift{Gruppenoperationen}
Es sei $G$ eine zumeist multiplikativ geschriebene Gruppe mit neutralem Element $e$.
\inputdefinition
{}
{
Es sei $G$ eine
\definitionsverweis {Gruppe}{}{} und $M$ eine Menge. Eine
\definitionsverweis {Abbildung}{}{}
\maabbeledisp {} {G \times M} {M
} {(g,x)} {gx
} {,}
heißt
\definitionswort {Gruppenoperation}{}
\zusatzklammer {von $G$ auf $M$} {} {,}
wenn die beiden folgenden Eigenschaften gelten.
\aufzaehlungzwei {
\mavergleichskette
{\vergleichskette
{ ex
}
{ = }{ x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {
\mavergleichskette
{\vergleichskette
{ (gh)x
}
{ = }{ g(hx)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{ g,h
}
{ \in }{ G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und für alle
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}
Man spricht auch von einer \stichwort {Aktion} {} oder einer \stichwort {Wirkung} {} der Gruppe $G$ auf $M$. Im Zusammenhang von Gruppenoperationen schreibt man die Gruppe zumeist multiplikativ, und ebenso schreibt man die Operation multiplikativ.
\inputdefinition
{}
{
Es liege eine
\definitionsverweis {Gruppenoperation}{}{}
einer
\definitionsverweis {Gruppe}{}{} $G$ auf einer Menge $M$ vor. Man nennt zwei Elemente
\mavergleichskette
{\vergleichskette
{ x, y
}
{ \in }{ M
}
{ }{}
{ }{}
{ }{}
}
{}{}{}
\definitionswortpraemath {G}{ äquivalent }{}
\zusatzklammer {oder äquivalent unter $G$} {} {,}
wenn es ein
\mavergleichskette
{\vergleichskette
{ g
}
{ \in }{ G
}
{ }{}
{ }{}
{ }{}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ y
}
{ = }{ gx
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt.
}
Diese Relation ist in der Tat eine Äquivalenzrelation, wie man sich direkt überlegen kann. Die Äquivalenzklassen bekommen einen eigenen Namen.
\inputdefinition
{}
{
Es liege eine \definitionsverweis {Gruppenoperation}{}{} einer \definitionsverweis {Gruppe}{}{} $G$ auf einer Menge $M$ vor. Die \definitionsverweis {Äquivalenzklassen}{}{} auf $M$ zur $G$-\definitionsverweis {Äquivalenz}{}{} nennt man die \definitionswort {Bahnen der Operation}{.}
}
\inputdefinition
{}
{
Es liege eine
\definitionsverweis {Gruppenoperation}{}{}
einer
\definitionsverweis {Gruppe}{}{} $G$ auf einer Menge $M$ vor. Ein Punkt
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ M
}
{ }{}
{ }{}
{ }{}
}
{}{}{}
heißt
\definitionswort {Fixpunkt der Operation}{,}
wenn
\mavergleichskette
{\vergleichskette
{gx
}
{ = }{x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist für alle
\mavergleichskette
{\vergleichskette
{ g
}
{ \in }{ G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
Ein Element
\mathl{x \in M}{} ist genau dann ein Fixpunkt der Operation, wenn die Bahn durch diesen Punkt einelementig ist.
\inputdefinition
{}
{
Es liege eine
\definitionsverweis {Gruppenoperation}{}{}
einer
\definitionsverweis {Gruppe}{}{} $G$ auf einer Menge $M$ vor. Dann nennt man die Menge der
\definitionsverweis {Bahnen}{}{}
den
\definitionswort {Bahnenraum}{}
der Operation. Er wird mit
\mathdisp {M \backslash G} { }
bezeichnet. Die Abbildung
\maabbeledisp {} {M} {M \backslash G
} {x} { [x]
} {,}
wobei $[x]$ die Bahn durch $x$ bezeichnet, heißt
\definitionswort {Quotientenabbildung}{.}
}
Der Bahnenraum ist also einfach die \definitionsverweis {Quotientenmenge}{}{} der Äquivalenzrelation, die durch die Gruppenoperation festgelegt wird, und die angegebene Quotientenabbildung ist die zugehörige \definitionsverweis {kanonische Projektion}{}{.}
\zwischenueberschrift{Lineare Gruppenoperationen auf dem $K^d$ }
Wichtige Gruppenoperationen ergeben sich auf dem $K^d$ ergeben sich, wenn man eine endliche Untergruppe
\mavergleichskette
{\vergleichskette
{G
}
{ \subseteq }{ \operatorname{GL}_{ d } \! { \left( K \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
betrachtet und die natürliche Operation der allgemeinen linearen Gruppe
\mathl{\operatorname{GL}_{ d } \! { \left( K \right) }}{}
\zusatzklammer {also die Gruppe der invertierbaren
\mathl{d \times d}{-}Matrizen} {} {}
auf dem $K^d$ auf $G$ einschränkt. Jedes Gruppenelement
\mavergleichskette
{\vergleichskette
{g
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
wirkt durch die entsprechende Matrix
\mavergleichskettedisp
{\vergleichskette
{g
}
{ =} { { \left( g_{ij} \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
also
\mathdisp {\begin{pmatrix} x_1 \\ \vdots\\ x_d \end{pmatrix} \mapsto g \begin{pmatrix} x_1 \\ \vdots\\ x_d \end{pmatrix}} { . }
Die Bahn durch einem Punkt
\mavergleichskettedisp
{\vergleichskette
{P
}
{ \in} {K^d
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
besteht aus den höchstens
\mathl{{ \# \left( G \right) }}{} Punkten
\mathl{{ \left\{ g(P) \mid g \in G \right\} }}{.} Wir fragen uns, in Anschluss an
Beispiel 1.5,
inwiefern die Quotientenmenge
\mathl{K^n/ \sim_G}{} eine affin-algebraische Menge ist und wie die Singularitäten darauf aussehen. Wir machen folgenden Ansatz: Wenn man
\mavergleichskette
{\vergleichskette
{V
}
{ = }{K^n/ \sim_G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
affin-algebraisch realisieren kann, so gibt es auch einen affinen Koordinatenring $S$ dazu. Dieser besteht aus gewissen polynomialen Funktion auf $V$. Eine solche Funktion $f$ ergibt mit Hilfe der kanonischen Projektion $\varphi$ auf die Quotientenmenge über die Hintereinanderschaltung
\mathdisp {K^n \stackrel{\varphi}{ \longrightarrow} V \stackrel{f}{\longrightarrow } K} { }
eine Funktion
\mavergleichskette
{\vergleichskette
{h
}
{ = }{f \circ \varphi
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
auf $K^n$, also ein Polynom aus
\mathl{K[X_1 , \ldots , X_d]}{.} Da $h$ auf den Bahnen zurr Operation konstant ist, gilt
\mavergleichskette
{\vergleichskette
{ h(P)
}
{ = }{ h(g(P))
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle Punkte
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{K^d
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und alle
\mavergleichskette
{\vergleichskette
{g
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dabei kann man
\mathl{h(g(P))}{} auch so verstehen, dass dem Polynom $h$ ein neues Polynom
\mathl{hg}{}
zugeordnet wird und darin der Punkt $P$ eingesetzt wird. Dabei ergibt sich die Abbildung
\maabbeledisp {} {K[X_1 , \ldots , X_d]} {K[X_1 , \ldots , X_d]
} {h} { hg
} {,}
als Einsetzungshomomorphimus zu
\mathl{X_i \mapsto \sum_{j = 1}^d g_{ij} X_j}{.} Die geometrische Operation auf dem Raum $K^d$ induziert also auch eine algebraische Operation auf dem Ring der Polynomfunktionen, und die Bedingung
\mavergleichskette
{\vergleichskette
{ h(P)
}
{ = }{ h(g(P))
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
wird zur Bedingung, dass $h$ ein invariantes Polynom unter der Operation sein muss.
\zwischenueberschrift{Invariantenringe}
Da eine Operation einer Gruppe von links auf einem geometrischen Objekt in natürlicher Weise zu einer Operation von rechts auf dem Ring der Funktionen führt, werden wir im Folgenden die Operationen auf einem Ring generell von rechts schreiben.
\inputdefinition
{}
{
Es sei $G$ eine
\definitionsverweis {Gruppe}{}{,}
die auf einem
\definitionsverweis {kommutativen Ring}{}{} $R$ als Gruppe von
\definitionsverweis {Ringautomorphismen}{}{} operiert
\zusatzklammer {von rechts} {} {.}
Dann bezeichnet man
\mavergleichskettedisp
{\vergleichskette
{R^G
}
{ =} { { \left\{ f\in R \mid f \sigma = f \text{ für alle } \sigma \in G \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
als den
\definitionswort {Invariantenring}{}
\zusatzklammer {oder
\definitionswort {Fixring}{}} {} {}
von $R$ unter der Operation von $G$.
}
Das ist in der Tat wieder ein Ring, ein Unterring von $R$. Die $0$ und die $1$ sind invariant, da alle
\mathl{\sigma\in G}{} als Ringautomorphismen operieren. Ebenso ist mit invarianten Funktionen
\mathl{f,g \in R^G}{} auch das Negative $-f$, deren Summe
\mathl{f+g}{} und deren Produkt
\mathl{fg}{} invariant.
Es sei $R$ eine
\definitionsverweis {kommutative}{}{}
$K$-\definitionsverweis {Algebra}{}{}
über einem
\definitionsverweis {Körper}{}{}
und es sei $G$ eine
\definitionsverweis {Gruppe}{}{,}
die als Gruppe von
$K$-\definitionsverweis {Algebraautomorphismen}{}{}
operiere. Zu jedem
\mathl{\sigma \in G}{} sei also
\maabbdisp {\sigma} { R} {R
} {}
ein $K$-Algebrahomomorphismus. Dann ist
\mavergleichskette
{\vergleichskette
{K
}
{ \subseteq }{R^G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und der
\definitionsverweis {Fixring}{}{}
$R^G$ ist selbst eine $K$-Algebra.
\zwischenueberschrift{Eine Liste von Untergruppen der \mathlk{\operatorname{SL}_{ 2 } \! { \left( {\mathbb C} \right) }}{}}
Wir betrachten die folgenden Beispiele von endlichen Untergruppen der
\mathl{\operatorname{SL}_{ 2 } \! { \left( {\mathbb C} \right) }}{.} Wir werden später sehen, dass diese Liste bis auf Konjugation vollständig ist.
\inputbeispiel{}
{
Die
\definitionsverweis {zyklische Gruppe}{}{}
der Ordnung $n$ lässt sich einfach als eine
\definitionsverweis {Untergruppe}{}{}
der
\mathl{\operatorname{SL}_{ 2 } \! { \left( {\mathbb C} \right) }}{} realisieren. Dazu sei $\zeta$ eine $n$-te komplexe
\definitionsverweis {primitive Einheitswurzel}{}{,}
beispielsweise
\mavergleichskette
{\vergleichskette
{ \zeta
}
{ = }{ e^{ { \frac{ 2 \pi { \mathrm i} }{ n } } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Die von
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} \zeta & 0 \\ 0 & \zeta^{n-1} \end{pmatrix}
}
{ =} { \begin{pmatrix} \zeta & 0 \\ 0 & \zeta^{-1} \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\definitionsverweis {erzeugte Untergruppe}{}{,}
also
\mavergleichskettedisp
{\vergleichskette
{ { \left\{ \begin{pmatrix} \zeta^{j} & 0 \\ 0 & \zeta^{-j} \end{pmatrix} \mid j =0 , \ldots , n-1 \right\} }
}
{ \subseteq} { \operatorname{SL}_{ 2 } \! { \left( {\mathbb C} \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
ist eine zyklische Gruppe der Ordnung $n$. Diese Untergruppe wird mit $Z_n$ bezeichnet.
}
\inputbeispiel{}
{
Es sei
\mathl{n \in \N_+}{} und sei $\zeta$ eine $2n$-te komplexe
\definitionsverweis {primitive Einheitswurzel}{}{,}
beispielsweise
\mavergleichskettedisp
{\vergleichskette
{ \zeta
}
{ =} { e^{ { \frac{ 2 \pi { \mathrm i} }{ 2n } } }
}
{ =} { e^{ { \frac{ \pi { \mathrm i} }{ n } } }
}
{ } {
}
{ } {
}
}
{}{}{.}
Die von den Matrizen
\mathdisp {A= A_{2n} = \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}{}{}
der
\mathl{\operatorname{SL}_{ 2 } \! { \left( {\mathbb C} \right) }}{} heißt die \stichwort {binäre Diedergruppe} {.} Sie wird mit $BD_n$ bezeichnet. Das Element $A$ besitzt die Ordnung $2n$ und es ist
\mavergleichskettedisp
{\vergleichskette
{A^n
}
{ =} { \begin{pmatrix} \zeta^n & 0 \\ 0 & \zeta^{-n} \end{pmatrix}
}
{ =} { \begin{pmatrix} -1 & 0 \\ 0 & -1 \end{pmatrix}
}
{ =} { B^2
}
{ } {
}
}
{}{}{.}
Insbesondere besitzt $B$ die Ordnung $4$. Es ist
\mavergleichskettedisp
{\vergleichskette
{ BA
}
{ =} { \begin{pmatrix} 0 & { \mathrm i} \\ { \mathrm i} & 0 \end{pmatrix} \begin{pmatrix} \zeta & 0 \\ 0 & \zeta^{-1} \end{pmatrix}
}
{ =} { \begin{pmatrix} 0 & { \mathrm i} \zeta^{-1} \\ { \mathrm i} \zeta & 0 \end{pmatrix}
}
{ =} { \begin{pmatrix} \zeta^{-1} & 0 \\ 0 & \zeta \end{pmatrix} \begin{pmatrix} 0 & { \mathrm i} \\ { \mathrm i} & 0 \end{pmatrix}
}
{ =} { A^{2n-1} B
}
}
{}{}{.}
Somit lassen sich alle Elemente der Gruppe als
\mathbeddisp {A^{i} B^{j}} {mit}
{0 \leq i \leq 2n-1,\, 0 \leq j \leq 1} {}
{} {} {} {,}
schreiben. Da $B$ nicht zu der von $A$ erzeugten Untergruppe gehört und
\zusatzklammer {bei
\mathl{n \geq 2}{}} {} {}
umgekehrt, ist diese Darstellung bei
\mathl{n \geq 2}{} eindeutig und
\mathl{BD_n}{} besitzt genau $4n$ Elemente. Es liegt die Untergruppenbeziehung
\mavergleichskette
{\vergleichskette
{ Z_{2n}
}
{ \subseteq }{ BD_n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
vom
\definitionsverweis {Index}{}{}
$2$ vor.
}
\inputbeispiel{}
{
Die Matrizen
\mathdisp {A = A_8= \begin{pmatrix} \zeta & 0 \\ 0 & \zeta^7 \end{pmatrix} ,\, B = \begin{pmatrix} 0 & { \mathrm i} \\ { \mathrm i} & 0 \end{pmatrix} \text{ und } C = { \frac{ 1 }{ \sqrt{2} } } \begin{pmatrix} \zeta^7 & \zeta^7 \\ \zeta^5 & \zeta \end{pmatrix}} { , }
wobei $\zeta$ eine primitive achte Einheitswurzel ist, erzeugen eine Untergruppe von
\mathl{\operatorname{SL}_{ 2 } \! { \left( {\mathbb C} \right) }}{.} Die
\definitionsverweis {Ordnungen}{}{}
dieser Elemente ergeben sich folgendermaßen. Es ist
\mavergleichskettedisp
{\vergleichskette
{ A^4
}
{ =} { \begin{pmatrix} -1 & 0 \\ 0 & -1 \end{pmatrix}
}
{ =} {B^2
}
{ } {
}
{ } {
}
}
{}{}{,}
also besitzt $A$ die Ordnung $8$ und $B$ die Ordnung $4$. Mit
\mavergleichskettedisp
{\vergleichskette
{ \zeta
}
{ =} { e^{ { \frac{ 2 \pi { \mathrm i} }{ 8 } } }
}
{ =} { e^{ { \frac{ \pi { \mathrm i} }{ 4 } } }
}
{ =} { { \frac{ 1+ { \mathrm i} }{ \sqrt{2} } }
}
{ } {
}
}
{}{}{}
ist
\mavergleichskettealign
{\vergleichskettealign
{C^3
}
{ =} { { \frac{ 1 }{ 2 \sqrt{2} } } \begin{pmatrix} \zeta^7 & \zeta^7 \\ \zeta^5 & \zeta \end{pmatrix} \begin{pmatrix} \zeta^7 & \zeta^7 \\ \zeta^5 & \zeta \end{pmatrix} \begin{pmatrix} \zeta^7 & \zeta^7 \\ \zeta^5 & \zeta \end{pmatrix}
}
{ =} { { \frac{ 1 }{ 2 \sqrt{2} } } \begin{pmatrix} \zeta^6 + \zeta^4 & \zeta^6+1 \\ \zeta^4 + \zeta^6 & \zeta^4+\zeta^2 \end{pmatrix} \begin{pmatrix} \zeta^7 & \zeta^7 \\ \zeta^5 & \zeta \end{pmatrix}
}
{ =} { { \frac{ 1 }{ 2 \sqrt{2} } } \begin{pmatrix} \zeta^5 + \zeta^3 +\zeta^3 + \zeta^5 & \zeta^5 + \zeta^3 +\zeta^7 + \zeta \\ \zeta^3 + \zeta^5 +\zeta + \zeta^7 & \zeta^3 + \zeta^5 +\zeta^5 + \zeta^3 \end{pmatrix}
}
{ =} { \begin{pmatrix} -1 & 0 \\ 0 & -1 \end{pmatrix}
}
}
{}
{}{,}
so dass die Ordnung von $C$ gleich $6$ ist. Jedes Element dieser Gruppe kann man als
\mathl{A^{i}B^{j}C^{k}}{} schreiben, wobei die Exponenten jeweils maximal bis zur Ordnung der Matrizen laufen. Um das einzusehen muss man untersuchen, was passiert, wenn man ein solches Element mit
\mathkor {} {A} {oder} {B} {}
rechterhand multipliziert. Es ist
\mavergleichskettealign
{\vergleichskettealign
{C A
}
{ =} { { \frac{ 1 }{ \sqrt{2} } } \begin{pmatrix} \zeta^7 & \zeta^7 \\ \zeta^5 & \zeta \end{pmatrix} \begin{pmatrix} \zeta & 0 \\ 0 & \zeta^7 \end{pmatrix}
}
{ =} { { \frac{ 1 }{ \sqrt{2} } } \begin{pmatrix} 1 & \zeta^6 \\ \zeta^6 & 1 \end{pmatrix}
}
{ =} { { \frac{ 1 }{ 2 } } \begin{pmatrix} \sqrt{2} & -\sqrt{2} { \mathrm i} \\ -\sqrt{2} { \mathrm i} & \sqrt{2} \end{pmatrix}
}
{ =} { { \frac{ 1 }{ 2 } } \begin{pmatrix} \zeta +\zeta^7 & \zeta^5 + \zeta^7 \\ \zeta^7 + \zeta^5 & \zeta^7 + \zeta \end{pmatrix}
}
}
{
\vergleichskettefortsetzungalign
{ =} { { \frac{ 1 }{ 2 } } \begin{pmatrix} \zeta & 0 \\ 0 & \zeta^7 \end{pmatrix} \begin{pmatrix} 1 +\zeta^6 & \zeta^4 + \zeta^6 \\ 1 + \zeta^6 & 1 + \zeta^2 \end{pmatrix}
}
{ =} { { \frac{ 1 }{ 2 } } \begin{pmatrix} \zeta & 0 \\ 0 & \zeta^7 \end{pmatrix} \begin{pmatrix} 0 & { \mathrm i} \\ { \mathrm i} & 0 \end{pmatrix} \begin{pmatrix} \zeta^6+ \zeta^4 & \zeta^6+1 \\ \zeta^4+ \zeta^6 & \zeta^4 + \zeta^2 \end{pmatrix}
}
{ =} { { \frac{ 1 }{ 2 } } \begin{pmatrix} \zeta & 0 \\ 0 & \zeta^7 \end{pmatrix} \begin{pmatrix} 0 & { \mathrm i} \\ { \mathrm i} & 0 \end{pmatrix} \begin{pmatrix} \zeta^7 & \zeta^7 \\ \zeta^5 & \zeta \end{pmatrix}^2
}
{ =} { A B C^2
}
}
{}{,}
man kann also $A$ von rechts an $C$ vorbeischieben.
Wegen
\mavergleichskettealign
{\vergleichskettealign
{CB
}
{ =} { { \frac{ 1 }{ \sqrt{2} } } \begin{pmatrix} \zeta^7 & \zeta^7 \\ \zeta^5 & \zeta \end{pmatrix} \begin{pmatrix} 0 & { \mathrm i} \\ { \mathrm i} & 0 \end{pmatrix}
}
{ =} { { \frac{ 1 }{ \sqrt{2} } } \begin{pmatrix} \zeta & \zeta \\ \zeta^3 & \zeta^7 \end{pmatrix}
}
{ =} { { \frac{ 1 }{ \sqrt{2} } } \begin{pmatrix} { \mathrm i} & 0 \\ 0 & -{ \mathrm i} \end{pmatrix} \begin{pmatrix} \zeta^7 & \zeta^7 \\ \zeta^5 & \zeta \end{pmatrix}
}
{ =} {A^2 C
}
}
{}
{}{}
kann man $B$ von rechts an $C$ vorbeischieben. Wegen
\mavergleichskettealign
{\vergleichskettealign
{BA
}
{ =} { \begin{pmatrix} 0 & { \mathrm i} \\ { \mathrm i} & 0 \end{pmatrix} \begin{pmatrix} \zeta & 0 \\ 0 & \zeta^7 \end{pmatrix}
}
{ =} { \begin{pmatrix} 0 & \zeta \\ \zeta^3 & 0 \end{pmatrix}
}
{ =} { \begin{pmatrix} \zeta^7 & 0 \\ 0 & \zeta \end{pmatrix} \begin{pmatrix} 0 & { \mathrm i} \\ { \mathrm i} & 0 \end{pmatrix}
}
{ =} { \begin{pmatrix} \zeta & 0 \\ 0 & \zeta^7 \end{pmatrix}^7 \begin{pmatrix} 0 & { \mathrm i} \\ { \mathrm i} & 0 \end{pmatrix}
}
}
{
\vergleichskettefortsetzungalign
{ =} { A^7 B
}
{ } {}
{ } {}
{ } {}
}
{}{}
kann man $B$ von rechts an $A$ vorbeischieben. Wegen
\mavergleichskettedisp
{\vergleichskette
{C^3
}
{ =} { \begin{pmatrix} -1 & 0 \\ 0 & -1 \end{pmatrix}
}
{ =} { A^4
}
{ =} { B^2
}
{ } {
}
}
{}{}{}
kann man sogar jedes Gruppenelement als
\mathbeddisp {A^{i}B^{j}C^{k}} {mit}
{0 \leq i \leq 7,\, 0 \leq j \leq 1,\, 0 \leq k \leq 2,\,} {}
{} {} {} {}
schreiben.
Wir zeigen, dass es unter diesen Elementen keine Wiederholungen gibt. Die Produkte
\mathbed {A^{i}B^{j}} {mit}
{0 \leq i \leq 7,\, 0 \leq j \leq 1,} {}
{} {} {} {}
bilden nach
Beispiel 7.8
die
\definitionsverweis {binäre Diedergruppe}{}{}
\mathl{BD_4}{} der Ordnung $16$, dort gibt es also keine Wiederholungen. Also enthält die Gruppe eine Untergruppe der Ordnung $16$ aber auch eine Untergruppe der Ordnung $3$
\zusatzklammer {die von $C^2$ erzeugte Untergruppe} {} {,}
also muss ihre Ordnung $48$ sein
\zusatzklammer {und in den obigen Produkten kann es keine Wiederholung geben} {} {.}
Es handelt sich also um eine Gruppe mit $48$ Elementen, die die \stichwort {binäre Oktaedergruppe} {} heißt. Sie wird mit $BO$ bezeichnet. Es liegt die Untergruppenbeziehung
\mavergleichskettedisp
{\vergleichskette
{ Z_8
}
{ \subseteq} {BD_4
}
{ \subseteq} {BO
}
{ } {
}
{ } {
}
}
{}{}{}
vor.
}
\inputbeispiel{}
{
Es seien
\mathdisp {A = \begin{pmatrix} \zeta & 0 \\ 0 & \zeta^7 \end{pmatrix} ,\, B = \begin{pmatrix} 0 & { \mathrm i} \\ { \mathrm i} & 0 \end{pmatrix} \text{ und } C = { \frac{ 1 }{ \sqrt{2} } } \begin{pmatrix} \zeta^7 & \zeta^7 \\ \zeta^5 & \zeta \end{pmatrix}} { , }
wobei $\zeta$ eine primitive achte Einheitswurzel ist, die Erzeuger der
\definitionsverweis {binären Oktaedergruppe}{}{}
\mathl{BO}{.} Die darin von
\mathl{A^2,B,C}{} erzeugte Untergruppe besteht aus allen Elementen
\mathbed {A^{2i}B^{j}C^k} {mit}
{0 \leq i \leq 3,\, 0 \leq j \leq 1,\, 0 \leq k \leq 2} {}
{} {} {} {,}
wie ähnliche Berechnungen wie die aus
Beispiel 7.9
zeigen, und besitzt demnach $24$ Elemente. Diese Gruppe nennt man die \stichwort {binäre Tetraedergruppe} {,} sie wird mit $BT$ bezeichnet.
}
\inputbeispiel{}
{
Es sei $\xi$ eine
\definitionsverweis {primitive}{}{}
$5$-te komplexe Einheitswurzel. Wir setzen
\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}} { . }
Die von diesen Elementen erzeugte Untergruppe der
\mathl{\operatorname{SL}_{ 2 } \! { \left( {\mathbb C} \right) }}{} heißt die \stichwort {binäre Ikosaedergruppe} {.} Es ist
\mavergleichskettedisp
{\vergleichskette
{E^5
}
{ =} { \begin{pmatrix} -1 & 0 \\ 0 & -1 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und somit besitzt $E$ die
\definitionsverweis {Ordnung}{}{}
$10$. Wegen
\mavergleichskettealign
{\vergleichskettealign
{F^2
}
{ =} { { \frac{ 1 }{ 5 } } \begin{pmatrix} - \xi + \xi^4 & \xi^2-\xi^3 \\ \xi^2-\xi^3 & \xi -\xi^4 \end{pmatrix} \cdot \begin{pmatrix} - \xi + \xi^4 & \xi^2-\xi^3 \\ \xi^2-\xi^3 & \xi -\xi^4 \end{pmatrix}
}
{ =} { { \frac{ 1 }{ 5 } } \begin{pmatrix} \xi^2 + \xi^3 -2+ \xi^4+\xi -2 & 0 \\ 0 & \xi^4+\xi -2+\xi^2 + \xi^3 -2 \end{pmatrix}
}
{ =} { { \frac{ 1 }{ 5 } } \begin{pmatrix} -5 & 0 \\ 0 & -5 \end{pmatrix}
}
{ =} { \begin{pmatrix} -1 & 0 \\ 0 & -1 \end{pmatrix}
}
}
{}
{}{}
besitzt $F$ die Ordnung $4$. Ferner ist
\mavergleichskettealign
{\vergleichskettealign
{EF
}
{ =} { - \begin{pmatrix} \xi^3 & 0 \\ 0 & \xi^2 \end{pmatrix} \cdot { \frac{ 1 }{ \sqrt{5} } } \begin{pmatrix} - \xi + \xi^4 & \xi^2-\xi^3 \\ \xi^2-\xi^3 & \xi -\xi^4 \end{pmatrix}
}
{ =} { - { \frac{ 1 }{ \sqrt{5} } } \begin{pmatrix} - \xi^4 + \xi^2 & 1-\xi \\ \xi^4- 1 & \xi^3 -\xi \end{pmatrix}
}
{ } {
}
{ } {
}
}
{}
{}{.}
Dabei ist
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ \begin{pmatrix} - \xi^4 + \xi^2 & 1-\xi \\ \xi^4- 1 & \xi^3 -\xi \end{pmatrix} \cdot \begin{pmatrix} - \xi^4 + \xi^2 & 1-\xi \\ \xi^4- 1 & \xi^3 -\xi \end{pmatrix}
}
{ =} { \begin{pmatrix} 2 \xi^4 + \xi^3- \xi -2 & -2 \xi^4 +2 \xi^2 - \xi +1 \\ \xi^4-2 \xi^3 +2\xi -1 & - \xi^4 + \xi^2 +2 \xi -2 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}
{}{}
und
\zusatzklammer {unter Verwendung von
\mavergleichskettek
{\vergleichskettek
{ \xi^2+\xi^3
}
{ = }{ - { \frac{ 1 + \sqrt{5} }{ 2 } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ \begin{pmatrix} - \xi^4 + \xi^2 & 1-\xi \\ \xi^4- 1 & \xi^3 -\xi \end{pmatrix}^3
}
{ =} { \begin{pmatrix} 2 \xi^4 + \xi^3- \xi -2 & -2 \xi^4 +2 \xi^2 - \xi +1 \\ \xi^4-2 \xi^3 +2\xi -1 & - \xi^4 + \xi^2 +2 \xi -2 \end{pmatrix} \cdot \begin{pmatrix} - \xi^4 + \xi^2 & 1-\xi \\ \xi^4- 1 & \xi^3 -\xi \end{pmatrix}
}
{ =} { \begin{pmatrix} 5 \xi^4 -5 \xi^3 -5 \xi^2 +5 \xi & 0 \\ 0 & 5 \xi^4 -5 \xi^3 -5 \xi^2 +5 \xi \end{pmatrix}
}
{ =} { \begin{pmatrix} -5 -10 { \left( \xi^3+ \xi^2 \right) } & 0 \\ 0 & -5 -10 { \left( \xi^3+ \xi^2 \right) } \end{pmatrix}
}
{ =} { \begin{pmatrix} 5 \sqrt{5} & 0 \\ 0 & 5 \sqrt{5} \end{pmatrix}
}
}
{}
{}{,}
also ist
\mavergleichskettedisp
{\vergleichskette
{(EF)^3
}
{ =} { \begin{pmatrix} -1 & 0 \\ 0 & -1 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und die Ordnung von $EF$ ist $6$. Diese Gruppe besitzt
\mathl{120}{} Elemente und heißt die \stichwort {binäre Ikosaedergruppe} {,} sie wird mit $BI$ bezeichnet.
}
\inputfaktbeweisnichtvorgefuehrt
{SLnC/Endliche Untergruppe/Konjugiert zu SUnC/Fakt}
{Lemma}
{}
{
\faktsituation {Jede endliche
\definitionsverweis {Untergruppe}{}{}
\mathl{G \subseteq \operatorname{SL}_{ n } \! { \left( {\mathbb C} \right) }}{}}
\faktfolgerung {ist zu einer Untergruppe der
\mathl{\operatorname{SU}_{ n } \! { \left( {\mathbb C} \right) }}{}
\definitionsverweis {konjugiert}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Es sei
\mathl{\left\langle - , - \right\rangle}{} das
\definitionsverweis {Standardskalarprodukt}{}{}
auf dem ${\mathbb C}^n$. Wir definieren zuerst unter Bezug auf die endliche Gruppe
\mavergleichskettedisp
{\vergleichskette
{G
}
{ \subseteq} {\operatorname{SL}_{ n } \! { \left( {\mathbb C} \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ein neues
\definitionsverweis {Skalarprodukt}{}{}
auf ${\mathbb C}^n$, nämlich
\mavergleichskettedisp
{\vergleichskette
{\Phi(w,z)
}
{ \defeq} { { \frac{ 1 }{ { \# \left( G \right) } } } \sum_{ \sigma \in G} \left\langle \sigma w , \sigma z \right\rangle
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Nach Aufgabe 7.18
handelt es sich in der Tat um ein Skalarprodukt. Für ein Gruppenelement
\mathl{\tau \in G}{} ist ferner
\mavergleichskettedisp
{\vergleichskette
{ \Phi( \tau w , \tau z)
}
{ =} { { \frac{ 1 }{ { \# \left( G \right) } } } \sum_{ \sigma \in G} \left\langle \sigma \tau w , \sigma \tau z \right\rangle
}
{ =} { { \frac{ 1 }{ { \# \left( G \right) } } } \sum_{ \sigma \in G} \left\langle \sigma w , \sigma z \right\rangle
}
{ =} {\Phi( w , z)
}
{ } {
}
}
{}{}{,}
da ja insgesamt über die gleichen Gruppenelemente aufsummiert wird. Die zu $G$ gehörenden linearen Abbildungen sind also
\definitionsverweis {unitär}{}{}
bezüglich $\Phi$. Es sei
\mathl{u_1 , \ldots , u_n}{} eine
\definitionsverweis {Orthonormalbasis}{}{}
von ${\mathbb C}^n$ bezüglich $\Phi$ und sei $M$ die Matrix, deren Spalten die $u_i$ sind. Wir betrachten die konjugierte Gruppe
\mavergleichskettedisp
{\vergleichskette
{H
}
{ \defeq} { M^{-1} G M
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
also
\mavergleichskettedisp
{\vergleichskette
{H
}
{ =} { { \left\{ M^{-1} \sigma M \mid \sigma \in G \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dabei gilt die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ \left\langle w , z \right\rangle
}
{ =} {\Phi ( Mw, Mz )
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
da dies für die Standardbasis git. Für
\mathl{\tau \in H}{} und
\mathl{w,z \in {\mathbb C}^n}{} gilt
\mavergleichskettealign
{\vergleichskettealign
{ \left\langle \tau w , \tau z \right\rangle
}
{ =} { \left\langle M^{-1} \sigma M w , M^{-1} \sigma M z \right\rangle
}
{ =} { \Phi ( \sigma Mw, \sigma Mz )
}
{ =} { \Phi ( Mw, Mz )
}
{ =} { \left\langle w , z \right\rangle
}
}
{}
{}{,}
d.h. $H$ ist bezüglich des Standardskalarproduktes unitär. Wegen
\mavergleichskettedisp
{\vergleichskette
{\tau
}
{ =} { M^{-1} \sigma M
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mathl{\sigma \in \operatorname{SL}_{ n } \! { \left( {\mathbb C} \right) }}{} besitzt auch $\tau$ die
\definitionsverweis {Determinante}{}{}
$1$, und daher ist
\mathl{H \subseteq \operatorname{SU}_{ n } \! { \left( {\mathbb C} \right) }}{.}
\zwischenueberschrift{Die Beziehung zwischen \mathlk{\operatorname{SL}_{ 2 } \! { \left( {\mathbb C} \right) }}{} und \mathlk{\operatorname{SO}_{ 3 } \! { \left( \R \right) }}{} }
Für die Klassifikation der endlichen Untergruppen der
\mathl{\operatorname{SL}_{ 2 } \! { \left( {\mathbb C} \right) }}{} werden wir die platonische Klassifikation der endlichen Untergruppen der
\mathl{\operatorname{SO}_{ 3 } \! { \left( \R \right) }}{} heranziehen. Die Beziehung zwischen diesen beiden Fragestellungen beruht darauf, dass einerseits die
\mathl{\operatorname{SL}_{ 2 } \! { \left( {\mathbb C} \right) }}{} auf der komplex-projektiven Geraden
\mathl{{\mathbb P}^{1}_{{\mathbb C} }}{} und andererseits die Isometrien des $\R^3$ auf der 2-Sphäre
\mavergleichskettedisp
{\vergleichskette
{S^2
}
{ \subseteq} { \R^3
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
operiert. Die Homöomorphie
\mavergleichskette
{\vergleichskette
{ {\mathbb P}^{1}_{{\mathbb C}}
}
{ \cong }{ S^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ermöglicht einen Zusammenhang zwischen diesen Gruppen und ihren endlichen Untergruppen.
Die projektive komplexe Gerade
\mathl{{\mathbb P}^{1}_{{\mathbb C}}}{} ist die Menge aller Geraden im ${\mathbb C}^2$ durch den Nullpunkt; sie ist topologisch betrachtet eine Sphäre $S^2$. Diesen Zusammenhang kann man explizit machen, indem man als Zwischenschritt mit
\mathl{{\mathbb C} \cup \{\infty\}}{} arbeitet. Diese erweiterte komplexe Ebene steht einerseits mit der projektiven Geraden
\zusatzklammer {${\mathbb C}$ ist eine affine Karte der projektiven Gerade, die den \anfuehrung{unendlich fernen Punkt}{} $\infty$ nicht enthält} {} {}
und andererseits mit der Sphäre über die
\definitionsverweis {stereographische Projektion}{}{}
in Bijektion
\zusatzklammer {$\infty$ entspricht dabei dem Nordpol} {} {.}
Eine komplexe Zahl
\mathl{u \in {\mathbb C}}{} definiert die von
\mathl{(u,1) \in {\mathbb C}^2}{} erzeugte Gerade und damit den Punkt
\zusatzklammer {in homogenen Koordinaten} {} {}
\mathl{(u:1)}{} der komplex-projektiven Geraden
\mathl{{\mathbb P}^{1}_{{\mathbb C}}}{.} Die Umkehrabbildung ist durch
\mathl{(u:v) \mapsto { \frac{ u }{ v } }}{} gegeben, die für
\mavergleichskette
{\vergleichskette
{v
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
definiert ist. Dem Punkt
\mathl{(1,0)}{} entspricht der unendlich ferne Punkt $\infty$.
Die Umkehrabbildung der stereographischen Projektion ist die Abbildung
\maabbeledisp {} {{\mathbb C} \cong \R^2} { S^2 \setminus \{N\}
} {z = a+b { \mathrm i} } { { \frac{ 1 }{ 1+ \betrag { z }^2 } } \left( 2
\operatorname{Re} \, { \left( z \right) } , \, 2 \operatorname{Im} \, { \left( z \right) } , \, \betrag { z }^2-1 \right) = { \frac{ 1 }{ 1+ a^2 +b^2 } } \left( 2 a , \, 2b , \, a^2+b^2-1 \right)
} {.}
Die Gesamtabbildung
\mathdisp {{\mathbb P}^{1}_{{\mathbb C}} \setminus \{(1:0)\} \longrightarrow {\mathbb C} \longrightarrow S^2 \setminus \{N \}} { }
besitzt insgesamt die Beschreibung
\mathdisp {(u:v) \longmapsto { \frac{ 1 }{ 1+ \betrag { { \frac{ u }{ v } } }^2 } } \left( 2
\operatorname{Re} \, { \left( { \frac{ u }{ v } } \right) } , \, 2 \operatorname{Im} \, { \left( { \frac{ u }{ v } } \right) } , \, \betrag { { \frac{ u }{ v } } }^2 -1 \right)} { . }
Mit
\mathkor {} {u=a+b { \mathrm i}} {und} {v=c+d { \mathrm i}} {}
schreibt man dies
\zusatzklammer {unter Verwendung von
\mavergleichskettek
{\vergleichskettek
{\betrag { v }^2
}
{ = }{ v \overline{ v }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
als
\mavergleichskettealigndrucklinks
{\vergleichskettealigndrucklinks
{{ \frac{ 1 }{ 1+ \betrag { { \frac{ u }{ v } } }^2 } } \left( 2
\operatorname{Re} \, { \left( { \frac{ u }{ v } } \right) } , \, 2 \operatorname{Im} \, { \left( { \frac{ u }{ v } } \right) } , \, \betrag { { \frac{ u }{ v } } }^2 -1 \right)
}
{ =} { { \frac{ 1 }{ \betrag { u }^2+ \betrag { v }^2 } } \left( 2
\operatorname{Re} \, { \left( u \overline{ v } \right) } , \, 2 \operatorname{Im} \, { \left( u \overline{ v } \right) } , \, \betrag { u }^2 - \betrag { v }^2 \right)
}
{ =} { { \frac{ 1 }{ a^2+ b^2 +c^2+d^2 } } \left( 2 ac+2bd , \, 2 bc-2ad , \, a^2+b^2-c^2-d^2 \right)
}
{ } {
}
{ } {
}
}
{}{}{.}
Diese Formel zeigt, dass die Abbildung für alle
\mavergleichskette
{\vergleichskette
{ (u:v)
}
{ \in }{ {\mathbb P}^{1}_{{\mathbb C}}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
definiert ist, wobei
\mathl{(1:0)}{} auf den Nordpol
\mathl{(0,0,1)}{} abgebildet wird. Es liegt also eine explizite Bijektion
\maabb {} { {\mathbb P}^{1}_{{\mathbb C}} } { S^2
} {}
vor. Die Umkehrabbildung ist
\zusatzklammer {für \mathlk{(x_1,x_2,x_3) \neq (0,0,1)}{} mit \mathlk{x_1^2 + x_2^2 +x_3^2 = 1}{}} {} {}
durch
\mathdisp {(x_1,x_2,x_3) \longmapsto \left( x_1+x_2 { \mathrm i} :1-x_3 \right)} { }
gegeben. Wenn man eine normierte Repräsentierung dieses Punktes erhalten möchte, so muss man durch
\mathl{\sqrt{2-2x_3}}{} dividieren.
Insbesondere erhält man eine explizite \zusatzklammer {in den natürlichen Topologien stetige} {} {} Abbildung \maabbdisp {} {{\mathbb C}^2 \setminus \{(0,0)\}} { S^2 } {,} deren Fasern genau die punktierten komplexen Geraden sind.
Die natürliche Operation der
\mathl{\operatorname{GL}_{ 2 } \! { \left( {\mathbb C} \right) }}{} auf ${\mathbb C}^2$
\zusatzgs {und das gilt auch für jede endliche Untergruppe \mathlk{G \subseteq \operatorname{GL}_{ 2 } \! { \left( {\mathbb C} \right) }}{}} {}
induziert eine Operation auf der Menge der eindimensionalen Untervektorräume
\zusatzklammer {also der komplexen Geraden durch den Nullpunkt} {} {}
und damit auf
\mathl{{\mathbb P}^{1}_{{\mathbb C}}}{.} Eine Gerade
\mavergleichskette
{\vergleichskette
{H
}
{ \subseteq }{{\mathbb C}^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
wird durch
\mathl{\sigma \in \operatorname{GL}_{ 2 } \! { \left( {\mathbb C} \right) }}{} einfach auf die Bildgerade
\mathl{\sigma (H)}{} abgebildet. Eine Gerade
\mathl{\langle (u,v) \rangle}{} wird unter
\mavergleichskette
{\vergleichskette
{\sigma
}
{ = }{ \begin{pmatrix} \ell & m \\ n & p \end{pmatrix}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
auf die Gerade
\mathl{\langle (\ell u+ m v, n u + pv) \rangle}{} abgebildet, bzw. in homogenen Koordinaten
\mathdisp {(u:v) \longmapsto (\ell u+ m v: n u + pv)} { . }
Dabei wirken Streckungen, also Abbildungen der Form
\mathl{\begin{pmatrix} s & 0 \\ 0 & s \end{pmatrix}}{} mit
\mathl{s \neq 0}{,} trivial auf der Menge der Geraden und auf der projektiven Geraden. Da man jede invertierbare Matrix als Produkt einer solchen Streckungsmatrix und einer invertierbaren Matrix mit Determinante $1$ schreiben kann, muss man im Wesentlichen die Operation der
\mathl{\operatorname{SL}_{ 2 } \! { \left( {\mathbb C} \right) }}{} auf der projektiven Geraden verstehen. Die einzige Matrix
\mathl{M \in \operatorname{SL}_{ 2 } \! { \left( {\mathbb C} \right) }}{} neben der Einheitsmatrix, die sämtliche Geraden auf sich selbst abbildet, ist
\mavergleichskettedisp
{\vergleichskette
{ -E_2
}
{ =} { \begin{pmatrix} -1 & 0 \\ 0 & -1 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
\inputfaktbeweisnichtvorgefuehrt
{SU2C und SO3R/Gruppenbeziehung/Fakt}
{Satz}
{}
{
\faktsituation {}
\faktfolgerung {Es gibt einen
\definitionsverweis {surjektiven}{}{} \definitionsverweis {Gruppenhomomorphismus}{}{}
\maabbdisp {} { \operatorname{SU}_{ 2 } \! { \left( {\mathbb C} \right) } } { \operatorname{SO}_{ 3 } \! { \left( \R \right) }
} {,}
dessen
\definitionsverweis {Kern}{}{}
gleich
\mathdisp {\{ \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} ,\, \begin{pmatrix} -1 & 0 \\ 0 & -1 \end{pmatrix} \}} { }
ist.}
\faktzusatz {Die Abbildung kann explizit
\zusatzklammer {mit \mathlk{u=a+b { \mathrm i}}{} und \mathlk{v=c+d { \mathrm i}}{} unter der Bedingung \mathlk{a^2+b^2+c^2+d^2=1}{}} {} {}
durch
\mathdisp {\begin{pmatrix} u & - \overline{ v } \\ v & \overline{ u } \end{pmatrix} \longmapsto \begin{pmatrix} a^2+b^2-c^2-d^2 & 2(-ad+bc) & 2( ac+bd) \\ 2(ad+bc) & a^2-b^2+c^2-d^2 & 2(-ab+cd) \\2(-ac+bd) & 2(ab+cd) & a^2-b^2-c^2+d^2 \end{pmatrix}} { }
realisiert werden.}
\faktzusatz {}
}
{
\teilbeweis {}{}{}
{Es sei
\maabbdisp {\varphi} { {\mathbb P}^{1}_{{\mathbb C}} } {S^2
} {}
die explizite Homöomorphie zwischen der komplex-projektiven Geraden und der
$2$-\definitionsverweis {Sphäre}{}{}
$S^2$. Durch
\maabbeledisp {} { \operatorname{GL}_{ 2 } \! { \left( {\mathbb C} \right) } } { \operatorname{ Aut}_{ } ^{ } { \left( S^2 \right) }
} {\sigma} { \varphi^{-1} \sigma \circ \varphi
} {,}
erhält man einen Gruppenhomomorphismus der allgemeinen linearen Gruppe in die Gruppe der stetigen Automorphismen
\zusatzklammer {also der Homöomorphismen} {} {}
der Sphäre. Eine explizite Rechnung für
\mathl{\sigma \in \operatorname{SU}_{ 2 } \! { \left( {\mathbb C} \right) }}{} zeigt, dass der zugehörige Homöomorphismus von einer linearen Abbildung der angegebenen Gestalt herrührt.}
{}
\teilbeweis {Zur Surjektivität.\leerzeichen{}}{}{}
{Für
\mathl{v=0}{} und
\mathl{u=a+b { \mathrm i}}{} mit
\mathl{a^2+b^2=1}{} geht die Matrix links auf
\mathdisp {\begin{pmatrix} 1 & 0 & 0 \\ 0 & a^2-b^2 & -2ab \\0 & 2ab & a^2-b^2 \end{pmatrix}} { . }
Wenn man
\mathl{s= \cos \alpha}{} und
\mathl{t=\sin \alpha}{} vorgibt und
\mathl{a= { \frac{ \sqrt{s+1} }{ \sqrt{2} } }}{} und
\mathl{b = \pm { \frac{ \sqrt{1-s} }{ \sqrt{2} } }}{} setzt
\zusatzklammer {das Vorzeichen ist geeignet zu wählen} {} {,}
so wird die Matrix zu
\mathdisp {\begin{pmatrix} 1 & 0 & 0 \\ 0 & \cos \alpha & - \sin \alpha \\0 & \sin \alpha & \cos \alpha \end{pmatrix}} { , }
d.h. sie beschreibt die Drehung um den Winkel $\alpha$ um die $x$-Achse. Diese Drehung liegt also im Bild der Abbildung. Indem man die Rollen von
\mathl{a,b,c,d}{} ändert, sieht man, dass auch die Drehungen um die beiden anderen Koordinatenachsen im Bild der Abbildung liegen. Nach
Aufgabe 34.26 (Lineare Algebra (Osnabrück 2017-2018))
lässt sich jede Isometrie als eine Verknüpfung von Drehungen um die Koordinatenachsen erhalten. Also ist die Abbildung surjektiv.}
{}
\teilbeweis {}{}{}
{Zur Bestimmung des Kerns addieren wir jeweils die beiden Einträge der Matrix, die nicht auf der Diagonalen liegen und symmetrisch zur Diagonalen sind. Dies ergibt die Bedingungen
\mavergleichskette
{\vergleichskette
{ bc
}
{ = }{bd
}
{ = }{cd
}
{ = }{ 0
}
{ }{
}
}
{}{}{.}
Die Differenzen von je zwei Einträgen der Diagonalen ergibt die Bedingung
\mavergleichskette
{\vergleichskette
{b^2
}
{ = }{c^2
}
{ = }{d^2
}
{ = }{ 0
}
{ }{
}
}
{}{}{,}
woraus insgesamt
\mavergleichskette
{\vergleichskette
{b
}
{ = }{c
}
{ = }{d
}
{ = }{ 0
}
{ }{
}
}
{}{}{}
folgt. Die Bedingung
\mavergleichskette
{\vergleichskette
{a^2
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
führt dann zu den beiden Elementen im Kern.}
{}
\inputfaktbeweis
{SL2C/Endliche Untergruppen/Klassifikationsatz/Fakt}
{Satz}
{}
{
\faktsituation {Die endlichen
\definitionsverweis {Untergruppen}{}{}
der
\mathl{\operatorname{SL}_{ 2 } \! { \left( {\mathbb C} \right) }}{} sind bis auf
\definitionsverweis {Isomorphie}{}{}}
\faktfolgerung {\aufzaehlungfuenf{die endlichen
\definitionsverweis {zyklischen Gruppen}{}{}
$Z_n$,
}{die
\definitionsverweis {binären Diedergruppen}{}{}
$BD_{n}$,
\mathl{n \geq 2}{,}
}{die
\definitionsverweis {binäre Tetraedergruppe}{}{}
$BT$,
}{die
\definitionsverweis {binäre Oktaedergruppe}{}{}
$BO$,
}{die
\definitionsverweis {binäre Ikosaedergruppe}{}{}
$BI$.
}}
\faktzusatz {}
\faktzusatz {}
}
{
Nach Lemma 7.12
können wir davon ausgehen, dass
\mathl{G \subseteq \operatorname{SU}_{ 2 } \! { \left( {\mathbb C} \right) }}{} ist. Es sei
\maabbdisp {\pi} { \operatorname{SU}_{ 2 } \! { \left( {\mathbb C} \right) } } { \operatorname{SO}_{ 3 } \! { \left( \R \right) }
} {}
der
\definitionsverweis {surjektive}{}{} \definitionsverweis {Gruppenhomomorphismus}{}{}
aus
Satz 7.13.
Es sei
\mathl{H=\pi(G)}{} die
\definitionsverweis {Bildgruppe}{}{}
von $G$ unter dieser Abbildung, für die es
aufgrund von Satz 51.8 (Lineare Algebra (Osnabrück 2017-2018))
starke Einschränkungen gibt.
\fallunterscheidungzwei {Wenn
\mathl{{ \# \left( G \right) }}{} ungerade ist, so enthält $G$ kein Element der
\definitionsverweis {Ordnung}{}{}
$2$. Also ist
\mathl{G \cap { \left( \operatorname{kern} \pi \right) }}{} trivial und somit ist
\maabb {} {G} {H
} {}
ein
\definitionsverweis {Isomorphismus}{}{.}
Aufgrund der Klassifikation für endliche Symmetriegruppen muss $G$ zyklisch sein.}
{Es sei also
\mathl{{ \# \left( G \right) }}{} gerade, sagen wir
\mavergleichskette
{\vergleichskette
{ { \# \left( G \right) }
}
{ = }{ 2^m u
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit $u$ ungerade. Nach dem Satz von Sylow
besitzt $G$ eine Untergruppe mit $2^m$ Elementen und damit insbesondere auch ein Element der Ordnung $2$.
Wegen Lemma 7.11
gibt es in
\mathl{\operatorname{SU}_{ 2 } \! { \left( {\mathbb C} \right) }}{} nur das Element
\mathl{\begin{pmatrix} -1 & 0 \\ 0 & -1 \end{pmatrix}}{} der Ordnung $2$. Also ist
\mathl{\begin{pmatrix} -1 & 0 \\ 0 & -1 \end{pmatrix} \in G}{} und somit ist
\mathl{\operatorname{kern} \pi \subseteq G}{.} Damit ist insbesondere
\mavergleichskettedisp
{\vergleichskette
{G
}
{ =} { \pi^{-1}(\pi(G))
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
d.h. $G$ ist das
\definitionsverweis {Urbild}{}{}
zu einer endlichen Untergruppe
\mathl{H \subseteq \operatorname{SO}_{ 3 } \! { \left( \R \right) }}{.} $H$ ist also eine der Untergruppen aus der Liste von
Satz 51.8 (Lineare Algebra (Osnabrück 2017-2018)).
Zwei isomorphe Gruppen
\mathl{H_1,H_2 \subseteq \operatorname{SO}_{ 3 } \! { \left( \R \right) }}{} sind sogar
\definitionsverweis {konjugiert}{}{.}
Wenn
\mathl{\alpha \in \operatorname{SO}_{ 3 } \! { \left( \R \right) }}{} den inneren Automorphismus stiftet und
\mathl{\tilde{\alpha} \in \operatorname{SU}_{ 2 } \! { \left( {\mathbb C} \right) }}{} ein Urbild ist, so vermittelt $\tilde{\alpha}$ einen Isomorphismus der Urbildgruppen
\mathkor {} {\pi^{-1}(H_1)} {und} {\pi^{-1}(H_2)} {.}
Der Isomorphietyp von $G$ ist also durch
\mathl{\pi(G)}{} festgelegt. Wenn
\mathl{\pi(G)=D_n, T,O,I}{} ist, so muss
\mathl{G=BD_n,BT,BO,BI}{} sein, da der Isomorphietyp festgelegt ist und die in den definierenden Beispielen
Beispiel 7.8,
Beispiel 7.10,
Beispiel 7.9
und
Beispiel 7.11
beschriebenen Gruppen modulo dem Element der Ordnung $2$ die entsprechenden reellen Symmetriegruppen ergeben.}
\zwischenueberschrift{Quotientensingularitäten}
\inputdefinition
{}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{} und
\mavergleichskette
{\vergleichskette
{ G
}
{ \subseteq }{ \operatorname{GL}_{ n } \! { \left( K \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {endliche Untergruppe}{}{.}
Dann nennt man den
\definitionsverweis {Invariantenring}{}{}
\mathl{K[X_1 , \ldots , X_n]^G}{}
\zusatzklammer {bzw. sein
\definitionsverweis {Spektrum}{}{}} {} {}
eine
\definitionswort {Quotientensingularität}{.}
}
\inputdefinition
{}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{} und
\mathl{G \subseteq \operatorname{SL}_{ n } \! { \left( K \right) }}{} eine
\definitionsverweis {endliche Untergruppe}{}{.}
Dann nennt man den
\definitionsverweis {Invariantenring}{}{}
\mathl{K[X_1 , \ldots , X_n]^G}{}
\zusatzklammer {bzw. sein
\definitionsverweis {Spektrum}{}{}} {} {}
eine
\definitionswort {spezielle Quotientensingularität}{.}
}
Diese beiden Definitionen umfassen als Extremfall auch die Situation, wo der Invariantenring regulär ist, also im strengen Sinn überhaupt keine Singularität vorliegt. Es kann sein, dass ein kommutativer Ring sowohl zum Invariantenring zu
\mavergleichskette
{\vergleichskette
{G
}
{ \subseteq }{ \operatorname{GL}_{ n } \! { \left( K \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{G
}
{ \not\subseteq }{ \operatorname{SL}_{ n } \! { \left( K \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
als auch zum Invariantenring zu
\mavergleichskettedisp
{\vergleichskette
{H
}
{ \subseteq} { \operatorname{SL}_{ n } \! { \left( K \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
isomorph ist. Ein Beispiel dafür ist der Polynomring selbst. Ein Beispiel für eine Quotientensingularität, die keine spezielle Quotientensingularität ist, ist der Veronesering
\mavergleichskettedisp
{\vergleichskette
{ K [U,V]^{( \ell)}
}
{ =} { K[U^\ell, U^{\ell -1} V, U^{\ell -2} V^2 , \ldots , UV^ {\ell -1}, V^ \ell ]
}
{ \subseteq} { K[U,V]
}
{ } {
}
{ } {
}
}
{}{}{}
bei
\mavergleichskette
{\vergleichskette
{\ell
}
{ \geq }{3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}