Simple-Minded Systems in Representation Theory

• Simple-minded systems are finite orthogonal families of indecomposable objects that generalize simple modules in triangulated and stable module categories.
• They are defined via a brick condition and an extension-generation criterion, naturally arising through stable equivalences of self-injective algebras.
• Their study links stable equivalence, Auslander–Reiten theory, and mutation/reduction techniques, offering key insights into representation theory classification.

Simple-minded systems are finite orthogonal families of indecomposable objects that serve, in stable and related triangulated categories, as analogues of the simple objects of an abelian category. In the stable module category of a self-injective algebra, they are defined by a brick condition and an extension-generation condition, and they occur naturally as images of simple modules under stable equivalences (Koenig et al., 2010). In derived and negative Calabi–Yau settings, the adjacent notions of simple-minded collections and $w$-simple-minded systems place the same idea into a broader framework of $t$-structures, exact structures, mutation, and reduction (Jorgensen, 2020, Simoes et al., 2018).

1. Definition and basic formalism

Let $A$ be a finite-dimensional self-injective algebra over an algebraically closed field $k$, and let $A\text{-}\underline{\mathrm{mod}}$ or $A\text{-}\stmod$ denote the stable module category, whose morphisms are module maps modulo those factoring through projectives. In this category, a nonzero object $M$ is a stable brick if

$\End_{A\text{-}\stmod}(M)\cong k.$

A finite family $\mathcal S=\{S_1,\dots,S_t\}$ of stable bricks is an orthogonal system if

$\Hom_{A\text{-}\stmod}(S_i,S_j)=0 \qquad (i\neq j).$

Its extension closure is defined recursively by

$t$0

where $t$1 consists of the middle terms of triangles $t$2 with $t$3 and $t$4. The system $t$5 is a simple-minded system if it is orthogonal and

$t$6

or, in the more general Artin-algebra formulation, every indecomposable non-projective module can be obtained from $t$7 by finitely many extensions up to projective summands (Guo et al., 2020, Koenig et al., 2010).

The definition has a triangulated analogue beyond stable module categories. In a Hom-finite triangulated category $t$8, a $t$9-orthogonal collection $A$0 satisfies Schurity together with

$A$1

and it is a $A$2-simple-minded system if

$A$3

For $A$4, this recovers the usual simple-minded collection formalism in derived categories (Jorgensen, 2020).

Related weakened notions also appear. In the representation-finite self-injective setting, generation can be tested by the condition that for every non-projective indecomposable $A$5 there exists $A$6 with $A$7 (Guo et al., 2020). Zhang defines a weakly simple-minded system by requiring that for every nonzero $A$8 there exists $A$9 with $k$0 (Zhang, 20 Jun 2026).

2. Stable equivalence and invariant-theoretic significance

The original motivation is that simple modules behave well under passage to stable categories. If

$k$1

is a stable equivalence, then the image under $k$2 of a complete set of non-projective simple $k$3-modules is again a simple-minded system. Orthogonality is preserved because stable equivalences preserve stable Hom-spaces, and generation is preserved because the extension-filtration defining an sms is transported across the equivalence (Koenig et al., 2010).

Koenig–Liu prove the corresponding invariance theorem: if $k$4 is a stable equivalence and $k$5 is a simple-minded system in $k$6, then $k$7 is a simple-minded system over $k$8. Consequently, the set of simple-minded systems, up to isomorphism, depends only on the stable category and not on the algebra itself (Koenig et al., 2010).

This immediately links simple-minded systems to the Auslander–Reiten conjecture. That conjecture asks whether stably equivalent Artin algebras must have the same number of non-isomorphic non-projective simple modules. Koenig–Liu formulate the associated question of whether every simple-minded system has cardinality equal to the number of non-projective simple modules; if so, invariance of sms’s would imply the conjecture. They verify this in several classes: triangular algebras, one-point extensions, Nakayama algebras, and group algebras of $k$9-groups (Koenig et al., 2010).

The same paper identifies explicit class-specific behavior. For triangular algebras $A\text{-}\underline{\mathrm{mod}}$0 with $A\text{-}\underline{\mathrm{mod}}$1 acyclic, there is exactly one simple-minded system, namely the set of all non-projective simple modules. For one-point extensions

$A\text{-}\underline{\mathrm{mod}}$2

the sms’s of $A\text{-}\underline{\mathrm{mod}}$3 are precisely those obtained by adjoining the new simple injective to an sms of $A\text{-}\underline{\mathrm{mod}}$4. For Nakayama algebras with non-projective simples $A\text{-}\underline{\mathrm{mod}}$5, any sms has exactly $A\text{-}\underline{\mathrm{mod}}$6 elements and the sets of socles and tops of its terms are both permutations of $A\text{-}\underline{\mathrm{mod}}$7. For group algebras of $A\text{-}\underline{\mathrm{mod}}$8-groups in characteristic $A\text{-}\underline{\mathrm{mod}}$9, the sms’s are exactly the endo-trivial modules (Koenig et al., 2010).

3. Representation-finite self-injective algebras

For representation-finite self-injective algebras, the definition simplifies substantially. Let $A\text{-}\stmod$0 be indecomposable, basic, representation-finite self-injective, let $A\text{-}\stmod$1 be the number of isomorphism classes of simple $A\text{-}\stmod$2-modules, and let $A\text{-}\stmod$3 be the Nakayama functor on $A\text{-}\stmod$4. Guo–Liu–Ye–Zhang prove that a family $A\text{-}\stmod$5 in $A\text{-}\stmod$6 is a simple-minded system if and only if it satisfies the three conditions

1. $A\text{-}\stmod$7 is an orthogonal system,
2. $A\text{-}\stmod$8,
3. $A\text{-}\stmod$9, so in this context orthogonality, the correct cardinality, and Nakayama-stability already imply generation (Guo et al., 2020).

Their proof combines torsion-pair methods with covering theory on the repetitive quiver $M$0. Starting from $M$1 and perpendicular subcategories $M$2 and $M$3, they show that the “negative extension” space $M$4 must vanish. This forces $M$5, hence $M$6 (Guo et al., 2020).

The same paper establishes an extendibility theorem: every Nakayama-stable orthogonal system in $M$7 can be enlarged through a finite chain of Nakayama-stable orthogonal systems until it becomes a simple-minded system. The construction proceeds by selecting a nonzero indecomposable in the negative part of an associated torsion pair, extracting a brick or one of its $M$8-iterates that is orthogonal to the current system, adjoining its $M$9-orbit, and repeating until termination, which is guaranteed by finite representation type (Guo et al., 2020).

Chan–Koenig–Liu place this result into a classification picture. For a representation-finite self-injective algebra $\End_{A\text{-}\stmod}(M)\cong k.$0, every simple-minded system in $\End_{A\text{-}\stmod}(M)\cong k.$1 is realized as the image of the simple modules of some self-injective algebra $\End_{A\text{-}\stmod}(M)\cong k.$2 under a stable equivalence of Morita type, and $\End_{A\text{-}\stmod}(M)\cong k.$3 is unique up to Morita equivalence. They also show that every sms lifts to a Nakayama-stable simple-minded collection in $\End_{A\text{-}\stmod}(M)\cong k.$4 (Chan et al., 2013).

This classification is encoded combinatorially by Riedtmann configurations. If the stable Auslander–Reiten quiver is $\End_{A\text{-}\stmod}(M)\cong k.$5, then configurations of $\End_{A\text{-}\stmod}(M)\cong k.$6 correspond exactly to sms’s in $\End_{A\text{-}\stmod}(M)\cong k.$7. On the derived side, the liftability result implies that sms’s can be generated algorithmically via mutation, and the sms quiver is connected for representation-finite self-injective algebras (Chan et al., 2013).

A particularly explicit instance is the self-injective Nakayama case. Guo–Liu–Ye–Zhang give a complete construction of all sms’s of $\End_{A\text{-}\stmod}(M)\cong k.$8 using non-crossing partitions, first in the symmetric case $\End_{A\text{-}\stmod}(M)\cong k.$9 and then in general via a covering from a symmetric algebra $\mathcal S=\{S_1,\dots,S_t\}$0 where $\mathcal S=\{S_1,\dots,S_t\}$1. Each sms belongs to one of two uniform families $\mathcal S=\{S_1,\dots,S_t\}$2 or $\mathcal S=\{S_1,\dots,S_t\}$3, obtained by pulling back corresponding constructions from the symmetric cover (Guo et al., 2020).

4. Torsion pairs, mutation, reduction, and gluing

Dugas formulates sms-theory in any Hom-finite Krull–Schmidt triangulated category $\mathcal S=\{S_1,\dots,S_t\}$4. Given an sms $\mathcal S=\{S_1,\dots,S_t\}$5 and a subset $\mathcal S=\{S_1,\dots,S_t\}$6, he constructs torsion pairs associated to $\mathcal S=\{S_1,\dots,S_t\}$7, proves functorial finiteness of the relevant extension-closed subcategory, and defines left and right mutations $\mathcal S=\{S_1,\dots,S_t\}$8 and $\mathcal S=\{S_1,\dots,S_t\}$9 using minimal triangles determined by those torsion pairs. If $\Hom_{A\text{-}\stmod}(S_i,S_j)=0 \qquad (i\neq j).$0 has a Serre functor $\Hom_{A\text{-}\stmod}(S_i,S_j)=0 \qquad (i\neq j).$1 and both $\Hom_{A\text{-}\stmod}(S_i,S_j)=0 \qquad (i\neq j).$2 and $\Hom_{A\text{-}\stmod}(S_i,S_j)=0 \qquad (i\neq j).$3 are invariant under $\Hom_{A\text{-}\stmod}(S_i,S_j)=0 \qquad (i\neq j).$4, then both mutations are again simple-minded systems (Dugas, 2012).

In the stable category of a self-injective algebra, this mutation formalism parallels the mutation of simple-minded collections in derived categories. Dugas shows that mutating the set of simple $\Hom_{A\text{-}\stmod}(S_i,S_j)=0 \qquad (i\neq j).$5-modules relative to $\Hom_{A\text{-}\stmod}(S_i,S_j)=0 \qquad (i\neq j).$6 yields the images of the simple $\Hom_{A\text{-}\stmod}(S_i,S_j)=0 \qquad (i\neq j).$7-modules under a stable equivalence $\Hom_{A\text{-}\stmod}(S_i,S_j)=0 \qquad (i\neq j).$8, where $\Hom_{A\text{-}\stmod}(S_i,S_j)=0 \qquad (i\neq j).$9 is the tilting mutation of $t$00 relative to $t$01 (Dugas, 2012).

For $t$02-simple-minded systems in $t$03-Calabi–Yau triangulated categories, Coelho Simões–Pauksztello develop an analogous reduction theory. If $t$04 is $t$05-orthogonal and $t$06 is functorially finite, then the bi-perpendicular

$t$07

inherits a triangulated structure, and there is a bijection

$t$08

given by $t$09 and $t$10 (Simoes et al., 2018).

A direct SMS reduction-and-gluing theory for stable module categories of self-injective algebras is developed in 2026. If $t$11 is a Nakayama-stable orthogonal system with $t$12 and $t$13 functorially finite, then the pairs $t$14 and $t$15 are stable $t$16-structures, hence induce a recollement. For a Nakayama-stable subset $t$17, the bi-perpendicular

$t$18

carries a triangulated structure and is triangle equivalent to $t$19 for $t$20. There is then a bijection between sms’s in $t$21 containing $t$22 and sms’s in $t$23, and conversely one can glue sms’s from the outer terms of the recollement to obtain an sms in the middle category (Zhang, 15 Jun 2026).

These mutation and reduction formalisms are structurally parallel to positive cluster-tilting theory. The literature repeatedly describes sms-theory, especially the $t$24-theory, as a “negative” counterpart to cluster-tilting, with generation in negative shifts replacing positive-shift vanishing and with abelian subcategories or reduced triangulated categories replacing quotient constructions (Jorgensen, 2020, Simoes et al., 2018).

5. Derived categories, $t$25-systems, and abelian subcategories

The closely related notion in derived categories is a simple-minded collection. If $t$26 is a finite-dimensional algebra, then the simple $t$27-modules form a simple-minded collection in $t$28; their extension closure is exactly $t$29, hence abelian (Jorgensen, 2020). More generally, in an essentially small $t$30-linear Hom-finite triangulated category $t$31 with split idempotents, a simple-minded collection is a $t$32-orthogonal collection whose smallest extension-closed subcategory containing it is all of $t$33, equivalently a finite family with no negative self-extensions that generates under extensions and shifts (Jorgensen, 2020).

Jørgensen proves that if $t$34 and $t$35 is a $t$36-orthogonal collection in $t$37, then its extension closure $t$38 is a proper abelian subcategory of $t$39, every object of $t$40 has finite length, and its simple objects are exactly the members of $t$41. The proof uses Quillen exact categories and Dyer’s theorem, which applies once one knows

$t$42

When $t$43 is a $t$44-simple-minded system, this abelian subcategory supports an internal tilting theory, even though for $t$45 it is typically not the heart of a $t$46-structure (Jorgensen, 2020).

This perspective clarifies the relation between sms’s and hearts. In the derived $t$47 case, the extension closure of a simple-minded collection is the heart of a bounded $t$48-structure. In the higher negative case, one retains an abelian subcategory or exact structure but not necessarily a heart. Jørgensen explicitly describes this as “negative cluster tilting theory,” contrasting the negative vanishing

$t$49

with the positive vanishing used in higher cluster theory (Jorgensen, 2020).

Further refinements connect mutation of simple-minded collections, $t$50-simple-minded systems, and HRS-tilting. Broomhead–Coelho Simões–Pauksztello–Woolf characterize when a simple HRS tilt of a length heart is again a length heart, prove sufficient conditions for infinite iterability of simple-minded mutation via simple-minded reduction, and give a common mutation-pair framework covering both simple-minded collections and $t$51-simple-minded systems (Broomhead et al., 2024). Jin’s reduction theory for simple-minded collections shows that SMS reduction in singularity categories is the “shadow” of SMC reduction in an ambient triangulated category, paralleling the relation between Calabi–Yau reduction and silting reduction (Jin, 2019).

6. Geometric restrictions, special classes, and recent developments

The Auslander–Reiten geometry of a stable category imposes strong restrictions on possible sms’s. Chan–Liu–Zhang prove that if $t$52 is a stably quasi-serial component of rank $t$53 in the Auslander–Reiten quiver of a self-injective algebra and $t$54 is an sms, then

$t$55

In particular, no module in a homogeneous tube can belong to a simple-minded system (Chan et al., 2019).

Domestic Brauer graph algebras provide a representation-infinite setting in which sms’s can nevertheless be characterized sharply. Zhang proves that for a domestic Brauer graph algebra an orthogonal system $t$56 is a simple-minded system if and only if it contains at least one non-periodic module, equivalently one object from each Euclidean component, and satisfies the syzygy-closure condition

$t$57

The same work shows that if a finite orthogonal system is weakly simple-minded and $t$58, then it is already an sms (Zhang, 20 Jun 2026).

For $t$59-domestic Brauer graph algebras, a 2025 construction gives all sms’s explicitly. The stable Auslander–Reiten quiver has two Euclidean components, four exceptional quasi-tubes, and infinitely many homogeneous tubes; an sms is produced by choosing a maximal orthogonal set of non-periodic bricks in one Euclidean component, filling out the quasi-tubes via stable bi-perpendicular triangular regions, and recovering the remaining Euclidean terms by $t$60. The resulting orthogonal system has size equal to the number of non-projective simples and satisfies $t$61, hence is an sms. The same paper shows that every weakly simple-minded system of finite cardinality is an sms in this setting (Zhang, 29 Sep 2025).

For $t$62-domestic Brauer graph algebras, Zhang reduces classification to the $t$63-domestic case by covering theory. If

$t$64

is the covering functor from a $t$65-domestic Brauer graph algebra $t$66, then $t$67-stable sms’s in $t$68 correspond exactly to sms’s in $t$69. The resulting classification can be described as a “seed + bi-perp” construction: choose one object in the Euclidean component, compute its stable bi-perpendicular inside the Euclidean and quasi-tube components, and obtain a maximal orthogonal system that is automatically an sms (Zhang, 15 Jun 2026).

A different line of development relates sms-theory to coherent rings. Zhang shows that for an orthogonal system $t$70 with extension-closed preimage generated by a finite generator $t$71, coherence of $t$72 and finendo hypotheses force covariant finiteness of $t$73, and under additional weak-sms assumptions this implies that $t$74 is an sms. In particular, over left pure-semisimple rings, every weakly simple-minded system is already a simple-minded system (Zhang, 2024).

Taken together, these developments present simple-minded systems as a unifying notion linking stable equivalence, Auslander–Reiten geometry, mutation theory, recollement and reduction, $t$75-structures and exact categories, and explicit classification problems in self-injective representation theory.