2019/03/05 by Suresh Nayak, Nayak, Suresh, Pramathanath Sastry +1 · 1 citation
Mathematics · #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #Algebraic structures and combinatorial models #Commutative Algebra (math.AC) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology
paper · pdf · doi:10.48550/arxiv.1903.01779
openalex publication_date 2019/03/05 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
For a proper map f\colon X→ Y of noetherian ordinary schemes, one has a well-known natural transformation, \bf L^*f^*(-)\overset\bf L⊗ f^!OY→ 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.