Related papers: Grothendieck duality for non-proper morphisms

Grothendieck duality theory assigns to essentially-finite-type maps f of noetherian schemes a pseudofunctor f^\times right-adjoint to Rf_*, and a pseudofunctor f^! agreeing with f^\times when f is proper, but equal to the usual inverse…

We clarify the relationship between Grothendieck duality \`a la Neeman and the Wirthm\"uller isomorphism \`a la Fausk-Hu-May. We exhibit an interesting pattern of symmetry in the existence of adjoint functors between compactly generated…

Grothendieck Duality -- the theory of the twisted inverse image pseudofunctor (-)^! over a suitable category of scheme-maps -- can be developed concretely, with emphasis on explicit constructions, or abstractly, with emphasis on…

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…

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…

For a map f: X -> Y of quasi-compact quasi-separated schemes, we discuss quasi-perfection, that is, the right adjoint f^\times of the derived functor Rf_* respects small direct sums. This is equivalent to the existence of a functorial…

We relate the variance theory for Cousin complexes -^# developed by Lipman, Nayak and the author to Grothendieck duality for Cousin complexes. Specifically for a Cousin complex F on (Y, \Delta)--with \Delta a codimension function on a…

Let $f \colon X \to Y$ be a morphism of concentrated schemes. We characterize $f$-perfect complexes $\mathcal{E}$ as those such that the functor $\mathcal{E} \otimes^{\mathbf{L}}_X \mathbf{L} f^*-$ preserves bounded complexes. We prove, as…

Contraherent cosheaves are globalizations of contraadjusted or cotorsion modules over commutative rings obtained by gluing together over a scheme, with the colocalization functors $\operatorname{Hom}_R(S,{-})$ used for the gluing (where $S$…

We prove a sheaf-theoretic derived-category generalization of Greenlees-May duality (a far-reaching generalization of Grothendieck's local duality theorem): for a quasi-compact separated scheme X and a "proregular" subscheme Z---for…

Let $k$ be a regular ring, and let $A,B$ be essentially finite type $k$-algebras. For any functor $F:{D}(A)\times\dots\times{D}(A)\to{D}(B)$ between their derived categories, we define its twist…

Following a formula found in the paper of Avramov, Iyengar, Lipman, and Nayak (2010) and ideas of Neeman and Khusyairi, we indicate that Grothendieck duality for finite tor-amplitude maps can be developed from scratch via the formula $f^!…

We provide a characterization of finite \'etale morphisms in tensor triangular geometry. They are precisely those functors which have a conservative right adjoint, satisfy Grothendieck--Neeman duality, and for which the relative dualizing…

Adjunctions of two variables generalize the relationship between tensor product and the internal hom functor in a closed monoidal category. For a pair of ordinary adjunctions $(F\dashv U, F'\dashv U')$ conjugation relates natural…

For topological spaces $X$ and $Y$, a (not necessarily continuous) function $f:X \rightarrow Y$ naturally induces a functor from the category of closed subsets of $X$ (with morphisms given by inclusions) to the category of closed subsets of…

Let R be a commutative Noetherian ring. We introduce the notion of colocalization functors with supports in arbitrary subsets of Spec R, which is a natural generalization of right derived functors of section functors with supports in…

Let X_1 and X_2 be schemes of finite type over a field of characteristic 0. Let Q be an object in the category D-mod(X_1\times X_2) and consider the functor F:D-mod(X_1)->Dmod(X_2) defined by Q. Assume that F admits a right adjoint also…

The notions of $\mathbb Q$-Gorenstein scheme and of $\mathbb Q$-Gorenstein morphism are introduced for locally Noetherian schemes by dualizing complexes and (relative) canonical sheaves. These cover all the previously known notions of…

We study topological properties of the correspondence of prime spectra associated to a noncommutative ring homomorphism R -> S. Our main result provides criteria for the adjointness of certain functors between the categories of Zariski…

We construct a canonical pseudofunctor ^# on the category of finite-type maps of (say) connected noetherian universally catenary finite-dimensional separated schemes, taking values in the category of Cousin complexes. This pseudofunctor is…