Normal complex space

Remarks

A normal space is reduced, since an integral domain has no nonzero nilpotents.

Example: the cusp $A = \set{z_1^2 = z_2^3} \subseteq \C^2$ is not normal at $0$. Its local ring is isomorphic to $\C\{t^2, t^3\}$ by $z_1 \mapsto t^3$, $z_2 \mapsto t^2$. The element $t = z_1 / z_2$ of the field of fractions satisfies $t^2 - z_2 = 0$, so it is integral, but it does not lie in $\C\{t^2, t^3\}$.

Non-example of another kind: the cross $\set{z_1 z_2 = 0}$ is not normal at $0$, because its local ring has the zero divisors $z_1$ and $z_2$, so it is not a domain.

Example: $\C^n$ is normal, since the ring $\C\{z_1, \dots, z_n\}$ of convergent power series is factorial, and factorial domains are integrally closed.

For a reduced space $X$, there is an equivalent form. The space $X$ is normal if and only if the following holds for every open $U \subseteq X$. Every function on $U$ that is holomorphic on the regular points and locally bounded is holomorphic on $U$.