---
title: Weakly Simple-Minded System in Stable Categories
url: https://www.emergentmind.com/topics/weakly-simple-minded-system
type: topic
---

# Weakly Simple-Minded System in Stable Categories

A **weakly simple-minded system** is a family of objects in a triangulated or stable module category that satisfies the orthogonality condition of a simple-minded system but only a weaker form of generation. In the stable module category \(A\text{-}\underline{\mathrm{mod}}\) of a self-injective algebra \(A\), this means a family of stable bricks \(\mathcal S\) such that every nonzero object receives a nonzero morphism from some member of \(\mathcal S\), without a priori requiring \(\mathcal S\) to generate the whole category by extensions. The notion is central in the comparison between orthogonality, generation, and stable equivalence invariants, and recent work shows that for domestic Brauer graph algebras the distinction between weakly simple-minded systems and simple-minded systems largely collapses in finite settings [2606.21881] [2606.16085].

## 1. Definition in stable categories

Let \(A\) be a finite dimensional algebra and let \(A\text{-}\underline{\mathrm{mod}}\) denote its stable category, whose objects are finitely generated \(A\)-modules and whose morphisms are taken modulo those factoring through projectives. When \(A\) is self-injective, this stable category is triangulated [2606.16085].

In this setting, a **simple-minded system** \(\mathcal S\) is a family of objects satisfying two conditions. First, it is an orthogonal system of stable bricks: each \(S \in \mathcal S\) has \(\operatorname{End}(S)\cong k\), and \(\operatorname{Hom}(S,S')=0\) for distinct \(S,S' \in \mathcal S\). Second, its extension closure is the whole category:
\[
\mathcal F(\mathcal S)=\mathcal T,
\]
where \(\mathcal T=A\text{-}\underline{\mathrm{mod}}\) and
\[
\mathcal F(\mathcal S):=\bigcup_{n\geq 0}(\mathcal S)_n.
\]
Here \((\mathcal S)_{n+1}=(\mathcal S)_n*(\mathcal S\cup\{0\})\) is defined by successive extensions [2606.16085].

A **weakly simple-minded system** replaces the extension-generating requirement by the weaker condition
\[
\forall\,0\neq X\in \mathcal T,\ \exists\, S\in \mathcal S\text{ such that }\operatorname{Hom}_{\mathcal T}(S,X)\neq 0.
\]
Thus, orthogonality is unchanged, but generation is tested by nonvanishing morphisms rather than by extension closure [2606.21881].

This distinction is categorical rather than merely terminological. A simple-minded system encodes a filtration-theoretic generating set for the stable category, whereas a weakly simple-minded system only detects every nonzero object by a morphism from the system. The second condition is explicitly weaker than requiring \(\mathcal S\) to generate the whole category under extensions [2509.24184].

## 2. Relation to simple-minded systems

Every simple-minded system is weakly simple-minded, but the converse is not known in general. Earlier triangulated-category work emphasized the stronger notion of a simple-minded system and observed that every such system is a maximal system of orthogonal bricks, while the converse was not known in general [1207.7338].

Later results refined this comparison for self-injective algebras. Over **representation-finite self-injective algebras**, simple-minded systems and weakly simple-minded systems coincide. By contrast, for **representation-infinite self-injective algebras**, a weakly simple-minded system may fail to be a simple-minded system [2606.21881].

A general sufficient mechanism for upgrading weak generation to full generation is also available. If \(A\) is self-injective and \(\mathcal S\) is a finite orthogonal system in \(A\text{-}\underline{\mathrm{mod}}\) such that \(\Sigma(\mathcal S)\subseteq \mathcal F(\mathcal S)\), and if \(\mathcal S\) is a weakly simple-minded system together with an additional technical condition, then \(\mathcal S\) is a simple-minded system [2606.21881]. This places the weakly simple-minded condition inside a broader program: identify structural hypotheses under which weak detection of nonzero objects forces extension-generation.

From the perspective of stable module categories, the problem is closely related to the Auslander–Reiten structure and to how syzygies interact with extension closure. This suggests that the gap between weakly simple-minded and simple-minded systems is often controlled not by orthogonality itself, but by whether the ambient category supplies enough closure properties to convert nonzero maps into extension-theoretic generation.

## 3. Domestic Brauer graph algebras

The sharpest positive results presently summarized here occur for **domestic Brauer graph algebras**. For these algebras, a concrete criterion identifies when an orthogonal system is a simple-minded system:
\[
\mathcal S \text{ is an SMS } \iff
\begin{cases}
\mathcal S \text{ contains a non-periodic module},\\
\Omega(\mathcal S)\subseteq \mathcal F(\mathcal S).
\end{cases}
\]
Equivalently, the first condition forces the system to meet the non-periodic part of the stable category, and the second requires syzygies to remain inside the extension closure [2606.21881].

This criterion is especially significant because domestic Brauer graph algebras have stable Auslander–Reiten quivers with at most two Euclidean components. In that environment, the distinction between periodic and non-periodic modules becomes decisive, and the syzygy condition can be checked against the geometry of the AR-quiver [2606.21881].

A further consequence is that for **domestic Brauer graph algebras**, any **finite** weakly simple-minded system is a simple-minded system [2606.16085]. The same phenomenon had already been established in the 2-domestic case: for a 2-domestic Brauer graph algebra, if \(\mathcal S\) is a weakly simple-minded system with \(|\mathcal S|<\infty\), then \(\mathcal S\) is a simple-minded system [2509.24184].

These results give one of the clearest known domains in which weak generation is not genuinely weaker once finiteness and domesticity are imposed. A plausible implication is that domesticity provides sufficient control over periodic components, Euclidean components, and syzygy behavior to force extension-generation.

## 4. Complete classification in the domestic Brauer graph setting

For **2-domestic Brauer graph algebras**, simple-minded systems admit a complete combinatorial description. The stable AR-quiver consists of two Euclidean components, quasi-tubes, and infinitely many homogeneous tubes. Simple-minded systems are precisely maximal orthogonal systems containing at least one object from each Euclidean component, and no simple-minded system can contain a module from a homogeneous tube [2509.24184].

For **1-domestic Brauer graph algebras**, the corresponding classification is analogous but asymmetric. A Brauer graph algebra is 1-domestic when its Brauer graph is either a tree with exactly two vertices of multiplicity \(2\) and all others of multiplicity \(1\), or a connected graph with a single odd cycle and all vertices of multiplicity \(1\). In this case the stable AR-quiver has one stable Euclidean component, exactly two quasi-tubes of ranks \(p\) and \(q\), and infinitely many homogeneous tubes [2606.16085].

The complete classification states that every simple-minded system in \(A\text{-}\underline{\mathrm{mod}}\) is, and only is, a maximal orthogonal system containing at least one object from the Euclidean component. The modules appearing in such a system are chosen from the Euclidean and quasi-tube components, subject to orthogonality and maximality, while homogeneous-tube modules are excluded [2606.16085].

In the 1-domestic case, covering theory is used to reduce the problem to the 2-domestic case. If
\[
A \cong \widehat{B}/\langle \varphi\rangle,
\]
with \(\widehat{B}\) the repetitive algebra of an exceptional Euclidean algebra of type \(\widetilde{A}_m\), then there is a dense exact covering functor
\[
\overline{F}\colon C\text{-}\underline{\mathrm{mod}}\longrightarrow A\text{-}\underline{\mathrm{mod}},
\]
where \(C:=\widehat{B}/\langle \nu_{\widehat{B}}\rangle\) is a 2-domestic Brauer graph algebra. Under the relevant stability conditions, \(\overline F\) lifts and descends simple-minded systems between \(C\) and \(A\) [2606.16085].

Because any finite weakly simple-minded system is a simple-minded system in the domestic Brauer graph setting, these classification theorems also govern finite weakly simple-minded systems there. In particular, finite weakly simple-minded systems in the 1-domestic case are forced into the same maximal-orthogonal pattern, with obligatory representation of the unique Euclidean component.

## 5. Terminological extensions and higher analogues

The phrase **weakly simple-minded** is not entirely uniform across the literature. In the stable-category setting described above, it refers to orthogonal systems with the weak generating condition \(\operatorname{Hom}(S,X)\neq 0\) for every nonzero \(X\). In another strand of the literature, the phrase sometimes appears near the theory of **\(w\)-simple-minded systems**, where the weakening concerns orthogonality across a bounded range of shifts rather than generation [2010.11799].

A \(w\)-simple-minded system in a triangulated category is defined by \(w\)-orthogonality together with a bounded extension-generation condition. In one formulation,
\[
D=\mathcal S[w-1]*\cdots *\mathcal S[1]*\mathcal S,
\]
and mutation theory is available under functorial finiteness and Hom-vanishing hypotheses [2401.02947]. In negative Calabi–Yau settings, \(w\)-simple-minded systems admit reduction procedures paralleling Iyama–Yoshino reduction, with a bijection between \(w\)-simple-minded systems in the ambient category containing a chosen \(w\)-orthogonal collection and those in the reduced category [1808.02519].

The higher theory also has abelian and combinatorial aspects. For \(w\)-simple-minded systems, the extension closure \(\langle S\rangle\) can be abelian even when it is not the heart of a \(t\)-structure, and this is presented as a negative counterpart to higher cluster tilting theory [2010.11799]. In negative cluster categories \(\mathsf C_{-w}(\mathbf kQ)\), \(w\)-simple-minded systems correspond both to simple-minded collections in a fundamental domain of \(\mathsf D^b(\mathbf kQ)\) and to positive \(w\)-noncrossing partitions of the Weyl group \(W_Q\) [2004.00604].

These developments do not identify the higher \(w\)-theory with the stable-category notion of a weakly simple-minded system. Instead, they show that the literature contains two nearby weakening procedures: one weakens **generation**, the other weakens **orthogonality across shifts**.

## 6. Conceptual role and unresolved issues

The modern theory places weakly simple-minded systems at the intersection of stable representation theory, AR-geometry, mutation theory, and reconstruction problems. In stable categories, they measure how far an orthogonal system of stable bricks is from being extension-generating. In domestic Brauer graph algebras, that gap is controlled strongly enough that finite weakly simple-minded systems become genuine simple-minded systems [2606.16085].

At the same time, the general converse remains delicate. The earlier question of whether every maximal system of orthogonal bricks is a simple-minded system was explicitly left open in general triangulated settings [1207.7338]. Subsequent results supply positive answers only under additional hypotheses such as representation-finiteness, domesticity, finiteness of the system, syzygy-closure conditions, or explicit control of Euclidean components [2606.21881].

In derived and dg contexts, stronger realization properties may require more than weak simple-mindedness. The study of complicial simple-minded collections shows that only collections satisfying \(d\)-compliciality correspond to the derived endomorphism algebras arising in the relevant Koszul-duality framework, and the paper explicitly states that \(d\)-compliciality provides the fine distinction between merely “weakly” simple-minded collections and those realizing the intended correspondences [2603.03122]. This suggests that weak simple-mindedness is often a boundary notion: it records a minimal simple-like visibility condition, but further homological finiteness or generation properties are needed for classification, mutation, or reconstruction theorems.

Within current research, the concept therefore serves two roles. It is a genuine invariant in stable categories, where its comparison with simple-minded systems is subtle and representation-theoretically informative. It is also a reference point for broader simple-minded theories, where the central question is which extra conditions convert weak simple-likeness into a fully generative or reconstructive structure.

Source: https://www.emergentmind.com/topics/weakly-simple-minded-system