For pseudo-coherent finite maps of schemes, this preprint proves the concrete dualizing pseudofunctor f^♭ is isomorphic to the abstract f^!, and gives explicit comparisons for tensor, Hom, and Koszul-regular immersions.
Derivator Six-Functor-Formalisms -- Construction II
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
abstract
Starting from simple and necessary axioms on a (derivator enhanced) four-functor-formalism, we construct derivator six-functor-formalisms using compactifications. This works, for instance, for the stable homotopy categories of Morel-Voevodsky-Ayoub, and also for the classical setting of unbounded complexes of sheaves of Abelian groups on `nice' topological spaces. The formalism of derivator six-functor-formalisms elegantly encodes all isomorphisms between compositions of the six functors (and their compatibilities) and moreover it gives coherent enhancements over diagrams of correspondences. Such a formalism allows to extend six-functor-formalisms to stacks using (co)homological descent.
fields
math.AG 1years
2019 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Grothendieck Duality theories -- abstract and concrete, I: pseudo-coherent finite maps
For pseudo-coherent finite maps of schemes, this preprint proves the concrete dualizing pseudofunctor f^♭ is isomorphic to the abstract f^!, and gives explicit comparisons for tensor, Hom, and Koszul-regular immersions.