Normal scheme

Last updated

In algebraic geometry, an algebraic variety or scheme X is normal if it is normal at every point, meaning that the local ring at the point is an integrally closed domain. An affine variety X (understood to be irreducible) is normal if and only if the ring O(X) of regular functions on X is an integrally closed domain. A variety X over a field is normal if and only if every finite birational morphism from any variety Y to X is an isomorphism.

Contents

Normal varieties were introduced by Zariski  ( 1939 ,section III).

Geometric and algebraic interpretations of normality

A morphism of varieties is finite if the inverse image of every point is finite and the morphism is proper. A morphism of varieties is birational if it restricts to an isomorphism between dense open subsets. So, for example, the cuspidal cubic curve X in the affine plane A2 defined by x2 = y3 is not normal, because there is a finite birational morphism A1X (namely, t maps to (t3, t2)) which is not an isomorphism. By contrast, the affine line A1 is normal: it cannot be simplified any further by finite birational morphisms.

A normal complex variety X has the property, when viewed as a stratified space using the classical topology, that every link is connected. Equivalently, every complex point x has arbitrarily small neighborhoods U such that U minus the singular set of X is connected. For example, it follows that the nodal cubic curve X in the figure, defined by y2 = x2(x + 1), is not normal. This also follows from the definition of normality, since there is a finite birational morphism from A1 to X which is not an isomorphism; it sends two points of A1 to the same point in X.

Curve y = x (x + 1) Newtonsche Knoten.png
Curve y = x (x + 1)

More generally, a scheme X is normal if each of its local rings

OX,x

is an integrally closed domain. That is, each of these rings is an integral domain R, and every ring S with RS ⊆ Frac(R) such that S is finitely generated as an R-module is equal to R. (Here Frac(R) denotes the field of fractions of R.) This is a direct translation, in terms of local rings, of the geometric condition that every finite birational morphism to X is an isomorphism.

An older notion is that a subvariety X of projective space is linearly normal if the linear system giving the embedding is complete. Equivalently, XPn is not the linear projection of an embedding XPn+1 (unless X is contained in a hyperplane Pn). This is the meaning of "normal" in the phrases rational normal curve and rational normal scroll.

Every regular scheme is normal. Conversely, Zariski (1939 , theorem 11) showed that every normal variety is regular outside a subset of codimension at least 2, and a similar result is true for schemes. [1] So, for example, every normal curve is regular.

The normalization

Any reduced scheme X has a unique normalization: a normal scheme Y with an integral birational morphism YX. (For X a variety over a field, the morphism YX is finite, which is stronger than "integral". [2] ) The normalization of a scheme of dimension 1 is regular, and the normalization of a scheme of dimension 2 has only isolated singularities. Normalization is not usually used for resolution of singularities for schemes of higher dimension.

To define the normalization, first suppose that X is an irreducible reduced scheme X. Every affine open subset of X has the form Spec R with R an integral domain. Write X as a union of affine open subsets Spec Ai. Let Bi be the integral closure of Ai in its fraction field. Then the normalization of X is defined by gluing together the affine schemes Spec Bi.

If the initial scheme is not irreducible, the normalization is defined to be the disjoint union of the normalizations of the irreducible components.

Examples

Normalization of a cusp

Consider the affine curve

with the cusp singularity at the origin. Its normalization can be given by the map

induced from the algebra map

Normalization of axes in affine plane

For example,

is not an irreducible scheme since it has two components. Its normalization is given by the scheme morphism

induced from the two quotient maps

Normalization of reducible projective variety

Similarly, for homogeneous irreducible polynomials in a UFD, the normalization of

is given by the morphism

See also

Notes

  1. Eisenbud, D. Commutative Algebra (1995). Springer, Berlin. Theorem 11.5
  2. Eisenbud, D. Commutative Algebra (1995). Springer, Berlin. Corollary 13.13

Related Research Articles

In commutative algebra, the prime spectrum of a commutative ring R is the set of all prime ideals of R, and is usually denoted by ; in algebraic geometry it is simultaneously a topological space equipped with the sheaf of rings .

<span class="mw-page-title-main">Algebraic variety</span> Mathematical object studied in the field of algebraic geometry

Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the set of solutions of a system of polynomial equations over the real or complex numbers. Modern definitions generalize this concept in several different ways, while attempting to preserve the geometric intuition behind the original definition.

<span class="mw-page-title-main">Affine variety</span> Algebraic variety defined within an affine space

In algebraic geometry, an affine algebraic set is the set of the common zeros over an algebraically closed field k of some family of polynomials in the polynomial ring An affine variety or affine algebraic variety, is an affine algebraic set such that the ideal generated by the defining polynomials is prime.

<span class="mw-page-title-main">Projective variety</span>

In algebraic geometry, a projective variety over an algebraically closed field k is a subset of some projective n-space over k that is the zero-locus of some finite family of homogeneous polynomials of n + 1 variables with coefficients in k, that generate a prime ideal, the defining ideal of the variety. Equivalently, an algebraic variety is projective if it can be embedded as a Zariski closed subvariety of .

In mathematics, specifically algebraic geometry, a scheme is a structure that enlarges the notion of algebraic variety in several ways, such as taking account of multiplicities and allowing "varieties" defined over any commutative ring.

In mathematics, a Cohen–Macaulay ring is a commutative ring with some of the algebro-geometric properties of a smooth variety, such as local equidimensionality. Under mild assumptions, a local ring is Cohen–Macaulay exactly when it is a finitely generated free module over a regular local subring. Cohen–Macaulay rings play a central role in commutative algebra: they form a very broad class, and yet they are well understood in many ways.

In mathematics, in particular in the theory of schemes in algebraic geometry, a flat morphismf from a scheme X to a scheme Y is a morphism such that the induced map on every stalk is a flat map of rings, i.e.,

In algebraic geometry, a proper morphism between schemes is an analog of a proper map between complex analytic spaces.

In mathematics, Kähler differentials provide an adaptation of differential forms to arbitrary commutative rings or schemes. The notion was introduced by Erich Kähler in the 1930s. It was adopted as standard in commutative algebra and algebraic geometry somewhat later, once the need was felt to adapt methods from calculus and geometry over the complex numbers to contexts where such methods are not available.

In mathematics, a distinctive feature of algebraic geometry is that some line bundles on a projective variety can be considered "positive", while others are "negative". The most important notion of positivity is that of an ample line bundle, although there are several related classes of line bundles. Roughly speaking, positivity properties of a line bundle are related to having many global sections. Understanding the ample line bundles on a given variety X amounts to understanding the different ways of mapping X into projective space. In view of the correspondence between line bundles and divisors, there is an equivalent notion of an ample divisor.

In algebraic geometry, Proj is a construction analogous to the spectrum-of-a-ring construction of affine schemes, which produces objects with the typical properties of projective spaces and projective varieties. The construction, while not functorial, is a fundamental tool in scheme theory.

In mathematics, in particular the subfield of algebraic geometry, a rational map or rational mapping is a kind of partial function between algebraic varieties. This article uses the convention that varieties are irreducible.

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

In algebraic geometry, a morphism of schemes generalizes a morphism of algebraic varieties just as a scheme generalizes an algebraic variety. It is, by definition, a morphism in the category of schemes.

In the mathematical field of topology, a hyperconnected space or irreducible space is a topological space X that cannot be written as the union of two proper closed subsets. The name irreducible space is preferred in algebraic geometry.

In algebraic geometry, a morphism between schemes is said to be smooth if

In algebraic geometry, the Nisnevich topology, sometimes called the completely decomposed topology, is a Grothendieck topology on the category of schemes which has been used in algebraic K-theory, A¹ homotopy theory, and the theory of motives. It was originally introduced by Yevsey Nisnevich, who was motivated by the theory of adeles.

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 the biregular maps are the isomorphisms of algebraic varieties. Because regular and biregular are very restrictive conditions – there are no non-constant regular functions on projective varieties – the concepts of rational and birational maps are widely used as well; they are partial functions that are defined locally by rational fractions instead of polynomials.

This is a glossary of algebraic geometry.

In algebraic geometry, an affine GIT quotient, or affine geometric invariant theory quotient, of an affine scheme with an action by a group scheme G is the affine scheme , the prime spectrum of the ring of invariants of A, and is denoted by . A GIT quotient is a categorical quotient: any invariant morphism uniquely factors through it.

References