t-Structures with Grothendieck hearts via functor categories

We study when the heart of a t-structure in a triangulated category D\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {D}$$\end{document} with coproducts is AB5 or a Grothendieck category. If D\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {D}$$\end{document} satisfies Brown representability, a t-structure has an AB5 heart with an injective cogenerator and coproduct-preserving associated homological functor if, and only if, the coaisle has a pure-injective t-cogenerating object. If D\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {D}$$\end{document} is standard well generated, such a heart is automatically a Grothendieck category. For compactly generated t-structures (in any ambient triangulated category with coproducts), we prove that the heart is a locally finitely presented Grothendieck category. We use functor categories and the proofs rely on two main ingredients. Firstly, we express the heart of any t-structure in any triangulated category as a Serre quotient of the category of finitely presented additive functors for suitable choices of subcategories of the aisle or the co-aisle that we, respectively, call t-generating or t-cogenerating subcategories. Secondly, we study coproduct-preserving homological functors from D\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {D}$$\end{document} to complete AB5 abelian categories with injective cogenerators and classify them, up to a so-called computational equivalence, in terms of pure-injective objects in D\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {D}$$\end{document}. This allows us to show that any standard well generated triangulated category D\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {D}$$\end{document} possesses a universal such coproduct-preserving homological functor, to develop a purity theory and to prove that pure-injective objects always cogenerate t-structures in such triangulated categories.

gory D with coproducts is AB5 or a Grothendieck category. If D satisfies Brown representability, a t-structure has an AB5 heart with an injective cogenerator and coproduct-preserving associated homological functor if, and only if, the coaisle has a pure-injective t-cogenerating object. If D is standard well generated, such a heart is automatically a Grothendieck category. For compactly generated t-structures (in any ambient triangulated category with coproducts), we prove that the heart is a locally finitely presented Grothendieck category.
We use functor categories and the proofs rely on two main ingredients. Firstly, we express the heart of any t-structure in any triangulated category as a Serre quotient of the category of finitely presented additive functors for suitable choices of subcategories of the aisle or the co-aisle that we, respectively, call t-generating or t-cogenerating subcategories. Secondly, we study coproduct-preserving homological functors from D to complete AB5 abelian categories with injective cogenerators and classify them, up to a so-called computational equivalence, in terms of pure-injective objects in D. This allows us to show that any standard well generated triangulated category D possesses a universal such coproduct-preserving homological functor, to develop a purity theory and to prove that pure-injective objects always cogenerate t-structures in such triangulated categories. The main motivation of this paper is the study of t-structures in triangulated categories with coproducts whose hearts are AB5 abelian or Grothendieck categories. Along the way, we initiate a theory of purity (which is a concept from the model theory of modules over a ring) for not necessarily compactly generated triangulated categories. In this context, purity is very closely related to the study of covariant coproduct-preserving homological functors and representability theorems for them and, at the end of the day, we apply these results to the (co)homological functors induced by t-structures. Our results are mostly independent of any particular model or enhancement for the triangulated categories.

Contents
The problem of identifying the t-structures whose heart is a Grothendieck category has deserved a lot of attention since it first arose for the Happel-Reiten-Smalø t-structure associated to a torsion pair in a Grothendieck or module category [CGM07,CMT11]. For the general question, several strategies have been used to tackle the problem, including ad hoc arguments [PS17,Baz19], functor categories [Bon16,Bon22] and suitable enhancements of the ambient triangulated category, such as stable 8-categories [Lur17,Lur18] or derivators [SŠV17,Lak20].
When the ambient triangulated category is compactly generated, the well-developed theory of purity in this type of categories, initiated in [Kra00], has been also used [Š14,AHMV17,Lak20]. One of the most common strategies here consisted in expressing the heart of a well-behaved t-structure (e.g. compactly generated or smashing) as Gabriel quotient of the category Mod-D c of additive functors pD c q op ÝÑ Ab, where D c is the subcategory of compact objects. A key limitation of this approach so far, which we aim to overcome here, is that it is in contrast to enhancement-based arguments fully dependent on the existence of compact objects-an assumption which may easily fail even for derived categories of sheaves [Nee01a]. Albeit a higher-cardinal generalization of the purity theory has been developed in connection with Verdier quotients and semiorthogonal decompositions of triangulated categories [Nee01b,Kra10], it is not suitable for us (with the exception of Proposition 6.9) for the following reasons: (1) the higher-cardinal version of purity seems not to be well-suited for studying exactness of all direct limits and (2) various arguments about localizations of triangulated categories do not seem to directly generalize to t-structures. Although we do follow the trend of using functor categories in this paper, we do so in a different (and initially much more general) way. We start working in an arbitrary triangulated category D with a t-structure t " pU, Vq and we replace the no longer suitable or even well-defined category Mod-D c by the category mod-X (or mod-X op ) of finitely presented functors X op ÝÑ Ab (or X ÝÑ Ab), for a suitable subcategory X of D that is linked to t. Normally X will be the aisle or the co-aisle of t or a suitable subcategory of them. If D is a triangulated category with products, we can very abstractly define pure-injective objects in D, choose X to be a class of pure-injective objects, and use this approach together with a recent criterion for the AB5 condition given by Positselski and the second-named author [PŠ19] in terms of pure-injectivity. This turns out to be a very efficient strategy to study the AB5 and Grothendieck property of the heart of t. The advantage is that one gets rid of any model enhancing the ambient triangulated category, thus obtaining completely general results.
Let us now describe the contents of the paper, in the course of which the main results will be explained. In Section 2 we introduce most of the concepts and terminology to be used in the paper. Already there we take some care of the results which are crucial for the paper. In particular, we show how to reconstruct an abelian category with enough projectives from its subcategory of projectives, we revisit the notions of localization and Serre quotient functors and we recall criteria for the property of being locally finitely presented to be inherited via Gabriel localization of a Grothendieck category.
In Section 3 we show how the heart of a t-structure appears as Serre quotient of the category mod-U of finitely presented functors U op ÝÑ Ab, where U is the aisle of the t-structure, and give some ideas on how to get rid of degeneracies of t-structures. In Section 4 we go one step further and show that if P is a suitable precovering subcategory of U, then the Serre quotient functor mod-U ÝÑ H, where H is the heart of the t-structure, factors as mod-U res ÝÑ mod-P F ÝÑ H, where F is again a Serre quotient functor. This gives the following first main result of the paper (see Theorem 4.5 for an extended version), that together with its dual give one of our most powerful tools to study the AB5 condition of the heart of a tstructure in a triangulated category with coproducts, although the result is valid for all t-structures in any triangulated category: Theorem 1.1. Let D be a triangulated category and t " pU, Vq be a t-structure with heart H and the associated cohomological functor H 0 t : D ÝÑ H. Let further P Ď U be a precovering subcategory and denote by y P the generalized Yoneda functor y P : U ÝÑ mod-P, U ù Hom U p?, U q |P .
The following assertions are equivalent: (1) The functor H 0 t : U ÝÑ H factors as a composition U yP ÝÑ mod-P F ÝÑ H, for some right exact functor F .
(2) The subcategory P Ď D is t-generating, i.e. for each U P U there is a triangle U 1 ÝÑ P f ÝÑ UÝÑ, where P P P and U 1 P U.
In such a case, F is a Serre quotient functor and G :" py P q |H : H ÝÑ mod-P is its fully faithful right adjoint.
In Section 5 we introduce the key notion of pure-injective object in an arbitrary additive category with products, which extends the corresponding existing notion in locally finitely presented additive categories and in compactly generated triangulated categories. We then revisit a recent result by Positselski and the second-named author from [PŠ19], stating that an AB3* abelian category A with an injective cogenerator E is AB5 if and only if E is pure-injective. We further show that A is a Grothendieck category precisely when Prod E " InjpAq has a generator, i.e. if and only if there is E 1 P InjpAq such that Hom InjpAq pE 1 , ?q : InjpAq ÝÑ Ab is a faithful functor.
In Section 6 we prove the following theorem for coproduct-preserving homological functors whose targets are AB3* abelian categories with an injective cogenerator. The reader is referred to Definition 6.1 for the precise definition of computationally equivalent coproduct-preserving homological functors whose domain is a given triangulated category with coproducts D. A fortiori, when D satisfies Brown representability theorem, two such functors are computationally equivalent exactly when the morphisms in D that are killed by one of them are also killed by the other (see Corollary 6.4).

Theorem 1.2. Let D be a triangulated category which has arbitrary (set-indexed) coproducts and satisfies Brown representability theorem. Then there is a bijective correspondence between
(1) Computational equivalence classes of coproduct-preserving homological functors H : D ÝÑ A, where A is an AB3* abelian category with an injective cogenerator.
(2) Product-equivalence classes of objects in D.
The bijection restricts to another one, where in (1) we only consider those homological functors with AB5 target and in (2) we only consider product-equivalence classes of pure-injective objects.
Moreover, each computational equivalence class in (1) has unique initial object H : D ÝÑ A. If Q P D represents the corresponding product equivalence class as in (2), then one can take A "`mod-ProdpQq op˘o p and for any D P D, HpDq " Hom D pD, ?q | ProdpQq : ProdpQq ÝÑ Ab.
The main significance of the latter theorem is that it allows us to initiate a theory of purity for non-compactly generated triangulated categories. As a consequence, it turns out that pure-injective objects in practice always cogenerate t-structures. See Proposition 6.9 which substantially generalizes a result of similar nature in [LV20].
So far, two different approaches to purity appeared in the literature in the absence of finitely presented or compact objects: (1) via abstractly defined pure-injective objects (as discussed above) in [ČŠ20,PŠ19] and (2) via colimit-preserving functors with AB5 target categories in [BP21,§6]. Theorem 1.2 says that if we replace, in the context of triangulated categories, the functors in (2) by the class of coproduct-preserving homological functors to complete AB5 abelian categories with injective cogenerators, the two approaches become equivalent.
In Section 7 we further develop the purity theory for standard well generated triangulated categories and show that any such category D has an associated Grothendieck category A pure pDq and a coproduct-preserving homological functor h pure : D ÝÑ A pure pDq, uniquely determined up to equivalence, that are universal. This means that if h : D ÝÑ A is any other coproduct-preserving homological functor with AB5 target, then there is a coproduct-preserving exact functor F : A pure pDq ÝÑ A, unique up to natural isomorphism, such that F˝h pure " h. Then we can simply define pure triangles and identify pure-injective objects in terms of this universal functor h pure .
Section 8 is the one specifically dedicated to the study of t-structures with an AB5 or Grothendieck heart. The first general result of the section is the following (see Theorem 8.4 for a more detailed version).
Theorem 1.3. Let D be a triangulated category with coproducts that satisfies Brown representability theorem, and let t " pU, Vq be a t-structure with heart H. The following assertions are equivalent (1) There exists a pure-injective object Q P V such that Hom D p?, Qq vanishes on Vr´1s and Hom D pM, Qq ‰ 0, for all 0 ‰ M P H.
(2) There is a pure-injective objectQ P V such that, for each V P V, there is a triangle V ÝÑQ V ÝÑ V 1Ý Ñ, whereQ V P ProdpQq and V 1 P V.
(3) H is an AB5 abelian category with an injective cogenerator and the cohomological functor H 0 t : D ÝÑ H preserves coproducts. When D is standard well generated, they are also equivalent to: (4) H is a Grothendieck category and the cohomological functor H 0 t : D ÝÑ H preserves coproducts.
Condition (2) of Theorem 1.3 is very closely related to widely studied finiteness conditions on the co-aisle of t. When D is compactly generated, condition (2) is satisfied for instance in the following situations (see Theorem 8.12): ‚ if the co-aisle V is definable (this in particular holds if t " pU, Vq is compactly generated as a t-structure) or ‚ if D has a suitable enhancement (as explained in Remarks 8.9 and 8.11) and V is closed under taking directed homotopy colimits. In this way, we generalize various results which appeared in the literature beforefor t-structures in presentable stable 8-categories ([Lur17, Remark 1.3.5.23], [Lur18, Remark C.1.4.6]), for homotopically smashing t-structures in nice enough stable derivators ( [SŠV17], [Lak20, Theorem 4.6]) or for compactly generated t-structures ([Bon22, Theorem 0.2]).
The special case where t is a semiorthogonal decomposition was also thoroughly studied in [Kra00,Kra05] and, in particular, such decompositions t were classified in terms of certain (so called exact) ideals of the subcategory of all compact objects in D and it was proved that they give rise to recollements in the sense of [BBD82,§1.4]. In Theorems 8.16 and 8.26, we establish a completely analogous classification of all t-structures with definable co-aisle and show that they possess right adjacent co-t-structures. The latter is an analogy of recollements in the context of t-structures (as explained e.g. in the introduction of [ŠP16]).
Theorem 1.4. Let D be a compactly generated triangulated subcategory. Then there is a bijective correspondence between (1) the t-structures t " pU, Vq in D with V definable, and (2) suspended two-sided ideals I Ď D c , i.e. ideals which satisfy Ir1s Ď I " I 2 and are saturated (see Definition 8.15). Moreover, any t-structure as in (1) admits a right adjacent co-t-structure pV, Wq.
Still in Section 8, in the yet more special case of compactly generated t-structures, we go one step further and prove the following result (see Theorem 8.31): Theorem 1.5. Let D a triangulated category with coproducts, let t " pU, Vq be a compactly generated t-structure in D, with heart H, and put U 0 " U X D c . Then H is a locally finitely presented Grothendieck category and its subcategory of finitely presented objects is fppHq " H 0 t pU 0 q. When in addition t restricts to the subcategory D c of compact objects, the heart H is also locally coherent.
In the final Section 9 we show relations between t-structures with Grothendieck heart and various versions of partial cosilting objects that recently appeared in the literature.

Preliminaries
Unless otherwise specified, all categories in this paper will be pre-additive and all functors are additive. All subcategories will be full and closed under taking isomorphisms. When we say that such a category, say A, has (co)products we will mean that it has arbitrary set-indexed (co)products. When A is additive, for a given subcategory S, we shall denote by add A pSq and Add A pSq the subcategories consisting of the direct summands, respectively, of finite and arbitrary coproducts of objects in S. Dually Prod A pSq will stand for the subcategory of direct summands of products of objects of S. The group of morphisms between objects X and Y will be indistinctly denoted by ApX, Y q or Hom A pX, Y q. We will denote by S K (resp. K S) the subcategory of A consisting of the objects X such that Hom A pS, Xq " 0 (resp. Hom A pX, Sq " 0), for all S P S.
A morphism f : S ÝÑ X in A is called an S-precover if S P S and any morphism f 1 : S 1 ÝÑ X with S 1 P S factors through f . The subcategory S is called precovering is each X P A admits an S-precover f : S ÝÑ X. Dually, one defines an S-preenvelope f : X ÝÑ S and preenveloping subcategories of A.
We refer the reader to [Pop73] and [Ste75] for the basic notions concerning abelian categories, in particular for the terminology ABn and ABn˚, for n " 3, 4, 5, introduced in [Gro57]. Recall that an AB5 abelian category with a set of generators (equivalently, a generator) is called a Grothendieck category.
2.1. Abelian categories with enough projective objects. We start by recalling basic and mostly well known facts about how to reconstruct an abelian category from its subcategory of projective objects, provided we have enough of these. All the results formally dualize to abelian categories with enough injective objects as well. If A is an abelian category, we will denote by ProjpAq the full subcategory of projective objects and by InjpAq the full subcategory of injective objects.
For any (not necessarily small) additive category P, we denote by mod-P the category of finitely presented functors P op ÝÑ Ab, which are by definition functors F with a presentation Hom P p´, Qq ÝÑ Hom P p´, P q ÝÑ F ÝÑ 0 given by a map f : Q ÝÑ P in P. We will also frequently use the shorthand notation p P :" mod-P. Observe that, thanks to the Yoneda lemma, the collection of natural transformations between any pair of finitely presented functors forms a set. For the following well known lemma (see e.g. [Fre66, Corollary 1.5] or [Kra98, §2]), we need the notion of weak kernel of a morphism f : X ÝÑ Y in an additive category A. It is just a morphism u : K ÝÑ X such that the associated sequence of functors Lemma 2.1. The Yoneda embedding y P : P ÝÑ mod-P, P ù Hom P p?, P q, has the following universal property: Any additive functor F : P ÝÑ A, where A is an abelian category, extends uniquely up to natural isomorphism over y P to a right exact functor p F : mod-P ÝÑ A, and any natural transformation α : F ÝÑ F 1 between such additive functors uniquely extends to a natural transformation Moreover, the category mod-P is itself abelian if and only if the kernel of any map of finitely presented functors is finitely presented if and only if the category P has weak kernels.
Remark 2.2. Note that the previous statement says that the precomposition functor yP : r p P, As rex » ÝÑ rP, As add induces an equivalence, which is in this case even surjective on objects, between the category of right exact functors p P ÝÑ A and the category of additive functors P ÝÑ A. In particular, the lifting of F to p F is, as is well known, unique up to a canonical natural isomorphism.
Given an additive category P, we also denote by MorpPq the category of morphisms in P (see [AR73, Section I.2]) and we denote by MorpPq the quotient of MorpPq by the ideal of projectively trivial morphisms, in the terminology of [op.cit]. More in detail, we factor out the two-sided ideal of MorpPq of all maps which factor through a split epimorphism in P, when viewed as an object of MorpPq (what we denote MorpPq is denoted by Mod-P in [AR73]). The following result is standard and provides two ways to reconstruct an abelian category from the subcategory of projective objects.
Proposition 2.3. Let B be an abelian category with enough projective objects and denote by P the full subcategory of projective objects. Then where the left hand side equivalence sends pf : Q ÝÑ P q P MorpPq to Cokerpf q and the second equivalence sends B P B to Hom B p?, Bq |P .
Proof. The first equivalence was proved in [AR73, Section I.2], while the second one essentially follows from [Kra98, Proposition 2.3] as the assignment B ù Hom B p?, Bq |P restricts by the Yoneda lemma to an equivalence between the projective objects in mod-P and B, respectively.
We will also need a perhaps less well known version of this result involving AB3 categories B with a projective generator. This has been worked out in [PŠ21,§6] in the language of monads, but we will use a more direct formulation which will be convenient for us. It in fact instantiates B as the category of models of an algebraic theory in the sense of [Wra70].
For this purpose, suppose that A is an additive category with arbitrary (setindexed) products with the property that A " Prod A pAq for some A P A. We denote by ContpA, Abq the category of all product-preserving additive functors A ÝÑ Ab. Note that again, there is only a set of natural transformations between any pair of functors in ContpA, Abq, as any transformation is determined by its value on A P A.
Lemma 2.4. Let P be an additive category with coproducts and P P P such that P " Add P pP q. Then P has weak kernels, and mod-P " ContpP op , Abq. In particular, ContpP op , Abq is an abelian category with coproducts and Hom P p´, P q is a projective generator.
Proof. Suppose that f : P 1 ÝÑ P 0 is a morphism in P. If we consider the set Z of all morphism g : P ÝÑ P 1 such that f g " 0, then the canonical morphism P pZq ÝÑ P 1 is easily seen to be a weak kernel of f . Hence mod-P is abelian. Moreover, since P has coproducts, so have them both MorpPq and MorpPq » mod-P.
It remains to establish the equality mod-P " ContpP op , Abq. Clearly, any finitely presented functor P op ÝÑ Ab preserves products as all representable functors do and products are exact in Ab.
For the converse, choose F P ContpP op , Abq and denote by X the underlying set of F pP q. Then F pP pXq q -F pP q X " X X by the assumption and, hence, we can consider the canonical element c P F pP pXq q whose x-th component under the latter identification equals x. By the Yoneda lemma, c determines a morphism φ : Hom P p?, P pXq q ÝÑ F . Observe that φ P : Hom P pP, P pXq q ÝÑ F pP q is surjective as the x-th coproduct inclusion P P pXq maps to x for each x P X. Since both Hom P p?, P pXq q and F commute with products, φpQq is in fact surjective for any Q P P and, hence, F is a quotient of Hom P p?, P pXq q. Iterating the argument one more time with K " Kerpφq P ContpP op , Abq, we obtain the required presentation for F . By combining Proposition 2.3 and Lemma 2.4, we obtain: Corollary 2.5. Let B be an AB3 category with a projective generator P , and denote P " AddpP q the full subcategory of projective objects. Then B » ContpP op , Abq via the restricted Yoneda functor B ù Hom B p?, Bq |P .
2.2. Localization of categories. Next we recall basic facts about a key concept in this paper-localization of categories. A functor F : C ÝÑ C 1 is a localization functor at a class of morphism S of C if for any category E, the precompostion functor F˚: rC 1 , Es ÝÑ rC, Es between the categories of functors is fully faithful and the essential image consists of those functors G : C ÝÑ E which send all morphisms in S to isomorphisms in E.
Remark 2.6. Of course, having written that, we need to explain how to interpret this statement in the context of the usual set-theoretic foundation of mathematics. We have three possibilities: (1) Assume that all our categories are small. In that situation, no problems arise as for any category C and any set of morphisms S, the corresponding localization functor between small categories always exists and is essentially unique by [GZ67, §1.1].
(2) If the categories in question are not small-a situation which we encounter in this paper-we can assume that we can enlarge the universe and apply the results in the larger universe, whence making our categories efficiently small and reducing to case (1). The conclusions are then valid in the original universe as well, up to one aspect where one has to be cautious: Localizations of locally small categories still exist by [GZ67] and do not enlarge the class of objects, but a localization of a locally small category may possess pairs of objects which admit a proper class of morphisms among them. As long as we can prove in some way that this problem does not arise for the categories which we work with (one usually uses Lemma 2.7 below), we can apply the results of this section even for categories which are not small. This is our preferred variant since it provides a good trade off between clarity and rigor. (3) Many arguments which may seem dubious from the set-theoretic point of view at a first glance can be actually salvaged with some effort because they are completely constructive. We will not follow this path, however, because this additional effort often comes at the cost of clarity of exposition.
The following lemma provides a practical method of detecting localization functors, see [GZ67, 1.3 Proposition].
Lemma 2.7. Suppose that F : C ÝÑ C 1 is a functor which admits a left or right adjoint G : C 1 ÝÑ C. Then F is a localization functor (at the class of all morphisms f such that F pf q is invertible) if and only if G is fully faithful.
In general, it is not obvious whether a composition of two localization functors is a localization functor again. For functors with adjoints (on any side), the situation is, however, easy. We provide the lemma with a (completely elementary) proof.
Lemma 2.8. Let F : C ÝÑ C 1 and G : C 1 ÝÑ C 2 be functors. Then the following hold: (1) If F and G are localization functors and F has a left or right adjoint, then G˝F : C ÝÑ C 2 is a localization functor, (2) If F and G˝F are localization functors, so is G : Proof. In both statements, F is assumed to be a localization functor and we pick a class S of morphisms of C such that F is a localization at S.
(1) We denote by ι : C 1 ÝÑ C the (left or right) fully faithful adjoint to F . Suppose that G is a localization at a class S 1 of morphisms of C 1 . It is clear that the functor pGF q˚" F˚G˚: rC 2 , Es ÝÑ rC, Es is fully faithful for each category E.
Since each morphism f P MorpC 1 q is isomorphic to F pιpf qq by [GZ67, Proposition 1.3], one directly identifies the essential image of pGF q˚. It consists precisely of those functors which send the morphisms in S Y ιpS 1 q to isomorphisms.
(2) Suppose that GF is a localization at S 2 Ď MorpCq and, without loss of generality, S 2 Ě S. Since both pGF q˚and F˚are fully faithful for any category E, so must be the functor G˚: rC 2 , Es ÝÑ rC 1 , Es. One again checks in a straightforward manner that the essential image of G˚consists of the functors which send F pS 2 q to isomorphisms.
If A and B are abelian categories and F : A ÝÑ B is an exact localization functor, it is called a Serre quotient functor. In this case, a morphism F pf q is an isomorphism if and only if F pKer f q " 0 " F pCoker f q. The full subcategory is closed under subobjects, factor-objects and extensions. A subcategory of an abelian category with these properties is called a Serre subcategory. Serre quotient functors originating in A are (up to equivalence) precisely classified by Serre subcategories of A.
Inspired by the results in [Gab62, Chapitre III] and the Gabriel-Popescu theorem (e.g. [Ste75, §X.4]), we call a Serre quotient functor F : A ÝÑ B with a (fully faithful) right adjoint functor ι : B ÝÑ A a Gabriel localization functor. The right adjoint ι is then called a section functor. When in addition A is AB3 (i.e. has set-indexed coproducts), then F preserves coproducts and Ker F is closed under subobjects, factor-objects, extensions and arbitrary coproducts (see §2.3 for a more detailed discussion of this situation).
We conclude the subsection with a technical but rather useful statement which says that under certain conditions, an exact functor with a fully faithful left adjoint is a Gabriel localization functor.
Proposition 2.9. Let F : A ÝÑ B be an exact functor between abelian categories, where A is complete AB5 and has an injective cogenerator. If F has a fully faithful left adjoint, then it also has a fully faithful right adjoint. In this case, F is a Gabriel localization functor and B is also AB5 with an injective cogenerator. Moreover, if A is a Grothendieck category, so is B.
Proof. By exactness and Lemma 2.7 we know that F is a Serre quotient functor and T " KerpF q is the corresponding Serre subcategory. If F has a left adjoint, it preserves products, and consequently T is closed under products in A. However, the exactness of direct limits implies that the canonical map š iPI A i ÝÑ ś iPI A i is a monomorphism, for each family of objects pA i q iPI in A, as it is a direct limit of the split monomorphisms where J ranges over finite subsets of I (cf. [Ste75, Exercise 1, p. 133]). Therefore, T is closed under taking coproducts and, hence, also under arbitrary colimits. It follows that each object A P A has a unique maximal subobject in T , which is simply the direct union of all subobjects of A which belong to T . The fact that F has a fully faithful right adjoint then follows from [ 2.3. A generalized Gabriel-Popescu Theorem. When G a Grothendieck category, an object X is called finitely presented if the functor Hom G pX, ?q : G ÝÑ Ab preserves direct limits. We denote by fppGq the subcategory of finitely presented objects. We say that G is locally finitely presented when it has a set S of finitely presented generators. This is equivalent to saying that fppGq is skeletally small and each object of G is a direct limit of objects in fppGq (see [CB94] and [Pre09]). Indeed fppGq then consists precisely of those objects X P G which admit an exact sequence š m i"1 S i ÝÑ š n j"1 S 1 j ÝÑ X ÝÑ 0, for some finite families pS i q and pS 1 j q of objects of S. We say that G is locally coherent when it is locally finitely presented and fppGq is an abelian exact subcategory or, equivalently, closed under taking kernels in G.
Suppose that G is a Grothendieck category in the rest of this subsection. A torsion pair in G is a pair τ " pT , F q of subcategories such that F " T K and T " K F . In such case T is called the torsion class and F the torsionfree class. Such a torsion pair (or the torsion class T ) is called hereditary when T is closed under taking subobjects in G. The pair τ is called a torsion pair of finite type when F is closed under taking direct limits in G.
When G is a Grothendieck category and T is a hereditary torsion class, the localization G{T :" GrΣ´1 T s with respect to the class Σ T of morphisms s : X ÝÑ X 1 in G such that Kerpsq, Cokerpsq P T has Hom sets. We call G{T the quotient category of G by T and the corresponding localization functor q : G ÝÑ G{T is a Gabriel localization functor in the sense of §2.2. It is well known (see [Gab62,Ste75]) that G{T is again a Grothendieck category and that Kerpqq " T . If ι : G{T ÝÑ G is the (fully faithful) right adjoint to q, then we call Y :" Impιq the associated Giraud subcategory. It consists of the objects Y P G such that Hom G pT, Y q " 0 " Ext 1 G pT, Y q, for all T P T . A prototypical example of Grothendieck category is the one given as follows. Take any (skeletally) small pre-additive category A. A (right) A-module is any additive functor M : A op ÝÑ Ab . The category with the A-modules as objects and the natural transformations between them as morphisms, will be denoted by Mod-A. Any category equivalent to Mod-A, for some small pre-additive category A, will be called a module category. The Yoneda functor y : A ÝÑ Mod-A takes a ù ypaq " Ap?, aq and is fully faithful. It is well known that Mod-A is a Grothendieck category, where Impyq " typaq | a P ObpAqu is a set of finitely generated projective (whence finitely presented) generators (see, e.g., [Mit72,Theorem 3.1] and [Pop73, Theorem 3.4.2]). We will put mod-A :" fppMod-Aq to denote the subcategory of finitely presented A-modules. It consists of the A-modules M that admit an exact sequence š m i"1 ypa i q ÝÑ š n j"1 ypb j q ÝÑ M ÝÑ 0, for some finite families pa i q and pb j q of objects of A, so the terminology is consistent with §2.1.
The following generalized version of Gabriel-Popescu theorem (see, e.g., [Mit81] or [Low04, Theorems 1.1 and 1.2]) tells us that all Grothendieck categories appear as localizations of module categories: Proposition 2.10 (Gabriel-Popescu Theorem). Let G be any category. The following assertions are equivalent: (1) G is a Grothendieck category.
(2) There is a small pre-additive category A and a hereditary torsion class T in Mod-A such that G is equivalent to pMod-Aq{T .
(3) G is abelian and there is a fully faithful functor ι : G ÝÑ Mod-A, for some small pre-additive category A, such that ι has an exact left adjoint. In the situation of assertion (3) the exact left adjoint q induces an equivalence of categories pMod-Aq{T For our purposes in this paper, it will be useful to have sufficient conditions for pMod-Aq{T to be locally finitely presented. The following result gives such conditions, even in a more general situation.
Proposition 2.11. Let H be a locally finitely presented Grothendieck category and fix any set S of finitely presented generators. Let τ " pT , F q be a hereditary torsion pair in H, q : H ÝÑ H{T be the corresponding Gabriel localization functor and let G be the associated Giraud subcategory of H. The following assertions are equivalent: (1) G is closed under taking direct limits in H.
(4) qpSq consists of finitely presented objects in H{T When these equivalent conditions hold, the torsion pair τ is of finite type and the category H{T is locally finitely presented, with fppH{T q " addpqpfppHqqq.
Proof. Without loss of generality, we assume that q : H ÝÑ G is a functor with G as codomain whose right adjoint ι : G ÝÑ H is the inclusion functor.
p1q ðñ p2q This is clear. p3q ðñ p4q This follows immediately since the objects in fppHq are just cokernels of morphisms in addpSq.
p2q ðñ p4q This is an instance of a general fact that a left adjoint originating in a locally finitely presented category preserves finite presentation if and only if the corresponding right adjoint preserves direct limits.
Indeed, consider X P S and a direct system pG i q iPI in G. Assertion (4) precisely says that the canonical morphism lim Ý Ñ Hom G pqpXq, G i q ÝÑ Hom G pqpXq, lim Ý Ñ G i q is an isomorphism for every choice of X and pG i q iPI . Here, the direct limit on the right hand side is computed in G. Taking the adjoint form, we obtain morphisms Since X is finitely presented in H, the latter morphism is further bijective if and only if the canonical map is an isomorphism. Now, since X runs over a generating set, the morphisms (2.1) are bijective, for all X P S and all direct systems pG i q iPI in G if, and only if is bijective for every pG i q iPI , which is precisely assertion (2). Suppose now that the equivalent assertions (1)-(4) hold. Since each direct system pF i q iPI in F gives a direct system of short exact sequences it follows that lim Ý Ñ F i is a subobject of lim Ý Ñ pι˝qqpF i q, and this one is an object in G by assertion (1). Therefore lim Ý Ñ F i P F , so that τ is a torsion pair of finite type. On the other hand qpSq is a set of finitely presented generators of H{T , thus showing that this latter category is locally finitely presented. Moreover if Y P fppH{T q and we express ιpY q as a direct limit ιpY q " lim Ý Ñ X λ , for some direct system pX λ q λPΛ in fppHq, we get that Y -pq˝ιqpY qlim Ý Ñ qpX λ q. Since Y is finitely presented, it is isomorphic to a direct summand of qpX λ q, for some λ P Λ. This gives the inclusion fppH{T q Ď addpqpfppHqqq, the reverse inclusion being clear by assertion (3).
At the end of Section 6, we will also use a higher-cardinal analogue of finite presentability. Given a regular cardinal κ, we say that X P G is ă κ-presented if Hom G pX, ?q : G ÝÑ Ab preserves κ-direct limits, i.e. colimits indexed by partially ordered sets whose each collection of ă κ elements has an upper bound. It is a well-known consequence of the Gabriel-Popescu Theorem that every X P G is ă κ-presented for some regular cardinal κ and that G is locally ă κ-presented for some regular cardinal κ. The latter means that G has a set S of ă κ-presented generators and, as in the finite case, the condition is equivalent to saying that the full subcategory κ-prespGq of ă κ-presented objects is skeletally small and each object of G is a κ-direct limit of objects in κ-prespGq.
If G is locally ă κ-presented and λ is any regular cardinal, then the class of ă λpresented objects is always closed under cokernels by [AR94, Proposition 1.16]. On the other hand, the full subcategory λ-prespGq of ă λ-presented objects is also closed under kernels and extensions and so it is an exact abelian subcategory of G for arbitrarily large cardinals λ. Concretely, this is true if κ is sharply smaller than λ in the sense of [AR94, Definition 2.12] and if a skeleton of κ-prespGq has ă λ morphisms (there are arbitrarily large such cardinals by [AR94, Example 2.13(6)]). To see this, we remind the reader that the condition of being sharply smaller means that given any κ-directed poset I, each subset J Ď I of cardinality ă λ is contained in a κ-directed subsetĴ of cardinality ă λ. In this situation, an object X of G is ă λ-presented if, and only if, it is a direct summand of a direct limit lim Ý ÑI C i , where the C i are ă κ-presented and I is κ-directed set with |I| ă λ (see [AR94,Remark 2.15]). Now, by the proof of [AR94, Theorem 1.46], the generalized Yoneda functor y : G ÝÑ rκ-prespGq, Sets, X Þ ÝÑ Homp?, Xq| κ-prespGq is fully faithful and the essential image is closed under κ-direct limits in the target functor category. Thus, thanks to [AR94, Example 1.31] and the description of ă λ-presented objects given above, an object X P G is ă λ-presented if, and only if, yX is ă λ-presented in rκ-prespGq, Sets if, and only if, the sum of the cardinalities of Hom G pC, Xq, where C runs over the objects of a skeleton of κ-prespGq, is ă λ. The closure of λ-prespGq under extensions and kernels in G then follows immediately.
2.4. Triangulated categories-general notions. We refer the reader to [Nee01b] for the precise definition of triangulated category and the basic facts about them (many of these, albeit with different terminology, can be found also in [HPS97]). Here, we will denote the suspension functor by ?r1s : D ÝÑ D. We will then put ?r0s " 1 D and ?rks will denote the k-th power of ?r1s, for each integer k. (Distinguished) triangles in D will be denoted X It is well known that any morphism in the triangle determines the other vertex up to non-unique isomorphism. We will call Z the cone of u, written conepuq, and X the cocone of v, written coconepvq.
A triangulated functor between triangulated categories is one that preserves triangles. The definition is in fact a little subtle in that the datum of a triangulated functor consists not only of a functor F : D ÝÑ D 1 , but also of a natural equivalence F p?r1sq -F p?qr1s. The latter is, however, usually obvious from the context.
All through the rest of Section 2, D will be a triangulated category. When I Ď Z is a subset and S Ď D is a subcategory, we will denote by S KI (resp. KI S) the subcategory of D consisting of the objects Y such that Hom D pS, Y rksq " 0 (resp. Hom D pY, Srksq " 0), for all S P S and all integers k P I. In this vein we have subcategories S Kąn , S Kěn , S K Z and their symmetric counterparts.
Unlike the terminology used for abelian categories, a class (resp. set) S Ď ObpDq is called a class (resp. set) of generators of D when S K Z " 0. In case D has coproducts, an object X P D is called compact when the functor Hom D pX, ?q : D ÝÑ Ab preserves coproducts. We denote by D c the subcategory of compact objects. We will say that D is compactly generated when it has a set of compact generators, in which case the subcategory D c is skeletally small.
Recall that if D and A are a triangulated and an abelian category, respectively, then an additive functor H : D ÝÑ A is a cohomological functor when, given any triangle X ÝÑ Y ÝÑ ZÝÑ, one gets an induced long exact sequence in A:¨¨Ý where H n :" H˝p?rnsq, for each n P Z. Such functors are also often called homological functors and in that case one requires that triangles yield long exact sequences¨¨Ý where H n :" H˝p?r´nsq. We will use both variants, depending on what will appear more natural or customary in the given context. Obviously, one has the identification H´n " H n .
Each representable functor Hom D p?, Xq : D op ÝÑ Ab is cohomological. We will say that D satisfies Brown representability theorem when D has coproducts and each cohomological functor H : D op ÝÑ Ab that preserves products (i.e. that, as a contravariant functor D ÝÑ Ab, takes coproducts to products) is representable. Each compactly generated triangulated category satisfies Brown representability theorem ([Nee01b, Theorem 8.3.3]).
Given a triangulated category D, a subcategory E will be called a suspended subcategory when it is closed under taking extensions and Er1s Ď E, and cosuspended when it is closed under taking extensions and Er´1s Ď E. If, in addition, we have E " Er1s, we will say that E is a triangulated subcategory. A triangulated subcategory closed under taking direct summands is called a thick subcategory. When the ambient triangulated category D has coproducts, a triangulated subcategory closed under taking arbitrary coproducts is called a localizing subcategory. Note that such a subcategory is always thick (see [HPS97, Lemma 1.4.9] or the proof of [Nee01b, Proposition 1.6.8], which also shows that idempotents split in any triangulated category with coproducts). In such case, given any class S of objects of D, we will denote by Loc D pSq the smallest localizing subcategory containing S.
Recall that when E is a triangulated subcategory of the triangulated category D, the localization of D with respect to the class of morphism s in D with conepsq P E (see §2.2) is called the Verdier quotient D{E and the associated localization functor q : D ÝÑ D{E is the Verdier quotient functor. The category D{E has a natural triangulated structure and q is naturally a triangulated functor.
2.5. t-structures in triangulated categories. A t-structure in D (see [BBD82, Section 1]) is a pair t " pU, Vq of full subcategories which satisfy the following properties: (i) Hom D pU, V r´1sq " 0, for all U P U and V P V; It is easy to see, using basic properties of triangulated categories, that the objects U and W in the above triangle are uniquely determined by X, up to a unique isomorphism, and thus define functors τ ď0 t : D ÝÑ U and τ ą0 t : D ÝÑ Vr´1s which are right and left adjoints to the respective inclusion functors. We call them the left and right truncation functors with respect to the given t-structure. It immediately follows that V " U K r1s and U " K pVr´1sq " K pU K q, that U is a suspended subcategory and V is cosuspended, and that U, V are both closed under summands in D. We will call U and V the aisle and the co-aisle of the t-structure. Note that, for each n P Z, the pair pUrns, Vrnsq is also a t-structure, and the corresponding left and right truncation functors are denoted by τ ď´n t and τ ą´n t ": τ ě´n`1 t . If D 1 is a triangulated subcategory of D, we will say that the t-structure t restricts to D 1 when t 1 " pU X D 1 , V X D 1 q is a t-structure in D 1 . This is equivalent to say that τ ď0 t X (or τ ą0 t X) is in D 1 , for all X P D 1 . The full subcategory H " U X V is called the heart of the t-structure and it is an abelian category, where the short exact sequences 'are' the triangles in D with the first three terms in H. Moreover, with the obvious abuse of notation, the assignments X ù pτ ď0 t˝τ ě0 t qpXq and X ù pτ ě0 t˝τ ď0 t qpXq define naturally isomorphic functors D ÝÑ H which are cohomological (see [BBD82]). We fix all through the paper a functor H 0 t : D ÝÑ H naturally isomorphic to those two functors. The t-structure t " pU, Vq will be called left (resp. right) non-degenerate when Ş kPZ Urks " 0 (resp. Ş kPZ Vrks " 0). It will be called non-degenerate when it is left and right non-degenerate. A t-structure t " pU, Vq such that Ur1s " U, or equivalently V " Vr´1s, will be called a semiorthogonal decomposition.
Suppose now that D has coproducts. If the co-aisle V is closed under taking coproducts, which is equivalent to say that the truncation functor τ ď0 t : D ÝÑ U preserves coproducts, then t is called a smashing t-structure. If S Ď U is any class of objects, we shall say that the t-structure t is generated by S or that S is a class of generators of t when V " S Kă0 . We shall say that t is compactly generated when it is generated by a set (i.e. not a proper class) of compact objects. Note that such a t-structure is always smashing.
We now shortly discuss the question of when a suspended subcategory is an aisle. Fix a suspended subcategory S of D. By [KV88,§1], S is the aisle of a tstructure in D if, and only if, the inclusion functor S ÝÑ D has a right adjoint. If D has coproducts and satisfies the Brown representability theorem (e.g. if D is well generated in the sense of §2.6 below) and S is closed under coproducts, Neeman [Nee21] has recently provided the following sufficient condition for the existence of the adjunction. For any X, Y P D, we consider the slice category X{S{Y whose objects are pairs of composable morphisms pX Ñ Y q is given by h : S ÝÑ S 1 such that f 1 " hf and g " g 1 h. If we denote by H S pX, Y q the class of connected components of X{S{Y (which are the smallest subclasses of objects pairwise connected by zigzags of morphisms; a similar construction also appeared in [BP10, §2.1] in a different context), then it is proved in[Nee21, Proposition 1.15 and Discussion 1.16] that S ÝÑ D has a right adjoint if, and only if, H S pX, Y q is a set (and not a proper class) for each pair X, Y P D. In particular, we can easily derive the following criterion which we later use in the proof of Proposition 6.9: Proposition 2.12. Let D be a triangulated category with coproducts satisfying Brown representability theorem and let S Ď D be a suspended subcategory closed under coproducts. Suppose that for each X P D, there is set S X Ď S such that each morphism X ÝÑ S, with S P S, factors through an object of S X . Then S is an aisle in D.
Proof. The cardinality of each H S pX, Y q is clearly bounded by the sum of the cardinalities of Hom D pX, SqˆHom D pS, Y q, where S runs over S X .
2.6. Standard well generated triangulated categories. Next we recall some known generalizations of compactly generated triangulated categories and define a new convenient one. Let D be triangulated with coproducts. A perfect class of objects in D is a class S such that, for any family pf i : X i ÝÑ Y i q iPI of morphisms, is an epimorphism for all S P S whenever the morphisms are such, for all i P I and S P S. An object X is perfect when tXu is a perfect set of objects. We say that D is perfectly generated by S when S is a perfect set of generators. On the other hand, given a regular cardinal κ, we say that an object For any triangulated category D with coproducts, there exists a largest perfect class of κ-small objects which can be obtained as the union of all such classes. We denote the full subcategory of D given by this class of objects by D κ and call the objects contained in it κ-compact objects. Observe that D ℵ0 " D c , and also that for any family of objects pX i q iPI in D κ such that I is of cardinality ă κ, we also have š iPI X i P D κ . Thus, our definition agrees with that in [Kra01a] thanks to [Kra01a,Lemma 4]. This leads to the following important definition: Definition 2.13 ([Nee01b]). A triangulated category D with coproducts is κ-well generated, where κ is a regular cardinal, when it is perfectly generated by a set of κ-small objects. The category D is called well generated when it is κ-well generated, for some regular cardinal κ.
In a well generated triangulated category D, the subcategory D κ is essentially small for each κ and D " Ť κ D κ , where κ runs through the class of regular cardinals (see [Kra01a, Lemma 5 and Corollary]). Furthermore, each well generated triangulated category satisfies Brown representability theorem ([Nee01b, Theorem 8.3.3]).
Several results in this paper will be, however, stated for a hypothetically narrower class of triangulated categories: Definition 2.14. A triangulated category D is called standard well generated if it is equivalent to the Verdier quotient C{ Loc C pSq, where C is compactly generated triangulated and S Ď ObpCq is a set of objects.
As the terminology suggests, all standard well generated triangulated categories are well generated (see [Nee01b, Theorem 1.14 and Remark 1.16]), and no example of a well generated triangulated category which is not standard well generated is currently known. This class of triangulated categories should be seen as a suitable triangulated analogue of locally presentable categories [AR94] in ordinary category theory on one hand and of locally presentable stable 8-categories [Lur17] in higher category theory on the other hand.
Note that every compactly generated category is standard well generated, as is the unbounded derived category of any Grothendieck categories (cf. [ATJLSS00]).
Much more generally, any well generated algebraic [Kra07, §7.5] or topological [Sch10] triangulated category D is automatically standard well generated thanks to the main results of [Por10,Hei07].
2.7. Purity and Milnor colimits in triangulated categories. When D is a triangulated category with coproducts, we will use the term Milnor colimit of a sequence of morphisms X 0 ÝÑ¨¨¨for what in [Nee01b] is called homotopy colimit. It will be denoted McolimpX n q, without reference to the x n , and it is defined as the third term in the triangle The components f i : X i ÝÑ McolimpX n q of the second map in the triangle define a cocone in D, which is a weak colimit of the sequence by [HPS97, Proposition 2.2.4] (i.e. for any other cocone pg i : X i ÝÑ Y q iě0 there is a not necessarily unique morphism g : McolimpX n q ÝÑ Y such that g i " gf i for each i ě 0). In Section 7 we will outline a more general purity theory, valid on all standard well generated triangulated categories. But, for the moment, we remind the reader of the classical theory initiated in [Kra00]. A pure triangle in a compactly generated Xr1s that satisfies any of the following equivalent conditions (1) u˚:" Hom D pC, uq : Hom D pC, Xq ÝÑ Hom D pC, Y q is a monomorphism, for all C P D c , where D c is the subcategory of compact objects; (2) v˚:" Hom D pC, vq : Hom D pC, Y q ÝÑ Hom D pC, Zq is an epimorphism, for all C P D c ; (3) w˚:" Hom D pC, wq : Hom D pC, Zq ÝÑ Hom D pC, Xr1sq is the zero map, for all C P D c . Any morphism u (resp. v) appearing in such a triangle is called a pure monomorphism (resp. pure epimorphism). A pure-injective object of D is an object Y such that the functor Hom D p?, Y q : D ÝÑ Ab takes pure monomorphisms to epimorphisms or, equivalently, pure epimorphisms to monomorphisms.
A typical example of pure triangles appears when X 0 ÝÑ¨¨¨is a sequence of morphisms in D. Then the triangle (2.2) which defines McolimpX n q is pure. A useful immediate consequence of the fact is that if C P D c , then Hom D`C , McolimpX n q˘lim Ý Ñ Hom D pC, X n q.

t-structures and localization of categories
In this section we establish basic general facts about the interaction of t-structures, Serre quotients of abelian categories and Verdier quotients of triangulated categories. We in particular discuss methods how to turn degenerate t-structures to non-degenerate ones. For the entire section, we denote by D a triangulated category with a t-structure t " pU, Vq, whose heart we denote by H. We start with an easy observation.
Lemma 3.1. The homological functor H 0 t : D ÝÑ H associated with the t-structure t is a localization functor.
where the first functor has a fully faithful left adjoint U Ď D and the second functor a fully faithful right adjoint, so both are localization functors. Thanks to Lemma 2.8, H 0 t is a localization functor as well. Recall that if P is an additive category, we use the notation p P :" mod-P. As all of H, U and D have weak kernels, the corresponding categories p H, p U and p D are abelian by Lemma 2.1 (in the case of U, we construct a weak kernel of f : Moreover, it is also well known that the Yoneda functor We will focus on the exact functor x H 0 t now. For the context, we record the following straightforward observation which will be illuminating also later.
where the vertical arrow is an equivalence.
Proof. Regarding the existence, we simply put B 1 " A{ KerpF q and denote by Q the localization functor and by J : If Jpf q vanishes, so does clearly JQpf 1 q " F pf 1 q. Since F is exact, this implies that Impf 1 q P KerpF q and that Qpf 1 q " 0. Since f and Qpf 1 q are isomorphic in B 1 , we infer that f " 0 and J is faithful. Finally, observe that if F " J˝Q is any factorization with Q a Serre quotient and J faithful, we must have KerpQq " KerpF q. The uniqueness of the factorization then follows from the universal property of the Serre quotient.
The point with x H 0 t is that the second part in the factorization from Lemma 3.2 is trivial-x H 0 t itself is a localization functor.
Proof. We factorize x H 0 t : p D ÝÑ H into a composition of three localization functors with fully faithful adjoints as follows: The fact that the composition is a localization functor follows by Lemma 2.8, and since x H 0 t is exact, it is a Serre quotient functor. Let us explain what functors we compose. The first two are obtained from τ ď0 t : D ÝÑ U and τ ě0 t |U : U ÝÑ H, respectively, using Lemma 2.1. The corresponding inclusions H Ď U Ď D lift to fully faithful functors, which we will by abuse of notation consider as inclusions p H Ď p U Ď p D. As we can also lift natural transformations and, in particular, the adjunction units and counits, the inclusions will be the correspoding adjoints of the first two functors in (3.2).
Finally  [Aus66,§3], C is known to be exact and C " x 1 H in the notation of Lemma 2.1).
The latter proposition has a drawback, however-x H 0 t need not be an adjoint functor and thus is out of the scope of Lemma 2.7. This can be often remedied if we focus our attention only on the aisle or the co-aisle.
studied in the proof of Proposition 3.3. The right adjoints are both fully faithful and clearly compose to y U |H . Just by unraveling the definitions, one also checks Since C˝x H 0 t is also right exact, it follows that coincides with the essentially unique functor Ă H 0 t given by Lemma 2.1 and it is a localization functor by Lemma 2.7.
It remains to prove that Ă H 0 t is exact. Suppose that M P p U and g : U ÝÑ U 2 is a map in U such that Hom U p?, U q ÝÑ Hom U p?, U 2 q ÝÑ M ÝÑ 0 is exact. We may complete g to a triangle is a projective presentation of M in p U and if we apply Ă H 0 t , we obtain the sequence H 0 t then follows by the next lemma. Lemma 3.5. Let F : A ÝÑ B be a right exact functor between abelian categories and suppose that A has enough projective objects. The following assertions are equivalent: (1) F is exact.
(2) For each exact sequence P 1 f ÝÑ P g ÝÑ P 2 in A whose all terms are projec- (3) Each object A P A admits a projective presentation Proof. Condition (2) (resp. (3)) holds if, and only if, the first left derived functor L 1 F vanishes, which is tantamount to say that F is exact.
Finally, we discuss another natural question, which is important later. We can ask to which extent the homological functor H 0 t : D ÝÑ H determines the t-structure t " pU, Vq. In general, there may be several t-structures with the same homological functor (e.g. any semiorthogonal decomposition of D has the same and trivial homological functor). However, the t-structure is clearly determined by H 0 t if it is non-degenerate as then Indeed, clearly U Ď tU P D | H i t pU q " 0 for all i ą 0u and, on the other hand, if H i t pU q " 0 for all i ą 0, then τ ą0 The other equality is dual. Here we will show how to reduce a t-structure to a non-degenerate one. We call the full subcategory N t " tX P D | H i t pXq " 0 for all i P Zu the degeneracy class of t. Clearly N t is a thick subcategory of D. Moreover, the homological functor H 0 We will show that actually`qpUq, qpVq˘is a (non-degenerate) t-structure in D{N t and the functor H 0 t is the corresponding homological functor. Lemma 3.6. We have equalities U Proof. The equalities follow from [NSZ19, Lemma 3.3]. For the last statement, note that for any X P N t , we have τ ď0 t pXq, τ ě1 t pXq P N t . Hence, t restricts to a t-structure in N t . Since both U X N t and V X N t are thick subcategories by the first part, the restricted t-structure is in fact a semiorthogonal decomposition.
Remark 3.7. The objects in U X N t " Ş nPZ Urns are called 8-connective in [Lur18, Definition C.1.2.12]. Now we can prove an even more general version of the degeneracy reduction result for t-structures.
Proposition 3.8. Let D be a triangulated category with a t-structure t " pU, Vq and N t " tX P D | H i t pXq " 0 for all i P Zu. If N 1 Ď N t is a triangulated subcategory such that t restricts to a semiorthogonal decomposition of N 1 (this in particular applies to N 1 chosen as one of N t , Ş nPZ Urns or Ş nPZ Vrns) and if we denote by q : D ÝÑ D{N 1 the Verdier quotient functor, then t "`qpUq, qpVq˘is a t-structure in D{N 1 whose homological functor is, up to postcomposition with an equivalence, the unique one which fits into the commutative diagram Proof. To prove that t "`qpUq, qpVq˘is a t-structure, we only need to show that Hom D{N 1 pU, V r´1sq " 0 for each U P U and V P V. The closure properties of qpUq and qpVq and the truncation triangles are inherited from t in D.
To this end, suppose that f s´1 : U ÝÑ V r´1s is a fraction representing a morphism in D{N 1 as in [Nee01b, §2.1], where s : X ÝÑ U is a map in D whose cocone N belongs to N 1 . Then we truncate N using the semiorthogonal decomposition of N 1 induced by t and, by the octahedral axiom, we obtain a commutative diagram in D U 8 with triangles in rows and columns, U 8 P Ş nPZ Urns and V 8 P Ş nPZ Vrns. As Hom D pU 8 , V r´1sq " 0, the morphism f : X ÝÑ V r´1s factors through g and f s´1 " f 1 ps 1 q´1 in D{N 1 for some morphism f 1 : Y ÝÑ V r´1s in D. On the other hand, we have Hom D pU, V 8 q " 0, so s 1 splits and and if t : U ÝÑ Y is a section, then f 1 ps 1 q´1 " f 1 tps 1 tq´1 " f 1 t. However, the latter is a morphism from U to V r´1s in D and it vanishes since pU, Vq is a t-structure in D.
Let us denote the heart of t by H :" qpUq X qpVq. The above argument also shows that q |H : H ÝÑ H is a full functor. If f : H 1 ÝÑ H 2 is a morphism in H such that qpf q " 0, then f factors through some N P N 1 and, since H 1 P U, also through τ ď0 t pN q P Ş nPZ Urns. Since Hom D pUr1s, H 2 q " 0, it follows that f vanishes already in H and that q |H is faithful. Finally, since the truncation triangles for t coincide with those for t in D, we have H 0 t pXq -X in D{N 1 for each X P H. Thus, q |H : H ÝÑ H is essentially surjective as well and the last diagram from the statement commutes.
Remark 3.9. A different method of getting rid of the degeneracy of a t-structure was developed by Lurie, but he needed to work in the context of stable 8-categories (in particular, he needed a full model for the triangulated category D).
If t " pU, Vq is a t-structure, he takes instead of q : D ÝÑ D{ Ş Urns the so called left completion λ : D ÝÑ D 1 of D at U. There is an induced t-structure t 1 " pU 1 , V 1 q in D 1 and λ induces an equivalence V » V 1 . The advantages over the Verdier quotient are that (1) D 1 is always locally small provided that D is such (for the Verdier quotient extra assumptions seem necessary, cf. [Lur18, Proposition C.3.6.1]), (2) D 1 can be recovered from the triangulated subcategory D`Ď D of objects which are left bounded with respect to t. Similarly, one can perform a right completion. We refer to [Lur17, §1.2.1].

Homological functors from t-generating classes
In the last section we studied the interaction of a t-structure t " pU, Vq with the Yoneda functor y U : U ÝÑ p U (Proposition3.4). In the sequel, it will be much more efficient to study homological functors of the form h P : U ÝÑ p P obtained by composing y U with the restriction to a suitable full subcategory P Ď U. A similar approach played a prominent role in the study of localization theory for triangulated categories [Kra00,Nee01b,Kra10], but it is in fact also an important technique in representation theory of finite dimensional algebras. Here, we establish basic facts about the interaction of restricted Yoneda functors with t-structures.
First of all, however, we note a basic lemma which is of use throughout the rest of the paper. It among others illustrates why precovering classes were called contravariantly finite in [AS80]. Proof. This is essentially [Kra98,Theorem 3.4]. First of all, P has weak kernels-if f : P 1 ÝÑ P 0 is a map in P, we can take a weak kernel k : K ÝÑ P 1 is D and precompose it with a P-precover. Hence, both p D and p P are abelian by Lemma 2.1. Secondly, if M : D op ÝÑ Ab is a finitely presented functor, M |P : P op ÝÑ Ab is as well by [Kra98, Lemma 3.2]. Finally, thanks to Proposition 2.3 (see also [Kra98, Lemma 2.6(1)]), the inclusion P Ď D induces a fully faithful functor and that it is left adjoint to res is shown by the following computation for each map f : P 1 ÝÑ P 0 in P and each M P p D: (4.1) Here, the square brackets denote Hom-functors in p D and p P. Hence res is a localization functor by Lemma 2.7 and, since it is clearly exact, it is even a Serre quotient functor.
Next we define the class of full subcategories which satisfy appropriate compatibility condition with aisles or co-aisles of t-structures.
Definition 4.2. Let U be a suspended subcategory of a triangulated category D. Then a full subcategory P Ď U is called t-generating in U if it is precovering and each U P U admits a triangle of the form with U 1 P U and P P P.
Proof. We always have U 2 r1s P U, since U is closed under taking mapping cones, and also the following exact sequence in the heart ÝÑ H 0 t pU 0 q ÝÑ H 0 t pU 2 r1sq ÝÑ H 0 t pU 1 r1sq " 0. Now clearly U 2 P U if and only if H 0 t pU 2 r1sqτ ě1 t pU 2 qr1s " 0 if and only if H 0 t ppq is an epimorphism in the heart. The latter lemma also has a more direct consequence which relates the two conditions imposed on P in Definition 4.2 (i.e. the existence of precovers and the existence of triangles (4.2)).
Lemma 4.4. Let P Ď U be a t-generating subcategory and suppose that U 1 ÝÑ P p ÝÑ UÝÑ is a triangle in the ambient triangulated category such that U P U and p is a P-precover. Then U 1 P U (so the triangle is as in (4.2)).
Proof. Since P is t-generating in U, there exists for the chosen U some triangle with U 2 P U and P 1 P P (but p 1 may not be a P-precover). Since p is a Pprecover, we have a factorization p 1 " p˝f for some f : P 1 ÝÑ P , and hence also H 0 t pp 1 q " H 0 t ppq˝H 0 t pf q. Now H 0 t pp 1 q is an epimorphism in the heart by Lemma 4.3 and so must be H 0 t ppq by the factorization. It remains to apply Lemma 4.3 again.
The main result of the section is the following extension of Proposition 3.4. The added degree of freedom-the possibility to choose the class P-is very important as we shall see later. It often happens that p P for suitable P is a much smaller and a more tractable category than p U.
Theorem 4.5. Let t " pU, Vq be a t-structure in the triangulated category D, let P Ď U be a precovering additive subcategory and denote by y P the restricted Yoneda functor The following assertions are equivalent: (1) The functor H 0 t : U ÝÑ H factors as a composition U yP ÝÑ p P F ÝÑ H, for some right exact functor F .
(2) P is a t-generating subcategory of U In such case F is a Serre quotient functor and G " y P |H : H ÝÑ p P is its fully faithful right adjoint. In other words, we have the following square which commutes up to natural equivalence for both the left and the right adjoints: Proof. Note that y P can be factored as the composition U y ÝÑ p U res ÝÑ p P. Let Ă H 0 t : p U ÝÑ H be the Serre quotient functor given by Proposition 3.4. If we have a factorization as in assertion (1), then Ă H 0 t is naturally isomorphic to F˝res by Lemma 2.1. Hence, condition (1) is equivalent to saying that Ă H 0 t factors through res : p U ÝÑ p P, something that happens exactly when Kerpresq Ď Kerp Ă H 0 t q. Note that in that case the induced functor F : p P ÝÑ H is a Serre quotient functor. Indeed it is a a localization functor by Lemma 2.8(2) since res and Ă H 0 t are such. Moreover, since res is a Serre quotient functor with a fully faithful left adjoint, any exact sequence ε : 0 ÝÑ L ÝÑ M ÝÑ N ÝÑ 0 in p P lifts to an exact sequence ε 1 : 0 ÝÑ L 1 ÝÑ M 1 ÝÑ N 1 ÝÑ 0, and the exactness of F pεq follows from that of Ă H 0 t pε 1 q. Suppose now that P is t-generating and take any morphism f : U 1 ÝÑ U 0 in U such that M :" Cokerpypf qq P Kerpresq. Recall that any object of p U is of the form Cokerpypf qq for some f : U 1 ÝÑ U 0 , and note that M P Kerpresq if and only if pyU 1 q |P " Hom U p?, U 1 q |P ÝÑ Hom U p?, U 0 q |P " pyU 0 q |P is an epimorphism. Hence, any chosen P-precover p : P ÝÑ U 0 factors thorough f . Consequently, H 0 t ppq factors through H 0 t pf q and, since H 0 t ppq is an epimorphism in the heart of t by Lemmas 4.3 and 4.4, so is H 0 t pf q. It follows that Ă H 0 t pM q " CokerpH 0 t pf qq " 0. This proves that Kerpresq Ď Kerp Ă H 0 t q and, by the above discussion, also assertion (1). Suppose, conversely, that (1) holds, or equivalently Kerpresq Ď Kerp Ă H 0 t q. Let p : P 1 ÝÑ U be any P-precover, where U P U. We then have that N :" Cokerpyppqq P Kerpresq Ď Kerp Ă H 0 t q. That is, we have 0 " Ă H 0 t pN q " CokerpH 0 t ppqq, so that H 0 t ppq is an epimorphism in H. Then P is t-generating by Lemma 4.3.
It remains to prove the final assertion. The adjunction pF, Gq : p P Õ H simply arises as a composition of the two adjunctions given by Lemma 4.1 and Proposition 3.4, respectively. Finally, the fact that G is fully faithful follows by Lemma 4.6 below.
Lemma 4.6. Let t " pU, Vq be a t-structure in a triangulated category D and let P Ď U be a t-generating subcategory. The map η U,X : Hom U pU, Xq ÝÑ Hom p P py P U, y P Xq, induced by the functor y P : U ÝÑ p P, is bijective whenever U P U and X P H.
Proof. Let us fix X P H all through the proof. By Yoneda's lemma η P,X is bijective whenever P P P. Let U P U be arbitrary and, using that P is t-generating, choose a triangle U 1 u ÝÑ P 0 p ÝÑ UÝÑ, where p is a P-precover and U 1 P U. Similarly we choose a P-precover P 1 q ÝÑ U 1 with cone in Ur1s. Note that then H 0 t ppq and H 0 t pqq are epimorphisms in H while y P ppq and y P pqq are epimorphisms in p P " mod-P. On the other hand, applying the functor Hom p P p?, y P Xq to the second of the exact sequences in the previous paragraph, we get another exact sequence (4.4) 0 ÝÑ Hom p P py P U, y P Xq pÝ Ñ Hom p P py P P 0 , y P Xq puqqÝ Ñ Hom p P py P P 1 , y P Xq in Ab. The two exact sequences (4.3) and (4.4) can be clearly inserted as rows of a commutative diagram with η U,X , η P0,X and η P1,X as vertical arrows connecting the two rows. Then η U,X is an isomorphism since so are η P0,X and η P1,X .
We conclude the section by extracting a concrete description of the Serre subcategory KerpF q Ď p P from Theorem 4.5, which will be of use later.
The 'only if' part: Suppose now that F pM q " 0 and choose a morphism g : U ÝÑ U 2 in U (even in P, if we want) such that M -Coker y P pgq. It then follows that F py P pgqq is an epimorphism since F is exact and F pM q " 0, and then in turn H 0 t pgq is an epimorphism since F˝y P -pH 0 t q |U . If we now complete g to a triangle it follows from Lemma 4.3 that U 1 P U.

Pure-injective objects and exact direct limits
In the previous section we have constructed, for an aisle U in a triangulated category D and a nice enough subcategory P Ď U, a Serre quotient functor F : p P ÝÑ H onto the heart of the t-structure whose aisle is U. The construction dualizes easily and we also obtain a similar Serre quotient functor F 1 : q Q ÝÑ H for a nice enough full subcategory Q Ď V of a co-aisle, where q Q :" p y Q op q op " pmod-pQ op qq op .
One of our main concerns is when H is AB5 or a Grothendieck category, and we will address the question via first checking whether p P or q Q is AB5 or a Grothendieck category. In other words, we wish to obtain practical criteria on P and Q ensuring that p P and q Q possess the required exactness properties, respectively. In the first case, we restrict ourselves to the case of module categories, i.e. to the situation where P has coproducts and there exists a set S Ď P such that P " AddpSq and each S P S is small in P (in the sense that Hom P pS, ?q : P ÝÑ Ab preserves coproducts). It is well known that then we have an equivalence p P » ÝÑ Mod-S, Although there exist Grothendieck categories with enough projective objects which are not module categories (see [BHP`20]), they seem to be quite difficult to construct and we do not use them here.
Here we focus more on the dual question when q Q is AB5 or a Grothendieck category. A main argument, which we extend and apply here, was given in [PŠ19].
The key notion is that of pure-injectivity, which is defined in the spirit of [ČŠ20] and which coincides with the classical one when A is either ‚ a locally finitely presented additive category with products (see [CB94]; beware that following [AR94], one would dub such categories finitely accessible with products) or ‚ a compactly generated triangulated category (see [Kra00, Theorem 1.8]).
Definition 5.1. Let A be any additive category with (set-indexed) products.
(1) An object Y of A will be called pure-injective if, for each set I, there is a morphism f : has a generator (that is, there is Y 1 P Prod A pY q such that the functor HompY 1 , ?q : Prod A pY q ÝÑ Ab is faithful).
Let us collect first some easy consequences of the definition.
Lemma 5.2. Any product of pure-injective objects in A is pure-injective. A summand of a pure-injective object is pure-injective.
Proof. Suppose that pY j q jPJ is a collection of pure-injective objects, I is a set and f j : Y I j ÝÑ Y j is a map as in Definition 5.1. Then ś jPJ f j : p ś jPJ Y j q I ÝÑ ś jPJ Y j yields the identity when composed with any canonical section of the product. Hence ś jPJ Y j is pure-injective.
Similarly, if Y " Y 1 'Y 2 is pure-injective, I is a set and we have a map f : Y I ÝÑ Y as in the definition, then the composition with the section of the splitting of Y I and the retraction of the splitting of Y gives the desired map for Y 1 .
Lemma 5.3. Let A be an additive category with products. Then Y is pure-injective (resp. accessible pure-injective) in A if and only if Y is such in Prod A pY q. If B is another additive category with products, F : A ÝÑ B is a product-preserving functor and Y a pure-injective object of A, then F pY q is pure-injective in B.
Proof. The first claim is obvious from the definition. Regarding the second claim, let Y P A be pure-injective and I be a set. Fix a morphism f : Then F pf q : F pY I q ÝÑ F pY q is a morphism from the product of I copies of F pY q in B such that F pf q˝F pλ i q " 1 F pY q , for all i P I. Therefore F pY q is pure-injective in B.
In the context of Lemma 5.2, one is often interested not in individual pureinjective objects Q P A, but rather in the classes of the form ProdpY q. This leads to the following definition.
Definition 5.4. We call two pure-injective objects Y, Y 1 P A product-equivalent if ProdpY q " ProdpY 1 q in A.
Note that, in the situation of Definition 5.1, even when in addition A is abelian with coproducts, an injective object of A need not be pure-injective. The reason for this is that the canonical morphism Y pIq ÝÑ Y I need not be a monomorphism, e.g. when A " Ab op and Y " Z. In fact the following extension of the dual of [PŠ19, Theorem 3.3] is the main result of the subsection. Note that AB3* abelian categories with an injective cogenerator are automatically AB3 by the adjoint functor theorem [Fai73, Proposition 6.4], and hence satisfy AB4.
Proposition 5.5. Let A be an AB3* abelian category with an injective cogenerator E (i.e. A » q Q for Q " Prod A pEq by the dual of Proposition 2.3). Then the following assertions are equivalent: (1) A is AB5.
(2) A has an injective cogenerator which is pure-injective.
(3) All injective objects of A are pure-injective. Moreover, if the equivalent conditions above hold, then A is a Grothendieck category if and only if some (or any) injective cogenerator of A is accessible pure-injective.
Proof. As mentioned, the first part is formally dual to [PŠ19, Theorem 3.3].
Regarding the moreover part, let use denote by Q Ď A the class of injective objects and suppose first that A is a Grothendieck category with a generator G. Consider j : G E an embedding of G into an injective object. Then the j induces a surjective natural transformation j˚: Hom Q pE, ?q ÝÑ Hom A pG, ?q |Q .
Since Hom A pG, ?q is faithful, so is Hom Q pE, ?q and, hence, E is a generator of Q.
Suppose conversely that A is complete and AB5 and E is a generator for Q. We first observe that the canonical map f : E pIq ÝÑ F , where I " Hom A pE, F q, is an epimorphism in A for any F P Q. Indeed, if it were not, we could consider a composition g : where the second map is an inclusion into an injective object F 1 . Then g is non-zero, but the composition g˝f 1 vanishes for any f 1 P Hom A pE, F q by the choice of g. This contradicts the fact that E is a generator of Q. Now we claim that the set S of all subquotients of finite direct sums of copies of E generates A. Indeed, given any X P A, we first embed it into an injective object F and then we again consider the canonical map f : E pIq ÝÑ F , where I " Hom A pE, F q. This map is an epimorphism in A by the previous paragraph. If we denote for any finite subset J Ď I by Z J the image of the composition E pJq E pIq f ÝÑ F , then clearly F is the direct union of the subobjects Z J . By the AB5 condition, we have equalities in the lattice of subobjects of F , and hence we obtain an epimorphism ž J finite Z J X X ÝÑ X in A. This proves the claim and the proposition.
Finally, we touch the question of accessibility of pure-injective objects. It is a purely technical condition, which is very often satisfied for categories arising in practice. For our purposes, we record the following lemma.
Lemma 5.6. Let Q be a pure-injective object in a standard well generated triangulated category D. Then Q is accessible pure-injective.
Proof. Assume first that D is compactly generated. By [Kra00, Theorem 1.8], we know that yQ is an injective object of Mod-D c , where y : D ÝÑ Mod-D c is the generalized Yoneda functor that takes D ù yD " Hom D p?, Dq |D c . Note that y preserves products and induces an equivalence of categories Prod D pQq » ÝÑ Prod Mod-D c pyQq. If now T denotes the hereditary torsion class in Mod-D c consisting of the D c -modules T such that Hom Mod-D c pT, yQq " 0, we have that the quotient functor q : Mod-D c ÝÑ pMod-D c q{T ": G induces an equivalence Prod Mod-D c pyQq » ÝÑ InjpGq. As G is a Grothendieck category and we have proved that Prod D pQq » InjpGq, the conclusion follows by Proposition 5.5.
Suppose now that D " C{ Loc C pSq is general, where C is compactly generated and S is a set of objects of C. Then the localization functor q : C ÝÑ D has a fully faithful right adjoint ι : D ÝÑ C by [Nee01b, Proposition 1.21 and Lemma 9.1.7]. If Q P D is pure injective, so is ιpQq P C by Lemma 5.3. Moreover, ι induces an equivalence of categories Prod D pQq » Prod C`ι pQq˘. As the latter category has a generator by the previous paragraph (see Definition 5.1), the same is true for the former category and the lemma follows.

Representability for coproduct-preserving homological functors
In several treatments of compactly or well generated triangulated categories (see [Kra00,Nee01b,Kra10]), coproduct-preserving homological functors played an important role. Here we wish to explain how such functors can be in great generality represented by objects of the triangulated category.
Throughout, we will denote by D a triangulated category with coproducts, and consider homological functors H : D ÝÑ A to an AB3* abelian category A that has an injective cogenerator. As said before, such categories are also AB4.
In fact, we will study homological functors as above only up to a certain equivalence. The rationale is that given a homological functor H : D ÝÑ A, one is for a large part only interested in the long exact sequences from triangles and whether terms or maps in these sequences vanish. If we compose H with a faithful and exact functor F : A ÝÑ A 1 of abelian categories, these properties do not change and computations with H using only these properties could be equally performed with F˝H : D ÝÑ A 1 . If H preserves coproducts, we typically wish that F preserves coproducts as well. This leads us to the following definition, where we consider an even more restrictive condition on functors F : A ÝÑ A 1 (which is, however, equivalent if A is a Grothendieck category).
Definition 6.1. Let D be a triangulated category with coproducts and H : D ÝÑ A and H 1 : D ÝÑ A 1 be coproduct-preserving homological functors, where A, A 1 are AB3* abelian categories with injective cogenerators.
We say that H 1 is a faithfully exact reduction of H is there exists a faithful exact left adjoint functor F : A ÝÑ A 1 such that H 1 -F˝H.
We call H and H 1 computationally equivalent if they are related by a finite zig-zag of faithfully exact reductions. In other words, computational equivalence is the smallest equivalence relation extending the relation 'being a faithfully exact reduction'.
The next theorem among others says that for nice enough triangulated categories D, computational equivalence classes of coproduct-preserving functors from D to an AB3* abelian category with an injective cogenerator are in bijection with product-equivalence classes of objects in D. The theorem in fact gives more precise information-it says that each computation equivalence class of homological functors contains one such functor which is initial (this can be viewed as an analogue of Lemma 3.2 for homological functors). To state that precisely, we will use a very small piece of 2-category theory.
We define the 2-category HFunpDq of coproduct-preserving homological functors originating in D as follows. The objects will be all coproduct-preserving homological functors H : D ÝÑ A, where A is an AB3* abelian category with an injective cogenerator. The morphisms between H : D ÝÑ A and H 1 : D ÝÑ A 1 will be the faithful exact left adjoint functors F : A ÝÑ A 1 making the triangle strictly commutative. The collection of natural transformations between the morphisms F, F 1 : H ÝÑ H 1 consists all natural transformation between the underlying functors A ÝÑ A 1 in the usual sense.
In that language, the computational equivalence classes precisely correspond to the connected components of HFunpDq (i.e. the smallest subclasses of objects which are pairwise connected by zigzags of morphisms). This is because any two naturally isomorphic homological functors H 0 , H 1 : D ÝÑ A which are objects of HFunpDq are in the same connected component. Indeed, the full subcategory IsopAq of MorpAq given by the isomorphisms is equivalent to A via equivalences of categories π 0 , π 1 : IsopAq ÝÑ A that take any isomorphism A 0 ÝÑ A 1 to A 0 and A 1 , respectively. A quasi-inverse for each π i is the functor A ÝÑ IsopAq that takes any object to its identity morphism. If α : H 0 -ÝÑ H 1 is natural isomorphism, then we have an obvious homological functor H : D ÝÑ IsopAq which sends X P D to α X P IsopAq. Since we clearly have that π i˝H " H i , for i " 0, 1, we conclude that all of H 0 ,H and H 1 are in the same connected component of HFunpDq.
We will consider each component of HFunpDq as a full sub-2-category; then HFunpDq is a disjoint union of these. Finally, we define an initial object in a 2category C as an object X P C such that each Y P C admits a unique morphism from X up to natural equivalence. Such an X is necessarily unique in C up to equivalence (and, in fact, is the initial object of the ordinary category which we obtain from C when we identify naturally equivalent morphisms, so that equivalences in C are turned to isomorphisms).

Theorem 6.2. Let D be a triangulated category which has arbitrary (set-indexed) coproducts and satisfies Brown representability theorem. Then there is a bijective correspondence between
(1) the connected components of HFunpDq and (2) product-equivalence classes of objects in D.

Moreover, each connected component of HFunpDq has an (up to equivalence) unique initial object H : D ÝÑ A, which is characterized by the fact that it induces an equivalence H | ProdpQq : ProdpQq
» ÝÑ InjpAq, where Q is an object representing the product-equivalence class as in (2) corresponding to H.
In order to prove the theorem, we first establish the following characterization of exact and faithful left adjoints.

Lemma 6.3. Let pF, Gq : A Õ B be an adjoint pair of functors between abelian categories and suppose that B is AB3* with an injective cogenerator E. Then (i) F is exact if and only if GpEq is injective in A, and (ii) F is faithful if and only if GpEq is a cogenerator in A.
Proof. Proof of Theorem 6.2. Note that D has products, which we obtain by applying Brown representability to products of functors ś iPI Hom D p´, D i q : D op ÝÑ Ab. Let us describe the correspondence between (1) and (2). First fix an object pH : D ÝÑ Aq of HFunpDq. Given an injective object E P A, we choose GpEq P D representing Hom A pHp?q, Eq : D op ÝÑ Ab. By the Yoneda lemma, we in fact obtain a product-preserving functor G : InjpAq ÝÑ D and a natural isomorphism (6.1) Hom A`H p?q, ?˘-Hom D`? , Gp?q˘: D opˆI njpAq ÝÑ Ab.
We assign to H the object GpEq P D, where E P A is an injective cogenerator. In order to see that this is well-defined, first note that any two injective cogenerators are product-equivalent, and so are their images under G. Furthermore, if F : A ÝÑ A 1 is a faithful exact left adjoint functor and G 1 : A 1 ÝÑ A is the corresponding right adjoint, then Hom A 1`F pHp?qq, ?˘-Hom A`H p?q, G 1 p?q˘-Hom D`? , GpG 1 p?qq˘.
If E 1 is an injective cogenerator of A 1 , then G 1 pEq is an injective cogenerator of A thanks to Lemma 6.3. This implies that both H and F˝H are assigned to the product-equivalence class of the object GpG 1 pEqq P D.
Conversely, let us start with the class Prod D pQq obtained from Q P D. Then A Q :" ContpProdpQq, Abq op " ProdpQq is an AB3* abelian category and the functor E Q :" Hom ProdpQq pQ, ?q is its injective cogenerator by Lemma 2.4. We assign the product-equivalence class of Q to the restricted Yoneda functor This is obviously a homological functor and it preserves coproducts since is a product in ContpProdpQq, Abq and, thus, a coproduct in A Q . Now we prove that the assignments provide mutually inverse bijections. If we start with Q P D, we have for any D P D that Hom AQ`HQ pDq, E Q˘-Hom ContpProdpQq,Abq`H om ProdpQq pQ, ?q, Hom D pD, ?q | ProdpQq˘-Hom D pD, Qq by the Yoneda lemma. Comparing this with (6.1), we see that the corresponding functor G Q : InjpA Q q ÝÑ D sends E Q to Q. It follows that the assignment p1q ÝÑ p2q recovers Q back from A Q .
Let us conversely start with pH : D ÝÑ Aq P HFunpDq and consider the functor G : InjpAq ÝÑ D defined by (6.1), an injective cogenerator E P A and the object Q " GpEq P D. To see that H and H Q as in (6.2) are computationally equivalent, it suffices to prove that there is a faithful exact left adjoint functor F : A Q ÝÑ A such that F˝H Q -H. To this end, observe that the precomposition with G : InjpAq ÝÑ Prod D pQq induces a functor The functor F˝H Q : D ÝÑ A takes D to Hom D pD, Gp?qq |InjpAq . Since InjpAq " ProdpEq we get by (6.1) that pF˝H Q qpDq -Hom A pHpDq, ?q |InjpAq , which is precisely the object that corresponds to HpDq by the canonical equivalence A -ContpInjpAq, Abq op . That is, we have an isomorphism pF˝H Q qpDq -HpDq, for all D P D, which easily leads to a natural isomorphism F˝H Q -H. There is also a natural functor in the opposite direction. Namely, the dual version of Lemma 2.3 provides and equivalence where MorpInjpAqq is the quotient of MorpInjpAqq by the ideal of all maps factoring through a split monomorphism. Similarly, we have MorpProd D pQqq » A Q given by f 1 ù Coker Hom ProdpQq pf 1 , ?q (the cokernel is taken in ContpProd D pQqq " A op Q ). Now G : InjpAq ÝÑ Prod D pQq induces a functor MorpInjpAqq ÝÑ MorpProd D pQqq and hence also a functor That F is left adjoint to G follows by a computation analogous to (4.1) in the proof of Lemma 4.1. Finally, F is faithful and exact since G sends by construction the injective cogenerator E P A to the injective cogenerator Hom ProdpQq pQ, ?q P A Q .
To prove the moreover part, note that given Q P D, H Q as in (6.2) induces an equivalence pH Q q | ProdpQq : ProdpQq and F : A 1 ÝÑ A 2 is an exact functor to an abelian category A 2 , then F˝H 1 determines F up to natural isomorphism. Indeed, F˝H 1 determines F |InjpA 1 q and, since A 1 has enough injectives and F is left exact, F |InjpA 1 q determines F . It follows that H 1 is a (necessarily unique up to equivalence) initial object of the connected component of HFunpDq in which it is contained.
Once Theorem 6.2 is at hand, we have a clean criterion to determine when two functors as in its statement are computationally equivalent.
Corollary 6.4. Let D be as in Theorem 6.2 and let H, H 1 P HFunpDq. The following assertions are equivalent: (1) H and H 1 are computationally equivalent.
( p2q ùñ p1q Let Q and Q 1 be objects of D representing the initial objects of the connected component of H and H 1 in HFunpDq. By the previous paragraph we have that, given an s P MorpDq, H Q psq " Hom D ps, ?q | ProdpQq " 0 if, and only if, H Q 1 psq " Hom D ps, ?q | ProdpQ 1 q " 0. That is, Hom D ps, Qq " 0 if, and only if, Hom D ps, Q 1 q " 0. We now consider the canonical map v : Q 1 ÝÑ Q HomDpQ 1 ,Qq and complete it to a triangle K u ÝÑ Q 1 v ÝÑ Q HomD pQ 1 ,QqÝ Ñ. We have that Hom D pu, Qq " 0, and hence Hom D pu, Q 1 q : Hom D pQ 1 , Q 1 q ÝÑ Hom D pK, Q 1 q is also the zero map. This gives that u " 0 and so v is a section. This proves that ProdpQ 1 q Ď ProdpQq and the reverse inclusion follows by exchanging the roles of Q and Q 1 in the argument.
A conceptual explanation of the criterion in Corollary 6.4 is given by the following observation, which we will use in the next section.

1) is a Gabriel localization functor and
Proof. By (the proof of) Theorem 6.2, we may identify H Q with the generalized Yoneda functor On the other hand, it is rather well known that p D is an abelian category with enough injective objects and these coincide with the projective objects. We also know by [Kra00, Lemma 2.1] that y D : D ÝÑ p D is a universal homological functor and, by the last sentence, the functor has the same property. By comparing the universal properties, this implies that we can canonically identify p D and q D in a way compatible with the Yoneda embeddings. The functor p H Q then identifies with the opposite of the restriction functor along the inclusion Prod D pQq Ď D, since the following diagram commutes: Now we just apply the dual version of Lemma 4.1 to see that res op is a Gabriel localization functor.
In order to compute Ker p H Q " Kerpres op q " Ker Hom q D p´, y 1 D pQqq, note first that any M P q D is of the form Im y 1 D psq for a map s : X ÝÑ Y in D. This holds since q D p» p Dq has enough projective and enough injective objects and both are precisely the representable functors. Since also y 1 D pQq is injective in q D, we have Hom q D`I m y 1 D psq, y 1 D pQq˘" Im Hom q Theorem 6.2 shows that there are too many coproduct-preserving homological functors from D, almost as many as objects of D. In order to make the theorem practical, we restrict the class of functors of interest to those with an AB5 target. To then end, note that AB5 descends along faithful exact left adjoints.
Lemma 6.6. Let F : A ÝÑ B be a faithful exact left adjoint functor between AB3* abelian categories. If B is AB5 and with an injective cogenerator, then A has the same properties.
Proof. Let E P B be an injective cogenerator, which is pure-injective by Proposition 5.5. If G is right adjoint to F , then GpEq P A is a pure-injective injective cogenerator by Lemmas 5.3 and 6.3. Finally, A is AB5 by Proposition 5.5.
Then we obtain the following corollaries of Theorem 6.2. The good news is that the class of pure-injective objects is generally considered much more tractable than that of all objects. For instance, any compactly generated triangulated category admits a pure-injective object Q such that ProdpQq exhausts all pure-injectives. In the following section we will prove the same for standard well generated triagulated categories. On the other hand, it rarely happens that there is Q P D such that ProdpQq exhausts all objects of D.
Corollary 6.7. The bijection from Theorem 6.2 restricts to a bijection between (1) the computational equivalence classes of coproduct-preserving homological functors H : D ÝÑ A, where A is complete AB5 abelian with an injective cogenerator, (2) product-equivalence classes of pure-injective objects in D.
Proof. If pH : D ÝÑ Aq P HFunpDq is such that A is AB5, so is the initial object of the connected component of H by Lemma 6.6.
(1) If C P D is compact and H " Hom D pC, ?q, then H corresponds to the product-equivalence class of the object C˚representing the functor Hom Z`H om D pC, ?q, R{Z˘: D op ÝÑ Ab.
(2) If D is compactly generated and y : D ÝÑ Mod-D c is the standard restricted Yoneda functor, then y corresponds to the product-equivalence class of ś CPD c C˚. In fact ProdtC˚| C P D c u is the class of all pure injective objects of D.
(3) If D " SH is the stable homotopy category of spectra and E P SH, then we have the homological theory with coefficients in E given by E˚:" π 0 pE^?q : SH ÝÑ Ab. It corresponds to the pure-injective spectrum E 1 which represents the functor Hom Z`E˚p ?q, R{Z˘: SH op ÝÑ Ab. This construction was considered by Brown and Comenetz [BC76]. (4) If we specifically choose the Eilenberg-Maclane spectrum E " HZ in (3), then E˚is the ordinary homology with coefficients in Z. In that case E 1 " HG, where G " R{Q (considered as a discrete group). This follows from the universal coefficient theorem for cohomology.
We conclude the section with a general existence result for t-structures (and so also semi-orthogonal decompositions) cogenerated by a pure-injective object, generalizing a recent result of Laking and Vitória, [LV20, Corollary 5.11].
Proposition 6.9. If D is a standard well generated triangulated category and Q a pure-injective object, then D admits a t-structure pU Q , V Q q :" p Kă0 Q, p Kď0 Qq K q.
Proof. Recall that D has products and satisfies the Brown representability theorem. If we put Q 1 :" ś iă0 Qris, then Q 1 is also pure-injective and we have the usual coproduct-preserving homological functor H Q 1 : D ÝÑ A Q 1 such that A Q 1 is a Grothendieck category (recall Proposition 5.5 and Lemma 5.6). Moreover, KerpH Q 1 q " Kă0 Q. Note that this subcategory is clearly suspended and closed under coproducts in D. So according to Proposition 2.12, it remains to show that, for any object X P D, there is a set S X Ă Kă0 Q such that any morphism f : X ÝÑ U , with U P Kă0 Q, factors through an object of S X .
Here we rely on results on well generated triangulated categories from [Nee01b,Kra10] and model the argument on the proof of [Kra10, Theorem 7.5.1]. First of all, D is λ-well generated for some regular cardinal λ and there exist arbitrarily large regular cardinals µ ě λ such that (1) H Q 1 pCq is ă µ-presented in A Q 1 for each C P D λ (here D λ stands for the essentially small subcategory of λ-compact objects as in §2.6) and (2) the class of ă µ-presented objects in A Q 1 forms and exact abelian subcategory (see §2.3). Since D µ coincides by [Kra01a,Lemma 5] with the smallest triangulated subcategory containing D λ and closed under coproducts with ă µ terms, and since H Q 1 is homological and preserves these coproducts, it follows that H Q 1 pCq is ă µ-presented even for each C P D µ . Now let f : D 0 " X ÝÑ U be a morphism in D with U P Kă0 Q and we fix an uncountable regular cardinal µ ě λ such that D 0 is µ-compact and µ satisfies conditions p1q and p2q above. If we choose a skeleton r D µ of D µ (and we without loss of generality assume that D 0 is contained in r D µ ), we shall see that S X " r D µ X Kă0 Q will satisfy the required condition from Proposition 2.12.
To see this, note that H Q 1 pU q " lim Ý Ñpg : CÑUq H Q 1 pCq in A Q 1 by [Kra10, Theorem 6.9.1], where the colimit runs over all morphisms g : C ÝÑ U with C P r D µ . Although this is not a µ-direct limit, it is a so-called µ-filtered colimit by [Kra10, Lemma 6.5.1] and µ-filtered colimits are very close to µ-direct limits (see [AR94, Theorem 1.5 and Remark 1.21] for a precise relation). In particular Hom A Q 1 pH Q 1 pD 0 q, ?q commutes with µ-filtered colimits and, since H Q 1 pU q " 0, we have lim Ý Ñ g : CÑU Hom A Q 1 pH Q 1 pD 0 q, H Q 1 pCqq -Hom A Q 1 pH Q 1 pD 0 q, H Q 1 pU qq " 0 and so we can find a factorization D 0 ÝÑ U of f with D 1 P r D µ and such that H Q 1 pg 1 q " 0. However, we can obtain a similar factorization of f 1 : D 1 ÝÑ U for the same reason and repeating this procedure again and again, we construct by induction a cocone with all the D i in r D µ and such that H Q 1 pg i q " 0 for all i ą 0. Finally, note that f factors through the Milnor colimit McolimpD i q of the sequence in the upper row (see §2.7) and, since µ was chosen uncountable, we have McolimpD i q P r D µ up to isomorphism. However, putting x " g in the triangle (2.2) of the Milnor colimit, we have that H Q 1 pgq " 0 and so 1´g : Since the triangle is sent by H Q 1 to a short exact sequence (see Definition 7.2 and Example 7.3 below), we conclude that H Q 1 pMcolimpD i qq " 0, which implies that McolimpD i q P r D µ X Kă0 Q.

Universal coproduct-preserving homological functors
A starting point for this section is a result by Krause [Kra00, Corollary 2.4] saying that, for a compactly generated triangulated category D, the generalized Yoneda functor is a universal coproduct-preserving homological functor with an AB5 target in the following sense: any other coproduct-preserving homological functor H : D ÝÑ A, where A is an AB5 abelian category, factors essentially uniquely as H -F˝h pure , where the functor F : Mod-D c ÝÑ A is exact and coproduct-preserving (or equivalently, F is an exact left adjoint).
In fact, the proof of [Kra00, Proposition 2.3] shows more: Each natural transformation α : H ÝÑ H 1 between coproduct-preserving homological functors D ÝÑ A uniquely extends to a natural transformation ϕ : F ÝÑ F 1 between the corresponding exact coproduct-preserving functors Mod-D c ÝÑ A. Thus, the precomposition with h pure induces an equivalence between the corresponding functor categories (7.2) hp ure : rMod-D c , As ex,> » ÝÑ rD, As h,> .
We remind the reader of Remark 2.6 at this point-analogous considerations about the interaction with set theory apply here as well. This result has been further generalized to homological functors with only exact κ-directed colimits for some cardinal κ (see [Nee01b,Kra10]), but here we pursue another direction. As we are interested in methods involving purity and pureinjectivity, it appears crucial to insist that the targets of our coproduct-preserving homological functors are AB5. The next proposition says that such a universal functor h pure : D ÝÑ A pure pDq exists at least for any standard (in particular, for any algebraic or topological) well generated triangulated category D. Moreover, there is up to isomorphism a unique functor res 1 : p D ÝÑ A pure pDq which is exact, has a fully faithful right adjoint (so it is a Serre quotient) and makes the following triangle commutative: The proof requires some preparation and will be given later in the section. This result allows us to extend the definition of pure triangles and we will see later that the pure-injective objects in the sense of Definition 5.1 become injective with respect to them. If D is compactly generated, we define h pure as in (7.1) and put A pure pDq :" Mod-D c . In general, we can express D as D " C{ Loc C pSq, where C is compactly generated triangulated and S Ď ObpCq is a set of objects. Let T Ď Mod-C c be the smallest hereditary torsion class containing h pure`Ť nPZ Srns˘, put A pure pDq " Mod-C c {T and define h D " h pure : D ÝÑ A pure pDq as the unique functor fitting into the following commutative diagram (we will abuse the notation and denote both horizontal arrows by h pure ): Example 7.3. In any standard well generated triangulated category, the triangle (2.2) that defines the Milnor colimit is pure. This is because if D " C{Loc C pSq, with C and S as above, then the triangle is the image under q : C ÝÑ D of the triangle associated to the same sequence, when viewed as a sequence in C using the fully faithful right adjoint ι : D ÝÑ C. That the functor h pure : D ÝÑ A pure pDq maps the triangle to a short exact sequence is then a consequence of the purity of the triangle in C, the commutativity of the last diagram and the exactness of q 1 .
Lemma 7.4. With the notation above and, without loss of generality, assume that S " Srns for all n P Z. Then the following hold: (1) Y P D is pure-injective if and only if Y -qpY 0 q for Y 0 P S K Ď C which is pure-injective. Such Y 0 is, moreover, unique up to isomorphism.
(2) If X, Y P D and Y is pure injective, then h pure induces an isomorphism Hom D pX, Y q -Hom ApurepDq`hpure pXq, h pure pY q˘.
(3) h pure restricts to an equivalence PInjpDq » InjpA pure pDqq, where PInjpDq stands for the full subcategory of pure-injective objects. Proof.
(1) The functor q has a fully faithful right adjoint ι : D ÝÑ C which induces an exact equivalence D ÝÑ S K (see [Nee01b, Remark 1.16, Proposition 1.21 and Lemma 9.1.7]). Hence Y is pure-injective in D if and only if ιpY q is pure-injective in S K if and only if ιpY q is pure-injective in C. It remains to note that if we put Y 0 " ιpY q, then qpY 0 q -Y . The last sentence follows by the fact that q restricts to an equivalence S K » D.
(2) Since q is essentially surjective on objects, we can take X 0 , Y 0 P C such that qpX 0 q -X and qpY 0 q -Y . Moreover, we can take Y 0 " ιpY q P S K which is pureinjective in C by the previous part. Then q induces an isomorphism Hom C pX 0 , Y 0 q -Hom D pX, Y q. On the other hand, [Kra00, Lemma 1.7 and Theorem 1.8] say that h pure induces an isomorphism Hom C pX 0 , Y 0 q -Hom Mod-C c`h pure pX 0 q, h pure pY 0 q˘. Finally, since h pure pY 0 q is injective in Mod-C c by [Kra00, Theorem 1.8] and it belongs to T K , the functor q 1 induces Hom Mod-C c`h pure pX 0 q, h pure pY 0 q˘-Hom ApurepDq`q 1˝h pure pX 0 q, q 1˝h pure pY 0 q-Hom ApurepDq`hpure pXq, h pure pY q( 3) Note that for any pure-injective object Y 0 P C, we have Y 0 P S K if and only if h pure pY 0 q P h pure pSq K " T K . If we combine this with part (1) and a classical fact that E P A pure pDq is injective if and only if Eq 1 pE 0 q for an up to isomorphism unique injective module E 0 P T K , we deduce that X P D is pure-injective if and only if h pure pXq is injective in A pure pDq.
Proof of Proposition 7.1. Let us keep the notation of (7.3) and suppose that we are given an AB5 abelian category A. For simplicity and without loss of generality, assume that S " Srns, for all n P Z. Then the equivalence hp ure : rMod-C c , As ex,> » ÝÑ rC, As h,> as in (7.2) restricts to an equivalence between the full subcategories of (i) exact coproduct-preserving functors Mod-C c ÝÑ A vanishing on h pure pSq and (ii) coproduct-preserving homological functors C ÝÑ A vanishing on S. Now q 1 from (7.3) is a coproduct-preserving Serre quotient functor, so pq 1 q˚is fully faithful and, in fact, restricts to a fully faithtul functor pq 1 q˚: rA pure pDq, As ex,> ÝÑ rMod-C c , As ex,> whose essential image is precisely the class of functors described in (i) above. Similarly, q from (7.3) is also a localization functor (recall [Nee01b, §2.1]) and q˚restricts to a fully faithful functor q˚: rD, As h,> ÝÑ rC, As h,> whose essential image is precisely the class of functors as in (ii) above. This implies that hp ure : rA pure pDq, As ex,> ÝÑ rD, As h,> is an equivalence, as desired.
To prove the moreover part, note that h pure : D ÝÑ A pure pDq restricts to an equivalence PInjpDq » InjpA pure pDqq by Lemma 7.4. Since A pure pDq has an injective cogenerator, there exists Q P PInjpDq such that PInjpDq " Prod D pQq. It follows from Theorem 6.2 that h pure is an initial object in the connected component of HFunpDq corresponding to the product equivalence class of Q and the conclusion follows from Corollary 6.5.
Remark 7.5. If D is compactly generated, then it has enough pure-projective objects (we call X P D pure-projective if Hom D pX, ?q sends pure triangles to short exact sequences) and one can dualize the final part of the last proof to show that the functor res 1 : p D ÝÑ A pure pDq " Mod-D c in Proposition 7.1 also has a fully faithful left adjoint (see [Kra10, Proposition 6.7.1]).
An immediate consequence of the arguments is the following observation. We shall call u as below the pure-injective envelope of D in D.
Corollary 7.6. Let D be a standard well generated triangulated category. For each object D P D there is a pure monomorphism u : D ÝÑ Q D , uniquely determined up to isomorphism, such that Q D is pure-injective and h pure puq : h pure pDq h pure pQ D q is an injective envelope in A pure pDq.
Remark 7.7. A note of caution is apropos concerning last corollary. When D is standard well generated, one immediately gets from assertions (2) and (3) of Lemma 7.4 that an object D is in the kernel of h pure : D ÝÑ A pure pDq if and only if Hom D pD, Qq " 0, for all Q P PInjpDq. In such case the pure-injective envelope of D is just the morphism D ÝÑ 0. This pathology will be possible only when PInjpDq does not cogenerate D. It then excludes the cases when D is compactly generated or when D " DpGq is the derived category of a Grothendieck category. By contrast, if R is any (associative unital) ring and S Ď DpRq is a set of objects such that S K Z is not of the form K Q, for a class Q of pure-injective objects, then the standard well generated triangulated category DpRq{ Loc DpRq pSq shows the pathology above. Although it seems very likely that such examples do exist, we unfortunately do not know any actual instance.
If we combine Theorem 6.2 with Proposition 7.1, we obtain the following structure result for coproduct-preserving homological functors to AB5 abelian categories.
Corollary 7.8. Let H : D ÝÑ A be a coproduct-preserving homological functor with D standard well generated and A satisfying AB5. Then H essentially uniquely factorizes as whereq is a Gabriel localization functor and F is a faithful exact left adjoint functor.
Proof. We first use the universal property of h pure : D ÝÑ A pure pDq and then factorize the resulting functor A pure pDq ÝÑ A according to Lemma 3.2. This ensures the uniqueness. Sinceq is an exact coproduct-preserving localization functor, it is a Serre quotient functor and the corresponding Serre subcategory is closed under coproducts. Since further A pure pDq is a Grothendieck category,q is actually a Gabriel localization functor, and hence A init is also a Grothendieck category.
It is clear that the exact faithful functor F preserves coproducts, and hence all colimits. This together with the Grothendieck condition of A init imply that F has a right adjoint functor, due to Freyd's Adjoint Theorem [Fai73, Corollary 5.52].
The situation of primary interest in this paper is the one where H 0 t : D ÝÑ H is a coproduct-preserving homological functor which is associated with a t-structure t " pU, Vq whose heart is AB5. In analogy with Propotision 3.3, we prove that the last step in its factorization according to Corollary 7.8 is trivial. As a consequence, we obtain a counterpart of [SŠV17, Theorem C] for abstract triangulated categories without using their models.
Corollary 7.9. Let D be a standard well generated triangulated category with the universal coproduct-preserving homological functor h pure : D ÝÑ A pure pDq and let t " pU, Vq be a t-structure such that the heart H is AB5 and H 0 t : D ÝÑ H preserves coproducts.
Then H is a Grothendieck category and the induced exact coproduct-preserving functorq : A pure pDq ÝÑ H satisfying H 0 t "q˝h pure is a Gabriel localization functor.
Proof. Using Proposition 7.1 and the universal property of y D : D ÝÑ p D, we obtain a factorization of H 0 t of the form Now res 1 is a Serre quotient functor by Proposition 7.1 andq˝res 1 is a Serre quotient by Proposition 3.3. Henceq is a localization functor by Lemma 2.8. Sinceq is also exact and coproduct-preserving by the universal property of h pure " res 1˝y D , it is a Gabriel localization functor and H is a Grothendieck category by the discussion in §2.3.

t-structures with Grothendieck hearts
8.1. The AB5 condition for hearts of t-structures via injective cogenerators. In this subsection we study t-structures whose homological functors are coproduct-preserving and whose hearts are AB3* with an injective cogenerator. In particular, we analyze the objects which represent these homological functors in view of Theorem 6.2.
We first characterize the situation where the cohomological functor associated with a t-structure preserves coproducts.
Lemma 8.1. Let D be a triangulated category with coproducts and t " pU, Vq be a t-structure in D, with heart H. The following assertions are equivalent: (1) The cohomological functor H 0 t : D ÝÑ H preserves coproducts.
(2) For each family pV i q iPI of objects in V, one has that τ ď0 t p š iPI V i r´1sq P Ur1s.
(3) For each family pV i q iPI of objects in V, one has that τ ď0 t p š iPI V i r´1sq P Ş nPZ Urns. Remark 8.2. Note that if t is left non-degenerate, condition (3) above precisely means that t is a smashing t-structure.
in D and, by hypothesis, we know that H 0 objects are in Vr´1s. There are then isomorphisms, natural on D: It is routine, and left to the reader, to check that the isomorphism from the first to the fourth abelian group in the list is given by the assignment f ù H 0 t pf q.
(2) From assertion (1) we get that, for M P H, one has Hom H pM, H 0 t pQqq ‰ 0 if and only if Hom D pM, Qq ‰ 0. Assertion (2) then immediately follows.
(3) By assertion (1) and using the fact that H 0 t |V : V ÝÑ H preserves products, there is an equivalence of categories H 0 t : Prod D pQq » ÝÑ Prod H pH 0 t pQqq. The conclusion follows immediately from the first claim in Lemma 5.3 applied to both Q P D and H 0 t pQq P H. Now we can combine the above observations with the results of §6, which we apply to the cohomological functor associated with our t-structure.
Theorem 8.4. Let D be a triangulated category with products and coproducts, and let t " pU, Vq be a t-structure with heart H. Consider the following assertions: (1) There exists an object Q P V that satisfies the following conditions: (a) Hom D p?, Qq vanishes on Vr´1s; H is an AB5 abelian category with an injective cogenerator and, for each family pV i q iPI of objects in V, one has that τ ď0 t p š iPI V i r´1sq P Ur1s. (4) H is an AB5 abelian category with an injective cogenerator and the cohomological functor H 0 t : D ÝÑ H preserves coproducts (cf. Theorem 6.2). (5) H is a Grothendieck category and the cohomological functor H 0 t : D ÝÑ H preserves coproducts. The implications p1q ùñ p2q ùñ p3q ðñ p4q ðù p5q hold true. When D satisfies Brown representability theorem, the implication p3q ùñ p1q also holds. When D is standard well generated, all assertions are equivalent.
view of Lemma 2.4, we obtain the following diagram, which commutes up to natural equivalence both for the left and for the right adjoints, F is a Serre quotient functor and G its fully faithful left adjoint: Here, HQ is the restricted Yoneda functor taking V ù Hom D pV, ?q |Q and, in particular, it coincides with the coproduct-preserving initial functor constructed in (the proof of) Theorem 6.2 for the product equivalence class ofQ. Moreover, ContpQ, Abq op is an AB3* abelian category with enough injectives and its subcategory of injective objects is equivalent to ProdpQq (see Lemma 2.4). SinceQ is pure-injective, we know by Proposition 5.5 that it is also AB5.
Finally, we conclude by Proposition 2.9. It follows that F is a Gabriel localization functor and H is also AB5 with an injective cogenerator. Furthermore, F is a left adjoint, so that H 0 t -F˝HQ preserves coproducts. p4q ùñ p1q (when D satisfies Brown representability theorem) Let E be an injective cogenerator of H that, by Proposition 5.5, is pure-injective in H. The contravariant functor Hom D pH 0 t p?q, Eq : D ÝÑ Ab takes coproducts to products and, hence, it is representable. Let Q P D be the object that represents this functor. Since H 0 t vanishes on Vr´1s and we have H 0 t pM q -M , for all M P H, it immediately follows that Q satisfies conditions (1)(a) and (1)(b). On the other hand, H 0 t also vanishes on Ur1s, which then implies that Hom D p?, Qq vanishes in Ur1s. This is equivalent to say that Q P U K r1s " V. Moreover, we have natural isomorphisms of functors D op ÝÑ Ab, Hom D pH 0 t p?q, Eq -Hom D p?, Qq -Hom H pH 0 t p?q, H 0 t pQqq by the definition of Q and Proposition 8.3. By Yoneda's lemma, we conclude that H 0 t pQq -E, and Q is pure-injective again by Proposition 8.3. p4q ùñ p5q (assuming that D is standard well generated) is a direct consequence of Corollary 7.9.
We conclude with a slightly more general version of Corollary 7.9. Proof. This immediately follows from Theorem 6.2 and Proposition 8.3(1). 8.2. t-structures with definable co-aisle. Now we focus on t-structures in compactly generated triangulated categories whose co-aisles are definable. Recall from [Kra02b] that, when D is such a triangulated category, a functor F : D ÝÑ Ab is called a coherent functor on D when there is a morphism α : C ÝÑ C 1 in D c and an exact sequence Hom D pC 1 , ?q HomDpα,?q

ÝÑ
Hom D pC, ?q ÝÑ F ÝÑ 0 in mod-D op . The contents of the following result can be gathered from the papers [Kra00, Kra02b,Lak20]. At the request of the referee we include a short proof: Proposition 8.6. Let D be a compactly generated triangulated category. For a subcategory Y of D the following conditions are equivalent: (1) There is a set S Ď MorpD c q such that Y consists of the objects Y P D such that the map f˚:" Hom D pf, Y q is surjective, for all f P S.
(2) There is a set Σ Ď MorpD c q such that Y consists of the objects Y P D such that g˚:" Hom D pg, Y q is the zero map, for all g P Σ (3) There is a set F of coherent functors on D such that Y consists of the objects Y such that F pY q " 0, for all F P F . A subcategory satisfying these equivalent conditions is closed under pure monomorphisms, products, pure epimorphisms and pure-injective envelopes.
Proof. To ease the notation, we denote by y :" y D op : D op ÝÑ mod-D op , D ù ypDq " Hom D pD, ?q the Yoneda embedding. All through the proof we use that Hom D p?, Y q : D op ÝÑ Ab is a cohomological functor for each Y P D.
p1q ðñ p3q Given S as in condition (1), take F " tCokerpypf qq | f P Su. Given F as in condition (3), choose for each F P F a morphism g F : p1q ðñ p2q Given S as in condition (1), complete each f : For the final statements, suppose that X ÝÑ Y ÝÑ ZÝÑ is a pure triangle in D. Then we have the following commutative diagram of abelian groups with exact rows, for each morphism σ : If now Σ Ď MorpD c q is any set and Y is defined as in condition (2), it is clear that if Y P Y, i.e. the central vertical arrow of the last diagram is zero for all σ P Σ, then the same is true for X and Z. That is, the class Y is closed under pure monomorphisms and pure epimorphisms. It is clearly closed under products. Finally, by the Fundamental Correspondence Theorem of [Kra02b], we know that, for Y satisfying condition (3), one has that the skeletally small class PInjpYq of pure-injective objects in Y is a closed subset of the Ziegler spectrum of D, and Y consists of the objects Y P D such that there is a pure monomorphism α : Y ÝÑ ś iPI Q i , for some family pQ i q iPI in PInjpYq. Suppose now that Y P Y, fix such a pure monomorphism α and let u : Y ÝÑ Q Y be the pure-injective envelope. If we consider, as in Section 7, the generalized Yoneda embedding h pure : D ÝÑ Mod-D c , D ù Hom D p?, Dq |D c , we have that h pure pαq is a monomorphism into an injective object of Mod-D c and h pure puq is the injective envelope in Mod-D c . This together with [Kra00, Theorem 1.8] gives a section s : Q Y ÝÑ ś iPI Q i such that s˝u " α. Since Y is clearly closed under direct summands, we conclude that Q Y P Y.
Definition 8.7. A subcategory Y of a compactly generated triangulated category is said to be definable when it satisfies any of conditions (1)-(3) of last proposition.
Remark 8.8. If a compactly generated triangulated category D has an enhancement which allows for a good calculus of homotopy colimits (in the form of a stable derivator as in [Lak20] or a stable 8-category), then some of the closure properties from Proposition 8.6 in fact characterize definable classes. The following statements are equivalent for Y Ď D in that case: (1) Y is definable, (2) Y is closed under products, pure monomorphisms and directed homotopy colimits, (3) Y is closed under products, pure monomorphism and pure epimorphism.
The equivalence between (1) and (2) is a part of [Lak20, Theorem 3.11]. The implication p1q ñ p3q is an elementary consequence of the definition of a definable subcategory and does not require any enhancement. For p3q ñ p2q, one can follow the strategy from [LV20, Theorem 4.7] and prove that for any coherent directed diagram X, the colimit morphism š iPI X i ÝÑ hocolim X is a pure epimorphism in D. This follows essentially from [SŠV17, Definition 5.1 and Proposition 5.4].
Remark 8.9. The previous remark immediately implies that if D is compactly generated triangulated and has a suitable enhancement (a stable derivator or a stable 8-category) and if t " pU, Vq is a t-structure, then the following are equivalent: (1) V is closed under pure epimorphisms, (2) V is closed under directed homotopy colimits and pure monomorphisms, The main point is that if V is closed under pure epimorphisms, it is also closed under pure monomorphisms since Vr´1s Ď V and V is closed under extensions.
Under certain additional assumptions, the conditions above are also known to be equivalent to the apparently weaker condition (2') V is closed under directed homotopy colimits.
This holds by [Lak20,Theorem 4.6] if t is left non-degenerate. It also holds whenever D is an algebraic compactly generated triangulated category. We will only sketch the argument in this case and discuss the details elsewhere later. The point is that D is the derived category DpAq of a small dg category A and V turns out to be a class of dg-A-modules which is the right hand side class of a cotorsion pair and closed under direct limits (see e.g. [ŠP16, §2.2 and Lemma 3.4]). Such a class, however, must be definable in the category of dg-A-modules by [Šar18, Theorem 6.1], and one routinely checks that it is then also definable in D " DpAq.
Unfortunately, we do not know whether (2) is equivalent to (2') in general.
An important feature of t-structures with definable co-aisle in compactly generated triangulated categories is that the class of pure-injective objects in the co-aisle is t-cogenerating (recall Definition 4.2). In fact, we can state that fact more generally. If V is a class of objects in a triangulated category with products, we denote by PInjpVq Ď V the class of all pure-injective objects in V.
Lemma 8.10. Let D be a standard well generated triangulated category and t " pU, Vq be a t-structure whose co-aisle V is closed under pure epimorphisms and pure-injective envelopes (see Definition 7.2 and Corollary 7.6). Then: Proof. If V P V and u : V ÝÑ Q V is a pure injective envelope, then Q V P PInjpVq and the third term in a triangle V u ÝÑ Q V p ÝÑ V 1Ý Ñ is again in V since p is a pure epimorphism. This proves assertion (a).
We consider T " K h pure pPInjpVqq Ď A pure pDq. Then T is a hereditary torsion class in the Grothendieck category A pure pDq and, as a consequence, we have an injective object E in this latter category such that the associated torsionfree class F " T K consists of the subobjects of objects in ProdpEq. But then E " h pure pQq, for some pure-injective objectQ which is necessarily in V. Indeed we have a section E " h pure pQq ś iPI h pure pQ i q in A pure pDq, for some family pQ i q iPI in PInjpVq, that is the image under h pure : D ÝÑ A pure pDq of a section s :Q ś iPI Q i , by Lemma 7.4. This proves assertion (b).
Remark 8.11. Suppose again that we are in the situation of Remark 8.9. The last lemma says that PInjpVq is t-cogenerating if condition (2) holds. The subtle point is that the conclusion of Lemma 8.10 can be derived already from the a priori weaker condition (2') (which, however, can be stated only using an enhancement of D) and, thus, holds for any homotopically smashing t-structure in the language of [SŠV17,Lak20].
To see this, one can use essentially the same argument as in [Lak20, Proposition 3.7]. If V P V, then there is a set I and an ultrafilter F on I such that the coherent ultrapower V S {F is pure-injective and the diagonal morphism V ÝÑ V S {F is a pure monomorphism. In fact, the triangle V ÝÑ V S {F ÝÑ V 1Ý Ñ is by definition of the coherent ultrapower [Lak20, §2.2] a directed homotopy colimit of split triangles JÝ Ñ, where J Ď I runs over the elements of F and d J are the diagonal embeddings. If V is closed under directed homotopy colimits, then V S {F P PInjpVq and V 1 P V.
The main result of this subsection is now an easy consequence of the results in previous (sub)sections.
Theorem 8.12. Let D be a standard well generated triangulated category and t " pU, Vq be a t-structure such that the class PInjpVq of all pure-injective objects in V is t-cogenerating in V-these assumptions are satisfied e.g. if D is compactly generated and either (1) V is definable or (2) D has a suitable enhancement (see Remarks 8.9 and 8.11) and V is closed under taking directed homotopy colimits. Then the heart H " U X V is a Grothendieck category and H 0 t : D ÝÑ H preserves coproducts.
Moreover, if we fix a Verdier quotient functor q : C ÝÑ D such that C is a compactly generated triangulated category and Kerpqq is the localizing subcategory of C generated by a set of objects, then H 0 t pqpC c qq is a skeletally small class of generators of H.
Proof. By the same argument as for Lemma 8.10(b), we find a pure-injective object Q P V such that PInjpVq " Prod D pQq. Then such an objectQ satisfies the assumption of Theorem 8.4(2) and H is a Grothendieck category by Theorem 8.4(5).
As for the class of generators, note that, by Proposition 7.1 and its proof, we know that A pure pDq is a Gabriel quotient of Mod-C c and if q 1 : Mod-C c ÝÑ A pure pDq is the corresponding Gabriel localization functor, then q 1˝y Ch pure˝q , where y C : C ÝÑ Mod-C c is the Yoneda functor. Since ypC c q is a skeletally small class of generators of Mod-C c , we conclude that h pure pqpC c qq is a skeletally small class of generators of A pure pDq. Applying now Corollary 7.9 we conclude that ifq : A pure pDq ÝÑ H is the (uniquely determined up to natural isomorphism) Gabriel localization functor such thatq˝h pure -H 0 t , thenqph pure pqpC c qqq " H 0 t pqpC c qq is a skeletally small class of generators of H.
As immediate consequences, we get: Corollary 8.13. Let D be a compactly generated triangulated category and t " pU, Vq be a t-structure in D with definable co-aisle. The heart H " U X V is a Grothendieck category for which H 0 t pD c q is a skeletally small class of generators.
Corollary 8.14. Let G be a Grothendieck category with generator X, and let t " pU, Vq be a t-structure in the derived category DpGq such that V is closed under taking pure epimorphisms and pure-injective envelopes. The heart H " U X V is a Grothendieck category on which H 0 t pthick DpGq pXqq is a skeletally small class of generators. Here thick DpGq pXq is the smallest thick subcategory of DpGq containing X.
Proof. By the usual Gabriel-Popescu's theorem, if R " End G pXq we have a Gabriel localization functor q : Mod-R ÝÑ G that takes R to X. The induced triangulated functor q : DpMod-Rq ÝÑ DpGq satisfies that q`DpMod-Rq c˘" q`thick DpMod-Rq pRq˘Ď thick DpGq pXq.
The result then follows since, by Theorem 8.12, H 0 t`q pDpMod-Rq c q˘is a skeletally small class of generators of H. The ideal I is called suspended if it satisfies the following three conditions: (1) I is idempotent, i.e. I 2 " I, (2) I is saturated, and (3) Ir1s Ď I.
Theorem 8.16. Let D be a compactly generated triangulated subcategory. Then there is a bijective correspondence between (1) the t-structures t " pU, Vq in D with V definable, and (2) suspended ideals I Ď D c , which is given by the assignments V ù I " tf : C ÝÑ D in D c | Hom D pf, Vq " 0u and I ù V " tV P D | Hom D pI, V q " 0u.
At the first step, we combine existing results from the literature in order to relate saturated ideals to definable subcategories and other already discussed notions. Proof. The bijections between (1), (2) and (3) are essentially the contents of the Fundamental Correspondence in [Kra02b]. The only thing we need to add is a reference to [Kra05,Lemma 8.4], where one proves that the cohomological ideals as in the Fundamental Correspondence are precisely the saturated ideals. Finally, the correspondence between (3) and (4) has been obtained in [Kra97,Lemma 2.3] or [Her97, Theorem 2.8].
Next we recall the following result, which was first proved in [Kra00,Proposition 3.11] and also appears in [AHMV17, Proposition 4.5] with exactly the same terminology as we use. A closely related result can be also found in [AI12,Theorem 4.3]. For the special case of algebraic triangulated categories, a considerably stronger version was recently obtained as a part of the main theorem of [LV20].
Proposition 8.18. A definable subcategory V of a compactly generated triangulated category D is preenveloping.
Corollary 8.19. Let I be a suspended ideal of D c . Then V " tV P D | Hom D pI, V q " 0u is a definable co-aisle of a t-structure in D.
Proof. We already know that V is definable, preenveloping and Vr´1s Ď V. Once we prove that V is closed under extensions (hence cosuspended and closed under summands), the conclusion will follow from the dual of [SŠ11, Proposition 3.11] or [AHMV17, Proposition 4.5]. To that end, suppose that we have a triangle V 1 u ÝÑ V v ÝÑ V 2Ý Ñ with V 1 , V 2 P V and suppose that g P I. Since I " I 2 , we can express g : C ÝÑ D as g 1 g 2 with g 1 , g 2 P I (a priori, the elements of I 2 are finite sums ř n i"1 g 1,i g 2,i with all g 1,i : E i ÝÑ D and g 2,i : C ÝÑ E i belonging to I, but as D c is additive, we combine these to g 1 : À n i"1 E i ÝÑ D and g 2 : C ÝÑ À n i"1 E i ). Then, given any morphism h : D ÝÑ V , we have that vhg 1 " 0 as V 2 P V, so that hg 1 " uh 1 for some morphism h 1 . Thus, hg " uh 1 g 2 " 0 since V 1 P V.
To finish the proof of Theorem 8.16 we also need the following useful result.
Proposition 8.20. Let t " pU, Vq be a t-structure in D with V definable, and suppose that pT , F q is the hereditary torsion pair of finite type in Mod-D c which corresponds to V in the sense of Proposition 8.17. Then V " y´1 D pF q and Ur1s " y´1 D pT q.
Proof. The equality V " y´1 D pF q is in fact true for any definable class in D. Indeed, given any morphism g in D c and V P D, we use the Yoneda lemma and the fpinjectivity of y D pV q ([Kra00, Lemma 1.6]) to see that Hom D pg, V q " 0 if and only if Hom Mod-D c py D pgq, y D pV qq " 0 if and only if Hom Mod-D c pIm y D pgq, y D pV qq " 0. Since F " tIm y D pgq | g P Iu K in Mod-D c by Proposition 8.17, we infer that V P V if and only if y D pV q P F . Regarding the other equality, we first prove the inclusion Ur1s Ď y´1 D pT q. So suppose that U P U. Then Lemma 7.4 yields that the injective D c -modules in F are up to isomorphism of the form y D pV q for V P PInjpVq, and that Hom Mod-D c`y D pU r1sq, y D pV q˘-Hom D pU r1s, V q " 0 for each V P PInjpVq. Since F is closed in Mod-D c under injective envelopes by [Ste75, Proposition VI.3.2], we have y D pU r1sq P T , as desired.
To prove the remaining inclusion, suppose that X P D is such that y D pXr1sq P T and consider a triangle U r1s ÝÑ Xr1s ÝÑ V ÝÑ U r2s with U P U and V P V. Then we get an exact sequence y D pXr1sq ÝÑ y D pV q ÝÑ y D pU r2sq.
Since U r2s P Ur1s, the outer terms are in the hereditary torsion class T by the above and we have y D pV q P T X F " 0. Thus, V " 0 since y D reflects isomorphisms and, consequently, X P U.
We complement the proposition with some consequences, which will be used either here or later in §8.5.
Corollary 8.21. Let t " pU, Vq be a t-structure in D with V definable. Then U is closed under pure monomorphisms and pure epimorphisms.
Proof. If X ÝÑ U ÝÑ YÝÑ is a pure triangle with U P U, then 0 ÝÑ y D pXr1sq ÝÑ y D pU r1sq ÝÑ y D pY r1sq ÝÑ 0 is a short exact sequence with the middle term in T . Since T is a hereditary torsion class, we have that y D pXr1sq, y D pY r1sq P T , and conclude by Proposition 8.20.
Corollary 8.22. Let t " pU, Vq be a t-structure in D with heart H and suppose that V is definable. If p : U ÝÑ U 1 is a pure epimorphism in D with U , U 1 P U, then H 0 t ppq : H 0 t pU q ÝÑ H 0 t pU 1 q is an epimorphism in H. Proof. This is a direct consequence of Corollary 8.21 and Lemma 4.3.
Corollary 8.23. Let t " pU, Vq be a t-structure in D with V definable and let X P D. Then X P U if and only if each morphism f : C ÝÑ Xr1s with C compact factors as f " f 1˝g with g P I.
Proof. We have proved that X P U if and only if y D pXr1sq P T if and only if for each f : C ÝÑ Xr1s with C P D c , the map y D pf q : y D pCq ÝÑ y D pXr1sq factors through S " T X mod-D c .
By Proposition 8.17, objects of S are of the form Im y D pgq for some g : C 1 ÝÑ D 1 from I. Thus, if y D pf q factors through Im y D pgq, we have the solid part of the following diagram and dotted arrows exist since y D pCq is projective and y D pXr1sq is fp-injective in Mod-D c ([Kra00, Lemma 1.6]). Hence, f factors through gh P I. If, conversely, f factors through g P I, then clearly y D pf q factors through Im y D pgq P S. Now we can finish the proof of the theorem.
Proof of Theorem 8.16. Suppose that t " pU, Vq is a t-structure in a compactly generated triangulated category D such that V is definable, and put Then clearly Ir1s Ď I is a saturated ideal of D c . Suppose now that g : C ÝÑ D belongs to I; in particular Hom D pg, τ ě0 t Dq " 0. Then g factors through g 1 : C ÝÑ τ ď´1 t D, which in turn factors through pg 2 : C ÝÑ D 1 q P I thanks to Corollary 8.23. Since both g 2 and the composition D 1 ÝÑ τ ď´1 t D ÝÑ D belong to I, we have g P I 2 . It follows that I is a suspended ideal.
Conversely, given a suspended ideal, the class V " tV P D | Hom D pI, V q " 0u is a definable co-aisle by Corollary 8.19.
The bijective correspondence then clearly comes up as the corresponding restriction of the bijective correspondence between (1) and (2) in Proposition 8.17. 8.4. t-structures with right adjacent co-t-structure. A co-t-structure (also called a weight structure; see [Bon10,Pau08]) in a triangulated category D is a pair c " pV, Wq of subcategories which are closed under direct summands and satisfy the following conditions: (i) Hom D pV, W r1sq " 0, for all V P V and W P W; (ii) Vr´1s Ď V (or Wr1s Ď W); (iii) For each X P ObpDq, there is a triangle V ÝÑ X ÝÑ YÝÑ in D, where V P V and Y P Wr1s. Then one has that V K " Wr1s and V " K Wr1s. The intersection C " V X W is called the co-heart of c. Given a t-structure t " pU, Vq, we say that t has a right adjacent co-t-structure when the pair pV, Wq " pV, V K r´1sq is a co-t-structure in D. Note that the intersection V X V K r´1s makes sense even if pV, V K r´1sq is not a co-t-structure. It is sometimes called the right co-heart of t.
In this subsection we will give a criterion for the heart of a t-structure with right adjacent co-t-structure to be a Grothendieck category. We will show also that t-structures with definable co-aisle in a compactly generated triangulated category always have a right adjacent co-t-structure. We will show also that the t-structure cogenerated by a pure-injective object in a standard well generated triangulated category (see Proposition 6.9) has a right adjacent co-t-structure. We need the following elementary result of Category Theory whose proof is left to the reader.
Lemma 8.24. Let A be an AB3* abelian category with a cogenerator and enough injectives. Then it has an injective cogenerator. whose image is E uniquely lifts to an idempotent endomorphism e 1 : W ÝÑ W since H 0 t : C ÝÑ InjpHq is fully faithul. Since D has split idempotents by §2.4, W has a direct summand W 1 P C whose image under H 0 t is clearly E.
(2) Note that both V " Ur1s K and W " Vr´1s K are closed under products in D, and consequently so is C. It is clear now that H has an injective cogenerator (which is pure-injective, resp. accessible pure-injective) if, and only if, there is E P InjpHq (which is pure-injective, resp. accessible pure-injective) such that InjpHq " Prod H pEq. This is by (1) further equivalent to the existence of a Q (that is pureinjective, resp. accessible pure-injective) such that C " Prod D pQq.
(3) Bearing in mind Proposition 5.5 and the equivalence of categories H 0 t : C » ÝÑ InjpHq, the 'only if' part is clear.
As for the 'if' part we then have a class InjpHq " H 0 t pCq of pure-injective (resp. accessible pure-injective) injective cogenerators of H and, using Lemma 8.24, the task is then reduced to prove that H has a cogenerator. Let us do it. By hypothesis, for any Q P C we have a section s Q : Q ÝÑ E IQ , for some set I Q . Moreover, from the definition of co-t-structure, we get a triangle where the product in the codomain is taken in H. It immediately follows that H 0 t pV E q is a cogenerator of H. (4) It follows from Lemma 7.4 and the proof of Proposition 7.1 that there is an E P PInjpDq such that PInjpDq " ProdpEq. The result is then a direct consequence of assertion (2) and Lemma 5.6.
The final result of this subsection shows that t-structures with a definable co-aisle have a right adjacent co-t-structure.
Theorem 8.26. Let D be a compactly generated triangulated category and t " pU, Vq be a t-structure. Consider the following assertions: (1) The co-aisle V is definable.
(2) t has a right adjacent co-t-structure c " pV, Wq such that V " K PInjpWqr1s.
The implication p1q ùñ p2q holds true. Moreover, when D is the base of a stable derivator or the homotopy category of a stable 8-category, both assertions are equivalent and they are also equivalent to (3) The co-aisle V is closed under pure epimorphisms (see Remark 8.9).
Proof. p2q ùñ p3q ðñ p1q when D has the mentioned enhancement: The equality V " K PInjpWq guarantees that V is closed under pure epimorphisms. Then use Remark 8.9. p1q ùñ p2q Consider the suspended ideal I corresponding to V by the bijection of Theorem 8.16. We then consider the associated TTF triple pC I , T I , F I q in Mod-D c (see [PSV21,Subsection 4.2]). Recall from op. cit. that T I consists of the functors T : pD c q op ÝÑ Ab such that T psq " 0, for all morphisms s P I. In other words, T I is the essential image of the forgetful functor Mod-D c I Mod-D c . If y :" y D : D ÝÑ Mod-D c is the Yoneda functor, it follows from the Yoneda lemma that yV P T I if and only if Hom D pI, V q " 0. That is, we have an equality V " y´1pT I q (here we warn the reader that the class T I may differ from the class F from Proposition 8.20, despite the fact that y´1pT I q " V " y´1pF q).
On the other hand pT I , F I q is a hereditary torsion pair in Mod-D c , which implies that T I " K`I njpMod-D c q X F I˘" K Y , for some object Y such that ProdpY q " InjpMod-D c q X F I . If we take now Q P PInjpDq such that yQ -Y then, by [Kra00, Theorem 1.8], we get that V " K Q " Ş iě0 K Qris. The task is then reduced to prove that the pair`KQ, p K Qr´1sq K˘i s a co-t-structure in D, for then if we put W :" p K Qr´1sq K and observe that Q P Wr1s, the equality V " K PInjpWqr1s becomes obvious.
The key result here (somewhat alike Proposition 6.9) is [Bon22, Theorem 2.3.4] which says that`KQ, p K Qr´1sq K˘i s a co-t-structure in D provided that Q is a perfect object in D op (see Subsection 2.4). This is what we are going to verify now. If f : X ÝÑ Z is a morphism in D, we have the following equivalences: The first equivalence is again due to [Kra00, Theorem 1.8], the second holds since Y is injective and the last one by the choice of Y . Hence, since y respects products and T I is closed under products (it is a torsion-free class in Mod-D c ), it follows that the class of morphisms in D satisfying Hom D pf, Qq " 0 is closed under all products in D, or equivalently coproducts in D op , as required.
8.5. Compactly generated t-structures have a locally fp heart. Except for the final main result, where we shall work in a more general context, we assume all through this subsection that D is a compactly generated triangulated category and that t " pU, Vq is a compactly generated t-structure in it.
The following is the crucial result. Since V is definable, we also indirectly obtain that the suspended ideal I corresponding to t via Theorem 8.16 consists precisely of the maps in D c factoring through Ur1s X D c . In fact, the compactly generated t-structures in D are known to bijectively correspond to suspended subcategories of D c which are closed under direct summands; see [Bon16, Theorem 4.2.1(3)] or, under the existence of a derivator enhancement, also [ŠP16, Theorem 4.5].
Proposition 8.27. Suppose that D and t are as above and denote U 0 " U X D c . The following assertions hold: (1) U is the smallest subcategory of D that contains U 0 and is closed under coproducts, extensions and Milnor colimits.
(2) For an object U P D, the following assertions are equivalent: (a) U P U; (b) Any morphism f : C ÝÑ U , with C compact, factors through some object in U 0 ; (c) There exists a pure epimorphism š iPI U i ÝÑ U , for some family pU i q iPI of objects in U 0 .
(3) U is closed under pure monomorphisms in D.
In particular AddpU 0 q is a t-generating subcategory of U (see Definition 4.2).
Proof. (1) Let U denote the smallest subcategory of D that contains U 0 and is closed under coproducts, extensions and Milnor colimits. It is clear that U Ď U since U satisfies all those closure properties and contains U 0 . On the other hand, by [KN13,Theorem 12.1], we know that U " Susp D pU 0 q, where Susp D pSq denotes the smallest suspended subcategory of D that contains S and is closed under coproducts, for each subcategory S. Since we have U 0 r1s Ď U 0 we immediately get that Ur1s Ď U , which implies that U is a suspended subcategory closed under taking coproducts. This gives the inclusion Susp D pU 0 q " U Ď U , which is then an equality.
(2) pcq ùñ pbq Fix a pure epimorphism p : š iPI U i ÝÑ U as described in the statement of (2)(c). Then any morphism f : C ÝÑ U , with C compact, admits a factorization f " p˝g, where g : C ÝÑ š iPI U i is some morphism. Due to the compactness of C, g factors through some finite subcoproduct of the U i and such a subcoproduct is in U 0 .
pbq ùñ pcq We can always construct a pure epimorphism q : š iPI C i ÝÑ U , for some family pC i q iPI of compact objects in D. For example, one can take a set C of representatives of the isoclasses of objects in D c and take the canonical morphism š CPC C pHomD pC,Uqq ÝÑ U . If we denote by ι j : C j ÝÑ š iPI C i the canonical j-th map to the coproduct, then q j :" q˝ι j : C j ÝÑ U is a morphism from a compact object. By hypothesis, we have a factorization q j : C j uj ÝÑ U j q 1 j ÝÑ U , for some U j P U 0 . If now q 1 : š iPI U i ÝÑ U is the morphism with the q 1 j as components, then we have a decomposition q " q 1˝p š u i q, which implies that q 1 is also a pure epimorphism.
paq ðñ pbq & pcq Let us denote byŨ the full subcategory of D consisting of the objectsŨ which satisfy the equivalent conditions (2)(b) and (2)(c). SinceŨ Ď U by Corollary 8.21, we just need to prove that U ĎŨ.
Using (2)(b), we clearly see thatŨ is closed under taking coproducts. On the other hand, ifŨ 1 ÝÑŨ 2 ÝÑ¨¨¨ÝÑŨ n ÝÑ¨¨¨is a sequence inŨ, then the canonical morphism q : š nPNŨ n ÝÑ McolimŨ n is a pure epimorphism. If, for each n P N, using (2)(c), we fix a pure epimorphism p n : š iPIn U i ÝÑŨ n , where I n is some set and all U i are in U 0 , then š p n : š nPN p š iPIn U i q ÝÑ š nPNŨ n is also a pure epimorphism. It follows that q˝p š p n q is a pure epimorphism, which, by (2)(c), implies that McolimŨ n PŨ . ThereforeŨ is also closed under taking Milnor colimits.
We next prove thatŨ is closed under extensions, and then assertion (1) will give the desired inclusion U ĎŨ. LetŨ 1 u ÝÑ X v ÝÑŨ 2 ÝÑŨ 1 r1s be a triangle in D withŨ k PŨ, for k " 1, 2, and let f : C ÝÑ X be any morphism, where C P D c .
Then v˝f factors as a composition C v 1 ÝÑ U 2 h ÝÑŨ 2 , where U 2 P U 0 . Completing to a triangle we obtain a triangle in C 1 u 1 ÝÑ C v 1 ÝÑ U 2 ÝÑ C 1 r1s in D c together with a morphism of triangles But the morphism g : C 1 ÝÑŨ 1 factors as a composition C 1 g1 ÝÑ U 1 g2 ÝÑŨ 1 , where U 1 P U 0 . By taking now the homotopy pushout of u 1 and g 1 , we obtain a triangle U 1 ÝÑ U ÝÑ U 2 ÝÑ U 1 r1s in D (and in D c ). Since U 0 is closed under taking extensions in D, we get that U P U 0 . Moreover, we have that f˝u 1 " u˝g " u˝g 2˝g1 and, by properties of homotopy pushouts (see [Nee01b, Section 1.4]), we immediately get that f (and u˝g 2 ) factor through U . It follows that X PŨ .
(3) This is a direct consequence of Corollary 8.21.
The following are immediate consequences.
Proposition 8.28. Let D be a compactly generated triangulated category, t " pU, Vq be a compactly generated t-structure with heart H, let us put U 0 " D c X U and let y " y |U : U ÝÑ Mod-U 0 , U ù yU " Hom U p?, U q U0 , be the generalized Yoneda functor. Then the functor G :" y |H : H ÝÑ Mod-U 0 is fully faithful and has a left adjoint F : Mod-U 0 ÝÑ H that is a Gabriel localization functor. Moreover, there is a natural isomorphism F˝y -pH 0 t q |U . Proof. Just apply Theorem 4.5, with the t-generating subcategory P " AddpU 0 q, taking into account that we have a clear equivalence of categories p P " mod-P -ÝÑ Mod-U 0 that takes M ù M |U0 .
Corollary 8.29. Let D be a compactly generated triangulated category and let t " pU, Vq be a compactly generated t-structure in D with heart H. Then H 0 t pU 0 q is a skeletally small class of generators of H. Proof. Using the notation from the last proof, tF pyP q " H 0 t pP q | P P Pu is a class of generators of H since so is tyP | P P Pu for p P. We end the proof by noting that H 0 t pPq Ď AddpH 0 t pU 0 qq.
For any skeletally small pre-additive category A, we will denote by FP 2 pMod-Aq the subcategory of Mod-A consisting of the A-modules M which admit a projective presentation P´2 ÝÑ P´1 ÝÑ P 0 ÝÑ M Ñ 0, where the P´k are finitely generated projective A-modules. The following lemma is crucial for our purposes.
Lemma 8.30. Let T " KerpF q, for the functor F as in Proposition 8.28. The hereditary torsion pair pT , T K q in Mod-U 0 is generated by modules in FP 2 pMod-U 0 q. That is, there is a (necessarily skeletally small) class S of modules in FP 2 pMod-AqX T such that GenpSq " T .
Proof. By using the associated Grothendieck topology in U 0 (see [PSV21, Section 3.2] or [Low16]), it is enough to prove that if U 0 P U 0 and N is a submodule of the representable U 0 -module ypU 0 q such that ypU 0 q{N P T , then there is an epimorphism M 1 ։ ypU 0 q{N for some M 1 P FP 2 pMod-Aq X T .
Let then U 0 and N be as in last paragraph, and put M :" ypU 0 q{N , which is an object of T . Consider an epimorphism p : š iPI ypU i q ։ N , where the U i are in U 0 . Since y preserves coproducts, š iPI ypU i qyp š iPI U i q. By the Yoneda lemma, the composition yp š iPI U i q -š iPI ypU i q p ÝÑ N inc ypU 0 q is necessarily of the form ypgq, for some morphism g : š iPI U i ÝÑ U 0 in U, and it follows that Cokerpypgqq -M . As in the proof of Lemma 4.7, we observe that F pypgqq -H 0 t pgq is an epimorphism since F is exact and F pM q " 0. Upon completing g to a triangle (8.1) we, thus, have U 1 P U by Lemma 4.3. Since U 0 r´1s is compact, the morphism u : U 0 r´1s ÝÑ U 1 factors as U 0 r´1s u 1 ÝÑ U 1 0 α ÝÑ U 1 for some U 1 0 P U 0 , by Proposition 8.27(2), and we obtain a commutative diagram with triangles in rows, where U 2 0 P U 0 is the cone of u 1 and the morphism β comes from the axioms of triangulated categories: If we apply the restricted Yoneda functor to the last diagram and denote M 1 " Cokerpypg 1 qq, we obtain a commutative diagram in Mod-U 0 with exact rows and an we obtain a split exact sequence 0 ÝÑ H 0 (3) t is right non-degenerate, the heart H is a Grothendieck category and the functor H 0 t : D ÝÑ H preserves coproducts. The implications p1q ùñ p2q ðù p3q hold true. When D satisfies Brown representability theorem, the implication p2q ùñ p1q also holds. When D is standard well generated, all assertions are equivalent.
(1) L :" Loc D pUq is a smashing localizing subcategory of D, i.e. the inclusion functor L D has a right adjoint which preserves coproducts.
(2) If D satisfies Brown representability theorem, then so does L.
(3) If D is standard well generated, then so is L.
(4) Suppose that D satisfies Brown representability theorem (resp. D is standard well generated). The heart H is a complete AB5 abelian category with an injective cogenerator (resp. H is a Grothendieck category) if, and only if, there exists a pure-injective NSZ partial cosilting object Q of L such that t 1 " pU, V X Lq is the t-structure in L associated to Q. Proof.
(1) We start by proving that the inclusion L D has a right adjoint, for which we will check that any object D P D fits into a triangle L ÝÑ D ÝÑ Y ÝÑ Lr1s, with L P L and Y P L K . For each integer n ě 0, we have a triangle ∆ n : τ ďn t D ÝÑ D ÝÑ τ ąn t D ÝÑ τ ďn t r1s with respect to the t-structure pUr´ns, Vr´nsq. We have an obvious functorial morphism of triangles from ∆ n to ∆ n`1 with identity map on D. Using an argument similar to that of [KN13, Theorem 12.1], we get a commutative diagram (3) By [Kra02a], well generated triangulated categories have a set of perfect generators. Then, by [NS09, Corollary 2.4], we have an induced TTF triple pL, L K , L KK q in D. But then, by properties of TTF triples, we have triangulated equivalences L -L KK -D{L K . If Ψ : D ÝÑ L K is the left adjoint to the inclusion functor L K ÝÑ D, then L K " Loc D pΨpX qq, where X is any set of perfect generators of D (see [NS09, Lemmas 2.2 and 2.3]). It is now routine to check that if D " C{ Loc C pSq, for some compactly generated triangulated category C and some set S Ď C, and we choose any set X 1 of objects of C that is mapped onto ΨpX q by the quotient functor q : C ÝÑ D, then D{ Loc D pΨpX qq is equivalent to C{ LocpS Y X 1 q. Therefore L » C{ LocpS Y X 1 q is standard well generated.
(4) When D satisfies Brown representability theorem (resp. is standard well generated), the restricted t-structure t 1 " pU, V X Lq in L is smashing, clearly right non-degenerate and its heart is again H. By using Proposition 9.2 and assertions (2) and (3), we conclude that H is complete AB5 with an injective cogenerator (resp. a Grothendieck category) if, and only if, t 1 is the t-structure associated to a pureinjective NSZ partial cosilting object of L.

9.2.
Left non-degenerate t-structures. As long as we are interested only in the cohomological functor of a t-structure, NSZ partial cosilting objects are very convenient, as was shown in §9.1. This is in particular illustrated by Proposition 9.3 which says that for a given t-structure whose associated cohomological functor is nice enough, there exists a (possibly different) NSZ partial cosilting t-structure with the same cohomological functor.
If we are concerned in how precisely the heart sits in D, however, we need more refined tools. Here we assume that the t-structure in question is left non-degenerate, which can be achieved in various situations (see the end of Section 3). We stress again that in that case, the cohomological functor of a t-structure preserves coproducts if and only if the t-structure is smashing (Remark 8.2).
The final result of the paper explains the role of AMV partial cosilting objects. The following result may be seen as a derivator-free generalization of the equivalence p1q ðñ p4q of [Lak20, Theorem 4.6] Proposition 9.6. Let D have coproducts and products and let t be a left nondegenerate t-structure with heart H. Consider the following assertions: (1) t is the t-structure associated with a pure-injective AMV partial cosilting object.
(2) t is smashing and H is an AB5 abelian category with an injective cogenerator.
(3) t is smashing and H is a Grothendieck category. The implications p1q ùñ p2q ðù p3q hold true. When D satisfies Brown representability theorem, the implication p2q ùñ p1q also holds. When D is standard well generated all assertions are equivalent.
Proof. p3q ùñ p2q is clear and, assuming that D is standard well generated, the implication p2q ùñ p3q is a direct consequence of the implication p4q ùñ p5q in Theorem 8.4. p1q ùñ p2q The equality V " Ką0 Q implies that Hom D pV r´1s, Qq " Hom D pV, Qr1sq " 0, for all V P V. Then Q satisfies conditions (1)(a) and (1)(c) of Theorem 8.4. Moreover, if M P H is an object such that Hom D pM, Qq " 0, then we have Hom D pM, Qrnsq " 0, for all n ě 0, since H Ď V " Ką0 Q. It then follows that Hom D pM r1s, Qrjsq " 0, for all j ą 0, so that M r1s P V. It follows that M P H X Vr´1s Ď U X Vr´1s " 0. Hence also condition (1)(b) of the mentioned theorem holds. It follows that H is complete AB5 with an injective cogenerator. Finally, it is clear that V " Ką0 Q is closed under taking coproducts, so that t is smashing. p2q ùñ p1q (when D satisfies Brown representability theorem) Since H 0 t clearly preserves coproducts, Theorem 8.4 tells us that there exists a Q P V satisfying conditions (1)(a)-(c) of that theorem. In particular we have that V Ď Ką0 Q. It remains to check that the reverse inclusion also holds. For this, just apply the argument in the proof of [Lak20, Lemma 4.4], based on [AHMV17, Theorem 3.6].