Let $\pi:C\to D$ be a finite surjective morphism of noetherian integral schemes. Let $x\in C$ be a nonsingular point. Does it follow that $\pi(x)$ is nonsingular?
What if we impose some conditions like normality or regularity?
Let $\pi:C\to D$ be a finite surjective morphism of noetherian integral schemes. Let $x\in C$ be a nonsingular point. Does it follow that $\pi(x)$ is nonsingular?
What if we impose some conditions like normality or regularity?
This does not hold because the normalization of any variety is a finite branched cover of it. So, if you choose a non-smooth (and thus non-normal) curve, you'll get a finite map from its normalization to it that does not send smooth points to smooth points. In order for something like this to work, you need to assume something stronger, e.g. that the map is etale.
(Let me add that you only need flatness to make the conclusion. That is, a flat morphism of noetherian schemes $X \to Y$ sends nonsingular points to nonsingular points. This is a consequence on Serre's characterization of regular local rings as those with finite global dimension. So if $A \to B$ is a local, flat, homomorphism of local noetherian rings, then if $B$ is regular, so is $A$. To see this, let $M$ be any $A$-module, and choose an infinite free resolution $P_\bullet$ of $M$ by finitely generated modules. After tensoring with $B$, we get an infinite free resolution of $M \otimes_A B$, i.e. $P_\bullet \otimes_A B$. The kernel at some point of $P_\bullet \otimes_A B$ will be free because $B$ has finite global dimension. That means the kernel at some point of $P_\bullet $ will be flat, hence free. So $A$ has finite global dimension.)