Infinitesimal Lifting and Jacobi Criterion for Smoothness on Formal Schemes
Infinitesimal Lifting and Jacobi Criterion for Smoothness on Formal Schemes
This a first step to develop a theory of smooth, étale, and unramified morphisms between Noetherian formal schemes. Our main tool is the complete module of differentials, which is, a coherent sheaf whenever the map of formal schemes is of pseudofinite type. Among our results, we show that these infinitesimal …