You are Here: Home >< Maths

# Riemann surfaces

1. Let F: X -> Y be a surjective map between two compact connected Riemann surfaces which has the property that for every x in X, there is some open U containing x such that F restricted to U is a homeomorphism onto its image.

Prove that F is also a covering in the sense of topology (for every V open in Y, the pre-image of V by F is homeomorphic to V x W for W discrete).

have no idea where to even begin. i have some fact in my notes that given y in Y, let x be a preimage in X, then F a topological covering if every path starting at y can be lifted to a path starting at X.
2. (Original post by around)
Let F: X -> Y be a surjective map between two compact connected Riemann surfaces which has the property that for every x in X, there is some open U containing x such that F restricted to U is a homeomorphism onto its image.

Prove that F is also a covering in the sense of topology (for every V open in Y, the pre-image of V by F is homeomorphic to V x W for W discrete).

have no idea where to even begin. i have some fact in my notes that given y in Y, let x be a preimage in X, then F a topological covering if every path starting at y can be lifted to a path starting at X.
This is a really easy question and has nothing to do with Riemann surfaces and everything to do with compactness. (Also, don't use the path lifting property. Use the definition of covering space given.)
3. (Original post by Zhen Lin)
This is a really easy question and has nothing to do with Riemann surfaces and everything to do with compactness. (Also, don't use the path lifting property. Use the definition of covering space given.)
Yeah, I did it in the end using the stack-of-records theorem from Differential Geometry.
4. (Original post by around)
Prove that F is also a covering in the sense of topology (for every V open in Y, the pre-image of V by F is homeomorphic to V x W for W discrete).
Hey this definition is a bit wrong.
5. I've already been told this, but it's the 'definition' given by our lecturer. I think if you stare hard enough the definitions are 'equivalent' on the context we're working in, but yeah, that's not quite the right one.
6. (What exactly is the context?)

and the torus are Riemann surfaces, and the standard covering of the torus is a topological covering, but not one of your coverings.
7. (Original post by Hathlan)
(What exactly is the context?)

and the torus are Riemann surfaces, and the standard covering of the torus is a topological covering, but not one of your coverings.
Yeah, the lecturer's got it wrong (the preimage of any open set U on the torus is certainly of the form W x D for W open in C, but W isn't necessarily biholomorphic to U)
8. To clarify:

Definition. A covering map is a continuous map such that for each point p in B there is an open neighbourhood U such that is homeomorphic to for some discrete set D.

So to fix the given definition, all we have to do is replace "for every open set" with "for every small enough open set".

Proposition. Let be a local homeomorphism with E quasicompact and B satisfying the separation axiom. Then f is a covering map.

Proof. It is easy to check that the inverse image of every point in B is a closed discrete subset of E, and a compact discrete set is automatically finite. So f has finite fibres. But f is a local homeomorphism, so there is a neighbourhood of each point such that f restricts to a homeomorphism on that neighbourhood, and by finiteness, we can just take the intersection of all of these to obtain the desired evenly-covered neighbourhood of B.

## Register

Thanks for posting! You just need to create an account in order to submit the post
1. this can't be left blank
2. this can't be left blank
3. this can't be left blank

6 characters or longer with both numbers and letters is safer

4. this can't be left empty
1. Oops, you need to agree to our Ts&Cs to register

Updated: May 9, 2012
TSR Support Team

We have a brilliant team of more than 60 Support Team members looking after discussions on The Student Room, helping to make it a fun, safe and useful place to hang out.

This forum is supported by:
Today on TSR

### How hard is work at Oxbridge?

Is it really that intense? Would I cope?

Poll
Useful resources

### Maths Forum posting guidelines

Not sure where to post? Read the updated guidelines here

### How to use LaTex

Writing equations the easy way

### Study habits of A* students

Top tips from students who have already aced their exams