REVIEW 1 cited by
Grothendieck Duality and Transitivity I: Formal Schemes
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
Signed reviews
abstract
For a proper map $f\colon X\to Y$ of noetherian ordinary schemes, one has a well-known natural transformation, ${\bf L}^*f^*(-)\overset{\bf L}{\otimes} f^!{\mathcal{O}}_Y\to f^!$, obtained via the projection formula, which extends, using Nagata's compactification, to the case where $f$ is separated and of finite type. In this paper we extend this transformation to the situation where $f$ is a pseudo-finite-type map of noetherian formal schemes which is a composite of compactifiable maps, and show it is compatible with the pseudofunctorial structures involved. This natural transformation has implications for the abstract theory of residues and traces, giving Fubini type results for iterated maps. These abstractions are rendered concrete in a sequel to this paper.
Forward citations
Cited by 1 Pith paper
-
Grothendieck Duality theories -- abstract and concrete, I: pseudo-coherent finite maps
For pseudo-coherent finite maps of schemes, this preprint proves the concrete dualizing pseudofunctor f^♭ is isomorphic to the abstract f^!, and gives explicit comparisons for tensor, Hom, and Koszul-regular immersions.
Discussion (0). Continue with ORCID to comment.