Wide subcategories and brick-finiteness for length categories

Francesco Sentieri

REVIEW 1 major objections 3 minor 26 references

Wide subcategories and brick-finiteness for length categories

T0 review · 1 major / 3 minor · reviewed 2026-08-01 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Brick-finiteness of a length category is equivalent to every torsion class being generated and every torsionfree class cogenerated by wide subcategories.

desk verdict Solid extension of brick-finiteness theory to finite-rank length categories, with a clean exchange bijection as the core new tool; one unproved compactness assertion in Lemma 4.2 needs patching before the converse direction is airtight. read the letter →

arxiv 2607.15991 v1 pith:LULLAG44 submitted 2026-07-17 math.RT math.CT

Francesco Sentieri This is my paper · ORCID

classification math.RTmath.CT MSC 16G1018E1018E40

keywords torsionpairsbrickswidesubcategoriesabelianlengthcategoriesbrick-finitenesslatticeofclassesHassequiverbrick

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

Brick-finiteness—having only finitely many isomorphism classes of bricks—is a strong finiteness property for abelian length categories. This paper proves that, for categories with finitely many simple objects, brick-finiteness is equivalent to a purely lattice-theoretic condition: every torsion class must be generated by a wide subcategory, and every torsionfree class must be cogenerated by a wide subcategory. The proof passes through an exchange bijection that moves brick labels across a cover in the torsion-class lattice, a mechanism the author describes as a shadow of simple-minded collection mutation. If correct, the result recasts a representation-theoretic finiteness property as an order-theoretic one and extends the bounded-length criterion for brick-finiteness to all finite-rank length categories.

What carries the argument

The exchange bijection (Theorem 3.9). For a wide interval, i.e. a pair of torsion classes t ⊊ u such that the intersection W = u∩f is a wide subcategory, the theorem builds an explicit bijection between the upper and lower brick labels of u and those of t, using W-envelopes and W-covers. The bijection transfers the count of Hasse neighbours across a cover, and this count propagation is what forces local finiteness of the Hasse quiver along every saturated chain. A cited decomposition of wide intervals (t = u∩⊥0W, f = W∗v) supplies the structural basis for the exchange.

What would settle it

Find a finite-rank abelian length category with a wide interval (t,f) ⊂ (u,v) for which t ≠ u∩⊥0(u∩f); then the exchange bijection cannot exist and the main theorem would not follow by this argument. Alternatively, exhibit a finite-rank WD and WCD category with infinitely many bricks, which would directly falsify the claimed equivalence.

Watch

Extended reading notes

Core claim

The paper establishes that a finite-rank abelian length category is brick-finite if and only if it is both widely determined and widely co-determined: every torsion class t arises as T(W) for some wide subcategory W and every torsionfree class f arises as F(W′) for some wide subcategory W′. The equivalence is proved by showing, in one direction, that these two wide-generation conditions force every torsion class to lie at finite Hasse distance from zero, and then that finite distance plus finite branching implies finiteness of the torsion-pair lattice, hence brick-finiteness by the standard criterion. In the other direction, brick-finiteness immediately gives compactness and hence the two wi

Load-bearing premise

The proof leans on a decomposition of wide intervals (t = u∩⊥0W, f = W∗v) that is cited from earlier work rather than proved; if that decomposition fails in any finite-rank length category, the exchange bijection carrying the induction collapses.

Editorial extensions

If this is right

Brick-finiteness can be checked by verifying wide generation and wide cogeneration, properties stated only in terms of the torsion-pair lattice.
In a brick-finite category with N simple objects, every torsion class has exactly N neighbours in the Hasse quiver of the torsion-class lattice; the Hasse diagram is regular.
Every torsion class in a brick-finite category is reachable from zero by a finite saturated chain, and the lattice of torsion pairs is finite.
Bounded brick length is equivalent to brick-finiteness for all finite-rank abelian length categories.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

If the equivalence holds, brick-finiteness is an invariant of the torsion-class lattice alone, so any two categories with isomorphic lattices would agree on brick-finiteness; this could be tested by finding lattice-isomorphic but representation-inequivalent examples.
The exchange bijection gives an explicit mutation recipe for brick labels across covers, which may extend to non-brick-finite categories as a mutation rule for semibrick pairs; a natural test is whether the bijection remains bijective without the wide generation and cogeneration hypotheses.
The paper's locally brick-finite condition for infinite-rank categories suggests WD+WCD may be strictly weaker than local brick-finiteness; constructing an infinite-rank WD and WCD category that is not locally brick-finite would settle whether the finite-rank theorem has a clean infinite counterpart.
In the artin algebra setting, a one-sided condition (widely co-determined) is known to suffice; comparing the minimal hypotheses needed in general length categories could point to a finer hierarchy of brick-finiteness-like properties.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Bottom line: this is a genuinely new characterization of brick-finiteness for finite-rank abelian length categories, and the exchange bijection in Section 3 is the real workhorse. It deserves a proper referee, though there's one unproved step that needs fixing before I'd trust the converse direction.

The main theorem — brick-finite iff WD and WCD — extends known artin algebra results to a natural generality and recovers the first Brick–Brauer–Thrall theorem as a corollary. That is a solid contribution, not just a reformulation. The exchange bijection (Theorem 3.9) is new at this level of abstraction and the proof is mostly detailed: the envelope arguments in Propositions 3.3 and 3.6 are carefully done, and the forward direction of the main theorem is routine. The examples in Section 6 are genuinely useful, especially the k[x]-module and A-infinity illustrations.

The soft spots are real but repairable. The main one is Lemma 4.2: the claim that an infinite semibrick always generates a non-compact torsion class is asserted in a single sentence and used to get finite branching in Prop 4.3. This is not obvious in full generality — a compact torsion class can contain many bricks, and it is not immediate that an infinite Hom-orthogonal family cannot be absorbed into a finitely generated torsion class. If this assertion fails, the König's lemma argument collapses and the converse direction of Theorem 5.5 is unsupported. I suspect the claim is true, but the paper needs either a proof or a precise citation. The other gaps are minor: the dual half of Theorem 3.9 is dismissed with "one checks", and the proof leans heavily on Asai–Pfeifer's decomposition, but those are standard in the field and not problematic.

Overall, the paper is well-written, honest about its debts, and the central argument is coherent. The gaps are patchable, not fatal. I'd send it to review with a request to expand Lemma 4.2 and fill in the dual computations. The result is worth having in the literature, and I would likely cite it in my own work.

Referee Report

1 major / 3 minor

Summary. The paper proves a lattice-theoretic characterisation of brick-finiteness for abelian length categories of finite rank: such a category is brick-finite if and only if every torsion class is generated by a wide subcategory and every torsionfree class is cogenerated by a wide subcategory (Theorem 1.1, equivalently Theorem 5.5). The proof introduces an exchange bijection between the upper/lower brick labels of two torsion pairs forming a wide interval (Theorem 3.9), uses it to show local finiteness of Hasse-neighbourhoods along saturated chains (Lemma 5.1), and then proves by a Zorn's lemma argument that every torsion class is reached by a finite saturated chain (Lemma 5.4). A König's lemma argument in Proposition 4.3 converts upper torsion connectedness into brick-finiteness. As a corollary, the first Brick–Brauer–Thrall theorem is extended to this setting.

Significance. If correct, the main theorem is a substantial conceptual advance: brick-finiteness, a representation-theoretic property, is shown to be equivalent to a purely lattice-theoretic property of the torsion-pair lattice. The paper also gives a direct proof of the exchange of brick labels across wide intervals, a phenomenon that the author describes as a shadow of simple-minded mutation, and derives the bounded-brick-length theorem. The arguments are mostly elementary and carefully organised, and the reliance on external results is explicitly signposted. The proof of the converse direction, however, relies on a nontrivial assertion in Lemma 4.2 that is neither proved nor referenced, which leaves a genuine gap in the written argument.

major comments (1)

[Lemma 4.2 (p. 15)] The proof of Lemma 4.2 reduces to the assertion that 'for any given infinite semibrick B the torsion class T(B) is not compact.' This assertion is load-bearing: Proposition 4.3 uses it to conclude that the tree of saturated paths is finitely branching, since the upper labels of a fixed torsion class form a semibrick, and then applies König's lemma to obtain a non-compact torsion class. No proof or reference is provided for the assertion. In the stated generality of abelian length categories it is not immediate: compactness of T(B) means T(B)=T(M) for a finite-length object M, and one must show that an infinite Hom-orthogonal set of bricks cannot be contained in the extension closure of quotients of a single finite-length object. For finite-dimensional algebras this follows from known τ-tilting/brick results, but the paper does not cite or prove an analogue for arbitrary abelian length ca

minor comments (3)

[Proposition 3.3, Step 2] The step 'C should be in the torsion class t' is terse. It would help to spell out that a proper quotient of a simple object of W lies in ⊥0 W, so that C, being a quotient of Q, indeed lies in t = u ∩ ⊥0 W.
[Lemma 5.1] The statement 't has exactly N neighbours in the Hasse quiver' should clarify whether this means the total number of upper and lower covers; for t=0, for instance, there are N upper labels and no lower labels.
[Throughout] There are a few typographical issues ('first-Brick Brauer Thrall', 'the first-Brick Brauer Thrall theorem') and some sentences that would benefit from copy-editing, e.g. 'More recently, in the second version of the survey [23], appeared a characterisation...'.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular derivation; the main equivalence is self-contained modulo an unproved (but non-circular) assertion.

full rationale

I find no circular step in the paper's derivation chain. Theorem 5.5 is proved in two directions: brick-finiteness implies WD and WCD via Theorem 2.27 and Proposition 2.12, and WD plus WCD implies brick-finiteness via Lemma 5.4 and Proposition 4.3. The central exchange result, Theorem 3.9, rests on Proposition 2.25 from Asai–Pfeifer [8], which is an external theorem cited as a black box; it is not a self-citation, nor is it merely a restatement of the paper's conclusion. The author's own works [4] and [26] appear only in the introduction and Remark 5.7 as contextual comparisons, not as load-bearing premises of Theorem 5.5. No uniqueness theorem from the author's prior work is invoked to force the main choice. The only notable weakness is in Lemma 4.2, where the assertion that an infinite semibrick generates a non-compact torsion class is stated without proof. This is a possible gap in the finite-branching argument of Proposition 4.3, but it is not circular: the assertion is not equivalent to the theorem, and it is a standard, repairable fact. Therefore the central derivation does not reduce by construction to its own inputs, and the honest finding is no circularity.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The proof rests on standard and cited results from torsion-pair/brick theory plus one unproved folk assertion. No free parameters or invented entities are introduced.

assumptions (5)

domain assumption A is an essentially small abelian length category with finitely many simple objects (finite rank)
Notation 1.3 and Theorem 1.1; without finite rank brick-finiteness is impossible (Example 6.1).
standard math Brick-finiteness is equivalent to finiteness of the set of torsion pairs (Theorem 2.27 of [16])
Used in the forward direction of Theorem 5.5 and in Proposition 4.3; not reproved here.
standard math Wide-interval decomposition: for t⊊u with W=u∩f wide, t = u∩^⊥0 W and f = W∗v (Prop 2.25 of [8])
Foundational for the exchange bijection in Section 3 and Lemma 5.1; cited rather than proved.
standard math The lattice of torsion classes is bi-algebraic and completely semidistributive, and labels of covers are given by almost torsion objects (Prop 2.20 of [9], Theorem 2.15 of [14])
Used to interpret upper/lower labels and compactness in Sections 2 and 5.
ad hoc to paper An infinite semibrick B generates a non-compact torsion class T(B)
Asserted in Lemma 4.2 without proof or citation; needed to show upper torsion connectedness forces all semibricks finite.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Wide subcategories and brick-finiteness for length categories." pith.science (2026). https://pith.science/paper/LULLAG44

@misc{pith2026260715991,
  author       = {Pith},
  title        = {Pith review of: Wide subcategories and brick-finiteness for length categories},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LULLAG44}},
  note         = {Machine review of arXiv:2607.15991}
}

read the original abstract

We extend to abelian length categories of finite rank a characterisation of brick-finiteness known for finite-dimensional algebras. We prove that such a category is brick-finite if and only if every torsion class is generated by a wide subcategory and every torsionfree class is cogenerated by a wide subcategory. The proof is based on an exchange relation for brick labels across wide intervals which is a shadow of the mutation of simple minded collections. As a corollary,we extend the validity of the first Brick Brauer-Thrall conjecture to this setting.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

26 extracted references · 4 linked inside Pith

[1]

Adachi, O

T. Adachi, O. Iyama and I. Reiten;τ-tilting theory, Compos. Math. 150 (2014), 415– 452

2014
[2]

Angeleri Hügel, I

L. Angeleri Hügel, I. Herzog and R. Laking;Simples in a cotilting heart, Math. Z. 307, 12 (2024)

2024
[3]

Angeleri Hügel, R

L. Angeleri Hügel, R. Laking, J. Štovíček and J.Vitória;Mutation and Torsion pairs Algebra and Number Theory, 19 (2025), no. 7, 1313–1368

2025
[4]

Angeleri Hügel, F

L. Angeleri Hügel, F. Sentieri;Wide coreflective subcategories and torsion pairs, Jour- nal of Algebra, 664, Part B, (2025), 164–205

2025
[5]

Asai;Semibricks, Int

S. Asai;Semibricks, Int. Math. Res. Not. IMRN 2020, no. 16, 4993–5054

2020
[6]

Asai;Bicompact torsion classes and conjectures on brick infinite algebras, preprint, arXiv:2604.04505

S. Asai;Bicompact torsion classes and conjectures on brick infinite algebras, preprint, arXiv:2604.04505

arXiv
[7]

Asai;Mutations of simple-minded collections revisited; preprint, arXiv:2606.15537, (2026)

S. Asai;Mutations of simple-minded collections revisited; preprint, arXiv:2606.15537, (2026)

arXiv 2026
[8]

Asai and C

S. Asai and C. Pfeifer;Wide subcategories and lattices of torsion classes, Algebr. Represent. Theory 25 (2022), no. 6, 1611–1629

2022

Show all 26 references

[9]

Barnard, A

E. Barnard, A. Carroll and S. Zhu;Minimal inclusions of torsion classes, Algebr. Comb. 2 (2019), no. 5, 879–901

2019
[10]

Barnard, E

E. Barnard, E. J. Hanson;Pairwise compatibility for 2-simple Minded collections II: Preprojective algebras and Semibrick Pairs of Full Rank, Ann. Comb. 26, 803-855 (2022)

2022
[11]

Broomhead, D

N. Broomhead, D. Pauksztello, D. Ploog, J. Woolf;The heart fan of an abelian categorypreprint, arXiv:2310.02844

arXiv
[12]

Crawley-Boevey;Decomposition of pointwise finite-dimensional persistence mod- ules, J

W. Crawley-Boevey;Decomposition of pointwise finite-dimensional persistence mod- ules, J. Algebra Appl. 14 (2015), no. 05, 1550066

2015
[13]

Demonet, O

L. Demonet, O. Iyama and G. Jasso;τ-tilting finite algebras, bricks andg-vectors, Int. Math. Res. Not. IMRN 2019, no. 3, 852–892. 22 FRANCESCO SENTIERI

2019
[14]

L.Demonet, O.Iyama, N.Reading, I.ReitenandH.Thomas;Lattice theory of torsion classes: beyondτ-tilting theory, Trans. Amer. Math. Soc. Ser. B 10 (2023), 542–612

2023
[15]

S. E. Dickson;A torsion theory for abelian categories, Trans. Amer. Math. Soc. 121 (1966), 223–235

1966
[16]

Enomoto;Monobrick, a uniform approach to torsion-free classes and wide subcat- egories, Adv

H. Enomoto;Monobrick, a uniform approach to torsion-free classes and wide subcat- egories, Adv. Math. 393 (2021), Paper No. 108113

2021
[17]

Ingalls and H

C. Ingalls and H. Thomas;Noncrossing partitions and representations of quivers, Compos. Math. 145 (2009), no. 6, 1533–1562

2009
[18]

Koenig, D

S. Koenig, D. Yang;Silting objects, simple-minded collections, t-structures and co-t- structures for finite-dimensional algebras, Doc. Math. 19 (2014), pp. 403–438

2014
[19]

Marks and J

F. Marks and J. Štovíček;Torsion classes, wide subcategories and localisations, Bull. Lond. Math. Soc. 49 (2017), no. 3, 405–416

2017
[20]

Mousavand and C

K. Mousavand and C. Paquette;On the bricks (Schur representations) of finite- dimensional algebras, preprint, arXiv:2508.11789

arXiv
[21]

Mousavand and C

K. Mousavand and C. Paquette;Hom-orthogonal modules and brick-Brauer-Thrall conjectures, J. Algebra 686 (2026), 650–676

2026
[22]

C. M. Ringel;Representations ofK-species and bimodules, J. Algebra 41 (1976), no. 2, 269–302

1976
[23]

C. M. Ringel;Brick chain filtrations, preprint, arXiv:2411.18427v2 (2024)

2024 arXiv
[24]

Schroll and H

S. Schroll and H. Treffinger;Aτ-tilting approach to the first Brauer–Thrall conjecture, Proc. Amer. Math. Soc. 150 (2022), 4567–4574

2022
[25]

Shimpi;Torsion pairs and 3-fold flops, preprint, arXiv:2502.05146v2 (2026)

P. Shimpi;Torsion pairs and 3-fold flops, preprint, arXiv:2502.05146v2 (2026)

2026
[26]

Sentieri;A brick version of a theorem of Auslander, Nagoya Math

F. Sentieri;A brick version of a theorem of Auslander, Nagoya Math. J. 249 (2023), 88–106. Email address:francesco.sentieri@guarinoveronese.it

2023

Pith tools

Reviewed August 1, 2026 · model on record in the stance chip above.

[1] [1]

Adachi, O

T. Adachi, O. Iyama and I. Reiten;τ-tilting theory, Compos. Math. 150 (2014), 415– 452

2014

[2] [2]

Angeleri Hügel, I

L. Angeleri Hügel, I. Herzog and R. Laking;Simples in a cotilting heart, Math. Z. 307, 12 (2024)

2024

[3] [3]

Angeleri Hügel, R

L. Angeleri Hügel, R. Laking, J. Štovíček and J.Vitória;Mutation and Torsion pairs Algebra and Number Theory, 19 (2025), no. 7, 1313–1368

2025

[4] [4]

Angeleri Hügel, F

L. Angeleri Hügel, F. Sentieri;Wide coreflective subcategories and torsion pairs, Jour- nal of Algebra, 664, Part B, (2025), 164–205

2025

[5] [5]

Asai;Semibricks, Int

S. Asai;Semibricks, Int. Math. Res. Not. IMRN 2020, no. 16, 4993–5054

2020

[6] [6]

Asai;Bicompact torsion classes and conjectures on brick infinite algebras, preprint, arXiv:2604.04505

S. Asai;Bicompact torsion classes and conjectures on brick infinite algebras, preprint, arXiv:2604.04505

arXiv

[7] [7]

Asai;Mutations of simple-minded collections revisited; preprint, arXiv:2606.15537, (2026)

S. Asai;Mutations of simple-minded collections revisited; preprint, arXiv:2606.15537, (2026)

arXiv 2026

[8] [8]

Asai and C

S. Asai and C. Pfeifer;Wide subcategories and lattices of torsion classes, Algebr. Represent. Theory 25 (2022), no. 6, 1611–1629

2022