Relative perfect complexes

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

Abstract: Let

f c o l o n X o Y

be a morphism of concentrated schemes. We characterize

f

-perfect complexes

m a t h c a l E

as those such that the functor

m a t h c a l E o t i m e s_{X}^{m a t h b f L} m a t h b f L f^{*} -

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.

Review text

A first notion of a relative complex was developed by \textit{P. Berthelot} (ed.) et al. [Séminaire de géométrie algébrique du Bois Marie 1966/67, SGA 6.Dirigé par P. Berthelot, A. Grothendieck et L. Illusie, Avec la collaboration de D. Ferrand, J. P. Jouanolou, O. Jussilia, S. Kleiman, M. Raynaud et J. P. Serre. Théorie des intersections et théorème de Riemann-Roch. Springer, Cham (1971; Zbl 0218.14001)], but the condition is difficult to check in practice. In the present paper the authors give an equivalent characterization of relative perfect complex with respect to a morphism \(f\colon X\rightarrow Y\) between quasi-compact and quasi-separated schemes. Namely, a complex \(\mathcal{E}\in {\boldsymbol{\mathsf{D}}}_{\mathsf{qc}} (X)\) is relatively perfect with respect to \(f\), or \(f\)-perfect for short, if \(\mathcal{E }\) is pseudo-coherent and has the further property that \(\mathcal{E}\otimes_Y^{\boldsymbol{\mathsf{L}}}\boldsymbol{\mathsf{L}}f^*M\) remains bounded for any \(\mathcal{M}\) bounded quasi-coherent complex on \(Y\). Several useful characterizations follow very naturally from this definition. The authors prove that it agrees with the classical notion in Grothendieck's seminar SGA6. The main result in the paper (Theorem 4.3 and its corollary) states that a quasi-proper morphism \(f\) has finite flat dimension if and only if the right derived direct image functor \({\boldsymbol{\mathsf{R}}}f_*\) preserves perfect complexes. Notice that a quasi-proper map between Noetherian schemes is just a proper map. As a consequence of this result the authors generalize both the semi-continuity and Grauert's Theorem in two senses. First, the Noetherian hypothesis, needed in the previous approach, is removed. Second, using and alternative definition of the derived fiber it is possible to bypass the flatness condition on the sheaf involved. In a final section the authors show how to obtain a bivariant theory out of the Grothendieck group of perfect complexes. The axioms of a bivariant theory follow in a rather straightforward way from the general properties of \(f\)-perfect complexes developed in previous sections of the paper.

Recommendations

Cites work

Cited in

(5)

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)