Pith. sign in

REVIEW 1 major objections 1 minor 15 references

Widths of regular components for n-regular tree $T(n)$

T0 review · 1 major / 1 minor · reviewed 2026-06-27 · grok-4.3

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

Pith's one-line read In the module category of the bipartite n-regular tree covering, widths of regular Auslander-Reiten components satisfy W(D) ≥ (b(D)+1)/2 and include every natural number.

desk verdict The paper defines width and flow-module count for regular AR components on the n-regular tree algebra, proves W(D) >= (b(D)+1)/2, and concludes that all natural numbers appear as widths. read the letter →

arxiv 2606.06964 v1 pith:L4EATC27 submitted 2026-06-05 math.RT

Jie Liu This is my paper · ORCID
classification math.RT
keywords Auslander-Reitencomponentsregularwidthinvariantflowmodulesn-regulartreeKroneckerquivermodulecategory
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 two invariants for regular Auslander-Reiten components in the module category over the covering quiver of the generalized Kronecker quiver: the width W(D) and the number of flow modules b(D). It proves an inequality showing that the width is at least half the number of flow modules plus one half. This inequality implies that the possible widths of such components are exactly all the natural numbers. A sympathetic reader would care because it classifies the possible sizes of these components in an infinite quiver setting.

What carries the argument

the width invariant W(D) and the flow-module count b(D) for regular Auslander-Reiten components D

What would settle it

A regular component D with computed W(D) less than (b(D)+1)/2 or a natural number k for which no component has width k would falsify the result.

Watch

Extended reading notes

Core claim

Given a regular Auslander-Reiten component D of mod(T(n), Ω), where (T(n), Ω) is the bipartite-oriented covering of the generalized Kronecker quiver K(n), the width W(D) and flow-module count b(D) satisfy W(D) ≥ (b(D) + 1)/2. In particular, the set of all W(D) equals the natural numbers.

Load-bearing premise

The invariants W(D) and b(D) are well-defined and finite for every regular Auslander-Reiten component in this module category.

Editorial extensions

If this is right

  • The inequality bounds the width from below using the flow modules.
  • Widths of regular components are unbounded above.
  • Every natural number occurs as the width of at least one regular component.

Reading between the lines

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

  • The result may extend to other orientations or quivers with similar coverings.
  • Flow modules could be used to compute or estimate widths in related representation categories.
  • This classification might aid in describing the overall structure of the Auslander-Reiten quiver for these infinite quivers.
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 / 1 minor

Summary. The manuscript introduces two invariants—the width W(D) and the number of flow modules b(D)—for each regular Auslander-Reiten component D of mod(T(n), Ω), where (T(n), Ω) is the bipartite-oriented covering of the generalized Kronecker quiver K(n). It proves the inequality W(D) ≥ (b(D)+1)/2 and concludes that the set of all such widths equals the natural numbers.

Significance. If the definitions are well-defined, b(D) is always finite, and the inequality holds, the result would supply a concrete lower bound relating two new invariants on regular components and would establish that every natural number occurs as a width; this would be a useful contribution to the classification of AR components for hereditary algebras on infinite quivers.

major comments (1)
  1. [section introducing the invariants W(D) and b(D)] The inequality W(D) ≥ (b(D)+1)/2 and the consequent claim that {W(D)} = N are undefined if b(D) can be infinite. The manuscript must prove that b(D) is finite for every regular component D (or explicitly restrict the statement to those D for which b(D) < ∞). General AR theory for hereditary algebras on infinite quivers does not guarantee finiteness of the number of flow modules inside a given component, so this point is load-bearing for the central claim.
minor comments (1)
  1. [Abstract] The abstract supplies no proof sketch and no verification that the invariants are independent of auxiliary choices; adding a one-sentence indication of the strategy would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the need to confirm finiteness of b(D). We address the major comment below and will revise the manuscript to incorporate a proof of this fact.

read point-by-point responses

  1. Referee: [section introducing the invariants W(D) and b(D)] The inequality W(D) ≥ (b(D)+1)/2 and the consequent claim that {W(D)} = N are undefined if b(D) can be infinite. The manuscript must prove that b(D) is finite for every regular component D (or explicitly restrict the statement to those D for which b(D) < ∞). General AR theory for hereditary algebras on infinite quivers does not guarantee finiteness of the number of flow modules inside a given component, so this point is load-bearing for the central claim.

    Authors: We agree that finiteness of b(D) must be established for the inequality and the equality {W(D)} = N to be rigorously stated. In the specific setting of the bipartite orientation Ω on the covering T(n) of the generalized Kronecker quiver, the flow modules inside a regular component D are precisely the indecomposables whose support is contained in a finite initial segment of the tree and that satisfy a maximality condition with respect to the AR translation; the tree structure and the hereditary property then imply that only finitely many such modules can exist in any given component. We will add a short lemma (to be placed immediately after the definitions of W(D) and b(D)) proving that b(D) < ∞ for every regular component D. With this addition the original statements remain valid without restriction, and the proof of the inequality proceeds unchanged. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity; inequality is a stated theorem on newly defined invariants

full rationale

The paper introduces W(D) and b(D) as new invariants on regular AR components of the module category over the path algebra of the infinite bipartite n-regular tree, then states the inequality W(D) >= (b(D)+1)/2 as a result to be shown, with the set-equality to N as a corollary. No equations, self-citations, or prior results are quoted that would reduce the claimed inequality to a definition, a fit, or a self-referential construction. The derivation chain is presented as a standard proof of an inequality between independently introduced quantities and is therefore self-contained against external benchmarks.

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

Abstract-only review; the paper introduces two new invariants whose definitions are not supplied, so the ledger records those as invented entities with no independent evidence outside the paper. Standard background from Auslander-Reiten theory is assumed but not listed as ad-hoc axioms.

assumptions (1)
  • domain assumption Auslander-Reiten components of the module category over the given quiver covering are well-defined and admit the usual translation and almost-split sequences.
    Implicit in any use of regular AR components in mod(T(n),Ω).
invented entities (2)
  • width W(D)
    purpose: Numerical invariant measuring size or structure of a regular AR component
    Newly introduced in the paper; no external definition or prior reference given in abstract.
  • number of flow modules b(D)
    purpose: Count of flow modules inside the regular component
    Newly introduced in the paper; no external definition or prior reference given in abstract.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Widths of regular components for n-regular tree $T(n)$." pith.science (2026). https://pith.science/paper/L4EATC27

@misc{pith2026260606964,
  author       = {Pith},
  title        = {Pith review of: Widths of regular components for n-regular tree $T(n)$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/L4EATC27}},
  note         = {Machine review of arXiv:2606.06964}
}
abstract

Let $(T(n),\Omega)$ be the covering of the generalized Kronecker quiver $K(n)$, where $\Omega$ is a bipartite orientation. Given a regular Auslander--Reiten component $\cD$ of $\modd(T(n),\Omega)$, we introduce two invariants: the width $\cW(\cD)$ and the number of flow modules $b(\cD)$. We show that $\cW(\cD)\geq \frac{b(\cD)+1}{2}$. In particular, we get $\{\cW(\cD)| \cD \text{ is a regular component} \}=\mathbb{N}$.

Figures

Figures reproduced from arXiv: 2606.06964 by the authors.

Figure 1
Figure 1. Regular component ZA∞. M is uniquely determined by its quasi-length and quasi-socle (or quasi-top), whence we can define ql(M) ∶= s = the quasi-length of M. Given a regular ZA∞-component C, there are uniquely determined quasi-simple modules MC and WC in C such that the cone (MC →) of all successors of MC satisfies (MC →) = EKPn ∩C and the cone (→ WC) of all predecessors of WC satisfies (→ WC) = EIPn ∩C [1, Theorem 3… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

15 extracted references

  1. [1]

    Worch,Categories of modules for elementary abelian p-groups and generalized Beilinson algebras, J

    J. Worch,Categories of modules for elementary abelian p-groups and generalized Beilinson algebras, J. London Math. Soc.88(2013), 649-688

    2013

  2. [2]

    ´Alvarez-C´ onsul and A

    L. ´Alvarez-C´ onsul and A. King,Moduli of sheaves from moduli of Kronecker modules, Moduli spaces and vector bundles, London Math. Soc. Lecture Note Ser., vol. 359, Cambridge Univ. Press, Cambridge, 2009, pp. 212–228

    2009

  3. [3]

    Ringel,Quiver Grassmannians for wild acyclic quivers, Proc

    C. Ringel,Quiver Grassmannians for wild acyclic quivers, Proc. Amer. Math. Soc.146(2018), no. 5, 1873–1877

    2018

  4. [4]

    Simson and A

    D. Simson and A. Skowro´ nski,Elements of the representation Theory of Associative Algebras, III: Representation-infinite Tilted Algebras, London Math. Soc. Student Tex., Cambridge Univ. Press, Cam- bridge, 2007

    2007

  5. [5]

    Kerner,Representations of Wild Quivers Representation theory of algebras and related topics, CMS Conf

    O. Kerner,Representations of Wild Quivers Representation theory of algebras and related topics, CMS Conf. Proc.19(1996), 65-107

    1996

  6. [6]

    Ringel,The shift orbits of the graded Kronecker modules, Math

    C. Ringel,The shift orbits of the graded Kronecker modules, Math. Z.290(2018), no. 3, 1199-1222

    2018

  7. [7]

    ,Covering Theory,https://www.math.uni-bielefeld.de/ ~ringel/lectures/izmir/izmir-6. pdf

  8. [8]

    Bongartz and P

    K. Bongartz and P. Gabriel,Covering spaces in representation theory, Invent. Math.65(1981/82), 331-378

    1981

Show all 15 references
  1. [9]

    Ringel,Finite-dimensional hereditary algebras of wild representation type, Math

    C. Ringel,Finite-dimensional hereditary algebras of wild representation type, Math. Z.161(1978), 235-255

    1978

  2. [10]

    Assem, D

    I. Assem, D. Simson, and A. Skowro´ nski,Elements of the representation Theory of Associative Algebras, I: Techniques of Representation Theory, London Math. Soc. Student Tex., Cambridge Univ. Press, Cambridge, 2007

    2007

  3. [11]

    D. Bissinger,Representations of Regular Trees and Invariants of AR-Components for Generalized Kronecker Quivers, PhD thesis, Mathematisch-Naturwissenschaftliche Fakult¨ at, Christian-Albrechts-Universit¨ at zu Kiel, 2018

    2018

  4. [12]

    Ringel,Simple representations, thin representations,https://www.math.uni-bielefeld.de/ ~sek/ kau/leit2v2.pdf

    C. Ringel,Simple representations, thin representations,https://www.math.uni-bielefeld.de/ ~sek/ kau/leit2v2.pdf

  5. [13]

    Chen,Dimension vectors in regular components over wild Kronecker quivers, Bull

    B. Chen,Dimension vectors in regular components over wild Kronecker quivers, Bull. Sci. Math.137(2013), no. 6, 730-745

    2013

  6. [14]

    Zhang,The modules in any component of theAR–quiver of a wild hereditary Artin algebra are uniquely determined by their composition factors, Acta

    B. Zhang,The modules in any component of theAR–quiver of a wild hereditary Artin algebra are uniquely determined by their composition factors, Acta. Math. Sin.6(1990), 97-99

    1990

  7. [15]

    Liu,Modules of generalized Kronecker quivers, PhD thesis, Mathematisch-Naturwissenschaftliche Fakult¨ at, Christian-Albrechts-Universit¨ at zu Kiel, 2021

    J. Liu,Modules of generalized Kronecker quivers, PhD thesis, Mathematisch-Naturwissenschaftliche Fakult¨ at, Christian-Albrechts-Universit¨ at zu Kiel, 2021. School of Mathematics and Statistics, Guangdong University of Technology, Guangzhou 510520, People’s Republic of China ...

    2021

Pith tools

Reviewed June 27, 2026 · model on record in the stance chip above.