Normal crossing singularity explained

In algebraic geometry a normal crossing singularity is a singularity similar to a union of coordinate hyperplanes. The term can be confusing because normal crossing singularities are not usually normal schemes (in the sense of the local rings being integrally closed).

Normal crossing divisors

In algebraic geometry, normal crossing divisors are a class of divisors which generalize the smooth divisors. Intuitively they cross only in a transversal way.

Let A be an algebraic variety, and

Z=cupiZi

a reduced Cartier divisor, with

Zi

its irreducible components. Then Z is called a smooth normal crossing divisor if either

(i) A is a curve, or

(ii) all

Zi

are smooth, and for each component

Zk

,

(Z-Zk)|

Zk
is a smooth normal crossing divisor.

Equivalently, one says that a reduced divisor has normal crossings if each point étale locally looks like the intersection of coordinate hyperplanes.

Normal crossing singularity

In algebraic geometry a normal crossings singularity is a point in an algebraic variety that is locally isomorphic to a normal crossings divisor.

Simple normal crossing singularity

In algebraic geometry a simple normal crossings singularity is a point in an algebraic variety, the latter having smooth irreducible components, that is locally isomorphic to a normal crossings divisor.

Examples

xy=0

is a simple normal crossings singularity. The variety itself, seen as a subvariety of the two-dimensional affine plane is an example of a normal crossings divisor.

f,g\inC[x0,\ldots,x3]

be irreducible polynomials defining smooth hypersurfaces such that the ideal

(f,g)

defines a smooth curve. Then

Proj(C[x0,\ldots,x3]/(fg))

is a surface with normal crossing singularities.

References