Hello everyone, I would really, -really- appreciate some detailed help on this question: I am taking a lecture course on Riemann Surfaces, and the lecturer has failed to explain how to approach a question like this at all unfortunately - plenty of theorems (monodromy, existence of lifts etc.) but nothing in the way of examples on how to approach a question like this.

Once I'm done with this problem I've got 4 or 5 more along very similar lines, and given that I'd like to try and get those done completely by myself following this, I would really appreciate as much detail as you can possibly give me. Obviously I will be using my own mathematical knowledge/intuition, but the more detail & help I can get from you for this one question, the more likely I am to grasp the concept for subsequent ones.

The question is as follows: "Show that the component of the space of germs over corresponding to the complex logarithm is analytically isomorphic to the Riemann surface constructed by gluing, and hence also analytically isomorphic to "

Now I believe I can choose a 'base point' somewhere in the surface constructed by the gluing and then use analytic continuation to extend this to any given point - I am also fairly sure that whatever path we choose to extend it, we should get the same end result presumably, because we need the map to be well-defined - I suspect this follows from the Monodromy theorem.

However, I don't know where to go from here. Obviously we can project the Riemann surface down onto by 'flattening it', but at the same time I believe the surface is simply connected (its complement is just {0} which is connected), and my thoughts are something along the lines of mapping from a point on the surface to the germ given by analytic continuation of the logarithm from our arbitrary fixed basepoint to the point on the surface - however, I'm uncertain as to how to formalize this argument, among other issues.

The question obviously refers to the fact that the complex logarithm is a multifunction, since we construct the Riemann surface by identifying the distinct branches of the logarithm and gluing them together. I believe each point in should have a set of germs corresponding to , one for each 'sheet' of the construction. So how would you actually construct the analytic isomorphism, and show it is analytic and isomorphic then? The way I picture the glued surface is actually -already- as copies of , or rather as , but now it appears that is the structure of the space of germs - however, I find it hard to believe that my map is from (z,n) to the germ corresponding to , where - that seems almost -too- obvious in a way, and I suspect I've made an incorrect assumption which has trivialized a non-trivial question.

For one thing, how can a map be analytically isomorphic onto the space of germs? Aren't germs (as far as we've got in the course) considered to be essentially functions at a point under the equivalence relation f~g at the point x iff they are identical on some open neighbourhood of x? So how can something be analytic onto such a space? I think part of the issue is that I am being expected (sadly!) to hand this work in before the lecturer is completely done covering the topic - so how would you go about a problem like this? As much as the mathematical content, actually knowing -what- to write ('can construct a function f between ___ and ___ s.t.' etc... - I don't want you to write it all out for me though, obviously!) is unclear to me too, so if you would be able to provide me with an example of how something like this should be properly attacked, that would be incredibly helpful. (The next question, for example, discusses the situation with the function , and I would like to give that a go ASAP, so please respond soon if you can - apologies for the essay, it's just really key for my learning of the course that I grasp this concept :).)