X G X by the rule x x g

Similar documents
Part II. Riemann Surfaces. Year

ALGEBRAIC GEOMETRY AND RIEMANN SURFACES

Riemann surfaces. 3.1 Definitions

1 Structures 2. 2 Framework of Riemann surfaces Basic configuration Holomorphic functions... 3

RIEMANN SURFACES. LECTURE NOTES. WINTER SEMESTER 2015/2016.

is holomorphic. In other words, a holomorphic function is a collection of compatible holomorphic functions on all charts.

Part II. Algebraic Topology. Year

Introduction to. Riemann Surfaces. Lecture Notes. Armin Rainer. dim H 0 (X, L D ) dim H 0 (X, L 1 D ) = 1 g deg D

Topological Proof of the Riemann-Hurwitz Theorem

Inverse Galois Problem for C(t)

3 Hausdorff and Connected Spaces

AN INTRODUCTION TO ARITHMETIC AND RIEMANN SURFACE. We describe points on the unit circle with coordinate satisfying

Definition We say that a topological manifold X is C p if there is an atlas such that the transition functions are C p.

6 6 DISCRETE GROUPS. 6.1 Discontinuous Group Actions

Math 213br HW 3 solutions

PICARD S THEOREM STEFAN FRIEDL

Let X be a topological space. We want it to look locally like C. So we make the following definition.

C n.,..., z i 1., z i+1., w i+1,..., wn. =,..., w i 1. : : w i+1. :... : w j 1 1.,..., w j 1. z 0 0} = {[1 : w] w C} S 1 { },

Examensarbete. On Poincarés Uniformization Theorem Gabriel Bartolini LITH-MAT-EX 2006/14

8 8 THE RIEMANN MAPPING THEOREM. 8.1 Simply Connected Surfaces

1 Compact Riemann surfaces and algebraic curves

1 Notations and Statement of the Main Results

PRELIMINARY LECTURES ON KLEINIAN GROUPS

COVERING SPACES TEJASI BHATNAGAR

Math 396. Bijectivity vs. isomorphism

Algebraic Topology Exam 2006: Solutions

PMATH 950 (Riemann Surfaces) Notes

Joachim Wehler. Lie Groups. DRAFT, Release August 2, 2017

z, w = z 1 w 1 + z 2 w 2 z, w 2 z 2 w 2. d([z], [w]) = 2 φ : P(C 2 ) \ [1 : 0] C ; [z 1 : z 2 ] z 1 z 2 ψ : P(C 2 ) \ [0 : 1] C ; [z 1 : z 2 ] z 2 z 1

LECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS

Geometry Qualifying Exam Notes

Algebraic Topology I Homework Spring 2014

Quiz-1 Algebraic Topology. 1. Show that for odd n, the antipodal map and the identity map from S n to S n are homotopic.

An introduction to holomorphic dynamics in one complex variable Informal notes Marco Abate

Math 637 Topology Paulo Lima-Filho. Problem List I. b. Show that a contractible space is path connected.

Part II. Geometry and Groups. Year

LECTURES ON THE COMBINATORIAL STRUCTURE OF THE MODULI SPACES OF RIEMANN SURFACES

Handlebody Decomposition of a Manifold

NOTES ON RIEMANN SURFACES

AN INTRODUCTION TO MODULI SPACES OF CURVES CONTENTS

Class Numbers, Continued Fractions, and the Hilbert Modular Group

(1) The embedding theorem. It says that a Stein manifold can always be embedded into C n for sufficiently large n.

Chapter 1.1 Schwarz s lemma and Riemann surfaces

Riemann Surfaces Mock Exam

7.2 Conformal mappings

Homework 5. Solutions

arxiv: v2 [math.gt] 19 Oct 2014

THE ÉTALE FUNDAMENTAL GROUP OF AN ELLIPTIC CURVE

MATH540: Algebraic Topology PROBLEM SET 3 STUDENT SOLUTIONS

FAMILIES OF ALGEBRAIC CURVES AS SURFACE BUNDLES OF RIEMANN SURFACES

Algebraic Curves and Riemann Surfaces

GEOMETRY OF SYMMETRIC POWERS OF COMPLEX DOMAINS. Christopher Grow

Geometry and Topology, Lecture 4 The fundamental group and covering spaces

Mostow Rigidity. W. Dison June 17, (a) semi-simple Lie groups with trivial centre and no compact factors and

1 Motivation. If X is a topological space and x X a point, then the fundamental group is defined as. the set of (pointed) morphisms from the circle

The fiber functor and dessins d enfants

E. Falbel and P.-V. Koseleff

LECTURE 2. defined recursively by x i+1 := f λ (x i ) with starting point x 0 = 1/2. If we plot the set of accumulation points of P λ, that is,

Solutions to some of the exercises from Tennison s Sheaf Theory

COBORDISM AND FORMAL POWER SERIES

Fibre Bundles: Trivial or Not?

Teichmüller Spaces. Contents

Non-Isotopic Symplectic Surfaces in Products of Riemann Surfaces

Homework 3 MTH 869 Algebraic Topology

508A Lecture notes. Paul Hacking. March 24, 2008

AN EQUIVARIANT PARAMETRIC OKA PRINCIPLE FOR BUNDLES OF HOMOGENEOUS SPACES

1 Hermitian symmetric spaces: examples and basic properties

arxiv:math/ v2 [math.cv] 21 Mar 2005

5.3 The Upper Half Plane

Lecture 6: Etale Fundamental Group

Schwarz lemma and automorphisms of the disk

SOLUTIONS TO THE FINAL EXAM

Möbius Transformation

SMSTC Geometry & Topology 1 Assignment 1 Matt Booth

LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE

On Properly Discontinuous Actions and Their Foliations

MATH8808: ALGEBRAIC TOPOLOGY

Introduction to Riemann surfaces. Maciej Czarnecki

TOPOLOGY TAKE-HOME CLAY SHONKWILER

Math 215B: Solutions 3

PROPER HOLOMORPHIC IMMERSIONS IN HOMOTOPY CLASSES OF MAPS FROM FINITELY CONNECTED PLANAR DOMAINS INTO C C

Algebraic Topology Lecture Notes. Jarah Evslin and Alexander Wijns

The Galois action on Origami curves and a special class of Origamis

arxiv:math/ v1 [math.at] 5 Feb 2000

Explicit Examples of Strebel Differentials

Fuchsian groups. 2.1 Definitions and discreteness

where m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism

Corrections to Introduction to Topological Manifolds (First edition) by John M. Lee December 7, 2015

ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1

The Classification of Automorphism Groups of Rational Elliptic Surfaces With Section

This chapter contains a very bare summary of some basic facts from topology.

GAUGED LINEAR SIGMA MODEL SPACES

3. Prove or disprove: If a space X is second countable, then every open covering of X contains a countable subcollection covering X.

Bredon, Introduction to compact transformation groups, Academic Press

Elliptic Curves and Elliptic Functions

Algebraic Topology. Oscar Randal-Williams. or257/teaching/notes/at.pdf

Geometry of moduli spaces

Algebraic Topology European Mathematical Society Zürich 2008 Tammo tom Dieck Georg-August-Universität

Smooth Structure. lies on the boundary, then it is determined up to the identifications it 1 2

GENERALIZED COVERING SPACES AND THE GALOIS FUNDAMENTAL GROUP

Transcription:

18. Maps between Riemann surfaces: II Note that there is one further way we can reverse all of this. Suppose that X instead of Y is a Riemann surface. Can we put a Riemann surface structure on Y such that f is holomorphic? Well there is one trivially necessary condition. Definition 18.1. Let f : X Y be an unramified cover of topological spaces or a ramified cover of surfaces. A deck transformation g : X X is any continuous map over Y, that is, such that f = f g. Note that the set of all deck transformations forms a group, called the group of deck transformations. Note that any map over Y permutes the fibres of f. Thus a deck transformation permutes, at least locally, the decks of f. Now if f is a holomorphic map of Riemann surfaces, then any deck transformation is holomorphic. Thus a trivially necessary condition to put a structure of Riemann surface on Y is that any deck transformation is holomorphic. This trivially necessary condition is in fact sufficient in a large number of examples. Definition 18.2. Let X be a topological space and let G Aut(X) be a subgroup of the automorphism group. We say that the action of G on X is properly discontinuous if for every two compact subsets A and B of X the number of automorphisms φ G such that φ(a) intersects B is non-empty is finite. Theorem 18.3. Let X be a Riemann surface. Let G Aut(X) be a subgroup of the automorphism group of X, whose action on X is properly discontinuous. Then the quotient topological space f : X Y = X/G is naturally a Riemann surface, in such a way that f is holomorphic. We prove this in a sequence of steps: Lemma 18.4. Let X be a topological space, let G be a subgroup of the group of automorphisms of X and let f : X Y = X/G the quotient of X modulo G. Then f is open. Proof. Pick U X and let V = f(u). We have to show that f 1 (V ) is open. But φ(u) is open for any φ G and f 1 (V ) = φ G φ(u). 1

Lemma 18.5. Let X be a locally compact Hausdorff topological space and let G Aut(X) be a subgroup of the automorphism group, whose action on X is properly discontinuous. Then the quotient f : X Y = X/G is Hausdorff and f is closed. Proof. Let y 1 y 2 be two distinct points of Y. Pick x i X such that f(x i ) = y i, i = 1 and 2. Pick a compact neighbourhood of x 2. Then there are only finitely many elements of G such that φ(x 1 ) is in this neighbourhood. So we may find a compact neighbourhood A 2 of x 2 such that φ(x 1 ) / A 2 for any φ G. Similarly we may then find a compact neighbourhood A 1 of x 1 such that φ(a 1 ) A 2 is always empty. But then f(a 1 ) and f(a 2 ) are disjoint neighbourhoods of y 1 and y 2. Now let F X be a closed subset and let H = f(f ). We have to show that f 1 (H) is closed. Now φ(f ) is closed for all φ G and f 1 (H) = φ G φ(f ). Since the action is properly disontinuous, this union is closed. Lemma 18.6. Let X be a manifold and let G Aut(X) be a subgroup of the automorphism group, whose action is properly discontinuous such that if we can find φ G and x X with φ(x) = x then φ is the identity. Then f : X Y = X/G is an unramified cover of manifolds. Proof. As in the proof of (18.5), it is clear that f is a local homeomorphism. Since f is closed as well, it is easy to check that the lifting property holds. But then f is an unramified cover. Lemma 18.7. Let X be a surface and let G Aut(X) be a subgroup of the automorphism group, whose action is properly discontinuous. Then f : X Y = X/G is a ramified cover of surfaces. Proof. Let R be the set of points x X where there is an element φ G, not equal to the identity, such that φ(x) = x. Since the action of G is properly discontinuous R is a discrete subset, whose image B = f(r) is also discrete. Let U = X R and V = Y B. Then G acts on U and the quotient is V, so that the result follows by (18.6). Proof of (18.3). By (18.7) we have a ramified cover of topological surfaces. Pick an open cover of X, which has the property that every ramification point is only contained in one open subset. Then we may choose a coordinate chart about every branch point such that the map is locally given by z z n about a ramification point. 2

Now suppose that y Y is not a branch point. Pick an open neighbourhood V of y such that f 1 (V ) is a disjoint union of open subsets U such that f U : U V is a homeomorphism. Possibly shrinking V, we may assume that U is part of an atlas and this defines an atlas on V. Since the deck transformations are holomorphic, and the branch point belong to only one chart, this atlas on Y has holomorphic transition functions. This makes Y into a Riemann surface and f into a holomorphic map. Definition 18.8. Let Y be a connected topological space. A continuous map f : X Y is called the universal cover of Y if X is simply connected and f is an unramified cover. As the name might suggest the universal cover comes with a universal property. Suppose that f : X Y is the universal cover. If g : Z Y is an unramified cover then there is a unique continuous map h: X Y such that f = g h. In particular h is an unramified cover. By virtue of the universal property, the universal cover is unique up to unique isomorphism. Suppose that we pick a point b Y. Pick a point a X over b. Then we may lift any path γ : [0, 1] Y starting at b to a path ψ : [0, 1] X. If y = γ(1) then note that x = ψ(1) belongs to the fibre over y Y. Suppose that γ γ is homotopic to γ, where γ (0) = b and γ (1) = y. Let ψ be the lift of γ. Since we can lift homotopies, it follows that ψ ψ and so ψ (1) = x. Thus the point x only depends on the homotopy class of γ. Conversely given any point x of the fibre over y, then we may find a path ψ connecting a to x. The composition of ψ with f gives a path γ connecting a to y. If ψ is another path in X with endpoint x, then we may find a homotopy in X between ψ and ψ, as X is simply connected. If γ is the composition of ψ and f, it follows that γ and γ are homotopic. Thus the points of X are in bijection with the homotopy classes of paths starting at b (so that this gives a way to construct X). Now suppose that pick an element φ G = π 1 (Y, b). Then γ = γ φ is another path in Y connecting b to y. Lifting γ and γ to paths ψ and ψ with endpoints x and x this defines an action X G X by the rule x x g In fact this action is faithful and actually realises X as a G-bundle over Y (i.e locally over Y, X Y G and this homeomorphism respects the 3

action). Put differently Y = X/G. The intermediate covers g : Z Y are then given by subgroups H of G, where Z = X/H. Putting all of the material together in the previous two sections, we get: Theorem 18.9. Let Y be a Riemann surface. Then Y X/G, where X is a simply connected Riemann surface and G is a group of automorphisms of X which acts on X properly discontinuously, such that the quotient map f : X Y is an unramified cover. Proof. Let f : X Y be the universal cover of Y. Then f is continuous, Y = X/G, where G π 1 (X, x) acts on X properly discontinuously. Note that G is the group of deck transformations of f. We may make X into a Riemann surface in such a way that f is holomorphic. But then every element of X is then biholomorphic, so that Y is the quotient Riemann surface. Example 18.10. Let Λ C be a lattice. That is Λ Z 2 as groups and the span of Λ over R is the whole of C. Then the quotient E = C Λ, is a Riemann surface, which is known as an elliptic curve. In fact the quotient is homeomorphic to S 1 S 1, so that E is an example of a compact Riemann surface. In fact the topological classification of connected, compact oriented surfaces is easy. Given any oriented surface S, one can construct another by adding a handle. The compact oriented surfaces are then classified by the number of handles g one adds to S 2. In terms of the universal cover there are then three possibilities. If g = 0, then S S 2. As S 2 is simply connected, it is its own universal cover. If g = 1 then S S 1 S 1. Since the universal cover of S 1 is R and since the universal cover of a product is the product of the universal covers (by the universal property of the universal cover and the product) it follows that S 1 S 1 has universal cover R 2 C. Finally the same holds for higher genus (although perhaps it is better to say that the universal cover is the disc). It is therefore interesting to classify all simply connected Riemann surfaces: Theorem 18.11. Let X be a simply connected Riemann surface. Then X is biholomorphic to one of (1) P 1 4

(2) C, and (3) the unit disc. Note that these three Riemann surfaces are not isomorphic to each other. Note also that we have a complete classification of the automorphism group in each case: (1) Aut(P 1 ) = PGL(2), the group of Möbius transformations z az + b cz + d. (2) Aut(C) is the subgroup of the Möbius transformations which fix, z az + b. (3) Finally Aut( ) is also given by a subgroup of the Möbius transformations. Every automorphism has the form z e iθ z a 1 āz, where a and θ [0, 2π). 5