Universitat Duisburg-Essen
Fakultat fur Mathematik
Studiengang Wirtschaftsmathematik
Bachelorarbeit zum Thema:
Diskrete Gruppenwirkungen auf Riemannschen Flachenund deren Quotienten
zur Erlangung des Grades Bachelor of Science
vorgelegt von
Cedric Kouayep Nguepnang
vorgelegt am: 26.07.2019Matrikelnummer: 3048784Fachsemester: 6
Erstgutachter: Prof. Dr. Daniel GrebZweitgutachter: Dr. Martin Schwald
Inhaltsverzeichnis
1 Einleitung 2
2 Topologie und Gruppentheorie 3
3 Eigentlich diskontinuierliche Gruppenwirkungen 7
4 Motivation 14
5 Kleinsche Kurve 155.1 Die Riemannschen Flachen Xp und H/PSL2(Z) . . . . . . . . . . 155.2 Nichttriviale Stabilisatoren in PSL2(Z) und Fundamentalgebiete 205.3 Exkurs: Algebraische Topologie . . . . . . . . . . . . . . . . . . . 255.4 Existenz von Xp . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
1
1 EINLEITUNG
1 Einleitung
Diese Bachelorarbeit ist in drei Teile gegliedert. Im ersten Teil rekapitulieren wireinige Grundbegriffe aus der Topologie und Gruppentheorie, welche fur dieseArbeit besonders relevant sind. AnschlieĂend werden wir eine Konstruktions-methode fur Riemannsche Flachen diskutieren. Dazu betrachten wir eine Rie-mannsche Flache X und eine auf ihr holomorph und eigentlich diskontinuierlichwirkende Gruppe G. Wir werden beweisen, dass X/G auch eine RiemannscheFlache ist. Darauffolgend werden wir im dritten Teil dieses Resultat verwenden,um die sogenannten Modulkurven einzufuhren. Dies sind kompakte Riemann-sche Flachen von Geschlecht g ⼠2, welche sich als die Kompaktifizierung desQuotienten von H nach bestimmten Untergruppen von PSL2(Z) realisieren las-sen. Adolf Hurwitz hat bewiesen, dass 84(g - 1) eine obere Schranke der Kardi-nalitat der Automorphismengruppe einer kompakten Riemannschen Flache Yvon Geschlecht g ⼠2 ist, wobei wir hier mit Automorphismen biholomorpheAbbildungen Y â Y meinen. Die Zahl 84(g - 1) nennt man in diesem Zusam-menhang auch Hurwitz-Schranke. Aus diesem Grund interessieren wir uns beider Konstruktion der Modulkurven allen voran fur die Kleinsche Kurve X7. Eshandelt sich hierbei um eine Riemannsche Flache von Geschlecht 3, deren Au-tomorphismengruppe 168 Elemente besitzt, sprich die Anzahl der Elemente derAutomorphismengruppe von X7 erreicht die Hurwitz-Schranke. Solche Kurvennennt man Hurwitz-Kurven. Der Beweis, dass die Kardinalitat der Automor-phismengruppe von X7 168 betragt, beendet diese Bachelorarbeit.
Vom Leser wird erwartet, dass dieser mit den Grundkenntnissen der Funktionen-theorie und der Theorie uber Riemannsche Flachen vertraut ist.
2
2 TOPOLOGIE UND GRUPPENTHEORIE
2 Topologie und Gruppentheorie
In diesem Kapitel werden wir einige Begriffe aus der Topologie und Gruppen-theorie notieren, die im weiteren Verlauf dieser Arbeit eine zentrale Rolle einneh-men werden. Die meisten Begriffe durften dem Leser vertraut sein, weswegen wirmeist Abstand davon nehmen, ausfuhrliche Beispiele zu diskutieren. Die Defini-tionen und Beispiele haben wir den Buchern [Mir95] von Rick Miranda, [Don11]von Simon Donaldson und [tomDieck08] von Tammo tom Dieck entnommen.
Definition 2.1. Ein topologischer Raum ist ein Paar (X, T ) bestehend auseiner Menge X und einem System T von Teilmengen von X, das folgende Ei-genschaften erfullt:
⢠â â T , X â T .
⢠Falls U, V â T , so ist auch U ⊠V â T .
⢠Sei I eine Indexmenge. Falls Ui â T fur jedes i â I, so istâiâI
Ui â T .
Unter den obigen drei Bedingungen ist T eine Topologie auf X und die Mengenin T nennen wir die offenen Mengen von X bzgl. der Topologie T . Die Kom-plemente der offenen Mengen in X nennen wir die abgeschlossenen Mengenvon X bzgl. T . Meist unterdruckt man die Topologie T und bezeichnet einfachX als topologischen Raum.Ein topologischer Raum (X,T ) heiĂt Hausdorff, falls zu je zwei ungleichenElementen x,y â X offene Mengen U,V â T existieren, sodass x â U, y â Vund U ⊠V = â gilt.
Wie der Titel dieser Arbeit bereits vermuten lasst, sind fur uns vor allem diediskrete Topologie und die Quotiententopologie von Interesse.
Definition 2.2. Ein topologischer Raum (X,T ) heiĂt diskret, falls T = P(X).Dies bedeutet, dass jede Teilmenge von X bezuglich T offen ist.
Wir bezeichnen mit X im restlichen Kapitel einen topologischen Raum.
Definition 2.3. Eine Abbildung f : Xâ Y zwischen zwei topologischen RaumenX und Y heiĂt stetig, falls fur jede offene Menge O â Y gilt: fâ1(O) â X istoffen.f heiĂt Homoomorphismus, falls f bijektiv und die Umkehrabbildung fâ1 vonf ebenfalls stetig ist.
Definition 2.4. X heiĂt zusammenhangend, falls gilt:M â X ist offen und abgeschlossen =â M = â oder M = X.K â X heiĂt kompakt, falls jede offene Uberdeckung von K eine endlicheTeiluberdeckung besitzt.
Definition 2.5. Sei Y ein topologischer Raum. Eine Abbildung f : X â Y heiĂteigentlich, falls fâ1(K) fur jede kompakte Teilmenge K â Y kompakt ist.
3
2 TOPOLOGIE UND GRUPPENTHEORIE
Beispiel 2.6.
(1) Homoomorphismen f : X â Y sind stets eigentlich.
(2) Falls X und Y kompakt sind, so sind stetige Abbildungen g : Xâ Y immereigentlich.
(3) Seien f : X â Y und g : Y â Z eigentlich. Dann ist g f eigentlich.
Definition 2.7. Sei âź eine Aquivalenzrelation auf X. Fur x â X heiĂt[x] := y â X | x âź y Aquivalenzklasse von x. Des Weiteren defieren wirX/âź := [x] | x â X. Sei Ď: X â X/âź die kanonische Projektion. Die Quo-tiententopologie auf X/âź ist durch
T := V â X/ âź| Ďâ1(V ) offen
gegeben. Mit anderen Worten: V â X/ âź ist offen â Ďâ1(V ) â X ist offen.Per Konstruktion ist Ď stetig bezuglich T .
Definition 2.8. Eine Teilmenge D â X heiĂt diskret, falls zu jedem x â Deine Umgebung U â X existiert, sodass U ⊠D = x.
Beispiel 2.9.
(1) Sei X diskret. Dann ist jede Teilmenge von X diskret.
(2) Jede endliche Teilmenge von C ist diskrekt.
(3) Teilmengen diskreter Mengen sind diskret.
(4) Sei X ein Hausdorff-Raum und (pn)nâN â X sei eine gegen x â X kon-vergente Folge, sodass pn 6= x fur jedes n â N. Dann ist pn | n â Ndiskret.
Definition 2.10. Eine topologische Gruppe ist ein Tripel (G,m,T ) bestehendaus einer Gruppe (G,m) mit einer Multiplikation
m : G Ă G â G, (g,h) 7â m(g,h) = gh
und einer Topologie T auf G, sodass die Abbildungen m und
l : G â G, g 7â gâ1
bzgl. T stetig sind.Wir werden meist eine topologische Gruppe (G,m,T ) einfach mit G und dasneutrale Element aus G mit e beschreiben.Wir nennen eine Gruppe G zusammen mit der diskreten Topologie auf G einediskrete Gruppe.
Beispiel 2.11.
(1) Das Tripel (Kn,+,T ) ist eine topologische Gruppe. T sei hier die Stan-dardtopologie auf Kn, wobei K â R,C.
4
2 TOPOLOGIE UND GRUPPENTHEORIE
(2) Sei (GL2(K), ¡) die Gruppe der invertierbaren (2,2)-Matrizen mit Ein-tragen in K â R,C. Die Menge der (2,2)-Matrizen M2(K) mit Wertenin K ist ein zu K4 isomorpher Vektorraum. Betrachte den Isomorphismus
ÎŚ : M2(K) â K4 mit
(a bc d
)7â
abcd
und versehe K4 mit der durch die euklidischen Norm induzierten Topolo-gie. Dann definiert T := O âM2(K) | ÎŚ(O) â K4 offen eine Topologieauf M2(K). Da die Determinantenabbildung det : M2(K) â K stetig undKĂ offen ist, ist detâ1(KĂ) offen. Es gilt GL2(K) = detâ1(KĂ) und somitist GL2(K) offen. Versehe anschlieĂend GL2(K) mit der Teilraumtopolo-gie T := O ⊠GL2(K) | O ist offen in M2(K). Man bemerke hier, dassdie Matrixmultiplikation und -inversion stetig sind, da diese durch ratio-nale Funktionen gegeben sind. Daher ist das Tripel (GL2(K), ¡, T ) einetopologische Gruppe.
(3) SL2(Z) := A =
(a bc d
)â GL2(R) | det(A) = 1, a, b, c, d â Z ist zusam-
men mit der durch M2(R) induzierten Topologie, wie sie in (2) definiertwurde, und der Matrixmultiplikation eine diskrete Gruppe. Die Diskretheitvon SL2(Z) werden wir an einer anderen Stelle nachweisen.
Definition 2.12. Sei G eine Gruppe. Eine Gruppenwirkung von G auf X isteine Abbildung G Ă X â X, (g,p) 7â g ¡ p, die folgende Eigenschaften erfullt:
⢠(gh) ¡ p = g ¡ (h ¡ p) fur alle g,h â G und p â X
⢠e ¡ p = p fur jedes p â G
Falls G zusatzlich eine topologische Gruppe ist, nennen wir die Gruppenwirkungvon G auf X stetig, falls fur alle g â G die Abbildung Ďg : X â X, p 7â g ¡ p,stetig ist. Wir nennen Ďg die durch g induzierte Abbidlung.Falls X eine Riemannsche Flache und Ďg holomorph ist, heiĂt die Gruppenwir-kung von G auf X holomorph.
Beispiel 2.13.
(1) Sei Ď1, Ď2 eine R-Basis von C. Setze Î := ZĎ1 + ZĎ2 und betrachtedie Abbildung Î Ă C â C, (Îł, x) 7â Îł + x. Diese Abbildung ist eineholomorphe Gruppenwirkung auf C.
(2) Sei G â D := Ď : X â X | Ď Homoomorphismus eine Untergruppe.Dann ist die Abbildung G Ă X â X, (g,p) 7â g(p), eine stetige Grup-penwirkung. Falls wir fordern, dass X eine Riemannsche Flache ist unddie Abbildungen in D biholomorph sind, ist diese Gruppenwirkung sogarholomorph.
5
2 TOPOLOGIE UND GRUPPENTHEORIE
Mit G beschreiben wir fortan eine Gruppe, die auf X wirkt.
Definition 2.14. Mit G ¡ p := g ¡p | g â G, p â X, bezeichnen wir den Orbitvon p. Fur U â X definieren wir die Mengen g ¡ U := g ¡u | u â U und G ¡ U:= g ¡ u | g â G, u â U. Wir nennen Gp := g â G | g ¡ p = p die Stabilisa-torengruppe von p und jedes Element aus Gp heiĂt Stabilisator von p. DerKern K dieser Gruppenwirkung ist der Schnitt aller Stabilisatorengruppen. DasheiĂt, dass K = g â G | g ¡ p = p âp â X. Wir nennen die Gruppenwirkungvon G auf X effektiv, falls K = e.
Bemerkung 2.15.
(1) Notation: Wir werden die Multiplikationspunkte weglassen. Das heiĂt mitgp meinen wir g ¡ p ect.
(2) Die Gruppenwirkungen in Beispiel 2.11 sind effektiv.
(3) Falls p,q â X im selben Orbit sind, dann gibt es ein g â G, sodass q = gpund es gilt dann sowohl Gq = gGpgâ1 als auch |Gq| = |Gp|.
(4) Falls G endlich ist, so gilt |G| = |Gx| |Gx| fur jedes x â X.
(5) Falls G effektiv ist und stetig auf X wirkt, dann induzieren g und g unter-schiedliche Homoomorphismen X â X, sofern g 6= g, denn g 6= g impli-ziert, dass gâ1g 6= e. Falls jedoch g und g dieselbe Abbildung induzieren,dann fixiert die durch gâ1g induzierte Abbildung jeden Punkt in X. Diesist ein Widerspruch dazu, dass G effektiv auf X wirkt.
Definition 2.16. Sei G eine diskrete Gruppe, die effektiv auf einen Hausdorff-Raum X wirkt. Wir sagen, dass G eigentlich diskontinuierlich auf X wirkt,falls zu je zwei Punkten p,q â X Umgebungen U,V â X von p bzw. q existieren,sodass g â G | gU ⊠V 6= â endlich ist.
Bemerkung 2.17.
(1) Wir fordern bei der Definition nicht, dass p und q ungleich sein mussen.
(2) Untergruppen von G wirken eigentlich diskontinuierlich auf X.
(3) Endliche diskrete Gruppen, die effektiv auf einen Hausdorff-Raum X wir-ken, wirken eigentlich diskontinuierlich auf X.
Nachdem wir alle Grundbegriffe, die fur das Verstandnis dieser Arbeit unab-dingbar sind, eingefuhrt haben, konnen wir nun damit beginnen, eigentlich dis-kontinuierliche Gruppenwirkungen zu diskutieren.
6
3 EIGENTLICH DISKONTINUIERLICHE GRUPPENWIRKUNGEN
3 Eigentlich diskontinuierliche Gruppenwirkun-gen
Das Ziel dieses Kapitels ist es, den folgenden Satz zu beweisen.
Satz 3.1. Sei G eine Gruppe, die holomorph und eigentlich diskontinuierlichauf eine Riemannsche Flache X wirkt. Dann tragt X/G die Struktur einer Rie-mannschen Flache, die kanonische Projektion Ď : Xâ X/G ist eine holomorpheAbbildung und es gilt multp(Ď) = |Gp| fur jedes p â X. Zusatzlich gilt, falls Xkompakt ist, dass X/G kompakt ist.
Wir werden uns bei diesem Beweis am Buch [Mir95], Kapitel III.3, von RickMiranda orientieren. Dieser fuhrt den Beweis nur fur endliche Gruppen durch,jedoch lasst sich das Prinzip, welches er bei seinem Beweis verwendet, auf un-sere Situation ubertragen. Zunachst mussen wir hingegen die Gultigkeit einigerHilfssatze nachweisen. Sofern nicht anders angegeben, ist X im Folgenden stetsein topologischer Raum.
Lemma 3.2. Sei G eine Gruppe, die stetig auf X wirkt. Dann ist die kanonischeProjektion Ď: X â X/G offen.
Beweis. Sei U â X offen. Wir mussen nun zeigen, dass Ď(U) offen ist. Nach derDefinition der Quotiententopologie ist Ď(U) genau dann offen, wenn
Ďâ1(Ď(U)) =âgâG
gU
offen ist. Da G stetig auf X wirkt, sind die Abbildungen Xâ X, p 7â gp, g â G,Homoomorphismen. Homoomorphismen sind offene Abbildungen, weswegen gVfur jedes g â G und jede offene Menge V â X offen ist. Demnach ist Ďâ1(Ď(U))als Vereinigung offener Mengen offen.
Von nun an sei im Rest dieses Kapitels X ein Hausdorff-Raum und G eine aufX eigentlich diskontinuierlich wirkende Gruppe.Beim Beweis des folgenden Lemmas lieferten die Notizen [Sch15] von RichSchwarz die Idee zur Konstruktion der Mengen U und V , die im Beweis desLemmas auftauchen.
Lemma 3.3. X/G ist ein Hausdorff-Raum.
Beweis. Seien p = Ď(x) und q = Ď(y) â X/G ungleich, x, y â X. Gesucht sindUmgebungen U von x und V von y, sodass Ď(U) ⊠Ď(V ) = â . Nach Lemma 3.2sind Ď(U) und Ď(V ) offen, sofern U und V offen sind. Falls ein r â Ď(U) ⊠Ď(V )existiert, dann existieren u â U und v â V , sodass Gu = Gv. Dies bedeutet,dass ein g â G existiert, sodass gu = v. Unser Ziel ist es demnach, U und V sozu konstruieren, dass gU ⊠V = â fur jedes g â G gilt.Da G eigentlich diskontinuierlich auf X wirkt, existieren Umgebungen U von xund V von y, sodass g â G | gU ⊠V 6= â endlich ist.
7
3 EIGENTLICH DISKONTINUIERLICHE GRUPPENWIRKUNGEN
Wir setzen g1, ..., gn := g â G | gU ⊠V 6= â . Fur g â G \ g1, ..., gn giltbereits gU ⊠V = â . Wir wollen nun U und V verkleinern, sodass giU ⊠V = â fur jedes i â 1, ..., n gilt, wobei naturlich U â U und V â V gelte.Sei nun i â 1, ..., n. Es gilt Ď(x) 6= Ď(y) und somit Gx 6= Gy, was bedeutet,dass gx 6= y fur jedes g â G gilt. Somit existieren Umgebungen Ui von gix undVi von y, sodass Ui ⊠Vi = â , weil X Hausdorff ist. Setze: Ui := U ⊠gâ1
i Ui und
Vi := V ⊠Vi. Dies sind offenbar Umgebungen von x bzw. y. Daher sind auch
U :=â
iâ1,...,nUi und V :=
âiâ1,...,n
Vi
Umgebungen von x bzw. y. Wenn wir nun zeigen konnen, dass gU ⊠V = â furjedes g â G gilt, ist der Beweis, wie eingangs argumentiert, erbracht.Falls i â 1, .., n, ist giU ⊠V â giUi ⊠Vi â Ui ⊠Vi = â , woraus folgt, dassgiU ⊠V = â . Falls g â G\g1, ..., gn, gilt gU ⊠V â gU âŠV = â . Dies impliziert,dass gU ⊠V = â .
Lemma 3.4. Fur jedes p â X ist Gp endlich.
Beweis. Sei p â X. Nach Definition 2.16 existieren Umgebungen U und V vonp, sodass g â G | gU ⊠V 6= â endlich ist. Nun ist p â U ⊠V und p = gp â gUfur jedes g â Gp, weshalb Gp â g â G | gU âŠV 6= â . Somit ist Gp endlich.
Nachdem wir nun sichergestellt haben, dass Gp fur jeden Punkt p â X endlichist, folgt ein Lemma, das fur diese Bachelorarbeit fundamental ist, weil es da-bei behilflich sein wird, im Beweis von Satz 3.1 komplexe Karten auf X/G zukonstruieren.
Lemma 3.5. G wirke eigentlich diskontinuierlich und stetig auf X. Dann gilt:
(i) Zu jedem p â X gibt es eine Gp-invariante Umgebung U , sodassU ⊠gU = â fur alle g /â Gp.
(ii) U kann so gewahlt werden, dass Îą : U/Gp â X/G, Gpx 7â Gx, die MengeU/G homoomorph auf eine offene Menge in X/G abbildet.
Beweis. Zu(i): Sei p â X. Da G eigentlich diskontinuierlich auf X wirkt, exis-tiert eine offene Umgebung V von p, sodass M := g â G | gV ⊠V 6= â endlich ist. Wir definieren M \Gp := g1, ..., gn. Es gilt nun gip 6= p fur jedesi â 1, ..., n, weshalb wir zu jedem i, da X Hausdorff ist, offene UmgebungenVi von p und Wi von gip finden, sodass Vi âŠWi = â . Offenbar ist gâ1
i Wi furjedes i eine offene Umgebung von p, weil G stetig auf X wirkt. Wir betrachten
Ri := V ⊠Vi ⊠(gâ1i Wi), R :=
âiâ1,...,n
Ri und U :=â
gâGpgR.
Man bedenke, dass es sich bei der Definition von U um einen Schnitt von end-lich vielen Mengen handelt, da Gp nach Lemma 3.4 endlich ist, weshalb U alsSchnitt endlich vieler offener Mengen offen ist. Offensichtlich ist Ri eine offeneUmgebung von p und somit sind sowohl R als auch U offene Umgebungen von
8
3 EIGENTLICH DISKONTINUIERLICHE GRUPPENWIRKUNGEN
p. Zudem gilt gU = U fur jedes g â Gp, da die Multiplikation eines Elementsaus Gp mit U nur die Mengen in der Definition von U permutiert. Es bleibt zuzeigen, dass gU ⊠U = â fur jedes g â G \ Gp gilt. Dies rechnet man leicht wiefolgt nach:Ri ⊠(giRi) â Vi âŠWi = â und somit folgt R⊠(giR) = â fur jedes i â 1, ..., n,woraus U ⊠(giU) = â fur jedes i â 1, ..., n folgt. Fur g â G \ M giltgU ⊠U â gV ⊠V = â .
Zu (ii): Zunachst zeigen wir, dass Îą injektiv ist. Seien dazu u, v â U undGpu,Gpv â U/Gp, sodass Îą(Gpu) = Îą(Gpv). Daraus folgt, dass Gu = Gv undsomit gibt es ein g â G, sodass u = gv. Dies impliziert, dass U ⊠gU 6= â . Nachder Konstruktion von U muss g in Gp liegen, weshalb Gpu = Gpv folgt. Damitist Îą injektiv. Als Nachstes beweisen wir, dass Îą stetig ist. Sei dazu V â X/Goffen. Ď : X â X/G und Ď : U â U/Gp seien die jeweiligen kanonischen Pro-jektionen von X nach X/G bzw. U nach U/Gp. Offenbar ist Ď := Ď|U = Îą Ď. Ďist stetig, weswegen Ďâ1(V ) offen ist und somit ist Ďâ1(Îąâ1(V )) = (Îą Ď)â1(V )= Ď(V ) offen. Aus der Definition der Quotiententopologie auf U/G folgt sofort,dass Îąâ1(V ) offen ist. Damit folgt, dass Îą stetig ist.Auf ahnliche Weise zeigen wir, dass Îą offen ist. Sei V â U/Gp. Nach Definition
der Quotiententopologie gibt es ein V â U , sodass V = Ď(V ). Da Ď offen ist,ist auch Ď(V ) offen und somit ist Îą(V ) = Îą(Ď(V )) = (Îą Ď)(V ) = Ď(V ) offen.Daher ist Îą offen. Es folgt also insgesamt, dass Îą die Menge U/G homoomorphauf sein Bild in X/G abbildet.
Bemerkung 3.6. Aus Lemma 3.5(ii) folgt unmittelbar, dass, falls |Gp| = 1,eine Umgebung U von p und V von Gp â X/G existiert, sodass Ď|U : U â Vein Homoomorphismus ist.
Lemma 3.7. Sei G eine Gruppe, die holomorph und eigentlich diskontinuierlichauf eine Riemannsche Flache X wirkt. Dann ist die Menge der Punkte in X, dieeinen nichttrivialen Stabilisator in G haben, diskret.
Beweis. Angenommen, D := p â X | âg â G \ e : gp = p ist nicht diskret.Dann gibt es ein x â X und eine Folge (pn)nâN â D\x, pn 6= pm, falls n 6= m,die gegen x konvergiert. Wir setzen gn | n â N, gnpn = pn, gn â G \ e.Nach Lemma 3.5(i) existiert eine Gx-invariante Umgebung U von x, sodassU ⊠gU = â fur jedes g /â Gx. (?)Es gibt ein n0 â N, sodass pn â U fur jedes n ⼠n0 gilt, weil (pn)nâN gegen xkonvergiert. Demnach gilt fur alle n ⼠n0: pn â U âŠgnU und somit U âŠgnU 6= â .Nach (?) mussen demnach die gn mit n ⼠n0 in Gx liegen. Lemma 3.4 besagt,dass Gx endlich ist, weswegen gn | n ⼠n0 endlich ist. pn | n ⼠n0 hatunendlich viele Elemente, weshalb es ein Element g â gn | n ⼠n0 geben muss,das unendlich viele Elemente aus pn | n ⼠n0 fxiert. Man bemerke, dass g 6= egilt. Daraus ergibt sich, dass (pn)nâN eine Teilfolge (pm)mâN besitzt, sodass alleElemente dieser Teilfolge von g fixiert werden. Die Teilfolge (pm)mâN konvergiertals Teilfolge einer gegen x konvergenten Folge gegen x. G wirkt holomorph, alsoinsbesondere stetig, auf X, weswegen die Abbildung Ď : X â X, p 7â gp,
9
3 EIGENTLICH DISKONTINUIERLICHE GRUPPENWIRKUNGEN
stetig ist, woraus folgt, dass Ď(x) = x. Ď ist sogar holomorph und stimmt aufder nicht-diskreten Menge M := pm | m â N ⪠x mit der Identitat aufX uberein, weshalb Ď = idX nach dem Identitatssatz ist. Da G effektiv auf Xwirkt, folgt g = e, was ein Widerspruch ist.
Korollar 3.8. Sei G eine Gruppe, die eigentlich diskontinuierlich und holo-morph auf eine Riemannsche Flache X wirkt. Dann kann man in Lemma 3.5von U noch zusatzlich fordern, dass kein Punkt in U auĂer p von einem nicht-trivialen Element in Gp fixiert wird.
Beweis. Da die Menge der Punkte in X, die einen nicht-trivialen Stabilisator inG besitzen, nach Lemma 3.7 diskret ist, kann man U einfach um diese Punkte,falls notwendig, reduzieren.
Nun werden wir den Satz 3.1 beweisen:
Beweis. Zunachst versehen wir X/G mit der Quotiententopologie. Nach Lemma3.3 ist X/G ein Hausdorff-Raum. Da die kanonische Projektion Ď : X â X/Gstetig, X zusammenhangend und Ď(X) = X/G ist, ist X/G zusammenhangend.Als Nachstes konstruieren wir einen Atlas auf X/G. Sei dazu p â X/G. Es giltzudem p = Gp fur ein p â X. Wir setzen m := |Gp| und unterscheiden zwischenzwei Fallen.
Fall 1: m = 1Diese Bedingung bedeutet, dass der Stabilisator von p trivial ist. Da O/e âź= Ofur jede offene Menge O â X, impliziert Lemma 3.5(ii), dass eine UmgebungU von p und W von p existieren, sodass Ď|U : U â W ein Homoomorphismusist. Indem wir gegebenenfalls U verkleinern, konnen wir ohne Einschrankungannehmen, dass U ein Gebiet einer Karte Ď : U â V auf X ist. Ď = Ď Ďâ1
|U :
W â V ist als Komposition von Homoomorphismen ein Homoomorphismusund somit eine Karte auf X/G.
Fall 2: m ⼠2Nach Lemma 3.5(ii) und Korollar 3.8 existieren eine Gp-invariante UmgebungU von p und eine Umgebung W von p, sodass die naturliche Abbildung Îą :U/Gp âW ein Homoomorphismus ist und kein Punkt in U auĂer p von einemnichttrivialen Element aus Gp fixiert wird. Jedes Element aus (U/Gp)\ (Gpp)hat unter β : U â U/Gp, x â Gpx, genau m Urbilder, weil kein Elementaus U \ p einen nichttrivialen Stabilisator in Gp besitzt. Man bemerke, dassGpp = p. Da G holomorph auf X wirkt, induziert jedes Element g â Geine biholomorphe Abbildung durch die Abbildungsvorschrift x 7â gx, x â X.Wir bezeichnen den durch g â G induzierten Automorphismus mit demselbenBuchstaben. Sei Ď : U â V eine Karte auf X mit p â U und Ď(p) = 0. Furjedes g â Gp hat g(z) := Ď(g(z)) = Ď(gz), z â U âŠU , Multiplizitat 1 in p, dennsowohl Ď als auch g sind injektiv, womit auch g injektiv ist. Setze nun
h(z) :=âgâGp
g(z), z â U ⊠U .
10
3 EIGENTLICH DISKONTINUIERLICHE GRUPPENWIRKUNGEN
h ist als Produkt holomorpher Funktionen holomorph. Man bemerke, dass hMultiplizitat m = |Gp| in p hat und in einer Gp-invarianten Umgebung von pdefiniert ist. Wir konnen ohne Einschrankung annehmen, dass h auf U definiertist. Ansonsten verkleinern wir U geeignet. h ist Gp-invariant, denn sei f â Gp,dann gilt:
h(f(z)) =âgâGp
g(f(z)) =âgâGp
Ď((g f)(z)) =âgâGp
Ď(g(z)) = h(z).
Die vorletzte Gleichung gilt, da das Verknupfen von f mit den Elementen aus Gpnur dazu fuhrt, dass die Faktoren in der Definition von h permutiert werden, daf â Gp und fest gewahlt wurde und es sich hierbei um ein Produkt von endlichvielen Faktoren handelt. Wir definieren nun
h : U/Gp â C, Gpz 7â h(z).
Die Wohldefiniertheit von h folgt aus der Gp-Invarianz von h. Zudem ist h stetigund offen, weil h als holomorphe Funktion stetig und offen ist. Wir begrundennun, dass h injektiv ist:
Seien Gpx,Gpz â U/Gp\(Gpp), sodass h(Gpz) = h(Gpx). Das heiĂt h(z) =h(x). Da multp(h) = m und h(z) 6= h(p), folgt, dass |N | = m, wobei N :=y â U : h(y) = h(z). Angenommen, Gpz ist ungleich Gpx. Aus Gpz 6= Gppfolgt |M | = m, wobei M := y â U : Gpy = Gpz (siehe Anmerkung zu βzu Beginn von Fall 2). Nach Definition von h gilt M â N . Da Gpz 6= Gpx,gilt x /â M und somit |M ⪠x| = m + 1. x liegt in N und somit folgtM ⪠x â N , weswegen |N | ⼠m + 1. Dies ist ein Widerspruch. Das heiĂt,dass Gpz = Gpx.
Seien nun Gpz, Gpp â U/Gp, sodass h(Gpz) = h(Gpp). Dann folgt h(z) =h(p) = 0, denn fur alle g â Gp gilt: g(p) = Ď(g(p)) = Ď(gp) = Ď(p) = 0. Manbedenke, dass
h(z) = 0 ââ âg â Gp : g(z) = 0 ââ âg â Gp : Ď(g(z)) = 0.
Da Ď und g injektiv sind, Ď(p) = 0 und g(p) = p, ist h(z) = 0 aquivalentdazu, dass z = p. Daher gilt Gpz = Gpp.
Damit haben wir die Injektivitat von h nachgewiesen.h ist stetig, offen und injektiv, woraus folgt, dass h : U/G â h(U/Gp) := V âC ein Homoomorphismus ist. Nun konnen wir eine Karte auf X/G wie folgtdefinieren:
Ď : W Îąâ1âââ U/Gp hââ V
Offenbar uberdecken diese Definitionsbereiche X/G, da wir an jedem Punktvon X eine Karte definieren. Jetzt mussen wir noch zeigen, dass diese Kartenpaarweise miteinander vertraglich sind. Karten, welche gemaĂ Fall i konstruiertwurden, nennen wir hier Karten vom Typ i, wobei i â 1, 2.
11
3 EIGENTLICH DISKONTINUIERLICHE GRUPPENWIRKUNGEN
Lemma 3.7 besagt, dass die Menge der Punkte in X mit nichttrivialem Stabili-sator diskret ist. Daher konnen wir annehmen, dass die Definitionsbereiche vonje zwei Karten vom Typ 2 disjunkt sind. Dies bedeutet, dass je zwei Karten vomTyp 2 miteinander vertraglich sind.Man betrachte nun zwei Karten Ď und f vom Typ 1. Diese Karten sind mitein-ander vertraglich, weil die Karten auf X, die bei der Konstruktion von Ď bzw.f verwendet wurden, miteinander vertraglich sind.
Sei Ď1 : U1 â V1 eine Karte vom Typ 1 und Ď2 : U2 â V2 eine vom Typ 2, sodassU1⊠U2 6= â . Im Fall, dass dieser Schnitt leer ist, sind die beiden Karten ohnehinvertraglich. Wir mussen nun zeigen, dass Ď2 Ďâ1
1 : Ď1(U1 ⊠U2)â Ď2(U1 ⊠U2)holomorph ist.Sei r â U1 ⊠U2 und wahle einen Reprasentanten r von r, sodass r â U1 ⊠U2,wobei U1 und U2 die offenen Mengen in X seien, die bei der Konstruktion derKarten Ď1 und Ď2 verwendet wurden. Falls U1 und U2 disjunkt sind, wahleein g â G, sodass gU1 ⊠U2 6= â und ersetze U1 durch gU1. Ein solches gexistiert, da U1 ⊠U2 6= â . Das Ersetzen von U1 durch gU1 andert nichts an U1,da Ď(gU1) = Ď(U1) = U1 fur jedes g â G. Per Definition von Ď1 und Ď2 konnenwir schreiben: Ď1 = ĎĎ|U1
und Ď2 = hÎąâ1 wobei Ď eine Karte auf U1 sei und
h und Îą wie in Fall 2 konstruiert wurden. Zudem ist, wie in Fall 2 konstruiert,h auf U2 holomorph. Sei nun q â Ď1(U1 ⊠U2).
Ď2 Ďâ11 (q) = h Îąâ1 Ď|U1
Ďâ1(q)
= h Îąâ1(GĎâ1(q))
= h(GpĎâ1(q)) = h(Ďâ1(q)) = (h Ďâ1)(q)
Da Ď eine Karte auf X und h eine holomorphe Funktion auf einer offenen Men-ge von X ist, ist per Definition h Ďâ1 holomorph in q. Da q beliebig gewahltwurde, ist Ď2 Ďâ1
1 auf Ď1(U1⊠U2) holomorph. Dies heiĂt, dass X/G zusammenmit den Karten, die wir in den Fallen 1 und 2 definiert haben, eine RiemannscheFlache ist. Es folgt sofort aus den Definitionen der Karten, dass Ď holomorphauf X/G ist. Nun berechnen wir die Multiplizitat von Ď an jedem Punkt p â X.Fur p â X/G wahle man eine Karte Ď : W â V , p âW , wie in Fall 2 beschrie-ben. Man bemerke hierbei, dass die Konstruktionsweise von Fall 2 auch fur denFall, dass der Stabilisator von p trivial ist, anwendbar ist. Dann gilt Ď Ď(q) =h(q) fur jedes q âW und somit multp(Ď) = multp(h). Da multp(h) = |Gp|, folgtmultp(Ď) = |Gp|.Die Kompaktheit von X/G im Fall, dass X kompakt ist, ergibt sich daraus, dassdas Bild einer kompakten Menge unter einer stetigen Abbildung kompakt ist,Ď(X) = X/G und Ď stetig ist.
Korollar 3.9. Falls wir in Satz 3.1 zusatzlich fordern, dass G endlich und Xkompakt ist, dann gilt deg(Ď) = |G|.
Beweis. Sei Gx â X/G und p, q â Ďâ1(Gx), dann gilt Gp = Gx = Gq. Darausfolgt, dass Gq = gGpg
â1 fur ein g â G. Nach Bemerkung 2.15 gilt nun, dass|Gq| = |Gp| fur alle p, q â Ďâ1(Gx) gilt. Daher folgt, dass
12
3 EIGENTLICH DISKONTINUIERLICHE GRUPPENWIRKUNGEN
degGx(Ď) =Satz 3.1
âpâĎâ1(Gx)
|Gp| = |Ďâ1(Gx)||Gx| = |Gx||Gx| = |G|.
Die Gultigkeit der letzten Gleichung haben wir bereits in Bemerkung 2.15 fest-gehalten. Aus der Kompaktheit von X folgt letztlich deg(Ď) = |G|.
13
4 MOTIVATION
4 Motivation
Wir wissen bereits, dass die topologische Struktur einer kompakten Riemann-schen Flache eindeutig durch ihr Geschlecht charakterisiert ist. Beim Studiumkompakter Riemannscher Flachen interessiert uns hingegen nicht nur ihre topo-logische, sondern auch ihre komplexe Struktur und diese ist keineswegs eindeutigdurch ihr Geschlecht determiniert. Um kompakte Riemannsche Flachen zu ana-lysieren, betrachten wir deshalb nicht nur ihr Geschlecht, sondern werfen aucheinen Blick auf ihre Automorphismengruppe. Die Automorphismengruppe einerkompakten Riemannschen Flache ist deshalb interessant, weil diese die Symme-trien auf ihr beschreiben. Ein erster Schritt bei der Untersuchung einer solchenAutomorphismengruppe ist, ihre GroĂe zu bestimmen. Man betrachte exempla-risch die Riemannsche Zahlenspahre C. Aus Funktionentheorie ist bekannt, dassdie Automorphismengruppe von C unendlich viele Elemente besitzt - genauergesagt gilt
Aut(C) = Ď : Câ C, z 7â az + b
cz + d| adâ bc 6= 0, a, b, c, d â C .
Trotz des Umstands, dass Aut(C) unendlich viele Elemente besitzt, ist sie nochubersichtlich, aber wie sieht es mit kompakten Riemannschen FlachenX hoherenGeschlechts aus? In diesem Fall schafft Hurwitz Abhilfe, denn er hat den fol-genden Satz bewiesen:
Sei X von Geschlecht g ⼠2, dann ist |Aut(X)| ⤠84(g-1).
Im Buch [Lam09] von Klaus Lamotke kann man nachlesen, dass die Automor-phismengruppe einer kompakten Riemannschen Flache X von Geschlecht g ⼠2endlich ist. Rick Miranda beweist in seinem Werk [Mir95], dass fur endlicheGruppen G, die effekiv und holomorph auf X wirken, gilt, dass |G| ⤠84(g - 1).Diese beiden Aussagen zusammen beweisen den Satz von Hurwitz.
Wie angekundigt, werden wir im nachsten und zugleich letzten Kapitel die-ser Arbeit eine Hurwitz-Kurve studieren, namlich die Kleinsche Kurve. Bei derKonstruktion werden wir den Satz 3.1 anwenden.
14
5 KLEINSCHE KURVE
5 Kleinsche Kurve
Um die Kleinsche Kurve zu definieren und ihre Automorphismengruppe zu stu-dieren, mussen wir etwas Vorarbeit leisten. Man betrachte den folgenden Epi-morphismus
ÎŚ : SL2(R)â Aut(H),
(a bc d
)7â(z 7â az + bz
cz + dz
).
Offenbar gilt Ker(ÎŚ) = E,âE, wobei E die Einheitsmatrix sei. Folglich istnach dem Homomorphiesatz SL2(R)/E,âE âź= Aut(H). Wir definieren nundie projektive lineare Gruppe als PSL2(R) := SL2(R)/E,âE. Auf SL2(R)betrachten wir dieselbe Topologie, wie wir sie in Beispiel 2.11 eingefuhrt haben,und PSL2(R) versehen wir mit der Quotiententopologie T und definieren diefolgende Operation:
[A] ¡ [B] = [A ¡ B] fur A, B â SL2(R), [A] = Ď(A), [B] = Ď(B),
wobei Ď : SL2(R) â PSL2(R) die kanonische Projektion ist. (PSL2(R), ¡, T )ist eine topologische Gruppe und wirkt auf H wie folgt:
[A] (z) =az + bz
cz + dz
wobei A =
(a bc d
)â SL2(R), z â H. Diese Gruppenwirkung ist wohldefiniert,
weil [A] = A,âA und A(z) = âA(z). Es ist zudem offensichtlich, dass dieseGruppenwirkung effektiv und holomorph ist. Fur die Konstruktion der Klein-schen Kurve sind insbesondere die Untergruppen der Form
Îp := [A] â PSL2(R) | A â SL2(Z), A = E â¨A = âE mod p, p Primzahl,
von Interesse. Wir definieren
Ď : PSL2(Z) â PSL2(Z/pZ),
[(a bc d
)]7â[(
[a] [b][c] [d]
)],
wobei naturlich PSL2(Z) := SL2(Z)/E,âE. Offenkundig ist Ď ein Grup-penhomomorphismus mit Ker(Ď) = Îp. Dementsprechend ist Îp ein Normaltei-ler von PSL2(Z). Ď ist auch surjektiv, weswegen nach dem HomomorphiesatzPSL2(Z)/Îp âź= PSL2(Z/pZ) gilt.
5.1 Die Riemannschen Flachen Xp und H/PSL2(Z)Wir werden Mithilfe der folgenden Satze beweisen, dass PSL2(Z) eigentlichdiskontinuierlich auf H wirkt. Dann folgt, dass Îp fur jede Primzahl p eineeigentlich diskontinuierliche Gruppenwirkung auf H ist, da Îp eine Untergruppevon PSL2(Z) ist. Daraus folgt nach Satz 3.1, da PSL2(Z) und Îp effektivund holomorph auf H wirken, dass Xp := H/Îp und H/PSL2(Z) RiemannscheFlachen sind. In diesem Abschnitt orientieren wir uns ab Lemma 5.2 an Kapitel11.3 aus dem Werk [Lam09] von Klaus Lamotke.
15
5 KLEINSCHE KURVE
Lemma 5.1. Sei G eine diskrete Gruppe, die effektiv auf einen Hausdorff-Raumwirkt. Dann sind die folgenden Aussagen aquivalent:
(i) G wirkt eigentlich diskontinuierlich auf X.
(ii) Fur jedes Kompaktum K â X ist g â G | gK âŠK 6= â endlich.
Beweis.
(i) =â (ii): Sei K â X kompakt. Nach Lemma 3.5(i) gibt es, da G eigentlichdiskontinuierlich auf X wirkt, zu jedem x â X eine Umgebung Ux von x,sodass gUx ⊠Ux = â fur jedes g /â Gx. (Ux)xâX ist eine offene Uberdeckungvon K, weswegen es endlich viele Elemente x1, ..., xn â X gibt, sodass
K ââ
iâ1,...,nUxi =: U.
Nach der Wahl der Ux gilt gU ⊠U = â fur jedes g /ââiâ1,...,nGxi := G.
Nach Lemma 3.4 ist Gx fur jedes x â X endlich und somit sind insbesonderedie Gxi endlich. Es folgt, sowohl g â G | gU ⊠U 6= â â G als auch, dassG als endliche Vereinigung endlicher Mengen endlich ist, weshalb g â G |gU âŠU 6= â endlich ist. AusK â U folgt letztlich, dass g â G | gK âŠK 6= â endlich ist.
(ii) =â (i): Seien x und y in X, dann besitzen x und y kompakte Um-gebungen Ux und Uy. Demnach ist U := Ux ⪠Uy ist als endliche Verei-nigung kompakter Mengen kompakt. Nach Voraussetzung gilt dann, dassg â G | gU ⊠U 6= â endlich ist. Da Ux â U und Uy â U , folgt, dassgUx ⊠Uy 6= â nur fur endliche viele g â G gilt.
Lemma 5.2. (vgl. [Lam09], S.221) Fur jedes Kompaktum K â H ist die Menge
M := A â SL2(R) | A(K) âŠK 6= â
beschrankt im Zahlenraum R4 der Tupel (a,b,c,d).
Beweis. Es lasst sich leicht nachrechnen, dass Im(Az) = |cz + d|â2Im(z), fur A
:=
(a bc d
)â SL2(Z) und z â H gilt (siehe z.B. S.310 vom Buch [FreiBus06] von
Freitag und Busam), denn: Allgemein gilt fur komplexe Zahlen Im(z) = 12i (zâz),(
xy
)= x
y und zz = |z|2.
16
5 KLEINSCHE KURVE
Somit ergibt sich
Im
(az + b
cz + d
)=
1
2i
(az + b
cz + dâ(az + b
cz + d
))
=1
2i
(az + b
cz + dâ az + b
cz + d
)=
1
2i
(az + b
cz + dâ az + b
cz + d
),denn a, b, c, d â R
=1
2i
((cz + d)(az + b)â (cz + d)(az + b)
|cz + d|2
)Wenn man den letzten Ausdruck ausmultipliziert, hat man:
Im
(az + b
cz + d
)=
1
2i
((adâ bc)z â (adâ bc)z
|cz + d|2
)=
1
2i
(z â z|cz + d|2
)=
1
2i
2iIm(z)
|cz + d|2= Im(z)|cz + d|â2
Man bedenke bei der vorletzten Gleichung, dass ad - bc = 1, da A â SL2(Z).Nach dieser kleinen Hilfsrechnung konnen wir uns dem eigentlichen Beweis wid-men. Sei K â H kompakt. Da K kompakt und Elemente in K einen positivenImaginarteil haben, gibt es ein r > 0, sodass
râ1 ⤠Im(z) ⤠r und |z| ⤠r fur jedes z â K. (?)
Sei z := x+ iy â K und Az â K, wobei A â SL2(Z) wie oben definiert sei. Mitden Abschatzungen (?) und der Formel Im(Az) = |cz + d|â2Im(z) folgt:
|cz + d|2 ⤠r2 und |az + d| = |cz + d||Az| ⤠r2.
Wir haben r2 ⼠|cz + d|2 = (cx + d)2 + c2y2 ⼠c2y2, weshalb |c|y ⤠r. Manbedenke hierbei, dass y > 0, da z â K â H und somit y = Im(z) > 0. Analogzeigt man die Abschatzung |a|y ⤠r2:r4 ⼠|az + d|2 = (ax+ d)2 + a2y2 ⼠a2y2 =â |a|y ⤠r2.Nach (?) ist y ⼠râ1, denn y = Im(z) und z â K. Daraus folgt dann: |c| ⤠r2
und |a| ⤠r3. Weiterhin gilt, da |z| ⤠r:
|d| ⤠|cz + d|+ |c||z| ⤠r + r3
|b| ⤠|az + b|+ |a||z| ⤠r2 + r4.
Demnach haben wir fur a, b, c, d Schranken. Dies bedeutet, dass M fur jedekompakte Menge K â H in R4 beschrankt.
Definition 5.3. Eine Untergruppe G â SL2(R) heiĂt diskret, falls die Ein-heitsmatrix E isoliert in G liegt. Das heiĂt, dass es eine Umgebung U von E inSL2(R) â R4 gibt, sodass U âŠG = E.
17
5 KLEINSCHE KURVE
Bemerkung 5.4. An dieser Stelle sei erwahnt, dass wir unsere Definition einerdiskreten Gruppe (Definition 2.10) nur umformuliert haben. Die obige Definitioneiner diskreten Gruppe G in SL2(R) bedeutet nichts anderes, als dass der topo-logische Raum (G, T ), wobei T := U ⊠G | U ist offen in SL2(R), diskret ist.Auf diese Weise stimmen die beiden Definitionen einer diskreten Gruppe mit-einander uberein. Fur die weiteren Beweise eignet es sich eher, mit Definition5.3 zu arbeiten.
Definition 5.5. Eine Folge (An)nâN â SL2(R), An =
(an bncn dn
)konver-
giert gegen ein Element A =
(a bc d
)â SL2(R), falls lim
nââan = a, lim
nââbn =
b, limnââ
cn = c und limnââ
dn = d. Wir schreiben dann: limnââ
An = A.
Bemerkung 5.6. Da Aâ1n =
1
andn â bncn
(dn âbnâcn an
)=
(dn âbnâcn an
)und
Aâ1 =
(d âbâc a
), gilt lim
nââAâ1n = Aâ1.
Definition 5.7. Eine Teilmenge A eines topologischen Raums X heiĂt lokalendlich, falls K ⊠A fur jedes Kompaktum K â X endlich ist.
Lemma 5.8. (vgl. [Lam09], S.221) Sei G eine diskrete Untergruppe von SL2(R).Dann ist G lokal endlich.
Beweis. Wir fuhren diesen Beweis per Widerspruch und fassen G als eine Teil-menge des R4 auf. Angenommen, es gibt eine kompakte Teilmenge K â R4,sodassKâŠG unendlich viele Elemente besitzt. Dann gibt es wegen der Kompakt-heit von K eine Folge (An)nâN â KâŠG mit paarweise verschiedenen Folgenglie-dern, die in K konvergiert. Es folgt nun, dass die Folge (AnA
â12n )nâN â G \ E
gegen E konvergiert. Dass die Folgenglieder der Folge (AnAâ12n )n nicht gleich E
sind, liegt daran, dass die Folgenglieder von (An)n paarweise verschieden sind.Da (AnA
â12n )n gegen E konvergiert, enthalt jede Umgebung U von E mindes-
tens ein Folgenglied von (AnAâ12n )n, was bedeutet, dass U ⊠G 6= E fur jede
Umgebung U von E gilt, was der Diskretheit von G widerspricht.
Satz 5.9. Fur eine Untergruppe G â SL2(R) sind die folgenden Aussagenaquivalent:
(i) G wirkt eigentlich diskontinuierlich auf H.
(ii) Es gibt mindestens zwei verschiedene Punkte ι und β in H, die auf lokalendlichen G-Bahnen liegen.
(iii) G ist diskret in SL2(R).
18
5 KLEINSCHE KURVE
Beweis.
(i) =â (ii):Sei x â X und K â X kompakt. Falls Gx âŠK = â gibt es nichts zu zeigen.Sei also y â Gx âŠK. Nach Lemma 5.1 ist g â G | gK âŠK 6= â endlich undsomit ist Gy ⊠K endlich, denn y â K, weswegen g â G | gy ⊠K 6= â endlich ist. Es gilt allerdings Gx = Gy, weshalb auch Gx ⊠K endlich ist.Anders gesagt: Alle G-Bahnen sind lokal endlich.
(ii) =â (iii):Angenommen, G ist nicht diskret, dann gibt es eine Folge (An)nâN â G\E,sodass lim
nââAn = E. Seien Îą und β Elemente aus H, die auf lokal endlichen
G-Bahnen liegen. Dann besitzten Îą und β kompakte Umgebungen UÎą bzw.Uβ , sodass UÎą âŠGÎą = Îą und Uβ âŠGβ = β. (?)Da (An)nâN gegen die Einheitsmatrix konvergiert, gibt es ein n0 und n0 â N,sodass An(Îą) â UÎą fur alle n ⼠n0 und An(β) â Uβ fur alle n ⼠n0. Aus(?) folgt, dass An(Îą) = Îą und An(β) = β fur alle n ⼠maxn0, n0. JederAutomorphismus von H mit mindestens zwei Fixpunkten ist die Identitat.Daraus ergibt sich, dass An = âE fur fast alle n â N gilt, denn An = Ekommt nach der Definition von (An)n nicht infrage. Somit gilt lim
nââAn = âE,
was ein Widerspruch ist.
(iii) =â (i):Sei K â H kompakt. Nach Lemma 5.2 ist M := A â G | A(K) ⊠K 6= â beschrankt. Angenommen, M ist nicht endlich. Dann gibt es nach dem Satzvon Bolzano-Weierstrass eine Folge mit unendlich vielen verschiedenen Fol-gengliedern (An)nâN â G, die gegen ein A â SL2(R) konvergiert. Betrachtenun die Menge D := An | n â N ⪠A. D ist offensichtlich abgeschlossen.D ist zudem beschrankt, weil M beschrankt ist. Nach dem Satz von Heine-Borel ist D kompakt. Daher gilt, da nach Lemma 5.8 diskete Gruppen lokalendlich sind, dass D ⊠G endlich ist. Dies ist allerdings ein Widerspruch, daAn | n â N nicht endlich ist und An | n â N â D ⊠G gilt. Aus Lemma5.1 folgt, dass G eigentlich diskontinuierlich auf X wirkt.
Satz 5.10. Eine Untergruppe G â SL2(R) wirkt genau dann eigentlich dis-kontinuierlich auf H, wenn Ď(G) diskontinuierlich auf H wirkt. Ď : SL2(R) âPSL2(R) sei hierbei die kanonische Projekion.
Beweis. Diese Aussage folgt sofort aus dem Umstand, dass A(z) = [A] (z), wobeiA â SL2(R), Ď(A) = [A] und z â H.
Mit dem oben gezeigten folgt nun leicht, dass Xp eine Riemannsche Flache ist:Aus der Diskretheit von Z folgt mithilfe der Definitionen 5.3 und 5.5 sofort, dassSL2(Z) diskret ist. Nach Satz 5.9 gilt nun, dass SL2(Z) eigentlich diskontinuier-lich auf H wirkt. Daher wirkt nach Satz 5.10 PSL2(Z) = Ď(SL2(Z)) eigentlichdiskontinuierlich auf H. Selbiges gilt fur Îp, weil Îp Untergruppe von PSL2(Z)
19
5 KLEINSCHE KURVE
ist. Aus Satz 3.1 folgt schlussendlich, dass sowohl Xp als auch H/PSL2(Z) Rie-mannsche Flachen sind.
5.2 Nichttriviale Stabilisatoren in PSL2(Z) und Fundamen-talgebiete
Grundlegendes Ziel dieses Kapitels ist es, wie in der Einleitung bereits erwahnt,eine kompakte Riemannsche Flache Xp zu konstruieren, sodass Xp â Xp. Beider Konstruktion von Xp ist es wichtig, die Gruppe PSL2(Z) zu verstehen. Des-halb werden wir in diesem Abschnitt beweisen, dass die einzigen Elemente in H,die von einem nichttrivialen Element aus PSL2(Z) fixiert werden, die Elemente
aus PSL2(Z)i und PSL2(Z)% sind, wobei % := eiĎ3 .
Wir werden in diesem Abschnitt zudem ein Fundamentalgebiet fur die Grup-penwirkung von PSL2(Z) auf H angeben und begrunden, dass H/PSL2(Z)homoomorph zu C ist.
Die Vorlage fur die Bestimmung der nichttrivialen Stabilisatoren der Gruppen-wirkung SL2(Z) auf H liefert das Buch [FreiBus06], Kapitel VI.1, von Freitagund Busam. Beim Beweis des letzten Satzes dieses Abschnitts haben wir unsteilweise an Theorem 4 von Kapitel 6 aus [Don11] orientiert.
Lemma 5.11. (vgl. [FreiBus06], S.328) Sei A =
(a bc d
)â SL2(Z), sodass
A% = %. Dann gilt:
A â ÂąE, Âą(
1 â11 0
), Âą(
0 â11 â1
)
Beweis. Man bemerke, dass % = eiĎ3 = 1
2 + i2
â3. Es gilt:
%2 =1
4+i
2
â3â 3
4=â1
2+i
2
â3 = â% = %â 1 und %3 = â1.
Aus der Gleichung
A% = %â z =a%+ b
c%+ dâ a%+ b = c%2 +dâ a%+ b = c(%â1)+d% = c%â c+d%
folgt, wenn man %2 = âz = % - 1 einsetzt, dass a = c+ d und b = âc, also
A =
(dâ b bâb d
),
woraus sich, da det(A) = 1,
b2 â bd+ d2 = 1 (?)
20
5 KLEINSCHE KURVE
ergibt. Falls d = b, sind die einzigen Losungen der Gleichung (?) d = b = 1 undd = b = -1. Sofern d, b < 0, ist die Gleichung (?) nicht losbar, da in diesem Fallb2 â bd + d2 ⼠3. Fur den Fall d, b > 1 gilt b2 â bd + d2 = (b â d)2 + db ⼠4,weshalb auch in diesem Fall die Gleichung (?) keine Losung hat. Offensichtlicherfullen (d, b) â Âą(0, 1), Âą(1, 0) die Gleichung (?). Insgesamt haben wir fur(d, b) als Losungen: Âą(0, 1), Âą(1, 0), Âą(1, 1).
Damit haben wir gezeigt, dass % einen nichttrivialen Stabilisator in PSL2(Z)hat und, dass |PSL2(Z)y| = 3 fur jedes y â PSL2(Z)% gilt.
Korollar 5.12. Die Gleichungen A% = %2, A%2 = % und A%2 = %2 haben inSL2(Z) jeweils sechs Losungen, namlich:
(i) (A% = %2): Âą(
0 1â1 0
), Âą
(1 0â1 1
), Âą
(1 â10 1
)
(ii) (A%2 = %): Âą(
0 1â1 0
), Âą
(1 10 1
), Âą
(1 01 1
)
(iii) (A%2 = %2): Âą(
1 00 1
), Âą
(0 â11 1
), Âą
(â1 â11 0
)Beweis. Der Beweis ergibt sich unmittelbar aus der Gleichung:(
0 â11 0
)(%) =
â1
%=
â112 + i
2
â3
=â12 + i
2
â3
14 + 3
4
=â1
2+i
2
â3 = %2
Bevor wir zeigen, dass neben den Elementen aus PSL2(Z)% nur die Elementeaus PSL2(Z)i nichttriviale Stabilisatoren in PSL2(Z) besitzen, diskutieren wirkurz den Begriff eines Fundamentalgebiets fur eine Gruppenwirkung.
Definition 5.13. Sei G eine Gruppe, die auf einen topologischen Raum X wirkt.Wir nennen eine offene Menge Ί â X ein Fundamentalgebiet fur diese Grup-penwirkung, falls fur jedes x â X gilt: Gx ⊠Ί 6= â und |Gx ⊠Ί| ⤠1.
Beispiel 5.14. Sei Ď1, Ď2 eine R-Basis von C und Î := ZĎ1 + ZĎ2 einGitter. Î wirke wie folgt auf C: Îť ⢠z := Îť + z, fur z â C, Îť â Î. Dann ist
P := aĎ1 + bĎ2 | a, b â (0, 1)
ein Fundamentalgebiet fur diese Gruppenwirkung.
Wir betrachten nun die Menge Ί := z â H | |Re(z)| < 12 , |z| > 1 Dies ist ein
Fundamentalgebiet fur die Gruppenwirkung von SL2(Z) auf H. Dieses Resultatwerden wir erst spater beweisen. Davor werden wir alle Elemente A aus SL2(Z)bestimmen, fur die AΊâŠÎŠ 6= â gilt. Da Ί ein Fundamentalgebiet ist, beschreibtdie Ungleichung AΊ ⊠Ί 6= â alle moglichen nichttrivialen Stabilisatoren inSL2(Z) eines Elements in H.
21
5 KLEINSCHE KURVE
Lemma 5.15. Sei A â SL2(Z), sodass AΊ ⊠Ί 6= â , dann ist A eine derfolgenden Matrizen:
ÂąE, Âą(
1 10 1
), Âą
(1 â10 1
), Âą
(0 â11 0
)oder eine der Matrizen aus Korollar 5.12.
Beweis. Sei A =
(a bc d
)â SL2(Z) und z â Ί.
Fur den Fall c = 0 impliziert det(A) = 1, dass A â (
1 b0 1
),
(â1 b0 â1
).
Da b â Z beliebig ist, konnen wir ohne Einschrankung den Beweis weiter mir
A =
(1 b0 1
)fuhren. Sofern A(z) â Ί, gilt
1
2⼠|Re(A(z))| = |Re(z + b)| = |Re(z) + b|.
Fur z gilt allerdings |Re(z)| ⤠1
2, weshalb die obige Ungleichung nur fur b
â 0,Âą1 in Z losbar ist.Sei nun c 6= 0. Fur alle (c, d) â ZĂ Z \ (0, 0) gilt |cz + d| ⼠1, denn
|cz + d| =â
(cRe(z) + d)2 + (cIm(z))2
=âc2((Re(z))2 + (Im(z))2) + 2cdRe(z) + d2
=âc2|z|2 + 2cdRe(z) + d2 âĽ
|z|âĽ1
âc2 + 2cdRe(z) + d2.
Der Audruckâc2 + 2cdRe(z) + d2 ist genau dann groĂer oder gleich 1, wenn
c2 + 2cdRe(z) + d2 ⼠1, weil c2 + 2cdRe(z) + d2 ⼠0, denn |Re(z)| ⤠1
2.
Falls Re(z) < 0, ist c2 + 2cdRe(z) + d2 minimal, wenn Re(z) = â1
2und dann
haben wir c2 + 2cdRe(z) + d2 ⼠c2 â cd+ d2 = (câ d)2 +3
2dc.
Falls d = 0, gilt (câ d)2 +3
2dc = c2 ⼠2, denn c â Z \ 0.
Sofern d 6= 0, mussen wir noch zwischen dem Fall dc > 0 und dc < 0 unterschei-
den. Falls dc > 0: (câ d)2 +3
2dc ⼠1.
Falls dc < 0: (câ d)2 +3
2dc ⼠(câ d)2 + 2dc = c2 + d2 ⼠1, denn c â Z \ 0.
Zusammengefasst gilt, dass |cz + d| ⼠1, falls Re(z) < 0.
Falls Re(z) ⼠0, dann ist c2 + 2cdRe(z) + d2 minimal, wenn Re(z) =1
2und es
gilt dann c2 + 2cdRe(z) + d2 ⼠c2 + cd+ d2 = (c+ d)2 â 3
2dc.
Ahnliche Uberlegungen wie oben fuhren, auch wenn Re(z) ⼠0, zu der Abschatzung|cz + d| ⼠1.
22
5 KLEINSCHE KURVE
Man kann nachrechnen, dass sich A zerlegen lasst als
A(z) =a
câ câ2
z + dc
.
Falls A(z) â Ί, dann haben wir 1 ⤠| â cA(z) + a| und es folgt so:
| â cA(z) + a| = | 1
cz + d| â |cz + d| ⤠1.
Zusammen ergibt sich |cz + d| = 1, sofern sowohl z als auch Az in Ί liegen.
Sei z â Ί. Es gilt sowohl |z| =â
(Re(z))2 + (Im(z)2 ⼠1 als auch |Re(z)| ⤠1
2.
Daraus ergibt sich fur Im(z) die folgende Abschatzung:
|z| =â
1
4+ (Im(z))2 ⼠1â 1
4+ (Im(z))2 ⼠1â Im(z) âĽ
â3
2.
Die Gleichung |cz + d| = 1 und die Ungleichung Im(z) âĽâ
3
2implizieren zu-
sammen, dass c, d â 0,Âą1, falls A(z) â Ί. Es gilt AΊ ⊠Ί 6= â genau dann,
wenn Aâ1ΊâŠÎŠ 6= â , weswegen wir die vorherige Analyse mit Aâ1 =
(d âbâc d
)durchfuhren konnen. Am Ende ergibt sich, dass auch a â 0,Âą1 gelten muss.Schreibt man alle Matrizen in SL2(Z), die nur die Eintrage 0 und Âą1 haben,erhalt man genau die im Satz aufgefuhrte Liste an Matrizen.
Aus dieser Liste kann man nun ablesen, dass nur Elemente aus PSL2(Z)Ď undPSL2(Z)i nichttriviale Stabilisatoren in PSL2(Z) besitzen. Ein nichttrivialer
Stabilisator von i ist A :=
(0 â11 0
). Man rechnet kurz nach, dass A2 = E.
Somit gilt |PSL2(Z)x| = 2 fur jedes x â PSL2(Z)i. Jetzt mussen wir noch denBeweis nachreichen, dass Ί ein Fundamentalgebiet fur die Gruppenwirkung vonPSL2(H) auf H ist.
Satz 5.16. Ί = z â H | |Re(z)| < 12 , |z| > 1 ist ein Fundamentalgebiet fur
die Gruppenwirkung von SL2(Z) auf H.
Beweis. Wir mussen zum einen zeigen, dass SL2(Z)x ⊠Ί 6= â fur jedes x â Hgilt und zum anderen, dass |SL2(Z)xâŠÎŠ| ⤠1. Letzteres ergibt sich schnell ausLemma 5.15:Man kann leicht nachrechnen, dass fur A â SL2(Z) mit AΊ ⊠Ί 6= â , gilt, dassAΊ in Ί \ Ί liegt. Dies bedeutet, dass AΊ ⊠Ί = â fur jedes A â SL2(Z) gilt,denn:Wir nehmen nun an, dass y := gx â SL2(Z)x ⊠Ί fur ein x â H, dann istSL2(Z)y = SL2(Z)x und somit SL2(Z)y ⊠Ί 6= â , aber
SL2(Z)y ⊠Ί âyâΊ
âgâSL2(Z)
g(Ί) ⊠Ί = â ,
23
5 KLEINSCHE KURVE
weswegen |SL2(Z)x ⊠Ί| = 0 fur jedes x â H gilt.
Es bleibt nur noch zu zeigen, dass SL2(Z)x ⊠Ί 6= â fur jedes x â H gilt.
Sei x â H. Wir haben im Beweis von Lemma 5.2 fur A â SL2(Z) bereitsfolgendes nachgerechnet:
Im(Az) =Im(z)
|cz + d|2
wobei (c, d) die zweite Zeile von A sei. Sei nun ((cn, dn))n die Folge aller Paarein Z Ă Z, die als zweite Zeile einer Matrix in SL2(Z) auftauchen, wobei kein
Paar mehrfach auftreten soll. Da
(0 â11 d
)fur jedes d â Z und
(1 0c 1
)fur
jedes c â Z in SL2(Z) liegen, sind die beiden Komponenten (cn)n und (dn)n inder Folge ((cn, dn))n unbeschrankt. Daher gilt
|cnx+ dn| âânââ
â
Dies bedeutet aber, dass es zu n â N ein n0 â N existiert, sodass |cnx + dn| â¤|cnx+ dn| fur jedes n ⼠n0. Wir setzen nun
|c0x+ d0| := min(|cnx+ dn| | n â 1, ..., n0 ⪠|cnx+ dn|)
Nun gibt es nach Definition unserer Folge ((cn, dn))n eine Matrix A â SL2(Z),sodass (c0, d0) die zweite Zeile von A ist. Sei B â SL2(Z). Dann gibt es einn â N, sodass (cn, dn) die zweite Zeile von B ist. Per Definition gilt dann|c0x+ d0| ⤠|cnx+ dn|. Daraus folgt, dass
Im(Ax) =Im(x)
|c0x+ d0|2⼠Im(x)
|cnx+ dn|2= Im(Bx).
Dies heiĂt, dass Im(Ax) = maxgâSL2(Z)
Im(gx). Wir definieren nun x := Ax. Wir
konnen annehmen, dass x â z â H | |Re(z)| ⤠1
2. Andernfalls kann man T
geeignet oft auf x anwenden, wobei T (z) := z + 1. Man bedenke hierbei, dassIm(T (z)) = Im(z) fur jedes z â C gilt. Wir betrachten nun S(z) := â 1
z inSL2(Z). Es gilt Im(Sz) = |z|â2Im(z) fur jedes z â H. Demnach ist Im(S(z)) >Im(z), falls |z| < 1. Nun ist aber Im(x) > Im(S(x), weshalb |x| ⼠1. Das heiĂt:Ax â SL2(Z)x ⊠Ί, woraus folgt, dass SL2(Z)x ⊠Ί 6= â . Da x und x aufdemselben Orbit liegen, gilt SL2(Z)x = SL2(Z)x.So ergibt sich: SL2(Z)x ⊠Ί 6= â .
Ausgehend von diesem Fundamentalgebiet Ί kann man sich uberlegen, dassH/PSL2(Z) homoomorph zu C ist. Nach geeigneter Verformung unseres Fun-
damentalgebiets sieht man schnell, dass Ί homoomorph ist zu C \ â. Die
komplexe Ebene C wiederum ist homoomorph zu C \ â, woraus sich ergibt,
24
5 KLEINSCHE KURVE
dass C homoomorph ist zu H/PSL2(Z). Einen Beweis dafur, dass H/PSL2(Z)homoomorph zu C ist, kann man in Kapitel 6 des Buches [Don11] nachlesen.
5.3 Exkurs: Algebraische Topologie
Sei Y eine Riemannsche Flache. In diesem Exkurs wollen wir beweisen, dasszu einer nicht-konstanten eigentlichen holomorphen Abbildung F : Y â C einekompakte Riemannsche Flache Y und eine holomorphe Abbildung F : Y â Cexistieren, sodass Y â Y , F|Y = F und Fâ1(â) = Y \Y . Fur den Beweis dieser
Aussage benotigen wir Kenntnisse aus der Uberlagerungstheorie. Mit diesemSatz konnen wir im letzten Abschnitt dieser Bachelorarbeit beweisen, dass sichXp kompaktifizieren lasst. Wir werden die meisten Satze dieses Abschnitts oh-ne Beweis angeben. Den groĂten Teil dieses Abschnitts haben wir dem Buch[Mir95], Kapitel III.4, von Rick Miranda entnommen, jedoch stammen einigeBemerkungen und die ersten beiden Definitionen dieses Abschnitts aus demBuch [Don11] von Simon Donaldson.Sofern nicht anders angegeben sei V eine Riemannsche Flache und U ein topo-logischer Raum.
Definition 5.17. F : U â V heiĂt lokaler Homoomorphismus, falls je-des p â U eine Umgebung W â U besitzt, sodass F|W : W â F (W ) einHomoomorphismus ist.
Definition 5.18. Eine stetige Abbildung F : U â V heiĂt Uberlagerung vonV, falls zu jedem v â V eine Umgebung W â V existiert, sodass Fâ1(W) derartals disjunkte Vereinigung offener Mengen UÎą â U geschrieben werden kann, dassF|UÎą : UÎą âW ein Homoomorphismus ist. Falls U (einfach-)zusammenhangend
ist, nennen wir F eine (einfach-)zusammenhangende Uberlagerung von V.
Bemerkung 5.19.
(1) Offenbar ist jede Uberlagerung von V surjektiv.
(2) Uberlagerungen von V sind lokale Homoomorphismen.
(3) Jede Uberlagerung von V ist offen.
(4) Die Kardinalitat von Fâ1(v) hangt nicht von v â V ab. Wir definierendaher den Grad deg(F) einer Uberlagerung F von V als die Kardinalitatvon Fâ1(v) fur ein v â V. Falls der Grad von F endlich ist, nennen wirF eine endliche Uberlagerung von V und es gilt, dass F eigentlich ist.
Beispiel 5.20.
(1) Seien X und Y Riemmansche Flachen. f : X â Y sei eine eigentlicheunverzweigte holomorphe Abbildung. Dann ist f eine Uberlagerung von Y.Dies folgt aus dem Satz uber die lokale Normalform und dass fâ1(y) furjedes y â Y endlich ist. Letzteres gilt, da fâ1(y) diskret ist, weil f einenicht-konstante holomrphe Abbildung ist, weswegen fâ1(y) als diskrete und
25
5 KLEINSCHE KURVE
kompakte Menge endlich ist. Die Kardinalitat von fâ1(v) hangt nicht vonv â V ab, weil f unverzweigt ist. Der Grad von f als eigentliche holomorpheAbbildung entspricht genau dem Grad von f als Uberlagerung von Y.
(2) Sei f : X â Y biholomorph. Dann ist f eine Uberlagerung von Y.
(3) Seien X und Y kompakte Riemannsche Flachen. Jede nicht-konstante un-verzweigte holomorphe Abbildung f : X â Y ist eine Uberlagerung von Y.Diese Behauptung folgt aus denselben Grunden wie in (a) nur gilt hier,dass fâ1(y) deshalb endlich ist, weil fâ1(y) eine diskrete Teilmenge derkompakten Menge X ist. Auch hier hangt die Kardinalitat von fâ1(v) nichtvon v â V ab, weil f unverzweigt ist.
Bemerkung 5.21. Die Relation:
F : U â V âź Fâ˛
: UⲠâ V :â â G : U â U
â˛Homoomorphismus: F
ⲠG = F
definiert auf der Menge
F : U â V | U topologischer Raum, F ist eine Uberlagerung von V
eine Aquivalenzrelation.
Wenn wir von Aquivalenzklassen von Uberlagerungen von V sprechen, dannbeziehen wir uns stets auf die Aquivalenzrelation, die wir in der Bemerkung5.21 eingefuhrt haben.
Definition 5.22. Ein Weg in V ist eine stetige Abbildung Îł : [0,1] â V. Îłist eine Schleife im Punkt x0, falls Îł(0) = Îł(1) = x0. Wir sagen dann, dass Îłeine Schleife mit Basispunkt x0 ist. Sei q â V. Zwei Schleifen Îł1 und Îł2 mitBasispunkt q heiĂen homotop, falls eine stetige Abbildung G : [0, 1] Ă [0, 1] âV existiert, sodass
⢠G(0,t) = Îł1(t) fur jedes t â [0, 1]
⢠G(1,t) = Îł2(t) fur jedes t â [0, 1]
⢠G(s,0) = G(s,1) = q fur jedes s â [0, 1].
Dann nennen wir G eine Homotopie zwischen Îł1 und Îł2. Die Relation
Îł1 âź Îł2 :â Îł1 und Îł2 sind homotop
definiert eine Aquivalenzrelation auf der Menge aller Schleifen in V mit Ba-sispunkt q. Die Aquivalenzklassen bezuglich der oben definierten Relation nen-nen wir Homotopieklassen. Die Fundamentalgruppe Ď1(V,q) von V mit Ba-sispunkt q ist die Menge aller Homotopieklassen zusammen mit der folgendenOperation: Seien Îł1 und Îł2 Schleifen in V mit Basispunkt q
Îł1 â Îł2 : [0, 1] â V , t 7â
Îł1(2t) fur t â
[0, 1
2
]Îł2(2tâ 1) fur t â
[12 , 1]
26
5 KLEINSCHE KURVE
Auf Ď1(V,q) definieren wir nun: [Îł1]â [Îł2] = [Îł1 â Îł2].
Das folgende Beispiel haben wir dem Buch [Don11] von Simon Donaldson ent-nommen.
Beispiel 5.23. (vgl. [Don11], S.46
(a) Falls V gleich C oder eine Scheibe in C ist, so ist Ď1(V,q) fur jedes q â Vtrivial.
(b) Falls V gleich C \ 0 oder eine punktierte Scheibe in C ist, dann istĎ1(V,q) ismorph zu Z fur jedes q â V.
Bemerkung 5.24. Jede Uberlagerung F : U â V von V besitzt die Weg-Liftungseigenschaft. Dies bedeutet, dass fur jeden Weg Îł : [0,1] â V undjeden Punkt p â Fâ1(Îł(0)) ein Weg Îł in U existiert, sodass Îł(0) = p undF Îł = Îł. Îł ist dann der Lift von Îł bzgl. F mit Startpunkt p.
Satz 5.25. Es existiert eine universelle Uberlagerung F0 : U0 â V von V,sodass:
⢠U0 ist einfach-zusammenhangend.
⢠Falls Fâ˛
0 : Uâ˛
0 â V eine einfach-zusammenhangende Uberlagerung von Vist, dann sind F0 und F
â˛
0 aquivalent.
⢠Sofern F : W â V eine zusammenhangende Uberlagerung von V ist, exis-tiert genau eine Uberlagerung G : U0 â U von U, sodass F0 = F G0.
Bemerkung 5.26. Der letzte Punkt im obigen Satz beschreibt die Universa-litatseigenschaft von F0.
Definition 5.27. Sei G eine Gruppe und H â G eine Untergruppe von G.Wir nennen dann xHxâ1 | x â G, mit xHxâ1 := xhxâ1 | h â H, dieKonjugationsklasse von H in G.
Fortan sei q â V und F0 : U0 â V eine universelle Uberlagerung von V wie siein Satz 5.25 beschrieben wurde.Die Fundamentalgruppe Ď1(V, q) induziert Homoomorphismen g : U0 â U0, so-dass F0g = F0. Wir sagen dann, dass Ď1(V, q) auf F0 wirkt. Jetzt skizzieren wir,wie Ď1(V, q) solche Homoomorphismen induziert. Die folgenden Erlauterungenstammen aus [Mir95], S.85: Sei p â Fâ1
0 (q). Wahle eine Schleife Îł in V mit Ba-sispunkt q und ein u â U0. Wahle nun einen Weg Îą von u nach p0 in U0. Dannist F0 Îą ein Weg in V , der in F0(u) startet und in q aufhort. Betrachte nunden Lift Îł von Îł bzgl. F0, der in p startet und den Lift β des zu F0 Îą inversenWeges âF0 Îą bzgl. F , der in Îł(1) beginnt. Fur β(1) gilt: β(1) â Fâ1
0 (u).Mit mehr Kenntnissen aus der algebraischen Topologie kann man zeigen, dassβ(1) nur von u und der Homotopieklasse [Îł] abhangt. Wir setzen β(1) := [Îł] ¡u.Die Abbildung g : U0 â U0, u 7â [Îł] ¡ u, ist ein Homoomorphismus, fur denF0 g = F0 gilt. Dies definiert eine Gruppenwirkung von Ď1(V, q) auf F0.
27
5 KLEINSCHE KURVE
Die Wirkung von Ď1(V, q) auf F0 erhalt die Fasern von F0. Zudem ist U0/Ď1(V, q)homoomorph zu V ist. Gegegben sei eine Untergruppe H von Ď1(V, q). Die ebendefinierte Gruppenwirkung konnen wir auf eine Wirkung von H auf F0 ein-schranken. Die kanonische Projektion Ď : U0 â V ist eine Uberlagerung vonV . Tatsachlich hat jede zusammenhangende Uberlagerung von V diese Form.AuĂerdem sind je zwei zusammenhangende Uberlagerungen Ď1 : U0/H1 â Vund Ď2 : U0/H2 â V von V genau dann aquivalent, wenn sie derselben Konju-gationsklasse angehoren, d.h. H1 = [Îł]H2[Îł]â1, [Îł] â Ď1(V, q).
Sei nun eine zusammenhangende Uberlagerung F : U â V von V gegeben.Wahle ein p â Fâ1(q) und die Untergruppe H := [Îł] | [Îł] â Ď(V, q), [Îł] ¡p = pvon Ď(V, q). Die Untergruppe H hangt von p ab, jedoch ist die Konjugations-klasse von H unabhangig von p. Aus der Art und Weise wie H gewahlt wurdefolgt, dass der Grad von F gleich dem Index von H in Ď1(V, q) entspricht. Daherfolgt:
Satz 5.28. Sei V eine Riemannsche Flache und q â V ein Basispunkt, danngibt es eine 1-1 Korrespondenz zwischen:
⢠Aquivalenzklassen zusammenhangender Uberlagerungen F : U â V von V
⢠Konjugantionsklassen von Untergruppen von Ď1(V,q).
Sei F : U â V eine zusammenhangende Uberlagerung von V mit Grad d â N.Dies bedeutet, dass jeder Punkt in p â V genau d Urbilder hat und aus unserenUberlegungen folgt, dass der Index einer Untergruppe H von Ď1(V, q) gleich dist, falls F zu H korrespondiert. Setze nun Fâ1(q) := x1, ..., xd. Jede SchleifeÎł in V mit Basispunkt q kann zu genau d Pfaden Îł1,....,Îłd geliftet werden, wobeiÎłi der Lift von Îł bzgl. F ist, der in xi startet. Dies bedeutet: Îłi(0) = xi furjedes i â 1, ..., d. Auch die Endpunkte von Îłi liegen in Fâ1(q), da F Îłi = Îłiund Îłi eine Schleife mit Basispunkt q ist. Das heiĂt, dass Îłi(1) = xj fur ein j â1, ..., d ist. Es gilt auch, dass Îłi | i â 1, ..., d = x1, ..., xd. Setze Îłi(1):= xĎ(i). Die Funktion Ď ist eine Permutation der Elemente 1, ...d. Man kannzeigen, dass Ď nur von der Homotopieklasse von Îł abhangt. So erhalt man einenGruppenhomomorphismus
Ď : Ď1(V,q) â Sd,
wobei Sd := Ď | Ď ist eine Permutation der Menge 1, ...d.
Definition 5.29. Wir nennen den obigen Gruppenhomomorphismus Ď : Ď1(V,q)â Sd die Monodromiedarstellung einer Uberlagerung F : U â V von V mitendlichem Grad d.
Definition 5.30. Eine Untergruppe H von Sd heiĂt transitiv, falls es zu jedemPaar (i,j), i,j â 1, ...d, , ein Ď â H gibt, sodass Ď(i) = j.
Lemma 5.31. Das Bild der Monodromiedarstellung Ď : Ď1(V,q) â Sd einerendlichen zusammenhangenden Uberlagerung F : U â V von V ist transitiv.
28
5 KLEINSCHE KURVE
Wir werden nun die Monodromiedarstellung einer nicht-konstanten holomor-phen Abbildung F : X â Y zwischen kompakten Riemannschen Flachen dis-kutieren. Man vergleiche die folgenden Erklarungen mit [Mir95], S.87-89.F ist im Allgemeinen keine Uberlagerung von Y , da F eventuell Verzweigungs-punkte besitzt. Sei R â X die Menge der Verzweigungspunkte von F und B :=F (R). Da X kompakt ist, sind sowohl R als auch B endlich. Setze V = Y \ Bund X \R. Dadurch, dass wir alle Verzweigungspunkte von F in X und dass wiralle Punkte in Y entfernt haben, deren Urbilder moglicherweise Verzweigungs-punkte sind und dass F eine nicht-konstante holomorphe Abbildung zwischenkompakten Riemannschen Flachen ist, ist die Restriktion F|U : U â V eine
Uberlagerung von V mit endlichem Grad d. Demnach hat diese Uberlagerungeine Monodromiedarstellung Ď : Ď1(V, q) â Sd. Wir nennen Ď die Monodro-miedarstellung von F . Die offene Menge U ist zusammenhangend, weil X zu-sammenhangend ist, weswegen das Bild von Ď nach Lemma 5.31 eine transitiveUntergruppe von Sd ist. Wir konnen diesen Vorgang aber auch umkehren.Sei V eine Riemannsche Flache und wahle q â V als Basispunkt. Zudem seiein Gruppenhomomorphismus Ď : Ď1(V, q)â Sd gegeben, sodass das Bild von Ďeine transitive Untergruppe von Sd ist. Wir fixieren nun einen Index, z.B. 1 undsetzen H := [Îł] â Ď1(V, q) | Ď([1])(1) = 1. H ist eine Untergruppe von Ď1(V,q)mit Index d. Nach der vorangegangenen Diskussion korrespondiert zu H einezusammenhangende Uberlagerung FĎ : UĎ â V von V. Nach Konstruktion ist Ďdie Monodromiedarstellung von FĎ. Auf analoge Weise wie Miranda in [Mir95]beweist, dass C/Î eine Riemannsche Flache ist, wobei Î â C ein Gitter ist,kann man zeigen, dass man auf UĎ auf eindeutige Weise eine komplexe Strukturdefinieren kann, sodass UĎ eine Riemannsche Flache und FĎ holomorph ist.
Satz 5.32. (vgl. [Mir95], S. 86) Sei F : Uâ â eine endliche zusammenhangendeUberlagerung, wobei â := z â C | 0 < |z| < 1. Dann ist U isomorph zu ei-ner punktierten Kreisscheibe und es existieren holomorphe Koordinaten w aufâ und z auf U, sodass F durch w = zN fur ein N â N gegeben ist.
Beweis. Sei q â â. F0 : Hâ â, z 7â exp(2Ďiz), ist eine universelle Uberlagerungvon â. Nach Satz 5.28 korrespondiert die Aquivalenzklasse von F zu einer Kon-jugationsklasse einer Untergruppe G von Ď1(â, q). Demnach ist es fur unse-ren Beweis hinreichend, die Aussage des Satzes fur jede zusammenhangendeUberlagerung zu testen, die zu einer Untergruppe in Ď1(â, q) korrespondiert.
Die Homoomorphismen, welche durch die Elemente aus Ď1(â, q) induziert wer-den, sind die Abbildungen Tn(z) = z + n, n â Z. Wie in Beispiel 5.23 erwahnt,ist Ď1(â, q) âź= Z. Demnach sind alle Untergruppen in Ď1(â, q) nach Identifika-tion in Z von der Form NZ.
N = 0: NZ ist isomorph zur trivialen Untergruppe von Ď1(â, q) und diesetriviale Untergruppe korrespondiert zu F0. Der Grad von F0 ist unendlich.
N = 1: In diesem Fall ist NZ isomorph zu Ď1(â, q) und die zugehorige zu-sammenhangende Uberlagerung ist die Identitat auf â.
29
5 KLEINSCHE KURVE
N ⼠2: Sei G die Untergruppe in Ď1(â, q), die zu NZ korrespondiert. Ausunserer obigen Bemerkung folgt, dass H/G = H/TN , wobei TN die Gruppeist, die durch TN , TN (z) = z+N , erzeugt wird. Sei FN : H/TN â â die zu Ggehorige zusammenhangende Uberlagerung. Die Menge DN := Ď(H), Ď(z) =exp( 2Ďiz
N ), ist eine punktierte Kreisscheibe. Die 2Ďi Periodizitat der Expo-
nentialfunktion garantiert die Wohldefiniertheit von ÎŚ : H/TN â DN , [z] 7âexp( 2Ďiz
N ). Zudem ist ÎŚ per Konstruktion surjektiv und dass ÎŚ injektiv ist, ist
klar. Daher ist ÎŚ biholomorph. Damit haben wir gezeigt, dass H/TN isomorphzu einer punktierten Kreisscheibe ist. wN = exp( 2Ďiz
N ) ist eine holomorphe Ko-ordinate auf DN und z sei hierbei die holomorphe Koordinate auf H, welchedurch die Identitat auf H definiert ist. Sei w1 die holomorphe Koordinate aufâ, welche durch F0 definiert ist. Nach Definition der Gruppenwirkung vonĎ1(â, q) bzw. H auf F0 gilt: FN ([z]) = F0(z) fur jedes [z] â H/TN . Es folgtso, dass die zusammenhangende Uberlagerung FN ÎŚâ1 : DN â â durchw1 = wNN gegeben ist. Insgesamt folgt so, dass eine holomorphe KoordinatezN auf H/T existiert, sodass FN durch w1 = zNN gegeben ist.
Bemerkung 5.33. Die Aussage gilt naturlich auch fur zusammenhangendeUberlagerungen von z â C | 0 < |z â z0| < r fur r > 0 und z0 â C.
Satz 5.34. (vgl. [Mir95], S. 90) Sei Y eine kompakte Riemannsche Flache, Bâ Y eine endliche Teilmenge, V := Y \ B und q â V. Sei auĂerdem Ď : Ď1(V,q)â Sd ein Gruppenhomomorphismus, sodass das Bild von Ď eine transitive Un-tergruppe von Sd ist. Dann existiert eine kompakte Riemannsche Flache XĎ und
eine holomorphe Abbildung F : XĎ â Y, sodass Ď die Monodromiedarstellung
von F ist.
Beweis. GemaĂ Satz 5.28 existiert zu Ď eine zusammenhangende UberlagerungF : UĎ â V von Grad d. Wie bereits erwahnt, kann man auf eindeutige Weiseeine komplexe Struktur auf UĎ definieren, sodass UĎ eine Riemannsche Flacheund F holomorph ist. Wir betrachten nun einen Punkt b â B.Sei W â Y eine Umgebung von b, sodass W \ b isomorph zu einer punktiertenKreisscheibe ist. Falls W klein genug ist, konnen wir Fâ1(W \ b) derart indisjunkte offene Mengen (Uj)jâJ , J eine endliche Indexmenge, zerlegen, dass
Fj := F|Uj: Uj âW \ b eine Uberlagerung von W \ b ist. Dies ist moglich,
weil F eine Uberlagerung von V ist. Da Fj eine endliche zusammenhangendeUberlagerung einer punktierten Kreisscheibe ist, ist nach Satz 5.32 Uj isomorphzu einer punktierten Kreisscheibe und es existiert eine holomorphe Koordinatew auf W \ b, eine holomorphe Koordinate uj auf Uj sowie mj â N, sodass F
eingeschrankt auf Uj durch w = umjj gegeben ist. Man bemerke, dass wir stets
dieselbe Koordinate w auf W \ b nehmen. Falls notwendig, konnen wir Wweiter verkleinern, sodass W in einer Koordinatenumgebung von Y enthaltenist.
30
5 KLEINSCHE KURVE
Nun mussen wir die Locher in Uj stopfen. Da Fj durch w = umjj gegeben ist
und Uj isomorph zu einer punktierten Kreisscheibe ist, konnen wir nach demRiemannschen Hebbarkeitssatz Fj auf eindeutige Weise holomorph zu einer Ab-
bildung Fj : Uj âW fortsetzen, sodass Uj â Uj , wobei Uj eine nicht-punktierte
Kreisscheibe sei, F|Uj= Fj und Fj(p) = b, wobei p = Uj \ Uj .
Auf diese Weise konnen wir in jedem Punkt in B vorgehen und konnen so, in-dem wir alle einzelnen Fortsetzungen miteinander kombinieren, eine holomorpheFortsetzung F : XĎ â Y von F konstruieren, wobei per Konstruktion naturlichUĎ â XĎ gilt.Es gilt zudem, dass XĎ kompakt ist, denn betrachte Z := Y \ W . Die MengeZ ist kompakt, da Y kompakt und W offen ist. Fâ1(Z) â Xp ist kompakt,da F eine Uberlagerung mit endlichem Grad und Z kompakt ist. Nun ist XĎ
die Vereinigung der Zs und der Abschlusse der Ujs und demnach als Vereini-gung endlich vieler kompakter Mengen kompakt. Basierend auf der Weise wieF konstruiert wurde, ist Ď offensichtlich die Monodromiedarstellung von F
Korollar 5.35. Sei X eine Riemannsche Flache und F : X â C eine nicht-konstante eigentliche holomorphe Abbildung. Dann existiert eine kompakte Rie-mannsche Flache X und eine holomorphe Abbildung F : X â C, sodass X âX, F|X = F und Fâ1(â) = X \ X. Zudem ist der Grad von F gleich demGrad von F.
Beweis. Sei d := deg(F ). Da F eigentlich ist, ist die Menge der Verzweigungs-punkte R von F endlich. Setze U := X \ R und V \ F (R). U und V sindRiemannsche Flachen, da R und F (R) endlich sind. F|V : U â V ist dann
eine Uberlagerung von V mit endlichem Grad d ist. Sei Ď : Ď1(V, q) â Sd die
Monodromiedarstellung von F . Da C kompakt ist, kann man nun auf die exaktselbe Weise wie in Satz 5.34 eine kompakte Riemannsche Flache X und eineholomorphe Abbildung F : X â C von Grad d konstruieren, sodass X â X,F|X = F und Fâ1(â) = X \X. Letzteres ergibt sich unmittelbar aus der Kon-
struktionsweise von F , die im Beweis von Satz 5.34 beschrieben wurde.
Bemerkung 5.36.
(i) Wir nennen F eine Fortsetzung von F.
(ii) Die Bedingung, dass F eigentlich ist, ist fur diesen Beweis zentral, weil siegarantiert, dass R endlich und dass F|V eine endliche Uberlagerung ist.
Nach diesem kurzen Exkurs konnen wir anfangen, die Modulkurven zu konstru-ieren.
5.4 Existenz von Xp
Mit Satz 5.34 haben wir fast alles, was wir benotigen, um zu zeigen, dass sichXp kompaktifizieren lasst. Bevor wir dies in diesem Abschnitt beweisen, werdenwir ein paar Worte uber freie Gruppenwirkungen verlieren. In diesem Abschnitt
31
5 KLEINSCHE KURVE
orientieren wir uns an Kapitel 7.2.4 aus dem Buch [Don11] von Simon Donald-son.
Definition 5.37. Sei G eine Gruppe, die auf eine Menge X wirkt. Wir nennendiese Gruppenwirkung frei, falls gilt:
â x â X : gx = x =â g = e
Ein Beispiel fur eine freie Gruppenwirkung ist die Gruppenwirkung von Îp aufH fur jede Primzahl p. Wir werden den Beweis nur fur Primzahlen fuhren,die groĂer sind als 3, denn in den Fallen p â 2, 3 muss man bei der folgen-den Rechnung noch eine Fallunterscheidung machen, was an dieser Stelle nichtzielfuhrend ist, da wir uns nur fur die Riemannsche Flache X7 interessieren.
Lemma 5.38. (vgl. [Don11], S.39) Sei p ⼠5 eine Primzahl, dann wirkt Îp freiauf H.
Beweis. Sei z â H und A =
(a bc d
), wobei adâ bc = 1 und entweder b = c =
0 mod p und a = d = 1 mod p oder b = c = 0 mod p und a = d = â1 mod pgilt. Es gelte zudem:
z =az + b
cz + d
Falls c = 0, ist entweder A â E,âE oder â ist die einzige Losung dieser
Gleichung in C und hat somit keine Losung in H. Im Falle, dass c 6= 0, konnenwir die obige Gleichung zu
cz2 + (dâ a)z â b = 0
umformen und diese Gleichung ist genau dann losbar, wenn die Diskriminante(dâ a)2 + 4bc negativ ist. Nun gilt aber:
(dâ a)2 + 4bc = d2 + 2ad+ a2 â 4ad+ 4bc = (d+ a)2 â 4
wobei man bedenkt, dass ad - bc = 1 gilt. Damit die Diskriminante negativ ist,muss |d â a| < 2 gelten. Sofern p ⼠5, ist dies nicht moglich. Insgesamt folgt,
dass z =az + b
cz + dimpliziert, dass A â E,âE = [E] â PSL2(Z).
Damit wirkt Îp frei auf H.
Bemerkung 5.39. Es sei hier erwahnt, dass Îp auch im Fall p â 2, 3 freiauf H wirkt.
Nun haben wir alle Daten beisammen, die wir benotigen, um zu beweisen, dasssich Xp kompaktifizieren lasst.
Satz 5.40. Sei p ⼠5 eine Primzahl. Dann existiert eine Riemannsche FlacheXp, sodass Xp â Xp. Das Geschlecht g von Xp ist durch die folgende Formelgegeben:
32
5 KLEINSCHE KURVE
g = 1 +(pâ 6)(p2 â 1)
24.
Beweis. Wir erinnern uns daran, dass wir in Abschnitt 5.2 notiert haben, dassein Homoomorphismus Ď : H/PSL2(Z) â C existiert. Wir konnen fordern,dass Ď(PSL2(Z)i) = i und Ď(PSL2(Z)%) = %. Andernfalls kann man eineMobiustransformation Îą wahlen, sodass
Îą(Ď(PSL2(Z)i)) = i und Îą(Ď(PSL2(Z)%)) = %.
Îą Ď ware dann nach wie vor ein Homoomorphismus von H/PSL2(Z) nach C.AuĂerdem haben wir zu Beginn dieses Kapitels gezeigt, dass Îp ein Normalteilervon PSL2(Z), weswegen G := PSL2(Z)/Îp eine Gruppe ist.Nach dieser kurzen Erinnerung konnen wir uns dem Beweis von Satz 5.40 wid-men. Wir werden diesen Beweis in funf Schritten durchfuhren:
(1) Die Abbildung
m : GĂXp â Xp, (Îp g,Îph) 7â Îpg(h),
Îpg := Îł g | Îł â Îp, ist wohldefiniert. Zudem ist diese Abbildung eineeffektive, holomorphe und eigentlich diskontinuierliche Gruppenwirkungauf Xp. Daraus ergibt sich nach Satz 3.1, dass Xp/G eine RiemannscheFlache und die kanonische Projektion Ď : Xp â Xp/G holomorph ist.Zudem gilt multp(Ď) = |Gp| fur jedes p â Xp. Fur die Aquivalenzklassenin Xp/G gilt:[Îph] = (Îp g) ¡ Îph | g â PSL2(Z) = Îpg(h) | g â PSL2(Z).
(2) |G| =(p2 â 1)
2:= N
(3) ÎŚ : Xp/Gâ H/PSL2(Z), [Îph] 7â PSL2(Z)h, ist ein Homoomorphismus.
(4) F := Ď ÎŚ Ď : Xp â C ist eine nicht-konstante eigentliche holomorpheAbbildung.
(5) Nach Korollar 5.35 existiert nun eine Fortsetzung F : Xp â C von F .
In diesem Schritt werden wir alle Verzweigungspunkte von F samt ihrerMultiplizitaten bestimmen. Die Aussage des Satzes folgt dann unmittelbaraus der Hurwitz-Formel. Fur den Beweis dieser Formel verweisen wir aufdas Werk [Mir95] von Rick Miranda.
Schritt 1: m : G Ă Xp â Xp ist wohldefiniert und eine effektive, eigentlichdiskontinuierliche und holomorphe Gruppenwirkung auf Xp.
Wohldefiniertheit:Sei Îph â Xp und Îp g = Îp g
Ⲡâ G. Demnach existiert ein Îł â Îp, sodass
gâ˛
= Îł g. Es gilt: (Îp gâ˛) ¡ (Îph) = Îpg
â˛(h) = Îp(Îł g)(h) =
ÎłâÎpÎpg(h).
Sei nun ÎphⲠâ Xp, sodass Îph
â˛= Îph, dann gibt ein Îł â Îp, sodass h
â˛= Îł(h).
33
5 KLEINSCHE KURVE
Fur jedes g â PSL2(Z) gilt g Îp = Îp g, wobei g Îp := g Îł | Îł â Îp, weilÎp ein Normalteiler von PSL2(Z) ist. Dies impliziert, dass ein Îł â Xp existiert,sodass g Îł = Îł g. Nun gilt
(Îp g) ¡ (Îphâ˛) = Îpg(h
â˛) = Îp(g Îł)(h) = Îp((Îł g)(h)) =
ÎłâÎpÎp(g(h)).
Dementsprechend ist die oben definierte Abbildung wohldefiniert. Offensichtlichhandelt es sich hierbei um eine Gruppenwirkung von G auf Xp.
Effektiv: Angenommen, es gibt ein nichttriviales Element Îp g, das heiĂt,dass Îp g 6= Îp [E] und somit g /â Îp, sodass (Îp g)(Îph) = Îph fur alleh â H gilt. Dies impliziert, dass zu jedem h â H ein Îłh â Îp existiert, sodass(Îłh g)(h) = h. Da g /â Îp, jedoch Îłh â Îp und Îp eine Gruppe ist, folgt,dass Îłh g /â Îp, also insbesondere Îłh g 6= [E] gilt. Das heiĂt, dass jedesElement in H einen nichttrivialen Stabilisator in PSL2(Z) besitzt. Jedoch wirktPSL2(Z) holomorph und eigentlich diskontinuierlich auf H, weshalb die Mengeder Elemente in H, die einen nichttrivialen Stabilisator in PSL2(Z) besitzen,nach Lemma 3.7 diskret ist. Es folgt so, dass H eine diskrete Menge ist, was einWiderspruch ist.Eigentlich diskontinuierlich: Es gilt G âź= PSL2(Z/pZ) und PSL2(Z/pZ) istendlich, weshalb auch G endlich ist. Da G, wie soeben nachgewiesen, zusatzlicheffektiv auf den Hausdorff-Raum Xp wirkt, wirkt G nach Bemerkung 2.17 ei-gentlich diskontinuierlich auf Xp.
Holomorph:Sei Îp g â G. Wir definieren Ďg : Xp â Xp, Îph 7â Îpg(h) und Ď : H âXp, h 7â Îp. Sei Îph â Xp. Da Îp frei auf H wirkt, ist der Stabilisator vonh in Îp trivial. Zudem wirkt Îp eigentlich diskontinuierlich und holomorph aufH. Daher gibt es nach Bemerkung 3.6 eine Umgebung U von h und eine offeneMenge V â Xp, sodass Ψ := Ď|U : U â V, u 7â Îpu, ein Homoomorphismus ist.Fur Îpu â V liegt Ψâ1(Îpu) in Îpu und wir schreiben Ψâ1(Îpu) := uâ â U .Des Weiterem definieren wir g : Hâ H, z 7â gz. Nun haben wir:
(Ď g)(Ψâ1(Îpu)) = Ď(g(uâ)) = Îpg(uâ) = Îpg(u) = Ďg(Îpu).
Die vorletzte Gleichung gilt, weil die oben definierte Gruppenwirkung wohlde-finiert ist. Ď, g und Ψâ1 sind holomorph, was bedeutet, dass Ďp = Ď g Ψâ1
als Verkettung holomorpher Abbildungen auf V holomorph also insbesondere inÎph holomorph ist. Da Îph beliebig gewahlt wurde, ist Ďg holomorph auf Xp.Somit folgt, dass die oben definierte Gruppenwirkung holomorph ist.
Das oben gezeigte impliziert, dass Xp/G eine Riemannsche Flache und die ka-nonische Projektion Ď : Xp â Xp/G holomorph ist. Zudem gilt multp(Ď) = |Gp|fur jedes p â Xp.
34
5 KLEINSCHE KURVE
Schritt 2: |G| = N
⢠|GL2(Z/pZ)| = (p2 â 1)(p2 â p): Jeder Vektor v â (Z/pZ)2 auĂer demNullvektor ist fur die erste Spalte einer Matrix in GL2(Z/pZ) geeignet.Das heiĂt, man hat p2 - 1 als Wahl fur den ersten Spaltenvektor. Furden zweiten Spaltenvektor kann man jeden Vektor aus (Z/pZ)2 \ span(v)wahlen. Dies heiĂt, es stehen fur den zweiten Spaltenvektor p2 - p Vektorenzur Verfugung. So ergibt sich |GL2(Z/pZ)| = (p2 â 1)(p2 â p)
⢠SL2(Z/pZ) = Ker(GL2(Z/pZ)det (Z/pZ)Ă) und |(Z/pZ)Ă| = pâ1. Nach
dem Satz von Lagrange gilt, dass |SL2(Z/pZ)| = (p2â1)(p2âp)pâ1 = (p2â1)p.
⢠Da Z/pZ âź= SL2(Z/pZ)/âE,E, gilt |PSL2(Z/pZ)| = (p2â1)p2 .
Schritt 3: ÎŚ ist ein Homoomorphismus.
Wir betrachten die folgenden Abbildungen:
⢠j : Xp â H/PSL2(Z), Îph 7â PSL2(Z)h
â˘ Ď : Hâ H/PSL2(Z), h 7â PSL2(Z)h
Ď : Xp â Xp/G und Ď : Hâ Xp seien weiterhin die kanonischen Projektionen.Wir wollen zeigen, dass ÎŚ ein Homoomorphismus ist. Dazu zeigen wir zunachst,dass ÎŚ wohldefiniert ist:
[Îph] = [Îphâ˛]
=â â Îp g â G : Îphâ˛
= (Îp g) ¡ Îph = Îpg(h)
=â Îł(g(h)) = hâ˛
fur ein Îł â Îp
=â PSL2(Z)h = PSL2(Z)hâ˛.
Die letzte Implikation gilt, da Îł g â PSL2(Z). Jetzt beweisen wir, dass ÎŚinjektiv ist.
ÎŚ([Îph]) = ÎŚ([Îphâ˛])
=â PSL2(Z)h = PSL2(Z)hâ˛
=â gh = hâ˛
fur ein g â PSL2(Z)
=â (Îp g) ¡ (Îph) = Îp(gh) = Îphâ˛
=â [Îph] = [Îphâ˛].
Offensichtlich ist ÎŚ sujektiv und mit dem eben gezeigten bijektiv.
Dass j wohldefiniert ist, ergibt sich aus der Tatsache, dass Îp eine Untergruppevon PSL2(Z) ist. Wir zeigen nun, dass j stetig ist. Sei O â H/PSL2(Z) offen.
35
5 KLEINSCHE KURVE
jâ1(O) â Xp ist nach der Definition der Quotiententopologie auf Xp genaudann offen, wenn Ďâ1(jâ1(O)) â H offen ist. Die Menge
Ďâ1(jâ1(O)) = h â H | Îph â jâ1(O)= h â H | j(Îph) â O= h â H | PSL2(Z)h â O = Ďâ1(O)
ist offen, denn Ď ist stetig. Dies bedeutet, dass j = ÎŚ Ď stetig ist.Sei V â H/PSL2(Z) offen. (ÎŚ Ď)â1(V ) = Ďâ1(ÎŚâ1(V )) â Xp ist offen, weilÎŚ Ď stetig ist. Aus der Defintion der Quotiententopologie auf Xp/G folgt, dassÎŚâ1(V ) offen und somit ÎŚ stetig ist. Daher ist ÎŚ ein Homoomorphismus.
Schritt 4: F ist eine nicht-konstante eigentliche holomorphe Abbildung.
ÎŚ und Ď sind Homoomorphismen, weshalb Ď ÎŚ : Xp/G â C eine komplexeKarte ist. Da Ď holomorph auf Xp/G und nicht-konstant ist, ist auch F =(ÎŚ Ď) Ď holomorph und nicht-konstant auf Xp/G. Die Verzweigungspunktevon F sind genau die Verzweigungspunkte von Ď bzw. f := ÎŚ Ď, denn ÎŚund Ď sind Homoomorphismen. Zudem gilt aus demselben Grund: multp(Ď) =multp(f) = multp(F ) fur jedes p â Xp.
Wir werden zeigen, dass f eigentlich ist, woraus sich ergibt, dass F eigentlichist, weil F = Ď f und Ď eigentlich ist, denn Ď ist ein Homoomorphismus. Seialso K â H/PSL2(Z) kompakt. Zu zeigen ist, dass fâ1(K) â Xp kompakt ist.G besitzt genau N Elemente. Wir wahlen aus jeder der N Aquivalenzklassen[Îp g] einen Reprasentanten gi â PSL2(Z) aus. g1, ..., gN sei die Liste dieserReprasentanten. Wir zeigen jetzt, dass Xp =
âiâ1,...,N Ď(gi(Ί)) gilt.
Sei Îph â Xp. Da Ί ein Fundamentalgebiet der Gruppenwirkung von PSL2(Z)auf H ist, existiert ein Ď â Ί, sodass PSL2(Z)h = PSL2(Z)Ď und somit h = gĎfur ein g â PSL2(Z). Nun gibt es ein i â 1, ..., N, sodass gi ein Reprasentantvon Îp g â G ist. Dies bedeutet, dass Îp g = Îp gi und somit
Îph = Îpg(Ď) = (Îp g)(ÎpĎ) = (Îp gi)(ÎpĎ) = Îpgi(Ď) â Ď(gi(Ί)).
Nun ist fâ1(K) ⊠Ď(gi(Ί)) fur jede kompakte Teilmenge K â H/PSL2(Z)kompakt. Somit istâ
iâ1,...,N
fâ1(K) ⊠Ď(gi(Ί)) = fâ1(K) ⊠(â
iâ1,...,N
Ď(gi(Ί)))
= fâ1(K) âŠXp = fâ1(K)
als Vereinigung endlich vieler kompakter Mengen kompakt. Dies bedeutet, dassf eigentlich ist. Daher ist auch F eigentlich. Nach Korollar 5.35 existiert eineFortsetzung F : Xp â C von F .
36
5 KLEINSCHE KURVE
Schritt 5: Bestimme die Verzweigungspunkte mit ihren Multiplizitaten von F
Fur p â Xp gilt multp(F ) = multp(F ) = multp(Ď). Nun zeigen wir, dass Ď nurin den Punkten Îpx mit x â PSL2(Z)i ⪠PSL2(Z)% verzweigt. Da multp(Ď) =|Gp|, werden wir uns mit den Stabilisatoren von p â Xp in G befassen.
Sei x â H \ (PSL2(Z)i ⪠PSL2(Z)%). Wie wir bereits gezeigt haben, habennur die Elemente in PSL2(Z)i ⪠PSL2(Z)% nichttriviale Stabilisatoren inPSL2(Z). Sei nun Îp g â G so gewahlt, dass (Îp g)(Îpx) = (Îpx). Danngibt es ein Îł â Îp, sodass (Îł g)(x) = x. Daraus folgt, dass Îł g = [E] undsomit g â Îp. Dies bedeutet, dass Îpx nur vom trivialen Element Îp [E] â Gfixiert wird. Das wiederum heiĂt, dass Îpx kein Verzweigungspunkt von Ď ist.
Wir zeigen nun, dass |Gpx | = 2 fur px := Îpx, x â PSL2(Z)i und |Gpy | = 3 furpy := Îpy, y â PSL2(Z)% gilt. Wir fuhren den Beweis nur fur die Elementeaus PSL2(Z)i durch. Fur PSL2(Z)% verlauft die Rechnung analog.Sei x â PSL2(Z)i. Wir wissen bereits, dass |PSL2(Z)x| = 2. Wir setzenPSL2(Z)x := [E], g. Da Îp frei auf H operiert, muss g â PSL2(Z) \ Îpgelten. Sei nun Îp g â G, sodass (Îp g) ¡ (Îpx) = Îpx. Demnach gibtes ein Îł â Îp, sodass (Îł g)(x) = x. Daher ist entweder Îł g = [E] oderÎł g = g. Das heiĂt, dass entweder g â Îp oder Îł g = g gilt, weshalbGpx = Îp [E] ,Îp g. Das heiĂt, dass |Gpx | = 2.
Man bedenke fur den Beweis fur PSL2(Z)Ď, dass |PSL2(Z)y| = 3 gilt. Ins-gesamt ist R := [Îpx], [Îpy] | x â PSL2(Z), y â PSL2(Z) die Menge derVerzweigungspunkte von Ď.
Wir zeigen nun, dass degq(Ď) = N fur jedes q â Xp/G gilt, woraus sich N =
deg(F ) = deg(F ) ergibt. Sei q := Îph â Xp. Im Beweis von Korollar 3.9 habenwir nachgerechnet, dass multx(Ď) = multy(Ď) fur jedes x,y â Ďâ1([q]) gilt.
deg[q](Ď) =Satz 3.1
âxâĎâ1([q])
|Gx| = |Ďâ1([q])||Gq| = |Gq||Gq| = |G| = N
Indem man die Gleichung |Ďâ1([q])||Gq| = N umstellt, erhalt man |Ďâ1([q])| =N|Gq| fur jedes [q] â Xp. Dies heiĂt, dass |Ďâ1([Îpi])| = N
2 und |Ďâ1([Îp%])| = N3 .
Wir haben somit alle Verzweigungspunkte von F samt ihrer Multiplizitaten inXp bestimmt. Nun mussen wir die Verzweigungspunkte von F in Xp \Xp mit
ihren Multiplizitaten ermitteln. Bedenke, dass F (Xp \ Xp) = â. Sei alsoA := z â C | |z| > 2. Dann ist A eine Umgebung von â.
Wir wissen, dass Fâ1(A) durch m offene Mengen U1, , ..., Um uberdeckt wer-den kann, wobei Ui â Xp fur jedes i homoomorph zu einer punktierten Kreis-
scheibe ist. Dies bedeutet aber, dass jeder Punkt in Fâ1(â) ohne Multipli-zitat gezahlt m Urbilder hat. Unsere Gruppenwirkung impliziert, dass N durchm geteilt wird, weshalb sich insgesamt ergibt, dass jeder Punkt in Fâ1(â)Multiplizitat N
m hat. Wir wissen, dass Ď(Ί) = H/PSL2(Z) und haben in Ab-schnitt 5.2 festgehalten, dass H/PSL2(Z) homoomorph zu C ist. Demnach
37
5 KLEINSCHE KURVE
gibt es eine Teilmenge AⲠâ Ί, sodass Ď(A
â˛) homoomorph zu A ist. Es folgt,
dass Fâ1(A) ââiâ1,...,N Ď(giA
â˛), wobei jedes gi â PSL2(Z) eine andere
Aquivalenzklasse in G reprasentiert. Nun seien p unserer Reprasentanten dieAquivalenzklassen der Abbildungen z 7â z+ i := Hi(z), wobei i â 0, ..., pâ 1.Die Menge
M :=â
iâ0,...,pâ1Hi(A
â˛)
bildet eine zusammenhangende Menge in H und die Abbildung z 7â z + p â Îpidentifiziert die beiden vertikalen Grenzen von M , woraus folgt, dass M eineeinzige punktierte Kreisscheibe in Xp uberdeckt. Fâ1(A) wird duch N Mengenuberdeckt und jeweils p davon uberdecken genau eine punktierte Kreisscheibe,woraus folgt, dass m = N
p und die Multiplizitat von jedem Punkt in Fâ1(â)
ist p. Zusammengefasst hat F
⢠N
2=p(p2 â 1)
4Verzweigungspunkte der Ordnung 2,
⢠N
3=p(p2 â 1)
6Verzweigungspunkte der Ordnung 3,
⢠N
p=p2 â 1
2Verzweigungspunkte der Ordnung p.
Mit dem Satz von Hurwitz ergibt sich die Gleichung
2g - 2 = N
(â2 +
1
2+
2
3+pâ 1
p
).
Wenn man die Gleichung umstellt, ergibt sich g = 1 +(pâ 6)(p2 â 1)
24.
Die kompakt Riemannsche Flache X7 nennen wir die Kleinsche Kurve. GemaĂunserer Formel ist diese Flache von Geschlecht 3. Wir haben in unserem Be-weis gezeigt, dass PSL2(Z/7Z) âź= PSL2(Z)/Î7 holomorph auf X7 wirkt. Diesbedeutet, dass jedes Element aus PSL2(Z/7Z) eine biholomorphe AbbildungX7 â X7 induziert. Die Elemente aus PSL2(Z/7Z) induzieren jeweils ver-schiedene Abbildungen, weil PSL2(Z/7Z) effektiv auf X7 wirkt. Wir haben
bereits nachgerechnet, dass die Kardinalitat von PSL2(Z/pZ) gleich p(p2â1)2
ist. Das heiĂt, dass PSL2(Z)/Î7 genau 168 Elemente besitzt. Demnach hat dieAutomorphismengruppe von X7 mindestens 168 Elemente. Gleichzeitig wissenwir dank Hurwitz, dass |Aut(X7)| ⤠84(3 â 1) = 168 gilt. Daras folgt, dass|Aut(X7)| = 168. Somit ist X7 eine Hurwitz-Kurve.
38
Quellenverzeichnis
1. [Don11] Donaldson, Simon: Riemann Surfaces, Oxford University Press,2011, New York.
2. [FreiBus06] Freitag Eberhard, Busam Rolf: Funktionentheorie 1, 4. Aufl.,Springer, 2006, Berlin, Heidelberg.
3. [Lam09] Lamotke, Klaus: Riemannsche Flachen, 2. Aufl., Springer, 2009,Berlin, Heidelberg.
4. [Mir95] Miranda, Rick: Algebraic Curves and Riemann Surfaces, GraduateStudies in Mathematics, vol. 5, American Mathematical Society, 1995.
5. [Sch15] Schwartz, Rich: A Criterion on Hausdorff Quotients, Online un-ter URL: https://www.math.brown.edu/ res/M141/hausdorff.pdf, (Stand:25.07.2019).
6. [tomDieck08] tom Dieck, Tammo: Algebraic Topology, European Mathe-matical Society, 2008.
39
Eidesstattliche Versicherung
Hiermit versichere ich an Eides statt durch meine Unterschrift, dass ich die vor-liegende Arbeit selbststandig und ohne fremde Hilfe verfasst und keine anderenQuellen oder sonstigen Hilfsmittel verwendet habe, als die, welche ich ange-geben habe. Alle Stellen dieser Arbeit, die ich aus den Quellen wortlich oderannahernd wortlich ubernommen habe, habe ich an den entsprechenden Stellenkenntlich gemacht. Diese Arbeit hat in gleicher oder ahnlicher Form noch keinerPrufungsbehorde vorgelegen.
Essen, am 26.07.2019
40