A functorial approach to rank functions on triangulated categories

We study rank functions on a triangulated category $\mathcal{C}$ via its abelianisation $\operatorname{mod}\mathcal{C}$. We prove that every rank function on $\mathcal{C}$ can be interpreted as an additive function on $\operatorname{mod}\mathcal{C}$. As a consequence, every integral rank function has a unique decomposition into irreducible ones. Furthermore, we relate integral rank functions to a number of important concepts in the functor category $\operatorname{Mod}\mathcal{C}$. We study the connection between rank functions and functors from $\mathcal{C}$ to locally finite triangulated categories, generalising results by Chuang and Lazarev. In the special case $\mathcal{C}=\mathcal{T}^c$ for a compactly generated triangulated category $\mathcal{T}$, this connection becomes particularly nice, providing a link between rank functions on $\mathcal{C}$ and smashing localisations of $\mathcal{T}$. In this context, any integral rank function can be described using the composition length with respect to certain endofinite objects in $\mathcal{T}$. Finally, if $\mathcal{C}=\operatorname{per}(A)$ for a differential graded algebra $A$, we classify homological epimorphisms $A\to B$ with $\operatorname{per}(B)$ locally finite via special rank functions which we call idempotent.


Introduction
Rank functions on triangulated categories were recently introduced in [6] by Chuang and Lazarev.Roughly speaking, for a triangulated category C, a rank function on C is an assignment of a non-negative real number (or an element of another partially ordered group) The corresponding author is Mikhail Gorsky.
Most of this work was carried out during the employment of Teresa Conde at the University of Stuttgart, and she acknowledges support from the Deutsche Forschungsgemeinschaft (DFG) through the grant KO 1281/18.Teresa Conde also acknowledges partial support from DFG through the grant SFB-TRR 358/1 2023-491392403.Mikhail Gorsky was partially supported by the French ANR grant CHARMS (ANR-19-CE40-0017).Parts of this work were done during stays of Mikhail Gorsky at the University of Stuttgart, and he is very grateful to Steffen Koenig for the hospitality.This work is a part of a project that has received funding from the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation programme (grant agreement No. 101001159).Frederik Marks acknowledges support through a postdoctoral fellowship of the Baden-Württemberg Stiftung.Alexandra Zvonareva acknowledges support by the Czech Academy of Sciences CAS (RVO 67985840).Moreover, Frederik Marks and Alexandra Zvonareva acknowledge support from DFG through a scientific network on silting theory.
to every object of C, satisfying certain axioms.Rank functions can be defined alternatively on morphisms of C. The motivation of Chuang and Lazarev to introduce and study rank functions stemmed from the work by Cohn and Schofield on Sylvester rank functions [7,40], which are defined on the category of finitely presented modules over a ring A and can be used to classify ring morphisms from A into simple artinian rings or skew-fields.Each Sylvester rank function naturally extends to a rank function on the perfect derived category per.A/, but not all rank functions on per.A/ arise in this way.Another standard example of a rank function is the dimension of the total cohomology of an object in the bounded derived category of a finitedimensional algebra.Mass functions associated with Bridgeland stability conditions provide further interesting examples [6,14].
Developing the analogy between rank functions on triangulated categories and Sylvester rank functions, Chuang and Lazarev established a connection between rank functions and functors to simple triangulated categories, that is, triangulated categories with an indecomposable generator such that any triangle is a direct sum of split triangles.In particular, in [6, Theorem 6.4], they obtained a bijection between thick subcategories K of C with simple Verdier quotient C=K and localising prime rank functions on C, that is, normalised rank functions with integral values, subject to rather strong restrictions.In case C is the perfect derived category per.A/ of a dg algebra A, these two classes are also in bijection with equivalence classes of finite homological epimorphisms from A to simple artinian dg algebras [6,Theorem 6.5].
The point of view we are suggesting in this paper is that of functor categories.Functorial methods have been successfully applied in representation theory in the past.Considering the category of contravariant additive functors Mod.mod A/ from the category of finitely presented modules mod A over an Artin algebra A to the category of abelian groups led to classic contributions such as Auslander-Reiten theory and Auslander correspondence, and to modern trends such as higher Auslander correspondence and higher-dimensional homological algebra.In the context of triangulated categories, the functorial approach led to important developments such as purity and Ziegler spectra for triangulated categories.
We start by reinterpreting a rank function on C as a function z on the category mod C of finitely presented additive functors from C op to abelian groups.The function z turns out to be additive on short exact sequences and invariant under the action of translation induced from C. This reinterpretation is our first main result, which allows us to use the deeply developed theory of additive functions on abelian categories.
Theorem A (Theorem 3.11).Let C be a skeletally small triangulated category.There is a bijective correspondence between The inverse maps to the additive function z defined by z .F / ´ .f/ for F Š Im Hom C .; f /: This theorem was inspired by results on characters on additive categories due to Crawley-Boevey [8,9] and on cohomological length functions due to Krause [26].Now we can reap the fruits of passing to the functor category.By adapting results from [8,9], we obtain a decomposition theorem for integral rank functions.
Theorem B (Theorem 4.2).Every integral rank function on a skeletally small triangulated category C can be uniquely decomposed as a locally finite sum of irreducible rank functions.
Here, by irreducible rank function, we mean a non-zero integral rank function that cannot be further decomposed into a sum of two non-zero integral rank functions.Every prime rank function, for example, can be shown to be irreducible.Following this strategy and using results of Crawley-Boevey, Herzog and Krause [8,9,13,19], rank functions can be further related to many notions appearing in the context of functor categories, e.g. to cohomological endofinite functors in Mod C, Serre subcategories of mod C, hereditary torsion subcategories of finite type of Mod C, and closed subsets of the Ziegler spectrum of Mod C (see Figure 1 for details).
The functorial approach allows us to extend the bijection between localising prime rank functions on C and thick subcategories of C with simple Verdier quotient, established in [6,Theorem 6.4].For this purpose, we introduce the class of exact rank functions, which contains all localising rank functions, and we use the notion of a CE-quotient functor, introduced by Krause in [24].Instead of functors to simple triangulated categories, we are now considering functors to locally finite triangulated categories, that is, triangulated categories E such that mod E is an abelian length category.Instead of prime rank functions, we use basic ones, by which we mean integral rank functions with no repetitions in the irreducible summands appearing in their decomposition.This can be seen as another normalisation condition.
Theorem C (Theorem 4.15).Let C be a skeletally small triangulated category.There is a bijective correspondence between (a) exact basic rank functions on C, (b) equivalence classes of CE-quotient functors from C to locally finite triangulated categories.
Moreover, the underlying rank function is localising if and only if the CE-quotient is equivalent to a Verdier quotient.
The CE-quotient functors have a more natural interpretation in the particularly nice setting when C is the subcategory T c of compact objects of a compactly generated triangulated category T .In this context, rank functions can be related to endofinite objects and definable subcategories of T (see Figure 1 for details).The connection with endofinite objects allows us to explicitly describe basic rank functions on T c .Together with the decomposition theorem, this provides a complete description of integral rank functions in this setting.
Theorem D (Theorem 5.5).Let T be a compactly generated triangulated category.Every basic rank function on T c is of the form length End T .Z/ Hom T .; Z/j T c for some basic endofinite object Z in T such that †Z Š Z.
The correspondence between rank functions on T c and definable subcategories of T suggests the following change of perspective.Instead of describing rank functions via quo-tients of T c , we could describe them using certain subcategories of T .In fact, we show in Corollary 5.11 that a basic rank function on T c is exact if and only if the corresponding definable subcategory is triangulated.This triangulated category is then compactly generated, and by passing to compact objects, one can recover the associated CE-quotient.Here, we use that a CE-quotient functor is, roughly speaking, a restriction of a smashing localisation to the level of compacts.Kernels of such smashing localisations are usually referred to as smashing subcategories, and are essential when studying decompositions of T into smaller triangulated categories (see, for example, [35]).Additionally, exact rank functions on T c coincide with idempotent rank functions, that is, rank functions such that the ideal of morphisms satisfying .f/ D 0 is idempotent.As a result, we obtain the following theorem.
Theorem E (Theorem 5.8).Let T be a compactly generated triangulated category.There is a bijection between (a) idempotent basic rank functions on T c , (b) smashing subcategories S of T with .T =S/ c locally finite.
This correspondence restricts to a bijection between localising basic rank functions and compactly generated smashing subcategories as in (b), allowing us to test a restricted version of the telescope conjecture for compactly generated triangulated categories using rank functions (see Corollary 5.12).In case C is the perfect derived category of a dg algebra A, the connection between rank functions on per.A/ and smashing subcategories of the derived category D.A/ provides the following generalisation of [6,Theorem 6.5].
Theorem F (Theorem 5.13).Let A be a dg algebra.There is a bijection between (a) idempotent basic rank functions on per.A/, (b) equivalence classes of homological epimorphisms A ! B with per.B/ locally finite.
Recall that a morphism of dg algebras A ! B is a homological epimorphism if the induced restriction functor D.B/ !D.A/ is fully faithful.The bijection in Theorem F is explicit and gives a complete description of the equivalence classes of the corresponding homological epimorphisms.
Further directions.One of our motivations to study rank functions is their similarity to valuations on objects in exact categories considered in [11].An upcoming work of Xin Fang and the second named author will further explore this analogy by showing that each rank function induces a flat degeneration of the derived Hall algebra of C, whenever the latter is well-defined, and by introducing a common generalisation of valuations and rank functions in the setting of extriangulated categories.
Organisation of the paper.The paper is organised as follows.In Section 2, we review necessary background on locally coherent categories and additive functions.In Section 3, we prove the correspondence between rank functions on triangulated categories and additive functions on their abelianisations.In Section 4, we study integral rank functions, prove the decomposition theorem and study exact and localising rank functions.Section 5 is dedicated to the case of rank functions on the subcategory of compact objects in a compactly generated triangulated category.In Section 6, we analyse rank functions on the cluster category of type A 3 , an example of a locally finite triangulated category.We finish the paper with two appendices.In Appendix A, we provide a proof of the bijection between basic additive functions on the category of finitely presented objects fp A of a locally coherent category A and isoclasses of basic injective objects in A of finite endolength.This is a version of the classical correspondence due to Crawley-Boevey between irreducible additive functions and indecomposable injectives of finite endolength (see [8]).In Appendix B, we discuss rank functions with values in partially ordered groups (generalising d -periodic rank functions from [6]) and extend Theorem 3.11 to this context.
Conventions.All categories are assumed to be locally small.All limits and colimits considered are therefore small.The letters F and A shall represent abelian categories, whereas C and T will typically denote triangulated categories, with F and C being in addition skeletally small.All subcategories are assumed to be full and closed under isomorphisms.For a subcategory S in a triangulated category T , we denote by S ? the subcategory of T given by ¹Z in T j Hom T .X; Z/ D 0 for all X in Sº.The subcategory ?S is defined dually.

Background on additive functions
In this section, we collect background material and draw connections between the notions of finite endolength object, additive function and Ziegler spectrum.The section culminates in Theorem 2.13, which will later be used to study integral rank functions on triangulated categories.
2.1.Locally coherent categories.An object X in an additive category A with filtered colimits is called finitely presented if the functor Hom A .X; /W A ! Ab preserves filtered colimits.The full subcategory of all finitely presented objects in A is denoted by fp A. Definition 2.1.An abelian category A with filtered colimits is called locally coherent if fp A is a skeletally small abelian subcategory of A such that every object in A is a filtered colimit of objects in fp A.
In the following, A will be a locally coherent category.Note that any locally coherent category is automatically Grothendieck, so A is complete and cocomplete, has injective envelopes and exact filtered colimits (see [9, §2.4]).A short exact sequence in A, is said to be pure-exact if it induces a short exact sequence of abelian groups 0 !Hom A .W; X / !Hom A .W; Y / !Hom A .W; Z/ !0 for every W in fp A. An object X is pure-injective if every pure-exact sequence with the first term X splits, and ˙-pure-injective if any coproduct of copies of X is pure-injective.Moreover, X is called fp-injective if Ext 1 A .W; X / D 0 for every W in fp A. The class of fpinjective objects is closed under direct factors and coproducts -to see this, one can use the characterisation of fp-injectivity in [9, §2.5].A standard verification shows that the fp-injective pure-injective objects coincide with the injectives in the category A. Indeed, if X is injective, it is both fp-injective and pure-injective.Conversely, if X is fp-injective, then any short exact sequence starting at X is pure-exact, as Ext 1 A .W; X / D 0 for every W in fp A. If X is moreover pure-injective, this implies that any short exact sequence starting at X splits, so X is injective.
The notion of a finite endolength object will be of central importance in this work.We are especially interested in injective objects of finite endolength.Definition 2.2.An object X in a locally coherent category A has finite endolength if the End A .X /-module Hom A .W; X / has finite length for every W in fp A.
By [9, §3.5, §3.6], every finite endolength object X in A is ˙-pure-injective and can be decomposed as a coproduct of indecomposable objects with local endomorphism rings.In fact, this decomposition is essentially unique by the Krull-Remak-Schmidt-Azumaya theorem.The class of finite endolength objects is closed under finite coproducts, direct factors, and products and coproducts of copies of the same object (see [27,Corollaries 13.1.15,13.1.13]).Note that the injective objects of finite endolength coincide with the fp-injective objects of finite endolength since finite endolength objects are, in particular, pure-injective and, for pureinjective objects, fp-injectivity is equivalent to injectivity, as mentioned above.
A locally coherent category A is locally finite if every object in fp A has finite composition length, that is, fp A is a length category.Locally finite categories have particularly nice properties.By [13,Proposition 7.1], the injective objects in such categories are precisely the fp-injectives, and consequently, the class of injectives is closed under coproducts.Moreover, all injective objects have finite endolength.
Lemma 2.3.If A is locally finite, then every injective object in A has finite endolength.
Proof.Consider an injective object Q in A, and let L be a simple object in fp A with Hom A .L; Q/ ¤ 0. Since every non-zero f 2 Hom A .L; Q/ is a monomorphism and Q is injective, every such f generates Hom A .L; Q/ as a simple End A .Q/-module.By assumption, we can use induction on the composition length of every W in fp A to conclude that Q has finite endolength.
The prototype of a locally coherent category is the category Mod C of all additive contravariant functors from a skeletally small abelian or triangulated category C to the category of abelian groups.Morphisms in Mod C are natural transformations between additive contravariant functors, and a sequence of functors is a short exact sequence if and only if evaluating on each object of C yields a short exact sequence in the category of abelian groups.We shall denote the category fp.Mod C/ simply by mod C. The objects in mod C are exactly the functors which occur as cokernels of morphisms between representable functors, i.e. between functors naturally isomorphic to Hom C .; X /W C op !Ab for some X in C. Its underlying set is the set of all isoclasses of indecomposable injective objects in A. Given a full subcategory S of fp A, define O.S/ ´¹OEQ 2 Zg A j Hom A .X; Q/ ¤ 0 for some X in Sº: These are the open sets for the Ziegler topology on Zg A.
Before stating the next result, recall that a full subcategory of A is torsion if it is closed under quotients, extensions and coproducts (see [10]).A torsion subcategory X of A is hereditary if, in addition, it is closed under subobjects, and it is of finite type if the right adjoint of the inclusion X ,!A commutes with filtered colimits.Finally, a subcategory S of an abelian category is called Serre if, for every short exact sequence in the underlying abelian category 0 !X !Y !Z !0, we have that Y belongs to S if and only if both X and Z belong to S.  Definition 2.6.An additive function z on a skeletally small abelian category F is an assignment of a non-negative real number z .X / to each object X of F , which is additive on short exact sequences.We call z integral if it takes values in Z.
Note that defining an additive function on F is equivalent to defining a group morphism z W K 0 .F / !R satisfying z .OEW / 0 for every W in F .It is clear that the sum of additive functions is again an additive function.In fact, any family .zi / i 2I of additive functions on F for which the set ¹i 2 I j z i .W / ¤ 0º is finite for every W in F gives rise to a well-defined additive function P i 2I z i .This function is called the locally finite sum of .zi / i 2I .Another way of creating new additive functions out of existing ones is by precomposition with an exact functor.
Lemma 2.7.Let F and F 0 be skeletally small abelian categories and suppose that W F ! F 0 is an exact functor.Consider an additive function z on F 0 .The assignment z .W / ´z ..W // for W in F defines an additive function z on F .If is essentially surjective and the additive function z decomposes as a sum of two non-zero additive functions, then z decomposes in this way as well.
Proof.The first part is clear.Suppose that is essentially surjective and z D z 1 C z 2 is a decomposition of z as a sum of two non-zero additive functions.Then z D z 1 C z 2 and neither z 1 nor z 2 can be zero since every W 0 in F 0 is isomorphic to .W / for some W in F .
An additive function is irreducible if it is non-zero, integral, and cannot be expressed as a sum of two non-zero integral additive functions.As indicated above, finite endolength injective objects in A produce integral additive functions on fp A. To a certain extent, the converse is also true.

Theorem 2.8 ([8]
).Let A be a locally coherent category.Following the notation in (2.1), the assignment OEH 7 !z H induces a bijective correspondence between (a) isoclasses of indecomposable injective objects in A of finite endolength, (b) irreducible additive functions on fp A.
Moreover, every integral additive function on a skeletally small abelian category can be written in a unique way as a locally finite sum of irreducibles.
The second part of Theorem 2.8 follows from [8] by observing that the correspondence A 7 !fp A provides a bijection between locally coherent categories and skeletally small abelian categories (up to equivalence).The inverse maps a skeletally small abelian category to its (additive) ind-completion -this is a particular case of the correspondence in [9, §1.4] (see also [38,§2,Proposition 2]).Alternatively, see [27,Lemma 13.1.1].
2.4.Fundamental correspondence for integral additive functions.In this subsection, we define basic additive functions on fp A, extend Theorem 2.8 to a bijection between these functions and isoclasses of basic injective objects in A of finite endolength, and link this bijection to Theorem 2.5 by restricting the corresponding classes therein.To this end, we recall some background on Serre localisations dating back to [12] (see also [13,19]).
Let A be locally coherent and S a Serre subcategory of fp A. We denote by E S the smallest torsion subcategory of A containing S. The category E S is the hereditary torsion subcategory of A associated with S in Theorem 2.5 and it is precisely the closure of S under filtered colimits in A (see [9, §4.4]).Since E S is a hereditary torsion subcategory of A of finite type, we get a localisation sequence where both E S and the Serre localisation A= E S are locally coherent categories.This satisfies the following properties, which will be of particular importance in the proof of Theorem 2.13 (see Appendix A).
(1) I is the inclusion and E is the Serre localisation functor with Im I D Ker E. The functors .I; P / and .E; R/ form adjoint pairs.The functor R is fully faithful and identifies A= E S with the full subcategory of A given by all objects X with Hom A .E S; X / D 0 D Ext 1 A .E S; X /: (2) The functors R and P commute with filtered colimits, and so the functors S has finite endolength whenever I.Z/ does.However, the converse is not true.For a counterexample, take A to be Ab D Mod Z, and let S be the subcategory of finite abelian groups.Note that fp A is the category of finitely generated abelian groups and S is a Serre subcategory of fp A. In fact, S is a length category.For every prime p, the Prüfer group Z.p 1 / is the filtered colimit over .N; Ä/ of the monomorphisms Z=p n Z ,! Z=p nC1 induced by multiplication with p. Hence every Z.p 1 / belongs to the locally finite category E S.Moreover, each Z.p 1 / is an injective in A (see [33, Theorem 3.4, Remark (2)]) and, consequently, also in E S, so Lemma 2.3 guarantees that Z.p 1 / has finite endolength in E S. However, Z.p 1 / does not have finite endolength in A. This is because Hom A .Z; Z.p 1 // Š Z.p 1 / has infinite length as a module over End A .Z.p 1 //.To see this, note that End A .Z.p 1 // is the ring Z p of the p-adic integers, i.e. up to isomorphism, End A .Z.p 1 // is the filtered limit over .N; Ä op / of the epimorphisms Z=p nC1 Z Z=p n Z.By construction, there exist ring morphisms Z p ! Z=p n Z for every n 2 N.These turn each Z=p n Z into a module over Z p , and the monomorphisms Z=p n Z ,! Z=p nC1 Z give an infinite chain of Z p -submodules of Z.p 1 /.
Given an additive function z on a skeletally small abelian category F , define Ker z ´¹X in F j z .X / D 0º: Observe that Ker z is a Serre subcategory of F .The next proposition follows from [13] using the bijection between locally coherent categories and skeletally small abelian categories.Proposition 2.10 ([13, Proposition 8.4]).Let F be a skeletally small abelian category and let z be an additive function on F .If z is integral, then F =Ker z is a length category.
An object H in a locally coherent category shall be called basic if it can be decomposed as a coproduct of pairwise non-isomorphic indecomposable objects with local endomorphism rings.Similarly, say that an additive function is basic if it is integral and the summands appearing in its decomposition as a locally finite sum of irreducible additive functions are pairwise distinct.The following corollary can be deduced from the proof of Theorem 2.8 appearing in [13,Theorem 8.6].
Corollary 2.11.A skeletally small abelian category F is a length category if and only if it admits a basic additive function z with Ker z D 0. In this case, the function z is unique and it is given by the composition length of objects in F .
Proof.Let F be a length category.The composition length of objects yields an integral additive function z `with trivial kernel.To see that it is basic, suppose that ¹L i º i 2I is the set of representatives of isoclasses of simple objects in F .Due to additivity, any additive function on F is completely determined by its values on the simples ¹L i º i 2I .The integral additive functions z i given by z i .L j / D ı ij form a complete set of irreducible additive functions on F .Thus z `D P i 2I z i is a basic additive function on F with trivial kernel.The uniqueness follows from the last part of Theorem 2.8.Conversely, suppose that F admits a basic additive function z with trivial kernel.Then F =Ker z ' F is a length category by Proposition 2.10.
As a consequence of Corollary 2.11, we can deduce the converse of Lemma 2.3.Lemma 2.12.Suppose that A is a locally coherent category such that every injective has finite endolength.Then the category A is locally finite.
Proof.Let ¹M i º i 2I be a set of representatives of isoclasses of objects in fp A and let ¹Q i º i 2I be the set of their injective envelopes in A. The object H ´Qi2I Q i is injective and, thus, has finite endolength by our assumption.The kernel Ker z H of the additive function z H on fp A is trivial.Throwing out repeating summands from the decomposition of z H yields a basic additive function with trivial kernel.By Corollary 2.11, A is locally finite.
As we have just seen, locally finite categories can be identified among locally coherent categories by the existence of a special integral additive function (see Corollary 2.11) or by the fact that all of their injective objects have finite endolength (see Lemmas 2.3 and 2.12).According to results in [20], locally finite categories are also characterised by the fact that their Ziegler spectrum is discrete and satisfies the isolation property.For a locally coherent category A, we say that a closed subset C of Zg A satisfies the isolation property if, for every point OEQ 2 C such that ¹OEQº is open in its closure ¹OEQº, the Serre localisation .fpA/=Ker.Hom A . ; Q/j fp A / has a simple object 1) .Here, as usual, the set ¹OEQº is endowed with the subspace topology inherited from Zg A. The isolation property is a useful hypothesis that is observed in many cases.For example, it always holds for Zg A if the Krull-Gabriel dimension of fp A is defined or if A has no superdecomposable injectives -this follows from [20,Corollary 12.5,Theorem 11.2].Note that, in [20], the isolation property is defined in a slightly different context.The precise relation to the version we use will be explained in Appendix A. The following theorem encapsulates the takeaway message of this section.Its proof is also given in Appendix A.
Theorem 2.13.Let A be a locally coherent category.The assignments The correspondence between (a) and (b) restricts to the bijection in Theorem 2.8.From the proof of Theorem 2.13, it is apparent that this correspondence respects decompositions.Each basic object H admits, by definition, a decomposition H D `i2I H i into a coproduct of pairwise non-isomorphic indecomposable objects H i with local endomorphism rings.If H is injective, so are the H i .If, moreover, H has finite endolength as in (a), then the objects H i have finite endolength, as explained in Section 2.1.We then have z H D P i 2I z H i .The correspondence between (c), (d) and (e) is a restricted version of the bijections in Theorem 2.5.
We conclude this section with further observations that will be used later on.These remarks can be deduced from Theorem 2.13 and from the material in Appendix A. Remark 2.15.Going from (a) to (e) in Theorem 2.13 corresponds precisely to taking the indecomposable summands ¹OEH i º i 2I of H D `i2I H i (see part (1) of Proposition A.1).In fact, the sets appearing in (e) could be equivalently described as subsets of Zg A such that the coproduct of representatives of all their elements has finite endolength.Another equivalent characterisation of the sets appearing in (e) is the following: (e 0 ) closed discrete subsets of Zg A such that the coproduct of (representatives of) all their elements is ˙-pure-injective.
Since objects of finite endolength are ˙-pure-injective, it is clear that all the sets appearing in (e) are in (e 0 ).The converse follows from Lemmas A.2 and A.3 and the properties of localisation sequences.

Rank functions on triangulated categories
In this section, we study rank functions on triangulated categories via additive functions on the corresponding module categories.We show that rank functions on C can be identified with translation-invariant additive functions on mod C .

3.1.
The module category of a triangulated category.Suppose henceforth that C is a skeletally small triangulated category with translation functor †W C ! C. In that case, the category Mod C is locally coherent and mod C is a Frobenius abelian category with the direct factors of representable functors as projective-injective objects.Hence a functor F in Mod C is finitely presented if and only if it admits a copresentation by representable functors or, equivalently, if F is naturally isomorphic to Im Hom C .; f / for some morphism f in C.
Recall that any triangulated functor ˆW C ! D between skeletally small triangulated categories gives rise to an exact restriction functor ˆ W Mod D !Mod C via precomposition with ˆ.The functor ˆ has an exact left adjoint ˆ W Mod C ! Mod D, the induction functor, which is characterised as the unique colimit preserving functor from Mod C to Mod D that maps Hom C .; f / to Hom D .; ˆ.f // (see [22, §2.2, Lemma 2.2] or [24, §1, Lemmas 3.6, 3.7]).In particular, ˆ preserves representable functors and finitely presented objects, so it restricts to a functor ˆ j mod C W mod C ! mod D. In fact, since ˆ is exact, we get ˆ .Im Hom C .; f // Š Im ˆ .Hom C .; f // Š Im Hom D .; ˆf /: The induction † W Mod C ! Mod C of the translation functor is an equivalence, mapping Hom C .; f / to Hom C .; †f /.It is not hard to see that, up to a natural isomorphism, † is given by the restriction of † 1 .
A functor from a triangulated category to an abelian category is called cohomological if it maps triangles to exact sequences.Unless mentioned otherwise, all the cohomological functors we consider are assumed to be objects in Mod C. We use the following well-known characterisation of cohomological functors.Lemma 3.1 ([22, Lemma 2.7]).Let C be a skeletally small triangulated category.The following statements are equivalent for an object H in Mod C: We say that an object H in Mod C is endofinite if H.X / has finite length as a module over End Mod C .H / for every X in C. By Lemma 2.4, the endofinite objects in Mod C are exactly the objects of finite endolength.Note that the term endofinite was used differently in [22] (see [22,Definition 1.2]).We use this term in a broader sense.Since fp-injective objects of finite endolength are injective by Section 2.1, we have the following corollary.Corollary 3.2.Finite endolength injectives in Mod C are precisely the endofinite cohomological functors.
3.2.Rank functions.We shift our attention to rank functions on triangulated categories, as introduced by Chuang and Lazarev in [6].

Definition 3.3 ([6, Definition 2.3]
).A rank function on C assigns to each morphism f in C an element .f/ 2 R such that satisfies the following axioms: (M1) non-negativity: .f/ 0 for every morphism f in C ; (M2) additivity: .f˚g/ D .f/ C .g/ for any two morphisms f and g; Alternatively, rank functions can be defined on objects of C .
Remark 3.5.Note that it is implicit in axiom (M2) that rank functions are constant on isomomorphism classes of morphisms since coproducts are defined only up to isomorphism.Two morphisms f and f 0 in some category are isomorphic (f f 0 ) if there exist isomorphisms ˛and ˇsuch that f 0 ı ˛D ˇı f .For any assignment on Mor C satisfying (M2), f f 0 implies that both f and f 0 represent f ˚0, so the values of on f and f 0 coincide.The invariance of on isomorphism classes of morphisms independently follows from (M3).It is enough to check that (M3) implies that .f/ D .fı ˛/ D .ˇıf / for isomorphisms ąnd ˇ.A triangle starting with f , which therefore must also be a triangle in C. The application of (M3) to both triangles yields .f/ D .fı ˛/.The proof of the equality .f/ D .ˇıf / is analogous.Since C is skeletally small, Mor C= forms a set.By the above, can be regarded as an actual function on this set.Analogously, any assignment satisfying (O2) is constant on isomorphism classes of objects in C, and so can be regarded as an actual function on a set.
Example 3.6.Let A be a finite-dimensional algebra over a field k.Denote by D b .A/ the bounded derived category of finite-dimensional A-modules and by K b .projA/ ' per.A/ the homotopy category of bounded complexes of finite-dimensional projective A-modules, which naturally embeds into D b .A/.For any object X in K b .projA/, we can consider the rank function on the category D b .A/ defined on objects as follows: Axioms (O1), (O2) and (O4) are clear from the construction.Applying for any i 2 Z, and thus In particular, in case X D A, we get that # A .Y / is the dimension of the total cohomology of Y .Dually, for any object Z in D b .A/, we can consider the following rank function on the category K b .projA/: Note that the same formula defines a rank function on D b .A/ if the object Z is in the homotopy category K b .injA/ of bounded complexes of finite-dimensional injective A-modules.
Let us denote by D ´Hom k .; k/ the standard duality.The Nakayama functor satisfies the property Observe that, in the case when the global dimension of A is finite, the categories D b .A/, K b .projA/ and K b .injA/ coincide, and so it follows from (3.2) that becomes a Serre functor on D b .A/.
Example 3.7.Similarly to the previous example, we can take A to be a dg algebra over a field k.Then, for an object X in the perfect derived category per.A/, one can define a rank function # X on the subcategory D fd .A/ of the derived category of A, consisting of dg A-modules whose total cohomology is finite-dimensional over k.As in Example 3.6, one can also consider a rank function # Z on per.A/ for Z in D fd .A/.
Example 3.8.Let X be a projective scheme over a field k.Denote by per.X/ the derived category of perfect complexes over X and by D b .cohX/ the bounded derived category of coherent sheaves over X. Similarly to Example 3.6, for X 2 per.X/, we can consider rank functions of the form # X on D b .cohX/ and rank functions of the form # Z on per.X/ for Z in D b .cohX/.The fact that the corresponding functions are well-defined follows from [39, Lemmas 7.46, 7.49].Going in the opposite direction, given an assignment W Mor C ! R satisfying conditions (M1), (M2) and (M3), it may be possible to find morphisms f and f 0 in C such that .f/ ¤ .f 0/ but Im Hom C .; f / Š Im Hom C .; f 0 /.Hence we may not be able to construct a well-defined additive function z from , and the injective correspondence z 7 !may in fact not be surjective.Such pairs of morphisms .f; Even if we obtain a well-defined function z via the assignment the main difficulty is proving additivity of z .The functions for which axioms (M1), (M2) and (M3) hold satisfy the following properties.
Lemma 3.10.Let W Mor C ! R be an assignment satisfying properties (M1), (M2) and (M3).Then the following statements hold: Using (M3) and (M2), we deduce that The second equality in (3.In order to relate rank functions on C to additive functions on mod C, we need the following notion.An additive function z on mod C is called †-invariant if z .† F / D z .F / for every F in mod C. We are now ready to state our first main result.
Hence is a rank function on C, and the mapping z 7 ! is well-defined and injective.
In order to prove that the correspondence is surjective, consider a rank function on C. We want to define an additive function z on mod C such that .f/ D z .Im Hom C .; f // for f in C. Let F be in mod C and set z .F / ´ .f/, where f is such that F Š Im Hom C .; f /.Then z .F / is well-defined since any two morphisms f and f 0 in C with Im Hom C .; f / Š Im Hom C .; f 0 / satisfy the identity .f/ D .f 0/ by Lemma 3.10.Moreover, an identity analogous to (3.4) guarantees that z is †-invariant.It remains to show that z .F / D z .F 1 / C z .F 2 / whenever F is the extension of F 2 by F 1 in mod C .Consider such F , F 1 and F 2 in mod C. Using the Frobenius structure on mod C (see Section 3.1), there are morphisms We can com-plete the following commutative diagram using the horseshoe lemma: Here the morphisms Ã ; and Ä ; come from split triangles in C, and the top and the bottom rows are induced from f 1 and f 2 .By the Yoneda lemma, the middle row of the diagram above stems from a morphism f in C and we have a commutative diagram whose columns split, , where Ã 0 is a section of , so f 2 is the unique morphism making the bottom square of (3.5) commute.By the triangulated version of the 3 3 lemma (see [34,Lemma 2.6]), diagram (3.5) can be completed to a diagram with triangles as rows and columns, as partially depicted below: where the rows and all columns, except possibly the middle one, are exact.We claim that the central column is exact too.For that, we apply the 3 3 lemma three times.Consider the two leftmost columns in (3.6) and take the cokernels of the horizontal monomorphisms -in this way, we obtain a third column which must be a short exact sequence by the 3 3 lemma.A similar strategy is applied to the two rightmost columns: we consider the kernels of the horizontal epimorphisms and get a third column which is exact.It is then possible to enclose the middle column of (3.6) between two exact columns so that we obtain a 3 3 diagram whose rows and outermost columns are exact.The central column of (3.6) is therefore exact since ı ı D 0. In particular, it is split exact since all objects involved are projective-injective in mod C .Thus the triangle is split and Z Š Z 1 ˚Z2 .As a result, we get Here, the second equality follows from (M4), the third is a consequence of Lemma 3.10 and the last equality results from (M2).This finishes the proof.
Remark 3.12.The inequalities .fı g/ Ä .f/ and .fı g/ Ä .g/,proved in [6], follow from Theorem 3.11 noting that Im Hom C .; f ı g/ is a subobject of Im Hom C .; f / and a quotient of Im Hom C .; g/.Likewise, the inequalities in [6] follow from Theorem 3.11 and (M2).For the first inequality, note that ÃÃ and that G ´Im Hom C .; .0 g// is a quotient of H . Let C be the cokernel of the canonical monomorphism ÃW F ! H .Note that C lies in mod C and It is not hard to check that the canonical epimorphism W H ! G is such that ı Ã D 0, so must factor through the cokernel of Ã. Hence G is a quotient of C and z .C / z .G/ D .g/, which proves the desired inequality.For the inequality .fC g/ Ä .f/ C .g/, notice that Im Hom C .; f C g/ is a subquotient of Im Hom C .; f ˚g/.
Remark 3.13.There is a result due to Krause similar to Theorem 3.11, but concerning slightly different classes of functions (see [26]).One side of the bijective correspondence there is given by integral additive functions z on mod C satisfying the following condition, instead of †-invariance: for each F in mod C, there exists n 2 Z such that z .. † / n F / D 0. On the other side of the bijection, instead of rank functions, Krause considers functions for which (O3) and (O4) in Definition 3.4 are replaced by other suitable conditions, and which he calls cohomological functions.A typical example of a cohomological function is given by Y 7 !dim k Hom D b .A/ .X; Y / for Y in D b .A/ and some fixed object X in per.A/, where A is a finite-dimensional algebra over a field k (compare with Example 3.6).Results similar to [26, Theorem 1.4 (3)] will be discussed in the next section.

Integral rank functions
We apply the general theory from Section 2 and the conclusions from Section 3 to study integral rank functions, which will be our main focus for the rest of the paper.
Assume, as before, that C is a skeletally small triangulated category.We call a rank function on C integral if .f/ 2 Z for every morphism f in C. Note that, similarly to the case of additive functions, we can define a locally finite sum of rank functions .i / i 2I whenever, for each f in C, only finitely many i .f/ are non-zero.Observe that the class of integral rank functions is closed under locally finite sums.Given a rank function on C, we shall denote its restriction to objects by ob and its lift to mod C by z .We say that an additive function is †-irreducible if it is †-invariant, integral, non-zero, and cannot be expressed as a sum of two non-zero †-invariant integral additive functions.Similarly, a rank function is said to be irreducible if it is integral, non-zero, and cannot be written as a sum of two non-zero integral rank functions.Given two integral additive functions z and z on mod C, we say that z is †-equivalent to z if z D z .† / n for some n 2 Z.This defines an equivalence relation on the set of all integral additive functions on mod C. The †-orbit O z of an integral additive function z on mod C is the equivalence class of integral additive functions †-equivalent to z , i.e.O z D ¹z .† / n j n 2 Zº.Note that, by Lemma 2.7, an additive function z on mod C is irreducible if and only if z † is irreducible, as † and .† / 1 are essentially surjective.In particular, if z is irreducible, then so is every function in O z .Theorem 4.2.Let C be a skeletally small triangulated category.The following statements hold: (1) every †-invariant integral additive function on mod C can be expressed in a unique way as a locally finite sum of †-irreducible additive functions on mod C; (2) every integral rank function on C can be decomposed in a unique way as a locally finite sum of irreducible rank functions on C .
Proof.In order to prove (1), consider a †-invariant integral additive function z .According to Theorem 2.8, z decomposes as a locally finite sum of irreducible additive functions z D P i 2I z i in an essentially unique way.Observe that Since the additive functions z † i are irreducible, there exists a bijection 'W I !I such that z , and this decomposition of z 1 is locally finite.Since both z and z 1 are †-invariant, so is z 2 .Clearly, the function z 1 is †-irreducible.In case z is †-irreducible, z 2 must be zero.For the general case, we have that ¹z i º i 2I D S i 2I O z i and one can use the axiom of choice to decompose this set as a disjoint union `k2K O z k with k 2 K Â I .As a result, we get that This proves part (1).Part (2) follows from (1) using Theorem 3.11 (see also Remark 4.1).
In order to prove our next result, we need some further terminology.We say that a rank function is basic if it is integral and the summands appearing in its decomposition as a locally finite sum of irreducible rank functions, as in Theorem 4.2, are pairwise distinct.Moreover, a functor H in Mod C is said to be †-invariant if † H Š H , i.e.H ı † is naturally isomorphic to H . Finally, any class Y of objects (resp.morphisms) in C shall be called . By abuse of notation, any class of objects or morphisms in Mod C which is mapped onto itself by † will also be called †-closed.Since the classes we will be considering are closed under isomorphisms, this amounts to requiring that the action of † or † and of the respective quasi-inverses stays within the class.Similarly, we can consider †-orbits of objects in this situation.To get the bijections between (a)-(e) explicitly, one can use the assignments from Theorems 3.11 and 2.13.This yields the following chain of assignments: Here, we call a non-zero †-invariant endofinite cohomological functor †-indecomposable if it cannot be decomposed as a direct sum of two non-zero cohomological functors of the same kind.The counterpart of (e) are then closed discrete †-orbits of points in the Ziegler spectrum satisfying the isolation property, or equivalently, †-orbits of endofinite objects in the Ziegler spectrum such that the coproduct over the orbit is still endofinite (see Remark 2.15).The corresponding restriction of (c) are †-closed Serre subcategories S of mod C such that .modC/=S is a length category with one simple object up to translation (induced from Mod C).These correspond to locally finite quotients .Mod C /= E S with one indecomposable injective object up to translation.Note that the translation † on .Mod C/= E S induced from † on Mod C is still an equivalence of categories and † ı E Š E ı † and † ı R Š R ı † for E and R as in (2.2).Therefore, the last part follows, for example, from the fact that the homeomorphism Zg.A= E S/ !Zg A n O.S/ induced by R commutes with the translations and from the bijection between simple objects in fp A and indecomposable injectives in A for a locally finite category A.
Skeletally small triangulated categories C whose module category Mod C is locally finite will play an important role in our study of rank functions.Such triangulated categories shall also be called locally finite by abuse of terminology.Here is the simplified statement of Theorem 4.3 in that case.Proof.Recall that, by Lemma 3.1, cohomological functors are precisely the fp-injective objects in Mod C .If C, and thus Mod C, is locally finite, these are in turn the injective objects in Mod C, which all have finite endolength by Lemma 2.3.Now, any coproduct of injectives in Mod C is an injective of finite endolength, so any †-closed subset of Zg.Mod C/ appears as a subset from (e) in Theorem 4.3 (see Remark 2.15).The remaining bijections follow from Theorem 2.5 and the fact that Zg.Mod C/ is discrete in the locally finite case (see Theorem 2.13 or Lemma A.3).
Note that if C is not only locally finite but also idempotent complete, the points of the Ziegler spectrum correspond to indecomposable representable functors (see [25, Theorem 2.1]), so they are parameterised by the isoclasses of indecomposable objects in C.
A triangulated category C is called periodic if † d Š 1 C for some d ¤ 0. Periodic triangulated categories include homotopy categories of matrix factorisations, periodic derived categories, and certain cluster categories.For periodic triangulated categories, the †-orbits of endofinite cohomological functors have finite cardinality, so the coproduct of objects appearing in a †-orbit of an indecomposable endofinite cohomological functor remains endofinite.Using that, the statement of Theorem 4.3 can be simplified as well.In particular, we get the following corollary.(2) prime if it is integral and C has a generator X such that ob .X / D 1.
Here, by a generator of C, we mean an object X such that C coincides with its smallest thick subcategory hX i containing X.A triangulated category is said to be simple if it has an indecomposable generator and every triangle is a (finite) direct sum of split triangles.By [6, Corollary 2.21], such categories admit a unique prime rank function.Proof.Let X be a generator of C and let be integral with .1 X / D 1. Write D C with and integral rank functions.Since .1 X / D 1, then either .1 X / D 0 or .1 X / D 0. If .1 X / D 0, then hX i D C is contained in the thick subcategory Ker ob .Hence D 0.
We shall extend the bijection from Theorem 4.7 to all localising basic rank functions on arbitrary skeletally small triangulated categories.In fact, this extended bijection will follow as a corollary of a more general correspondence.To state and prove this correspondence, more background is needed.The annihilator Ann of an additive functor W C ! E is the class of all morphisms in C that are mapped to zero by .Note that Ann is an additive ideal and it is †-closed whenever is a triangulated functor.Using annihilators, one can define various types of ideals in triangulated categories.Following [22], we say that an ideal in C is cohomological if it has the form Ann F for some cohomological functor F W C !A to an abelian category A. By exact, we mean any ideal of the form Ann for a cohomological quotient functor W C ! E (see the definition below).Definition 4.9 ([24, Definitions 4.1, 7.1, 9.1]).A triangulated functor W C ! E between skeletally small triangulated categories is (1) a cohomological quotient functor if, for every abelian category A and every cohomological functor H W C !A satisfying Ann Â Ann H , there exists, up to a unique isomorphism, a unique cohomological functor H 0 W E !A such that H D H 0 ı ; (2) an exact quotient functor if, for every triangulated category E 0 and every triangulated functor GW C ! E 0 satisfying Ann Â Ann G, there exists, up to a unique isomorphism, a unique triangulated functor G 0 W E !E 0 such that G D G 0 ı ; (3) a CE-quotient functor if it is both a cohomological quotient functor and an exact quotient functor.
On the class of CE-quotient functors starting in C, one can define an equivalence relation by saying that 1 W C ! E 1 and 2 W C ! E 2 are equivalent if there exists an equivalence ˆW E 1 !E 2 such that 2 D ˆı 1 .Verdier localisations are the standard examples of CEquotient functors (see [24,Examples 4.3,7.2]).Since equivalent CE-quotient functors have the same kernel, distinct thick subcategories of C induce non-equivalent Verdier localisation functors.The next bijection follows from [24].Given a rank function , denote the ideal ¹f in C j .f/ D 0º by Ker and call this the kernel on morphisms of .By [6, Remark 2.7, Lemma 4.6], Ker is an additive ( †-closed) ideal (see also Remark 3.12).In fact, this ideal is cohomological.given by the composition of the Yoneda embedding with the Serre localisation functor is cohomological.We get that Ker D Ann F , so Ker is a †-closed cohomological ideal.(2) idempotent if it is integral and the ideal Ker is idempotent, meaning that every f in Ker is of the form g ı h for some g and h in Ker .
Note that we could have defined exact rank functions as integral rank functions whose kernel on morphisms Ker is an exact ideal.The equivalence of these two definitions follows from [24,Proposition 8.8].Note that each exact ideal is cohomological [24, §2].The notion of an idempotent rank function will play a more prominent role in the next section, where we restrict ourselves to the context of compact objects in a compactly generated triangulated category.In this setting, exact and idempotent rank functions coincide.In general, we can observe that every localising rank function is both exact and idempotent.(2) If is localising, it is both exact and idempotent.
Proof.Let be a rank function on C. On the one hand, a morphism f factors through an object in Ker ob if and only if f belongs to Ann Ä; this happens if and only if Im Hom C .; f / is in Ker Ä j mod C .On the other hand, f lies in Ker if and only if Im Hom C .; f / is in Ker z .Finally, if f factors through an object in Ker ob , then .f/ D Ä .f/ D 0, so f belongs to Ker .This proves that Ker Ä j mod C Â Ker z .Part (1) then follows from the definition of localising rank function.
To prove part (2), assume that is localising.By applying Theorem 4.10 to the CEquotient functor ÄW C ! C=Ker ob and using part (1), we get that is exact.To prove that is idempotent, consider f W X !Y in Ker .There exist hW X !K and gW K !Y with K in Ker ob and f D g ı h.Since .g/D Ä .g/D 0 and .h/D Ä .h/D 0; the ideal Ker is idempotent.
Suppose that C is a locally finite triangulated category.Denote the composition length on mod C by z `C .This yields a †-invariant additive function on mod C since the length of an object is preserved by † , as † is an equivalence.Consequently, there exists a canonical rank function on C, denoted by `C , which corresponds to z `C via the bijection in Theorem 3.11.In fact, since z `C is basic, so is `C .For example, it is easy to check that a simple triangulated category C is locally finite (see [25,Proposition 2.3]), and in that case, the map `C coincides with the unique prime rank function on C. For an arbitrary locally finite triangulated category C, we have `C .f/ D 0 if and only if Im Hom C .; f / D 0, and this holds exactly when f D 0. In other words, Ker `C D 0. We call rank functions with trivial kernel on morphisms morphismfaithful.Locally finite triangulated categories are characterised by the existence of an integral morphism-faithful rank function.
Proposition 4.14.A skeletally small triangulated category C is locally finite if and only if it admits a morphism-faithful basic rank function.In this case, such function is unique and is given by `C .
Proof.As mentioned previously, if C is locally finite, `C is morphism-faithful and basic.Now, the result follows from the construction of `C and from Corollary 2.11, recalling that C is locally finite if and only if mod C is a length category.
We are finally ready to prove the generalisation of Theorem 4.7.The reader may wonder what is the precise relation between exact, idempotent and localising rank functions.A prime (basic) rank function which is both exact and idempotent, but not localising, will be discussed in Example 5.15.An example of a prime (basic) rank function which is neither idempotent nor exact -and, therefore, not localising -will be presented in detail in Section 6.It would be interesting to have an example distinguishing exact and idempotent rank functions or to prove that these two classes coincide.The latter holds true if the underlying triangulated category C is the category of compact objects in a compactly generated triangulated category (see Lemma 5.7).The proof of this fact relies on [24,Corollary 12.6], which uses in an essential way the existence of the ambient large triangulated category.Note that all idempotent complete small triangulated categories admitting an enhancement arise as such categories of compact objects (see Remark 5.1).So, in most natural situations, exact and idempotent rank functions coincide.Remark 4.16.One can consider a more general class of localising, exact, and idempotent rank functions by removing the integrality assumption from their definitions.Proposition 4.13 would remain correct.However, Theorem 4.15 does not extend so easily to this more general setting.The reason is that the characterisation of locally finite categories relies heavily on integrality assumptions (see Proposition 4.14 and Corollary 2.11).It would be interesting to characterise triangulated categories admitting a morphism-faithful, but not necessarily integral, rank function and to describe all such functions.On a related note, observe that if W C ! E is a CE-quotient functor and is a rank function on E, then is integral if and only if is integral.This follows from the fact that is essentially surjective and from Theorem 3.11.

The case of compact objects
In this section, we restrict ourselves to the following setting: C D T c is the full subcategory of compact objects in a compactly generated triangulated category T .Recall that a triangulated category T is compactly generated if it has coproducts and if the full subcategory T c of compact objects in T is skeletally small and generates T , that is, Y in T is zero whenever Hom T .X; Y / D 0 for every object X in T c .Here, an object X in T is called compact if the functor Hom T .X; /W T !Ab preserves coproducts.
Remark 5.1.Note that each idempotent complete small triangulated category admitting an enhancement by a stable 1-category is equivalent to the full subcategory of compact objects in a compactly generated triangulated category (see [32,Proposition 5.4 ).In particular, each algebraic idempotent complete small triangulated category has this property, which also follows from the existence of a dg enhancement (see [17, §4.3], [18,Theorem 3.8,Corollary 3.7]).
We will connect rank functions on C with several pieces of data associated with the category T .
5.1.Rank functions, endofinite objects and definable subcategories.Every compactly generated triangulated category T admits a pure-exact structure.The restricted Yoneda functor ‡W T !Mod C, defined by X 7 !‡ .X / D Hom T .; X /j C ; provides the link between pure-injectives in T and injectives in Mod C.This is analogous to the study of pure-injectivity in a locally finitely presented category A with products via the analysis of the injectives in the associated locally coherent category Flat.Mod..mod..fp A/ op // op // of flat functors in Mod..mod..fp A/ op // op /; we refer to [9, §3.3] for further details and to [20,Theorem 2.8] for a generalisation of the results in [9].Remark 5.2.In general, the functor ‡ is not fully faithful, but it commutes with arbitrary products in T , just like the classic Yoneda embedding.Because of the restriction to compacts, ‡ also commutes with arbitrary coproducts.

A triangle
forms a short exact sequence in Mod C .An object X in T is pure-injective provided that every pure-exact triangle whose first term is X splits.The object X is ˙-pure-injective if any coproduct of copies of X is pure-injective.Using Brown representability, it can be shown that the isoclasses of pure-injective objects in T stand in one-to-one correspondence with the isoclasses of injectives in Mod C.
Theorem 5.3 ([22, Lemma 1.7, Theorem 1.8, Corollary 1.9]).The following statements hold: (1) X is a pure-injective object in T if and only if ‡ .X / is injective in Mod C; (2) every injective in Mod C is isomorphic to ‡ .X / for some pure-injective object X in T ; (3) the functor ‡ induces an equivalence between the subcategory of pure-injectives in T and the subcategory of injectives in Mod C.
Following [21, Definition 1.1], an object Z in T is called endofinite if Hom T .X; Z/ is an End T .Z/-module of finite length for every compact object X in T .Endofinite objects are ˙-pure-injective (see, for example, [3, §7]).This goes back to [21,Theorem 1.2].We get the following restricted version of the equivalence in part .3/ of Theorem 5.3.
Lemma 5.4.The functor ‡ induces an equivalence between the subcategory of ˙pure-injective objects in T and the subcategory of ˙-pure-injective cohomological functors in Mod C.This restricts to an equivalence between the subcategory of endofinite objects in T and the subcategory of endofinite cohomological functors in Mod C.
Proof.Recall from Section 2.1 that an object in Mod C is injective if and only if it is fp-injective and pure-injective, and the class of fp-injective objects is closed under direct factors and coproducts.By Lemma 3.1, a functor in Mod C is fp-injective if and only if it is cohomological.Thus, for F in Mod C, any coproduct of copies of F is injective if and only if F is ˙-pure-injective and cohomological.By Theorem 5.3 and the fact that ‡ commutes with coproducts, we see that this happens if and only if F Š ‡ .X / for a ˙-pure-injective object X in T .Together with part (3) of Theorem 5.3, this implies the first statement.
Recall that, by Corollary 3.2, endofinite cohomological functors are precisely the finite endolength injectives in Mod C. In order to prove that the equivalence in part (3) of Theorem 5.3 restricts to the equivalence in the second statement, it is enough to observe that, for Z in T and X in C, there is a natural isomorphism Hom T .X; Z/ D .‡ .Z//.X / Š Hom Mod C .Hom C .; X /; ‡ .Z// D Hom Mod C .‡ .X /; ‡ .Z//: Finally, recall that every object of finite endolength in Mod C is ˙-pure-injective.
Moreover, the dictionary provided by Theorem 5.3 allows us to identify the elements in Zg.Mod C/ with the isoclasses of indecomposable pure-injective objects in T .The Ziegler spectrum of a compactly generated triangulated category T , denoted by Sp T , is defined to be the set of all isoclasses of indecomposable pure-injective objects.The identification of Sp T with Zg.Mod C/ via ‡ induces a topology on Sp T , as described in Section 2.2.Recall that a subcategory D of T is called definable if there exists a family of functors .F i / i 2I of the form Hom T .Y i ; / By definition, a definable subcategory of T is closed under coproducts.Note that definable subcategories in Mod C can be defined similarly.
We are ready to prove the main result of this subsection, using the fundamental correspondence in [23].An object Z in T is called †-invariant if Z Š †Z.Moreover, for an ideal I in C, we denote by I ? the full subcategory of T given by ¹Z in T j Hom T .f;Z/ D 0 for all f 2 I º: Theorem 5.5.There is a bijective correspondence between (a) basic rank functions on C, (b) isoclasses of basic †-invariant endofinite objects in T , (c) †-closed closed discrete subsets of Sp T such that the coproduct of all their elements is ˙-pure-injective, (d) †-closed definable subcategories of T whose objects are endofinite.
Consequently, every basic rank function on C, when evaluated on objects, is of the form length End T .Z / Hom T .; Z /j C for some basic †-invariant endofinite object Z in T .Moreover, the kernel on morphisms Ker is the cohomological ideal and the definable subcategory associated with is .Ker / ?, which identifies with the additive closure of Z .
Proof.Combining Theorem 4.3 with Lemma 5.4, we get the bijection between (a) and (b).In fact, given a basic †-invariant endofinite object Z in T , we consider the endofinite cohomological functor ‡ .Z/, which in turn gives rise to the additive function The corresponding rank function evaluated on an object X in C is of the form ‡ .Z/ .1 X / D length End Mod C .‡ .Z// Hom Mod C .Hom C .; X /; ‡ .Z// D length End T .Z/ Hom T .X; Z/: Moreover, to pass from (b) to (c), we take the indecomposable summands of the endofinite object.They form a closed subset of Sp T , corresponding to a †-closed closed subset of Zg.Mod C/ such that the coproduct of all its elements is endofinite cohomological.By Corollary 3.2, this condition on the coproduct is equivalent to finite endolength.By Remark 2.15, such subsets of Zg.Mod C/ coincide with †-closed closed discrete subsets such that the coproduct of all their elements is ˙-pure-injective.Identifying Zg.Mod C/ and Sp T again, these are precisely the subsets in (c).To show that the passage from (b) to (c) induces a bijective correspondence, we refer again to Remark 2.15 to see that the subsets in (c) correspond precisely to the †-closed closed discrete subsets of Zg.Mod C/ satisfying the isolation property.These are in bijection with (a) by Theorem 4.3 and, therefore, in bijection with (b) as well.
The bijection between (c) and (d) is a consequence of the fundamental correspondence in [23] that establishes a bijection between definable subcategories of T and closed subsets of Sp T by assigning to D the subset ¹OEX 2 Sp T j X 2 Ob Dº.The converse is given by taking the definable closure of the objects representing the elements of a closed subset, that is, the smallest definable subcategory of T containing these objects.In our restricted setting, this converse takes a particularly nice form.More precisely, if C is a closed subset of Sp T such that the coproduct of the representatives of its elements is endofinite, then the corresponding definable subcategory of T is given by the additive closure of this coproduct.Indeed, by [27, Corollary 13.1.13],the definable closure of an endofinite object in Mod C coincides with its additive closure.Now we can transport this fact to T using [1, Corollary 4.4] and Lemma 5.4.Finally, let be a rank function on C with associated endofinite object Z in T .It remains to check that Ker D ¹f in C j Hom T .f;Z / D 0º: From the assignments in the fundamental correspondence in [23], we then obtain the desired description of the associated definable subcategory as .Ker / ? .To this end, observe that f 2 Ker if and only if Hom Mod C .Im Hom C .; f /; ‡ .Z // D 0. Using that ‡ .Z / is injective in Mod C , the latter is equivalent to Hom Mod C .‡ .f/; ‡ .Z // D 0, which in turn means that Hom T .f;Z / D 0, as wanted.
Example 5.6.Let us go back to Example 3.6.Fix an object X in per.A/ for a finitedimensional algebra A a field k and consider the rank function # X restricted to per.A/.Recall that # X was defined on objects as which implies that the rank function # X is integral and that the machinery developed so far applies, as per.A/ is the subcategory of compact objects in D.A/.Let us now additionally assume that the algebra A is basic, that is, A=J.A/ Š k k, where J.A/ denotes the Jacobson radical of A. Let us also specify to X D A. In that case, # A is the rank function computing the dimension of the total cohomology.Recall that # A D # DA .It is not hard to check that the function # A is basic and that the basic †-invariant endofinite cohomological object in the derived category D.A/, which corresponds to # A in Theorem 5.5, is `i2Z † i DA.Thus, on objects of per.A/, we have 5.2.Idempotent rank functions and smashing localisations.As before, assume that C is the subcategory T c of compact objects in a compactly generated triangulated category T .Lemma 5.7.A rank function on C is exact if and only if it is idempotent.Consequently, the correspondence mapping W C ! E to ` E induces a bijection between Proof.Recall that an integral rank function on C is exact if and only if Ker is an exact ideal, as defined after Definition 4.12.By [24, Corollary 12.6, Lemma 8.4], an ideal in C is exact if and only if it is †-closed, cohomological and idempotent.By Lemma 4.11, the ideal Ker is †-closed and cohomological for any rank function ; hence we get that Ker is exact if and only if it is idempotent.The first statement now follows from the definition of idempotent rank functions.The bijection between (a) and (b) is nothing but the bijection in Theorem 4. 15.
In what follows, we provide a link between rank functions and smashing localisations.Recall that a triangulated subcategory of T closed under coproducts is called localising, and a localising subcategory of T is said to be smashing if the inclusion functor admits a right adjoint preserving coproducts.Smashing subcategories S of T occur naturally as kernels of localisation functors preserving coproducts, and they induce decompositions of T into smaller triangulated categories, namely torsion-torsionfree triples of the form .S; S ? ; .S ?/ ?/ (see [35]).A typical example of a smashing subcategory is a localising subcategory generated by compact objects, i.e. the smallest localising subcategory containing a given set of compacts.The claim that all smashing subcategories of T arise in this way is often referred to as the telescope conjecture, which was proved in some cases, but fails in general (see, for example, [16]).The following is the main result of this subsection.This bijection can be understood as a special case of the bijection between (a) and (d) in Theorem 5.5.To see this, observe that the localisation functor T !T =S for any given smashing subcategory S of T admits a fully faithful right adjoint, which identifies T =S with S ?inside of T .The category T =S !S ? is always a compactly generated triangulated category (see [24,Theorem 11.1]).If S arises from an idempotent rank function on C, the subcategory S ? is precisely the definable subcategory of T associated with the rank function in Theorem 5.5 (see [24,Theorem 12.1]).In fact, the rank function is idempotent if and only if the corresponding definable subcategory is triangulated.This follows from the next lemma known to experts but somewhat hidden in the literature (see, for example, [30, Proposition 6.3, Remark 6.4]).Proof.Let S be a smashing subcategory of T .As already observed, T =S identifies with S ?inside T .Moreover, by [24,Corollary 12.5], we have S D Filt I for some exact ideal I in C .Hence, by [24,Theorem 12.1], it follows that S ?D I ?, which is a definable subcategory by definition.
To prove the converse, first note that, by [1, Proposition 4.5], if D is a triangulated definable subcategory of T , then .?D; D/ is a t -structure with ?D triangulated.Since D is closed under coproducts (as it is a definable subcategory of T ), the result then follows from the equivalence between conditions ( 5) and ( 6) in [35,Proposition 4.4.3].
Corollary 5.10.A cohomological †-closed ideal I is exact if and only if the definable subcategory I ? in T is triangulated.
Proof.As discussed in the proof of Lemma 5.9, if I is exact, then I ?D .Filt I / ? is triangulated.Conversely, if D ´I ? is triangulated, then ?D is a smashing subcategory by Lemma 5.9, and so D D J ? for some exact ideal J .Since J is cohomological, it must coincide with I by the fundamental correspondence between cohomological ideals and definable subcategories in [23].Hence I is exact.
As a consequence of Lemma 5.7 and Corollary 5.10, we get the desired characterisation of idempotent rank functions.
Corollary 5.11.Let be a basic rank function on C with the associated definable subcategory D ´.Ker / ? in T .Then is idempotent if and only if D is a triangulated subcategory of T .
We consider further consequences of the established link with smashing subcategories.Theorem 5.8 allows us to measure the failure of a restricted version of the telescope conjecture via rank functions.Note that the counterexample to the telescope conjecture presented in [16] also serves as a counterexample to this restricted version (see Example 5.15).Corollary 5.12.Every smashing subcategory S in T with .T =S/ c locally finite is generated by compact objects if and only if every idempotent rank function on C is localising.
We now consider the special case where T D D.A/ is the derived category of a dg algebra A over a commutative ring k and C D T c D per.A/.We wish to extend the bijection between localising prime rank functions on per.A/ and equivalence classes of finite homological epimorphisms of dg algebras A ! B with B simple artinian, proved in [6,Theorem 6.5].
Recall that the category of dg algebras over k carries a projective model structure and any dg algebra A admits a cofibrant replacement quasi-isomorphic to A (see [15], [41,Theorem 4.1 (3), §5] for the construction of the model structure, and [2, §2, Appendix A.4] for the discussion of its relevance to the study of homological epimorphisms).From now on, we will assume that A is cofibrant.A detailed exposition on homological epimorphisms can be found in [2,4,[35][36][37].We will give only the necessary definitions.A morphism of dg algebras f W A ! B is a homological epimorphism if the map B ˝L A B ! B induced by multiplication is a quasi-isomorphism.This holds if and only if the restriction functor f W D.B/ !D.A/ is fully faithful.The restriction functor f has a left adjoint given by ˝L A B. Moreover, the essential image of f is of the form S ? for a smashing subcategory S of D.A/, where S D ¹X in D.A/ j X ˝L A B D 0º: We can identify the functor ˝L A BW D.A/ !D.B/ Š D.A/=S with the smashing localisation associated with S. Two homological epimorphisms f W A ! B and f 0 W A ! B 0 are called equivalent if the essential images of the restriction functors f and f 0 coincide (equivalently, if there exists an isomorphism gW B ! B 0 in the homotopy category of dg algebras such that f 0 D g ı f ).This yields a bijection between equivalence classes of homological epimorphisms A ! B and smashing subcategories of D.A/ (see [35,Theorem 5.4.4],[4,Theorem 3], [2, §2]).Combining this with Theorem 5.8, we obtain the following result.The corresponding rank function is then of the form .`p er.B/ / ˝L A B by Lemma 5.7.When evaluated on objects, this yields `per.B/ .X ˝L A B/.
Note that, in the case of prime localising rank functions, the bijection in Theorem 5.13 restricts to the bijection in [6,Theorem 6.5].Indeed, both bijections go via the kernel of the Verdier localisation ˝L A BW per.A/ !per.B/ in this restricted setting.
Remark 5.14.In fact, since [35,Theorem 5.4.4] and [36] apply to homological epimorphisms of small dg categories, there is an analogous bijection, for a small cofibrant dg category A (using the model structure defined in [42]), between idempotent basic rank functions on per.A/ and equivalence classes of homological epimorphisms of dg categories A ! B with per.B/ locally finite.In particular, using Remark 5.1, one gets a bijection between idempotent basic rank functions on a skeletally small algebraic triangulated category with split idempotents and certain homological epimorphisms from its cofibrant dg enhancement.
We finish this section with an example of an exact rank function that is not localising.It is defined on the subcategory of compact objects in a compactly generated triangulated category which does not satisfy the telescope conjecture.This example stems from the famous example by Wodzicki [43,Example 4.7 (3)].
Example 5.15.Let k be a field.Fix an integer l 2. Consider the algebra B ´kOEt; t l 1 ; t l 2 ; : : : Let J be the augmentation ideal of B. The ideal J is generated by t; t l 1 ; t l 2 ; : : : .Let A be the localisation of B at J , which is local.Denote by I the unique maximal ideal of A. The ideal I satisfies the following property: Tor A i .A=I; A=I / D 0 for i > 0 (see [16]).By [16, Proposition], the localising subcategory of D.A/ generated by I , considered as an A-module, is smashing, but does not contain any compact objects.The map A ! A=I is a homological epimorphism, which induces the cohomological quotient functor F ´ ˝A A=I W per.A/ !per.A=I / with Ker F D 0 and Ann F ¤ 0 (see [24, §15]).Note that the algebra A=I is a field, and so F is essentially surjective.Therefore, the functor F is in fact a CE-quotient functor by [24,Lemma 7.3].Thus the triangulated category per.A=I / is simple and there exists a unique irreducible rank function on per.A=I /.As before, we define the rank function F on per.A/.On objects, it takes the following form: F ob .X / ´ ob .F .X // for X in per.A/: Then F is an exact rank function which is not localising.Note that F is prime by construction.Indeed, F .A/ D A=I is an indecomposable generator of per.A=I /; thus ob .A=I / D 1 and F ob .A/ D ob .A=I / D 1.
In the example above, the target of the CE-quotient functor is a simple triangulated category and the corresponding rank function is prime.However, we do not know if the bijections from Theorem 4.15 and Lemma 5.7 restrict to bijections between, respectively, exact and idempotent prime rank functions and CE-quotient functors to simple triangulated categories (compare with Theorem 4.7).

Example: Cluster category of type A 3
In this section, we consider an example of a locally finite triangulated category.We describe all integral rank functions on this category and show that one of the irreducible rank functions is prime, but neither idempotent nor exact or localising.
Let C A 3 be the cluster category of type A 3 over an algebraically closed field k.This category can be constructed as the orbit category of the category D b .kA 3 / modulo the action of 1 † for a fixed orientation of A 3 (see [5]).Here denotes the Auslander-Reiten translate.The category C A 3 is a locally finite triangulated category.It is Krull-Schmidt, Homfinite, 6-periodic and has Auslander-Reiten triangles.It has 9 indecomposable objects up to isomorphism.There are precisely 2 †-orbits of Auslander-Reiten triangles in C A 3 , with representatives (6.1) The first orbit has 6 elements up to isomorphism, corresponding to 6 indecomposable objects on the rim of the Auslander-Reiten quiver of C A 3 , which can be drawn on the Möbius strip.The second orbit has 3 elements, corresponding to the objects in the middle.The injective envelope of the simple object S 1 corresponding to triangle (6.1) is Hom C A 3 .; T 3 /; the envelope of the simple object S 2 corresponding to triangle (6.2) is Hom C A 3 .; † 1 T 2 /.
Since C A 3 is locally finite, taking injective envelopes provides a bijection between simple objects in mod C A 3 and indecomposable injective objects in Mod C A 3 (see the proof of Proposition A.1). Thus we have found all indecomposable injectives in Mod C A 3 .By Lemma 2.3, all injectives in Mod C A 3 have finite endolength, so any injective is a coproduct of indecomposable ones.Hence †-orbits of indecomposable injectives are in bijection with irreducible rank functions (see Corollary 4.5), and the irreducible rank functions can be described using the formula from Theorem 5.5.
Thus there are two †-irreducible additive functions on mod C A 3 .The irreducible rank function 1 on C A 3 corresponding to the †-orbit of the first Auslander-Reiten triangle is given by Similarly, the irreducible rank function 2 on C A 3 corresponding to the †-orbit of the second triangle is given by  These can also be described as follows: Indeed, dim k Hom C A 3 .; I 1 / induces an additive function on mod C A 3 whose values coincide with those of z 1 on simple objects (equivalently, on the connecting morphisms of triangles (6.1) and (6.2)).The same holds for 2 .Note that both 1 and 2 are not localising.Indeed, the values of i ob on objects are given on Figures 3 and 4, respectively.Since they are non-zero on all indecomposable objects, they are non-zero on all objects.Thus Ker i does not contain the identity map of any nonzero object.At the same time, Ker i ¤ 0 for both rank functions: these kernels contain the connecting morphisms of triangles (6.2) and (6.1), respectively.For example, consider the connecting morphism f W T 1 !T 3 of triangle (6.1).We have 2 .f/ D 1C1 2 2 D 0, as illustrated on Figure 4.This can be seen explicitly from the triangle Every indecomposable object of C A 3 generates C A 3 .In particular, so does T 1 ; hence 2 is prime ( 2 ob .T 1 / D 1).The sum ´ 1 C 2 gives the morphism-faithful rank function corresponding to the composition length on the category mod C A 3 .
The category C A 3 is algebraic, idempotent complete, and has a generator.Thus it can be realised as the category T c for some compactly generated triangulated category T (see Remark 5.1).Therefore, the classes of exact and idempotent rank functions on C A 3 coincide.Let us check that 2 is not idempotent; the fact that it is not exact will then follow by the above.We will check that f cannot be written as g ı h with both g and h in Ker 2 .
For any factorisation f D g ı h of f , the morphism hW T Note that at least one of the components has to be non-zero.The following inequality holds for any rank function : .h/.hi / for any i (see Remark 3.12).Thus, if h has at least one component of the form c i 1 T 1 or c i ˛, we have 2 .h/In the proof of the following lemmas, we are going to use results from [20] which are stated in the language of exactly definable categories.In order to apply these results to a locally coherent category A, we use the bijections between locally coherent categories and skeletally small abelian categories from [9,§1.4,Theorem] and between skeletally small abelian categories and exactly definable categories in [20, Corollary 2.9].Going through these bijections identifies, up to equivalence, the corresponding skeletally small abelian category with fp A and the exactly definable category with the subcategory of fp-injective objects in A. The Ziegler spectrum of an exactly definable category can be identified with the Ziegler spectrum of the corresponding locally coherent category.

Lemma
where E is left adjoint to R. We show first that E Q factors through E. From the definition of O.S/ and the fact that OEQ 2 C , we get Hom A .S; Q/ D 0. Therefore, S Â S Q , and consequently, E S Â E S Q .By the universal property of E, there is an exact functor F W A= E S !A= E S Q such that E Q Š F ı E. We now prove that F factors through E Q .Recall that R is fully faithful and note that X in S Q H) Hom A= E S .X; Q/ D 0 D Hom A .R.X /; R.Q// H) R.X / in S Q : If X is an object in E S Q , then R.X / lies in E S Q as R preserves filtered colimits, and so F .X / Š F .E ı R.X // Š E Q .R.X // D 0: Therefore, E S Q Â Ker F and the universal property of E Q guarantees the existence of an exact functor GW .A= E S/= E S Q !A= E S Q satisfying F Š G ı E Q .Lastly, we check that E Q ı E factors through E Q .Note that X in S Q H) Hom A .X; R.Q// D 0 D Hom A= E S .E.X /; Q/ H) E.X / in S Q : As before, if X is an object in E S Q , then E.X / is in E S Q , as E is a left adjoint and therefore commutes with all colimits.Consequently, E S Q Â Ker.E Q ı E/.By the universal property of E Q , there exists an exact functor (c) Zg A is discrete and the coproduct of representatives of all its elements is ˙-pureinjective.
Proof.By [20,Corollary 12.12] and by the correspondences in [20, Theorem 2.8, Corollary 2.9], the Krull-Gabriel dimension of fp A coincides with the Cantor-Bendixson rank of Zg A whenever Zg A satisfies the isolation property.By definition, the Cantor-Bendixson rank of a topological space is zero if and only if it is discrete.Similarly, the Krull-Gabriel dimension of a skeletally small abelian category is zero if and only if all its objects have finite length.In particular, under the assumption that Zg A has the isolation property, the discreteness of Zg A forces a locally coherent category A to be locally finite.Conversely, one can prove directly that the Ziegler spectrum of a locally finite category is discrete and satisfies the isolation property, but this also follows from [20,Corollaries 12.5,12.12].This proves that (a) and (b) are equivalent.When A is locally finite, the class of injective objects is closed under coproducts and all injectives have finite endolength (recall Lemma 2.3).Consequently, (a) implies (c).Suppose now that the coproduct of the elements in Zg A is ˙-pure-injective.By

B. Group-valued rank functions
In this appendix, we provide a generalisation of Theorem 3.11 that covers d -periodic rank functions considered in [6].Throughout this section, C is a skeletally small triangulated category.Furthermore, we work in the following setup.
Setup B.1.Let Z be a module over a ring R whose underlying abelian group .Z; C/ is endowed with a translation-invariant partial order Ä, that is, x Ä y implies x C z Ä y C z for all x; y; z 2 Z.Let q be a fixed element in R.
One elementary example is Z D Z or Z D R, considered as a module over R D Z. Another typical example is Z D ROEx=.x d 1/, considered as a module over the polynomial ring R D ROEx, with R acting on Z by multiplication.The partial order on ROEx=.xd 1/ is induced from the partial order on ROEx after expressing all the elements in the standard basis.The partial order on ROEx is given as follows: f .x/Ä g.x/ if g.x/ f .x/ 2 R 0 OEx.Setup B.1 is sufficient to define Z-valued counterparts of all three types of functions considered in Section 3.2, with q appearing in the suitable replacement of the translation invariance property.
Definition B.2.A q- †-invariant Z-valued additive function z on mod C is an assignment of an element of Z 0 to each object in mod C, which is additive on short exact sequences and satisfies z .† F / D q z .F / for every F in mod C. Definition B.3 (cf.Definition 3.3).A Z-valued q-rank function on C is an assignment of an element .f/ 2 Z to each morphism f in C so that satisfies axioms (M1), (M2) and (M3), together with the following additional condition: (M4q) q- †-invariance: .†f / D q .f/ for every morphism f in C. Definition B.4 (cf.Definition 3.4).A Z-valued q-rank function on objects of C is an assignment ob of an element ob .X / 2 Z to every object X in C so that ob satisfies axioms (O1), (O2) and the following additional conditions: (O3q) congruence: for every f W X !Y in C, there exists z f 2 Z 0 such that ob .Y / ob .Cone f / C ob .†X / D .qC 1/z f I (O4q) q- †-invariance: ob .†X / D q ob .X / for every X in C.
We say that an element r 2 R is Z-regular if the left multiplication by r yields an injective map Z !Z.Note that z f in (O3q) is unique if q C 1 is regular.By abuse of notation, in the theorem below, we will write ob .Y / ob .Cone f / C ob .†X / q C 1 instead of z f .It is not difficult to deduce that a Z-valued q-rank function on objects satisfies the triangle inequality whenever q C 1 is Z-regular.To see this, apply (O3q) to f and †f and use q- †-invariance.
Theorem B.5 (cf.Theorem 3.11, [6, Propositions 2.4, 2.8, 2.12]).Let q C 1 2 R be Z-regular.There is a bijective correspondence between (a) q- †-invariant Z-valued additive functions z on mod C, (b) Z-valued q-rank functions on C, (c) Z-valued q-rank functions ob on objects of C. Proof.To show the bijection between (a) and (b), follow the proof of Theorem 3.11 word for word, replacing †-invariance by q- †-invariance and 2 by q C 1 in (3.7), and adapting (3.4).For the bijection between (b) and (c), one may follow the strategy of proofs in [6, Propositions 2.4, 2.8 and 2.12].We sketch the proof for completeness.Let be a Zvalued q-rank function on C. Straightforward verification shows that the map ob , defined by ob .X/ ´ .1 X /, satisfies axioms (O1) and (O2).The identity †1 X D 1 †X implies that ob is q- †-invariant.Finally, Lemma 3.10 guarantees that ob is congruent.Conversely, let ob be a Z-valued q-rank function on objects of C. Consider the map given by .f/ ´zf for f W X !Y in C and z f 2 Z 0 such that .qC 1/z f D ob .Y / ob .Cone f / C ob .†X /:

The assignments between
It is not difficult to show that the map is q- †-invariant and additive: this follows from the fact that ob is q- †-invariant and additive and that q C 1 is Z-regular.In order to check the rank-nullity condition, consider a triangle Example B.7.Let R be the polynomial ring ROEx, and Z its quotient ROEx=.xd 1/, with R acting on Z by multiplication.Take q D x.The element x C 1 2 ROEx is Z-regular if and only if d is odd.In this case, Z-valued q-rank functions are precisely the d -periodic rank functions considered in [6].The bijection between (b) and (c) in Theorem B.5 recovers [6, Propositions 2.8, 2.12].Taking d D 1, we recover Example B.6.The notion of a d -periodic rank function is defined for even d as well (see [6,Definition 2.6]).However, the regularity of q C 1 is crucial in the proof of Theorem B.5.Note that, for even d , Z-valued q-rank functions may differ from d -periodic rank functions.
Example B.8.Let R D Z be the Laurent polynomial ring ROEx; x 1 acting on itself by multiplication, and take q D x.The element x C 1 is Z-regular.In this case, Z-valued q-rank functions are precisely the 1-periodic rank functions considered in [6].Again, the bijection between (b) and (c) in Theorem B.5 recovers [6, Propositions 2.8, 2.12].For a ring A, there is a one-to-one correspondence between 1-periodic rank functions on per.A/ satisfying .1 A / D 1 and Sylvester rank functions (see [6,Theorem 3.7]).
(a) translation-invariant additive functions z on mod C, (b) rank functions on C .The correspondence maps an additive function z to the rank function given by .f/ ´z .Im Hom C .; f //:
induce a bijective correspondence between, respectively, (a) isoclasses of basic injective objects in A of finite endolength, (b) basic additive functions on fp A, (c) hereditary torsion subcategories of finite type X of A such that A=X is a locally finite category, (d) Serre subcategories S of fp A such that .fpA/=S is a length category, (e) closed discrete subsets of Zg A satisfying the isolation property.

Remark 2 . 14 .
The inverse of the assignment z 7 !Ker z from (b) to (d) maps a Serre subcategory S of fp A to z `E , where EW fp A ! .fpA/=S denotes the corresponding localisation functor and z `denotes the composition length on .fpA/=S (see Lemma 2.7 and the proof of Proposition A.1).

(3. 2 )
D Hom D b .A/ .X; Y / Š Hom D b .A/ .Y; X / for any objects X in K b .projA/ and Y in D b .A/.One can easily see that the following two rank functions on D b .A/ coincide:

3. 3 .
Rank functions via the module category.An additive function z on mod C induces an assignment on the class Mor C of morphisms in C by setting .f/ ´z .Im Hom C .; f //: The assignment satisfies conditions (M1), (M2) and (M3).Indeed, (M1) and (M2) are immediate.For (M3), consider a triangle in C , X f !Y g !Z !†X; and the induced exact sequence in mod C, Hom C .; X / f !Hom C .; Y / g !Hom C .; Z/: By assumption, z .Hom C .; Y // D z .Im f / C z .Im g /; which can be rewritten as .1 Y / D .f/ C .g/.
Theorem 3.11.Let C be a skeletally small triangulated category.There is a bijective correspondence between (a) †-invariant additive functions z on mod C, (b) rank functions on C. The correspondence maps an additive function z to the rank function given by .f/ ´z .Im Hom C .; f //: The inverse maps to the additive function z defined by z .F / ´ .f/ for F Š Im Hom C .; f /: Proof.Let z be a †-invariant additive function on mod C. As discussed before, the assignment given by .f/ ´z .Im Hom C .; f // satisfies (M1), (M2) and (M3).Moreover, we have .†f / D z .Im Hom C .; †f // D z .† .Im Hom C .; f /// D z .Im Hom C .; f // D .f/:

Remark 4 . 1 .
The bijection in Theorem 3.11 restricts to a bijection between ( †-irreducible) †-invariant integral additive functions on mod C and (irreducible) integral rank functions on C. 4.1.Decomposition theorem and further bijections.The goal of this subsection is to prove a decomposition theorem for integral rank functions and to connect rank functions to cohomological functors and Serre subcategories of mod C.

Theorem 4 . 3 .
Let C be a skeletally small triangulated category.There is a bijective correspondence between (a) basic rank functions on C, (b) isoclasses of †-invariant basic endofinite cohomological functors in Mod C , (c) †-closed Serre subcategories S of mod C such that the quotient .modC/=S is a length category, (d) †-closed hereditary torsion subcategories of finite type X of Mod C with .Mod C /=X locally finite, (e) †-closed closed discrete subsets of Zg.Mod C/ satisfying the isolation property.Proof.By Theorems 3.11 and 4.2, basic rank functions on C are in bijection with basic †-invariant additive functions on mod C. Recall that, by Corollary 3.2, endofinite cohomological functors are precisely the finite endolength injectives in Mod C. By Theorem 2.13, a basic endofinite cohomological functor H corresponds to a unique basic additive function z H . Therefore, † H Š H if and only if z H D z † H .By combining this with the identity z H D .z† H / † , which follows from the fact that † is an equivalence on Mod C, we obtain the bijection between (a) and (b).The remaining bijections follow from Theorem 2.13 and the assignments therein.
going from (a) to (d), to (c), to (e), to (b), and back to (a).Since irreducible rank functions are in bijection with †-irreducible additive functions, the correspondence between (a) and (b) in Theorem 4.3 restricts to a bijection between irreducible rank functions on C and †-indecomposable †-invariant endofinite cohomological functors in Mod C.

Corollary 4 . 4 .
If the triangulated category C is locally finite, there is a bijective correspondence between (a) basic rank functions on C, (b) isoclasses of †-invariant basic cohomological functors in Mod C, (c) †-closed Serre subcategories of mod C , (d) †-closed hereditary torsion subcategories of finite type of Mod C, (e) †-closed subsets of Zg.Mod C/.

Corollary 4 . 5 .
If the triangulated category C is periodic, there is a bijective correspondence between (a) irreducible rank functions on C , (b) †-orbits of indecomposable endofinite cohomological functors in Mod C.4.2.Exact and localising rank functions.The main goal of this subsection is to extend the bijection in [6, Theorem 6.4].Before recalling that result, a few definitions are needed.Given a triangulated functor ˆW C ! E between skeletally small triangulated categories and a rank function on E, one may define a new rank function ˆon C via ˆ.f / D .ˆ.f //.On the level of the module category, this corresponds, via Theorem 3.11, to the ( †-invariant) additive function z ˆ .Definition 4.6 ([6, §2, Definition 6.2]).A rank function on C is (1) localising if it is integral and .f/ D 0 implies that the morphism f factors through an object K satisfying .1 K / D ob .K/ D 0,

For a rank function
on C, one can define its kernel on objects Ker ob ´¹X in C j ob .X / D 0º:The subcategory Ker ob is clearly a thick subcategory of C by the definition of a rank function.Rank functions with trivial kernel on objects are called object-faithful.Every rank function descends to an object-faithful rank function on C =Ker ob satisfying Ä D , where ÄW C ! C=Ker ob is the Verdier localisation functor (see[6, Corollary 4.4]).

Theorem 4 . 7 ([ 6 ,
Theorem 6.4]).Let C be a skeletally small triangulated category with a generator.The correspondence 7 !Ker ob induces a bijection between (a) localising prime rank functions on C, (b) thick subcategories K of C with simple Verdier quotient C =K.The rank functions appearing in Theorem 4.7 are always irreducible.Lemma 4.8.Suppose that C has a generator.Then every prime rank function on C is irreducible.

Theorem 4 . 10 .
Let C be a skeletally small triangulated category.The assignment sending the functor W C ! E to Ker j mod C induces a bijection between (a) equivalence classes of CE-quotient functors starting in C, (b) †-closed Serre subcategories S of mod C for which the Serre localisation Mod C ! .Mod C /= E S admits an exact right adjoint.This restricts to a one-to-one correspondence between equivalence classes of CE-quotient functors from C to locally finite triangulated categories and †-closed Serre subcategories S of mod C for which the Serre localisation Mod C ! .Mod C/= E S admits an exact right adjoint and .Mod C /= E S is locally finite.Proof.By [24, Theorem 9.2], the assignment sending the functor W C ! E to Ann induces a bijection between the set of equivalence classes of CE-quotient functors starting in C and the set of exact ideals of C. By [24, Lemma 8.4], cohomological ideals are in bijection with Serre subcategories of mod C via the assignment sending an ideal I in C to the subcategory Im.I / ´¹F in mod C j F Š Im Hom C .; f / for some f 2 I º.By [24, Proposition 8.8], for a †-closed ideal I , being exact is equivalent to the fact that Mod C ! .Mod C/= !Im.I / admits an exact right adjoint.Combining this with the fact that Im.Ann / D Ker j mod C , we obtain the bijection between (a) and (b) with the desired assignment.Let us check how this bijection restricts in the locally finite case.Let W C ! E be a CEquotient functor.For convenience, write S instead of Ker j mod C .According to [24, Theorem 4.4], the functor j mod C W mod C ! mod E can be identified with the Serre localisation mod C ! .modC/=S .The localisation mod C ! .modC /=S corresponds to the restriction j mod C W mod C ! fp..Mod C/= E S / of the Serre localisation W Mod C ! .Mod C/= E S .In particular, fp..Mod C/= E S / ' mod E, so .Mod C/= E S is locally finite exactly when E is a locally finite triangulated category.

Lemma 4 . 11 .
Let be a rank function on C .Then Ker is a †-closed cohomological ideal in C. Proof.By the bijection in Theorem 3.11, to any rank function , we can assign a †invariant additive function z on mod C. The functor F , F W C ! mod C ! .modC/=Ker z ;

Definition 4 . 12 .
A rank function on C is (1) exact if it is integral and the Serre localisation functor Mod C ! .Mod C /= !Ker z has an exact right adjoint,

Proposition 4 . 13 .
Let be an integral rank function on C and let z be its lift to mod C. Denote by Ä the Verdier localisation ÄW C ! C =Ker ob .Then (1) is localising if and only if Ker Ä j mod C D Ker z .

Theorem 4 . 15 .
Let C be a skeletally small triangulated category.The correspondence mapping W C ! E to ` E induces a bijection between (a) equivalence classes of CE-quotient functors from C to locally finite triangulated categories, (b) exact basic rank functions on C.Moreover, the rank function appearing in (b) is localising if and only if the corresponding CEquotient is a Verdier localisation.Hence there is a bijection between thick subcategories K of C with a locally finite Verdier quotient C=K and localising basic rank functions on C. Proof.By Theorem 4.10, it follows that the assignment sending to Ker j mod C induces a bijective correspondence between (a) and †-closed Serre subcategories S of mod C for which .Mod C/= E S is locally finite and the Serre localisation Mod C ! .Mod C/= E S admits an exact right adjoint.By Theorem 4.3, these are in one-to-one correspondence with basic rank functions on C such that the Serre localisation Mod C ! .Mod C/= !Ker z admits an exact right adjoint.Combining these two bijections, we obtain a unique rank function such that Ker z D Ker j mod C .By Definition 4.12, the basic rank functions appearing in the last correspondence are precisely the exact basic rank functions, so we get the bijection between (a) and (b).As explained in the proof of Theorem 4.10, j mod C is the Serre localisation with respect to Ker j mod C .Thus the rank function in (b) corresponding to is ` E since in Theorem 2.13 the corresponding additive function is .z `E / (see Remark 2.14).For the second statement, let K be a thick subcategory of C with C=K locally finite.Consider the corresponding Verdier localisation W C ! C=K and the rank function ` C =K on C. Since `C=K is morphism-faithful, then Ker ` C =K D Ann .Hence every morphism in Ker ` C =K factors through an object in K and ` C =K is localising.Conversely, pick a localising basic rank function .Consider the functor ÄW C ! C=Ker ob .By Proposition 4.13, we have Ker Ä j mod C D Ker z .Using the bijection between (a) and (b), there exists a CEquotient functor W C ! E with E locally finite and D ` E .As `E is morphism-faithful, we get Ann D Ker and Ker j mod C D Ker z .By Theorem 4.10, Ker j mod C D Ker Ä j mod C implies that Ä and are equivalent CE-quotients functors.So is a Verdier localisation with kernel Ker ob .In particular, the assignment K 7 !` C =K gives a bijection between thick subcategories K of C with a locally finite Verdier quotient C =K and localising basic rank functions on C.
(a) equivalence classes of CE-quotient functors from C to locally finite triangulated categories, (b) idempotent basic rank functions on C.

Theorem 5 . 8 .
The assignment sending to Filt.Ker / ´¹Z in T j every morphism X !Z; with X in C ; factors through some morphism in Ker º induces a bijection between (a) idempotent basic rank functions on C, (b) smashing subcategories S of T with .T =S/ c locally finite.Moreover, the rank function is localising if and only if the corresponding smashing subcategory is compactly generated.Proof.By the previous lemma, idempotent basic rank functions on C are in bijection with CE-quotient functors W C ! E to locally finite triangulated categories.Following this assignment, Ker D Ann is an exact ideal.By [24, Corollary 12.5], exact ideals I in C are in bijection with smashing subcategories S D Filt I of T .Moreover, by [24, Corollary 12.7],the category E can be identified with a subcategory of T =S and the localisation T !T =S restricts to the CE-quotient W C ! E. The subcategory .T =S/ c then identifies with the closure of E under direct factors in T =S.Thus E is locally finite if and only if .T =S/ c is locally finite, and we get the bijection in the statement.Finally, a smashing subcategory is generated by compact objects if and only if the corresponding CE-quotient is equivalent to a Verdier localisation [24, Lemma 13.1, Proposition 13.2].This is, in turn, equivalent to the rank function being localising by Theorem 4.15.

Lemma 5 . 9 .
The assignments S 7 !S ? and D 7 !?D induce mutually inverse bijections between (a) smashing subcategories S of T , (b) triangulated definable subcategories D of T .

Theorem 5 . 13 .
Let A be a cofibrant dg algebra.There is a bijection between (a) idempotent basic rank functions on per.A/, (b) equivalence classes of homological epimorphisms A ! B with per.B/ locally finite.The idempotent basic rank function on per.A/ corresponding to the homological epimorphism f W A ! B has the following counterpart on objects of per.A/: ob .X / D .`per.B/ / ob .X ˝L A B/: Proof.The bijection between (a) and (b) follows from Theorem 5.8 and the fact that smashing subcategories of D.A/ and equivalence classes of homological epimorphisms starting in A are in one-to-one correspondence.To check the description of ob , note that the bijection in Theorem 5.8 first associates with the smashing localisation ˝L A BW D.A/ !D.B/ a CEquotient functor, which identifies, up to direct factors, with the restriction ˝L A BW per.A/ !per.B/:

Figure 3 .
Figure 3. Values of 1ob on indecomposable objects of C A 3 .

Figure 4 .
Figure 4. Values of 2ob on indecomposable objects of C A 3 .
and H ı G Š 1 .A= E S/= E S Q , as E Q and E Q are localisations.Therefore, G and H are mutually quasi-inverse equivalences.Lemma A.3.Let A be a locally coherent category.The following statements are equivalent: (a) A is locally finite; (b) Zg A is discrete and satisfies the isolation property; [9, §3.5, Theorem 2], [19, Lemma 3.1] and [20, Proposition 9.3], all objects in fp A must be noetherian.It then follows from [20, Proposition 12.3 (3), Corollary 12.5] that Zg A has the isolation property.This shows that (c) implies (b).Proof of Theorem 2.13.The bijection between (a) and (b) in the statement of Theorem 2.13 follows from parts (1) and (2) of Proposition A.1 and from Theorem 2.8.According to Theorem 2.5 and Section 2.4, (c) and (d) are in one-to-one correspondence.Consider now the assignment z 7 !!Ker z .By Proposition 2.10, this provides a well-defined correspondence between (b) and (c).To see that this mapping is injective, note that any two distinct basic additive functions on fp A give rise to different open sets in Zg A (by part (1) of Proposition A.1) and use Theorem 2.5.Surjectivity follows from part (3) of Proposition A.1.To prove the bijection between (d) and (e), suppose that S is a Serre subcategory of fp A. By Lemma A.3, A= E S is locally finite if and only if Zg.A= E S/ is discrete and satisfies the isolation property.Since Zg.A= E S/ and Zg.A/ n O.S/ are homeomorphic, Lemma A.2 implies that the previous conditions hold if and only if the closed set Zg A n O.S/ is discrete and has the isolation property.Together with Theorem 2.5, this shows that the assignment from (d) to (e) is well-defined and bijective.
The direct factors of representables are the finitely presented projective objects in Mod C. Let H be an object in Mod C, and consider an object X in C .By identifying Hom Mod C .Hom C .; X /; H / with H.X / via the Yoneda lemma, H.X / becomes a left module over the ring End Mod C .H /.Lemma 2.4.An object H in Mod C has finite endolength if and only if H.X / has finite length as an End Mod C .H /-module for every X in C. Proof.One implication is clear since representable functors are finitely presented.Conversely, suppose that H.X / Š Hom Mod C .Hom C .; X /; H / is an End Mod C .H /-module of finite length for every X in C. Consider a functor F in mod C.There exists an epimorphism ˛W Hom C .; X / F for some X in C. By applying the functor Hom Mod C .; H / to ˛, we obtain a monomorphism Hom Mod C .F; H / ,! Hom Mod C .Hom C .; X /; H / of End Mod C .H /modules.Since Hom Mod C .Hom C .; X /; H / has finite length, so does Hom Mod C .F; H /.2.2.The Ziegler spectrum of a locally coherent category.With every locally coherent category A, we may associate a topological space Zg A, called the Ziegler spectrum of A.
2.3.Additive functions on abelian categories.Let A be a locally coherent category and let H be an injective object in A which has finite endolength.We can assign to any object z H .Y / D z H .X / C z H .Z/ for any short exact sequence 0 !X !Y !Z !0 in fp A:

The left-hand side of the localisation sequence (2.2) is less well-behaved in terms of endolength. It is not difficult to see that Z in E
Denote by the projection Hom C .; X / !Im Hom C .; f / and by Ã the inclusion Im Hom C .; f / !Hom C .; Y /.The morphisms 0 ; Ã 0 are defined accordingly.Twisting Ã 1 0 and Ã 1 is left minimal.Analogously, there is a decomposition Hom C .; Y 0 / D Hom C .; Y 0 1 / ˚Hom C .; Y 0 2 / such that Ã 0 D Ã 0 1 0 with Ã 0 1 left minimal.Since Hom C .; Y / and Hom C .; Y 0 / are injective in mod C , the identity Im Hom C .; f / D Im Hom C .; f 0 / gives a pair of morphisms between Hom C .; Y / and Hom C .; Y 0 / which induces an isomorphism Hom C .; Y 1 / Š Im Hom C .; Y 0 1 / by the minimality of Ã 1 and Ã 0 1 .Note that Ã 1 Ã 0 1 via this isomorphism (see Remark 3.5 for notation).Dually, we get decompositions Hom C .; X / D Hom C .; X 1 / ˚Hom C .; X 2 / with D . 1 0/; 0and Ã 0 with an isomorphism, we can identify Im Hom C .; f / and Im Hom C .; f 0 /.Since C is Krull-Schmidt, we may apply[29,Corollary 1.4], and this guarantees the existence of a decomposition Hom C .; Y / D Hom C .; Y 1 / ˚Hom C .; Y 2 / such that Ã D ' n .j/ for all n 2 Z, every function in the †-orbit O z j appears as a summand in the decomposition z D P i 2I z i .Hence z can be expressed as z D z 1 C z 2 with z 1 D P / for every i 2 I .Fix j 2 I .Since z .† / n j D z z 2O z j .2.2, Lemma 5.4.2.4], [31, Proposition 1.1.3.6,Lemma 1.2.4.6,Remark 1.4.4.3] (2)all components of h are of the form c i f or 0, the map g must have a component of the form c 1 i 1 T 3 , and using the same argument, we get that 2 .g/ 2 ob .T 3 / D 1.In either case, f cannot be decomposed as f D g ı h with both g and h in Ker 2 .proof of Lemma 2.3, we conclude that Hom A= E S .L; H i 0 / is a simple End A= E S .H i 0 /-module.By the same reasoning, Hom A= E S .L; H / is a simple End A= E S .H /-module.Hence H i .L/ D z H i 0 .L/ D 1 D z H .L/: This identity implies that z H D P i 2J z H i .Consequently, z H D P i 2J z H i .According to[13,  §3, p. 523], every indecomposable injective object in a locally coherent category is isomorphic to the injective envelope of some finitely generated object.Because the finitely presented objects in a locally finite category are noetherian, they coincide with the finitely generated ones (we refer to [13, §7, p. 542]).In fact, note that taking injective envelopes of finitely presented simple objects yields a bijection between the isoclasses of finitely presented simples and the isoclasses of indecomposable injectives in any locally finite category.Hence, up to isomorphism, every indecomposable injective object in A= E S must be a direct factor of H .The set of pairwise non-isomorphic direct factors ¹H i j i 2 J º of H is therefore a complete irredundant set of indecomposable injective objects in A= E S, up to isomorphism, and Zg.A= E S/ D ¹OEH i j i 2 J º.We get that Zg A n O.S/ D ¹OEH i j i 2 J º, and this is a closed subset of Zg A (see Section 2.4).For part(2), it is clear that Ker z D Ker z .By Theorem 2.8, there exist pairwise nonisomorphic indecomposable injective objects of finite endolengthH i in A such that z i D z H i for i 2 J .Set H ´`i2J H i .We claim thatH is an injective of finite endolength.Consider the localisation sequence (2.2) for Ker z .As Ker z D T i 2J Ker z i D T i 2J Ker z H i , we have Hom A .Y; H i / D 0 for every Y in Ker z .Hence H i Š R.H i / for certain injective objects H i in A= !Ker z .As A= !Ker z is locally finite, the coproduct H ´`i2J H i is an injective of finite endolength (see [13, Proposition 7.1] and Lemma 2.3).As before, we get R.H / Š H , and H must be an injective of finite endolength.From part (1), it follows that z H D P i 2J z H i D z .To prove the statement in (3), let S be a Serre subcategory of fp A such that A= E S is locally finite.Recall that the composition length of objects in fp.A= E S/ is an integral additive function with trivial kernel.Consequently, we get Ker z 2 ob .T 1 / D 1 or 2 .h/ 2 .˛/D 1. `E D Ker E D S for the localisation EW A ! A= E S.
A.2. Let A be a locally coherent category.Let C be a closed subset of Zg A and let S be the Serre subcategory of fp A such that C D Zg A n O.S/.Then the isolation property holds for C if and only if it holds for Zg.A= E S/. closure in Zg.A= E S/ if and only if ¹OER.Q/º Â C is open in its closure in C .Since C is closed, the latter condition holds exactly when ¹OER.Q/º is open in its closure in Zg A. As R induces a homeomorphism, every point OEQ in C such that ¹OEQº is open in its closure in Zg A is of the form OEQ D OER.Q/ for some point OEQ in Zg.A= E S/ such that OEQ is open in its closure, and such special points OEQ in C and OEQ in Zg.A= E S/ are in bijection.Now take OEQ in Zg.A= E S/, and let Q ´R.Q/ be a representative of the corresponding element in C .Consider the Serre subcategories S Q ´Ker.Hom A= E S .; Q/j fp.A= E S/ / of fp.A= E S/ and S Q ´Ker.Hom A . ; Q/j fp A / of fp A. We claim that the categories .A= E S/= E S Q and A= E S Q are equivalent.This will imply that fp.A= E S/=S Q and .fpA/=S Q are also equivalent categories and so one of them contains a simple object if and only if the other does.That, together with the observations at the beginning of the paragraph, then proves that the isolation property holds for Zg.A= E S/ if and only if it holds for the closed set C of Zg A. To show that .A= E S/= E S Q and A= E S Q are equivalent, consider the Serre localisation functors E 4roof.According to Section 2.4and the notation therein, the functor RW A= E S !A induces a homeomorphism from Zg.A= E S/ to C .Hence a point ¹OEQº Â Zg.A= E S/ is open in its