Definable functors between triangulated categories with applications to tensor-triangular geometry and representation theory
Isaac Bird,Jordan Williamson
2023-10-13
Abstract:We systematically develop, study, and give applications of definable functors between compactly generated triangulated categories. Such functors preserve pure triangles, pure injective objects, and definable subcategories, and as such appear in a wide range of algebraic and topological settings. The first part of the paper is predominantly theoretical. Firstly we investigate and characterise purity preserving functors from a triangulated category into a finitely accessible category with products, which we term coherent functors. This yields a new property for the restricted Yoneda embedding as the universal coherent functor.
We build upon the utility of coherent functors to provide several equivalent conditions for an additive, not necessarily triangulated, functor between triangulated categories to be definable: a functor is definable if and only if it preserves filtered homology colimits and products, if and only if it uniquely extends along the restricted Yoneda embedding to a definable functor between the corresponding module categories.
In the second part of the paper we give four detailed applications. The first of these investigates functoriality of the homological spectrum along definable functors. This generalises the work of Balmer to incorporate non-triangulated and non-geometric functors. We then turn our attention to functoriality of the Ziegler spectrum, an object of study in pure homological algebra and representation theory, as well as functoriality of the rank functions introduced by Chuang and Lazarev. Our final application investigates when the homology associated to a t-structure is coherent, and we use this to determine the Ziegler spectrum of injective objects in the Grothendieck hearts of certain t-structures.
Category Theory,Algebraic Topology,Representation Theory