To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
Languages
Recent
Show all languages
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

Branched covering

From Wikipedia, the free encyclopedia

In mathematics, a branched covering is a map that is almost a covering map, except on a small set.

YouTube Encyclopedic

  • 1/5
    Views:
    2 183 413
    1 277
    136 609
    14 433
    6 999 941
  • The Map of Mathematics
  • Mod-05 Lec-25 Galois Coverings are precisely Quotients by Properly Discontinuous Free Actions
  • Isomers | Properties of carbon | Biology | Khan Academy
  • Integer Linear Programming - Graphical Method - Optimal Solution, Mixed, Rounding, Relaxation
  • SCIENCE WARS - Acapella Parody

Transcription

In topology

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

In algebraic geometry, the term branched covering is used to describe morphisms from an algebraic variety to another one , the two dimensions being the same, and the typical fibre of being of dimension 0.

In that case, there will be an open set of (for the Zariski topology) that is dense in , such that the restriction of to (from to , that is) is unramified.[clarification needed] 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 and are both compact Riemann surfaces, we require only that is holomorphic and not constant, and then there is a finite set of points of , outside of which we do find an honest covering

.

Ramification locus

The set of exceptional points on is called the ramification locus (i.e. this is the complement of the largest possible open set ). In general monodromy occurs according to the fundamental group of acting on the sheets of the covering (this topological picture can be made precise also in the case of a general base field).

Kummer extensions

Branched coverings are easily constructed as Kummer extensions, i.e. as algebraic extension of the function field. The hyperelliptic curves are prototypic examples.

Unramified covering

An unramified covering then is the occurrence of an empty ramification locus.

Examples

Elliptic curve

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

This is because for these three values of x the fiber is the double point 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

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.

Plane algebraic curve

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 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 in f, then this ramified point is "at infinity".

Over a root s of the coefficient of 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

Varying Ramifications

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

as we choose different points , the fibers given by the vanishing locus of vary. At any point where the multiplicity of one of the linear terms in the factorization of increases by one, there is a ramification.

Scheme Theoretic Examples

Elliptic Curves

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

is a ramified cover with ramification locus given by

This is because at any point of in the fiber is the scheme

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

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 .

Hyperelliptic curve

A hyperelliptic curve provides a generalization of the above degree cover of the affine line, by considering the affine scheme defined over by a polynomial of the form

where for

Higher Degree Coverings of the Affine Line

We can generalize the previous example by taking the morphism

where has no repeated roots. Then the ramification locus is given by

where the fibers are given by

Then, we get an induced morphism of fraction fields

There is an -module isomorphism of the target with

Hence the cover is of degree .

Superelliptic Curves

Superelliptic curves are a generalization of hyperelliptic curves and a specialization of the previous family of examples since they are given by affine schemes from polynomials of the form

where and has no repeated roots.

Ramified Coverings of Projective Space

Another useful class of examples come from ramified coverings of projective space. Given a homogeneous polynomial we can construct a ramified covering of with ramification locus

by considering the morphism of projective schemes

Again, this will be a covering of degree .

Applications

Branched coverings come with a symmetry group of transformations . Since the symmetry group has stabilizers at the points of the ramification locus, branched coverings can be used to construct examples of orbifolds, or Deligne–Mumford stacks.

See also

References

  • Dimca, Alexandru (1992), Singularities and Topology of Hypersurfaces, Berlin, New York: Springer-Verlag, ISBN 978-0-387-97709-6
  • Hartshorne, Robin (1977), Algebraic Geometry, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157, OCLC 13348052
  • Osserman, Brian, Branched Covers of the Riemann Sphere (PDF)
This page was last edited on 27 December 2022, at 04:20
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.