Smooth Formal Embeddings and the Residue Complex

Details Smooth Formal Embeddings and the Residue Complex Smooth Formal Embeddings and the Residue Complex

1995-10-05

arxiv.org/abs/alg-geom/9510007v4

Mathematics

Algebraic Geometry

33 pages, AMSLaTeX, final version (some corrections, section on D-modules omitted), to appear in Canadian Math. J

Scientific paper

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}.

Affiliated with

Also associated with

No associations

Rating

Smooth Formal Embeddings and the Residue Complex does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Smooth Formal Embeddings and the Residue Complex, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Smooth Formal Embeddings and the Residue Complex will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-468828