Pasting pseudofunctors
Suresh Nayak
Abstract
We give an abstract criterion for pasting pseudofunctors on two subcategories of a category into a pseudofunctor on the whole category. As an application we extend the variance theory of the twisted inverse image (-)! over schemes to that over formal schemes. Thus we show that over composites of compactifiable maps of noetherian formal schemes, there is a pseudofunctor (-)! such that if f is a pseudoproper map, then f! is the right adjoint to the derived direct image f* and if f is etale, then f! is the inverse image f*. We also show that (-)! is compatible with flat base change.
Create a lesson
Related papers
Cominuscule Richardson varieties
Anders Skovsted Buch
Generalized Bogomolov--Gieseker inequalities via Frobenius
Chunyi Li, Zhiyu Liu, Alexander Perry et al.
Separating components of real algebraic varieties by cohomological invariants
Olivier Benoist, Samuel Lerbet
Irrational families of Fano weighted complete intersection fourfolds
Jiaji Cai, Andrew Harder, Sukjoo Lee
Remarks on the monodromy conjecture for symmetric determinantal hypersurfaces
Renjie Lyu, Xiping Zhang
Lifting Prym Divisors on a Bielliptic Loop of Loops
Phew Aung, Eric Burkholder, Joan Dalton et al.