Pith. sign in

REVIEW 5 minor 37 references

The Jordan-H\"older property and Grothendieck monoids of exact categories

T0 review · 0 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read For any exact category, the Jordan-Hölder property holds exactly when the Grothendieck monoid is free; in type A quivers this becomes a count of supports versus Bruhat inversions.

desk verdict A solid, carefully proved characterization of the Jordan–Hölder property via freeness of the Grothendieck monoid, with a genuine new combinatorial application to type A torsion-free classes; minor delegated verifications do not undercut the main results. read the letter →

arxiv 1908.05446 v3 pith:YSA5EN6B submitted 2019-08-15 math.RT math.COmath.CT

Haruhisa Enomoto This is my paper · ORCID
classification math.RTmath.COmath.CT MSC 18E1016G1016G20
keywords exactcategoryJordan-HölderpropertyGrothendieckmonoidtorsion-freeclassesc-sortableelementsBruhatinversionsNakayamaalgebrasquiveroftypeA
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's central claim is that the Jordan-Hölder property for exact categories—the assertion that any two composition series of an object have the same simple factors with the same multiplicities—is equivalent to a purely monoid-theoretic statement: the Grothendieck monoid of the category is free. Since non-isomorphic simple objects survive as distinct atoms in this monoid, freeness exactly records that simple factors are uniquely determined. When the Grothendieck group is finitely generated, the criterion becomes a count: Jordan-Hölder holds precisely when the Grothendieck group is free and its rank equals the number of simple objects. For functorially finite torsion-free and torsion classes of artin algebras, this reduces the property to comparing the number of simples with the number of indecomposable projectives, and for Nakayama algebras every such class satisfies it. In type A quivers the simples of a torsion-free class are shown to be in bijection with Bruhat inversions of the corresponding c-sortable permutation, giving a purely combinatorial test for Jordan-Hölder.

What carries the argument

The load-bearing object is the Grothendieck monoid $M(\mathcal{E})$, built from isomorphism classes with direct sum as addition and relations forced by conflations. Its key feature is that non-isomorphic simple objects remain distinct atoms, so a free monoid structure on $M(\mathcal{E})$ is exactly the statement that composition factors are unique. A second machine is the combinatorial dictionary for type A quivers: torsion-free classes are indexed by c-sortable permutations, indecomposables are interval modules $M[i,j)$ indexed by inversions, and the paper shows that the simple objects among them are precisely the Bruhat inversions, that is, inversions that give covering relations in the Bruhat order. The support size of $w$ then counts the indecomposable projectives, turning Jordan-Hölder into the equality of two easily computed permutation statistics.

What would settle it

Try to construct an extension-closed subcategory of modules over an artin algebra, equivalent to an Ext-perpendicular category of a module of finite injective dimension, whose number of simple objects equals its number of indecomposable projectives but which has two non-isomorphic composition series of one object; the paper's Theorem 5.10 says this cannot exist. A lighter check is to take any c-sortable element of a type A quiver with equal support and Bruhat-inversion counts and compute the Grothendieck monoid of the corresponding torsion-free class—it must be free.

Watch

Extended reading notes

Core claim

On the paper's own terms, the discovery is a characterization theorem. For any skeletally small exact category $\mathcal{E}$, the following are equivalent: $\mathcal{E}$ is a length exact category satisfying the Jordan-Hölder property; the Grothendieck monoid $M(\mathcal{E})$ is a free monoid with basis the classes of simple objects; and $\mathcal{E}$ is length exact with $K_0(\mathcal{E})$ free abelian on the classes of simple objects. When $K_0(\mathcal{E})$ is finitely generated, Jordan-Hölder holds exactly when $K_0(\mathcal{E})$ is free of rank equal to the number of simple objects. Applied to extension-closed subcategories of module categories over artin algebras, notably functorially finite torsion-free classes, this says that Jordan-Hölder is decided by comparing the number of indecomposable projectives with the number of simples. For a type A quiver with Coxeter element $c$, the torsion-free class $F(w)$ attached to a c-sortable element $w$ has simple objects in bijection with the Bruhat inversions of $w$, so $F(w)$ satisfies Jordan-Hölder exactly when $\#\operatorname{supp}(w)=\#\operatorname{Binv}(w)$.

Load-bearing premise

The combinatorial criterion for type A rests on the external classification that torsion-free classes of a type A quiver are exactly the subcategories $F(w)$ attached to c-sortable permutations, together with the equality that counts indecomposable projectives by the support size of $w$; any hidden exception or off-by-one error in that classification would break the Bruhat-inversion test, though the general monoid-freeness theorem would survive.

Editorial extensions

If this is right

  • In any skeletally small exact category, Jordan-Hölder, freeness of the Grothendieck monoid, and the basis condition on $K_0$ are equivalent, so JHP can be checked by group or monoid calculations instead of constructing composition series.
  • For extension-closed subcategories of module categories over artin algebras that are Ext-perpendicular to a finite-injective-dimension module, JHP holds exactly when the number of simples equals the number of indecomposable projectives; this covers functorially finite torsion-free and torsion classes.
  • Every torsion-free class and every torsion class over a Nakayama algebra satisfies Jordan-Hölder.
  • For a type A quiver, the torsion-free class $F(w)$ satisfies Jordan-Hölder exactly when $\#\operatorname{supp}(w)=\#\operatorname{Binv}(w)$, a condition readable directly from the one-line notation of the c-sortable element $w$.
  • In any category satisfying JHP, the Grothendieck monoid is free with basis the simple classes, so the Grothendieck group is free with the same basis; conversely, non-cancellative or non-freely generated Grothendieck monoids obstruct JHP.

Reading between the lines

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

  • This suggests a general heuristic: when the Grothendieck group is free of finite rank, Jordan-Hölder failures are driven by relations among simple classes that disappear after group completion, so one can search for failures by looking for non-cancellative Grothendieck monoids.
  • The type-A dictionary points to a testable algorithm for other Dynkin types: translate simples in a torsion-free class into the appropriate Weyl-group inversion statistic and compare it with the support count; the paper's criterion would then become a uniform Weyl-group identity.
  • The half-factoriality result for the unique length property suggests a finer classification of exact categories by factorization properties of their Grothendieck monoids—free, half-factorial, or merely atomic—each corresponding to a different degree of uniqueness of composition series.
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

0 major / 5 minor

Summary. This paper studies the Jordan-Hölder property (JHP) for exact categories. The main result (Theorem 4.12) establishes an equivalence among: (1) E is a length exact category satisfying (JHP); (2) the Grothendieck monoid M(E) is a free monoid; (3) K0(E) is free and the images of the non-isomorphic simples form a basis; and (4) the corresponding linear independence condition. The proof goes through Proposition 3.6 (simples are exactly the atoms of M(E)), Theorem 4.4 (length exactness is equivalent to the existence of a weakly length-like function), and the monoid-theoretic criterion Theorem A.20. A finite-rank counting version (Theorem 4.13) drives the applications: for extension-closed subcategories satisfying Assumption 5.6, JHP is equivalent to #sim = #indP (Theorem 5.10); Nakayama torsion-free and torsion classes satisfy JHP (Corollary 5.19). The paper then treats torsion-free classes of type A quivers: Theorem 6.15 identifies simples in F(w) with Bruhat inversions of the c-sortable element w, giving the combinatorial criterion #supp(w) = #Binv(w) for JHP (Corollary 6.16). Sections 7 and 8 contain explicit computations of Grothendieck monoids and counterexamples, including non-cancellative examples.

Significance. If the main theorem holds, and the proof appears sound, it reduces the Jordan-Hölder property to monoid-theoretic freeness and gives a very usable criterion in finite-rank cases: compare the number of simples with the rank of the Grothendieck group. This is a clean structural result with a genuinely useful application. The type A application is concrete and falsifiable, and the external dependence on the Ingalls-Thomas classification is clearly cited rather than hidden. Strengths include the detailed proof of the monoid criterion, the self-contained appendix on monoids, and the explicit counterexamples showing that freeness of K0 alone is not sufficient for JHP. The Bruhat-inversion result is novel and likely to be of independent interest.

minor comments (5)
  1. [§4.3, proof of Theorem 4.12] The proof bullet says that E has a length-like function if and only if M(E) has a length-like function, but this conflates length-like and weakly length-like functions: length exactness gives a weakly length-like function (Theorem 4.4), while freeness of M(E) supplies an additive length-like function on the monoid. The proof does not need the stated equivalence as written, but the wording should be corrected to avoid confusion.
  2. [Lemma 5.7(2)] The construction of the inverse map K0(mod Λ) → K0(E) is summarized, but the verification that it respects short exact sequences is delegated to the reader. Since Proposition 5.8 and hence Theorem 5.10 depend on this isomorphism, please include the Horseshoe lemma and Schanuel lemma details or give a precise reference where the verification is written out.
  3. [§8.3.2] The assertion that all four indecomposable objects in the example are simple objects in E is supported only by the phrase 'by checking subobjects.' Since this is the key point of the non-cancellativity example, please either display the subobject check or state it as a separate verification with enough detail for the reader to reproduce it.
  4. [Theorem 6.13(3)] The equality #supp(F(w)) = #indI(F(w)) is quoted from support τ-tilting theory, and Corollary 6.16 hinges on this equality together with #supp(w) = #supp(F(w)). A precise statement of the quoted supporting result, for example [AIR, Theorem 2.7], would make the external dependency easier for the reader to check.
  5. [Lemma 6.17(2)] In the proof of Lemma 6.17(2), the assertion that the two orientation conditions follow from the closedness of M[l,l') in M[i,j) is stated without further explanation. A one-line justification of these two conditions would improve the readability of the proof of Theorem 6.15.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Theorem 4.12 is proved from the defining properties of Grothendieck monoids and composition series; the type A application depends only on external classifications, not on self-citations.

full rationale

The central derivation is self-contained. Theorem 4.12 is obtained by combining Theorem 4.9, which constructs explicit inverse monoid maps between M(E) and the free monoid on atoms, with Proposition 3.6 (atoms are exactly simples, proved in the paper), Proposition 4.8 (length exactness makes M(E) atomic), and the monoid criteria in Appendix A. No step uses the target result as an input: the direction (JHP) => freeness builds the inverse map using composition series and checks directly that it respects conflations; the converse uses freeness to recover unique factor multisets and then Proposition 3.6 to lift equality of atoms to isomorphisms of simple quotients. The Grothendieck-group criterion in Theorem 4.12(3)-(4) is a formal consequence of the monoid characterization, not a renaming. The type A application quotes Ingalls-Thomas and Thomas ([IT], [Tho], [AIRT]) for the classification of torsion-free classes and the equality #supp(w)=#indP(F(w)); these are external results stated with attribution, and the new Bruhat-inversion bijection is proved from Lemma 6.17 using explicit exact sequences. The author's self-citations ([Eno1], [Eno2], [Eno3]) are used only as alternative proofs or as remarks about generalizations, never as the load-bearing justification of the main equivalence. In particular, the footnote appeal to [Eno2, Corollary 3.15] in Theorem 5.18 is explicitly an alternative to the already-established progenerator statement, and the use of [Eno1] in the counter-example section is not needed for the claims in Theorems 4.12, 4.13, or 6.15. No equation or fitted parameter is repackaged as a prediction, and no uniqueness theorem is imported from the author's own prior work. The honest finding is that the derivation chain is not circular.

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

This is a pure mathematics paper; no parameters are fitted to data. The central derivation is built from definitions, standard monoid theory, and quoted classification results. The new combinatorial notion of Bruhat inversions is a definition within existing mathematics, supported internally by Theorems 6.15 and 6.16, and does not posit an independent entity requiring external falsification.

assumptions (6)
  • standard math Quillen's exact category axioms and standard exact-category lemmas (pullbacks, pushouts, inflation/deflation closure) as in [Bühler].
    The framework of exact categories, admissible subobjects, and conflation sequences is built on these axioms; used throughout the paper.
  • standard math Jordan-Hölder theorem for modular lattices (Theorem 2.18, cited from [Stenström]).
    Used in Corollary 2.19 and 2.24 to deduce the unique length property for integral quasi-abelian categories.
  • domain assumption Ingalls-Thomas classification of torsion-free classes of type A quivers by c-sortable elements, quoted as Theorem 6.13 from [Tho, Theorem 4.2].
    The bridge between permutations and torsion-free classes; without it, Corollary 6.16 would not be a statement about all torsion-free classes.
  • domain assumption Support tau-tilting counting: #supp(w) = #indP(F(w)) = #indI(F(w)) from [IT, AIR], used as Theorem 6.13(3).
    Used to translate the number of indecomposable projectives into the number of supports in the final JHP criterion for type A.
  • domain assumption Every functorially finite torsion-free (or torsion) class of mod Λ is of the form ⊥U for a (co)tilting module U, as cited from [Iya, ASS] in Example 5.13.
    Needed for Theorem 5.10 to apply to torsion-free and torsion classes of artin algebras.
  • standard math Quillen's Resolution Theorem, invoked in Lemma 5.7(2) to show K0(E) is isomorphic to K0(mod Λ).
    A standard K-theory result used for the rank-counting criterion in Proposition 5.8.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The Jordan-H\"older property and Grothendieck monoids of exact categories." pith.science (2026). https://pith.science/paper/YSA5EN6B

@misc{pith2026190805446,
  author       = {Pith},
  title        = {Pith review of: The Jordan-H\"older property and Grothendieck monoids of exact categories},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YSA5EN6B}},
  note         = {Machine review of arXiv:1908.05446}
}
abstract

We investigate the Jordan-H\"older property (JHP) in exact categories. First, we show that (JHP) holds in an exact category if and only if the Grothendieck monoid introduced by Berenstein and Greenstein is free. Moreover, we give a criterion for this which only uses the Grothendieck group and the number of simple objects. Next, we apply these results to the representation theory of artin algebras. For a large class of exact categories including functorially finite torsion(-free) classes, (JHP) holds precisely when the number of indecomposable projectives is equal to that of simples. We study torsion-free classes in a quiver of type A in detail using the combinatorics of symmetric groups. We introduce Bruhat inversions of permutations and show that simples in a torsion-free class are in bijection with Bruhat inversions of the corresponding $c$-sortable element. We use this to give a combinatorial criterion for (JHP).

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

37 extracted references · 34 canonical work pages

  1. [1]

    Adachi, O

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

    2014

  2. [2]

    Amiot, O

    C. Amiot, O. Iyama, I. Reiten, G. Todorov, Preprojective algebras and c-sortable words, Proc. Lond. Math. Soc. (3) 104 (2012), no. 3, 513--539

    work page 2012

  3. [3]

    Assem, D

    I. Assem, D. Simson, A. Skowro\'nski, Elements of the representation theory of associative algebras Vol. 1, London Mathematical Society Student Texts, 65, Cambridge University Press, Cambridge, 2006

    work page 2006

  4. [4]

    Auslander, I

    M. Auslander, I. Reiten, Applications of contravariantly finite subcategories, Adv. Math. 86 (1991), no. 1, 111--152

    work page 1991

  5. [5]

    Auslander, I

    M. Auslander, I. Reiten, S.O. Smal , Representation theory of Artin algebras, Cambridge Studies in Advanced Mathematics, 36. Cambridge University Press, Cambridge, 1995

    1995

  6. [6]

    Baeth, A

    N.R. Baeth, A. Geroldinger, Monoids of modules and arithmetic of direct-sum decompositions, Pacific J. Math. 271 (2014), no. 2, 257--319

    work page 2014

  7. [7]

    Berenstein, J

    A. Berenstein, J. Greenstein, Primitively generated Hall algebras, Pacific J. Math. 281 (2016), no. 2, 287--331

    work page 2016

  8. [8]

    Bj\"orner, F

    A. Bj\"orner, F. Brenti, Combinatorics of Coxeter groups, Graduate Texts in Mathematics, 231. Springer, New York, 2005

    work page 2005

Show all 37 references
  1. [9]

    Brookfield, Direct sum cancellation of Noetherian modules, J

    G. Brookfield, Direct sum cancellation of Noetherian modules, J. Algebra 200 (1998), no. 1, 207--224

    1998

  2. [10]

    Brookfield, The Grothendieck group and the extensional structure of Noetherian module categories, Algebra and its applications (Athens, OH, 1999), 111--131, Contemp

    G. Brookfield, The Grothendieck group and the extensional structure of Noetherian module categories, Algebra and its applications (Athens, OH, 1999), 111--131, Contemp. Math., 259, Amer. Math. Soc., Providence, RI, 2000

    1999

  3. [11]

    Brookfield, The extensional structure of commutative Noetherian rings, Comm

    G. Brookfield, The extensional structure of commutative Noetherian rings, Comm. Algebra 31 (2003), no. 6, 2543--2571

    2003

  4. [12]

    Bruns, J

    W. Bruns, J. Gubeladze, Polytopes, rings, and K-theory, Springer Monographs in Mathematics. Springer, Dordrecht, 2009

    2009

  5. [13]

    Pure Appl

    T.Br\"ustle, S.Hassoun, D.Langford, S.Roy, Reduction of exact structures, to appear in J. Pure Appl. Algebra

  6. [14]

    B\"uhler, Exact categories, Expo

    T. B\"uhler, Exact categories, Expo. Math. 28 (2010), no. 1, 1--69

    2010

  7. [15]

    Enomoto, Classifying exact categories via Wakamatsu tilting, J

    H. Enomoto, Classifying exact categories via Wakamatsu tilting, J. Algebra 485 (2017), 1--44

    2017

  8. [16]

    Enomoto, Classifications of exact structures and Cohen-Macaulay-finite algebras, Adv

    H. Enomoto, Classifications of exact structures and Cohen-Macaulay-finite algebras, Adv. Math. 335 (2018), 838--877

    2018

  9. [17]

    Enomoto, Bruhat inversions in Weyl groups and torsion-free classes over preprojective algebras, in preparation

    H. Enomoto, Bruhat inversions in Weyl groups and torsion-free classes over preprojective algebras, in preparation

  10. [18]

    Facchini, Direct sum decompositions of modules, semilocal endomorphism rings, and Krull monoids, J

    A. Facchini, Direct sum decompositions of modules, semilocal endomorphism rings, and Krull monoids, J. Algebra 256 (2002), no. 1, 280--307

    2002

  11. [19]

    Facchini, Krull monoids and their application in module theory, Algebras, rings and their representations, 53--71, World Sci

    A. Facchini, Krull monoids and their application in module theory, Algebras, rings and their representations, 53--71, World Sci. Publ., Hackensack, NJ, 2006

    2006

  12. [20]

    Geroldinger, F

    A. Geroldinger, F. Halter-Koch, Non-unique factorizations: Algebraic, combinatorial and analytic theory, Pure and Applied Mathematics (Boca Raton), 278. Chapman & Hall/CRC, Boca Raton, FL, 2006

    2006

  13. [21]

    P. A. Grillet, Semigroups: An introduction to the structure theory, Monographs and Textbooks in Pure and Applied Mathematics, 193. Marcel Dekker, Inc., New York, 1995

    1995

  14. [22]

    P. A. Grillet, Commutative semigroups, Advances in Mathematics (Dordrecht), 2. Kluwer Academic Publishers, Dordrecht, 2001

    2001

  15. [23]

    Happel, Triangulated categories in the representation theory of finite-dimensional algebras, London Mathematical Society Lecture Note Series, 119

    D. Happel, Triangulated categories in the representation theory of finite-dimensional algebras, London Mathematical Society Lecture Note Series, 119. Cambridge University Press, Cambridge, 1988

    1988

  16. [24]

    Hassoun, S

    S. Hassoun, S. Roy, Notes on Jordan-H\"older property for exact categories, arXiv:1906.03246

    1906 arXiv

  17. [25]

    Ingalls, H

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

    2009

  18. [26]

    Iyama, The relationship between homological properties and representation theoretic realization of Artin algebras, Trans

    O. Iyama, The relationship between homological properties and representation theoretic realization of Artin algebras, Trans. Amer. Math. Soc. 357 (2005), no. 2, 709--734

    2005

  19. [27]

    Marks, J

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

    2017

  20. [28]

    Platzeck, I

    M.I. Platzeck, I. Reiten, Modules of finite projective dimension for standardly stratified algebras, Comm. Algebra 29 (2001), no. 3, 973--986

    2001

  21. [29]

    Thomas, Coxeter groups and quiver representations, In Surveys in representation theory of algebras, volume 716 of Contemp

    H. Thomas, Coxeter groups and quiver representations, In Surveys in representation theory of algebras, volume 716 of Contemp. Math., pages 173--186. Amer. Math. Soc., Providence, RI, 2018

    2018

  22. [30]

    Quillen, Higher algebraic K-theory: I, Lecture Notes in Math., Vol

    D. Quillen, Higher algebraic K-theory: I, Lecture Notes in Math., Vol. 341, Springer, Berlin 1973

    1973

  23. [31]

    Ra kov, Semiabelian categories, Dokl

    D.A. Ra kov, Semiabelian categories, Dokl. Akad. Nauk SSSR 188 1969 1006--1009

    1969

  24. [32]

    Reading, Clusters, Coxeter-sortable elements and noncrossing partitions, Trans

    N. Reading, Clusters, Coxeter-sortable elements and noncrossing partitions, Trans. Amer. Math. Soc. 359 (2007), no. 12, 5931--5958

    2007

  25. [33]

    Rump, -modules, tilting, and almost abelian categories, Comm

    W. Rump, -modules, tilting, and almost abelian categories, Comm. Algebra 29 (2001), no. 8, 3293--3325

    2001

  26. [34]

    Rump, Almost abelian categories, Cahiers Topologie G\'eom

    W. Rump, Almost abelian categories, Cahiers Topologie G\'eom. Diff\'erentielle Cat\'eg. 42 (2001), no. 3, 163--225

    2001

  27. [35]

    Rump, A counterexample to Raikov's conjecture, Bull

    W. Rump, A counterexample to Raikov's conjecture, Bull. Lond. Math. Soc. 40 (2008), no. 6, 985--994

    2008

  28. [36]

    Stenstr\"om, Rings of quotients: An introduction to methods of ring theory, Springer-Verlag, NewYork-Heidelberg, 1975

    B. Stenstr\"om, Rings of quotients: An introduction to methods of ring theory, Springer-Verlag, NewYork-Heidelberg, 1975

    1975

  29. [37]

    Yoshino, Cohen-Macaulay modules over Cohen-Macaulay rings, London Mathematical Society Lecture Note Series 146, Cambridge University Press, Cambridge, 1990

    Y. Yoshino, Cohen-Macaulay modules over Cohen-Macaulay rings, London Mathematical Society Lecture Note Series 146, Cambridge University Press, Cambridge, 1990

    1990

Pith tools

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