Kurs:Invariantentheorie (Osnabrück 2012-2013)/Vorlesung 27/latex
\setcounter{section}{27}
Zu einer endlichen Untergruppe
\mavergleichskette
{\vergleichskette
{G
}
{ \subseteq }{ \operatorname{SU}_{ 2 } \! { \left( {\mathbb C} \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
liegt im Quotienten
\mavergleichskette
{\vergleichskette
{X
}
{ = }{ {\mathbb C}^2 / G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
im Bildpunkt $P$ von
\mavergleichskette
{\vergleichskette
{0
}
{ \in }{ {\mathbb C}^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Singularität vor, dagegen ist
\mathl{X \setminus \{P\}}{} glatt. Wir stellen uns die folgenden Fragen:
Kann man es dieser glatten offenen Menge ansehen, dass sie nur durch einen singulären Punkt zu einer affinen Varietät abgeschlossen wird \zusatzklammer {oder könnte man sie auch durch einen glatten Punkt abschließen} {} {?}
Kann man die Gruppe $G$, mit der wir $X$ definiert haben, aus intrinsischen Eigenschaften von $X$ oder von
\mathl{X \setminus \{P\}}{} rekonstruieren?
Sind die zu den unterschiedlichen $G$ auftretenden Quotienten untereinander verschieden?
Wir werden all diese Fragen positiv beantworten, wobei wir eine wichtige topologische Konstruktion einsetzen, nämlich die Fundamentalgruppe.
\zwischenueberschrift{Die Fundamentalgruppe}
Es sei $X$ ein
\definitionsverweis {topologischer Raum}{}{,}
den wir als
\definitionsverweis {wegzusammenhängend}{}{}
voraussetzen wollen, zu je zwei Punkten
\mavergleichskette
{\vergleichskette
{ x,y
}
{ \in }{X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es also einen
\definitionsverweis {stetigen Weg}{}{}
\maabbdisp {\gamma} {[0,1]} {X
} {}
mit
\mathkor {} {\gamma(0)=x} {und} {\gamma(1)=y} {.}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {HomotopySmall.gif} }
\end{center}
\bildtext {} }
\bildlizenz { HomotopySmall.gif } {} {Jim.belk} {Commons} {PD} {}
Zwei Wege
\maabbdisp {\gamma_0, \gamma_1} { [0,1]} {X
} {}
heißen \stichwort {homotop} {,} wenn es eine stetige Abbildung
\zusatzklammer {die eine \stichwort {Homotopie} {} zwischen
\mathkor {} {\gamma_0} {und} {\gamma_1} {}
genannt wird} {} {}
\maabbdisp {\Gamma} {[0,1] \times [0,1] } {X
} {}
gibt, für die
\mathdisp {\Gamma(s,0)= \gamma_0(s), \, \Gamma(s,1) = \gamma_0(s), \, \Gamma(0,t) = x \text{ und } \Gamma(1,t) = y} { }
für alle
\mathl{s,t}{} gilt. Zu jedem festen $t$ ist
\mathl{\Gamma(-,t)}{} ein stetiger Weg von
\mathkor {} {x} {nach} {y} {.}
Man schreibt
\mavergleichskette
{\vergleichskette
{\gamma_0
}
{ \sim }{ \gamma_1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für homotope Wege. Die Homotopie ist eine Äquivalenzrelation auf der Menge der stetigen Wege von
\mathkor {} {x} {nach} {y} {.}
Ein Weg $\gamma$ heißt \stichwort {geschlossen} {,} wenn
\mavergleichskette
{\vergleichskette
{ \gamma(0)
}
{ = }{ \gamma(1)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, wenn also der Startpunkt mit dem Endpunkt übereinstimmt. Dieser Punkt heißt dann auch \stichwort {Aufpunkt} {} des Weges. Häufig betrachtet man stetige geschlossene Wege in $X$ als stetige Abbildungen
\maabb {\gamma} {S^1} {X
} {.}
Zwei stetige geschlossene Wege kann man miteinander verknüpfen, indem man zuerst den einen Weg und anschließend den anderen Weg durchläuft. Als Definitionsbereich erhält man dabei das Intervall
\mathl{[0,2]}{.} Man kann aber, indem man die beiden Wege doppelt so schnell durchläuft, auch das Einheitsintervall als Definitionsbereich wählen. Wichtig ist, dass zu geschlossenen homotopen Wegen
\mavergleichskette
{\vergleichskette
{ \gamma_0
}
{ \sim }{ \delta_0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ \gamma_1
}
{ \sim }{ \delta_1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
auch die Verknüpfungen
\mathkor {} {\gamma= \gamma_0 \gamma_1} {und} {\delta= \delta_0 \delta_1} {}
homotop sind. Dies erlaubt eine Verknüpfung auf der Menge der Äquivalenzklassen von homotopen geschlossenen Wegen mit Aufpunkt $x$, die mit
\mathl{\pi_1(X,x)}{} bezeichnet wird. Diese Menge ist mit dem konstanten Weg
\zusatzklammer {also der Homotopieklasse des konstanten Weges} {} {}
als neutralem Element eine Gruppe, die die \stichwort {Fundamentalgruppe} {} von $X$ heißt. Die Assoziativität ist dabei nicht völlig selbstverständlich, da drei geschlossene Weg je nach Klammerung zu unterschiedlichen Wegen auf dem Einheitsintervall führen. Die entstehenden Wege sind aber homotop, sodass auf den Homotopieklassen die Assoziativität gilt. Die inverse Homotopieklasse ist durch den entgegengesetzt durchlaufenen Weg gegeben. Deren Verknüpfung ist in der Tat homotop zum konstanten Weg, oder, wie man auch sagt, \stichwort {nullhomotop} {.}
\inputdefinition
{}
{
Ein \definitionsverweis {topologischer Raum}{}{} $X$ heißt \definitionswort {einfach zusammenhängend}{,} wenn er \definitionsverweis {wegzusammenhängend}{}{} ist und wenn jeder stetige \definitionsverweis {geschlossene Weg}{}{} in $X$ \definitionsverweis {nullhomotop}{}{} ist.
}
Der einfache Zusammenhang bedeutet, dass
\mavergleichskette
{\vergleichskette
{ \pi_1(X,x)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\zusatzklammer {für einen beliebigen Aufpunkt \mathlk{x \in X}{}} {} {.}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Winding Number Animation.gif} }
\end{center}
\bildtext {Die Fundamentalgruppe der punktierten reellen Ebene ist $\Z$, man spricht von der \stichwort {Windungszahl} {} des Weges.} }
\bildlizenz { Winding Number Animation.gif } {} {Jim.belk} {Commons} {PD} {}
\inputdefinition
{}
{
Ein
\definitionsverweis {topologischer Raum}{}{}
$X$ heißt
\definitionswort {kontrahierbar}{}
\zusatzklammer {oder
\definitionswort {zusammenziehbar}{}} {} {}
auf einen Punkt
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{ X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
wenn es eine
\definitionsverweis {stetige Abbildung}{}{}
\maabbdisp {H} { X \times [0,1]} {X
} {}
derart gibt, dass die Eigenschaften
\aufzaehlungdrei{
\mavergleichskette
{\vergleichskette
{ H(-,0)
}
{ = }{
\operatorname{Id}_{ X }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
}{
\mavergleichskette
{\vergleichskette
{ H(-,1)
}
{ = }{ P
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
}{
\mavergleichskette
{\vergleichskette
{ H(P,t)
}
{ = }{ P
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{ t
}
{ \in }{ [0,1]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
}
gelten.
}
Beispielsweise ist der $\R^n$ kontrahierbar und nach dem folgenden Satz auch einfach zusammenhängend.
\inputfakt{Kontrahierbarer Raum/Fundamentalgruppe/Fakt}{Satz}{}
{
\faktsituation {Die
\definitionsverweis {Fundamentalgruppe}{}{}
eines
\definitionsverweis {kontrahierbaren Raumes}{}{}}
\faktfolgerung {ist trivial.}
\faktzusatz {}
\faktzusatz {}
}
Zu einer stetigen Abbildung
\maabbdisp {\varphi} {X} {Y
} {}
und einem Punkt
\mathl{x \in X}{} mit
\mavergleichskette
{\vergleichskette
{y
}
{ = }{\varphi(x)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
induziert ein stetiger geschlossener Weg
\maabb {\gamma} {[0,1]} {X
} {}
mit Aufpunkt $x$ einen stetigen geschlossenen Weg
\mathl{\varphi \circ \gamma}{} in $Y$ mit Aufpunkt $y$. Diese Zuordnung ist mit Homotopien von Wegen verträglich, d.h. wenn
\mavergleichskette
{\vergleichskette
{ \gamma
}
{ \sim }{ \delta
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zwei homotope Wege in $X$ mit Aufpunkt $x$ sind, so sind auch
\mathl{\varphi \circ \gamma}{} und
\mathl{\varphi \circ \delta}{} homotop. Daher gibt es eine wohldefinierte Abbildung
\maabbdisp {} {\pi_1(X,x)} { \pi_1(Y,y)
} {.}
Diese Abbildung ist sogar ein Gruppenhomomorphismus.
Die Berechnung der Fundamentalgruppe ist im Allgemeinen schwierig. Ein wichtiges Hilfsmittel sind Überlagerungen.
\inputdefinition
{}
{
Es seien
\mathkor {} {X} {und} {Y} {}
\definitionsverweis {topologische Räume}{}{.}
Eine
\definitionsverweis {stetige Abbildung}{}{}
\maabbdisp {p} {Y} {X
} {}
heißt
\definitionswort {Überlagerung}{,}
wenn es eine
\definitionsverweis {offene Überdeckung}{}{}
\mavergleichskette
{\vergleichskette
{X
}
{ = }{\bigcup_{i \in I} U_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und eine Familie
\definitionsverweis {diskreter}{}{}
topologischer Räume
\mathbed {F_i} {}
{i \in I} {}
{} {} {} {,}
derart gibt, dass
\mathl{p^{-1}(U_i)}{}
\definitionsverweis {homöomorph}{}{}
zu
\mathl{U_i \times F_i}{}
\zusatzklammer {versehen mit der
\definitionsverweis {Produkttopologie}{}{}} {} {}
ist, wobei die Homöomorphien mit den Abbildungen nach $U_i$ verträglich sind.
}
Zu einer stetigen Abbildung
\maabb {\pi} {Y} {X
} {}
und einem stetigen Weg
\maabbdisp {\gamma} {[0,1]} {X
} {}
nennt man einen stetigen Weg
\maabbdisp {\tilde{\gamma}} {[0,1]} {Y
} {}
mit
\mavergleichskettedisp
{\vergleichskette
{\gamma
}
{ =} { \pi \circ \tilde{\gamma}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eine \stichwort {Liftung} {} von $\gamma$. Bei einem geschlossenen Weg verlangt man dabei
\betonung{nicht}{,} dass die Liftung wieder geschlossen ist. Zu einer Überlagerung und einem vorgegebenen Punkt
\mathl{y \in Y}{} über
\mathl{\gamma(0)}{} gibt es eine eindeutige Liftung $\tilde{\gamma}$ mit
\mavergleichskettedisp
{\vergleichskette
{\tilde{\gamma} (0)
}
{ =} {y
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
\zwischenueberschrift{Zur Fundamentalgruppe der Quotientensingularitäten}
Sei
\mavergleichskette
{\vergleichskette
{X
}
{ = }{ {\mathbb C}^2 \backslash G
}
{ = }{ { \left( \operatorname{Spek} { \left( {\mathbb C}[U,V] \right) }^G \right) }_{\mathbb C}
}
{ }{
}
{ }{
}
}
{}{}{.}
Wir wollen zeigen, dass man die operierende Gruppe $G$ im Quotienten $X$ wiederfinden kann, und zwar als Fundamentalgruppe der punktierten Singularität, also des Quotienten ohne den singulären Punkt.
Zuerst zeigen wir, dass die Fundamentalgruppe \zusatzklammer {des Spektrums} {} {} einer positiv-graduierten Algebra trivial ist.
\inputfaktbeweis
{Positiv graduierte Algebra/C/Kontrahierbar/Triviale Fundamentalgruppe/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $R$ eine
\definitionsverweis {positiv-graduierte}{}{}
\definitionsverweis {endlich erzeugte}{}{}
${\mathbb C}$-\definitionsverweis {Algebra}{}{.}}
\faktfolgerung {Dann ist
\mavergleichskette
{\vergleichskette
{X
}
{ = }{ { \left( \operatorname{Spek} { \left( R \right) } \right) }_{\mathbb C}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {kontrahierbar}{}{} und die
\definitionsverweis {Fundamentalgruppe}{}{}
\mathl{\pi_1(X)}{} ist trivial.}
\faktzusatz {}
\faktzusatz {}
}
{
Es ist
\mavergleichskette
{\vergleichskette
{X
}
{ \subseteq }{ {\mathbb C}^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {abgeschlossene Teilmenge}{}{,}
die unter der
\definitionsverweis {Operation}{}{}
\maabbdisp {} {{\mathbb C}^{\times} \times {\mathbb C}^n } {{\mathbb C}^n
} {}
mit
\mavergleichskettedisp
{\vergleichskette
{t { \left( x_1 , \ldots , x_n \right) }
}
{ =} { { \left( t^{d_1}x_1 , \ldots , t^{d_n} x_n \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
von
\mavergleichskette
{\vergleichskette
{t
}
{ \in }{ {\mathbb C}^{\times}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
abgeschlossen ist, wobei die $d_i$ die positiven Grade der Erzeuger der Algebra bezeichnen. Es genügt daher, eine Kontraktion des affinen Raumes ${\mathbb C}^n$ auf den Nullpunkt anzugeben, die mit den Bahnen der Operation verträglich ist. Dazu setzen wir die Operationsabbildung zu einer Abbildung
\maabbdisp {} { {\mathbb C} \times {\mathbb C}^n} { {\mathbb C}^n
} {}
mit der gleichen Vorschrift fort. Wegen
\mavergleichskette
{\vergleichskette
{d_i
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist dies wohldefiniert und algebraisch, also insbesondere stetig. Für
\mavergleichskette
{\vergleichskette
{t
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}ist dies die Nullabbildung und für
\mavergleichskette
{\vergleichskette
{t
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Identität. Für jedes
\mavergleichskette
{\vergleichskette
{t
}
{ \in }{ [0,1]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
wird der Nullpunkt auf sich abgebildet. Die auf die Verbindungsstrecke von $0$ nach $1$ eingeschränkte Abbildung
\maabbdisp {} {[0,1] \times {\mathbb C}^n} {{\mathbb C}^n
} {}
ist somit eine
\definitionsverweis {kontrahierende Abbildung}{}{}
auf den Nullpunkt. Nach Satz 27.3
ist die Fundamentalgruppe trivial.
Zu einer endlich erzeugten zusammenhängenden ${\mathbb C}$-Algebra $R$, einem maximalen Ideal
\mavergleichskette
{\vergleichskette
{ {\mathfrak m}
}
{ \subseteq }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und dem zugehörigen Punkt
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{ X
}
{ = }{ { \left( \operatorname{Spek} { \left( R \right) } \right) }_{\mathbb C}
}
{ }{
}
{ }{
}
}
{}{}{}
nennt man die
\definitionsverweis {Fundamentalgruppe}{}{}
von
\mathl{X \setminus \{P\}}{} die
\definitionsverweis {lokale Fundamentalgruppe}{}{}
von $X$ in $P$. Bei einer positiv graduierten ${\mathbb C}$-Algebra meint man mit der lokalen Fundamentalgruppe die lokale Fundamentalgruppe im Punkt, der zum
\definitionsverweis {irrelevanten Ideal}{}{}
$R_+$ gehört.
Im Fall der ADE-Singularitäten ist
\mavergleichskette
{\vergleichskette
{ (0,0)
}
{ \in }{ {\mathbb C}^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
der Fixpunkt der Gruppenoperation und sein Bildpunkt im Quotienten ist der singuläre Punkt
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wenn man die beiden Punkte
\mathkor {} {(0,0)} {und} {P} {}
herausnimmt, so erhält man eine Gruppenoperation von $G$ auf
\mathl{{\mathbb C}^2 \setminus\{(0,0)\}}{} mit dem Quotienten
\mathl{X \setminus \{P\}}{.} Wir werden gleich begründen, dass die Abbildung
\maabbdisp {} {{\mathbb C}^2 \setminus\{(0,0)\} } { X \setminus\{P\}
} {}
eine Überlagerung ist und dass die Fundamentalgruppe von
\mathl{X \setminus\{P\}}{} isomorph zu $G$ ist. Dazu zitieren wir ohne Beweis den folgenden Satz.
\inputfakt{Endliche Gruppe/Fixpunktfreie Operation/Hausdorffraum und einfach zusammenhängend/Überlagerung und Fundamentalgruppe/Fakt}{Satz}{}
{
\faktsituation {Es sei $G$ eine endliche Gruppe, die auf einem
\definitionsverweis {einfach zusammenhängenden}{}{} \definitionsverweis {Hausdorff-Raum}{}{}
$X$
\definitionsverweis {fixpunktfrei}{}{} \definitionsverweis {operiere}{}{.}}
\faktfolgerung {Dann ist
\maabbdisp {} {X} {X \backslash G
} {}
eine
\definitionsverweis {Überlagerung}{}{}
und die
\definitionsverweis {Fundamentalgruppe}{}{}
des
\definitionsverweis {Bahnenraumes}{}{}
\mathl{X \backslash G}{} ist gleich $G$.}
\faktzusatz {}
\faktzusatz {}
}
\inputfaktbeweis
{ADE/Zweidimensional/Fixpunktfreie Operation/Lokale Fundamentalgruppe/Fakt}
{Satz}
{}
{
\faktsituation {Es sei
\mavergleichskette
{\vergleichskette
{G
}
{ \subseteq }{ \operatorname{SL}_{ 2 } \! { \left( {\mathbb C} \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {endliche Untergruppe}{}{}
mit der zugehörigen zweidimensionalen
\definitionsverweis {speziellen Quotientensingularität}{}{}
\mavergleichskette
{\vergleichskette
{R
}
{ = }{ {\mathbb C}[U,V]^G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktuebergang {Dann gelten folgende Aussagen.}
\faktfolgerung {\aufzaehlungzwei {Die Operation von $G$ auf
\mathl{{\mathbb C}^2 \setminus \{(0,0)\}}{} ist
\definitionsverweis {fixpunktfrei}{}{.}
} {Die
\definitionsverweis {lokale Fundamentalgruppe}{}{}
von
\mathl{{ \left( \operatorname{Spek} { \left( R \right) } \right) }_{\mathbb C} \setminus \{P\}}{} ist gleich $G$, wobei $P$ der singuläre Punkt von
\mathl{{ \left( \operatorname{Spek} { \left( R \right) } \right) }_{\mathbb C}}{} ist.
}}
\faktzusatz {}
\faktzusatz {}
}
{
\teilbeweis {}{}{}
{(1). Die zu
\mavergleichskette
{\vergleichskette
{ \sigma
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gehörende lineare Abbildung besitze einen
\definitionsverweis {Fixpunkt}{}{}
$\neq 0$. Dann ist dies ein
\definitionsverweis {Eigenvektor}{}{}
zum
\definitionsverweis {Eigenwert}{}{}
$1$. Da $\sigma$
nach Satz 3.19
\definitionsverweis {diagonalisierbar}{}{}
ist, ist in einer geeigneten Basis
\mavergleichskettedisp
{\vergleichskette
{\sigma
}
{ =} { \begin{pmatrix} 1 & 0 \\ 0 & \zeta \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und wegen
\mavergleichskette
{\vergleichskette
{G
}
{ \subseteq }{ \operatorname{SL}_{ 2 } \! { \left( {\mathbb C} \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{\zeta
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
also ist $\sigma$ die Identität.}
{}
\teilbeweis {}{}{}
{(2) folgt aus (1) und
Satz 27.6,
unter Berücksichtigung von
Aufgabe 15.11
und
Aufgabe 27.11.}
{}
Dies beantwortet die eingangs erwähnten Fragen positiv. Für die erste Frage muss man wissen, dass eine komplex-zweidimensionale affine glatte Varietät in jedem ihrer Punkte eine triviale lokale Fundamentalgruppe besitzt, da eine offene Umgebung des glatten Punktes diffeomorph zu einem offenen Ball im
\mavergleichskette
{\vergleichskette
{ {\mathbb C}^2
}
{ \cong }{ \R^4
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist und ein solcher punktierter Ball eine triviale Fundamentalgruppe besitzt.
| << | Kurs:Invariantentheorie (Osnabrück 2012-2013) | >> |
|---|