Let $C$ be a ground locally notherian and quasiprojective scheme. Let $\pi:S\to B$ be a $C$-morphism of finite type $C$-schemes. We call $\pi$ a $C$-smooth morphism if the morphisms $S\to C$ and $B\to C$ are smooth.

My question is (edited by @Ben's comment): Given a $C$-section $\sigma:B \to S$ of $\pi$ and the blow up $b:\tilde S\to S$ of $S$ along $\sigma(B)$, is the morphism $\tilde \pi:= \pi\circ b:\tilde S\to B$ smooth or at least $C$-smooth?

In Intersection theory of W.Fulton there are referents to EGA to see that $\sigma$ is local complete intersection morphism.

I'm asking for some kind of generalization of Theorem 22.3.10 (if $X\to Y$ is a closed embedding of smooth varieties over k, then $Bl_XY$ is smooth) in Vakil's notes to a ground scheme $C$.

  • 1
    $\begingroup$ Take $B=C=\mathrm{Spec}(k)$, $k$ algebraically closed, and e.g. $S=\mathbb{P}^2$. You are asking whether the blow up morphism of a point in $\mathbb{P}^2$ is smooth. I hope you realize this is completely false. $\endgroup$
    – abx
    Commented Sep 21, 2015 at 13:27
  • $\begingroup$ Isn't $\tilde{\pi}$ just the map to $\mathrm{Spec}(k)$ in this case? $\endgroup$ Commented Sep 21, 2015 at 13:37
  • $\begingroup$ Thanks for your coment @abx, I edited my question. I'm sorry. $\endgroup$
    – MonLau
    Commented Sep 21, 2015 at 13:56
  • $\begingroup$ mathoverflow.net/questions/32396/good-reduction-and-blow-ups $\endgroup$ Commented Sep 21, 2015 at 15:45


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.