Normal scheme
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. Normal varieties were introduced by Zariski.
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.[1] 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.[citation needed] 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.[citation needed]
Normal varieties were introduced by Zariski.[2]
Geometric and algebraic interpretations of normality
[edit]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 A1 → X (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.
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 R ⊆ S ⊆ 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. For instance, in the case of the nodal cubic X in the figure, the local ring is not integrally closed in its field of fractions, since y/x is integral over A but is not in A. Therefore X is not normal at the point (0,0).[3]
![{\displaystyle A=\left(k[x,y]/(y^{2}-x^{2}(x+1))\right)_{(x,y)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ecc3d8fce8672c3c60fb918f414d9b1df429cfe)
An older notion is that a subvariety X of projective space is linearly normal if the linear system giving the embedding is complete. Equivalently, X ⊆ Pn is not the linear projection of an embedding X ⊆ Pn+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 showed that every normal variety is regular outside a subset of codimension at least 2, and a similar result is true for schemes.[4][5] So, for example, every normal curve is regular.
The normalization
[edit]Any reduced scheme X has a unique normalization: a normal scheme Y with an integral birational morphism Y → X. (For X a variety over a field, the morphism Y → X is finite, which is stronger than "integral".[6]) 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
[edit]Normalization of a cusp
[edit]Consider the affine curve
![{\displaystyle C={\text{Spec}}\left({\frac {k[x,y]}{y^{2}-x^{5}}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/911a5814713125113003a841c21d5db37e3e058c)
with the cusp singularity at the origin. Its normalization can be given by the map
![{\displaystyle {\text{Spec}}(k[t])\to C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eded942983b505e5335234195d66151f5d439206)
induced from the algebra map
Normalization of axes in affine plane
[edit]For example,
![{\displaystyle X={\text{Spec}}(\mathbb {C} [x,y]/(xy))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/14d237b10494d0c4f6e27c5cf076d49147557900)
is not an irreducible scheme since it has two components. Its normalization is given by the scheme morphism
![{\displaystyle {\text{Spec}}(\mathbb {C} [x,y]/(x)\times \mathbb {C} [x,y]/(y))\to {\text{Spec}}(\mathbb {C} [x,y]/(xy))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/888da3a9b24086f646224774dbf14ba6c4c6e644)
induced from the two quotient maps
![{\displaystyle \mathbb {C} [x,y]/(xy)\to \mathbb {C} [x,y]/(x,xy)=\mathbb {C} [x,y]/(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/03ffe6d0c0c59c546c502a64abee433741e46cbb)
![{\displaystyle \mathbb {C} [x,y]/(xy)\to \mathbb {C} [x,y]/(y,xy)=\mathbb {C} [x,y]/(y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/389c0fcd9a81de6f13b44e088a834573217d26ac)
Normalization of reducible projective variety
[edit]Similarly, for homogeneous irreducible polynomials in a UFD, the normalization of
![{\displaystyle {\text{Proj}}\left({\frac {k[x_{0},\ldots ,x_{n}]}{(f_{1}\cdots f_{k},g)}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e722fff2f8e78abf0854bda871835d738620b52)
is given by the morphism
![{\displaystyle {\text{Proj}}\left(\prod {\frac {k[x_{0}\ldots ,x_{n}]}{(f_{i},g)}}\right)\to {\text{Proj}}\left({\frac {k[x_{0},\ldots ,x_{n}]}{(f_{1}\cdots f_{k},g)}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/65e4c0469a45a6ebd2c9105760c52028cf8cfd29)
See also
[edit]Notes
[edit]- ^ Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157 p. 91
- ^ Zariski, Oscar (1939), "Some Results in the Arithmetic Theory of Algebraic Varieties.", Amer. J. Math., 61 (2): 249–294, doi:10.2307/2371499, JSTOR 2371499, MR 1507376 section III
- ^ Eisenbud, D. Commutative Algebra (1995). Springer, Berlin. Section 4.3
- ^ Zariski, Oscar (1939), "Some Results in the Arithmetic Theory of Algebraic Varieties.", Amer. J. Math., 61 (2): 249–294, doi:10.2307/2371499, JSTOR 2371499, MR 1507376 theorem 11
- ^ Eisenbud, D. Commutative Algebra (1995). Springer, Berlin. Theorem 11.5
- ^ Eisenbud, D. Commutative Algebra (1995). Springer, Berlin. Corollary 13.13
References
[edit]- Eisenbud, David (1995), Commutative algebra. With a view toward algebraic geometry., Graduate Texts in Mathematics, vol. 150, Berlin, New York: Springer-Verlag, doi:10.1007/978-1-4612-5350-1, ISBN 978-0-387-94268-1, MR 1322960
- Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157, p. 91
- Zariski, Oscar (1939), "Some Results in the Arithmetic Theory of Algebraic Varieties.", Amer. J. Math., 61 (2): 249–294, doi:10.2307/2371499, JSTOR 2371499, MR 1507376
| National | |
|---|---|
| Other | |
