Local structure theorems for smooth maps of formal schemes

DOI10.1016/J.JPAA.2008.12.006MaRDI QIDQ1013112zbMATH OpenOpenAlexFDO

Authors Leovigildo Alonso-Tarrío, Ana Jeremías López, Marta Pérez Rodríguez

Publication date 16 April 2009

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0605115

zbMATH Keywords

formal schemesmooth mapsétale morphisms

Mathematics Subject Classification ID

Infinitesimal methods in algebraic geometry (14B10) Formal neighborhoods in algebraic geometry (14B20)

Abstract: We continue our study on infinitesimal lifting properties of maps between locally noetherian formal schemes started in math.AG/0604241. In this paper, we focus on some properties which arise specifically in the formal context. In this vein, we make a detailed study of the relationship between the infinitesimal 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. Among our main results, we obtain the characterization of completion morphisms as pseudo-closed immersions that are flat. Also, the local structure of smooth and etale morphisms between locally noetherian formal schemes is described: the former factors locally as a completion morphism followed by a smooth adic morphism and the latter as a completion morphism followed by an etale adic morphism.

Review text

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.

Recommendations

• Infinitesimal Lifting and Jacobi Criterion for Smoothness on Formal Schemes
• scientific article; zbMATH DE number 3961809
• scientific article; zbMATH DE number 3979204
• Deformation of formal schemes through local homology
• A structure theorem on formally smooth morphisms in positive characteristic

Cites work

• Basic deformation theory of smooth formal schemes
• Duality and flat base change on formal schemes
• scientific article; zbMATH DE number 3973001 (Why is no real title available?)
• scientific article; zbMATH DE number 42070 (Why is no real title available?)
• scientific article; zbMATH DE number 1390047 (Why is no real title available?)
• scientific article; zbMATH DE number 2202902 (Why is no real title available?)
• scientific article; zbMATH DE number 3322751 (Why is no real title available?)
• scientific article; zbMATH DE number 3334305 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Infinitesimal Lifting and Jacobi Criterion for Smoothness on Formal Schemes
• Introduction to Grothendieck duality theory
• On the De Rham cohomology of algebraic varieties
• Smooth Formal Embeddings and the Residue Complex
• Éléments de géométrie algébrique. III: Étude cohomologique des faisceaux cohérents. (Séconde partie). Rédigé avec la colloboration de J. Dieudonné
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas (Quatrième partie). Rédigé avec la colloboration de J. Dieudonné
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas. (Première partie). Rédigé avec la colloboration de J. Dieudonné

Cited in

(7)

• On the decomposition of the De Rham complex on formal schemes
• Infinitesimal Lifting and Jacobi Criterion for Smoothness on Formal Schemes
• Smoothable locally non Cohen-Macaulay multiple structures on curves
• The Local Structure of Arc Schemes
• scientific article; zbMATH DE number 7688342 (Why is no real title available?)
• Deformation of formal schemes through local homology
• Basic deformation theory of smooth formal schemes

This page was built for publication: Local structure theorems for smooth maps of formal schemes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1013112)