Smooth Formal Embeddings and the Residue Complex

DOI10.4153/CJM-1998-046-1MaRDI QIDQ4213974zbMATH OpenFDO

Authors Amnon Yekutieli

Publication date 15 March 2000

Published in Canadian Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/alg-geom/9510007

zbMATH Keywords

De Rham cohomologyGrothendieck dualityGrothendieck residue complexsmooth formal embedding

Mathematics Subject Classification ID

Local cohomology and algebraic geometry (14B15) Formal neighborhoods in algebraic geometry (14B20) Embeddings in algebraic geometry (14E25) de Rham cohomology and algebraic geometry (14F40) Residues for several complex variables (32A27)

Abstract: Let pi : X -> S be a finite type morphism of noetherian schemes. A smooth formal embedding of X (over S) is a bijective closed immersion X -> frak{X}, where frak{X} is a noetherian formal scheme, formally smooth over S. An example of such an embedding is the formal completion frak{X} = Y_{/X} where X subset Y is an algebraic embedding. Smooth formal embeddings can be used to calculate algebraic De Rham (co)homology. Our main application is an explicit construction of the Grothendieck residue complex when S is a regular scheme. By definition the residue complex is the Cousin complex of pi^{!} cal{O}_{S}. We start with Huang's theory of pseudofunctors on modules with 0-dimensional support, which provides a graded sheaf cal{K}^{.}_{X/S}. We then use smooth formal embeddings to obtain the coboundary operator on cal{K}^{.}_{X / S}. We exhibit a canonical isomorphism between the complex (cal{K}^{.}_{X/S}, delta) and the residue complex of Grothendieck. When pi is equidimensional of dimension n and generically smooth we show that H^{-n} cal{K}^{.}_{X/S} is canonically isomorphic to the sheaf of regular differentials of Kunz-Waldi. Another issue we discuss is Grothendieck Duality on a noetherian formal scheme frak{X}. Our results on duality are used in the construction of cal{K}^{.}_{X/S}.

Recommendations

• scientific article; zbMATH DE number 885321
• scientific article; zbMATH DE number 206018
• Der Residuenkomplex in der lokalen algebraischen und analytischen Geometrie. (The residue complex in local algebraic and analytic geometry)

Cited in

(22)

• Local structure theorems for smooth maps of formal schemes
• Tensor product of dualizing complexes over a field
• Embedding smooth and formal diffeomorphisms through the Jordan-Chevalley decomposition
• Injective DG-modules over non-positive DG-rings
• Residues and differential operators on schemes
• On the homology of completion and torsion
• Completion and torsion over commutative DG rings
• On global deformation quantization in the algebraic case
• Applications of duality theory to Cousin complexes
• Dedualizing complexes and MGM duality
• Cohomology of projective space seen by residual complex
• Infinitesimal Lifting and Jacobi Criterion for Smoothness on Formal Schemes
• Rigid complexes via DG algebras
• scientific article; zbMATH DE number 4051791 (Why is no real title available?)
• Some remarks on Beilinson adeles
• The Action of Adeles on the Residue Complex
• Triangulated Matlis equivalence
• scientific article; zbMATH DE number 206018 (Why is no real title available?)
• Cohomologically Cofinite Complexes
• Rigid dualizing complexes over commutative rings
• Deformation of formal schemes through local homology
• Basic deformation theory of smooth formal schemes

This page was built for publication: Smooth Formal Embeddings and the Residue Complex

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