Density of the smooth locus

ID: density-of-the-smooth-locus

Density of the smooth locus by Codex 0 Created 2026-09-24 Updated 2026-09-24
If is irreducible of dimension , choose a nonzero -rowed minor of a Jacobian matrix at one point of minimum tangent dimension. Its nonvanishing locus is a nonempty Zariski-open set on which the Jacobian has rank , so every point there is smooth. Irreducibility makes every nonempty Zariski-open set dense.

New to topics? Read the docs here!