Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Ramification (mathematics)
Summary
In geometry, ramification is 'branching out', in the way that the square root function, for complex numbers, can be seen to have two branches differing in sign. The term is also used from the opposite perspective (branches coming together) as when a covering map degenerates at a point of a space, with some collapsing of the fibers of the mapping.
Branch point
In complex analysis, the basic model can be taken as the z → zn mapping in the complex plane, near z = 0. This is the standard local picture in Riemann surface theory, of ramification of order n. It occurs for example in the Riemann–Hurwitz formula for the effect of mappings on the genus.
In a covering map the Euler–Poincaré characteristic should multiply by the number of sheets; ramification can therefore be detected by some dropping from that. The z → zn mapping shows this as a local pattern: if we exclude 0, looking at 0 < |z| < 1 say, we have (from the homotopy point of view) the circle mapped to itself by the n-th power map (Euler–Poincaré characteristic 0), but with the whole disk the Euler–Poincaré characteristic is 1, n – 1 being the 'lost' points as the n sheets come together at z = 0.
In geometric terms, ramification is something that happens in codimension two (like knot theory, and monodromy); since real codimension two is complex codimension one, the local complex example sets the pattern for higher-dimensional complex manifolds. In complex analysis, sheets can't simply fold over along a line (one variable), or codimension one subspace in the general case. The ramification set (branch locus on the base, double point set above) will be two real dimensions lower than the ambient manifold, and so will not separate it into two 'sides', locally―there will be paths that trace round the branch locus, just as in the example. In algebraic geometry over any field, by analogy, it also happens in algebraic codimension one.
Splitting of prime ideals in Galois extensions
Ramification in algebraic number theory means a prime ideal factoring in an extension so as to give some repeated prime ideal factors.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.