arxiv: 2604.27528 · v1 · submitted 2026-04-30 · 🧮 math.RT · math.RA

Recognition: unknown

From finite to infinite length modules over tame hereditary algebras

Andrew Hubery, Henning Krause, Lidia Angeleri H\"ugel

Pith reviewed 2026-05-07 08:07 UTC · model grok-4.3

classification 🧮 math.RT math.RA

keywords tame hereditary algebraspure-injective modulesgeneric moduletorsionfree divisible modulesinfinite-dimensional representationsrepresentation theory of algebrashereditary algebras

0 comments

The pith

Over tame hereditary algebras every torsionfree divisible module is a direct sum of copies of the unique generic module.

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

The paper provides a self-contained introduction to infinite-dimensional representations over tame hereditary algebras, building directly on the category of finite-dimensional representations. It delivers a complete description of all pure-injective modules in this setting. Of special focus is the fact that torsionfree divisible modules coincide exactly with the direct sums of copies of a single generic module. This structure makes the infinite-length theory accessible from the finite-dimensional case.

Core claim

For any tame hereditary algebra there exists a unique generic module, and the torsionfree divisible modules are precisely the direct sums of copies of this module. When combined with the finite-dimensional indecomposables and the indecomposable injectives, the result is a full classification of every pure-injective module over the algebra.

What carries the argument

The unique generic module, which serves as the sole indecomposable building block for all torsionfree divisible modules.

Load-bearing premise

The algebra must be both tame and hereditary, the condition that produces exactly one generic module and forces the stated structure on pure-injective modules.

What would settle it

An explicit tame hereditary algebra possessing two non-isomorphic generic modules, or a torsionfree divisible module over such an algebra that cannot be expressed as a direct sum of copies of the generic module, would refute the classification.

read the original abstract

A self-contained introduction to infinite dimensional representations over a tame hereditary algebra is provided, assuming a basic knowledge of the category of finite dimensional representations. This includes a complete description of all pure-injective modules. Of particular interest are the torsionfree divisible modules, which are precisely the direct sums of copies of the unique generic module.

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.

Desk Editor's Note private letter to a colleague

This paper is a useful expository introduction that classifies pure-injective modules over tame hereditary algebras by building from the finite-dimensional case.

read the letter

The main takeaway is that this paper serves as a self-contained introduction to infinite-dimensional representations over tame hereditary algebras, delivering a complete description of all pure-injective modules along the way. It assumes readers know the basics of finite-dimensional representations and then extends that knowledge using standard category-theoretic constructions. A highlight is the statement that torsionfree divisible modules are precisely the direct sums of copies of the unique generic module. This gives a clean picture of one important class of infinite modules and should help with further work on homological properties. The paper does well at making the material approachable. By focusing on tame hereditary algebras, it exploits the existence of the generic module to keep the structure manageable. The logic flows from the finite case without apparent circularity, and the claims are consistent with the broader literature on these algebras. On the softer side, since the paper is framed as an introduction, the core classification is probably a reorganization of known results rather than a completely original discovery. The abstract does not detail new technical tools or unexpected findings, so the value lies more in the exposition than in fresh theorems. Without the full proofs visible here, it is difficult to assess every detail, but nothing in the outline suggests a load-bearing flaw. This work is for people in representation theory of algebras who are comfortable with finite-dimensional modules and want to understand the infinite-dimensional side, especially pure-injectives. Experts might not need it, but it could be a good entry point or reference for students and researchers expanding their scope. I would consider bringing it to a reading group for the classification section, as it might lead to useful conversations. I would not cite it in my own research soon, as the results seem drawn from prior work. That said, it deserves peer review because it provides a meaningful organization of the infinite part of the module category and is likely to be useful to others in the field.

Referee Report

0 major / 1 minor

Summary. The manuscript provides a self-contained introduction to infinite-dimensional representations over tame hereditary algebras, assuming basic knowledge of the finite-dimensional representation category. It claims a complete description of all pure-injective modules, with particular emphasis on the torsionfree divisible modules being precisely the direct sums of copies of the unique generic module.

Significance. If the claims hold, the work would offer a valuable bridge between finite- and infinite-dimensional representation theory for tame hereditary algebras. The structured description of pure-injective modules, especially the characterization of torsionfree divisible modules via the generic module, aligns with established results in the field and could serve as an accessible reference for extending category-theoretic techniques to infinite-length modules.

minor comments (1)

The abstract asserts a 'complete description' of pure-injective modules; if the manuscript contains explicit constructions or classification theorems, they should be cross-referenced to the abstract for clarity.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their thoughtful review of our manuscript on infinite-dimensional representations over tame hereditary algebras. The referee's summary accurately reflects the content, and we appreciate the recognition of its potential significance as a bridge between finite- and infinite-dimensional representation theory. We note that no specific major comments were listed, and the recommendation is 'uncertain'. We provide a response to this below.

read point-by-point responses

Referee: No specific major comments are provided, but the recommendation is 'uncertain' with the significance being conditional ('if the claims hold').

Authors: We are glad that the referee sees the alignment with established results in the field. The complete description of pure-injective modules is the core contribution, with the torsionfree divisible modules characterized as direct sums of the generic module. This is proven in a self-contained manner assuming only basic knowledge of finite-dimensional representations. The arguments rely on standard techniques from representation theory of algebras, extended to the infinite case. We stand by the correctness of these claims as presented in the manuscript. Should the referee have any particular aspect of the proof or statement that raises uncertainty, we would welcome the opportunity to clarify or expand upon it in a revised version if necessary. revision: no

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper explicitly frames itself as a self-contained introduction that starts from the established category of finite-dimensional representations over a tame hereditary algebra and applies standard category-theoretic constructions (pure-injective envelopes, torsion theories, and generic modules) to reach the classification of infinite-length modules. The central claim—that torsionfree divisible modules are direct sums of copies of the unique generic module—follows from the known existence and uniqueness of the generic module for tame hereditary algebras, which is an external fact about the representation theory of such algebras rather than a quantity fitted or defined inside the paper. No equations, predictions, or uniqueness theorems are shown to reduce by construction to inputs supplied by the same paper; self-citations, if present, are not load-bearing for the core classification. The derivation therefore remains independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the standard definitions and properties of tame hereditary algebras and their finite-dimensional module categories, which are taken from prior literature in representation theory.

axioms (2)

domain assumption The algebra under consideration is tame and hereditary.
All descriptions and characterizations are stated specifically for this class of algebras.
domain assumption There exists a unique generic module over such an algebra.
The characterization of torsionfree divisible modules relies on the uniqueness of this module.

pith-pipeline@v0.9.0 · 5338 in / 1274 out tokens · 62592 ms · 2026-05-07T08:07:03.952979+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

37 extracted references

[1]

Large tilting modules and representation type.Manuscripta Math., 132(3-4):483–499, 2010

Lidia Angeleri H¨ ugel, Otto Kerner, and Jan Trlifaj. Large tilting modules and representation type.Manuscripta Math., 132(3-4):483–499, 2010

2010
[2]

Functors and morphisms determined by objects

Maurice Auslander. Functors and morphisms determined by objects. InRepresentation theory of algebras (Proc. Conf., Temple Univ., Philadelphia, Pa., 1976), volume 37, pages 1–244. Dekker, New York, 1978

1976
[3]

W. W. Crawley-Boevey. Regular modules for tame hereditary algebras.Proc. London Math. Soc. (3), 62(3):490–508, 1991

1991
[4]

Modules of finite length over their endomorphism rings

William Crawley-Boevey. Modules of finite length over their endomorphism rings. InRepre- sentations of algebras and related topics (Kyoto, 1990), volume 168 ofLondon Math. Soc. Lecture Note Ser., pages 127–184. Cambridge Univ. Press, Cambridge, 1992

1990
[5]

Infinite-dimensional modules in the representation theory of finite- dimensional algebras

William Crawley-Boevey. Infinite-dimensional modules in the representation theory of finite- dimensional algebras. InAlgebras and modules, I (Trondheim, 1996), volume 23 ofCMS Conf. Proc., pages 29–54. Amer. Math. Soc., Providence, RI, 1998

1996
[6]

Indecomposable representations of graphs and algebras.Mem

Vlastimil Dlab and Claus Michael Ringel. Indecomposable representations of graphs and algebras.Mem. Amer. Math. Soc., 6(173):v+57, 1976

1976
[7]

Eklof and Jan Trlifaj

Paul C. Eklof and Jan Trlifaj. How to make Ext vanish.Bull. London Math. Soc., 33(1):41–51, 2001

2001
[8]

Edgar E. Enochs. Injective and flat covers, envelopes and resolvents.Israel J. Math., 39(3):189–209, 1981. 18 LIDIA ANGELERI H ¨UGEL, ANDREW HUBERY, AND HENNING KRAUSE

1981
[9]

Spektralkategorien und regul¨ are Ringe im von- Neumannschen Sinn.Math

Peter Gabriel and Ulrich Oberst. Spektralkategorien und regul¨ are Ringe im von- Neumannschen Sinn.Math. Z., 92:389–395, 1966

1966
[10]

Des cat´ egories ab´ eliennes.Bull

Pierre Gabriel. Des cat´ egories ab´ eliennes.Bull. Soc. Math. France, 90:323–448, 1962

1962
[11]

Werner Geigle. The Krull-Gabriel dimension of the representation theory of a tame hereditary Artin algebra and applications to the structure of exact sequences.Manuscripta Math., 54(1- 2):83–106, 1985

1985
[12]

Volume 1, volume 41 ofDe Gruyter Expositions in Mathematics

R¨ udiger G¨ obel and Jan Trlifaj.Approximations and endomorphism algebras of modules. Volume 1, volume 41 ofDe Gruyter Expositions in Mathematics. Walter de Gruyter GmbH & Co. KG, Berlin, extended edition, 2012. Approximations

2012
[13]

Laurent Gruson and Christian U. Jensen. Deux applications de la notion deL-dimension.C. R. Acad. Sci. Paris S´ er. A-B, 282(1):Aii, A23–A24, 1976

1976
[14]

Elementary duality of modules.Trans

Ivo Herzog. Elementary duality of modules.Trans. Amer. Math. Soc., 340(1):37–69, 1993

1993
[15]

Jensen and Helmut Lenzing.Model-theoretic algebra with particular emphasis on fields, rings, modules, volume 2 ofAlgebra, Logic and Applications

Christian U. Jensen and Helmut Lenzing.Model-theoretic algebra with particular emphasis on fields, rings, modules, volume 2 ofAlgebra, Logic and Applications. Gordon and Breach Science Publishers, New York, 1989

1989
[16]

An axiomatic description of a duality for modules.Adv

Henning Krause. An axiomatic description of a duality for modules.Adv. Math., 130(2):280– 286, 1997

1997
[17]

Generic modules over Artin algebras.Proc

Henning Krause. Generic modules over Artin algebras.Proc. London Math. Soc. (3), 76(2):276–306, 1998

1998
[18]

Cambridge University Press, Cambridge, 2022

Henning Krause.Homological theory of representations, volume 195 ofCambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2022

2022
[19]

Trends in Mathe- matics

Henning Krause and Claus Michael Ringel, editors.Infinite length modules. Trends in Mathe- matics. Birkh¨ auser Verlag, Basel, 2000. Invited lectures from the conference held in Bielefeld, September 7–11, 1998

2000
[20]

H. Lenzing. Homological transfer from finitely presented to infinite modules. InAbelian group theory (Honolulu, Hawaii, 1983), volume 1006 ofLecture Notes in Math., pages 734–761. Springer, Berlin, 1983

1983
[21]

Modules with descending chain condition.Trans

Eben Matlis. Modules with descending chain condition.Trans. Amer. Math. Soc., 97:495–508, 1960

1960
[22]

Indecomposable pure-injective modules over hereditary Artin algebras of tame type.Comm

Frank Okoh. Indecomposable pure-injective modules over hereditary Artin algebras of tame type.Comm. Algebra, 8(20):1939–1941, 1980

1939
[23]

Cambridge University Press, Cambridge, 1988

Mike Prest.Model theory and modules, volume 130 ofLondon Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 1988

1988
[24]

Ziegler spectra of tame hereditary algebras.J

Mike Prest. Ziegler spectra of tame hereditary algebras.J. Algebra, 207(1):146–164, 1998

1998
[25]

Cambridge University Press, Cambridge, 2009

Mike Prest.Purity, spectra and localisation, volume 121 ofEncyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, 2009

2009
[26]

Infinite dimensional representations of canonical al- gebras.Canad

Idun Reiten and Claus Michael Ringel. Infinite dimensional representations of canonical al- gebras.Canad. J. Math., 58(1):180–224, 2006

2006
[27]

Infinite-dimensional representations of finite-dimensional hereditary al- gebras

Claus Michael Ringel. Infinite-dimensional representations of finite-dimensional hereditary al- gebras. InSymposia Mathematica, Vol. XXIII (Conf. Abelian Groups and their Relationship to the Theory of Modules, INDAM, Rome, 1977), pages 321–412. Academic Press, London- New York, 1979

1977
[28]

The spectrum of a finite-dimensional algebra

Claus Michael Ringel. The spectrum of a finite-dimensional algebra. InRing theory (Proc. Antwerp Conf. (NATO Adv. Study Inst.), Univ. Antwerp, Antwerp, 1978), volume 51 of Lect. Notes Pure Appl. Math., pages 535–597. Dekker, New York, 1979

1978
[29]

A construction of endofinite modules

Claus Michael Ringel. A construction of endofinite modules. InAdvances in algebra and model theory (Essen, 1994; Dresden, 1995), volume 9 ofAlgebra Logic Appl., pages 387–399. Gordon and Breach, Amsterdam, 1997

1994
[30]

The Ziegler spectrum of a tame hereditary algebra.Colloq

Claus Michael Ringel. The Ziegler spectrum of a tame hereditary algebra.Colloq. Math., 76(1):105–115, 1998

1998
[31]

Tame algebras are wild.Algebra Colloq., 6(4):473–480, 1999

Claus Michael Ringel. Tame algebras are wild.Algebra Colloq., 6(4):473–480, 1999

1999
[32]

Algebraically compact modules arising from tubular families: a survey

Claus Michael Ringel. Algebraically compact modules arising from tubular families: a survey. InProceedings of the International Conference on Algebra, volume 11, pages 155–172, 2004

2004
[33]

The ladder construction of Pr¨ ufer modules.Rev

Claus Michael Ringel. The ladder construction of Pr¨ ufer modules.Rev. Un. Mat. Argentina, 48(2):47–65, 2007

2007
[34]

Generic representations of wild quivers.Int

Claus Michael Ringel. Generic representations of wild quivers.Int. Math. Res. Not. IMRN, (19):9727–9735, 2015

2015
[35]

A. H. Schofield.Representation of rings over skew fields, volume 92 ofLondon Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 1985

1985
[36]

Model theory of modules.Ann

Martin Ziegler. Model theory of modules.Ann. Pure Appl. Logic, 26(2):149–213, 1984

1984
[37]

Rein injektive direkte Summen von Moduln.Comm

Wolfgang Zimmermann. Rein injektive direkte Summen von Moduln.Comm. Algebra, 5(10):1083–1117, 1977. INFINITE LENGTH MODULES OVER TAME HEREDITARY ALGEBRAS 19 Dipartimento di Informatica - Settore di Matematica, Universit `a degli Studi di Verona, I-37134 Verona, Italy Email address:lidia.angeleri@univr.it Fakult¨at f¨ur Mathematik, Universit¨at Bielefeld, ...

1977