zero locus (changes) in nLab

Showing changes from revision #7 to #8: Added | Removed | Changed

Contents

Idea

The zero locus or vanishing locus of a function is the set of points where it vanishes, in that it takes the value zero.

Definition

For f:X→𝔸f \colon X \to \mathbb{A} a function, its zero locus is the preimage f −1(0)f^{-1}(0) of zero, hence the level set at 0.

Properties

Nullstellensatz

Hilbert’s Nullstellensatz (German: “zero locus theorem”) characterizes joint zero loci of ideals of functions in a polynomial ring.

Related concepts

• quadratic formula

• critical locus, derived critical locus

• moment map, Hamiltonian

• zero-set structure