Liftings of smooth algebras and of their morphisms (Q5956904)

From MaRDI portal
Revision as of 23:48, 4 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
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
    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

    Identifiers