Pith. sign in

REVIEW 1 major objections 2 minor 2 cited by

Bicompact torsion classes and conjectures on brick infinite algebras

T0 review · 1 major / 2 minor · reviewed 2026-05-10 · grok-4.3

Challenge this review Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Bicompact torsion classes are conjectured to coincide exactly with functorially finite torsion classes over finite-dimensional algebras.

desk verdict Asai defines bicompact torsion classes and proves they equal functorially finite ones for hereditary algebras and semistable classes, which yields Demonet implies Enomoto. read the letter →

arxiv 2604.04505 v1 submitted 2026-04-06 math.RT

Sota Asai This is my paper · ORCID
classification math.RT
keywords torsionclassesbicompactfunctoriallyfinitehereditaryalgebrasbrickinfiniteDemonetconjectureEnomoto
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

The paper defines a torsion class in mod A as bicompact when it is the smallest torsion class containing a single module M and the dual condition holds in the opposite category. It conjectures that these bicompact classes are precisely the functorially finite ones. The claim is established for hereditary algebras by using their homological properties and separately for semistable torsion classes. This yields the meta-result that the Demonet conjecture on brick infiniteness implies the Enomoto conjecture.

What carries the argument

Bicompact torsion class: a torsion class that is the smallest one containing some module M and satisfies the dual generation condition.

What would settle it

An explicit finite-dimensional algebra together with a torsion class that is bicompact but not functorially finite, or functorially finite but not bicompact.

Watch

Extended reading notes

Core claim

Bicompact torsion classes, those generated by a single module both directly and dually, are conjectured to be exactly the functorially finite torsion classes. The equality holds when A is hereditary or when the torsion class is semistable, which in turn shows that Demonet’s conjecture implies Enomoto’s conjecture on algebras with infinitely many bricks.

Load-bearing premise

The closure properties and Hom-vanishing conditions that make the proofs work for hereditary algebras and semistable torsion classes extend to arbitrary finite-dimensional algebras.

Editorial extensions

If this is right

  • For every hereditary algebra, bicompact torsion classes are functorially finite.
  • Semistable torsion classes that are bicompact are functorially finite.
  • Demonet’s conjecture on brick-infinite algebras implies Enomoto’s conjecture.
  • Compactness of a torsion class implies functorial finiteness in the settings where the equality is proven.

Reading between the lines

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

  • The conjecture, if true in full generality, would give a single-module test for functorial finiteness of torsion classes.
  • The link between the two brick-infinite conjectures may extend to other classes of algebras closed under derived equivalence.
  • Counterexamples, if they exist, are likely to appear first among non-hereditary algebras with complicated torsion lattices.
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, simulated authors' rebuttal, and a circularity audit.

Referee Report

1 major / 2 minor

Summary. The manuscript defines a torsion class T in mod A (A finite-dimensional over a field) to be compact if it is the smallest torsion class containing some module M, and bicompact if it is both compact and dually compact. It conjectures that bicompact torsion classes coincide exactly with functorially finite torsion classes, proves the equivalence when A is hereditary (using the absence of relations and direct-sum decompositions) and when T is semistable (using Hom-vanishing between stable and unstable summands), and deduces that this identification would imply the Demonet conjecture entails the Enomoto conjecture on brick-infinite algebras.

Significance. If the conjecture holds in generality, it would relate two central open questions on brick infiniteness by identifying compactness properties of torsion classes with the existence of left and right approximations. The verified cases supply rigorous, self-contained arguments that exploit standard closure properties of hereditary categories and Hom-vanishing for semistable classes; these constitute concrete progress and may guide attempts to remove the restrictions.

major comments (1)
  1. [section deriving the implication between Demonet and Enomoto conjectures] In the section deriving the implication between the Demonet and Enomoto conjectures, the claim that the bicompact-functorially-finite equivalence yields Demonet implies Enomoto is not fully justified for arbitrary finite-dimensional algebras, because the equivalence is established only for hereditary algebras and semistable torsion classes; the manuscript should clarify whether the two conjectures are understood to apply only in those restricted settings or whether an additional reduction argument covers the general case.
minor comments (2)
  1. [Abstract] The abstract would benefit from a one-sentence reminder of the statements of the Demonet and Enomoto conjectures to make the implication immediately intelligible to readers outside the immediate subfield.
  2. [Introduction] Notation for the smallest torsion class generated by a module (e.g., the symbol used for the closure operation) should be introduced explicitly at the first occurrence rather than relying on context.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and valuable comments on our manuscript. We address the major comment below and have revised the text for clarity.

read point-by-point responses

  1. Referee: [section deriving the implication between Demonet and Enomoto conjectures] In the section deriving the implication between the Demonet and Enomoto conjectures, the claim that the bicompact-functorially-finite equivalence yields Demonet implies Enomoto is not fully justified for arbitrary finite-dimensional algebras, because the equivalence is established only for hereditary algebras and semistable torsion classes; the manuscript should clarify whether the two conjectures are understood to apply only in those restricted settings or whether an additional reduction argument covers the general case.

    Authors: We thank the referee for this observation. The equivalence between bicompact and functorially finite torsion classes is conjectural in general and is proven only for hereditary algebras and semistable torsion classes. The section derives the logical implication Demonet implies Enomoto under the assumption that the bicompact-functorially finite identification holds for arbitrary finite-dimensional algebras. The Demonet and Enomoto conjectures are general statements about brick-infinite algebras; our argument shows that the general conjecture would entail the desired implication between them. The special-case proofs provide supporting evidence for the conjecture but are not used to cover the general derivation. We have revised the manuscript to state this distinction explicitly and to clarify that no reduction argument to the special cases is claimed for the implication itself. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: conjecture with direct proofs in restricted cases using standard torsion class properties

full rationale

The paper states a conjecture that bicompact torsion classes equal functorially finite torsion classes in mod A, proves the equivalence only for hereditary algebras (via single-module generation and absence of relations) and semistable torsion classes (via Hom-vanishing), and deduces a conditional implication between Demonet and Enomoto conjectures. All steps are direct verifications relying on closure under extensions, quotients, and Hom properties that are standard and external to the paper. No equations reduce by construction, no parameters are fitted then renamed as predictions, and no load-bearing self-citations or imported uniqueness theorems appear. The general case is left open, so the derivation chain does not collapse to its inputs.

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

The work rests on the standard definition of torsion classes in mod A and on the known properties of hereditary algebras and semistable torsion classes; no new free parameters or invented entities are introduced.

assumptions (2)
  • standard math A torsion class is closed under extensions and quotients.
    Standard definition invoked throughout the abstract.
  • domain assumption Hereditary algebras and semistable torsion classes satisfy additional Hom-vanishing and closure properties used in the proofs.
    These are the restricted settings in which the equality is proved.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Bicompact torsion classes and conjectures on brick infinite algebras." pith.science (2026). https://pith.science/paper/2604.04505

@misc{pith2026260404505,
  author       = {Pith},
  title        = {Pith review of: Bicompact torsion classes and conjectures on brick infinite algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2604.04505}},
  note         = {Machine review of arXiv:2604.04505}
}
abstract

A torsion class $\mathcal{T}$ of the module category $\operatorname{\mathsf{mod}} A$ of a finite dimensional algebra $A$ over a field $K$ is said to be compact if there exists a module $M \in \operatorname{\mathsf{mod}} A$ such that $\mathcal{T}$ is the smallest torsion class containing $M$. If a torsion class satisfies this and the dual condition, then we call it a bicompact torsion class. We conjecture that bicompact torsion classes are precisely functorially finite torsion classes, and prove it for hereditary algebras and also for semistable torsion classes. This gives that Demonet Conjecture implies Enomoto Conjecture, both of which are important conjectures on brick infiniteness.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Brick infinite algebras admit infinitely many non-$\tau$-rigid bricks

    math.RT 2026-06 unverdicted novelty 8.0 of 10

    Brick-infinite algebras admit infinitely many non-τ-rigid bricks.

  2. Wide subcategories and brick-finiteness for length categories

    math.RT 2026-07 conditional novelty 6.0 of 10

    A finite-rank abelian length category is brick-finite if and only if it is widely determined and widely co-determined.

Reference graph

Works this paper leans on

38 extracted references · 38 canonical work pages · cited by 2 Pith papers

  1. [1]

    Adachi, O

    T. Adachi, O. Iyama, I. Reiten, -tilting theory, Compos. Math., 150.3 (2014), 415--452

    work page 2014

  2. [2]

    Aihara, O

    T. Aihara, O. Iyama, Silting mutation in triangulated categories, J. Lond. Math. Soc. (2), 85.3 (2012), 633--668

    work page 2012

  3. [3]

    Angeleri H\" u gel, F

    L. Angeleri H\" u gel, F. Sentieri, Wide coreflective subcategories and torsion pairs, J. Algebra, 664 (2025), 164--205

    work page 2025

  4. [4]

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

    work page arXiv

  5. [5]

    Asai, Semibricks, Int

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

    work page 2020

  6. [6]

    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

    work page 2021

  7. [7]

    S. Asai, O. Iyama, Semistable torsion classes and canonical decompositions in Grothendieck groups, Proc. Lond. Math. Soc. (3), 129.5 (2024), e12639

    work page 2024

  8. [8]

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

    work page 2022

Show all 38 references
  1. [9]

    Barnard, A

    E. Barnard, A. Carroll, S. Zhu, Minimal inclusions of torsion classes, Algebr. Comb., 2.5 (2019), 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]

    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

  4. [12]

    A. B. Buan, E. J. Hanson, -pependicular wide subcategories, Nagoya Math. J., 252 (2023), 959--984

    2023

  5. [13]

    Crawley-Boevey, Noncommutative Algebra 3: Geometric methods for representations of algebras, Lecture notes in Bielefeld University, 2020

    W. Crawley-Boevey, Noncommutative Algebra 3: Geometric methods for representations of algebras, Lecture notes in Bielefeld University, 2020. Available at https://www.math.uni-bielefeld.de/ wcrawley/20noncommalg3/NA3-12.pdf

    2020

  6. [14]

    L. Demonet, Combinatorics of Mutations in Representation Theory, l'Habilitation \` a Diriger des Recherches, Laboratoire de Math\' e atiques Nicolas Oresme, Universit\' e de Caen, 2017, https://www.math.nagoya-u.ac.jp/ demonet/recherche/habilitation.pdf

    2017

  7. [15]

    Demonet, O

    L. Demonet, O. Iyama, G. Jasso, -Tilting Finite Algebras, Bricks, and g-Vectors, Int. Math. Res. Not., 2019.3 (2019), 852--892

    2019

  8. [16]

    Demonet, O

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

    2023

  9. [17]

    Derksen, J

    H. Derksen, J. Fei, General representations of algebras, Adv. Math., 278 (2015), 210--237

    2015

  10. [18]

    Derksen, J

    H. Derksen, J. Weyman, An Introduction to Quiver Representations, Graduate Studies in Mathematics, 184, American Mathematical Society, 2017

    2017

  11. [19]

    Enomoto, Monobrick, a uniform approach to torsion-free classes and wide subcategories, Adv

    H. Enomoto, Monobrick, a uniform approach to torsion-free classes and wide subcategories, Adv. Math., 393 (2021), 108113

    2021

  12. [20]

    Fei, Tropical F-polynomials and general presentations, J

    J. Fei, Tropical F-polynomials and general presentations, J. London Math. Soc. (2), 107.6 (2023), 2079--2120

    2023

  13. [21]

    E. J. Hanson, A Facial Order for Torsion Classes, Int. Math. Res. Not., 2024.12 (2024), 9849--9874

    2024

  14. [22]

    Haerizadeh, S

    M. Haerizadeh, S. Yassemi, The non-decreasing condition on g-vectors, J. Algebra, 665 (2025), 571--595

    2025

  15. [23]

    Ingalls, H

    C. Ingalls, H. Thomas, Noncrossing partitions and representations of quivers, Compos. Math., 145.6 (2009), 1533--1562

    2009

  16. [24]

    Jasso, Reduction of -Tilting Modules and Torsion Pairs, Int

    G. Jasso, Reduction of -Tilting Modules and Torsion Pairs, Int. Math. Res. Not., 2015.16 (2015), 7190--7237

    2015

  17. [25]

    Kaipel, H

    M. Kaipel, H. Treffinger, Wall-and-chamber structures for finite-dimensional algebras and -tilting theory, Representations of Algebras and Related Topics, Proceedings of the Workshop and the 20th International Conference on Representations of Algebras, 261--296

  18. [26]

    Keller, D

    B. Keller, D. Vossieck, Aisles in derived categories, Deuxi\` e me Contact Franco-Belge en Alg\` e bre (Faulx-les-Tombes, 1987), Bull. Soc. Math. Belg. S\' e r. A, 40.2 (1988), 239--253

    1987

  19. [27]

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

    1994

  20. [28]

    Marks, J

    F. Marks, J. S t ov\' i c ek, Torsion classes, wide subcategories and localisations, Bull. Lond. Math. Soc., 49.3 (2017), 405--416

    2017

  21. [29]

    Mousavand, C

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

    2026

  22. [30]

    Pfeifer, Remarks on -tilted versions of the second Brauer-Thrall Conjecture, Bull

    C. Pfeifer, Remarks on -tilted versions of the second Brauer-Thrall Conjecture, Bull. Lond. Math. Soc., 57.5 (2025), 1568--1583

    2025

  23. [31]

    Plamondon, Generic Bases for Cluster Algebras From the Cluster Category, Int

    P. Plamondon, Generic Bases for Cluster Algebras From the Cluster Category, Int. Math. Res. Not., 2013.10 (2013), 2368--2420

    2013

  24. [32]

    Plamondon, T

    P. Plamondon, T. Yurikusa, B. Keller, Tame Algebras Have Dense g -Vector Fans, Int. Math. Res. Not., 2023.4 (2023), 2701--2747

    2023

  25. [33]

    C. M. Ringel, Representations of K-species and bimodules, J. Algebra, 41.2 (1976), 269--302

    1976

  26. [34]

    C. M. Ringel, Brick chain filtrations, arXiv:2411.18427v3

  27. [35]

    Schroll, H

    S. Schroll, H. Treffinger, Y. Valdivieso, On band modules and -tilting finiteness, Math. Z., 299 (2021), 2405--2417

    2021

  28. [36]

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

    F. Sentieri, A brick version of a theorem of Auslander, Nagoya. Math., 249 (2023), 88--106

    2023

  29. [37]

    S. O. Smal , Torsion theories and tilting modules, Bull. London Math. Soc., 16.5 (1984), 518--522

    1984

  30. [38]

    Yurikusa, Wide subcategories are semistable, Doc

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

    2018

Pith tools

Reviewed May 10, 2026 · model on record in the stance chip above.