-
Tilting objects in the extended heart of a $t$-structure
Authors:
Alejandro Argudin Monroy,
Octavio Mendoza,
Carlos E. Parra
Abstract:
Building on the recent work of Adachi, Enomoto and Tsukamoto on a generalization of the Happel-Reiten-Smalø tilting process, we study extended tilting objects in extriangulated categories with negative first extension. These objects coincide with the 1-tilting objects in abelian categories as in the work of Parra, Saor{í}n and Virili. We will be particularly interested in the case where the extria…
▽ More
Building on the recent work of Adachi, Enomoto and Tsukamoto on a generalization of the Happel-Reiten-Smalø tilting process, we study extended tilting objects in extriangulated categories with negative first extension. These objects coincide with the 1-tilting objects in abelian categories as in the work of Parra, Saor{í}n and Virili. We will be particularly interested in the case where the extriangulated category in question is the heart $\mathcal{H}_{[\mathbf{t}_{1},\mathbf{t}_{2}]}$ of an interval of $t$-structures $[\mathbf{t}_{1},\mathbf{t}_{2}]$. Our main results consist of a characterization of the extended tilting objects of a heart $\mathcal{H}_{[\mathbf{t}_{1},\mathbf{t}_{2}]}$ for the case when $\text{\ensuremath{\mathbf{t}}}_{2}\leqΣ^{-1}\mathbf{t}_{1}$, and another one for the case when $Σ^{-2}\mathbf{t}_{1}<\mathbf{t}_{2}$. In the first one, we give conditions for these tilting objects to coincide with the quasi-tilting objects of the abelian category $\mathcal{H}_{[\mathbf{t}_{1},Σ^{-1}\mathbf{t}_{1}]}$. In the second one, it is given conditions for these to coincide with projective generators in the extriangulated category $\mathcal{H}_{[\mathbf{t}_{1},Σ\mathbf{t}_{2}]}$
△ Less
Submitted 26 March, 2025;
originally announced March 2025.
-
Puntajes máximos en el juego de dominó
Authors:
Carlos E. Parra,
Eugenio Trucco
Abstract:
In this work, we study the maximum scores that can be achieved in a team-based domino game. Specifically, we show that if the game ends because it is blocked, then the maximum score that can be obtained under this assumption is 107.
--
En este trabajo estudiamos los puntajes máximos que se pueden obtener en una partida, por equipos, en el juego del dominó. Concretamente; nosotros mostramos que…
▽ More
In this work, we study the maximum scores that can be achieved in a team-based domino game. Specifically, we show that if the game ends because it is blocked, then the maximum score that can be obtained under this assumption is 107.
--
En este trabajo estudiamos los puntajes máximos que se pueden obtener en una partida, por equipos, en el juego del dominó. Concretamente; nosotros mostramos que, si la partida termina porque el juego esta trancado, entonces el puntaje máximo que se puede obtener bajo este supuesto es de 107.
△ Less
Submitted 24 January, 2025;
originally announced February 2025.
-
TTF classes generated by silting modules
Authors:
Alejandro Argudin-Monroy,
Daniel Bravo,
Carlos E. Parra
Abstract:
We study the conditions under which a TTF class in a module category over a ring is silting. Using the correspondence between idempotent ideals over a ring and TTF classes in the module category, we focus on finding the necessary and sufficient conditions for $R/I$ to be a silting $R$-module, and hence for the TTF class $\mathbf{Gen}(R/I)$ to be silting, where $I$ is an idempotent two-sided ideal…
▽ More
We study the conditions under which a TTF class in a module category over a ring is silting. Using the correspondence between idempotent ideals over a ring and TTF classes in the module category, we focus on finding the necessary and sufficient conditions for $R/I$ to be a silting $R$-module, and hence for the TTF class $\mathbf{Gen}(R/I)$ to be silting, where $I$ is an idempotent two-sided ideal of $R$. In our main result, we show that $R/I$ is a silting module whenever $I$ is the trace of a projective $R$-module. Furthermore, we demonstrate that the converse holds for a broad class of rings, including semiperfect rings.
△ Less
Submitted 26 November, 2024;
originally announced November 2024.
-
Universal co-Extensions of torsion abelian groups
Authors:
Alejandro Argudín-Monroy,
Carlos E. Parra
Abstract:
In [16], a theory of universal extensions in abelian categories is developed; in particular, the notion of Ext-universal object is presented. In the present paper, we show that an Ab3 abelian category which is Ext-small satisfies the Ab4 condition if, and only if, each one of its objects is Ext-universal. We also give a characterization of the co-Ext-universal objects of the category of torsion ab…
▽ More
In [16], a theory of universal extensions in abelian categories is developed; in particular, the notion of Ext-universal object is presented. In the present paper, we show that an Ab3 abelian category which is Ext-small satisfies the Ab4 condition if, and only if, each one of its objects is Ext-universal. We also give a characterization of the co-Ext-universal objects of the category of torsion abelian groups. In particular, we show that such groups are the ones admitting a decomposition $Q\oplus R$, in which $Q$ is injective and $R$ is a reduced group on which each $p$-component is bounded.
△ Less
Submitted 17 April, 2023; v1 submitted 17 June, 2022;
originally announced June 2022.
-
Exactness of limits and colimits in abelian categories revisited
Authors:
A. Argudín-Monroy,
C. E. Parra
Abstract:
Let $Σ$ be a small category and $\mathcal{A}$ be a $Σ$-co-complete (resp. $Σ$-complete) abelian category. It is a well-known fact that the category $\operatorname{Fun}(Σ,\mathcal{A})$ of functors of $Σ$ in $\mathcal{A}$ is an abelian category, and that the functor $\mathsf{colim}_Σ(-):\operatorname{Fun}(Σ,\mathcal{A})\rightarrow\mathcal{A}$ (resp.…
▽ More
Let $Σ$ be a small category and $\mathcal{A}$ be a $Σ$-co-complete (resp. $Σ$-complete) abelian category. It is a well-known fact that the category $\operatorname{Fun}(Σ,\mathcal{A})$ of functors of $Σ$ in $\mathcal{A}$ is an abelian category, and that the functor $\mathsf{colim}_Σ(-):\operatorname{Fun}(Σ,\mathcal{A})\rightarrow\mathcal{A}$ (resp. $\mathsf{lim}_Σ(-):\operatorname{Fun}(Σ,\mathcal{A})\rightarrow\mathcal{A}$) is left (resp. right) adjoint to $κ^Σ:\mathcal{A}\rightarrow\operatorname{Fun}(Σ,\mathcal{A})$, where $κ^Σ$ is the associated constant diagram functor. In this paper we will show that the functor $\mathsf{colim}_Σ(-)$ (resp. $\mathsf{lim}_Σ(-)$) is exact if and only if the pair of functors $\left(\mathsf{colim}_Σ(-),κ^Σ\right)$ (resp. $\left(κ^Σ,\mathsf{lim}_Σ(-)\right)$) is Ext-adjoint. As an application of our findings, we will give new proofs of known results on the exactness of limits and colimits in abelian categories.
△ Less
Submitted 28 March, 2022;
originally announced March 2022.
-
Torsion and torsion-free classes from objects of finite type in Grothendieck categories
Authors:
Daniel Bravo,
Sinem Odabaşı,
Carlos E. Parra,
Marco A. Pérez
Abstract:
In an arbitrary Grothendieck category, we find necessary and sufficient conditions for the class of $\text{FP}_n$-injective objects to be a torsion class. By doing so, we propose a notion of $n$-hereditary categories. We also define and study the class of $\text{FP}_n$-flat objects in Grothendieck categories with a generating set of small projective objects, and provide several equivalent conditio…
▽ More
In an arbitrary Grothendieck category, we find necessary and sufficient conditions for the class of $\text{FP}_n$-injective objects to be a torsion class. By doing so, we propose a notion of $n$-hereditary categories. We also define and study the class of $\text{FP}_n$-flat objects in Grothendieck categories with a generating set of small projective objects, and provide several equivalent conditions for this class to be torsion-free. In the end, we present several applications and examples of $n$-hereditary categories in the contexts modules over a ring, chain complexes of modules and categories of additive functors from an additive category to the category of abelian groups. Concerning the latter setting, we find a characterization of when these functor categories are $n$-hereditary in terms of the domain additive category.
△ Less
Submitted 6 January, 2022;
originally announced January 2022.
-
Tilting preenvelopes and cotilting precovers in general Abelian categories
Authors:
Carlos E. Parra,
Manuel Saorín,
Simone Virili
Abstract:
We consider an arbitrary Abelian category $\mathcal{A}$ and a subcategory $\mathcal{T}$ closed under extensions and direct summands, and characterize those $\mathcal{T}$ that are (semi-)special preenveloping in $\mathcal{A}$; as a byproduct, we generalize to this setting several classical results for categories of modules. For instance, we get that the special preenveloping subcategories…
▽ More
We consider an arbitrary Abelian category $\mathcal{A}$ and a subcategory $\mathcal{T}$ closed under extensions and direct summands, and characterize those $\mathcal{T}$ that are (semi-)special preenveloping in $\mathcal{A}$; as a byproduct, we generalize to this setting several classical results for categories of modules. For instance, we get that the special preenveloping subcategories $\mathcal{T}$ of $\mathcal{A}$ closed under extensions and direct summands are precisely those for which $(_{}^{\perp_1}\mathcal{T},\mathcal{T})$ is a right complete cotorsion pair, where $_{}^{\perp_1}\mathcal{T}:=\text{Ker} (\text{Ext}_{\mathcal{A}}^1(-,\mathcal{T}))$. Particular cases appear when $\mathcal{T}=V^{\perp_1}:=\text{Ker}(\text{Ext}_{\mathcal{A}}^1(V,-))$, for an $\text{Ext}^1$-universal object $V$ such that $\text{Ext}_{\mathcal{A}}^1(V,-)$ vanishes on all (existing) coproducts of copies of $V$. For many choices of $\mathcal{A}$, we show that these latter examples exhaust all the possibilities.
We then show that, when $\mathcal{A}$ has an epi-generator, the (semi-)special preenveloping torsion classes $\mathcal{T}$ given by (quasi-)tilting objects are exactly those for which any object $T\in\mathcal{T}$ is the epimorphic image of some object in $_{}^{\perp_1}\mathcal{T}$ (and the subcategory $\mathcal{B}:=\text{Sub}(\mathcal{T})$ of subobjects of objects in $\mathcal{T}$ is reflective) and they are, in turn, the right constituents of complete cotorsion pairs in $\mathcal{A}$ (resp., $\mathcal{B}$).
In a final section, we apply the results when $\mathcal{A}=\mathrm{mod}\text{-}R$ is the category of finitely presented modules over a right coherent ring $R$, something that gives new results and raises new questions even at the level of classical tilting theory in categories of modules.
△ Less
Submitted 23 December, 2021; v1 submitted 25 March, 2021;
originally announced March 2021.
-
Local Coherence of Hearts Associated with Thomason Filtrations
Authors:
Lorenzo Martini,
Carlos E. Parra
Abstract:
Any Thomason filtration of a commutative ring yields (at least) two t-structures in the derived category of the ring, one of which is compactly generated [Hrb20,HHZ21]. We study the hearts of these two t-structures and prove that they coincide in case of a weakly bounded below filtration. Prompted by [SS20], in which it is proved that the heart of a compactly generated t-structure in a triangulate…
▽ More
Any Thomason filtration of a commutative ring yields (at least) two t-structures in the derived category of the ring, one of which is compactly generated [Hrb20,HHZ21]. We study the hearts of these two t-structures and prove that they coincide in case of a weakly bounded below filtration. Prompted by [SS20], in which it is proved that the heart of a compactly generated t-structure in a triangulated category with coproduct is a locally finitely presented Grothendieck category, we study the local coherence of the hearts associated with a weakly bounded below Thomason filtration, achieving a useful recursive characterisation in case of a finite length filtration. Low length cases involve hereditary torsion classes of finite type of the ring, and even their Happel-Reiten-Smalo hearts; in these cases, the relevant characterisations are given by few module-theoretic conditions.
△ Less
Submitted 28 January, 2022; v1 submitted 28 January, 2021;
originally announced January 2021.
-
The HRS tilting process and Grothendieck hearts of t-structures
Authors:
Carlos E. Parra,
Manuel Saorín
Abstract:
In this paper we revisit the problem of determining when the heart of a t-structure is a Grothendieck category, with special attention to the case of the Happel-Reiten-Smalø (HSR) t-structure in the derived category of a Grothendieck category associated to a torsion pair in the latter. We revisit the HRS tilting process deriving from it a lot of information on the HRS t-structures which have a pro…
▽ More
In this paper we revisit the problem of determining when the heart of a t-structure is a Grothendieck category, with special attention to the case of the Happel-Reiten-Smalø (HSR) t-structure in the derived category of a Grothendieck category associated to a torsion pair in the latter. We revisit the HRS tilting process deriving from it a lot of information on the HRS t-structures which have a projective generator or an injective cogenerator, and obtain several bijections between classes of pairs $(\mathcal{A},\mathbf{t})$ consisting of an abelian category and a torsion pair in it. We use these bijections to re-prove, by different methods, a recent result of Tilting Theory and the fact that if $\mathbf{t}=(\mathcal{T},\mathcal{F})$ is a torsion pair in a Grothendieck category $\mathcal{G}$, then the heart of the associated HRS t-structure is itself a Grothendieck category if, and only if, $\mathbf{t}$ is of finite type. We survey this last problem and recent results after its solution.
△ Less
Submitted 20 June, 2020; v1 submitted 23 January, 2020;
originally announced January 2020.
-
Locally finitely presented and coherent hearts
Authors:
Carlos E. Parra,
Manuel Saorín,
Simone Virili
Abstract:
Starting with a Grothendieck category $\mathcal{G}$ and a torsion pair $\mathbf{t}=(\mathcal{T},\mathcal{F})$ in $\mathcal G$, we study the local finite presentability and local coherence of the heart $\mathcal{H}_{\mathbf{t}}$ of the associated Happel-Reiten-Smalø $t$-structure in the derived category $\mathrm{Der} (\mathcal{G})$. We start by showing that, in this general setting, the torsion pai…
▽ More
Starting with a Grothendieck category $\mathcal{G}$ and a torsion pair $\mathbf{t}=(\mathcal{T},\mathcal{F})$ in $\mathcal G$, we study the local finite presentability and local coherence of the heart $\mathcal{H}_{\mathbf{t}}$ of the associated Happel-Reiten-Smalø $t$-structure in the derived category $\mathrm{Der} (\mathcal{G})$. We start by showing that, in this general setting, the torsion pair $\mathbf t$ is of finite type, if and only if it is quasi-cotilting, if and only if it is cosilting. We then proceed to study those $\mathbf t$ for which $\mathcal{H}_{\mathbf{t}}$ is locally finitely presented, obtaining a complete answer under some additional assumptions on the ground category $\mathcal{G}$, which are general enough to include all locally coherent categories, all categories of modules and several categories of quasi-coherent sheaves over schemes. The third problem that we tackle is that of local coherence. In this direction we characterize those torsion pairs $\mathbf t=(\mathcal T,\mathcal F)$ in a locally finitely presented $\mathcal G$ for which $\mathcal{H}_{\mathbf{t}}$ is locally coherent in two cases: when the tilted t-structure in $\mathcal{H}_{\mathbf{t}}$ is assumed to restrict to finitely presented objects, and when $\mathcal F$ is cogenerating. In the last part of the paper we concentrate on the case when $\mathcal G$ is a category of modules over a small preadditive category, giving several examples and obtaining very neat (new) characterizations even in this more classical setting, also underlying connections with the notion of an elementary cogenerator.
△ Less
Submitted 28 July, 2022; v1 submitted 1 August, 2019;
originally announced August 2019.
-
Properties of abelian categories via recollements
Authors:
Carlos E. Parra,
Jorge Vitória
Abstract:
A recollement is a decomposition of a given category (abelian or triangulated) into two subcategories with functorial data that enables the glueing of structural information. This paper is dedicated to investigating the behaviour under glueing of some basic properties of abelian categories (well-poweredness, Grothendieck's axioms AB3, AB4 and AB5, existence of a generator) in the presence of a rec…
▽ More
A recollement is a decomposition of a given category (abelian or triangulated) into two subcategories with functorial data that enables the glueing of structural information. This paper is dedicated to investigating the behaviour under glueing of some basic properties of abelian categories (well-poweredness, Grothendieck's axioms AB3, AB4 and AB5, existence of a generator) in the presence of a recollement. In particular, we observe that in a recollement of a Grothendieck abelian category the other two categories involved are also Grothendieck abelian and, more significantly, we provide an example where the converse does not hold and explore multiple sufficient conditions for it to hold.
△ Less
Submitted 12 October, 2017;
originally announced October 2017.
-
Torsion pairs over $n$-Hereditary rings
Authors:
Daniel Bravo,
Carlos E. Parra
Abstract:
We study the notions of $n$-hereditary rings and its connection to the classes of finitely $n$-presented modules, FP$_n$-injective modules, FP$_n$-flat modules and $n$-coherent rings. We give characterizations of $n$-hereditary rings in terms of quotients of injective modules and submodules of flat modules, and a characterization of $n$-coherent using an injective cogenerator of the category of mo…
▽ More
We study the notions of $n$-hereditary rings and its connection to the classes of finitely $n$-presented modules, FP$_n$-injective modules, FP$_n$-flat modules and $n$-coherent rings. We give characterizations of $n$-hereditary rings in terms of quotients of injective modules and submodules of flat modules, and a characterization of $n$-coherent using an injective cogenerator of the category of modules. We show two torsion pairs with respect to the FP$_n$-injective modules and the FP$_n$-flat modules over $n$-hereditary rings. We also provide an example of a Bézout ring which is 2-hereditary, but not 1-hereditary, such that the torsion pairs over this ring are not trivial.
△ Less
Submitted 10 August, 2018; v1 submitted 10 May, 2017;
originally announced May 2017.
-
tCG Torsion Pairs
Authors:
Daniel Bravo,
Carlos E. Parra
Abstract:
We investigate conditions for when the $t$-structure of Happel-Reiten-Smalø associated to a torsion pair is a compactly generated $t$-structure. The concept of a $t$CG torsion pair is introduced and for any ring $R$, we prove that $\mathbf{t}=(\mathcal{T},\mathcal{F})$ is a $t$CG torsion pair in $R\text{-Mod}$ if, and only if, there exists, $\{T_λ\}$ a set of finitely presented $R$-modules in…
▽ More
We investigate conditions for when the $t$-structure of Happel-Reiten-Smalø associated to a torsion pair is a compactly generated $t$-structure. The concept of a $t$CG torsion pair is introduced and for any ring $R$, we prove that $\mathbf{t}=(\mathcal{T},\mathcal{F})$ is a $t$CG torsion pair in $R\text{-Mod}$ if, and only if, there exists, $\{T_λ\}$ a set of finitely presented $R$-modules in $\mathcal{T}$, such that $\mathcal{F}=\bigcap \text{Ker}({\text{Hom}}_{R}(T_λ,?))$. We also show that every $t$CG torsion pair is of finite type, and show that the reciprocal is not true. Finally, we give a precise description of the $t$CG torsion pairs over Noetherian rings and von Neumman regular rings.
△ Less
Submitted 10 August, 2018; v1 submitted 20 October, 2016;
originally announced October 2016.
-
Addendum to 'Direct limits in the heart of a t-structure: The case of a torsion pair'
Authors:
Carlos E. Parra,
Manuel Saorín
Abstract:
Let $\mathcal{G}$ be a Grothendieck category, let $\mathbf{t}=(\mathcal{T},\mathcal{F})$ be a torsion pair in $\mathcal{G}$ and let $(\mathcal{U}_\mathbf{t},\mathcal{W}_\mathbf{t})$ be the associated Happel-Reiten-Smal$ø$ t-structure in the derived category $\mathcal{D}(\mathcal{G})$. We prove that the heart of this t-structure is a Grothendieck category if, and only if, the torsionfree class…
▽ More
Let $\mathcal{G}$ be a Grothendieck category, let $\mathbf{t}=(\mathcal{T},\mathcal{F})$ be a torsion pair in $\mathcal{G}$ and let $(\mathcal{U}_\mathbf{t},\mathcal{W}_\mathbf{t})$ be the associated Happel-Reiten-Smal$ø$ t-structure in the derived category $\mathcal{D}(\mathcal{G})$. We prove that the heart of this t-structure is a Grothendieck category if, and only if, the torsionfree class $\mathcal{F}$ is closed under taking direct limits in $\mathcal{G}$.
△ Less
Submitted 1 September, 2015;
originally announced September 2015.
-
Hearts of t-structures which are Grothendieck or module categories
Authors:
Carlos E. Parra
Abstract:
This thesis deals with the general problem of determining when the heart $\mathcal{H}$ of a t-structure in a triangulated category $\mathcal{D}$ is a Grothendieck or a module category. As preliminaries, we study Grothendieck conditions AB3-AB5 for $\mathcal{H}$ in a very general setting. We then concentrate on two familiar examples of smashing t-structures. First, we consider that…
▽ More
This thesis deals with the general problem of determining when the heart $\mathcal{H}$ of a t-structure in a triangulated category $\mathcal{D}$ is a Grothendieck or a module category. As preliminaries, we study Grothendieck conditions AB3-AB5 for $\mathcal{H}$ in a very general setting. We then concentrate on two familiar examples of smashing t-structures. First, we consider that $\mathcal{D}=\mathcal{D}(\mathcal{G})$ is the (unbounded) derived category of a Grothendieck category $\mathcal{G}$ and that the t-structure is the one associated to a torsion pair $\mathbf{t}=(\mathcal{T},\mathcal{F})$ in $\mathcal{G}$, usually known as Happel-Reiten-Smal$\emptyset$ t-structure. In the second example studied, we assume that $\mathcal{D}=\mathcal{D}(R)$ is the derived category of a commutative Noetherian ring $R$ and that the t-structure is compactly generated. On what concern the Happel-Reiten-Smal$\emptyset$ example, we show that if $\mathcal{H}=\mathcal{H}_\mathbf{t}$ is AB5, then $\mathcal{F}$ is closed under taking direct limits in $\mathcal{G}$. Moreover, the converse is true, even implying that $\mathcal{H}_\mathbf{t}$ is a Grothendieck category, for a wide class of torsion pairs in $\mathcal{G}$ which includes the hereditary, tilting and cotilting ones. When $\mathcal{G}=R-\text{Mod}$ is a module category, we are able to identify the hereditary torsion pairs $\mathbf{t}$ in $R-\text{Mod}$ for which $\mathcal{H}_\mathbf{t}$ is a module category. When $R$ is a commutative noetherian ring, we show that all compactly generated t-structures in $\mathcal{D}(R)$ whose associated filtration by supports is left bounded have a heart $\mathcal{H}$ which is a Grothendieck category. This is used to identify all compactly generated t-structures in $\mathcal{D}(R)$ whose heart is a module category.
△ Less
Submitted 23 September, 2014;
originally announced September 2014.
-
Hearts of t-structures in the derived category of a commutative Noetherian ring
Authors:
Carlos E. Parra,
Manuel Saorín
Abstract:
Let $R$ be a commutative Noetherian ring and let $\mathcal D(R)$ be its (unbounded) derived category. We show that all compactly generated t-structures in $\mathcal D(R)$ associated to a left bounded filtration by supports of Spec$(R)$ have a heart which is a Grothendieck category. Moreover, we identify all compactly generated t-structures in $\mathcal D(R)$ whose heart is a module category. As ge…
▽ More
Let $R$ be a commutative Noetherian ring and let $\mathcal D(R)$ be its (unbounded) derived category. We show that all compactly generated t-structures in $\mathcal D(R)$ associated to a left bounded filtration by supports of Spec$(R)$ have a heart which is a Grothendieck category. Moreover, we identify all compactly generated t-structures in $\mathcal D(R)$ whose heart is a module category. As geometric consequences for a compactly generated t-structure $(\mathcal{U},\mathcal{U}^\perp [1])$ in the derived category $\mathcal{D}(\mathbb{X})$ of a Noetherian scheme $\mathbb{X}$, we get the following: 1) If the sequence $(\mathcal{U}[-n]\cap\mathcal{D}^{\leq 0}(\mathbb{X}))_{n\in\mathbb{N}}$ is stationnary, then the heart $\mathcal{H}$ is a Grothendieck category; 2) If $\mathcal{H}$ is a module category, then $\mathcal{H}$ is always equivalent to $\text{Qcoh}(\mathbb{Y})$, for some affine subscheme $\mathbb{Y}\subseteq\mathbb{X}$; 3) If $\mathbb{X}$ is connected, then: a) when $\bigcap_{k\in\mathbb{Z}}\mathcal{U}[k]=0$, the heart $\mathcal{H}$ is a module category if, and only if, the given t-structure is a translation of the canonical t-estructure in $\mathcal{D}(\mathbb{X})$; b) when $\mathbb{X}$ is irreducible, the heart $\mathcal{H}$ is a module category if, and only if, there are an affine subscheme $\mathbb{Y}\subseteq\mathbb{X}$ and an integer $m$ such that $\mathcal{U}$ consists of the complexes $U\in\mathcal{D}(\mathbb{X})$ such that the support of $H^j(U)$ is in $\mathbb{X}\setminus\mathbb{Y}$, for all $j>m$.
△ Less
Submitted 11 September, 2015; v1 submitted 22 September, 2014;
originally announced September 2014.
-
On hearts which are module categories
Authors:
Carlos E. Parra,
Manuel Saorín
Abstract:
Given a torsion pair $\mathbf{t} = (\mathcal{T} ;\mathcal{F})$ in a module category $R$-Mod we give necessary and sufficient conditions for the associated Happel-Reiten-Smalø$\text{ }$ t-structure in $\mathcal{D}(R)$ to have a heart $\mathcal{H}_{\mathbf{t}}$ which is a module category. We also study when such a pair is given by a 2-term complex of projective modules in the way described by Hoshin…
▽ More
Given a torsion pair $\mathbf{t} = (\mathcal{T} ;\mathcal{F})$ in a module category $R$-Mod we give necessary and sufficient conditions for the associated Happel-Reiten-Smalø$\text{ }$ t-structure in $\mathcal{D}(R)$ to have a heart $\mathcal{H}_{\mathbf{t}}$ which is a module category. We also study when such a pair is given by a 2-term complex of projective modules in the way described by Hoshino-Kato-Miyachi ([HKM]). Among other consequences, we completely identify the hereditary torsion pairs $\mathbf{t}$ for which $\mathcal{H}_{\mathbf{t}}$ is a module category in the following cases: i) when $\mathbf{t}$ is the left constituent of a TTF triple, showing that $\mathbf{t}$ need not be HKM; ii) when $\mathbf{t}$ is faithful; iii) when $\mathbf{t}$ is arbitrary and the ring $R$ is either commutative, semi-hereditary, local, perfect or Artinian. We also give a systematic way of constructing non-tilting torsion pairs for which the heart is a module category generated by a stalk complex at zero
△ Less
Submitted 15 January, 2015; v1 submitted 7 March, 2014;
originally announced March 2014.
-
Direct limits in the heart of a t-structure: the case of a torsion pair
Authors:
Carlos E. Parra,
Manuel Saorín
Abstract:
We study the behavior of direct limits in the heart of a t-structure. We prove that, for any compactly generated t-structure in a triangulated category with exact coproducts, countable direct limits are exact in its heart. Then, for a given Grothendieck category G and a torsion pair t = (T ;F) in G, we show that if the heart of the associated t-structure in the derived category D(G) is AB5, then F…
▽ More
We study the behavior of direct limits in the heart of a t-structure. We prove that, for any compactly generated t-structure in a triangulated category with exact coproducts, countable direct limits are exact in its heart. Then, for a given Grothendieck category G and a torsion pair t = (T ;F) in G, we show that if the heart of the associated t-structure in the derived category D(G) is AB5, then F is closed under taking direct limits. The reverse implication is true, even implying that the heart is a Grothendieck category, for a wide class of torsion pairs which include the hereditary ones, those for which T is a cogenerating class and those for which F is a generating class. The results allow to extend well-known results by Buan-Krause, Bazzoni and Colpi-Gregorio to the general context of Grothendieck categories and to improve some results of (co)tlting theory of modules.
△ Less
Submitted 21 September, 2014; v1 submitted 24 November, 2013;
originally announced November 2013.
