-
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.