# Algebraic variety as a union of nonsingular subvarieties

### Definitions

Let $$M$$ be algebraic variety and let $$I$$ be the defining ideal of $$M$$, that is $$I(M) = \{ f \in K[X_1,...,X_n] \mid \forall x \in M : f(x)=0 \}$$ Let $$f_1,...,f_m$$ be the generators of $$I(M)$$. Let $$J = \frac{\partial(f_1,...,f_m)}{\partial(X_1,...,X_n)}$$ be the Jacobian matrix.

A point $$x \in M$$ in an algebraic variety is called simple if $$\mathrm{rk}J(x)=\mathrm{rk}(J)$$ where rk is the rank of the $$J$$. The notation $$J(x)$$ is the matrix $$J$$ evaluated in $$x \in M$$. Clearly, $$\mathrm{rk}J(x) \le \mathrm{rk}(J)$$.

Let us denoted by $$M^{\mathrm{reg}}$$ the set of all simple points of $$M$$. A non-simple point is called regular. A nonsingular variety is a variety without non-simple points.

### I want to prove the following:

Any algebraic variety $$M$$ is the union of finite number of nonintersecting nonsingular subvarieties. That is, $$M = \biguplus_{i=1}^q M_i$$

### My attempt

If $$M$$ is nonsingular then we won. Therefore assume there are singular (non-simple) points in $$M$$.

Let $$M = N_1 \cup ... \cup N_q$$ be the decomposition of $$M$$ into irreducible components. Take one of the $$M_i$$ to be $$M^{\mathrm{reg}}$$ which is nonsingular. Now I need to add the rest of the singular points such they each is included in a subvariety in which it is simple. Therefore, I somehow need to take the singular points such that each is contained in a single irreducible component and is simple there (but not in $$M$$).

• Can you do it for the variety $xy=0$ in the plane? Jan 11, 2013 at 17:21
• In that case you take the open subvariety $M^{\mathrm{reg}}$ defined by the algebra $K[x,y]_{I(0,0)}$ (by that I mean the localization of $K[x,y]$ by the ideal of functions that vanish at $(0,0)$) and then $M = M^{\mathrm{reg}} \uplus \{ (0,0) \}$. Jan 11, 2013 at 17:26
• Do you know that simple points form an nonempty open set?
– user27126
Jan 11, 2013 at 17:40
• @Sanchez Yes. So if we take $N_i^{\mathrm{reg}} \subset N_i$ then it is dense ($N_i$ is irreducible). But does it imply that $N_i - N_i^{\mathrm{reg}}$ contains finitely many points? If it is true then I take the singleton subvarieties of these points. Jan 11, 2013 at 17:46
• If I understand your hint, let us denote $\mu = \mathrm{rk}(J)$ and $$M_s= \{ x \in M \mid \mathrm{rk}J(x) = s \} \ .$$ Then $M_\mu = M^{\mathrm{reg}}$ and $$M = \biguplus_{s=0}^{\mu} M_s \ .$$ It remains to show that $M^{(s)}$ are indeed subvarieties. Jan 11, 2013 at 17:54

To amplify Sanchez's comment: suppose the ground field is perfect (e.g. algebraically closed or of characteristic $0$). Then $M_0:=M^{reg}$ is open and dense in $M$. So $N_1:=M\setminus M_0$ is a closed subset of $M$ of dimension $\dim N_1 < \dim M$. Endow $N_1$ with the structure of reduced closed subvariety of $M$. Let $$M_1=N_1^{reg}, \quad N_2=N_1\setminus M_1, \quad M_2=N_2^{reg} \dots$$ This sequence stops because $\dim N_{n+1} < \dim N_n$. So $$M = M_0 \cup M_1 \cup ...$$ (finite disjoint union of smooth subvarieties). If you want integral smooth subvarieties, you can replace each $M_i$ by the disjoint union of its connected components.