Minimal inclusions of torsion classes (Q2328139)

Let \(\Lambda\) be a finite-dimensional associative algebra and \(\mathrm{tors} \Lambda\) be the set of torsion classes of the algebra \(\Lambda\). In the paper under review, the authors characterize the cover relations in the lattice \(\mathrm{tors} \Lambda\), partially ordered by containment, by using certain indecomposable modules. The authors study a minimal extending module \(M\) for a torsion class \(\mathcal{T}\), which is an indecomposable \(\Lambda\)-module with certain homological properties with \(\mathcal{T}\), and investigate connections to covers of \(\mathcal{T}\) in \(\mathrm{tors} \Lambda\) and bricks of \(\Lambda\). More precisely, they show that there is a bijection between \(\mathrm{ME}(\mathcal{T})\) and \(\{ \mathcal{T}' \in \mathrm{tors} \Lambda \mid \mathcal{T}' \gtrdot \mathcal{T} \}\) using the iterative extension closures, where \(\mathrm{ME}(\mathcal{T})\) is the set of isoclasses of minimal extending modules for \(\mathcal{T}\). Then they prove that, for a \(\Lambda\)-module \(M\), \(M\) is a minimal extending module for some torsion class if and only if \(M\) is a brick. The authors next present three applications. First, they give a 1-1 correspondence between the set of bricks over \(\Lambda\) and the set of completely join-irreducible elements in \(\mathrm{tors} \Lambda\). Second, they characterize faces of the canonical join complex of \(\mathrm{tors} \Lambda\) by using the hom-orthogonality condition. Finally, they show that \(\mathrm{tors} \Lambda\) does not determine the algebra \(\Lambda\) in general by presenting a counterexample arising from the preprojective algebra of type \(A_n\).