---
title: Brick-Finite Algebras
url: https://www.emergentmind.com/topics/brick-finite-algebras
type: topic
---

# Brick-Finite Algebras

A brick-finite algebra is a finite-dimensional algebra over a field admitting only finitely many isomorphism classes of bricks, where a brick is a module whose endomorphism ring is a division algebra. The structure and characterization of brick-finite algebras interconnects deep aspects of representation theory, relative homological algebra, the theory of torsion classes, and invariant theory, with extensions to geometric and combinatorial frameworks. Brick-finite algebras provide a unifying language—generalizing the theory of semisimple algebras and classical representation-finite algebras—and are decisive in τ-tilting theory and related classification problems.

## 1. Definition and Fundamental Properties

Let $A$ be a finite-dimensional $k$-algebra over an algebraically closed field $k$. An $A$-module $M$ is a **brick** if $\End_A(M)$ is a division algebra; over $k$ this forces $\End_A(M)\cong k$, i.e., every endomorphism is scalar. The **brick-finiteness** property is then:
\[
A\ \text{ is brick-finite} \iff |\brick(A)| < \infty,
\]
where $\brick(A)$ denotes the set of isomorphism classes of bricks in $\bmod A$ [2508.11789].

Bricks generalize simples (since simples are always bricks by Schur’s Lemma) and play a key role in spectral and categorical decompositions. The brick-finite property is closely tied to global finiteness conditions: in particular, a finite-dimensional $A$ is brick-finite if and only if it is τ-tilting finite and, in representation-finite cases, every indecomposable is a brick [2011.09253, 2508.11789].

## 2. Equivalence to τ-Tilting Finiteness and Torsion Theory

The central result is the equivalence between brick-finiteness and τ-tilting finiteness, as formalized in the brick–τ-rigid correspondence [2011.09253, 1904.11514, 2511.12198]:
\[
A\ \text{is brick-finite}\ \Longleftrightarrow\ 
A\ \text{is } \tau\text{-tilting finite}.
\]
A finite-dimensional algebra is τ-tilting finite if it admits only finitely many basic support τ-tilting modules up to isomorphism. Equivalently, the lattice of torsion classes $\tors(A)$ in mod $A$ is finite; this is also equivalent to having only finitely many isoclasses of bricks.

The torsion-theoretic perspective is reinforced via the bijections:
- The set of basic support τ-tilting modules bijects with the set of functorially finite torsion classes.
- The minimal labelings of covers in $\tors(A)$ correspond bijectively to bricks.
- Every functorially finite torsion class is generated by a finite semibrick; thus, brick-finiteness coincides with the property that every wide subcategory of $\bmod A$ is functorially finite [2511.12198].

The table below summarizes some key equivalent criteria for brick-finiteness [2511.12198]:

| Criterion | Invariant/Condition | Paper Reference |
|-----------|--------------------|-----------------|
| Brick-finite | $\big|\brick(A)\big| < \infty$ | [2508.11789, 2511.12198] |
| τ-tilting finite | Finitely many support τ-tilting modules | [2011.09253, 1904.11514] |
| Finite torsion lattice | $\tors(A)$ finite/combinatorially finite | [2011.09253] |
| All semibricks finite | $\sbrick(A)$ finite | [2511.12198] |
| Functorial finiteness | Every wide subcat is functorially finite | [2511.12198] |

## 3. Geometric and Hom-Orthogonality Characterizations

Algebraic and geometric characterizations root brick-finiteness in both module-theoretic and orbit-theoretic frameworks [2407.20877]:
- **Hom-orthogonality**: A brick-finite algebra of rank $n$ admits no Hom-orthogonal set of size $> n$ among modules. A maximal such set (semibrick) is the simple modules. A Hom-orthogonal set is a set of pairwise non-isomorphic modules $X_i$ such that $\Hom(X_i, X_j) = 0$ for $i \neq j$.
- **Orbit geometry**: In each irreducible component $Z \subset \rep(A, d)$, $\c(Z)=0$ (i.e., all orbits are dense), and for all $X,Y \in Z$, $\Hom_A(X,Y) \ne 0$. Infinite families of same-dimensional bricks manifest as existence of Hom-orthogonal orbits, i.e., infinite curves of orthogonal modules in the variety [2407.20877].
- **Auslander–Reiten theory**: The presence of a generalized standard (e.g., tubular or preprojective) component in the AR quiver forces brick-infinity except in representation-finite cases.

This dual algebraic-geometric perspective allows for the detection of brick-infinity and provides algorithmic and conceptual control over classification, especially in tame and biserial settings [2209.05696, 2402.05656].

## 4. Semibricks, Wide Subcategories, and Lattice Theory

A semibrick is a set of pairwise Hom-orthogonal bricks; the collection $\sbrick(A)$ is pivotal in understanding wide subcategories and lattice-theoretic invariants [1610.05860, 2511.12198]. Key facts:
- Brick-finite $\Leftrightarrow$ every semibrick is finite, and $\sbrick(A)$ itself is finite.
- Under Ringel–Asai bijections, semibricks correspond to functorially finite wide subcategories, and via τ-tilting/silting theory to combinatorial structures such as $\tau$-tilting cones and the $g$-vector/c-vector fans.
- The lattice of torsion classes $\tors(A)$ is finite, semidistributive, and has trim (in the sense of extremal and left-modular) structure precisely when $A$ is brick-directed (i.e., contains no cycle of nonzero morphisms among bricks) [2506.13602].

These structural results are extended by results affirming that in the brick-finite case, any chain of wide subcategories or any chain in the κ-order on torsion classes eventually stabilizes [2511.12198].

## 5. Characterizations in Biserial and String Algebras; Generic Bricks

For special biserial and string algebras, brick-finiteness admits purely combinatorial/testable criteria:
- A biserial algebra is brick-finite iff it admits no band whose (one-parameter) family consists entirely of bricks, i.e., no generic brick [2209.05696].
- Minimal brick-infinite biserials are gentle algebras of generalized barbell or affine type (e.g., Kronecker); all other mild/special biserials are brick-finite [1904.11514].
- In string algebras with acyclic quivers, brick-infinity is characterized combinatorially via weakly perfectly clustering condition on associated words (zigzags and crowns), providing an explicit algorithm for detection [2402.05656].
- In tame settings, brick-infinity is equivalent to the existence of a generic brick $G$ with $\End_\Lambda(G) \cong k(x)$; such $G$ parametrizes a $\mathbb{P}^1$-family of bricks of constant dimension [2408.16127].

## 6. Brauer–Thrall Phenomena and Role in Module Theory

Brick-finiteness encodes a "brick version" of Auslander’s theorem and the first Brauer–Thrall theorem: For any finite-dimensional $A$, brick-infinity is equivalent to the existence of bricks of arbitrarily large length [2103.12700]. The following equivalence holds:
\[
A\ \text{is brick-infinite}\ \Longleftrightarrow\ \forall L\in\mathbb N,\ \exists B\in\brick(A)\ \text{with }\ell(B) > L.
\]
This result demonstrates that brick-infinite algebras can never have bounded length of bricks—unboundedness of length is an exact obstruction.

The open conjectural "Second brick Brauer–Thrall" posits that if $A$ is brick-infinite, then for some $d$ there are infinitely many non-isomorphic bricks of dimension $d$ [2508.11789].

## 7. Examples, Constructions, and Applications

- **Dynkin algebras** are always brick-finite: every indecomposable is simple and hence a brick; the number is precisely the number of simple modules.
- **Kronecker algebra** is the minimal brick-infinite example: it admits a 1-parameter family of simple regular bricks.
- **Local algebras**: $k[x]/(x^n)$ is brick-finite (unique simple).
- **Wind-wheel algebras**: brick-finite specific domestic special biserials with explicit enumeration of bricks [2506.13602].
- **Glue constructions**: arbitrary brick-finite algebras of given rank and representation type can be built by gluing along quivers and preserving brick-directedness [2506.13602].

Brick-finite algebras underlie classification of wide subcategories, have finite combinatorics in the τ-tilting fan, and correspond to algebras for which every wide subcategory is functorially finite and every semibrick is finite [1610.05860, 2511.12198].

---

**References:**
- [2011.09253] "A brick version of a theorem of Auslander"
- [2508.11789] "On the bricks (Schur representations) of finite dimensional algebras"
- [2511.12198] "Finiteness of semibricks and brick-finite algebras"
- [2407.20877] "Hom-orthogonal modules and brick-Brauer-Thrall conjectures"
- [1904.11514] "$\tau$-tilting finiteness of biserial algebras"
- [2209.05696] "Biserial algebras and generic bricks"
- [2402.05656] "Characterisation of band bricks over certain string algebras and a variant of perfectly clustering words"
- [2506.13602] "Brick-splitting Torsion Pairs and Trim Lattices"
- [2103.12700] "Minimal ($\tau$-)tilting infinite algebras"
- [2408.16127] "On generic bricks over tame algebras"
- [1610.05860] "Semibricks"

Source: https://www.emergentmind.com/topics/brick-finite-algebras