Kurs:Invariantentheorie (Osnabrück 2012-2013)/Vorlesung 24/latex
\setcounter{section}{24}
\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}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
\inputdefinition
{}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{} und
\mathl{n \in \N}{.} Die
\definitionsverweis {Restklassengruppe}{}{}
\mathdisp {\operatorname{SL}_{ n } \! { \left( K \right) } / { \left( K^{\times} \cdot
\operatorname{Id} \cap \operatorname{SL}_{ n } \! { \left( K \right) } \right) }} { }
heißt
\definitionswort {projektive spezielle lineare Gruppe}{.}
Sie wird mit
\mathdisp {\operatorname{PSL}_{ n } \! { \left( K \right) }} { }
bezeichnet.
}
Insbesondere ist
\mavergleichskette
{\vergleichskette
{ \operatorname{PSL}_{ 2 } \! { \left( {\mathbb C} \right) }
}
{ \cong }{ \operatorname{SL}_{ 2 } \! { \left( {\mathbb C} \right) }/\{ \pm E_2 \}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Diese Gruppe operiert in natürlicher Weise
\definitionsverweis {treu}{}{}
und
\definitionsverweis {transitiv}{}{}
auf der projektiven Geraden. Mittels der obigen Identifizierung
\mavergleichskette
{\vergleichskette
{ {\mathbb P}^{1}_{{\mathbb C}}
}
{ \cong }{S^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
kann man die Operation der Gruppen
\zusatzklammer {und Untergruppen} {} {}
\mathl{\operatorname{GL}_{ 2 } \! { \left( {\mathbb C} \right) }, \, \operatorname{SL}_{ 2 } \! { \left( {\mathbb C} \right) },\, \operatorname{PSL}_{ 2 } \! { \left( {\mathbb C} \right) }}{} auf
\mathl{{\mathbb P}^{1}_{{\mathbb C}}}{} zu einer Operation dieser Gruppen auf der zweidimensionalen Sphäre übersetzen. Es stellt sich heraus, dass die zugehörigen Automorphismen im Allgemeinen nicht längentreu sind. Um dies zu erreichen, arbeiten wir mit der unitären Gruppen
\mathl{\operatorname{SU}_{ 2 } \! { \left( {\mathbb C} \right) }}{.}
\inputfaktbeweis
{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 24.11
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
{SU2C/Element der Ordnung 2/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktfolgerung {Das einzige Element aus
\mathl{\operatorname{SU}_{ 2 } \! { \left( C \right) }}{} der
\definitionsverweis {Ordnung}{}{}
$2$ ist
\mathl{\begin{pmatrix} -1 & 0 \\ 0 & -1 \end{pmatrix}}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Sei
\mavergleichskettedisp
{\vergleichskette
{M
}
{ =} { \begin{pmatrix} u & - \overline{ v } \\ v & \overline{ u } \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mathkor {} {u = a+b { \mathrm i}} {,} {v = c+d { \mathrm i}} {}
und mit
\mavergleichskette
{\vergleichskette
{M^2
}
{ = }{ \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Das bedeutet
\mavergleichskettealign
{\vergleichskettealign
{ \begin{pmatrix} u & - \overline{ v } \\ v & \overline{ u } \end{pmatrix} \begin{pmatrix} u & - \overline{ v } \\ v & \overline{ u } \end{pmatrix}
}
{ =} { \begin{pmatrix} u^2-v \overline{ v } & - u \overline{ v }- \overline{ u } \overline{ v } \\ uv + \overline{ u } v & -v \overline{ v } + \overline{ u } \overline{ u } \end{pmatrix}
}
{ =} { \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix}
}
{ } {
}
{ } {
}
}
{}
{}{.}
\fallunterscheidungzwei {Wir nehmen zunächst
\mathl{v \neq 0}{} an. Daraus folgt
\mavergleichskette
{\vergleichskette
{ u+ \overline{ u }
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
also ist der Realteil von $u$ gleich $0$. Daher ist $u$ imaginär und sein Quadrat ist negativ. Dann ist aber auch
\mathl{u^2- v \overline{ v }}{} negativ und nicht gleich $1$.}
{Also ist
\mathl{v=0}{.} Dann ist
\mavergleichskette
{\vergleichskette
{u^2
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und somit ist
\mavergleichskette
{\vergleichskette
{u
}
{ = }{ \pm 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\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 23.8
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 24.2.
Es sei
\mathl{H=\pi(G)}{} die
\definitionsverweis {Bildgruppe}{}{}
von $G$ unter dieser Abbildung, für die es
aufgrund von Satz 22.8
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 Satz 24.3
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 22.8.
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 23.2,
Beispiel 23.4,
Beispiel 23.3
und
Beispiel 23.5
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
\mathbed {[U,V]^{(k)}} {}
{k \geq 3} {}
{} {} {} {,}
den wir in
Beispiel 9.12
vorgestellt haben. Wir haben bisher noch nicht gezeigt, dass diese für
\mavergleichskette
{\vergleichskette
{k
}
{ \geq }{3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nicht auch als ein Invariantenring zu einer Operation einer Untergruppe der speziellen linearen Gruppe realisiert werden kann. Dies wird sich als Nebenresultat der Berechnungen der nächsten Vorlesungen ergeben.
| << | Kurs:Invariantentheorie (Osnabrück 2012-2013) | >> |
|---|