Let $X$ be a variety over an algebraically closed field with null characteristic. Let $C$ be a smooth subvariety of $X$ of dimension 1, and let $x$ be a point of $C$. We assume that $X$ is analytically irreducible at $x$.


I consider the normalization $X'$ of $X$, and more precisely the morphism $C'\to C$ where $C'$ is the pull back of $C$ in $X'$. I assume that $C'$ is reduced, so that $C'\to C$ is a branched covering. Let $x'$ the unique point of $C'$ lying over $x$ — this point is unique since we assume that $X$ is analytically irreducible at $x$.


**It may happen that $C'$ is not smooth at $x'$. By blowing-up I want to reduce to the situation where $C'$ is smooth.**


Let $Y$ be the blowing-up of $X$ at $x$ ; let $D$ be the strict transform of $C$ in $Y$ ; and $y$ the unique point of $D$ which lies over $x$. As before, consider $Y'$ the normalization of $Y$ and $D'$ the pull-back of $C$ in $Y'$. Note that $D$ is isomorphic to $C$ since $C$ is smooth.


Since $Y'$ is normal, the morphism $Y'\to X$ factors through $X'$, and thus the morphism $D'\to C$ factors through $C'$.
**At least, I would like to prove that the morphism $D'\to C'$ is not an isomorphism if $C'$ is not smooth, so that by repeating the blowup, the curve $D'$ would eventually be smooth.
Ideally, I wish I could prove that $D'\to C'$ is the blow-up at $x'$ of $C'$.**



> 
> 1. Does $D' \simeq C'$ implies that $C'$ is smooth ?
> 2. More precisely, does the morphism $D'\to C'$ factors through the blow-up at $x'$ of 
>  $C'$ ?
> 3. Even more precisely, is $D'\to C'$ **the** blow-up of $C'$ at $x'$ ?
> 4. What if we had the following additional assumptions : $X$ is an hypersurface of a smooth variety of dimension $n+1$, the order of $X$ at $x$ is $n$, and $X$ is generically a normal crossing point or order $n$ along $C$ ?
> 
> 
> 


Any idea, reference, or counter-example is welcome. I'm really stuck at it... Thanks in advance for your help.




---


Example
-------


Consider the variety $X$ defined by the quotient ring $A = k[x,y,t]/(tx^2-(t^2+y)y^2)$. Let $C$ be the smooth curve $V(x, y)$.
The normalization $X'$ of $X$ is given by $A[\frac{t x}{y}]$, which is isomorphic to
$$k[x,y,t,u]/(yu-tx, u^2-t(t^2+y)),$$
with $u\mapsto tx/y$.
The pull back of $C$ in $X'$ is given by $A'/(x,y)A'$, which is $k[t,u]/(u^2-t^3)$. This curve is singular at the origin.


Consider know the blow-up $Y$ of $X$ at the origin. An affine chart containing the strict transform of $C$ is given by $B = A[\frac xt, \frac yt]$, which is isomorphic to
$$k[x\_1,y\_1,t]/(x\_1^2-(t+y\_1)y\_1^2),$$
with $x\_1 \mapsto \frac xt$ and $y\_1 \mapsto \frac yt$. The strict transform $D$ of $C$ is $V(x\_1,y\_1)$. The normalization of $Y$ is given by $B[\frac{x\_1}{y\_1}]$ which is isomorphic to
$$k[x\_1,y\_1,t,v]/(y\_1v-x\_1, v^2-(t+y\_1)).$$
And then, the pull back of $D$ is $Y$ is given by
$$k[t,v]/(v^2-t),$$
which is the blow-up of $C'$ at the origin.



Relation between blowup and normalization
The answer for the four question is **no**, as this example shows.


Consider $X$ the surface defined by $x^2-(t^3+y)y^2 = 0$. Let $A$ denote the associated ring.
Then $X' = \operatorname{Spec} A[\frac xy]$.
The curve $D$ is given by $u^2-t^3$, with $u = \frac xy$.


The blowup (an affine chart of) at the origin of $X$ is given by $\operatorname{Spec} A[\frac xt, \frac yt]$.
Note that
$$ A\left[\frac xt, \frac yt\right] \simeq k[x\_0,y\_0, t]/(x\_0^2-(t^2+y)ty\_0^2), $$
with $x\_0 \to \frac xt$ and $y\_0 \to \frac yt$. Let $B$ denote this ring.
Then $B' = B[\frac{x\_0}{y\_0}] = B[\frac xy]$.
The curve $D'$ is again $u^2-t^3$.
So nothing changed...




---


*Nothing, really ?*


If we repeat the blowup, we obtain the surface $x^2 - t^3 y^2$. And the corresponding $D'$ is smooth. So repeated blowups seem to be necessary to obtain one blowup of $D$.


