Pith. sign in

REVIEW 1 major objections 4 minor 42 references

Brick-splitting Torsion Pairs and Left Modularity

T0 review · 1 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read Brick-directed algebras are exactly the brick-finite algebras whose lattice of torsion classes is left modular, extremal, and trim, with the brick-splitting torsion classes forming its distributive spine.

desk verdict A solid, genuinely new characterization of brick-directed algebras via left modularity of torsion-class lattices; the only load-bearing gap is a wall-chamber result cited to an unpublished manuscript. read the letter →

arxiv 2506.13602 v2 pith:U43S4WPQ submitted 2025-06-16 math.RT math.COmath.RA

Sota Asai , Osamu Iyama , Kaveh Mousavand , Charles Paquette This is my paper · ORCID
classification math.RTmath.COmath.RA MSC 16G1006A0705E1016S90
keywords bricksplittingtorsionpairbrick-directedalgebraleftmodularlatticetrimclasseswall-and-chamberstructureNewtonpolytope
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

This paper introduces brick-splitting torsion pairs, meaning torsion pairs that split the set of bricks (modules whose endomorphism ring is a division algebra) into torsion and torsion-free parts, and uses them to define brick-directed algebras, which are algebras admitting no cycle of non-zero non-invertible maps between bricks. The main theorem shows that for an algebra with only finitely many bricks, being brick-directed is equivalent to the lattice of torsion classes being left modular, being extremal, and being trim; in that case the brick-splitting torsion classes are exactly the spine of the lattice and form a distributive sublattice. Along the way the paper characterizes brick-splitting torsion classes as left modular elements of the torsion-class lattice, gives a bijection between Hom-orthogonal total orders on bricks and maximal chains of brick-splitting torsion classes, and connects brick-directedness to wall-and-chamber data and to an indivisible increasing path in the Newton polytope of the direct sum of all bricks. The results turn a purely representation-theoretic condition, absence of cycles of bricks, into lattice-theoretic and polyhedral characterizations that generalize classical representation-directed algebras while covering new tame and wild examples.

What carries the argument

The brick quiver Qb(A) is the central combinatorial object: its vertices are the bricks of A and it has an arrow X to Y whenever HomA(X,Y) is nonzero, so the absence of directed cycles in Qb(A) is exactly brick-directedness. The lattice-theoretic machinery rests on the brick-labeling theorem for Hasse(torsA): every cover relation in the lattice of torsion classes is uniquely labeled by a brick, labels along a saturated chain are Hom-orthogonal, and every torsion class is determined by the bricks it contains. That labeling, combined with the correspondence between chains of bricks and chains of torsion classes, lets the paper identify brick-splitting torsion classes with left modular elements, with the elements on maximal chains, and with vertices of the Newton polytope of the direct sum of all bricks.

What would settle it

For the 3-Kronecker quiver, the paper predicts that K0(projA)R admits no consistent or weakly consistent sequence since the algebra is strictly wild; finding such a sequence would falsify Theorem 4.18. Alternatively, exhibiting a brick-finite algebra whose lattice of torsion classes is left modular but whose brick quiver contains a directed cycle would break Theorem 1.7 at its lattice-theoretic core.

Watch

Extended reading notes

Core claim

The central claim, Theorem 1.7, is that for a brick-finite algebra A the following are equivalent: A is brick-directed; the lattice torsA of torsion classes is left modular; torsA is extremal; and torsA is a trim lattice. Moreover, when these hold, the spine of torsA consists exactly of the brick-splitting torsion classes and forms a distributive sublattice. The paper also proves that a torsion class T is brick-splitting precisely when T is a left modular element of torsA, and that A is brick-directed precisely when its brick quiver Qb(A) is acyclic; in that case there is a bijection between total orders on the bricks satisfying Hom-orthogonality and maximal chains of brick-splitting torsion classes. For brick-finite A, brick-directedness is additionally equivalent to the existence of a consistent or weakly consistent sequence in the real Grothendieck group K0(projA)R and to the existence of an indivisible increasing path in the Newton polytope N(M) from 0 to [M], where M is the direct sum of all bricks.

Load-bearing premise

The load-bearing premise is the brick-labeling structure of the torsion-class lattice: cover arrows carry unique brick labels, labels along saturated chains are Hom-orthogonal, and each torsion class is determined by the bricks it contains; for the wall-and-chamber results, a further premise is a proof currently cited to an unpublished manuscript rather than supplied in this paper.

Editorial extensions

If this is right

  • Brick-directed algebras form a strictly larger family than representation-directed algebras: they may be representation-infinite, tame, or wild, and for every rank n>1 the paper constructs explicit examples of all five types (representation-finite, brick-finite tame, brick-infinite tame, brick-finite wild, and brick-infinite wild).
  • For any brick-finite brick-directed algebra, the lattice torsA has a maximal chain of length |brickA|, and its spine is a distributive sublattice consisting exactly of the brick-splitting torsion classes.
  • In a brick-finite brick-directed algebra, every brick is uniquely determined by its dimension vector, and each module variety mod(A,d) contains at most one brick component.
  • Brick-directedness is inherited by quotient algebras A/J, corner algebras eAe, and τ-reductions, so extremality and left modularity of torsA pass to the corresponding torsion-class lattices.
  • Strictly wild algebras are never brick-directed, and among path algebras exactly the Dynkin quivers and the Kronecker quiver are brick-directed.

Reading between the lines

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

  • If the brick-labeling structure extends to infinite semidistributive lattices, brick-directedness may serve as the right infinite analogue of trimness; the paper itself gestures at this possibility in Remark 1.13 without proving it.
  • The brick-quiver acyclicity criterion suggests a testable detection strategy for quiver algebras with finite brick data: enumerate bricks, build Qb(A), and check acyclicity, and the wind-wheel family in the paper is a concrete place to run such a check.
  • The uniqueness of bricks by their dimension vector, if it were known beyond brick-finite algebras, would interact directly with the second brick-Brauer-Thrall expectation that brick-infinite algebras over algebraically closed fields contain infinitely many bricks with a common dimension vector; the paper raises the question but does not settle it.
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.

Referee Report

1 major / 4 minor

Summary. The paper introduces brick-splitting torsion pairs, i.e. torsion pairs in which every brick lies in the torsion or torsion-free class, and proves that they are exactly the left modular elements of the lattice tors A (Theorem 1.1, via Propositions 3.1 and 3.4). It then defines brick-directed algebras as those with no cycle of non-zero non-isomorphisms between bricks, and characterizes them: by the existence of a maximal chain of brick-splitting torsion classes (Theorem 4.1), and, in the brick-finite case, by left modularity, extremality, and trimness of tors A (Theorem 1.7), by consistency of a sequence in the real Grothendieck group (Theorem 4.18), and by the existence of an indivisible increasing path in a Newton polytope (Theorem 5.11). It also gives an explicit gluing construction producing brick-directed algebras of all representation types (Corollary 4.13).

Significance. If the results hold, the paper gives a satisfying representation-theoretic realization of left modular, extremal, and trim lattices, and a substantial generalization of representation-directed algebras, with explicit examples in the tame and wild worlds. The proof of the main lattice-theoretic theorem (Theorem 1.7) is coherent: it builds on published brick-labeling results [DI+], chain-of-bricks results [KD], and lattice-theoretic facts [TW], [Mu], and the extremality argument via chain length |brickA| is elegant. The paper is also strong on explicit constructions and worked examples. However, the advertised wall-and-chamber and Newton-polytope characterizations are currently conditional on an unpublished source, which is the main obstacle to accepting the full claims in the abstract.

major comments (1)
  1. [§4.4, Prop. 4.14 and Lemma 4.15] Proposition 4.14 and Lemma 4.15 are load-bearing for the wall-chamber and Newton-polytope results: Theorem 4.18 uses Proposition 4.14 to produce the consistent sequence, and Theorem 5.11 together with Corollary 5.7 uses Lemma 4.15(2) via Lemma 5.10. Both results are cited to the unpublished manuscript [As3]. Proposition 4.14 in particular is a precise compatibility statement between Hasse labels and stability parameters, not a standard reference. As long as [As3] remains unpublished, Theorems 1.10, 1.12, and Corollary 5.7 are conditional. I do not see a gap in the proof of Theorem 1.7 itself, but the abstract advertises these characterizations as theorems, so this dependency needs to be resolved before publication, either by including proofs in an appendix or by citing a publicly available version.
minor comments (4)
  1. [§3.3, proof of Cor. 3.16] In the proof of Corollary 3.16 the partition is described as having no arrow from S1 to S2 and then (1−e)Ae = 0 is deduced; this reverses the orientation in Proposition 3.14, which gives no arrow from sim A∩F to sim A∩T. The argument still works after replacing e by 1−e, but the displayed direction should be corrected.
  2. [§5, proof of Prop. 5.2] In the extremality implies brick-directed direction, the citation to Theorem 2.6 is not quite the right tool: Theorem 2.6 as stated only produces chains of torsion classes from chains of bricks. The intended conclusion follows directly from Proposition 2.5, since labels along a maximal chain of length |brickA| form a chain of bricks containing all bricks.
  3. [§3.3, proof of Lemma 3.8] The symbol A is overloaded in the proof of Lemma 3.8, where it denotes both the algebra and the wide subcategory Filt(X⊕Y); using a different letter, such as W, for the latter would avoid confusion.
  4. [Cor. 1.6] The phrase 'For any positive integer n>1' would be more naturally rendered as 'For every integer n>1'.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular reduction: Theorem 1.7 is derived from definitions plus published brick-labeling and lattice theorems; the wall-chamber/Newton-polytope claims carry a non-circular provenance caveat via unpublished [As3].

full rationale

The central equivalence (Theorem 1.7) is not built from its own conclusion. Proposition 3.4 proves that brick-splitting torsion classes coincide with left modular elements of torsA using the standard brick labeling and weak atomicity imported from published sources ([DI+], [TW]), and Theorem 4.1 proves that brick-directedness is equivalent to existence of a maximal chain of brick-splitting torsion classes using the brick quiver and the published Demonet correspondence [KD]. Proposition 5.1 and 5.2 then assemble these into left modularity and extremality; the extremality direction uses the published bijection between bricks and join-irreducibles ([DI+, Theorem 3.4]) rather than assuming the target. The trimness statement is imported from the external lattice-theoretic equivalence [TW]/[Mu] and instantiated via Propositions 5.1 and 5.2. No fitted parameter is renamed as a prediction, and no equation is defined in terms of the result it is used to prove. The only load-bearing citation by an author of this paper is Proposition 4.14 and Lemma 4.15 in Section 4.4, which are attributed to the unpublished manuscript [As3]. These facts support the wall-chamber characterization (Theorem 4.18/1.10) and the Newton-polytope indivisibility step (Lemma 5.10/Theorem 5.11), but they do not feed back into Theorem 1.7, whose proof is self-contained from the published inputs. That is a provenance gap making the secondary geometric characterizations conditional, not a circular redefinition; accordingly the circularity score is low rather than substantial.

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

The main derivations are deductions in module theory and lattice theory, with no free parameters. The genuinely imported inputs are brick-labeling and brick-finiteness results from the published literature, plus one unpublished stability-parameter lemma from [As3]. The paper's new definitions (brick-splitting pairs, brick-directed algebras, brick quiver) are explicit and not invented entities in the empirical sense.

assumptions (4)
  • standard math The lattice torsA of torsion classes is complete, weakly atomic and semidistributive, and its Hasse diagram admits a brick labeling.
    Imported from [DI+, Theorems 1.3, 3.1, 3.4] and [BCZ]; used in Prop 3.1, Prop 3.4, and Prop 5.2.
  • standard math Every torsion class is uniquely determined by the bricks it contains.
    Invoked in the proofs of Prop 3.5 and Theorem 4.1; if false, the bijection between brick-splitting classes and successor-closed subsets of the brick quiver would fail.
  • domain assumption Brick-finiteness of A is equivalent to tau-tilting finiteness and to finiteness of the lattice torsA.
    Used at the start of Section 5 to restrict lattice-theoretic notions to finite lattices; cited to [DIJ].
  • ad hoc to paper For each arrow T -> U in Hasse(torsA) labeled by a brick X, with A brick-finite, there is a stability parameter theta such that T_theta = T, T^theta = U and X is theta-stable.
    This is Proposition 4.14, quoted from the unpublished manuscript [As3] by one of the authors; it is load-bearing for Theorem 4.18 and Corollary 5.7.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Brick-splitting Torsion Pairs and Left Modularity." pith.science (2026). https://pith.science/paper/U43S4WPQ

@misc{pith2026250613602,
  author       = {Pith},
  title        = {Pith review of: Brick-splitting Torsion Pairs and Left Modularity},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/U43S4WPQ}},
  note         = {Machine review of arXiv:2506.13602}
}
read the original abstract

We introduce the notion of brick-splitting torsion pairs as a modern analogue and generalization of the classical notion of splitting torsion pairs. A torsion pair is called brick-splitting if any given brick is either torsion or torsion-free with respect to that torsion pair. After giving some properties of these pairs, we fully characterize them in terms of some lattice-theoretical properties, including left modularity. This leads to the notion of brick-directed algebras, which are those for which there does not exist any cycle of non-zero non-isomorphisms between bricks. This class of algebras is a novel generalization of representation-directed algebras. We show that brick-directed algebras have many interesting properties and give several characterizations of them. In particular, we prove that a brick-finite algebra is brick-directed if and only if the lattice of torsion classes is left modular (or equivalently, extremal). We also give a characterization of brick-directed algebras in terms of their wall-and-chamber structure, as well as of a certain Newton polytope associated to them. Moreover, we introduce an explicit construction of an abundance of brick-directed algebras, both of the tame and wild representation types.

Figures

Figures reproduced from arXiv: 2506.13602 by the authors.

Figure 1
Figure 1. Lattice of torsion classes in Example 3.12. A non￾trivial torsion class is specified by the τ -rigid module that generates it. Finally, observe that mod A has no non-trivial splitting torsion pair. Remark 3.13 Primarily motivated by τ -tilting theory, and more specifically via “brick-τ -rigid correspondence” established in [DIJ], recent studies of bricks and indecomposable τ -rigid modules have been developed parall… view at source ↗

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

42 extracted references · 23 canonical work pages

  1. [1]

    Adachi, O

    T. Adachi, O. Iyama, I. Reiten, -tilting theory, Compos. Math. 150 (2014), no. 3, pp 415-452

    2014

  2. [2]

    T. Aoki, A. Higashitani, O. Iyama, R. Kase, Y. Mizuno, Fans and polytopes in tilting theory I: Foundations, arXiv:2203.15213 (2022)

    arXiv 2022

  3. [3]

    Asai, Semibricks, Int

    S. Asai, Semibricks, Int. Math. Res. Not. (2020), no. 16, 4993-5054

    work page 2020

  4. [4]

    Asai, The wall-chamber structures of the real Grothendieck groups, Adv

    S. Asai, The wall-chamber structures of the real Grothendieck groups, Adv. Math. 381 (2021), Paper No. 107615

    2021

  5. [5]

    Asai, Mutations of simple-minded collections and -tilting reduction (in preparation)

    S. Asai, Mutations of simple-minded collections and -tilting reduction (in preparation)

    work page

  6. [6]

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

    work page 2022

  7. [7]

    Assem, D

    I. Assem, D. Simson, A. Skowro\'nski, Elements of the representation theory of associative algebras, Vol 1. Techniques of Representation Theory, London Math. Soc. Student Texts, No. 65

    work page

  8. [8]

    Auslander, I

    M. Auslander, I. Reiten, and S. Smalø, Representation Theory of Artin Algebras, Cambridge Studies in Advanced Mathematics 36, Cambridge University Press, Cambridge, New York, (1995)

    work page 1995

Show all 42 references
  1. [9]

    Barnard, A

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

    2019

  2. [10]

    Baumann, J

    P. Baumann, J. Kamnitzer, P. Tingley, Affine Mirkovi\' c -Vilonen polytopes , Publ. Math. Inst. Hautes \' E tudes Sci. 120 (2014), 113--205

    2014

  3. [11]

    Blass, B

    A. Blass, B. Sagan, Möbius functions of lattices, Adv. Math. 127 (1997), 94–123

    1997

  4. [12]

    Br\" u stle, D

    T. Br\" u stle, D. Smith, H. Treffinger, Wall and Chamber Structure for finite dimensional Algebras, Adv. Math. 354 (2019), Paper No. 106746

    2019

  5. [13]

    Bobiński, G

    G. Bobiński, G. Zwara, Two vertex geometrically irreducible algebras, Journal of Pure and Applied Algebra, Vol 228, Issue 10 (2024)

    2024

  6. [14]

    Davey, H

    B. Davey, H. Priestley Introduction to Lattices and Order, 2nd Ed., Cambridge University Press, London (2002)

    2002

  7. [15]

    Demonet, O

    L. Demonet, O. Iyama, G. Jasso, -tilting finite algebras and g -vectors, Int. Math. Res. Not. (2019), no. 3, 852–892

    2019

  8. [16]

    Demonet, O

    L. Demonet, O. Iyama, N. Reading, I. Reiten, H. Thomas, Lattice theory of torsion classes, Trans. Amer. Math. Soc. Ser. B 10 (2023)

    2023

  9. [17]

    Dräxler, Auslander-Reiten Quivers of Algebras whose Indecomposable Modules are Bricks, Bulletin of the London Mathematical Society, Volume 23 (1991), 141-145

    P. Dräxler, Auslander-Reiten Quivers of Algebras whose Indecomposable Modules are Bricks, Bulletin of the London Mathematical Society, Volume 23 (1991), 141-145

    1991

  10. [18]

    Fei, Combinatorics of F -polynomials, Int

    J. Fei, Combinatorics of F -polynomials, Int. Math. Res. Not. IMRN 2023, Issue 9, 7578--7615

    2023

  11. [19]

    Fei, Tropical F-polynomials and general presentations, J

    J. Fei, Tropical F-polynomials and general presentations, J. Lond. Math. Soc. (2) 107 (2023), Issue 6, 2079--2120

    2023

  12. [20]

    Garver, T

    A. Garver, T. McConville, Lattice Properties of Oriented Exchange Graphs and Torsion Classes, Algebr. Represent. Theory 22 (2019), no. 1, 43–78

    2019

  13. [21]

    Grätzer, General Lattice Theory, 2nd edition

    G. Grätzer, General Lattice Theory, 2nd edition. Birkäuser, Basel, Switzerland (2003)

    2003

  14. [22]

    Happel, Triangulate categories in the representation theory of finite dimensional algebras, London Math

    D. Happel, Triangulate categories in the representation theory of finite dimensional algebras, London Math. Soc., LNS.,119 (1988)

    1988

  15. [23]

    Jasso, Reduction of -tilting modules and torsion pairs, Int

    G. Jasso, Reduction of -tilting modules and torsion pairs, Int. Math. Res. Not. IMRN (2015), no. 16, 7190–7237

    2015

  16. [24]

    Keller, L

    B. Keller, L. Demonet, A survey on maximal green sequences, Representation theory and beyond. Vol. 758. Contemp. Math. Amer. Math. Soc., [Providence], RI (2020), 267–286

    2020

  17. [25]

    King, Moduli of representations of finite dimensional algebras, Quart

    A. King, Moduli of representations of finite dimensional algebras, Quart. J. Math. Oxford Ser. (2) 45 (1994), no. 180, 515--530

    1994

  18. [26]

    S. Liu, B. Sagan, Left-modular elements of lattices, J. Comb. Theory Ser. A. 91 (2000), 369–385

    2000

  19. [27]

    Markowsky, Primes, irreducibles and extremal lattices, Order 9 (1992), no

    G. Markowsky, Primes, irreducibles and extremal lattices, Order 9 (1992), no. 3, 265–290

    1992

  20. [28]

    Marks, J

    F. Marks, J. Šťovíček, Torsion classes, wide subcategories and localisations, Bulletin of the LMS 49 (2017), no. 3, 405-416

    2017

  21. [29]

    Mousavand, -tilting finiteness of biserial algebras, Algebr

    K. Mousavand, -tilting finiteness of biserial algebras, Algebr. Represent. Theory 26 (2023), 2485–2522

    2023

  22. [30]

    Mousavand, -tilting finiteness of minimal representation-infinite algebras, PhD thesis presented at the University of Montréal (2020)

    K. Mousavand, -tilting finiteness of minimal representation-infinite algebras, PhD thesis presented at the University of Montréal (2020)

    2020

  23. [31]

    Mousavand, -tilting finiteness of non-distributive algebras and their module varieties, Journal of Algebra 608 (2022), 673-690

    K. Mousavand, -tilting finiteness of non-distributive algebras and their module varieties, Journal of Algebra 608 (2022), 673-690

    2022

  24. [32]

    Mousavand, C

    K. Mousavand, C. Paquette, Geometric interactions between bricks and -rigidity, arXiv:2311.14863 (2023)

    2023

  25. [33]

    Mousavand and C

    K. Mousavand and C. Paquette, Hom-orthogonal modules and brick-Brauer-Thrall conjectures, arXiv:2407.20877 (2024)

    2024 arXiv

  26. [34]

    Mousavand and C

    K. Mousavand and C. Paquette, Minimal ( -)tilting infinite algebras, Nagoya Math. Journal 249 (2023), 231-238

    2023

  27. [35]

    Mühle, Extremality, Left-Modularity and Semidistributivity, Algebra Universalis 84, 16 (2023)

    H. Mühle, Extremality, Left-Modularity and Semidistributivity, Algebra Universalis 84, 16 (2023)

    2023

  28. [36]

    Reading, D

    N. Reading, D. E. Speyer, H. Thomas The fundamental theorem of finite semidistributive lattices, Selecta Math. (N.S.) 27 (2021), no. 4, Paper No. 59, 53 pp

    2021

  29. [37]

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

    2024 arXiv

  30. [38]

    C. M. Ringel, The minimal representation-infinite algebras which are special biserial, Representations of Algebras and Related Topics, EMS Series of Congress Reports, European Math. Soc. Publ. House, Zürich, (2011)

    2011

  31. [39]

    Simson, A

    D. Simson, A. Skowroński, Elements of the representation theory of associative algebras, Vol 3. Representation-infinite Tilted Algebras, London Math. Soc. Student Texts, No. 72

  32. [40]

    Thomas, An analogue of distributivity for ungraded lattices, Order 23 (2006), no

    H. Thomas, An analogue of distributivity for ungraded lattices, Order 23 (2006), no. 2, 249–269

    2006

  33. [41]

    Thomas, N

    H. Thomas, N. Williams, Rowmotion in slow motion, Proc. Lond. Math. Soc. 119 (2019), 1149–1178

    2019

  34. [42]

    Yurikusa, Wide subcategories are semistable, Doc

    T. Yurikusa, Wide subcategories are semistable, Doc. Math. 23 (2018), 35--47

    2018

Pith tools

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