Local structure theorems for smooth maps of formal schemes (Q1013112)

In their article ``Infinitesimal Lifting and Jacobi Criterion for Smoothness on Formal Schemes'' [Commun. Algebra 35 (4), 1341--1367 (2007; Zbl 1124.14006)], the authors adapted the theory of smooth morphisms to the case of noetherian formal schemes based on properties of the completion of the module of Kähler differentials. In particular the property of formal smoothness in terms of the infinitesimal liftings of maps in the category of algebraic schemes was described. It was proved that smooth morphisms of noetherian formal schemes are flat and the associated module of differentials is locally free. In this paper a detailed study of the relationship between the infinitesial lifting properties of a morphism of formal schemes and those of the corresponding maps of usual schemes associated to the directed systems that define the corresponding formal schemes is made. A characterization of completion morphisms as pseudo--closed immersions that are flat is given. The local structure of smooth and étale morphisms between locally noetherian formal schemes is described.