Liftings of smooth algebras and of their morphisms (Q5956904)
From MaRDI portal
scientific article; zbMATH DE number 1713734
Language | Label | Description | Also known as |
---|---|---|---|
English | Liftings of smooth algebras and of their morphisms |
scientific article; zbMATH DE number 1713734 |
Statements
Liftings of smooth algebras and of their morphisms (English)
0 references
2001
0 references
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\).
0 references
very smooth algebra
0 references
Monsky-Washnitzer cohomology
0 references