Torsion pairs in categories of modules over a preadditive category (Q2043576): Difference between revisions

Let \(\mathcal{A}\) be an abelian category. For any class \(\mathcal{X}\) of objects of \(\mathcal{A}\), define \[\mathcal{X}^{\perp} = \left\{A\in \mathrm{Obj}(\mathcal{A}) \text{ such that }\mathrm{Mor}_{\mathcal{A}}(X,A)=0 \textrm{ for every } X\in \mathrm{Obj}(\mathcal{A}) \right\},\] and \[^{\perp}\mathcal{X} = \left\{A\in \mathrm{Obj}(\mathcal{A}) \text{ such that } \mathrm{Mor}_{\mathcal{A}}(A,X)=0 \textrm{ for every } X\in \mathrm{Obj}(\mathcal{A}) \right\}.\] A pair \(\mathbf{t}= (\mathcal{T},\mathcal{F})\) of full subcategories of \(\mathcal{A}\) is said to be a torsion pair if \(\mathcal{T}^{\perp} = \mathcal{F}\), \(\mathcal{T} = ^{\perp}\mathcal{F}\), and for each object \(X\) of \(\mathcal{A}\), there is a short exact sequence \[0 \rightarrow T \rightarrow X \rightarrow F \rightarrow 0\] with \(T\in \mathcal{T}\) and \(F\in \mathcal{F}\). In this case, \(\mathcal{T}\) is referred to as a torsion class and \(\mathcal{F}\) as a torsion-free class. Moreover, \(\mathbf{t}\) is said to be hereditary if \(\mathcal{T}\) is closed under subobjects. If \(\mathcal{T}\) is a torsion as well as a torsion-free class, then the triple \((^{\perp}\mathcal{T},\mathcal{T},\mathcal{T}^{\perp})\) is called a TTF triple. The author generalizes the existing results of the literature to the following correspondences. Theorem Let \(\mathcal{A}\) be a small preadditive category. Then there is a one-to-one correspondence between the linear Grothendieck topologies on \(\mathcal{A}\) and hereditary torsion pairs in \(\mathrm{Mod}(\mathcal{A})\). Theorem Let \(\mathcal{A}\) be a small preadditive category. Then there is a one-to-one correspondence between idempotent ideals of \(\mathcal{A}\) and TTF triples in \(\mathrm{Mod}(\mathcal{A})\).