Unramified Morphism
   HOME

TheInfoList



OR:

In
algebraic geometry Algebraic geometry is a branch of mathematics which uses abstract algebraic techniques, mainly from commutative algebra, to solve geometry, geometrical problems. Classically, it studies zero of a function, zeros of multivariate polynomials; th ...
, an unramified morphism is a
morphism In mathematics, a morphism is a concept of category theory that generalizes structure-preserving maps such as homomorphism between algebraic structures, functions from a set to another set, and continuous functions between topological spaces. Al ...
f: X \to Y of schemes such that (a) it is locally of finite presentation and (b) for each x \in X and y = f(x), we have that # The
residue field In mathematics, the residue field is a basic construction in commutative algebra. If R is a commutative ring and \mathfrak is a maximal ideal, then the residue field is the quotient ring k=R/\mathfrak, which is a field. Frequently, R is a local ri ...
k(x) is a separable algebraic extension of k(y). # f^(\mathfrak_y) \mathcal_ = \mathfrak_x, where f^: \mathcal_ \to \mathcal_ and \mathfrak_y, \mathfrak_x are
maximal ideal In mathematics, more specifically in ring theory, a maximal ideal is an ideal that is maximal (with respect to set inclusion) amongst all ''proper'' ideals. In other words, ''I'' is a maximal ideal of a ring ''R'' if there are no other ideals ...
s of the
local ring In mathematics, more specifically in ring theory, local rings are certain rings that are comparatively simple, and serve to describe what is called "local behaviour", in the sense of functions defined on algebraic varieties or manifolds, or of ...
s. A flat unramified morphism is called an
étale morphism In algebraic geometry, an étale morphism () is a morphism of Scheme (mathematics), schemes that is formally étale and locally of finite presentation. This is an algebraic analogue of the notion of a local isomorphism in the complex analytic topol ...
. Less strongly, if f satisfies the conditions when restricted to sufficiently small neighborhoods of x and y, then f is said to be unramified near x. Some authors prefer to use weaker conditions, in which case they call a morphism satisfying the above a G-unramified morphism.


Simple example

Let A be a ring and ''B'' the ring obtained by adjoining an
integral element In commutative algebra, an element ''b'' of a commutative ring ''B'' is said to be integral over a subring ''A'' of ''B'' if ''b'' is a root of a polynomial, root of some monic polynomial over ''A''. If ''A'', ''B'' are field (mathematics), fields ...
to ''A''; i.e., B = A (F) for some
monic polynomial In algebra, a monic polynomial is a non-zero univariate polynomial (that is, a polynomial in a single variable) in which the leading coefficient (the nonzero coefficient of highest degree) is equal to 1. That is to say, a monic polynomial is one ...
''F''. Then \operatorname(B) \to \operatorname(A) is unramified if and only if the polynomial ''F'' is separable (i.e., it and its derivative generate the unit ideal of A /math>).


Curve case

Let f: X \to Y be a finite morphism between smooth connected
curve In mathematics, a curve (also called a curved line in older texts) is an object similar to a line, but that does not have to be straight. Intuitively, a curve may be thought of as the trace left by a moving point. This is the definition that ...
s over an
algebraically closed field In mathematics, a field is algebraically closed if every non-constant polynomial in (the univariate polynomial ring with coefficients in ) has a root in . In other words, a field is algebraically closed if the fundamental theorem of algebra ...
, ''P'' a closed point of ''X'' and Q = f(P). We then have the local ring homomorphism f^ : \mathcal_Q \to \mathcal_P where (\mathcal_Q, \mathfrak_Q) and (\mathcal_P, \mathfrak_P) are the local rings at ''Q'' and ''P'' of ''Y'' and ''X''. Since \mathcal_P is a discrete valuation ring, there is a unique integer e_P > 0 such that f^ (\mathfrak_Q) \mathcal_P = ^. The integer e_P is called the ramification index of P over Q. Since k(P) = k(Q) as the base field is algebraically closed, f is unramified at P (in fact, étale) if and only if e_P = 1. Otherwise, f is said to be ramified at ''P'' and ''Q'' is called a branch point.


Characterization

Given a morphism f: X \to Y that is locally of finite presentation, the following are equivalent: # ''f'' is unramified. # The diagonal map \delta_f: X \to X \times_Y X is an open immersion. # The relative cotangent sheaf \Omega_ is zero.


See also

* Finite extensions of local fields *
Ramification (mathematics) 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 ...


References

* * Algebraic geometry Morphisms {{algebraic-geometry-stub