Purity in compactly generated derivators and t-structures with Grothendieck hearts

Abstract

We study t-structures with Grothendieck hearts on compactly generated triangulated categories \({\mathcal {T}}\) that are underlying categories of strong and stable derivators. This setting includes all algebraic compactly generated triangulated categories. We give an intrinsic characterisation of pure triangles and the definable subcategories of \({\mathcal {T}}\) in terms of directed homotopy colimits. For a left nondegenerate t-structure \(\mathbf{t}=({\mathcal {U}},{\mathcal {V}})\) on \({\mathcal {T}}\), we show that \({\mathcal {V}}\) is definable if and only if \(\mathbf{t}\) is smashing and has a Grothendieck heart. Moreover, these conditions are equivalent to \(\mathbf{t}\) being homotopically smashing and to \(\mathbf{t}\) being cogenerated by a pure-injective partial cosilting object. Finally, we show that finiteness conditions on the heart of \(\mathbf{t}\) are determined by purity conditions on the associated partial cosilting object.

This is a preview of subscription content, access via your institution.

References

  1. 1.

    Angeleri Hügel, L.: On the abundance of silting modules. In: Surveys in Representation Theory of Algebras, Contemp. Math., vol. 716, pp. 1–23. American Mathematical Society, Providence (2018)

  2. 2.

    Angeleri Hügel, L., Coelho, F.U.: Infinitely generated tilting modules of finite projective dimension. Forum Math. 13(2), 239–250 (2001)

    MathSciNet  MATH  Google Scholar 

  3. 3.

    Angeleri Hügel, L., Marks, F., Vitória, J.: Torsion pairs in silting theory. Pac. J. Math. 291(2), 257–278 (2017)

    MathSciNet  MATH  Google Scholar 

  4. 4.

    Bazzoni, S.: The $t$-structure induced by an $n$-tilting module. Trans. Am. Math. Soc. 371(9), 6309–6340 (2019)

    MathSciNet  MATH  Google Scholar 

  5. 5.

    Beĭlinson, A.A., Bernstein, J., Deligne, P.: Faisceaux pervers. Analysis and topology on singular spaces. I (Luminy, 1981), Astérisque, vol. 100, pp. 5–171. Soc. Math. France, Paris (1982)

  6. 6.

    Beligiannis, A.: Relative homological algebra and purity in triangulated categories. J. Algebra 227(1), 268–361 (2000)

    MathSciNet  MATH  Google Scholar 

  7. 7.

    Bondarko, M.V.: On torsion pairs, (well generated) weight structures, adjacent t-structures, and related (co)homological functors. arXiv:1611.00754 (2016)

  8. 8.

    Chang, C.C., Keisler, H.J.: Model Theory, Studies in Logic and the Foundations of Mathematics, vol. 73, 3rd edn. North-Holland, Amsterdam (1990)

  9. 9.

    Colpi, R., Mantese, F., Tonolo, A.: Cotorsion pairs, torsion pairs, and $\Sigma $-pure-injective cotilting modules. J. Pure Appl. Algebra 214(5), 519–525 (2010)

    MathSciNet  MATH  Google Scholar 

  10. 10.

    Crawley-Boevey, W.: Infinite-dimensional modules in the representation theory of finite-dimensional algebras. In: Algebras and Modules, I (Trondheim, 1996), CMS Conf. Proc., vol. 23, pp. 29–54. American Mathematical Society, Providence (1998)

  11. 11.

    Garkusha, G., Prest, M.: Triangulated categories and the Ziegler spectrum. Algebr. Represent. Theory 8(4), 499–523 (2005)

    MathSciNet  MATH  Google Scholar 

  12. 12.

    Groth, M.: Derivators, pointed derivators and stable derivators. Algebr. Geom. Topol. 13(1), 313–374 (2013)

    MathSciNet  MATH  Google Scholar 

  13. 13.

    Groth, M.: Revisiting the canonicity of canonical triangulations. Theory Appl. Categ. 33, 350–389, Paper No. 14 (2018)

  14. 14.

    Happel, D., Reiten, I., Smalø, S.O.: Tilting in abelian categories and quasitilted algebras. Mem. Am. Math. Soc. 120(575), viii+ 88 (1996)

    MathSciNet  MATH  Google Scholar 

  15. 15.

    Harada, M.: Perfect categories. V. Osaka J. Math. 10, 585–596 (1973)

    MathSciNet  MATH  Google Scholar 

  16. 16.

    Herzog, I.: The Ziegler spectrum of a locally coherent Grothendieck category. Proc. Lond. Math. Soc. (3) 74(3), 503–558 (1997)

    MathSciNet  MATH  Google Scholar 

  17. 17.

    Keller, B.: Deriving DG categories. Ann. Sci. École Norm. Sup. (4) 27(1), 63–102 (1994)

    MathSciNet  MATH  Google Scholar 

  18. 18.

    Keller, B., Vossieck, D.: Aisles in derived categories. Bull. Soc. Math. Belg. Sér. A 40(2), 239–253 (1988). Deuxième Contact Franco-Belge en Algèbre (Faulx-les-Tombes, 1987)

  19. 19.

    Krause, H.: The spectrum of a locally coherent category. J. Pure Appl. Algebra 114(3), 259–271 (1997)

    MathSciNet  MATH  Google Scholar 

  20. 20.

    Krause, H.: Exactly definable categories. J. Algebra 201(2), 456–492 (1998)

    MathSciNet  MATH  Google Scholar 

  21. 21.

    Krause, H.: Smashing subcategories and the telescope conjecture–an algebraic approach. Invent. Math. 139(1), 99–133 (2000)

    MathSciNet  MATH  Google Scholar 

  22. 22.

    Krause, H.: Coherent functors in stable homotopy theory. Fundam. Math. 173(1), 33–56 (2002)

    MathSciNet  MATH  Google Scholar 

  23. 23.

    Krause, H.: The stable derived category of a Noetherian scheme. Compos. Math. 141(5), 1128–1162 (2005)

    MathSciNet  MATH  Google Scholar 

  24. 24.

    Lurie, J.: Higher algebra. http://www.math.harvard.edu/~lurie/papers/HA.pdf (2006)

  25. 25.

    Marks, F., Vitória, J.: Silting and cosilting classes in derived categories. J. Algebra 501(2), 526–544 (2018)

    MathSciNet  MATH  Google Scholar 

  26. 26.

    Nicolás, P., Saorín, M., Zvonareva, A.: Silting theory in triangulated categories with coproducts. J. Pure Appl. Algebra 223(6), 2273–2319 (2019)

    MathSciNet  MATH  Google Scholar 

  27. 27.

    Parra, C.E., Saorín, M.: Direct limits in the heart of a t-structure: the case of a torsion pair. J. Pure Appl. Algebra 219(9), 4117–4143 (2015)

    MathSciNet  MATH  Google Scholar 

  28. 28.

    Parra, C.E., Saorín, M.: Addendum to “Direct limits in the heart of a t-structure: the case of a torsion pair” [J. Pure Appl. Algebra 219 (9) (2015) 4117–4143] [MR3336001]. J. Pure Appl. Algebra 220(6), 2467–2469 (2016)

  29. 29.

    Prest, M.: Model Theory and Modules, London Mathematical Society Lecture Note Series, vol. 130. Cambridge University Press, Cambridge (1988)

    Google Scholar 

  30. 30.

    Prest, M.: Purity, Spectra and Localisation, Encyclopedia of Mathematics and its Applications, vol. 121. Cambridge University Press, Cambridge (2009)

    MATH  Google Scholar 

  31. 31.

    Prest, M.: Definable additive categories: purity and model theory. Mem. Am. Math. Soc. 210(987), vi+109 (2011)

    MathSciNet  MATH  Google Scholar 

  32. 32.

    Psaroudakis, C., Vitória, J.: Realisation functors in tilting theory. Math. Z. 288(3), 965–1028 (2018)

    MathSciNet  MATH  Google Scholar 

  33. 33.

    Saorín, M.: On locally coherent hearts. Pac. J. Math. 287(1), 199–221 (2017)

    MathSciNet  MATH  Google Scholar 

  34. 34.

    Saorín, M., Št’ovíek, J., Virili, S.: t-structures on stable derivators and Grothendieck hearts. arXiv:1708.07540 (2018)

  35. 35.

    Stenström, B.: Coherent rings and $F\, P$-injective modules. J. Lond. Math. Soc. 2(2), 323–329 (1970)

    MathSciNet  MATH  Google Scholar 

  36. 36.

    Šťovíček, J.: Derived equivalences induced by big cotilting modules. Adv. Math. 263, 45–87 (2014)

    MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

The author would like to thank Moritz Groth and Gustavo Jasso for many interesting and helpful conversations about derivators and other higher categorical structures. She would like to thank Lidia Angeleri Hügel, Frederik Marks and Jorge Vitória for discussions regarding the definition of partial cosilting, which also led to the contents of Example 4.4. Particular thanks are extended to Prof. Angeleri Hügel for her ongoing support of this project. During the later stages of this project, the author was supported by the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 797281.

Author information

Affiliations

Authors

Corresponding author

Correspondence to Rosanna Laking.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

The author was supported by the DFG SFB/Transregio 45 and by the Max Planck Institute for Mathematics.

Appendices

Appendix A: The axioms (Der1)–(Der4) and shifted derivators

A.1. The axioms

We will now state the axioms defining a derivator. In order to state (Der4) we will need the following definition. Let \(u :A \rightarrow B\) be a morphism in \({\mathcal {C}}at\) and b be an object in B. Then we may form the comma categoryu / b as follows: the objects of u / b are given by pairs (af) with a an object in A and \(f :u(a) \rightarrow b\). The morphisms \((a,f) \rightarrow (a',f')\) in u / b are given by morphisms \(g :a\rightarrow a'\) in A such that \(f = f' \circ u(g) \). Let \(p :u/b \rightarrow A\) be the obvious projection functor. We may perform the dual construction to obtain the comma category b / u and projection functor \(q :b/u \rightarrow A\).

A prederivator \({\mathbb {D}}\) is a derivator if it has the following properties.

(Der1):

For every small family \(\{A_i\}_{i\in I}\) of small categories, the canonical functor

$$\begin{aligned} {\mathbb {D}}\left( \coprod _{i\in I} A_i\right) \rightarrow \prod _{i\in I} {\mathbb {D}}(A_i) \end{aligned}$$

is an equivalence of categories.

(Der2):

For every small category A, a morphisms \(f :X \rightarrow Y\) in \({\mathbb {D}}(A)\) is an isomorphism if and only if \(f_a :X_a \rightarrow Y_a\) is an isomorphism for every object a in A.

(Der3):

For all functors \(u :A \rightarrow B\), the restriction functor \(u^* :{\mathbb {D}}(B) \rightarrow {\mathbb {D}}(A)\) has a left adjoint \(u_! :{\mathbb {D}}(A) \rightarrow {\mathbb {D}}(A)\) and a right adjoint \(u_* :{\mathbb {D}}(A) \rightarrow {\mathbb {D}}(B)\).

(Der4):

For all functors \(u :A \rightarrow B\) and all objects b in B, there are canonical isomorphisms \(\pi _!p^* \rightarrow b^*u_!\) and \(b^*u_* \rightarrow \pi _*q^*\).

The functor \(\pi _*\) is a homotopy limit functor (see the next subsection) and so (Der4) means that, for all functors \(u :A \rightarrow B\), the image of the right Kan extension \(u^*\) can be expressed point-wise in terms of these simpler right Kan extensions. A similar statement may be made for left Kan extensions.

The canonical isomorphisms arising in (Der4) are instances of canonical mate transformations. Many of the proofs in Appendix B of this paper will refer to the calculus of canonical mates and the existence of homotopy exact squares. For a systematic treatment of these techniques, we refer the reader to [12, Sec. 1.2].

A.2. Shifted derivators

Let B be a small category and consider the 2-functor \(B \times - :{\mathcal {C}}at^{\mathrm {op}}\rightarrow {\mathcal {C}}at^{\mathrm {op}}\) taking each A to the product \(B \times A\). Then the shifted derivator\({\mathbb {D}}^B\) is defined to be the derivator \({\mathbb {D}}\) precomposed with \(B\times -\). This is clearly a 2-functor and in [12, Thm. 1.25] it is shown that \({\mathbb {D}}^B\) is a derivator.

The following definitions describe the restriction functors and Kan extensions in the shifted derivator. We have added decorations to indicate which derivator they have been taken with respect to. We will also use this notation in later sections when necessary:

  • For each small category A, we have that \({\mathbb {D}}^B(A) := {\mathbb {D}}(B\times A)\);

  • For each functor \(u :A \rightarrow C\) in \({\mathcal {C}}at\), we have that \(u_{{\mathbb {D}}^B}^* := (\mathrm {id}_B \times u )^*_{\mathbb {D}}\), \(u^{{\mathbb {D}}^B}_* := (\mathrm {id}_B \times u )_*^{\mathbb {D}}\) and \(u^{{\mathbb {D}}^B}_! := (\mathrm {id}_B \times u )_!^{\mathbb {D}}\);

  • The evaluation functors and the functors \(\mathrm {hocolim}_{A}^{{\mathbb {D}}^B}\), \(\mathrm {holim}_{A}^{{\mathbb {D}}^B}\) and \(\mathrm {dia}_{A}^{{\mathbb {D}}^B}\) are all defined as in Sects. 2.1.2 and 2.1.3 using the above definitions.

  • By [12, Prop. 2.5] we have that \(\mathrm {hocolim}_{A}^{\mathbb {D}}(X_b^{{\mathbb {D}}^A}) \cong \mathrm {hocolim}_{A}^{{\mathbb {D}}^B}(X)_b^{\mathbb {D}}\) and \(\mathrm {holim}_{A}^{\mathbb {D}}(X_b^{{\mathbb {D}}^A}) \cong \mathrm {holim}_{A}^{{\mathbb {D}}^B}(X)_b^{\mathbb {D}}\) for all X in \({\mathbb {D}}(B\times A)\) and b in B.

Proposition A.1

[12, Prop. 4.3] Let \({\mathbb {D}}\) be a strong and stable derivator. For any small category A, the shifted derivator \({\mathbb {D}}^A\) is strong and stable.

Example A.2

Let \(k\) be a field and let Q be a finite quiver. Then we can consider the free category generated by Q and so we can also consider \({\mathbb {D}}_k(Q)\). Unravelling the definitions, we have that \({\mathbb {D}}_k(Q)\) is equivalent to the derived category \(\mathrm {D}(\mathrm {Mod}\text {-}{kQ})\) of modules over the path algebra \(kQ\). Now, for every small category A, we have that \((\mathrm {Mod}\text {-}{k})^{Q\times A} \cong (\mathrm {Mod}\text {-}{kQ})^A\) and so \({\mathbb {D}}_{kQ}(A) \cong {\mathbb {D}}_k(Q\times A)\). The derivator \({\mathbb {D}}_{kQ}\) is therefore the shifted derivator \({\mathbb {D}}_k^Q\).

Appendix B: Proof of Proposition 2.7

For the proof of Proposition 2.7, we will require the following lemma, which was shared with the author by Moritz Groth. For a small category A, let \(A^\triangleleft \) denote the category obtained from A by adding a new initial object \(-\infty \) and let \(i_A :A \rightarrow A^\triangleleft \) be the canonical inclusion. As in [13], we will call an object X in \({\mathbb {D}}(A^\triangleleft )\) a limiting cone if it is in the essential image of \((i_A)_*\).

Lemma B.1

Let \({\mathbb {D}}\) be a derivator and let S be a discrete category. An object X in \({\mathbb {D}}(S^\triangleleft )\) is a limiting cone if and only if the underlying diagram \(\mathrm {dia}_{S^\triangleleft }(X)\) is a product cone i.e. \(\mathrm {dia}_{S^\triangleleft }(X)\) exhibits \(X_{-\infty }\) as the product of the objects \(\{X_s\}_{s\in S}\) in \({\mathbb {D}}({\mathbf {1}})\).

Proof

Consider the diagram

where the top right triangle is a natural isomorphism by [12, Prop. 1.7]; the natural transformation in the bottom right triangle is the unit of the adjunction \((\pi ^*, \pi _*)\) and \(\alpha ^*\) is induced by the square

Note that \(\mathrm {dia}_{S} \circ \pi ^*\) is the constant diagram functor \(\Delta _S\), and so the vertical pasting of the triangles on the right is the diagonal map \(Y \rightarrow \mathrm {holim}_{S}(\Delta _S(Y)) = \prod _{s\in S} Y\) for each object Y in \({\mathbb {D}}({\mathbf {1}})\). The vertical pasting of the squares on the left yields a natural transformation \(\Delta _S(X_{-\infty }) \rightarrow i_S^*(\mathrm {dia}_{S^\triangleleft }(X))\) induced by the structure maps of X. The pasting of the entire diagram therefore gives rise to the map \(X_{-\infty } \rightarrow \prod _{s\in S} X_s\) produced by the universal property of the product applied to \(\mathrm {dia}_{S^\triangleleft }(X)\). So \(\mathrm {dia}_{S^\triangleleft }(X)\) is exhibiting \(X_{-\infty }\) as the product if and only if this morphism is an isomorphism. Since the top row is inhabited by invertible natural transformations, we have that the total pasting is a natural isomorphism whenever the pasting of the bottom row is a natural isomorphism. By [13, Prop. 2.6], this occurs exactly when X is a limiting cone. \(\square \)

Proof of Proposition 2.7

We first define a small category P(S) containing each proper filter on S as a full subcategory and show that there exists \({\tilde{X}}\) in \({\mathbb {D}}(P(S))\) satisfying the conditions of the theorem. Later we will restrict to the filter \({\mathcal {F}}\) in particular.

Let P(S) be the small category with objects \(\emptyset \ne P \in {\mathcal {P}}(S)\) and morphisms \(f_{PQ} :P \rightarrow Q\) if and only if \(Q \subseteq P\). Consider the functor \(l_S :S \rightarrow P(S)\) defined by \(s \mapsto \{s\}\) and the right Kan extension \((l_S)_* :{\mathbb {D}}(S) \rightarrow {\mathbb {D}}(P(S))\) along \(l_S\). For each X in \({\mathbb {D}}(S)\), define

$$\begin{aligned} {\tilde{X}} := (l_S)_*(X). \end{aligned}$$

Step 1: Show that for each\(P \in P(S)\), the value\({\tilde{X}}_P\)of\({\tilde{X}}\)atPis isomorphic to\(\prod _{p\in P} X_p\): Consider the slice square

By (Der4), the associated canonical mate transformation \(P^*(l_S)_* \rightarrow \mathrm {holim}_{(P/l_S)} q^*\) is an isomorphism. Note that the comma category \((P/l_S)\) is equivalent to the discrete category P and q is the canonical embedding of \(P\subseteq S\). By [12, Prop. 1.7], we have that

$$\begin{aligned} {\tilde{X}}_P = (l_S)_*(X)_P \cong \mathrm {holim}_{(P/l_S)}q^*(X) \cong \prod _{p\in P}X_p. \end{aligned}$$

Step 2: Show that the value\({\tilde{X}}_{f_{PQ}} :{\tilde{X}}_P \rightarrow {\tilde{X}}_Q\)of\({\tilde{X}}\)at\(f_{PQ}\)is the canonical projection\(\phi _{PQ}\)wherePis inP(S) and\(Q = \{p\}\)for\(p \in P\): Consider the fully faithful functor \(v_P :P^\triangleleft \rightarrow P(S)\) where \(p \mapsto \{p\}\) and \(-\infty \mapsto P\). By Lemma B.1, it suffices to show that \(v_P^*{\tilde{X}}\) is a limiting cone. Consider the square

where \(j_P\) is the embedding of P into S. If this square is homotopy exact then \(v_P^*(l_S)_*(X) \cong (i_P)_*j_P^*(X)\) as desired. The square can be expressed as the following vertical pasting

By [13, Lem. 2.12], the top square is homotopy exact and so, by [12, Lem. 1.14], it suffices to show that the bottom square is homotopy exact.

Since \(j_P\) and \(j_{P(P)}\) are fully faithful, it follows from [13, Lem. 2.12] that it is enough to show that the canonical mate transformation \((j_P)_!l_P^* \rightarrow l_S^*(j_{P(P)})_!\) is an isomorphism for all \(s \in S\setminus P\). Let Y be an object in \({\mathbb {D}}(P(P))\) and note that \(l_S^*(j_{P(P)})_!(Y)_s \cong (j_{P(P)})_!(Y)_{\{s\}}\). The functors \(j_{P(P)}\) and \(j_P\) are both cosieves. Since \(\{s\}\) is not in the image of \(j_{P(P)}\)and s is not in the image of \(j_P\), it follows from [12, Prop. 1.23] that both \((j_{P(P)})_!(Y)_{\{s\}}\) and \((j_P)_!l_P^*(Y)_s\) are isomorphic to initial objects in \({\mathbb {D}}({\mathbf {1}})\). Thus \((j_P)_!l_P^*(Y)_s \rightarrow l_S^*(j_{P(P)})_!(Y)_s\) is the unique isomorphism between initial objects. It follows that the bottom square is homotopy exact as required.

Step 3: Show that\({\tilde{X}}_{f_{PQ}} :{\tilde{X}}_P \rightarrow {\tilde{X}}_Q\)is the canonical projection\(\phi _{PQ}\)for each\(Q \subseteq P\)inP(S): Let \(k_{Q^\triangleleft } :(Q^\triangleleft )^\triangleleft \rightarrow P(S)\) be the functor defined by \(q \mapsto \{q\}\) for all \(q\in Q\), \(-\infty \mapsto Q\) and \(-\infty -1\mapsto P\). Then, by Step 3, the underlying diagram \(\mathrm {dia}_{(Q^\triangleleft )^\triangleleft }(k_{Q^\triangleleft }^*{\tilde{X}})\) is isomorphic to the incoherent diagram consisting of commutative triangles

for each \(q\in Q\). By the universal property of the product, the morphism u must be the canonical projection.

Step 4: Restrict to\({\mathcal {F}}\): Let \(u :{\mathcal {F}} \rightarrow P(S)\) be the fully faithful functor mapping each \(P \in {\mathcal {F}}\) to itself. Then let \(\mathrm {Red}_{\mathcal {F}}:= u^*\circ (l_S)_*\). It follows from the above steps that \(\mathrm {Red}_{\mathcal {F}}(X)\) has the desired properties. \(\square \)

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Laking, R. Purity in compactly generated derivators and t-structures with Grothendieck hearts. Math. Z. 295, 1615–1641 (2020). https://doi.org/10.1007/s00209-019-02411-9

Download citation

Keywords

  • T-structure
  • Cosilting
  • Cotilting
  • Purity
  • Definable
  • Reduced product
  • Derivator
  • Homotopically smashing
  • Locally coherent
  • Locally noetherian

Mathematics Subject Classification

  • 18E15
  • 18E30
  • 03C20