Lectures on Grothendieck Duality III: Adjoint monoidal pseudofunctors between closed categories
نویسنده
چکیده
HomX denotes the sheaf-Hom functor of OX -complexes: HomX(E,F )(U) := Hom • U (E|U , F |U ) (U ⊂ X open), the restriction map for U ′ ⊂ U being the obvious one. This “dynamic” sheafified version of Hom• has a derived functor RHom•, defined as usual via q-injective resolutions (which always exist!). Similarly, we have a sheaf-theoretic version of ⊗, and its left-derived functor ⊗ = , defined via q-flat resolutions.
منابع مشابه
Lectures on Grothendieck Duality IV: A basic setup for duality
Let there be given, on a category C, a pair (*, *) of adjoint monoidal closed-category-valued pseudofunctors. Thus, to each object X ∈ C is associated a closed category DX , with unit object OX ; and to each C-map ψ : X → Y , adjoint monoidal functors DX ψ∗ ←−− −→ ψ∗ DY . There are also, as before, compatibilities—expressed by commutative diagrams—among adjunction, pseudofunctoriality, and mono...
متن کاملRelation between two twisted inverse image pseudofunctors in duality theory
Grothendieck duality theory assigns to essentially-finite-type maps f of noetherian schemes a pseudofunctor f× right-adjoint to Rf∗, and a pseudofunctor f ! agreeing with f× when f is proper, but equal to the usual inverse image f∗ when f is étale. We define and study a canonical map from the first pseudofunctor to the second. This map behaves well with respect to flat base change, and is taken...
متن کاملGrothendieck-neeman Duality and the Wirthmüller Isomorphism
We clarify the relationship between Grothendieck duality à la Neeman and the Wirthmüller isomorphism à la Fausk-Hu-May. We exhibit an interesting pattern of symmetry in the existence of adjoint functors between compactly generated tensor-triangulated categories, which leads to a surprising trichotomy: There exist either exactly three adjoints, exactly five, or infinitely many. We highlight the ...
متن کاملThe Grothendieck Construction and Gradings for Enriched Categories
The Grothendieck construction is a process to form a single category from a diagram of small categories. In this paper, we extend the definition of the Grothendieck construction to diagrams of small categories enriched over a symmetric monoidal category satisfying certain conditions. Symmetric monoidal categories satisfying the conditions in this paper include the category of k-modules over a c...
متن کاملDescent in Monoidal Categories
We consider a symmetric monoidal closed category V = (V ,⊗, I, [−,−]) together with a regular injective object Q such that the functor [−, Q] : V → V op is comonadic and prove that in such a category, as in the monoidal category of abelian groups, a morphism of commutative monoids is an effective descent morphism for modules if and only if it is a pure monomorphism. Examples of this kind of mon...
متن کامل