{"title":"t-Structures with Grothendieck hearts via functor categories","authors":"Manuel Saorín, Jan Šťovíček","doi":"10.1007/s00029-023-00872-9","DOIUrl":null,"url":null,"abstract":"Abstract We study when the heart of a t -structure in a triangulated category $$\\mathcal {D}$$ <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mi>D</mml:mi> </mml:math> with coproducts is AB5 or a Grothendieck category. If $$\\mathcal {D}$$ <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mi>D</mml:mi> </mml:math> satisfies Brown representability, a t -structure has an AB5 heart with an injective cogenerator and coproduct-preserving associated homological functor if, and only if, the coaisle has a pure-injective t -cogenerating object. If $$\\mathcal {D}$$ <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mi>D</mml:mi> </mml:math> is standard well generated, such a heart is automatically a Grothendieck category. For compactly generated t -structures (in any ambient triangulated category with coproducts), we prove that the heart is a locally finitely presented Grothendieck category. We use functor categories and the proofs rely on two main ingredients. Firstly, we express the heart of any t -structure in any triangulated category as a Serre quotient of the category of finitely presented additive functors for suitable choices of subcategories of the aisle or the co-aisle that we, respectively, call t -generating or t -cogenerating subcategories. Secondly, we study coproduct-preserving homological functors from $$\\mathcal {D}$$ <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mi>D</mml:mi> </mml:math> to complete AB5 abelian categories with injective cogenerators and classify them, up to a so-called computational equivalence, in terms of pure-injective objects in $$\\mathcal {D}$$ <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mi>D</mml:mi> </mml:math> . This allows us to show that any standard well generated triangulated category $$\\mathcal {D}$$ <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mi>D</mml:mi> </mml:math> possesses a universal such coproduct-preserving homological functor, to develop a purity theory and to prove that pure-injective objects always cogenerate t -structures in such triangulated categories.","PeriodicalId":49551,"journal":{"name":"Selecta Mathematica-New Series","volume":"36 1","pages":"0"},"PeriodicalIF":1.2000,"publicationDate":"2023-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"21","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Selecta Mathematica-New Series","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1007/s00029-023-00872-9","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 21
Abstract
Abstract We study when the heart of a t -structure in a triangulated category $$\mathcal {D}$$ D with coproducts is AB5 or a Grothendieck category. If $$\mathcal {D}$$ D satisfies Brown representability, a t -structure has an AB5 heart with an injective cogenerator and coproduct-preserving associated homological functor if, and only if, the coaisle has a pure-injective t -cogenerating object. If $$\mathcal {D}$$ D is standard well generated, such a heart is automatically a Grothendieck category. For compactly generated t -structures (in any ambient triangulated category with coproducts), we prove that the heart is a locally finitely presented Grothendieck category. We use functor categories and the proofs rely on two main ingredients. Firstly, we express the heart of any t -structure in any triangulated category as a Serre quotient of the category of finitely presented additive functors for suitable choices of subcategories of the aisle or the co-aisle that we, respectively, call t -generating or t -cogenerating subcategories. Secondly, we study coproduct-preserving homological functors from $$\mathcal {D}$$ D to complete AB5 abelian categories with injective cogenerators and classify them, up to a so-called computational equivalence, in terms of pure-injective objects in $$\mathcal {D}$$ D . This allows us to show that any standard well generated triangulated category $$\mathcal {D}$$ D possesses a universal such coproduct-preserving homological functor, to develop a purity theory and to prove that pure-injective objects always cogenerate t -structures in such triangulated categories.
期刊介绍:
Selecta Mathematica, New Series is a peer-reviewed journal addressed to a wide mathematical audience. It accepts well-written high quality papers in all areas of pure mathematics, and selected areas of applied mathematics. The journal especially encourages submission of papers which have the potential of opening new perspectives.