2
$\begingroup$

Let $A$, $B$ two smooth $R$-algebras of finite type for a artinian local ring $R$.

Let $I$ an ideal such that $I^{2}=0$ and $\bar{R}=R/I$.

We assume that the map $Spec B/IB\rightarrow Spec A/IA$ is smooth,

do we have that $ Spec(B)\rightarrow Spec(A)$ is smooth?

Improve this question
$\endgroup$

1 Answer 1

Reset to default
4
$\begingroup$

Under your assumptions, "smooth" is equivalent to "flat with smooth fibers". So the only problem is flatness. Use the flatness criterion by fibers (EGA IV, 11.3.10).

Improve this answer
$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .