Relative perfect complexes

DOI10.1007/S00209-023-03294-7MaRDI QIDQ6160246zbMATH OpenOpenAlexFDO

Authors Leovigildo Alonso-Tarrío, Ana Jeremías López, Fernando Sancho de Salas

Publication date 23 June 2023

Published in Mathematische Zeitschrift (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

quasi-compact/separate schemerelative (perfect) complex

Mathematics Subject Classification ID

Derived categories of sheaves, dg categories, and related constructions in algebraic geometry (14F08) Derived categories, triangulated categories (18G80)

Abstract: Let $fcolonXoY$ be a morphism of concentrated schemes. We characterize $f$-perfect complexes $mathcalE$ as those such that the functor $mathcalEotime{s}_X^{mathbfL}mathbfL{f}^{\ast }-$ preserves bounded complexes. We prove, as a consequence, that a quasi-proper morphism takes relative perfect complexes into perfect ones. We obtain a generalized version of the semicontinuity theorem of dimension of cohomology and Grauert's base change of the fibers. Finally, a bivariant theory of the Grothendieck group of perfect complexes is developed.

Recommendations

• Quasi-perfect scheme-maps and boundedness of the twisted inverse image functor
• scientific article; zbMATH DE number 3882560
• Reflexivity and rigidity for complexes. II: Schemes
• Moduli of complexes on a proper morphism
• scientific article; zbMATH DE number 4208241

Cites work

• A Brown representability theorem via coherent functors
• Categorical framework for the study of singular spaces
• Ein Descente-Lemma und Grothendiecks Projektionssatz für nichtnoethersche Schemata
• Foundations of Grothendieck Duality for Diagrams of Schemes
• Fourier--Mukai transforms for Gorenstein schemes
• scientific article; zbMATH DE number 4208241 (Why is no real title available?)
• scientific article; zbMATH DE number 3897078 (Why is no real title available?)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 595200 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• scientific article; zbMATH DE number 2069670 (Why is no real title available?)
• scientific article; zbMATH DE number 3322751 (Why is no real title available?)
• scientific article; zbMATH DE number 3353452 (Why is no real title available?)
• scientific article; zbMATH DE number 3363720 (Why is no real title available?)
• scientific article; zbMATH DE number 3363721 (Why is no real title available?)
• scientific article; zbMATH DE number 3380751 (Why is no real title available?)
• K-theory of complexes and applications
• Local homology and cohomology on schemes
• Moduli of complexes on a proper morphism
• Quasi-perfect scheme-maps and boundedness of the twisted inverse image functor
• Relative integral functors for singular fibrations and singular partners
• The connection between the K-theory localization theorem of Thomason, Trobaugh and Yao and the smashing subcategories of Bousfield and Ravenel
• The derived category of quasi-coherent sheaves and axiomatic stable homotopy
• The Grothendieck duality theorem via Bousfield’s techniques and Brown representability
• Triangulated categories

Cited in

(5)

• On the perfection of schemes
• Quasi-perfect scheme-maps and boundedness of the twisted inverse image functor
• Bivariance, Grothendieck duality and Hochschild homology. II: The fundamental class of a flat scheme-map
• Relative systoles of relative-essential 2-complexes
• Reflexivity and rigidity for complexes. II: Schemes

This page was built for publication: Relative perfect complexes

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