When is there a nontrivial extension-closed subcategory? (Q716471)

Let \(R\) be a commutative noetherian local ring. Denote by \(\text{mod}\,R \) the category of finitely generated \(R\)-modules. An \textit{extension-closed} subcategory of \(\text{mod}\,R \) is a non-empty strict full subcategory of \(\text{mod}\,R \) closed under direct summands and extensions. The trivial closed subcategories of \(\text{mod}\,R \) are zero \(R\)-module, \(\text{mod}\,R \) and finitely generated free \(R\)-modules. The author's conjecture is that: \textit{\(R\) is an Artinian hypersurface if and only if \(\text{mod}\,R \) has only trivial extension-closed subcategories.} The ``only if'' part is shown in Proposition 1.3 as well as in [\textit{R. Takahashi}, ``Classifying thick subcategories of the stable category of Cohen-Macaulay modules'', Adv. Math. 225, No. 4, 2076--2116 (2010; Zbl 1202.13009)]. The paper continues to prove the ``if'' part of the conjecture. It is shown in Proposition 1.5 that: if \(\text{mod}\,R \) has only trivial extension-closed subcategories, then \(R\) is Artinian and Gorenstein; thence it is enough to prove the conjecture for Artinian Gorenstein rings. Section 2 is devoted to prove the main result of the paper, Theorem 2.6, which states that if \(x,y\) is a part of a minimal generating set of the maximal ideal with \(xy=0\) then \(\text{mod}\,R \) has a non-trivial extension-closed subcategories. To prove this theorem, for an \(R\)-module \(X\), the author studies the structure of the \textit{extension closure of \(X\)} which is the smallest extension-closed subcategory containing \(X\). As a corollary to this theorem, it is shown that if \(R\) is a \textit{stretched } Artinian Gorenstein local ring with edim(\(R)\geq 2\), then \(\text{mod}\,R \) has a non-trivial extension-closed subcategory. Therefore the conjecture holds true for stretched Artinian Gorenstein local rings. An Artinian local ring \((R,\mathfrak{m})\) is said to be \textit{stretched} if \(\mathfrak{m}^i\neq 0\) for all \(i\leq \text{length}(R)-\text{edim}(R)\), see [\textit{J. D. Sally}, ``Stretched Gorenstein rings'', J. Lond. Math. Soc., II. Ser. 20, 19--26 (1979; Zbl 0402.13018)].