Normal Scheme

In mathematics, in the field of algebraic geometry, a normal scheme is a scheme X for which every stalk (local ring)

OX,x

of its structure sheaf OX is an integrally closed local ring; that is, each stalk is an integral domain such that its integral closure in its field of fractions is equal to itself. (An older and unrelated meaning of normal is that a normal variety is a subvariety of projective space such that the linear system giving the embedding is complete: see rational normal surface and rational normal curve for examples.)

An example of a normal scheme is a regular scheme.

Any reduced scheme has a normalization, whose construction we first give for irreducible reduced schemes.

An irreducible and reduced scheme has the property that every affine chart is a domain. Choose an affine cover corresponding to rings . Compute the integral closure of each of these in its fraction field, denote them by . It is not hard to see that one can construct a new scheme by gluing together the affine schemes Spec.

If the initial scheme is not irreducible, one can define the normalization as the disjoint union of the normalizations of the irreducible components. An alternate, equivalent, definition uses integral closures in rings of fractions where any nonzero divisor is allowed in the denominator.

Famous quotes containing the words normal and/or scheme:

    “To try to control a nine-month-old’s clinginess by forcing him away is a mistake, because it counteracts a normal part of the child’s development. To think that the child is clinging to you because he is spoiled is nonsense. Clinginess is not a discipline issue, at least not in the sense of correcting a wrongdoing.”
    —Lawrence Balter (20th century)

    “I have no scheme about it,—no designs on men at all; and, if I had, my mode would be to tempt them with the fruit, and not with the manure. To what end do I lead a simple life at all, pray? That I may teach others to simplify their lives?—and so all our lives be simplified merely, like an algebraic formula? Or not, rather, that I may make use of the ground I have cleared, to live more worthily and profitably?”
    —Henry David Thoreau (1817–1862)