Pith. sign in

REVIEW 3 major objections 5 minor 1 cited by

The QuiverTools package for SageMath and Julia

T0 review · 3 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read This paper presents QuiverTools, a SageMath and Julia package that computes the main numerical invariants of quiver moduli spaces from the quiver's Euler form.

desk verdict Useful software paper with sound math, but the only displayed Chow ring computation is internally inconsistent; fix before publication. read the letter →

arxiv 2506.19432 v1 pith:CSKHXAHK submitted 2025-06-24 math.AG math.RT

Pieter Belmans , Hans Franzen , Gianni Petrella This is my paper · ORCID
classification math.AGmath.RT MSC 16G2014D2014C15
keywords quiverrepresentationsmodulispacescanonicaldecompositionHarder-NarasimhantypesTelemanquantizationChowringsEulerformSageMath
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

QuiverTools is a software package, released in both a SageMath and a Julia version, that claims to compute the main numerical and geometric invariants of quiver moduli spaces from a single input: a quiver and a dimension vector. The paper argues that the recursive Schofield criterion, expressed through the quiver's Euler form, is enough to drive general subdimension vectors, canonical decompositions into indecomposable summands, stability checks, Harder-Narasimhan types, Teleman quantization weights, and intersection-theoretic data. It walks through all of these on the 4-Kronecker quiver with dimension vector $(2,3)$, reporting explicit outputs. If the implementation is correct, the package makes a body of moduli-space calculations routine that previously required case-by-case symbolic work.

What carries the argument

The central object is the Euler form $\langle \mathbf{d}, \mathbf{e}\rangle = \sum_{i} d_i e_i - \sum_{\alpha} d_{s(\alpha)} e_{t(\alpha)}$, whose symmetrisation gives the Kac form. The main algorithmic engine is Schofield's criterion: a subdimension vector $\mathbf{e}$ of $\mathbf{d}$ is general exactly when $\operatorname{ext}(\mathbf{e}, \mathbf{d}-\mathbf{e}) = 0$, with $\operatorname{ext}$ itself computed through the Euler form and general subdimension data. That criterion feeds every other feature: the canonical decomposition via Kac's theorem, stability checks through inequalities on general subdimension vectors, Harder-Narasimhan type enumeration, the Teleman weight inequalities, and the Chow ring presentation.

What would settle it

For a small case such as the 4-Kronecker quiver with $\mathbf{d}=(2,3)$, an independent computation of the general extension group, say $\operatorname{ext}((1,2),(1,1))$, could be checked against the package's reported list of general subdimension vectors; a single mismatch with a value computed by direct linear algebra would show the software is not reliable as claimed.

Watch

Extended reading notes

Core claim

The paper presents QuiverTools as a unified computational implementation of known theoretical characterisations of quiver moduli invariants. The load-bearing inputs are Schofield's recursive criterion for general subdimension vectors, Kac's theorem on the canonical decomposition, the Harder-Narasimhan stratification of the unstable locus, and Euler-form formulas for Teleman weights derived in the authors' earlier work. The paper asserts that, on the running example of the 4-Kronecker quiver with dimension vector $(2,3)$ and stability parameter $(3,-2)$, the package correctly computes the general subdimension vectors, the canonical decomposition, the existence of stable representations, all eight Harder-Narasimhan types, the Teleman bounds for each stratum, the Betti numbers, and several Chow ring quantities such as the Hilbert series and the degree of the anticanonical bundle.

Load-bearing premise

The claim that QuiverTools reliably computes these invariants assumes the implementation contains no bugs, especially in the recursive Schofield criterion and the Teleman weight formulas that the paper does not independently verify.

Editorial extensions

If this is right

  • A user can reproduce the paper's running example and obtain the same invariants for the 4-Kronecker quiver, including the twelve displayed Betti numbers and the degree of the anticanonical bundle.
  • For any quiver and stability parameter, the stability check decides whether stable or semistable representations exist, with the canonical stability parameter available as a default.
  • The Harder-Narasimhan type enumeration yields the complete Hesselink stratification, from which Betti numbers of the moduli space follow via the Harder-Narasimhan method.
  • Teleman weights let users verify the inequality $\max \mathcal{W}(F, \mathbf{d}^*) < \eta_{\mathbf{d}^*}$ needed for cohomology vanishing, covering universal bundles, endomorphism bundles, and canonical bundles.
  • Chow ring computations give Euler characteristics and degrees of line bundles, and combined with the vanishing results they determine numbers of global sections.

Reading between the lines

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

  • Editorial: A natural next step the paper does not state is to use QuiverTools to survey many quivers and dimension vectors, searching for new instances where the Teleman inequality holds and cohomology vanishes.
  • Editorial: One could extend the package's reliability story by generating random small quivers and comparing general subdimension vectors against brute-force sampling of representations, which would act as a de facto test suite.
  • Editorial: The recursive Schofield criterion is stated without complexity analysis; for larger quivers the recursion may dominate runtime, so caching or memoisation strategies would be a sensible extension.
  • Editorial: The displayed examples suggest the software could also support teaching and exploration of the theory, letting students test conjectures about quiver moduli numerically before attempting proofs.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 5 minor

Summary. The paper introduces QuiverTools, a software package available for both SageMath and Julia, aimed at computations in quiver representation theory and geometry of quiver moduli spaces. After recalling the Euler form, Kac's root-system theorem, and Schofield's theory of general subdimension vectors, the paper describes implemented algorithms for canonical decompositions, existence of (semi)stable representations, Harder-Narasimhan type enumeration, Betti numbers, Teleman quantization weights, universal-bundle weights, and intersection-theoretic invariants such as Chow ring presentations, Hilbert series, and anticanonical degrees. The running example is the 4-Kronecker quiver with dimension vector (2,3), for which a sequence of SageMath sessions is displayed. The manuscript is primarily a software announcement with mathematical background, not a proof-oriented research article.

Significance. If the package is correct, it would be a valuable and fairly broad computational resource: it implements recursive Schofield criteria, canonical decompositions, Harder-Narasimhan stratifications, Teleman weights from the authors' earlier papers [1,23], and Chow ring computations based on [3,7]. Strengths include the dual SageMath and Julia implementations, the versioned DOI and public repository, and the use of published theorems as the algorithmic basis. However, the paper contains no test suite, no independent cross-validation against other software, and one displayed output that is internally inconsistent with the theory it claims to implement. Because the paper's central claim is the reliability of the software, that claim is not yet independently established.

major comments (3)
  1. [Section 3, Theorem 3.7] Theorem 3.7 as stated is not correct. It asserts a unique collection of dimension vectors {d_i} summing to d with ext(d_i,d_j)=0 for all i≠j, but the displayed example Q2 = ThreeVertexQuiver(1,1,1), d=(1,2,1), gives is_root((1,2,1))=True, is_schur_root((1,2,1))=False, and canonical_decomposition((1,2,1))=((0,1,0),(1,1,1)). The singleton collection {d} satisfies the pairwise condition vacuously, so uniqueness already fails unless one additionally requires that each d_i is a Schur root (equivalently ext(d_i,d_i)=0). The paragraph after the theorem states that the d_i are Schur roots, but that condition must be part of the theorem's hypothesis or conclusion for the stated characterization to be valid.
  2. [Section 7, CH.gens() output] The displayed Chow ring generator tuple is internally inconsistent. For d=(2,3), the universal family has summands U0 and U1 of ranks 2 and 3, so the tautological presentation should have five distinct generators corresponding to c1(U0), c2(U0), c1(U1), c2(U1), c3(U1). The printed output (x1_1bar, x0_2bar, x1_1bar, x1_2bar, x1_3bar) contains x1_1bar twice and no x0_1bar for c1(U0). If this is actual software output, the Chow ring presentation is wrong and the subsequent Hilbert series and anticanonical degree computations are built on an incorrect ring. If it is a transcription error, the paper's flagship example has not been proofread. In either case, the output must be corrected and independently verified before the intersection-theory claims can be accepted.
  3. [General verification] The paper provides no test suite, formal verification, or comparison against independent software, despite relying on nontrivial recursive algorithms in Sections 3, 5, and 6. In light of the Section 7 discrepancy, the displayed outputs cannot by themselves certify the package. Please add regression tests for at least the canonical decomposition and Schofield criterion (Section 3), Harder-Narasimhan enumeration and Betti numbers (Section 5), Teleman weights (Section 6), and the Chow ring presentation (Section 7), ideally checked against the published formulas in [1,3,7,29]. The manuscript should also state whether the displayed outputs are machine-generated by the released version v1.1 or hand-transcribed.
minor comments (5)
  1. [Section 4] There is a typo: 'rescallings' should be 'rescalings'.
  2. [Section 6] The sentence 'We illustrate this using in QuiverTools using our running example' contains a duplicated 'using'; it should be 'We illustrate this using QuiverTools on our running example'.
  3. [Section 5] The parameter proper=True in all_harder_narasimhan_types is used but never explained; state what it selects.
  4. [Section 7] The object H = M.chern_character_line_bundle(theta) is not clearly defined: it is called a 'chern character line bundle' but is then exponentiated and integrated as though it were a divisor class. Specify whether H is the Chern character, the first Chern class, or the line bundle itself.
  5. [Equation (4)] The notation Matt(α),s(α) in the definition of R(Q,d) is undefined and should be written as Mat_{t(alpha),s(alpha)} with an explanation that this is the space of matrices with rows indexed by the target and columns by the source.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: QuiverTools implements external theorems (Schofield, Kac, Reineke, King) and the authors' own published formulas, whose independent proofs are not re-derived from the package's outputs.

full rationale

The paper does not claim to derive new mathematical predictions from fitted inputs. Its core algorithms implement Schofield's recursive characterization of general subdimension vectors (Theorem 3.3), Schofield's general-ext formula (Theorem 3.5), Kac's canonical-decomposition theorem (Theorem 3.7), King's stability criterion via general subdimension vectors, and Reineke's Harder–Narasimhan Betti-number method. These are independent, external results. The Teleman-weight computations in Section 6 are imported from the authors' prior work [1, Corollary 3.18] and [1, Lemma 3.19/Proposition 3.20], and the Chow-ring presentation in Section 7 is imported from [3,7]; while these are self-citations, they are published (or preprint) mathematical theorems with independent derivations, and the software merely evaluates them. The displayed duplicate generator 'x1_1bar' and absent 'x0_1bar' in the Section 7 output are a possible software bug or transcription error, which is a correctness concern, not a circularity concern. No fitted parameter is renamed as a prediction, and no uniqueness claim is imported from the authors' own work to exclude alternatives. Therefore the derivation chain is self-contained as an implementation paper, and the self-citations do not reduce the central claims to their own inputs. The score of 1 reflects the presence of self-citations but no circular reduction.

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

No new mathematical objects are introduced. The implementation rests on standard theorems, with some formulas drawn from the authors' own earlier papers, which are independently published.

assumptions (6)
  • standard math Kac's theorem: a dimension vector is a root iff it supports an indecomposable representation; canonical decomposition is unique.
    Used in Sections 2 and 3 for root and canonical decomposition computations.
  • standard math Schofield's recursive criterion for general subdimension vectors and formulas for general ext (Theorems 3.3 and 3.5).
    Basis for all general subdimension vector and canonical decomposition algorithms.
  • standard math Existence and uniqueness of Harder-Narasimhan filtrations for quiver representations under slope stability (Proposition 5.2).
    Enables enumeration of Harder-Narasimhan types in Section 5.
  • standard math Teleman quantization theorem and weight formulas for quiver moduli from [1] (Theorem 6.1).
    Used in Section 6; several formulas are from the authors' own prior work.
  • standard math Chow ring presentation, Todd class and point class formulas from [3,7].
    Used in Section 7 for intersection computations.
  • domain assumption The field is algebraically closed of characteristic 0.
    Stated in Section 2 and used throughout.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The QuiverTools package for SageMath and Julia." pith.science (2026). https://pith.science/paper/CSKHXAHK

@misc{pith2026250619432,
  author       = {Pith},
  title        = {Pith review of: The QuiverTools package for SageMath and Julia},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CSKHXAHK}},
  note         = {Machine review of arXiv:2506.19432}
}
read the original abstract

We introduce QuiverTools, a new software package, available in both a SageMath and Julia version, to study quivers and their moduli spaces of representations. Its key features are the computation of general subdimension vectors, leading to canonical decompositions, and checking the existence of (semi)stable representations, as well as the enumeration of Harder-Narasimhan types and related calculations for Teleman quantization. Computations related to intersection theory on quiver moduli are also implemented.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

  1. Finding the walls for quiver moduli

    math.AG 2025-06 conditional novelty 7.0 of 10

    The walls in the semistable cone of a quiver moduli problem equal the union, over all sub-dimension vectors e, of the intersections sst(e) ∩ sst(d-e).

Reference graph

Works this paper leans on

32 extracted references · 24 canonical work pages · cited by 1 Pith paper

  1. [1]

    Rigidity and Schofield's partial tilting conjecture for quiver moduli

    Pieter Belmans, Ana-Maria Brecan, Hans Franzen, Gianni Petrella, and Markus Reineke. Rigidity and Schofield’s partial tilting conjecture for quiver moduli. 2023. arXiv:2311.17003v2 [math.AG]

    work page Pith review arXiv 2023

  2. [2]

    Vector fields and admissible embeddings for quiver moduli

    Pieter Belmans, Ana-Maria Brecan, Hans Franzen, and Markus Reineke. “Vector fields and admissible embeddings for quiver moduli”. In: Moduli 2 (2025), Paper No. e3, 23. doi: 10. 1112/mod.2024.11

    work page 2025

  3. [3]

    On Chow rings of quiver moduli

    Pieter Belmans and Hans Franzen. “On Chow rings of quiver moduli”. In: Int. Math. Res. Not. IMRN 13 (2024), pp. 10255–10272. doi: 10.1093/imrn/rnad306. 10

    work page doi:10.1093/imrn/rnad306 2024

  4. [4]

    QuiverTools

    Pieter Belmans, Hans Franzen, and Gianni Petrella. QuiverTools. doi: 10 . 5281 / zenodo . 1268022. url: https://quiver.tools

    work page

  5. [5]

    An introduction to quiver representations

    Harm Derksen and Jerzy Weyman. An introduction to quiver representations. Vol. 184. Gradu- ate Studies in Mathematics. American Mathematical Society, Providence, RI, 2017, pp. x+334. doi: 10.1090/gsm/184

    work page doi:10.1090/gsm/184 2017

  6. [6]

    Semi-invariants of quivers and saturation for Littlewood- Richardson coefficients

    Harm Derksen and Jerzy Weyman. “Semi-invariants of quivers and saturation for Littlewood- Richardson coefficients”. In: J. Amer. Math. Soc. 13.3 (2000), pp. 467–479. doi: 10 . 1090 / S0894-0347-00-00331-3

    work page 2000

  7. [7]

    Chow rings of fine quiver moduli are tautologically presented

    Hans Franzen. “Chow rings of fine quiver moduli are tautologically presented”. In: Math. Z. 279.3-4 (2015), pp. 1197–1223. doi: 10.1007/s00209-015-1409-8

    work page doi:10.1007/s00209-015-1409-8 2015

  8. [8]

    Fano quiver moduli

    Hans Franzen, Markus Reineke, and Silvia Sabatini. “Fano quiver moduli”. In: Canad. Math. Bull. 64.4 (2021), pp. 984–1000. doi: 10.4153/S0008439520001009

    doi:10.4153/s0008439520001009 2021

Show all 32 references
  1. [9]

    The derived category of a GIT quotient

    Daniel Halpern-Leistner. “The derived category of a GIT quotient”. In: J. Amer. Math. Soc. 28.3 (2015), pp. 871–912. doi: 10.1090/S0894-0347-2014-00815-8

    2015 doi

  2. [10]

    On the cohomology groups of moduli spaces of vector bundles on curves

    Günter Harder and M. S. Narasimhan. “On the cohomology groups of moduli spaces of vector bundles on curves”. In:Math. Ann.212 (1975), pp. 215–248.doi: 10.1007/BF01357141

    1975 doi

  3. [11]

    Uniform instability in reductive groups

    Wim H. Hesselink. “Uniform instability in reductive groups”. In: J. Reine Angew. Math. (1978), pp. 74–96. doi: 10.1515/crll.1978.303-304.74

    1978 doi

  4. [12]

    Stable representations of quivers

    Lutz Hille and José Antonio de la Peña. “Stable representations of quivers”. In: J. Pure Appl. Algebra 172.2-3 (2002), pp. 205–224. doi: 10.1016/S0022-4049(01)00167-0

    2002 doi

  5. [13]

    Parallels between moduli of quiver representations and vector bundles over curves

    Victoria Hoskins. “Parallels between moduli of quiver representations and vector bundles over curves”. In: SIGMA Symmetry Integrability Geom. Methods Appl. 14 (2018), Paper No. 127, 46. doi: 10.3842/SIGMA.2018.127

    2018 doi

  6. [14]

    Stratifications for moduli of sheaves and moduli of quiver representa- tions

    Victoria Hoskins. “Stratifications for moduli of sheaves and moduli of quiver representa- tions”. In: Algebr. Geom. 5.6 (2018), pp. 650–685. doi: 10.14231/AG-2018-017

    2018 doi

  7. [15]

    Infinite root systems, representations of graphs and invariant theory

    Victor G. Kac. “Infinite root systems, representations of graphs and invariant theory”. In: Invent. Math. 56.1 (1980), pp. 57–92. doi: 10.1007/BF01403155

    1980 doi

  8. [16]

    Infinite root systems, representations of graphs and invariant theory. II

    Victor G. Kac. “Infinite root systems, representations of graphs and invariant theory. II”. In: J. Algebra 78.1 (1982), pp. 141–162. doi: 10.1016/0021-8693(82)90105-3

    1982 doi

  9. [17]

    Root systems, representations of quivers and invariant theory

    Victor G. Kac. “Root systems, representations of quivers and invariant theory”. In: Invariant theory (Montecatini, 1982) . Vol. 996. Lecture Notes in Math. Springer, Berlin, 1983, pp. 74–

    1982

  10. [18]

    Some remarks on representations of quivers and infinite root systems

    Victor G. Kac. “Some remarks on representations of quivers and infinite root systems”. In: Representation theory, II (Proc. Second Internat. Conf., Carleton Univ., Ottawa, Ont., 1979) . Vol. 832. Lecture Notes in Math. Springer, Berlin, 1980, pp. 311–327.isbn: 3-540-10264-7

    1979

  11. [19]

    Moduli of representations of finite-dimensional algebras

    Alastair D. King. “Moduli of representations of finite-dimensional algebras”. In: Quart. J. Math. Oxford Ser. (2) 45.180 (1994), pp. 515–530. doi: 10.1093/qmath/45.4.515

    1994 doi

  12. [20]

    Semisimple representations of quivers

    Lieven Le Bruyn and Claudio Procesi. “Semisimple representations of quivers”. In: Trans. Amer. Math. Soc. 317.2 (1990), pp. 585–598. doi: 10.2307/2001477

    1990 doi

  13. [21]

    Full exceptional sequence for a fine quiver moduli space

    Svetlana Makarova and Junyu Meng. Full exceptional sequence for a fine quiver moduli space

  14. [22]

    Sergey Mozgovoy. msinvar. 2024. url: https://github.com/smzg/msinvar

    2024

  15. [23]

    Partial semiorthogonal decompositions for quiver moduli

    Gianni Petrella. “Partial semiorthogonal decompositions for quiver moduli”. In: J. Symbolic Comput. 131 (2025), Paper No. 102448. doi: 10.1016/j.jsc.2025.102448

    2025

  16. [24]

    CoulombHiggs

    Boris Pioline. CoulombHiggs. Version 6.3. 2022. url: https : / / github . com / bpioline / CoulombHiggs

    2022

  17. [25]

    QPA – Quivers, path algebras and representations – a GAP package

    The QPA-team. QPA – Quivers, path algebras and representations – a GAP package . Ver- sion 1.35. 2024. url: https://folk.ntnu.no/oyvinso/QPA/. 11

    2024

  18. [26]

    Moduli of representations of quivers

    Markus Reineke. “Moduli of representations of quivers”. In: Trends in representation theory of algebras and related topics . EMS Ser. Congr. Rep. Eur. Math. Soc., Zürich, 2008, pp. 589–

    2008

  19. [27]

    The Harder-Narasimhan system in quantum groups and cohomology of quiver moduli

    Markus Reineke. “The Harder-Narasimhan system in quantum groups and cohomology of quiver moduli”. In: Invent. Math. 152.2 (2003), pp. 349–368. doi: 10 . 1007 / s00222 - 002 - 0273-4

    2003

  20. [28]

    Kac polynomials and Lie algebras associated to quivers and curves

    Olivier G. Schiffmann. “Kac polynomials and Lie algebras associated to quivers and curves”. In: Proceedings of the International Congress of Mathematicians—Rio de Janeiro 2018. Vol. II. Invited lectures. World Sci. Publ., Hackensack, NJ, 2018, pp. 1393–1424. isbn: 978-981-327- 291-0

    2018

  21. [29]

    General representations of quivers

    Aidan Schofield. “General representations of quivers”. In: Proc. London Math. Soc. (3) 65.1 (1992), pp. 46–64. doi: 10.1112/plms/s3-65.1.46. Pieter Belmans, p.belmans@uu.lu Mathematical Institute, Utrecht University, Budapestlaan 6, 3584CD Utrecht, Netherlands Hans Franzen, ha...

    1992 doi

  22. [108]

    doi: 10.1007/BFb0063236

    isbn: 3-540-12319-9. doi: 10.1007/BFb0063236

    doi

  23. [637]

    doi: 10.4171/062-1/14

    isbn: 978-3-03719-062-3. doi: 10.4171/062-1/14

    doi

  24. [2024]

    arXiv: 2412.15390v1 [math.AG]

    arXiv

Pith tools

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