0
$\begingroup$

Let $R$ be a Noetherian local ring with maximal ideal $I$.

Suppose we have a morphism of smooth $R$-algebras $f : A\to B$ such that its reduction modulo $I^n$

$$f_n : A/I^n \to B/I^n$$

is an isomorphism for all $n\ge 1$. What can we say about $f$? Is $f$ smooth?

$\endgroup$

1 Answer 1

3
$\begingroup$

No. Take for $R$ a discrete valuation ring with fraction field $K$, and for $f$ any non-smooth morphism of smooth $K$-algebras (viewed as a morphism of $R$-algebras).

$\endgroup$

Your Answer

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