A covering evenly covers every base point. It is regular covering map when deck transformations act transitively on fibres. For a concrete nonregular example, restrict to
It is a surjective three-sheeted unbranched cover with monodromy , so its deck group is not transitive.
continues when they agree on a nonempty connected component reached by an overlapping chain of function elements. A complete analytic function contains every continuation. Its Riemann surface is the set of its germs; germ neighbourhoods are charts, projection records the base point, and germ evaluation gives a holomorphic map to .
Since is simply connected, has a primitive . On connected , has zero derivative and is constant. Adjust that constant to obtain on the overlap, hence the required continuation.
Differentiate a germ of a continuation of to obtain a germ of the continuation of . This defines a surjective cover . Two primitive germs above the same derivative germ differ by an additive period. Translation by periods gives all deck transformations and acts transitively on each fibre, so the cover is regular.

Articles by others on the same topic (0)

There are currently no matching articles.