Pith. sign in

REVIEW 1 major objections 7 minor 22 references

Infinitely Many Components in Auslander--Reiten Quivers of Representation-Infinite Algebras over Perfect Fields

T0 review · 1 major / 7 minor · reviewed 2026-07-31 · grok-4.5

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

Pith's one-line read Every representation-infinite finite-dimensional algebra over a perfect field has an Auslander–Reiten quiver with infinitely many connected components.

desk verdict Solid proof of the ARS component conjecture for fd algebras over perfect fields; the two-part argument checks out and the external loads are published theorems. read the letter →

arxiv 2607.24466 v1 pith:3KXQ2XZZ submitted 2026-07-27 math.RT math.RA

Wen Chang , Quanyu Tang This is my paper · ORCID
classification math.RTmath.RA MSC 16G7016G6012F10
keywords Auslander–Reitenquiverconnectedcomponentrepresentation-infinitealgebrarepresentationembeddingseparablebasechangeperfectfieldsemilineartwist
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 Auslander–Reiten quiver organizes the indecomposable modules of an algebra by recording irreducible morphisms between them. A long-standing conjecture predicted that whenever an Artin algebra has infinitely many indecomposables, this quiver must break into infinitely many separate pieces. This paper proves the conjecture for every finite-dimensional algebra over a perfect field. Over an algebraically closed field the argument produces a one-parameter family of indecomposables of fixed dimension and then twists them by field automorphisms so that successive modules are forced into distinct components by an orbit-length invariant. The general perfect-field case follows by showing that finitely many components would survive separable extension to the algebraic closure, contradicting the algebraically closed result. The theorem therefore settles a basic structural question about how wild the module category of a representation-infinite algebra must be.

What carries the argument

A representation embedding from modules over a localized polynomial ring into mod A, composed with dimension-preserving semilinear autoequivalences induced by field automorphisms. The resulting orbit lengths are constant, up to large-prime valuation, on each connected component of the AR-quiver, so modules with distinct prime orbit lengths must lie in distinct components.

What would settle it

Exhibit a single representation-infinite finite-dimensional algebra over a perfect field whose Auslander–Reiten quiver is connected, or whose components remain finite in number after base change to the algebraic closure.

Watch

Extended reading notes

Core claim

If A is a finite-dimensional algebra of infinite representation type over a perfect field k, then the Auslander–Reiten quiver of A has infinitely many connected components. The same conclusion holds after scalar extension to the algebraic closure of k, and the two statements are linked by a path-lifting argument under Galois action.

Load-bearing premise

The argument needs a genuine one-parameter family of pairwise non-isomorphic indecomposable modules of one fixed dimension coming from a representation embedding out of a localized polynomial ring; without that family the automorphism twists have nothing to separate.

Editorial extensions

If this is right

  • The Auslander–Reiten–Smalø conjecture is settled for all finite-dimensional algebras over perfect fields.
  • Any representation-infinite algebra over an algebraically closed field already has infinitely many AR-components by cardinality or by the orbit construction.
  • Finite number of AR-components is preserved under separable scalar extension to the algebraic closure.
  • The same orbit-length invariant can be used to distinguish components for other additive autoequivalences that preserve dimension.

Reading between the lines

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

  • The remaining open case of the original conjecture is therefore restricted to Artin algebras that are not finite-dimensional over a perfect field.
  • The path-lifting and radical-base-change lemmas may apply directly to other invariants (for example τ-tilting or brick classifications) under separable extensions.
  • Once a one-parameter family exists, the large-prime orbit method gives an effective lower bound on the number of components rather than a pure existence proof.
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

1 major / 7 minor

Summary. The paper proves that for any representation-infinite finite-dimensional algebra A over a perfect field k, the Auslander–Reiten quiver Γ_A has infinitely many connected components, establishing Conjecture (3) of [ARS95, p. 409] for finite-dimensional algebras over perfect fields. The proof has two parts. Over an algebraically closed field (Theorem 4.3), the authors combine: (i) a representation embedding H = M ⊗_R − from a localized polynomial ring R = k[T, h(T)^{-1}] (Lemma 2.1, after Bautista–Pérez–Salmerón and Bongartz), giving a one-parameter family of indecomposables of fixed dimension; (ii) a uniform local dimension bound in Γ_A (Lemma 3.1: neighbor dimensions are bounded by B_A = 1 + d² times the vertex dimension); (iii) an orbit-length comparison for adjacent vertices under dimension-preserving additive autoequivalences (Lemma 3.2), yielding Proposition 3.4: for primes ℓ > B_A², the ℓ-adic valuation of the orbit length is constant on each component; and (iv) semilinear twists Φ_σ (Lemma 4.2) and field automorphisms with prescribed prime orbit lengths (Lemma 4.1), used recursively to place modules X_i in pairwise distinct components. The perfect-field case (Theorem 1.2) reduces to the algebraic closure via a component-level base-change result (Proposition 5.7), proved with radical base-change formulas (Lemmas 5.2–5.3), Galois transitivity on summands of extended indecomposables (Lemma 5.5), and a path-lifting argument (Lemma 5.6), combined with Jensen–Lenzing's theorem

Significance. If correct, this settles a conjecture of Auslander, Reiten, and Smalø for all finite-dimensional algebras over perfect fields — including finite fields, Q̄, and F̄_p — going well beyond the previously known classes (hereditary, tame over algebraically closed fields, certain self-injective and Hopf algebra blocks). The argument is genuinely constructive and parameter-free: the component invariant (ℓ-adic valuation of orbit lengths under semilinear twists, Proposition 3.4) is defined intrinsically, and the contradiction in Theorem 4.3 is a clean 1 = 0 valuation comparison. The proof is modular and each internal lemma is elementary and likely of independent use: Lemma 3.1's local estimate, Proposition 5.7's component-level descent under separable base change (a statement not previously isolated, and nontrivial because scalar extension splits indecomposables), and the semilinear-twist construction of Lemma 4.2. The external loads are published theorems with precise pinpoints ([BPS25, Remark 4.10], [JL82, Theorem 3.3], [K00, Proposition 4.13]), and the authors include the Morita reduction needed to adapt the embedding to non-basic algebras. The AI-use statement is transparent and the AI

major comments (1)
  1. [§2.3, Lemma 2.1] Lemma 2.1 is the foundation of the entire orbit argument: everything in Sections 3–4 acts on the family H(S_λ), and if the embedding failed to produce |k| minus finitely many pairwise nonisomorphic indecomposables of fixed dimension, Theorem 4.3 would have nothing to act on. The proof given reduces to the basic case via Morita equivalence and cites [BPS25, Remark 4.10] for that case. Since this is the single external load-bearing input, I ask the authors to state explicitly the hypotheses under which Remark 4.10 applies — in particular, whether it covers every representation-infinite basic finite-dimensional algebra over an algebraically closed field with no additional hypotheses (e.g., on the quiver-with-relations presentation, or a prior strongly-unbounded-type reduction), and to confirm that the bimodule it produces is right projective over the localized ring R = k[T, h(T)^{-1}] rathe
minor comments (7)
  1. [Title page] The Mathematics Subject Classification line reads "Primary ; Secondary 16G60, 12F10" — the primary code is missing (presumably 16G20 or 16G70).
  2. [Throughout] There are recurrent spacing artifacts of the form "letA be", "quiver ofA", "A-modulesX" throughout the text (e.g., abstract, first lines of §1 and §2.2). Please check the source file for missing spaces after macros.
  3. [References] The reference [B16] is listed as a 2023 preprint (arXiv:1611.02017v5). If a published version has appeared, the citation should be updated; likewise it would help the reader to note explicitly in §2.3 that Lemma 2.1 as used relies only on [BPS25], with [B16] cited for the originating method.
  4. [§2.2.3] In §2.2.3, the phrase "where P_0 = P(X) and P_1 = P(ΩX)" is used to define the minimal projective presentation; one half-sentence noting that P_1 is the projective cover of the kernel of P(X) ↠ X (so that Tr X is a quotient of Hom_A(P_1, A) as used in (3) and Lemma 3.1) would make the dimension chain in Lemma 3.1 fully self-contained.
  5. [§2.1.1 and §5.3] In §5.3, Jensen–Lenzing [JL82, Theorem 3.3] is applied to the infinite-degree algebraic extension K = k̄ over k. It would be reassuring to state in §2.1.1 that the theorem is valid for arbitrary (not necessarily finite) MacLane-separable extensions, since some readers may know only the finite-degree version.
  6. [§4.1, Figure 1] Figure 1 is helpful, but the edge labels "ℓ regular", "regular ℓ" in panel (b) are slightly ambiguous as typeset; consider labeling edges with "degree ℓ" and "regular" separately.
  7. [Statement on AI usage] The AI-use statement is commendably specific. Since Lemmas 5.3, 5.5, 5.6 and Proposition 5.7 are identified as AI-assisted, and these carry the perfect-field reduction, the authors' statement that they checked all arguments is important; no change requested, but the editors may wish to note this.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the component-count theorem is proved by an independent constructive orbit argument plus external base-change lemmas, not by redefining the claim in terms of itself.

full rationale

The derivation chain is a standard pure-math proof by construction and contradiction. Over an algebraically closed field, an external representation embedding (Lemma 2.1, citing Bautista–Pérez–Salmerón and Bongartz) supplies a one-parameter family of fixed-dimension indecomposables; field automorphisms act via semilinear twists (Lemma 4.2); local dimension bounds (Lemma 3.1) force the ℓ-adic valuation of orbit length to be constant on each AR-component for large primes (Proposition 3.4); recursively chosen prime-order orbits then place modules in pairwise distinct components (Theorem 4.3). The perfect-field case reduces via separable base change (Proposition 5.7) and the external Jensen–Lenzing theorem that finite representation type is preserved under MacLane-separable extensions. None of these steps fits a parameter to the target quantity, imports a uniqueness theorem from the same authors, or defines the number of components in terms of the construction used to count them. Citations to [BPS25], [B16], [JL82], and [K00] are independent external lemmas. No equation equates the claimed infinitude of components with an input defined from that infinitude. Score 0 is therefore appropriate.

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

The proof rests on standard facts of Galois theory, Auslander–Reiten theory, and two external representation-embedding theorems. No numerical parameters are fitted. The only non-standard ingredients are the cited embedding and the perfectness hypothesis needed for radical commutation under base change.

assumptions (5)
  • domain assumption Bautista–Pérez–Salmerón / Bongartz representation embedding: for algebraically closed k and representation-infinite A there exist h≠0 and an A–R-bimodule M free finite-rank over R=k[T,h^{-1}] such that M⊗_R− is a representation embedding (Lemma 2.1).
    Supplies the one-parameter family of indecomposables on which Galois twists act; without it the orbit-length invariant has no input.
  • domain assumption Jensen–Lenzing theorem: finite representation type is preserved and reflected by MacLane-separable base field extension (cited §2.1.1, [JL82]).
    Used at the end of §5 to transfer infinite type from A to A_K.
  • standard math For perfect k, J(K⊗_k A)=K⊗_k J(A) and finite-dimensional semisimple k-algebras remain semisimple after scalar extension (§5 opening).
    Guarantees the radical and Irr base-change isomorphisms (Lemmas 5.2–5.3, Cor 5.4).
  • standard math Standard AR theory: existence of almost-split sequences, local finiteness of Γ_A, and the block description of the categorical radical (recalled §2.2).
    Background used for the local dimension estimate (Lem 3.1) and for path lifting.
  • standard math Existence of cyclic extensions of prime degree ℓ inside cyclotomic fields (char 0) or finite fields (char p), and extendability of finite Galois automorphisms to Aut(k/F) (Lem 4.1, §2.1).
    Produces the automorphisms σ_i of prescribed prime orbit length.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Infinitely Many Components in Auslander--Reiten Quivers of Representation-Infinite Algebras over Perfect Fields." pith.science (2026). https://pith.science/paper/3KXQ2XZZ

@misc{pith2026260724466,
  author       = {Pith},
  title        = {Pith review of: Infinitely Many Components in Auslander--Reiten Quivers of Representation-Infinite Algebras over Perfect Fields},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3KXQ2XZZ}},
  note         = {Machine review of arXiv:2607.24466}
}
abstract

Let $k$ be a perfect field and let $A$ be a representation-infinite finite-dimensional $k$-algebra. We prove that the Auslander--Reiten quiver of $A$ has infinitely many connected components. This establishes, for finite-dimensional algebras over perfect fields, a conjecture of Auslander, Reiten, and Smal\o{} concerning Artin algebras. Over an algebraically closed field, the proof combines a localized polynomial representation embedding with semilinear twists induced by field automorphisms. The passage from a perfect field to its algebraic closure is obtained by separable base change: we prove that if the Auslander--Reiten quiver of $A$ has only finitely many components, then the same holds for the scalar extension to the algebraic closure.

Figures

Figures reproduced from arXiv: 2607.24466 by the authors.

Figure 1
Figure 1. Field configurations used to construct prime-order automorphism orbits. In positive characteristic, the regularity of F/Fq implies that F and Fq ℓ are linearly disjoint over Fq, so E = FFq ℓ is cyclic Galois of degree ℓ over F. In characteristic zero, one first chooses a cyclic extension L/Q of degree ℓ inside a cyclotomic field, observes that L ∩ F0 = Q, and then uses the regularity of F/F0 to deduce that F and F0L… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

22 extracted references · 2 linked inside Pith

  1. [1]

    Auslander and I

    M. Auslander and I. Reiten, Representation theory of Artin algebras III: Almost split sequences, Comm. Algebra 3 (1975), no. 3, 239--294

    1975

  2. [2]

    Auslander, I

    M. Auslander, I. Reiten, and S. O. Smal , Representation Theory of Artin Algebras, Cambridge Studies in Advanced Mathematics, vol. 36, Cambridge University Press, Cambridge, 1995

    1995

  3. [3]

    Bautista, On algebras of strongly unbounded representation type, Comment

    R. Bautista, On algebras of strongly unbounded representation type, Comment. Math. Helv. 60 (1985), no. 3, 392--399

    1985

  4. [4]

    Bautista, E

    R. Bautista, E. P\'erez, and L. Salmer\'on, A representation embedding for algebras of infinite type, J. Pure Appl. Algebra 229 (2025), no. 6, Paper No. 107955

    2025

  5. [5]

    Bongartz, Indecomposables are standard, Comment

    K. Bongartz, Indecomposables are standard, Comment. Math. Helv. 60 (1985), no. 3, 400--410

    1985

  6. [6]

    Bongartz, Representation embeddings and the second Brauer--Thrall conjecture, preprint, arXiv:1611.02017v5 [math.RT], 2023

    K. Bongartz, Representation embeddings and the second Brauer--Thrall conjecture, preprint, arXiv:1611.02017v5 [math.RT], 2023

    arXiv 2023

  7. [7]

    E. D. B rve, E. J. Hanson, and M. Kaipel, Bricks and -tilting theory under base field extensions, preprint, arXiv:2508.01040 [math.RT], 2025

    arXiv 2025

  8. [8]

    W. W. Crawley-Boevey, On tame algebras and bocses, Proc. London Math. Soc. (3) 56 (1988), no. 3, 451--483

    1988

Show all 22 references
  1. [9]

    DeMeyer and E

    F. DeMeyer and E. Ingraham, Separable Algebras over Commutative Rings, Lecture Notes in Mathematics, vol. 181, Springer-Verlag, Berlin--New York, 1971

    1971

  2. [10]

    Dlab and C

    V. Dlab and C. M. Ringel, The representations of tame hereditary algebras, in Representation Theory of Algebras (Proc. Conf., Temple Univ., Philadelphia, 1976), Lecture Notes in Pure and Appl. Math., vol. 37, Dekker, New York, 1978, pp. 329--353

    1976

  3. [11]

    Farnsteiner, On the Auslander--Reiten quiver of an infinitesimal group, Nagoya Math

    R. Farnsteiner, On the Auslander--Reiten quiver of an infinitesimal group, Nagoya Math. J. 160 (2000), 103--121

    2000

  4. [12]

    C. U. Jensen and H. Lenzing, Homological dimension and representation type of algebras under base field extension, Manuscripta Math. 39 (1982), no. 1, 1--13

    1982

  5. [13]

    Kasjan, Auslander--Reiten sequences under base field extension, Proc

    S. Kasjan, Auslander--Reiten sequences under base field extension, Proc. Amer. Math. Soc. 128 (2000), no. 10, 2885--2896

    2000

  6. [14]

    K\"ulshammer, Representation type of Frobenius--Lusztig kernels, Quart

    J. K\"ulshammer, Representation type of Frobenius--Lusztig kernels, Quart. J. Math. 64 (2013), no. 2, 471--488

    2013

  7. [15]

    K\"ulshammer, Corrigendum ``Representation type of Frobenius--Lusztig kernels'', Quart

    J. K\"ulshammer, Corrigendum ``Representation type of Frobenius--Lusztig kernels'', Quart. J. Math. 66 (2015), no. 4, 1139

    2015

  8. [16]

    Lang, Algebra, 3rd ed., Graduate Texts in Mathematics, vol

    S. Lang, Algebra, 3rd ed., Graduate Texts in Mathematics, vol. 211, Springer, New York, 2002

    2002

  9. [17]

    R. S. Pierce, Associative Algebras, Graduate Texts in Mathematics, vol. 88, Springer-Verlag, New York--Berlin, 1982

    1982

  10. [18]

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

    1978

  11. [19]

    C. M. Ringel, Report on the Brauer--Thrall conjectures: Rojter's theorem and the theorem of Nazarova and Rojter (on algorithms for solving vectorspace problems. I), in Representation Theory I (Proc. Workshop, Carleton Univ., Ottawa, 1979), Lecture Notes in Mathematics, vol. 83...

    1979

  12. [20]

    A. V. Roiter, Unbounded dimensionality of indecomposable representations of an algebra with an infinite number of indecomposable representations, Math. USSR-Izv. 2 (1968), no. 6, 1223--1230

    1968

  13. [21]

    Schiffler, Quiver Representations, CMS Books in Mathematics, Springer, Cham, 2014

    R. Schiffler, Quiver Representations, CMS Books in Mathematics, Springer, Cham, 2014

    2014

  14. [22]

    L. C. Washington, Introduction to Cyclotomic Fields, 2nd ed., Graduate Texts in Mathematics, vol. 83, Springer, New York, 1997

    1997

Pith tools

Reviewed July 31, 2026 · model on record in the stance chip above.