Take an open neighbourhood on which is one-to-one and a homeomorphism onto its image. By invariance of domain for topological surfaces, that image is open. Shrink so the image lies in a complex chart of , and use as a chart of . These charts cover . On any overlap their transition is the transition between the original charts of , restricted to an open set, so is holomorphic with holomorphic inverse. They define the desired complex structure, and in these charts is locally the identity. Thus is holomorphic. The openness supplied by invariance of domain is important when the hypothesis is phrased only as a homeomorphism onto the image.
Let be holomorphic and let be the stated covering. Choose a lift of . The covering-space lifting theorem says that a map from a simply connected, locally path-connected domain has a unique lift after fixing this initial point: lift paths from zero, and homotopy lifting makes their endpoint independent of path. Since is simply connected, this constructs with . On a small neighbourhood, the lift is a biholomorphic local inverse of composed with , so it is holomorphic. Its modulus is less than one, and Liouville theorem therefore makes it constant. Hence every holomorphic map is constant.
Articles by others on the same topic
There are currently no matching articles.