---
title: 2-Domestic Brauer Graph Algebra
url: https://www.emergentmind.com/topics/2-domestic-brauer-graph-algebra
type: topic
---

# 2-Domestic Brauer Graph Algebra

Searching arXiv for recent and foundational papers on 2-domestic Brauer graph algebras, simple-minded systems, and related Brauer graph algebra structure.
A 2-domestic Brauer graph algebra is a Brauer graph algebra \(A\) attached to a finite connected Brauer graph \(G=(G_0,G_1,m,o)\) such that \(G\) has a unique cycle of even length and \(m\equiv 1\). In the classification of domestic Brauer graph algebras, this is exactly the 2-domestic case, and there are no \(n\)-domestic Brauer graph algebras for \(n\geq 3\) [2509.24184]. These algebras are finite-dimensional basic symmetric special biserial algebras, of Euclidean type \(\widetilde{A}\), and their stable representation theory is governed by two Euclidean components, four families of quasi-tubes, and infinitely many homogeneous tubes. Recent work studies them from two complementary directions: the structure of their stable module categories and simple-minded systems [2509.24184], and the distinct notion of 2-domesticity for the associated graded algebra \(gr(A)\), where additional graph-theoretic constraints appear [2403.06684].

## 1. Definition and classification

A Brauer graph is a finite connected unoriented graph together with a multiplicity function \(m:G_0\to \mathbb{Z}_{>0}\) and, at each vertex, a cyclic ordering of the incident edges. From such data one constructs the Brauer graph algebra \(A\simeq kQ_G/I_G\): vertices of the quiver \(Q_G\) correspond to edges of \(G\), arrows are induced by successor relations in the cyclic orderings, and the ideal \(I_G\) is generated by relations encoding the cyclic successor–predecessor structure and the multiplicities [2509.24184]. Brauer graph algebras coincide with symmetric special biserial algebras.

In representation-theoretic terms, domesticity is a refinement of tameness. A finite-dimensional algebra is domestic if there is a uniform bound on the number of one-parameter families of indecomposables across all dimensions, and it is \(d\)-domestic if the least such bound is \(d\). For Brauer graph algebras, the domestic cases are sharply classified: \(A\) is 1-domestic in two explicitly described situations, and \(A\) is 2-domestic if and only if \(G\) has a unique cycle of even length and \(m\equiv 1\); there are no \(n\)-domestic Brauer graph algebras for \(n\geq 3\) [2509.24184].

This classification separates the 2-domestic case from both Brauer trees and odd-cycle domestic algebras. A plausible implication is that 2-domesticity is the first setting in which Euclidean periodicity, quasi-tube combinatorics, and stable orthogonality interact in their full domestic form.

## 2. Auslander–Reiten structure and component geometry

If \(A\) is 2-domestic, then its stable Auslander–Reiten quiver \(\Gamma_A\) has a rigidly prescribed shape. It consists of two stable Euclidean components \(\Gamma_0,\Gamma_1\) of shape \(\mathbb{Z}\widetilde{A}(p,q)\), two families of quasi-tubes of ranks \(p\) and \(q\), and infinitely many homogeneous tubes [2509.24184]. Here \(p+q=n\), where \(n\) is the number of edges of the Brauer graph. In the even-cycle case, if \(\ell\) is the cycle length and \(n_1,n_2\) are the numbers of additional edges inside and outside the cycle, then \(p=\ell/2+n_1\) and \(q=\ell/2+n_2\).

The Euclidean components admit a stable labeling by vertices \((a,b,c)\) with \(a\in\{0,1\}\), where \(a\) distinguishes \(\Gamma_0\) from \(\Gamma_1\), and Auslander–Reiten translation satisfies
\[
\tau(a,b,c)=(a,b-1,c-1).
\]
For \((0,a,b)\in \Gamma_0\), the right support in \(\Gamma_0\) is
\[
\{(0,i,j)\mid i\geq a,\ j\geq b\},
\]
and the left support is
\[
\{(0,i,j)\mid i\leq a,\ j\leq b\}.
\]
By Serre duality, the corresponding supports in \(\Gamma_1\) are reflected by inequalities in the opposite direction [2509.24184].

A central combinatorial device is the rectangle area
\[
\square_{X,Y}:=\{(i,e,f)\mid m\leq e\leq j,\ k\leq f\leq n\},
\]
defined between two vertices \(X=(i,m,n)\) and \(Y=(i,j,k)\) in the same Euclidean component. For a stable brick \(X\), the stable bi-perpendicular category
\[
{}^{\perp}X^{\perp}=\{Z\mid \underline{\mathrm{Hom}}_A(X,Z)=0=\underline{\mathrm{Hom}}_A(Z,X)\}
\]
is the complement of the union of the left and right supports of \(X\). In \(\Gamma_0\), one obtains the explicit formula
\[
{}^{\perp}(0,a,b)^{\perp}\cap \Gamma_0
=
\square_{(0,a-p+1,\ b+q-1),\ (0,a-1,\ b+1)}.
\]

The quasi-tubes are controlled by analogous triangular regions. On a quasi-tube \(Q\) of rank \(r>1\), quasi-simples are labeled \(Q(i,j,0)\), and the wing \(W_X\) of a \(\tau\)-periodic module \(X\) determines the local support pattern. For a quasi-simple \(Q(0,c,d)\) of height \(d\), the stable bi-perpendicular category inside \(Q_0\cup Q_1\) is a union of triangle areas
\[
\Delta_{Q(a,b)}:=\{(i,j)\mid a\leq i\leq a+b,\ a\leq i+j\leq a+b\},
\]
which encodes the triangular geometry of orthogonality in quasi-tubes [2509.24184].

These componentwise formulas are significant because the 2-domestic case is not merely tame; it is combinatorially explicit. The stable generalized standard property of the Euclidean components and quasi-tubes implies that infinite radical intersections do not occur in the stable category, and every indecomposable non-projective non-periodic module is a stable brick [2509.24184]. This is what makes a classification of orthogonal systems and simple-minded systems feasible.

## 3. Simple-minded systems in the stable category

Let \(A\)-stmod denote the stable module category of \(A\). A stable brick is an object \(M\) with
\[
\mathrm{End}_{A\text{-stmod}}(M)\cong k.
\]
A family \(\mathcal{S}\) of stable bricks is an orthogonal system if
\[
\underline{\mathrm{Hom}}_A(S_i,S_j)=0=\underline{\mathrm{Hom}}_A(S_j,S_i)\quad\text{for }i\neq j,
\]
and each \(S_i\) has stable endomorphism ring \(k\) [2509.24184].

The extension closure of a family \(\mathcal{S}\) in a triangulated category \(T\) is defined recursively by
\[
(\mathcal{S})_0=\{0\},\qquad
(\mathcal{S})_n=(\mathcal{S})_{n-1}\star (\mathcal{S}\cup\{0\}),
\]
and
\[
\mathcal{F}(\mathcal{S})=\bigcup_{n\geq 0}(\mathcal{S})_n.
\]
For orthogonal systems, \(\mathcal{F}(\mathcal{S})\) is closed under direct summands [2509.24184].

A simple-minded system (SMS) is an orthogonal system \(\mathcal{S}\) satisfying the generation condition
\[
\mathcal{F}(\mathcal{S})=A\text{-stmod}.
\]
A weakly simple-minded system (WSMS) replaces generation by weak generation: for every nonzero \(X\in A\)-stmod, there exists \(S\in\mathcal{S}\) such that \(\underline{\mathrm{Hom}}_A(S,X)\neq 0\) [2509.24184].

For domestic Brauer graph algebras, a decisive criterion is available: an orthogonal system \(\mathcal{S}\) is an SMS if and only if it contains at least one non-periodic module and
\[
\Omega(\mathcal{S})\subseteq \mathcal{F}(\mathcal{S}),
\]
equivalently,
\[
\Omega^{-1}(\mathcal{S})\subseteq \mathcal{F}(\mathcal{S})
\]
[2606.21881]. In the 2-domestic case, non-periodic modules are precisely the objects on the Euclidean components, so the criterion is a bridge between Euclidean combinatorics and stable generation.

A further refinement is specific to 2-domestic Brauer graph algebras: every weakly simple-minded system of finite cardinality is in fact a simple-minded system [2509.24184]. The underlying argument excludes the possibility that a finite WSMS could be built entirely from \(\tau\)-periodic objects in homogeneous tubes, because weak generation would then force infinitely many quasi-simples from infinitely many homogeneous tubes. Hence any finite WSMS must contain a Euclidean object, after which the domestic criterion upgrades weak generation to full generation.

## 4. Construction and classification of simple-minded systems

The classification of SMS over 2-domestic Brauer graph algebras is organized around maximal orthogonal systems assembled from the Euclidean components and quasi-tubes [2509.24184]. Fix an orthogonal system \(M\subset \Gamma_0\) with \(k\) elements. The paper constructs a maximal orthogonal system
\[
S=M\cup M'\cup S_1\cup S_2
\]
by adjoining:

- an orthogonal system \(S_1\) on \({}^{\perp}M^{\perp}\cap (Q_0\cup Q_1)\) of size \(q-k\),
- an orthogonal system \(S_2\) on \({}^{\perp}M^{\perp}\cap (Q'_0\cup Q'_1)\) of size \(p-k\),
- an orthogonal system \(M'\subset \Gamma_1\) of size \(k\) on \({}^{\perp}(M\cup S_1\cup S_2)^{\perp}\cap \Gamma_1\).

The total cardinality is therefore
\[
|S|=2k+(q-k)+(p-k)=p+q=n,
\]
the number of edges of the Brauer graph. Moreover, \(S\) contains no object in a homogeneous tube.

Orthogonal systems on the Euclidean components are described by explicit inequalities. If \((0,a_1,b_1)\in \Gamma_0\), then an orthogonal system containing it is any set
\[
O^0_{(0,a_1,b_1)}
=
\{(0,a_i,b_i)\mid a_1-p<a_i<a_1,\ b_1<b_i<b_1+q,\ \text{and if }a_i<a_j\text{ then }b_j<b_i\}.
\]
A dual description holds in \(\Gamma_1\). Compatibility between chosen subsets \(M_0\subset \Gamma_0\) and \(M_1\subset \Gamma_1\) is governed by the inequalities
\[
a_j-p+1\leq c_i\leq a_j,\qquad
b_j+1\leq d_i\leq b_j+q
\]
for all relevant indices [2509.24184].

On quasi-tubes, orthogonal systems are built inductively on triangle areas. For a triangle area \(\Delta_{Q(0,1,t)}\), one starts from quasi-simples \(Q(0,1,0)\), then adds objects from the bi-perpendicular complement inside the same triangle area, which decomposes as a disjoint union of lower-height triangles. A key shape theorem states that any maximal orthogonal system on
\[
\Delta_{Q(0,j,i)}\cup \Delta_{Q(1,j,i)}
\]
has cardinality \(i+1\) [2509.24184].

The classification theorem asserts that these constructions produce all simple-minded systems on \(A\)-stmod in the 2-domestic case [2509.24184]. The objects that can appear are non-periodic stable bricks on the Euclidean components and quasi-simples on the quasi-tubes of ranks \(p\) and \(q\). Homogeneous-tube objects do not occur, and band modules do not appear in SMS.

A related construction, formulated for self-injective algebras and specialized to balanced 2-domestic Brauer graph algebras with \(p=q\), starts from a nonzero map \(M\to \Omega(M)\) for a non-periodic indecomposable module \(M\), completes it to triangles, and iterates along almost split triangles to produce a finite orthogonal family \(\mathcal{S}\) satisfying \(\Omega(\mathcal{S})\subseteq \mathcal{F}(\mathcal{S})\); by the domestic criterion, \(\mathcal{S}\) is then an SMS [2606.21881]. This suggests that triangle-based generation and the rectangle–triangle combinatorics of the stable AR-quiver are two presentations of the same mechanism.

## 5. Structural consequences and invariants

A principal quantitative invariant is the cardinality of a simple-minded system. For a 2-domestic Brauer graph algebra with \(n\) edges and Euclidean parameters \(p,q\) satisfying \(p+q=n\), every SMS has cardinality \(n\) [2509.24184]. More precisely, if \(M\subset \Gamma_0\) has \(k\) elements, then in the associated SMS \(S\),
\[
|S\cap \Gamma_0|=|S\cap \Gamma_1|=k,\quad
|S\cap (Q_0\cup Q_1)|=q-k,\quad
|S\cap (Q'_0\cup Q'_1)|=p-k,
\]
and \(S\) has no objects in homogeneous tubes.

The classification yields a new proof of the Auslander–Reiten conjecture for 2-domestic Brauer graph algebras. In this setting, the conjecture says that stable equivalences preserve the number of isomorphism classes of non-projective simple modules. Since simple-minded systems are invariant under stable equivalences, and every SMS has cardinality \(p+q=n\), stable equivalences preserve the number of non-projective simples [2509.24184].

The same analysis produces functorial finiteness results. Any orthogonal system containing at least one Euclidean object extends to an SMS, and its extension closure \(\mathcal{F}(\mathcal{S})\) is functorially finite in \(A\)-stmod [2509.24184]. Using Dugas’ torsion pair theorem, if \(\mathcal{X}\subseteq \mathcal{S}\) with \(\mathcal{S}\) an SMS, then \(({}^{\perp}\mathcal{X},\mathcal{F}(\mathcal{X}))\) and \((\mathcal{F}(\mathcal{X}),\mathcal{X}^{\perp})\) are torsion pairs, which implies functorial finiteness of \(\mathcal{F}(\mathcal{X})\).

Another consequence concerns self-extensions: if \(S\) is an object of an SMS, then
\[
\underline{\mathrm{Ext}}^1_A(S,S)=0
\]
in the stable category [2509.24184]. In context, this is tied to the brick condition, orthogonality, and the generalized standard property of the relevant components.

## 6. The associated graded algebra and a distinct notion of 2-domesticity

The phrase “2-domestic Brauer graph algebra” requires care because the associated graded algebra \(gr(A)\) of a Brauer graph algebra carries its own domesticity theory. For \(A=kQ/I\), the graded algebra \(gr(A)\) associated with the radical filtration has the same quiver but modified first-type relations: each relation of the form \(C_v(a)^{m(v)}-C_{v'}(a')^{m(v')}\) is replaced by the shorter of the two paths, while second- and third-type relations are unchanged [2403.06684]. In general, \(gr(A)\) is special biserial and usually not self-injective.

For the original Brauer graph algebra \(A\), 2-domesticity is equivalent to the existence of a unique even cycle with \(m\equiv 1\). For the associated graded algebra \(gr(A)\), the criterion is stricter: \(gr(A)\) is 2-domestic if and only if

1. \(G\) has a unique cycle of even length and \(m(v)=1\) for all vertices,
2. all vertices on the cycle have equal graded degree,
3. every walk from any cycle vertex is degree decreasing

[2403.06684].

Here the graded degree is defined by
\[
grd(v)=m(v)\,val(v)\quad\text{if }m(v)val(v)>1,
\]
and if \(val(v)=1\), then \(grd(v)\) is defined using the unique neighbor. An edge is unbalanced if the graded degrees at its endpoints are different. The extra conditions for \(gr(A)\) amount to forbidding unbalanced edges on the cycle and controlling the attached trees by degree-decreasing walks [2403.06684].

This distinction corrects a common misconception: 2-domesticity of \(A\) does not automatically imply 2-domesticity of \(gr(A)\). There are cases where \(A\) is 2-domestic because the graph has a unique even cycle with \(m\equiv 1\), but \(gr(A)\) fails domesticity due to unbalanced edges on the cycle or attachments violating the degree-decreasing condition [2403.06684]. In the graded setting, domesticity is equivalent to polynomial growth, and \(gr(A)\) is \(n\)-domestic precisely when the number of bands satisfies \(|Ba(gr(A))|=n\); in particular, 2-domesticity means exactly two band families [2403.06684].

The comparison highlights two related but different representation-theoretic regimes. For \(A\), the emphasis is on stable Euclidean components, quasi-tubes, and simple-minded systems. For \(gr(A)\), the emphasis shifts to the effect of the radical filtration on first-type relations and the appearance or exclusion of infinitely many bands. Together, these viewpoints place 2-domestic Brauer graph algebras at the intersection of graph combinatorics, stable homological algebra, and domestic tame representation theory.

Source: https://www.emergentmind.com/topics/2-domestic-brauer-graph-algebra