pith. sign in

arxiv: 2606.23297 · v1 · pith:NOG7LCHQnew · submitted 2026-06-22 · 🧮 math.RT

Infinite τ-tilting theory

Kevin Schlegel This is my paper

Pith reviewed 2026-06-26 06:08 UTC · model grok-4.3

classification 🧮 math.RT
keywords torsion pairsZiegler spectrumτ-tilting theoryArtin algebrasgeneric bricksKrull-Gabriel dimensionBrauer-Thrall conjectureind-completion
0
0 comments X

The pith

Torsion pairs in essentially small abelian categories are classified by cosilting subsets of the Ziegler spectrum of the ind-completion.

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

The paper classifies torsion pairs in an essentially small abelian category by establishing a bijection with cosilting subsets of the Ziegler spectrum of its ind-completion. For Artin algebras this provides an infinite version of τ-tilting theory in which torsion classes are in correspondence with support τ-tilting subsets and torsion-free classes with support τ^--tilting subsets. The same classification is rewritten using ideals in the module category so that only finite-length modules appear. The resulting framework is used to examine generic bricks and generic τ^--rigid modules, with special attention to tame algebras.

Core claim

Torsion pairs in an essentially small abelian category stand in bijection with cosilting subsets of the Ziegler spectrum of the ind-completion of the category. When the category is the module category of an Artin algebra, the torsion classes are precisely the support τ-tilting subsets of the Ziegler spectrum while the torsion-free classes are the support τ^--tilting subsets; the correspondence can also be expressed via ideals of the module category.

What carries the argument

cosilting subsets of the Ziegler spectrum of the ind-completion of the abelian category

If this is right

  • For Artin algebras, torsion classes correspond to support τ-tilting subsets of the Ziegler spectrum.
  • Torsion-free classes correspond to support τ^--tilting subsets.
  • For tame algebras, generic bricks coincide with generic τ^--rigid modules.
  • A tame algebra has infinitely many bricks of a fixed dimension if and only if it has a generic brick.
  • Every algebra with defined Krull-Gabriel dimension satisfies the brick version of the second Brauer-Thrall conjecture.

Where Pith is reading between the lines

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

  • This classification may allow explicit computation of torsion pairs for concrete algebras by examining their Ziegler spectra.
  • The reformulation in terms of finite-length modules only could extend the reach of τ-tilting techniques to settings where infinite-dimensional modules are hard to handle.
  • The result on the Brauer-Thrall conjecture suggests that the brick version holds more generally when the Krull-Gabriel dimension is defined.
  • Connections between generic modules and τ-rigidity might appear in other representation-theoretic contexts beyond tame algebras.

Load-bearing premise

The ind-completion of the essentially small abelian category possesses a Ziegler spectrum whose cosilting subsets are in bijection with the torsion pairs of the original category.

What would settle it

An essentially small abelian category together with a torsion pair that cannot be realized as the cosilting subset corresponding to any point or subset in the Ziegler spectrum of its ind-completion would disprove the classification.

read the original abstract

We classify torsion pairs in an essentially small abelian category through cosilting subsets of the Ziegler spectrum of the ind-completion of the abelian category. For Artin algebras, this classification is reformulated as an infinite analog of $\tau$-tilting theory, where torsion classes correspond to support $\tau$-tilting subsets of the Ziegler spectrum and torsion-free classes correspond to support $\tau^-$-tilting subsets. We further express the classification through ideals of the module category, thereby obtaining a formulation that involves finite length modules only. The developed theory is applied to study generic bricks and generic $\tau^-$-rigid modules, in particular for tame algebras, for which we show that these classes of modules coincide. We also recover a result of Bautista, P\'erez and Salmer\'on stating that a tame algebra admits infinitely many bricks of a fixed dimension if and only if there exists a generic brick. Finally, we prove that every algebra whose Krull-Gabriel dimension is defined satisfies the brick version of the second Brauer-Thrall conjecture.

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 classifies torsion pairs in an essentially small abelian category via cosilting subsets of the Ziegler spectrum of its ind-completion. For Artin algebras this is reformulated as an infinite analogue of τ-tilting theory, with torsion classes corresponding to support τ-tilting subsets and torsion-free classes to support τ^--tilting subsets of the Ziegler spectrum. The classification is also expressed via ideals of the module category that involve only finite-length modules. Applications include the coincidence of generic bricks and generic τ^--rigid modules for tame algebras, recovery of the Bautista–Pérez–Salmerón result on infinitely many bricks of fixed dimension, and a proof that every algebra of defined Krull–Gabriel dimension satisfies the brick form of the second Brauer–Thrall conjecture.

Significance. If the stated bijections hold, the work supplies a systematic infinite extension of τ-tilting theory that connects directly to the Ziegler spectrum and ind-completion constructions already standard in the field. The reformulation in terms of finite-length modules and the concrete applications to tame algebras and the Brauer–Thrall conjecture give the results immediate utility for representation theorists working with Artin algebras.

major comments (2)
  1. [§4, Theorem 4.12] §4, Theorem 4.12: the bijection between torsion pairs in A and cosilting subsets of Zg(Ind A) is stated to be functorial in A, but the proof sketch invokes the universal property of the ind-completion without verifying that the cosilting condition is preserved under the relevant exact functors; this step is load-bearing for the claim that the classification is intrinsic to the original category.
  2. [§6, Proposition 6.7] §6, Proposition 6.7: the identification of generic bricks with generic τ^--rigid modules for tame algebras is obtained by showing that every generic module is a direct limit of finite-length bricks; the argument uses the Krull–Gabriel dimension hypothesis only for the converse direction, leaving open whether the forward implication requires an additional finiteness condition on the Ziegler-closed sets.
minor comments (2)
  1. [§5] Notation for support τ-tilting and support τ^--tilting subsets is introduced in §5 without an explicit comparison table to the classical finite-dimensional case; adding such a table would clarify the infinite extension.
  2. [final section] The statement of the brick Brauer–Thrall result in the final section assumes the algebra is over an algebraically closed field, but this hypothesis is not repeated in the abstract; a parenthetical remark would prevent misreading.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive comments. We address each major comment below and will revise the paper accordingly to strengthen the exposition.

read point-by-point responses

  1. Referee: [§4, Theorem 4.12] the bijection between torsion pairs in A and cosilting subsets of Zg(Ind A) is stated to be functorial in A, but the proof sketch invokes the universal property of the ind-completion without verifying that the cosilting condition is preserved under the relevant exact functors; this step is load-bearing for the claim that the classification is intrinsic to the original category.

    Authors: We agree that the proof of Theorem 4.12 would benefit from an explicit verification that the cosilting condition is preserved. In the revised manuscript we will expand the argument following the universal property of the ind-completion to include a direct check that the relevant exact functors map cosilting subsets to cosilting subsets, thereby confirming the functoriality of the classification. revision: yes

  2. Referee: [§6, Proposition 6.7] the identification of generic bricks with generic τ^--rigid modules for tame algebras is obtained by showing that every generic module is a direct limit of finite-length bricks; the argument uses the Krull–Gabriel dimension hypothesis only for the converse direction, leaving open whether the forward implication requires an additional finiteness condition on the Ziegler-closed sets.

    Authors: In the proof of Proposition 6.7 the forward direction follows from the general fact that every generic module over a tame algebra is a direct limit of finite-length bricks together with the definition of τ^--rigidity; the tame hypothesis already ensures that no extra finiteness condition on Ziegler-closed sets is required. We will insert a short clarifying remark after the proof to make this explicit. revision: partial

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper's central claim is a classification of torsion pairs via cosilting subsets of the Ziegler spectrum of the ind-completion, reformulated for Artin algebras in terms of support τ-tilting subsets and expressed via ideals of finite-length modules. These steps rely on standard, externally established constructions (ind-completion, Ziegler spectrum, cosilting theory, τ-tilting) rather than defining the target objects in terms of themselves or fitting parameters to data and relabeling the fit as a prediction. The paper recovers an external result of Bautista-Pérez-Salmerón and proves a new statement about the brick version of the second Brauer-Thrall conjecture for algebras with defined Krull-Gabriel dimension; neither reduces to a self-citation chain or ansatz smuggled from the authors' prior work. No quoted equation or step in the abstract or claim description exhibits the specific reduction required to flag any of the enumerated circularity patterns. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Ledger constructed from abstract only; no explicit free parameters or invented entities are mentioned.

axioms (2)
  • domain assumption The abelian category under consideration is essentially small.
    Explicitly stated as the setting for the classification.
  • domain assumption The ind-completion admits a Ziegler spectrum whose cosilting subsets classify torsion pairs.
    This is the load-bearing correspondence asserted in the first sentence of the abstract.

pith-pipeline@v0.9.1-grok · 5700 in / 1219 out tokens · 34339 ms · 2026-06-26T06:08:59.318646+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. Brick infinite algebras admit infinitely many non-$\tau$-rigid bricks

    math.RT 2026-06 unverdicted novelty 8.0

    Brick-infinite algebras admit infinitely many non-τ-rigid bricks.

Reference graph

Works this paper leans on

31 extracted references · 4 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    Adachi, O

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

    2014

  2. [2]

    Angeleri Hügel, R

    L. Angeleri Hügel, R. Laking, F. Sentieri,Torsion pairs via the Ziegler spectrum, 2024, arXiv:2403.00475

    work page arXiv 2024

  3. [3]

    Angeleri Hügel, R

    L. Angeleri Hügel, R. Laking, F. Sentieri,Mutation of torsion pairs for finite-dimensional algebras, 2026, arXiv:2602.15798

    work page arXiv 2026

  4. [4]

    Angeleri Hügel, R

    L. Angeleri Hügel, R. Laking, C. Pfeifer, In preperation

  5. [5]

    Auslander, S

    M. Auslander, S. O. Smalø,Preprojective modules over artin algebras, J. Algebra, 66(1) (1980), 61–122

    1980

  6. [6]

    On generic bricks over tame algebras

    R. Bautista, E. Pérez, L. Salmerón,On generic bricks over tame algebras, arXiv:2408.16127

    work page internal anchor Pith review Pith/arXiv arXiv

  7. [7]

    Breitsprecher,Lokal endlich präsentierbare Grothendieck-Kategorien, Mitt

    S. Breitsprecher,Lokal endlich präsentierbare Grothendieck-Kategorien, Mitt. Math. Sem. Giessen Heft 85 (1970), 1–25

    1970

  8. [8]

    Bühler,Exact categories, Expo

    T. Bühler,Exact categories, Expo. Math. 28 (2010), no. 1, 1–69

    2010

  9. [9]

    Crawley-Boevey,On tame algebras and bocses, Proc

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

    1988

  10. [10]

    Crawley-Boevey,Tame algebras and generic modules, Proc

    W. Crawley-Boevey,Tame algebras and generic modules, Proc. London Math. Soc. (3) 63 (1991), 241–265

    1991

  11. [11]

    Crawley-Boevey,Locally finitely presented additive categories, Commun

    W. Crawley-Boevey,Locally finitely presented additive categories, Commun. Algebra 22 (1994), no. 5, 1641–1674

    1994

  12. [12]

    Demonet, O

    L. Demonet, O. Iyama, and G. Jasso,τ-tilting finite algebras, bricks, and g-vectors, Int. Math. Res. Not. IMRN 2019 (3) (2019), 852–892

    2019

  13. [13]

    Geigle,The Krull-Gabriel dimension of the representation theory of a tame hereditary artin algebra and applications to the structure of exact sequences, Manuscr

    W. Geigle,The Krull-Gabriel dimension of the representation theory of a tame hereditary artin algebra and applications to the structure of exact sequences, Manuscr. Math. 54 (1985), 83–106

    1985

  14. [14]

    Gentle and G

    R. Gentle and G. Todorov,Approximations, adjoint functors and torsion theories, in: Representations of algebras (Ottawa, 1992), CMS Conf. Proc. 14, Amer. Math. Soc., Prov- idence, RI, 1993, pp. 205–219

    1992

  15. [15]

    Herzog,The Ziegler spectrum of a locally coherent Grothendieck category, Proc

    I. Herzog,The Ziegler spectrum of a locally coherent Grothendieck category, Proc. London Math. Soc. (3), 74(3), 503–558, 1997

    1997

  16. [16]

    Krause,Stable equivalence preserves representation type, Comment

    H. Krause,Stable equivalence preserves representation type, Comment. Math. Helv. 72 (1997), 266–284

    1997

  17. [17]

    Krause,The Spectrum of a Module Category, Habilitationsschrift, Universität Bielefeld, 1997, published as Mem

    H. Krause,The Spectrum of a Module Category, Habilitationsschrift, Universität Bielefeld, 1997, published as Mem. Amer. Math. Soc., No. 707, 2001

    1997

  18. [18]

    Krause,The spectrum of a locally coherent category, J

    H. Krause,The spectrum of a locally coherent category, J. Pure Appl. Algebra, 114(3), 259–271, 1997

    1997

  19. [19]

    Krause,Exactly definable categories, J

    H. Krause,Exactly definable categories, J. Algebra 201 (1998), no. 2, 456–492

    1998

  20. [20]

    Krause,Generic Modules Over Artin Algebras, Proc

    H. Krause,Generic Modules Over Artin Algebras, Proc. London Math. Soc. (3) 76 (1998), no. 2, 276–306

    1998

  21. [21]

    Krause,A short proof for Auslander’s defect formula, Linear Algebra Appl

    H. Krause,A short proof for Auslander’s defect formula, Linear Algebra Appl. 365 (2003), 267–270

    2003

  22. [22]

    Krause,Homological theory of representations, volume 195 of Cambridge Studies in Advanced Mathematics

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

    2022

  23. [23]

    Mousavand, C

    K. Mousavand, C. Paquette,Biserial algebras and generic bricks, Mathematische Zeitschrift, Vol. 310 (64) (2025) 1–28

    2025

  24. [24]

    Mousavand, C

    K. Mousavand, C. Paquette,Hom-orthogonal modules and brick-Brauer-Thrall conjec- tures, J. Algebra, Vol. 686, 2026, 650–676

    2026

  25. [25]

    Pastuszak,Covering theory, functor categories and the Krull-Gabriel dimension, J

    G. Pastuszak,Covering theory, functor categories and the Krull-Gabriel dimension, J. Algebra 701 (2026), 655–719

    2026

  26. [26]

    Positselski,Locally coherent exact categories, Appl

    L. Positselski,Locally coherent exact categories, Appl. Categ. Structures 32 (2024), 20

    2024

  27. [27]

    Prest,Ideals in mod-Rand theω-radical, J

    M. Prest,Ideals in mod-Rand theω-radical, J. London Math. Soc., 2005, 71(2), 321–334

    2005

  28. [28]

    Prest,Purity, Spectra and Localisation, Cambridge: Cambridge University Press; 2009

    M. Prest,Purity, Spectra and Localisation, Cambridge: Cambridge University Press; 2009

    2009

  29. [29]

    Schlegel,Exact structures and purity, Adv

    K. Schlegel,Exact structures and purity, Adv. Math. 479 (2025), 110433. 20 KEVIN SCHLEGEL

    2025

  30. [30]

    Schlegel,Constructible Subcategories and Unbounded Representation Type (with an appendix by Andres Fernandez Herrero), arXiv:2507.22192, 2025

    K. Schlegel,Constructible Subcategories and Unbounded Representation Type (with an appendix by Andres Fernandez Herrero), arXiv:2507.22192, 2025

    work page arXiv 2025

  31. [31]

    Ziegler,Model theory of modules, Ann

    M. Ziegler,Model theory of modules, Ann. Pure Appl. Logic 26 (1984), 149–213. F aculty of Mathematics, Bielefeld University, 33615 Bielefeld, Germany Email address:schlegel@math.uni-bielefeld.de

    1984