Liftings of smooth algebras and of their morphisms (Q5956904)

Summary: Let \(R\) be a commutative ring and let \(I\) be any ideal of \(R\), put \(\bar R := R/I\). We prove that for any smooth \(\bar R\)-algebra \(\bar A\) there exist a smooth \(R\)-algebra \(A\) such that \(\bar A\) is isomorphic to \(\bar R\otimes_R A\). We also show that for any morphism of smooth \(\bar R\)-algebras \(\bar a: \bar A \rightarrow \bar B\), there exist a morphism of smooth \(R\)-algebras \(a: A \rightarrow B \) such that \( {\mathbf 1} \otimes a : \bar R \otimes A \rightarrow \bar R \otimes B\) is isomorphic to \(\bar a : \bar A \rightarrow \bar B\). As a corollary, when \(R\) is Noetherian, we show that for any smooth \(\bar R\)-algebra \(\bar A\) there exist a very smooth weakly complete algebra \(A^\dagger \) over \(R\) such that \(\bar R\otimes A^\dagger \) is isomorphic to \(\bar A\).