pith. sign in

arxiv: 2502.13709 · v2 · pith:5Y7V3PTOnew · submitted 2025-02-19 · 🧮 math.RT

Generically τ-regular irreducible components of module varieties

Grzegorz Bobi\'nski , Jan Schr\"oer This is my paper

Pith reviewed 2026-05-23 02:28 UTC · model grok-4.3

classification 🧮 math.RT
keywords representation theorymodule varietiesτ-regular moduleshereditary algebrasprojective presentationsirreducible componentstriangular algebrasgeneric extensions
0
0 comments X

The pith

A module is τ-regular if and only if its minimal projective presentation has maximal rank, and an algebra is hereditary if and only if every irreducible component of its module varieties is generically τ-regular.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that a module over a finite-dimensional algebra is τ-regular precisely when the minimal projective presentation of that module has maximal rank. This equivalence refines an earlier result by Plamondon. It further establishes that an algebra is hereditary exactly when every irreducible component in its module varieties is generically τ-regular. The work also shows that generic extensions by simple projective modules preserve the generically τ-regular property and uses this to classify such components for triangular algebras.

Core claim

A module is τ-regular if and only if its minimal projective presentation is of maximal rank. An algebra is hereditary if and only if all irreducible components of its varieties of modules are generically τ-regular. Generic extensions of generically τ-regular components by simple projective modules are again generically τ-regular, and this yields a classification of all such components for triangular algebras.

What carries the argument

generically τ-regular irreducible components of module varieties, which correspond to modules whose minimal projective presentations achieve maximal rank

If this is right

  • Generic extensions of generically τ-regular components by simple projective modules remain generically τ-regular.
  • All generically τ-regular components admit a classification when the algebra is triangular.
  • The sets of generically τ-regular and generically τ^--regular components coincide under conditions that can be discussed case by case.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The maximal-rank criterion may offer a practical test for checking whether a given module satisfies the τ-regular property.
  • The hereditary characterization could connect to other ways of detecting global properties of algebras through their representation varieties.
  • The classification for triangular algebras might serve as a base case for studying similar questions over algebras with more complex relations.

Load-bearing premise

The standard definitions and properties of τ-regular modules, generic extensions, and irreducible components of module varieties hold as previously established.

What would settle it

A module whose minimal projective presentation lacks maximal rank but is still τ-regular, or a non-hereditary algebra in which every irreducible component of its module varieties is generically τ-regular.

read the original abstract

In the representation theory of finite-dimensional algebras, the study of projective presentations of maximal rank is closely related to the study of generically $\tau$-regular irreducible components of varieties of modules over such algebras. We show that a module is $\tau$-regular if and only if its minimal projective presentation is of maximal rank. This is a refinement of a theorem by Plamondon. We prove that generic extensions of generically $\tau$-regular components by simple projective modules are again generically $\tau$-regular. This leads to the classification of all generically $\tau$-regular components for triangular algebras. We also show that an algebra is hereditary if and only if all irreducible components of its varieties of modules are generically $\tau$-regular. Finally, we discuss when the set of generically $\tau$-regular components coincides with the set of generically $\tau^-$-regular components.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper proves that a module is τ-regular if and only if its minimal projective presentation has maximal rank, refining Plamondon's theorem. It shows that generic extensions of generically τ-regular irreducible components by simple projective modules remain generically τ-regular. This yields a classification of all generically τ-regular components for triangular algebras, a characterization that an algebra is hereditary precisely when all irreducible components of its module varieties are generically τ-regular, and a discussion of when the sets of generically τ-regular and generically τ^--regular components coincide.

Significance. If the results hold, the refinement linking τ-regularity directly to maximal-rank presentations and the preservation result under generic extensions by simple projectives are useful technical advances. The classification for triangular algebras and the hereditary characterization via module varieties provide concrete applications that build on prior literature with independent equivalences grounded in module category structure. The work ships clear statements of equivalences and classifications without free parameters or ad-hoc axioms.

major comments (2)
  1. [§3 (refinement of Plamondon)] The refinement of Plamondon's theorem (stated in the abstract and presumably §3) is load-bearing for all subsequent results; the proof should explicitly verify that the maximal-rank condition on the minimal projective presentation implies τ-regularity in full generality, without tacitly assuming the algebra is triangular.
  2. [§5 (hereditary characterization)] The hereditary characterization (abstract and presumably the main theorem in §5) asserts an if-and-only-if; the 'only if' direction requires a concrete construction showing that a non-hereditary algebra admits at least one irreducible component that is not generically τ-regular, to confirm the equivalence is sharp rather than one-sided.
minor comments (2)
  1. [Introduction] The introduction would benefit from a one-paragraph recall of the precise statement of Plamondon's original theorem to make the refinement explicit.
  2. [Final discussion section] Notation for τ versus τ^- should be checked for consistency in the final discussion section on coincidence of the two sets of components.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive comments. We address the major comments point by point below.

read point-by-point responses

  1. Referee: [§3 (refinement of Plamondon)] The refinement of Plamondon's theorem (stated in the abstract and presumably §3) is load-bearing for all subsequent results; the proof should explicitly verify that the maximal-rank condition on the minimal projective presentation implies τ-regularity in full generality, without tacitly assuming the algebra is triangular.

    Authors: The proof of the equivalence in Section 3 is carried out in full generality for any finite-dimensional algebra and does not rely on triangularity. The triangular assumption appears only in Section 4 for the classification result. To address the referee's concern and make the generality explicit, we will insert a clarifying remark at the beginning of the proof in §3 stating that the arguments hold without any assumption on the algebra beyond being finite-dimensional. revision: yes

  2. Referee: [§5 (hereditary characterization)] The hereditary characterization (abstract and presumably the main theorem in §5) asserts an if-and-only-if; the 'only if' direction requires a concrete construction showing that a non-hereditary algebra admits at least one irreducible component that is not generically τ-regular, to confirm the equivalence is sharp rather than one-sided.

    Authors: The 'only if' direction is established by constructing, for any non-hereditary algebra, a specific irreducible component corresponding to a module whose minimal projective presentation fails to have maximal rank. While the construction is explicit in the proof (via the existence of a non-zero relation in the algebra), we agree that including a concrete low-dimensional example would enhance clarity. We will add an example in the revised manuscript, for instance using the algebra k⟨x,y⟩/(xy) or a similar non-hereditary algebra, to explicitly exhibit a non-generically τ-regular component. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper establishes an equivalence (module is τ-regular iff minimal projective presentation has maximal rank) as a refinement of Plamondon's prior theorem, proves a preservation property under generic extensions by simple projectives, and derives the hereditary characterization and classification for triangular algebras from these. All steps rely on standard definitions of generic extensions, irreducible components, and τ-regularity from external literature, with no reduction of claims to fitted parameters, self-definitional loops, or load-bearing self-citations. The logical chain introduces independent equivalences grounded in module category structure rather than renaming or constructing results from the paper's own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests entirely on standard background from representation theory; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (1)
  • standard math Standard axioms and definitions of the representation theory of finite-dimensional algebras, including module categories, projective presentations, and irreducible components of module varieties.
    The abstract invokes these as the ambient framework without re-deriving them.

pith-pipeline@v0.9.0 · 5680 in / 1266 out tokens · 38628 ms · 2026-05-23T02:28:42.720630+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

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

  1. On the additivity of projective presentations of maximal rank

    math.RT 2026-05 unverdicted novelty 6.0

    τ-regular modules are those with projective presentations of maximal rank; they form open subsets of module varieties whose closures are generically τ-regular components, with additivity of maximal rank tied to reduct...

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages · cited by 1 Pith paper

  1. [1]

    Adachi, The classification of -tilting modules over Nakayama algebras

    T. Adachi, The classification of -tilting modules over Nakayama algebras. J. Algebra 452 (2016), 227--262

    work page 2016

  2. [2]

    Adachi, O

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

    work page 2014

  3. [3]

    Assem, T

    I. Assem, T. Br\"ustle, G. Charbonneau-Jodoin, P.-G. Plamondon, Gentle algebras arising from surface triangulations. Algebra Number Theory 4 (2010), no. 2, 201--229

    work page 2010

  4. [4]

    Skowro\'nski, Iterated tilted algebras of type A _n

    I Assem, A. Skowro\'nski, Iterated tilted algebras of type A _n . Math. Z. 195 (1987), no. 2, 269--290

    work page 1987

  5. [5]

    Auslander, I

    M. Auslander, I. Reiten, S. Smal , Representation theory of Artin algebras, Corrected reprint of the 1995 original. Cambridge Studies in Advanced Mathematics, 36. Cambridge University Press, Cambridge, 1997. xiv+425 pp

    work page 1995

  6. [6]

    Auslander, S

    M. Auslander, S. Smal , Almost split sequences in subcategories, J. Algebra 69 (1981), no. 2, 426--454

    work page 1981

  7. [7]

    Bongartz, A geometric version of the Morita equivalence

    K. Bongartz, A geometric version of the Morita equivalence. J. Algebra 139 (1991), no. 1, 159--171

    work page 1991

  8. [8]

    Bongartz, Minimal singularities for representations of Dynkin quivers

    K. Bongartz, Minimal singularities for representations of Dynkin quivers. Comment. Math. Helv. 69 (1994), no. 4, 575--611

    work page 1994

  9. [9]

    Cerulli Irelli, D

    G. Cerulli Irelli, D. Labardini-Fragoso, J. Schr\"oer, Caldero-Chapoton algebras. Trans. Amer. Math. Soc. 367 (2015), no.4, 2787--2822

    work page 2015

  10. [10]

    X. Chen, M. Lu, Desingularization of quiver Grassmannians for gentle algebras. Algebr. Represent. Theory 19 (2016), no. 6, 1321--1345

    work page 2016

  11. [11]

    Crawley-Boevey, J

    W. Crawley-Boevey, J. Schr\"oer, Irreducible components of varieties of modules. J. Reine Angew. Math. 553 (2002), 201--220

    work page 2002

  12. [12]

    De Concini, E

    C. De Concini, E. Strickland, On the variety of complexes. Adv. in Math. 41 (1981), no. 1, 57--77

    work page 1981

  13. [13]

    Derksen, J

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

    work page 2015

  14. [14]

    Derksen, J

    H. Derksen, J. Weyman, A. Zelevinsky, Quivers with potentials and their representations I: Mutations. Selecta Math. (N.S.) 14 (2008), no. 1, 59--119

    work page 2008

  15. [15]

    Derksen, J

    H. Derksen, J. Weyman, A. Zelevinsky, Quivers with potentials and their representations II: Applications to cluster algebras. J. Amer. Math. Soc. 23 (2010), no. 3, 749--790

    work page 2010

  16. [16]

    Fei, On the general ranks of QP representations

    J. Fei, On the general ranks of QP representations. Preprint (2023), 30 pp., arXiv:2303.10591v4

    work page arXiv 2023

  17. [17]

    Fei, Email conversation (August 2023)

    J. Fei, Email conversation (August 2023)

    work page 2023

  18. [18]

    Gabriel, Finite representation type is open

    P. Gabriel, Finite representation type is open. Proceedings of the International Conference on Representations of Algebras (Carleton Univ., Ottawa, Ont., 1974), Paper No. 10, 23 pp. Carleton Math. Lecture Notes, No. 9, Carleton Univ., Ottawa, Ont., 1974

    work page 1974

  19. [19]

    C. Gei , D. Labardini-Fragoso, J. Schr\"oer, Semicontinuous maps on module varieties. J. Reine Angew. Math. (Crelle) (to appear), 17 pp., arXiv:2302.02085

    work page arXiv

  20. [20]

    C. Gei , B. Leclerc, J. Schr\"oer, Generic bases for cluster algebras and the chamber ansatz. J. Amer. Math. Soc. 25 (2012), no. 1, 21--76

    work page 2012

  21. [21]

    C. Gei , B. Leclerc, J. Schr\"oer, Quivers with relations for symmetrizable Cartan matrices I: Foundations. Invent. Math. 209 (2017), no. 1, 61--158

    work page 2017

  22. [22]

    Kac, Infinite root systems, representations of graphs and invariant theory

    V. Kac, Infinite root systems, representations of graphs and invariant theory. II. J. Algebra 78 (1982), no. 1, 141--162

    work page 1982

  23. [23]

    Mousavand, C

    K. Mousavand, C. Paquette, Geometric interactions between bricks and -rigidity. Preprint (2023), 29 pp., arXiv:2311.14863

    work page arXiv 2023

  24. [24]

    Pfeifer, A generic classification of locally free representations of affine GLS algebras

    C. Pfeifer, A generic classification of locally free representations of affine GLS algebras. Preprint (2023), 34 pp., arXiv:2308.09587

    work page arXiv 2023

  25. [25]

    Plamondon, Generic bases for cluster algebras from the cluster category

    P.-G. Plamondon, Generic bases for cluster algebras from the cluster category. Int. Math. Res. Not. IMRN 2013, no. 10, 2368--2420

    work page 2013

  26. [26]

    Richmond, A stratification for varieties of modules

    N. Richmond, A stratification for varieties of modules. Bull. London Math. Soc. 33 (2001), no. 5, 565--577

    work page 2001

  27. [27]

    Skowro\'nski, K

    A. Skowro\'nski, K. Yamagata, Frobenius algebras. I. EMS Textbk. Math. European Mathematical Society (EMS), Z\"urich, 2011, xii+650 pp

    work page 2011