Morphism of algebraic varieties

From Wikipedia, the free encyclopedia
  (Redirected from Regular functions)
Jump to: navigation, search

In algebraic geometry, a morphism between algebraic varieties is a function between the varieties that is given locally by polynomials. It is also called a regular map. A morphism from an algebraic variety to the affine line is also called a regular function.

A regular map whose inverse is also regular is called biregular, and they are isomorphisms in the category of algebraic varieties. Because regular and biregular are very restrictive conditions – there are no non-constant regular functions on projective varieties – the weaker condition of a rational map and birational maps are frequently used as well.


If X and Y are closed subvarieties of An and Am (so they are affine varieties), then a regular map ƒ:XY is the restriction of a polynomial map AnAm. Explicitly, it has the form

f = (f_1, \dots, f_m)

where the f_i's are in the coordinate ring of X:

k[X] = k[x_1, \dots, x_n]/I,

I the ideal defining X, so that the image f(X) lies in Y; i.e., satisfying the defining equations of Y. (Two polynomials f and g define the same function on X if and only if f - g is in I.)

More generally, a map ƒ:XY between two varieties is regular at a point x if there is a neighbourhood U of x and a neighbourhood V of ƒ(x) such that ƒ(U) ⊂ V and the restricted function ƒ:UV is regular as a function on some affine charts of U and V. Then ƒ is called regular, if it is regular at all points of X.

  • Note: It is not immediately obvious that the two definitions coincide: if X and Y are affine varieties, then a map ƒ:XY is regular in the first sense if and only if it is so in the second sense.[1] Also, it is not immediately clear whether a regularity depends on a choice of affine charts (it doesn't.[2]) This kind of a consistency issue, however, disappears if one adopts the formal definition. Formally, an (abstract) algebraic variety is defined to be a particular kind of a locally ringed space (see for example "projective variety" for the ringed space structure of a projective variety). When this definition is used, a morphism of varieties is just a morphism of locally ringed spaces.

The composition of regular maps is again regular; thus, algebraic varieties form the category of algebraic varieties where the morphisms are the regular maps.

Regular maps between affine varieties correspond contravariantly in one-to-one to algebra homomorphisms between the coordinate rings: if ƒ:XY is a morphism of affine varieties, then it defines the algebra homomorphism

f^{\#}: k[Y] \to k[X], \, g \mapsto g \circ f

where k[X], k[Y] are the coordinate rings of X and Y; it is well-defined since g \circ f = g(f_1, \dots, f_m) is a polynomial in elements of k[X]. Conversely, if \phi: k[Y] \to k[X] is an algebra homomorphism, then it induces the morphism

\phi^a: X \to Y

given by: writing k[Y] = k[y_1, \dots, y_m]/J,

\phi^a = (\phi(\overline{y_1}), \dots, \phi(\overline{y_m}))

where \overline{y}_i are the images of y_i's.[3] Note {\phi^a}^{\#} = \phi as well as {f^{\#}}^a = f.[4] In particular, f is an isomorphism of affine varieties if and only if f# is an isomorphism of the coordinate rings.

For example, if X is a closed subvariety of an affine variety Y and ƒ is the inclusion, then ƒ# is the restriction of regular functions on Y to X. See #Examples below for more examples.

Regular functions[edit]

In the particular case that Y equals A1 the regular map ƒ:XA1 is called a regular function, and are algebraic analogs of smooth functions studied in differential geometry. The ring of regular functions (that is the coordinate ring or more abstractly the ring of global sections of the structure sheaf) is a fundamental object in affine algebraic geometry. The only regular function on a projective variety is constant (this can be viewed as an algebraic analogue of Liouville's theorem in complex analysis).

A scalar function ƒ:XA1 is regular at a point x if, in some open affine neighborhood of x, it is a rational function that is regular at x; i.e., there are regular functions g, h near x such that f = g/h and h does not vanish at x.[5] Caution: the condition is for some pair (g, h) not for all pairs (g, h); see #Examples.

If X is a quasi-projective variety; i.e., an open subvariety of a projective variety, then the function field k(X) is the same as that of the closure \overline{X} of X and thus a rational function on X is of the form g/h for some homogeneous elements g, h of the same degree in the homogeneous coordinate ring k[\overline{X}] of \overline{X} (cf. Projective variety#Variety structure.) Then a rational function f on X is regular at a point x if and only if there are some homogeneous elements g, h of the same degree in k[\overline{X}] such that f = g/h and h does not vanish at x. This characterization is sometimes taken as the definition of a regular function.[6]

Comparsion with a morphism of schemes[edit]

If X = Spec A and Y = Spec B are affine schemes, then each ring homomorphism φ:BA determines a morphism

\phi^a: X \to Y, \, \mathfrak{p} \mapsto \phi^{-1}(\mathfrak{p})

by taking the pre-images of prime ideals. All morphisms between affine schemes are of this type and gluing such morphisms gives a morphism of schemes in general.

Now, if X, Y are affine varieties; i.e., A, B are integral domains that are finitely generated algebras over an algebraically closed field k, then, working with only the closed points, the above coincides with the definition given at #Definition. (Proof: If ƒ:XY is a morphism, then, writing \phi = f^{\#}, we need to show

\mathfrak{m}_{f(x)} = \phi^{-1}(\mathfrak{m}_x)

where \mathfrak{m}_x, \mathfrak{m}_{f(x)} are the maximal ideals corresponding to the points x and f(x); i.e., \mathfrak{m}_x = \{ g \in k[X] | g(x) = 0 \}. This is immediate.)

This fact means that the category of affine varieties can be identified with a full subcategory of affine schemes over k. Since morphisms of varieties are obtained by gluing morphisms of affine varieties in the same way morphisms of schemes are obtained by gluing morphisms of affine schemes, it follows that the catgory of varieties is a full subcategory of schemes over k.

For more details, see also:


  • The regular functions on An are exactly the polynomials in n variables and the regular functions on Pn are exactly the constants.
  • Let X be the affine curve y = x^2. Then
f: X \to \mathbf{A}^1, \, (x, y) \mapsto x
is a morphism; it is bijective with the inverse g(x) = (x, x^2). Since g is also a morphism, f is an isomorphism of varieties.
  • Let X be the affine curve y^2 = x^3 + x^2. Then
f: \mathbf{A}^1 \to X, \, t \mapsto (t^2 - 1, t^3 - t)
is a morphism. It corresponds to the ring homomorphism
f^{\#}: k[X] \to k[t], \, g \mapsto g(t^2 - 1, t^3 - t),
which is seen to be injective (since f is surjective).
  • Continuing the preceding example, let U = A1 - {1}. Since U is the complement of the hyperplane t = 1, U is affine. The restriction f: U \to X is bijective. But the corresponding ring homomorphism is the inclusion k[X] = k[t^2 - 1, t^3 - t] \hookrightarrow k[t, (t - 1)^{-1}], which is not an isomorphism and so the restriction f |U is not an isomorphism.
  • Let X be the affine curve x2 + y2 = 1 and let
f(x, y) = {1 - y \over x}.
Then f is a rational function on X. It is regular at (0, 1) despite the expression since, as a rational function on X, f can also be written as f(x, y) = {x \over 1 + y}.
  • Let X = A2 - (0, 0). Then X is an algebraic variety since it is an open subset of a variety. If f is a regular function on X, then f is regular on D_{\mathbf{A}^2}(x) = \mathbf{A}^2 - \{ x = 0 \} and so is in k[D_{\mathbf{A}^2}(x)] = k[\mathbf{A}^2][x^{-1}] = k[x, x^{-1}, y]. Similarly, it is in k[x, y, y^{-1}]. Thus, we can write:
    f = {g \over x^n} = {h \over y^m}
where g, h are polynomials in k[x, y]. But this implies g is divisible by xn and so f is in fact a polynomial. Hence, the ring of regular functions on X is just k[x, y]. (This also shows that X cannot be affine since if it were, X is determined by its coordinate ring and thus X = A2.)
  • Suppose \mathbf{P}^1 = \mathbf{A}^1 \cup \{ \infty \} by identifying the points (x : 1) with the points x on A1 and ∞ = (1 : 0). There is an automorphism σ of P1 given by σ(x : y) = (y : x); in particular, σ exchanges 0 and ∞. If f is a rational function on P1, then
\sigma^{\#}(f) = f(1/z)
and f is regular at ∞ if and only if f(1/z) is regular at zero.
is a morphism of varieties. If X and Y are affine, then the corresponding ring homomorphism is
p^{\#}: k[X] \to k[X \times Y] = k[X] \otimes_k k[Y], \, f \mapsto f \otimes 1
where (f \otimes 1)(x, y) = f(p(x, y)) = f(x).


A morphism between varieties is continuous with respect to Zariski topologies on the source and the target.

The image of a morphism of varieties need not be open nor closed (for example, the image of \mathbf{A}^2 \to \mathbf{A}^2, \, (x, y) \mapsto (x, xy) is neither open nor closed). However, one can still say: if f is a morphism between varieties, then the image of f contains an open dense subset of its closure. (cf. constructible set.)

A morphism ƒ:XY of algebraic varieties is said to be a dominant if it has dense image. For such an f, if V is a nonempty open affine subset of Y, then there is a nonempty open affine subset U of X such that ƒ(U) ⊂ V and then f^{\#}: k[V] \to k[U] is injective. Thus, the dominant map ƒ induces an injection on the level of function fields:

k(Y) = \varinjlim k[V] \hookrightarrow k(X), \, g \mapsto g \circ f

where the limit runs over all nonempty open affine subsets of Y. (More abstractly, this is the induced map from the residue field of the generic point of Y to that of X.) Conversely, every inclusion of fields k(Y) \hookrightarrow k(X) is induced by a dominant rational map form X to Y.[7] Hence, the above construction determines a contravariant-equivalence between the category of algebraic varieties over a field k and dominant rational maps between them and the category of finitely generated field extension of k.[8]

If X is a smooth complete curve (for example, P1) and if f is a rational map from X to a projective space Pm, then f is a regular map XPm.[9] In particular, when X is a smooth complete curve, any rational function on X may be viewed as a morphism XP1 and, conversely, such a morphism as a rational function on X.

On a normal variety (in particular, a smooth variety), a rational function is regular if and only if it has no poles of codimension one.[10] This is an algebraic analog of Hartogs' extension theorem. There is also a relative version of this fact; see [1].

A morphism between algebraic varieties that is a homeomorphism between the underlying topological spaces need not be an isomorphism (a counterexample is given by a Frobenius morphism t \mapsto t^p.) On the other hand, if f is bijective birational and the target space of f is a normal variety, then f is biregular. (cf. Zariski's main theorem.)

A regular map between complex algebraic varieties is a holomorphic map. (There is actually a slight technical difference: a regular map is a meromorphic map whose singular points are removable, but the distinction is usually ignored in practice.) In particular, a regular map into the complex numbers is just a usual holomorphic function (complex-analytic function).

Morphisms to a projective space[edit]


f: X \to \mathbf{P}^m

be a morphism from a projective variety to a projective space. Let x be a point of X. Then some i-th homogeneous coordinate of f(x) is nonzero; say, i = 0 for simplicity. Then, by continuity, there is an open affine neighborhood U of x such that

f: U \to \mathbf{P}^m - \{ y_0 = 0 \}

is a morphism, where yi are the homogeneous coordinates. Note the target space is the affine space Am through the identification (a_0 : \dots : a_m) = (1 : a_1 / a_0 : \dots : a_m / a_0) \sim (a_1 / a_0, \dots, a_m / a_0). Thus, by definition, the restriction f |U is given by

f|_U(x) = (g_1(x), \dots, g_m(x))

where gi's are regular functions on U. Since X is projective, each gi is a fraction of homogeneous elements of the same degree in the homogeneous coordinate ring k[X] of X. We can arrange the fractions so that they all have the same homogeneous denominator say f0. Then we can write gi = fi/f0 for some homogeneous elements fi's in k[X]. Hence, going back to the homogeneous coordinates,

f(x) = (f_0(x) : f_1(x) : \dots : f_m(x))

for all x in U and by continuity for all x in X as long as the fi's do not vanish at x simultaneously. If they vanish simultaneously at a point x of X, then, by the above procedure, one can pick a different set of fi's that do not vanish at x simultaneously (see Note at the end of the section.)

In fact, the above description is valid for any quasi-projective variety X, an open subvariety of a projective variety \overline{X}; the difference being that fi's are in the homogeneous coordinate ring of \overline{X}.

Note: The above does not say a morphism from a projective variety to a projective space is given by a single set of polynomials (unlike the affine case). For example, let X be the conic y^2 = xz in P2. Then two maps (x : y : z) \mapsto (x : y) and (x : y : z) \mapsto (y : z) agree on the open subset \{ (x : y : z) \in X | x \ne 0 , z \ne 0 \} of X (since (x : y) = (xy : y^2) = (xy: xz) = (y : z)) and so defines a morphism f: X \to \mathbf{P}^1.

Fibers of a morphism[edit]

The important fact is:[11]

Theorem — Let f: XY be a dominating (i.e., having dense image) morphism of algebraic varieties, and let r = dim X - dim Y. Then

  1. For every irreducible closed subset W of Y and every irreducible component Z of f^{-1}(W) dominating W,
    \dim Z \ge \dim W + r.
  2. There exists a nonempty open subset U in Y such that (a) U \subset f(X) and (b) for every irreducible closed subset W of Y intersecting U and every irreducible component Z of f^{-1}(W) intersecting f^{-1}(U),
    \dim Z = \dim W + r.

Corollary — Let f: XY be a morphism of algebraic varieties. For each x in X, define

e(x) = \max \{ \dim Z | Z an irreducible component of f^{-1}(f(x)) containing x \}.

Then e is upper-semicontinuous; i.e., for each integer n, the set

X_n = \{ x \in X | e(x) \ge n \}

is closed.

In Mumford's red book, the theorem is proved by means of Noether's normalization lemma. For an algebraic approach where the generic freeness plays a main role and the notion of "universally catenary ring" is a key in the proof, see Eisenbud, Ch. 14 of "Commutative algebra with a view toward algebraic geometry." In fact, the proof there shows that if f is flat, then the dimension equality in 2. of the theorem holds in general (not just generically).

Degree of a finite morphism[edit]

Let f: XY be a finite surjective morphism between algebraic varieties over a field k. Then, by definition, the degree of f is the degree of the finite field extension of the function field k(X) over f*k(Y). By generic freeness, there is some nonempty open subset U in Y such that the restriction of the structure sheaf OX to f−1(U) is free as OY|U-module. The degree of f is then the rank of this free module.

If f is étale and if X, Y are complete, then for any coherent sheaf F on Y, writing χ for the Euler characteristic,

\chi(f^* F) = \deg(f) \chi (F).[12]

(The Riemann–Hurwitz formula for a ramified covering shows the "étale" here cannot be omitted.)

In general, if f is a finite surjective morphism, if X, Y are complete and F a coherent sheaf on Y, then from the Leray spectral sequence \operatorname{H}^p(Y, R^q f_* f^* F) \Rightarrow \operatorname{H}^{p+q}(X, f^* F), one gets:

\chi(f^* F) = \sum_{q=0}^{\infty} (-1)^{q} \chi(R^q f_* f^* F).

In particular, if F is a tensor power L^{\otimes n} of a line bundle, then R^q f_*(f^* F) = R^q f_* \mathcal{O}_X \otimes L^{\otimes n} and since the support of R^q f_* \mathcal{O}_X has positive codimension if q is positive, comparing the leading terms, one has:

\operatorname{deg}(f^* L) = \operatorname{deg}(f) \operatorname{deg}(L)

(since the generic rank of f_* \mathcal{O}_X is the degree of f.)

If f is étale and k is algebraically closed, then each geometric fiber f−1(y) consists exactly of deg(f) points.

See also[edit]


  1. ^ Here is the argument showing the definitions coincide. Clearly, we can assume Y = A1. Then the issue here is whether the "regular-ness" can be patched together; this answer is yes and that can be seen from the construction of the structure sheaf of an affine variety as described at affine variety#Structure sheaf.
  2. ^ It is not clear how to prove this, though. If X, Y are quasi-projective, then the proof can be given. The non-quasi-projective case strongly depends on one's definition of an abstract variety.
  3. ^ The image of \phi^a lies in Y since if g is a polynomial in J, then, a priori thinking \phi^a is a map to the affine space, g \circ \phi^a = g(\phi(\overline{y_1}), \dots, \phi(\overline{y_m})) = \phi(\overline{g}) = 0 since g is in J.
  4. ^ Proof: {\phi^a}^{\#}(g) = g(\phi(\overline{y_1}), \dots, \phi(\overline{y_m})) = \phi(g) since φ is an algebra homomorphism. Also, f^{\#a} = (\overline{y_1} \circ f, \dots, \overline{y_m} \circ f) = f.
  5. ^ Proof: Let A be the coordinate ring of such an affine neighborhood of x. If f = g/h with some g in A and some nonzero h in A, then f is in A[h−1] = k[D(h)]; that is, f is a regular function on D(h).
  6. ^ Hartshorne, Ch. I, § 3.
  7. ^ Vakil, Foundations of algebraic geometry, Proposition 6.5.7.
  8. ^ Hartshorne, Ch. I,Theorem 4.4.
  9. ^ Hartshorne, Ch. I, Proposition 6.8.
  10. ^ Proof: it's enough to consider the case when the variety is affine and then use the fact that a Noetherian integrally closed domain is the intersection of all the localizations at height-one prime ideals.
  11. ^ Mumford, Ch. I, § 8. Theorems 2, 3.
  12. ^ Fulton, Example 18.3.9.