Branched covering

The set of exceptional points on ${\displaystyle W}$ is called the ramification locus (i.e. this is the complement of the largest possible open set ${\displaystyle W'}$). In general monodromy occurs according to the fundamental group of ${\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

${\displaystyle y^{2}-x(x-1)(x-2)=0.}$

The projection of C onto the x-axis is a ramified cover with ramification locus given by

${\displaystyle x(x-1)(x-2)=0.}$

This is because for these three values of x the fiber is the double point ${\displaystyle y^{2}=0,}$ while for any other value of x, the fiber consists of two distinct points (over an algebraically closed field).

This projection induces an algebraic extension of degree two of the function fields: Also, if we take the fraction fields of the underlying commutative rings, we get the morphism

${\displaystyle \mathbb {C} (x)\to \mathbb {C} (x)[y]/(y^{2}-x(x-1)(x-2))}$

Hence this projection is a degree 2 branched covering. This can be homogenized to construct a degree 2 branched covering of the corresponding projective elliptic curve to the projective line.

The previous example may be generalized to any algebraic plane curve in the following way. Let C be a plane curve defined by the equation f(x,y) = 0, where f is a separable and irreducible polynomial in two indeterminates. If n is the degree of f in y, then the fiber consists of n distinct points, except for a finite number of values of x. Thus, this projection is a branched covering of degree n.

The exceptional values of x are the roots of the coefficient of ${\displaystyle y^{n}}$ in f, and the roots of the discriminant of f with respect to y.

Over a root r of the discriminant, there is at least a ramified point, which is either a critical point or a singular point. If r is also a root of the coefficient of ${\displaystyle y^{n}}$ in f, then this ramified point is "at infinity".

Over a root s of the coefficient of ${\displaystyle y^{n}}$ in f, the curve C has an infinite branch, and the fiber at s has less than n points. However, if one extends the projection to the projective completions of C and the x-axis, and if s is not a root of the discriminant, the projection becomes a covering over a neighbourhood of s.

The fact that this projection is a branched covering of degree n may also be seen by considering the function fields. In fact, this projection corresponds to the field extension of degree n

${\displaystyle \mathbb {C} (x)\to \mathbb {C} (x)[y]/f(x,y).}$

We can also generalize branched coverings of the line with varying ramification degrees. Consider a polynomial of the form

${\displaystyle f(x,y)=g(x)}$

as we choose different points ${\displaystyle x=\alpha }$, the fibers given by the vanishing locus of ${\displaystyle f(\alpha ,y)-g(\alpha )}$ vary. At any point where the multiplicity of one of the linear terms in the factorization of ${\displaystyle f(\alpha ,y)-g(\alpha )}$ increases by one, there is a ramification.

Morphisms of curves provide many examples of ramified coverings of schemes. For example, the morphism from an affine elliptic curve to a line

${\displaystyle {\text{Spec}}\left({\mathbb {C} [x,y]}/{(y^{2}-x(x-1)(x-2)}\right)\to {\text{Spec}}(\mathbb {C} [x])}$

is a ramified cover with ramification locus given by

${\displaystyle X={\text{Spec}}\left({\mathbb {C} [x]}/{(x(x-1)(x-2))}\right)}$

This is because at any point of ${\displaystyle X}$ in ${\displaystyle \mathbb {A} ^{1}}$ the fiber is the scheme

${\displaystyle {\text{Spec}}\left({\mathbb {C} [y]}/{(y^{2})}\right)}$

Also, if we take the fraction fields of the underlying commutative rings, we get the field homomorphism

${\displaystyle \mathbb {C} (x)\to {\mathbb {C} (x)[y]}/{(y^{2}-x(x-1)(x-2))},}$

which is an algebraic extension of degree two; hence we got a degree 2 branched covering of an elliptic curve to the affine line. This can be homogenized to construct a morphism of a projective elliptic curve to ${\displaystyle \mathbb {P} ^{1}}$.

A hyperelliptic curve provides a generalization of the above degree ${\displaystyle 2}$ cover of the affine line, by considering the affine scheme defined over ${\displaystyle \mathbb {C} }$ by a polynomial of the form

${\displaystyle y^{2}-\prod (x-a_{i})}$ where ${\displaystyle a_{i}\neq a_{j}}$ for ${\displaystyle i\neq j}$

We can generalize the previous example by taking the morphism

${\displaystyle {\text{Spec}}\left({\frac {\mathbb {C} [x,y]}{(f(y)-g(x))}}\right)\to {\text{Spec}}(\mathbb {C} [x])}$

where ${\displaystyle g(x)}$ has no repeated roots. Then the ramification locus is given by

${\displaystyle X={\text{Spec}}\left({\frac {\mathbb {C} [x]}{(f(x))}}\right)}$

where the fibers are given by

${\displaystyle {\text{Spec}}\left({\frac {\mathbb {C} [y]}{(f(y))}}\right)}$

Then, we get an induced morphism of fraction fields

${\displaystyle \mathbb {C} (x)\to {\frac {\mathbb {C} (x)[y]}{(f(y)-g(x))}}}$

There is an ${\displaystyle \mathbb {C} (x)}$-module isomorphism of the target with

${\displaystyle \mathbb {C} (x)\oplus \mathbb {C} (x)\cdot y\oplus \cdots \oplus \mathbb {C} (x)\cdot y^{{\text{deg}}(f(y))}}$

Hence the cover is of degree ${\displaystyle {\text{deg}}(f)}$.

Superelliptic curves are a generalization of hyperelliptic curves and a specialization of the previous family of examples since they are given by affine schemes ${\displaystyle X/\mathbb {C} }$ from polynomials of the form

${\displaystyle y^{k}-f(x)}$ where ${\displaystyle k>2}$ and ${\displaystyle f(x)}$ has no repeated roots.

Another useful class of examples come from ramified coverings of projective space. Given a homogeneous polynomial ${\displaystyle f\in \mathbb {C} [x_{0},\ldots ,x_{n}]}$ we can construct a ramified covering of ${\displaystyle \mathbb {P} ^{n}}$ with ramification locus

${\displaystyle {\text{Proj}}\left({\frac {\mathbb {C} [x_{0},\ldots ,x_{n}]}{f(x)}}\right)}$

by considering the morphism of projective schemes

${\displaystyle {\text{Proj}}\left({\frac {\mathbb {C} [x_{0},\ldots ,x_{n}][y]}{y^{{\text{deg}}(f)}-f(x)}}\right)\to \mathbb {P} ^{n}}$

Again, this will be a covering of degree ${\displaystyle f}$.