12.07.2015 Views

Intersection theory on moduli spaces of curves ... - User Web Pages

Intersection theory on moduli spaces of curves ... - User Web Pages

Intersection theory on moduli spaces of curves ... - User Web Pages

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

1.3. Moduli <strong>spaces</strong> <strong>of</strong> hyperbolic surfaces 271.3 Moduli <strong>spaces</strong> <strong>of</strong> hyperbolic surfacesThe uniformisati<strong>on</strong> theoremOne <strong>of</strong> the most important foundati<strong>on</strong>al results in algebraic geometry asserts that the category<strong>of</strong> irreducible projective algebraic <strong>curves</strong> and the category <strong>of</strong> compact Riemann surfaces areequivalent. Due to this equivalence, the boundary between these two fields is rather porous,with techniques from complex analysis flowing into algebraic geometry and vice versa. Inadditi<strong>on</strong>, the following theorem allows us to adopt a geometric viewpoint when dealing withalgebraic <strong>curves</strong> or Riemann surfaces.Theorem 1.22 (The uniformisati<strong>on</strong> theorem). Every metric <strong>on</strong> a surface is c<strong>on</strong>formally equivalent toa complete c<strong>on</strong>stant curvature metric. Furthermore, the sign <strong>of</strong> the curvature is equal to the sign <strong>of</strong> theEuler characteristic <strong>of</strong> the surface.From the previous discussi<strong>on</strong>, a smooth genus g algebraic curve with n marked points corresp<strong>on</strong>dsto a genus g Riemann surface with n marked points, which we think <strong>of</strong> as punctures.{} {smooth algebraic <strong>curves</strong> with←→genus g and n marked points}Riemann surfaces withgenus g and n puncturesThe complex structure defines a c<strong>on</strong>formal class <strong>of</strong> metrics which, by the uniformisati<strong>on</strong> theorem,c<strong>on</strong>tains a hyperbolic metric when 2g − 2 + n > 0. Furthermore, if we demand that the resultingsurface has finite area, then this hyperbolic metric is unique and endows each puncturewith the structure <strong>of</strong> a hyperbolic cusp. So we have the following <strong>on</strong>e-to-<strong>on</strong>e corresp<strong>on</strong>dence.{} {}smooth algebraic <strong>curves</strong> withhyperbolic surfaces with←→genus g and n marked pointsgenus g and n cuspsModuli <strong>spaces</strong> <strong>of</strong> hyperbolic surfaces can be given a natural topology. The corresp<strong>on</strong>dencedescribed above defines a map from the <strong>moduli</strong> space <strong>of</strong> smooth algebraic <strong>curves</strong> to the <strong>moduli</strong>space <strong>of</strong> hyperbolic surfaces which respects not <strong>on</strong>ly this topology, but also the structurepreservingautomorphism group <strong>of</strong> the surface. In short, the map is a homeomorphism <strong>of</strong> orbifolds.Therefore, we can and will use the notati<strong>on</strong> M g,n to denote the <strong>moduli</strong> space <strong>of</strong> smoothgenus g <strong>curves</strong> with n marked points as well as the <strong>moduli</strong> space <strong>of</strong> genus g hyperbolic surfaceswith n cusps — the particular meaning should be clear from the c<strong>on</strong>text.If the finite area c<strong>on</strong>diti<strong>on</strong> is relaxed, then there exist hyperbolic metrics which endow eachpuncture with the structure <strong>of</strong> a hyperbolic flare. Each such flare has a unique geodesic waistcurve which, after being cut al<strong>on</strong>g, leaves a compact hyperbolic surface with geodesic boundaries.Furthermore, the <strong>on</strong>ly <strong>moduli</strong> <strong>of</strong> the removed flare is the length <strong>of</strong> the geodesic waist

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!