Fundamentalgruppen algebraischer Kurven
Wintersemester 2013/14
Universität Heidelberg
Mathematisches Institut Übungsblatt 4
Dr. A. Holschbach zu bearbeiten bis Dienstag, 19.11.2013
Aufgabe 1.(Automorphismen vonPnC)
SeiA= (aij)0≤i,j≤n∈Gln+1(C). Dann ist die Abbildung
ϕA:PnC→PnC, (z0:. . .:zn)7→(a00z0+. . .+a0nzn :. . .:an0z0+. . .+annzn),
wohldefiniert und ein Automorphismus von PnC. Jeder Automorphismus vonPn lässt sich so dar- stellen. Insbesondere erhalten wir ein Isomorphie
Aut(PnC)∼= PGln(C) = Gln+1(C)/C×. Hierbei seiC× perλ7→diag(λ, . . . , λ)nachGln+1(C)eingebettet.
Aufgabe 2.(Produkt von Abbildungen)
SeiX eine Varietät undφ1:X →Z1⊂PnC1,φ2:X →Z2⊂PnC2 zwei dominante Morphismen auf projektive VarietätenZ1, Z2. Wir betrachten die Abbildung
φ:X−(φ−−−−1,φ2→) PnC1×PnC2 ,→P(nC1+1)(n2+1)−1,
wobei letztere Abbildung durch
((w0:. . .:wn1),(z0:. . .:zn2))7→(w0z0:w0z1:. . .:w0zn2:w1z0:. . .:wn1zn2)
gegeben ist. SeiZ=φ(X). Zeigen Sie:
(a) φist ein Morphismus, undφ1, φ2 faktorisieren überφ:X →Z.
(b) IstP ∈X mitOZ1,φ1(P)∼=OX,P viaφ∗1, so giltOZ,φ(P)∼=OX,P viaφ∗.
Aufgabe 3.(Elliptische Kurve I)
SeiE=V(Y2Z−X3+XZ2)⊂P2C. Zeigen Sie, dassE eine normale projektive Kurve ist.
Aufgabe 4.(Elliptische Kurve II)
Wir betrachten weiterhin die (elliptische) KurveE aus Aufgabe 3.
(a) Zeigen Sie, dass jede GeradeL=V(aX+bY +cZ)⊂P2C(mit(a, b, c)6= (0,0,0)) die Kurve E in genau drei Punkten (mit Vielfachheiten) schneidet.
(b*) Sei P0 ∈ E fest. Zu jedem Punkt P ∈E sei α(P) der dritte Schnittpunkt von E mit der GeradenLdurchP undP0 (im FalleP =P0 seiLdie Tangente anEim PunktP0). Zeigen Sie, dassα:E→E ein zu sich selbst inverser Automorphismus ist.
Hinweis: Im komplizierteren FallP06= (0 : 1 : 0)seien(x0:y0: 1)die Koordinaten vonP0. Man betrachte man die offenen affine Teilmengen V =E∩D(X−x0Z)⊂U =E∩D(Z) und verwende die Koordinaten x= X
Z,y = Y
Z aufU. Zeigen Sie, dassαeinen Morphismus V →U liefert, der auf den Koordinatenringen durch
O(U) −→ O(V) x 7−→ −x−x0+
y−y0 x−x0
2
y 7−→
y−y0
x−x0
−x−2x0+
y−y0
x−x0
2! +y0
gegeben ist. Dehnen Sie dies aus zu einem Morphismus von Enach E.