Branched covering

In mathematics, a branched covering is a map that is almost a covering map, except on a small set. In mathematics, a branched covering is a map that is almost a covering map, except on a small set. In topology, a map is a branched covering if it is a covering map everywhere except for a nowhere dense set known as the branch set. Examples include the map from a wedge of circles to a single circle, where the map is a homeomorphism on each circle. In algebraic geometry, the term branched covering is used to describe morphisms f {displaystyle f} from an algebraic variety V {displaystyle V} to another one W {displaystyle W} , the two dimensions being the same, and the typical fibre of f {displaystyle f} being of dimension 0. In that case, there will be an open set W ′ {displaystyle W'} of W {displaystyle W} (for the Zariski topology) that is dense in W {displaystyle W} , such that the restriction of f {displaystyle f} to W ′ {displaystyle W'} (from V ′ = f − 1 ( W ′ ) {displaystyle V'=f^{-1}(W')} to W ′ {displaystyle W'} , that is) is unramified. Depending on the context, we can take this as local homeomorphism for the strong topology, over the complex numbers, or as an étale morphism in general (under some slightly stronger hypotheses, on flatness and separability). Generically, then, such a morphism resembles a covering space in the topological sense. For example, if V {displaystyle V} and W {displaystyle W} are both Riemann surfaces, we require only that f {displaystyle f} is holomorphic and not constant, and then there is a finite set of points P {displaystyle P} of W {displaystyle W} , outside of which we do find an honest covering The set of exceptional points on W {displaystyle W} is called the ramification locus (i.e. this is the complement of the largest possible open set W ′ {displaystyle W'} ). In general monodromy occurs according to the fundamental group of W ′ {displaystyle W'} acting on the sheets of the covering (this topological picture can be made precise also in the case of a general base field). Branched coverings are easily constructed as Kummer extensions, i.e. as algebraic extension of the function field. The hyperelliptic curves are prototypic examples. An unramified covering then is the occurrence of an empty ramification locus. Morphisms of curves provide many examples of ramified coverings. For example, let C be the elliptic curve of equation The projection of C onto the x-axis is a ramified cover with ramification locus given by