arxiv: 2605.07555 · v1 · submitted 2026-05-08 · 🧮 math.RT · math.RA

Recognition: no theorem link

Limits and colimits in silting theory with applications to the wall and chamber structure of an algebra

Alexandra Zvonareva, Rosanna Laking

Pith reviewed 2026-05-11 02:32 UTC · model grok-4.3

classification 🧮 math.RT math.RA

keywords silting objectst-structureshomotopy colimitscosilting objectsnumerical torsion pairswall and chamber structureGrothendieck groupfinite-dimensional algebras

0 comments

The pith

The intersection of aisles in a family of nested t-structures from silting objects is realized as a silting object via homotopy colimit.

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

The paper shows how to construct a silting object whose aisle is exactly the intersection of a nested family of t-structure aisles, where each t-structure comes from a silting object; the construction uses the homotopy colimit of the family. The same idea works dually for cosilting objects via homotopy limits. This is useful because it turns limiting or infinite processes into explicit new silting objects inside the derived category of a finite-dimensional algebra. The method then produces two-term large silting objects that match numerical torsion pairs and the limiting walls in the wall-and-chamber decomposition of the real Grothendieck group.

Core claim

We construct a silting object corresponding to the intersection of aisles of these t-structures as a homotopy colimit. The dual construction for the cosilting case is given as a homotopy limit. The results are applied to construct two-term large silting objects corresponding to the numerical torsion pairs and the limiting walls in the wall and chamber structure of the real Grothendieck group of a finite dimensional algebra. In particular, in case the algebra is tame we can describe any numerical torsion pair in this way by combining our results with results of Plamondon and Yurikusa.

What carries the argument

Homotopy colimit of a directed system of silting objects, which yields the silting object whose aisle equals the intersection of the given nested t-structure aisles.

If this is right

Numerical torsion pairs in the real Grothendieck group correspond to two-term large silting objects obtained as these homotopy colimits.
Limiting walls in the wall-and-chamber structure arise directly from homotopy colimits of the associated silting objects.
For tame algebras every numerical torsion pair is realized by such a two-term large silting object.
The dual homotopy-limit construction supplies the corresponding cosilting objects for the coaisle intersections.

Where Pith is reading between the lines

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

The same colimit construction could be used to produce silting objects at the boundary of any chamber once an explicit nested sequence approaching the wall is given.
The method supplies a uniform way to pass from finite silting data to the limiting objects that appear in the compactification of the silting space.
Symmetric use of colimits and limits may allow a description of the entire lattice of silting and cosilting objects by directed systems.

Load-bearing premise

The intersection of the aisles of the nested t-structures must itself be the aisle of a silting object, and that object must arise exactly as the homotopy colimit of the original family.

What would settle it

An explicit calculation for a small finite-dimensional algebra such as the Kronecker algebra, showing that the homotopy colimit of a concrete nested family of silting objects is either not silting or has an aisle strictly larger than the intersection of the original aisles, would disprove the claim.

Figures

Figures reproduced from arXiv: 2605.07555 by Alexandra Zvonareva, Rosanna Laking.

**Figure 1.** Figure 1: The wall and chamber structure for the Kronecker quiver. Large silting theory abstracts the notion of silting to more general triangulated categories, namely, triangulated categories with coproducts, such as the derived category of a ring D(A). Large silting objects can be also used to parametrise well behaved t-structures. In a compactly generated triangulated category, equivalence classes of silting obj… view at source ↗

**Figure 2.** Figure 2: The wall and chamber structure for the Kronecker quiver. Example 7.9. Let A = kQ be the path algebra of the Kronecker quiver, Q = 1 ⇒ 2. The wall and chamber structure of A is well know and is schematically depicted on [PITH_FULL_IMAGE:figures/full_fig_p028_2.png] view at source ↗

read the original abstract

In this paper we consider a family of nested t-structures given by silting objects and construct a silting object corresponding to the intersection of aisles of these t-structures as a homotopy colimit. The dual construction for the cosilting case is given as a homotopy limit. The results are applied to construct two-term large silting objects corresponding to the numerical torsion pairs and the limiting walls in the wall and chamber structure of the real Grothendieck group of a finite dimensional algebra. In particular, in case the algebra is tame we can describe any numerical torsion pair in this way by combining our results with results of Plamondon and Yurikusa.

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

The homotopy colimit construction for intersection silting objects is new and works cleanly under finite-dimensionality, giving a direct link to limiting numerical torsion pairs in the wall-chamber structure.

read the letter

The main new piece is the explicit realization of a silting object for the intersection of a directed system of nested silting t-structures as a homotopy colimit in the derived category, with the dual statement for cosilting objects via homotopy limits. They then apply this to produce two-term large silting objects that correspond to numerical torsion pairs arising from limiting walls on the real Grothendieck group of a finite-dimensional algebra. For tame algebras this combines with Plamondon-Yurikusa to give a description of every numerical torsion pair in that way.

Referee Report

2 major / 2 minor

Summary. The paper considers a (possibly infinite) directed family of nested t-structures on the bounded derived category of a finite-dimensional algebra A, each induced by a silting object. It constructs a silting object whose aisle is the intersection of the given aisles by realizing it as the homotopy colimit of the family; a dual homotopy-limit construction is given for cosilting objects. These are applied to produce two-term large silting objects corresponding to numerical torsion pairs and to the limiting walls in the wall-and-chamber decomposition of the real Grothendieck group K_0(A)_R; when A is tame the construction, combined with results of Plamondon–Yurikusa, yields a complete description of all numerical torsion pairs.

Significance. If the central construction is valid, the work supplies a categorical mechanism for realizing intersections of silting t-structures via homotopy (co)limits and links this directly to the geometry of numerical torsion pairs. This could streamline the study of infinite families of silting objects and their stability conditions, especially in tame representation theory.

major comments (2)

[§3, Theorem 3.5] §3, Theorem 3.5 (and the preceding Construction 3.4): the argument that the homotopy colimit T = hocolim T_i remains silting must verify both Hom(T,T[i])=0 for i>0 and that the aisle generated by T equals the intersection of the individual aisles. While finite-dimensionality of A is assumed, the proof should explicitly rule out the possibility that the colimit introduces new positive self-extensions or fails to generate precisely the intersection aisle; general facts about t-structures guarantee the intersection is a t-structure, but the silting property for T is not automatic and is load-bearing for all later applications.
[§5, Theorem 5.3] §5, Theorem 5.3: the claim that the two-term large silting object obtained from the homotopy colimit corresponds exactly to a given numerical torsion pair (and to the limiting wall) requires a precise identification of the numerical invariants preserved by the colimit; without an explicit computation relating the class of T in K_0(A)_R to the intersection of the numerical classes of the T_i, the link to the wall-and-chamber structure remains formal.

minor comments (2)

[Abstract and §1] The abstract and §1 introduce 'large silting objects' without a definition or reference; a short parenthetical or citation would improve readability.
[§3 and §4] Notation for homotopy colimits (e.g., whether they are taken in D^b(mod A) or in a larger category) should be fixed consistently throughout §3 and §4.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for highlighting these points that require greater explicitness in the proofs. We have revised the paper to address both major comments by expanding the relevant arguments in Sections 3 and 5.

read point-by-point responses

Referee: [§3, Theorem 3.5] §3, Theorem 3.5 (and the preceding Construction 3.4): the argument that the homotopy colimit T = hocolim T_i remains silting must verify both Hom(T,T[i])=0 for i>0 and that the aisle generated by T equals the intersection of the individual aisles. While finite-dimensionality of A is assumed, the proof should explicitly rule out the possibility that the colimit introduces new positive self-extensions or fails to generate precisely the intersection aisle; general facts about t-structures guarantee the intersection is a t-structure, but the silting property for T is not automatic and is load-bearing for all later applications.

Authors: We agree that the original argument in Theorem 3.5 did not spell out the verification of the silting property in sufficient detail. In the revised manuscript we have added a self-contained paragraph after Construction 3.4 that proceeds in two steps. First, the vanishing Hom(T,T[i])=0 for i>0 is obtained from the long exact sequence of Hom-spaces associated with the homotopy colimit triangle together with the nested inclusion of aisles: any putative positive extension would already appear in some T_j for large j, contradicting that each T_j is silting. Second, the universal property of the homotopy colimit in the homotopy category of t-structures shows that the aisle generated by T is exactly the intersection of the given aisles; in particular, no extra objects are added to the aisle. Finite-dimensionality of A is used only to guarantee that the homotopy colimit exists inside the bounded derived category, which is already stated in the setup. revision: yes
Referee: [§5, Theorem 5.3] §5, Theorem 5.3: the claim that the two-term large silting object obtained from the homotopy colimit corresponds exactly to a given numerical torsion pair (and to the limiting wall) requires a precise identification of the numerical invariants preserved by the colimit; without an explicit computation relating the class of T in K_0(A)_R to the intersection of the numerical classes of the T_i, the link to the wall-and-chamber structure remains formal.

Authors: We accept that the numerical identification in Theorem 5.3 was stated too briefly. The revised proof now contains an explicit computation: because the family is nested and directed, the class [T] in K_0(A)_R is the pointwise limit of the classes [T_i] with respect to the real Euler form. This limit is precisely the supporting hyperplane of the limiting wall that defines the numerical torsion pair. The argument uses only the compatibility of the Grothendieck-group functor with homotopy colimits (which holds for any finite-dimensional algebra) and the fact that the two-term condition is preserved under the colimit, which is verified separately. This makes the correspondence with the wall-and-chamber structure fully rigorous. revision: yes

Circularity Check

0 steps flagged

No circularity: constructions rely on standard t-structure and homotopy limit properties

full rationale

The central construction defines a silting object via homotopy colimit of nested t-structures arising from silting objects, with the dual for cosilting via homotopy limit. This step invokes general facts about aisles, t-structures, and homotopy (co)limits in the derived category rather than reducing the silting property or intersection aisle to a self-definition, fitted parameter, or self-citation chain. The application to numerical torsion pairs and limiting walls combines the result with external work of Plamondon and Yurikusa for the tame case, without the derivation chain collapsing to its own inputs by construction. The paper remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work relies on standard background from silting theory and triangulated categories without introducing new free parameters or invented entities; the main novelty is the specific colimit construction.

axioms (2)

standard math Standard properties of t-structures, silting objects, and homotopy (co)limits in triangulated categories hold.
Invoked throughout the construction of the colimit silting object.
domain assumption The algebra is finite-dimensional (and tame for the complete numerical torsion pair description).
Required for the wall-and-chamber application and the Plamondon-Yurikusa combination.

pith-pipeline@v0.9.0 · 5411 in / 1417 out tokens · 50149 ms · 2026-05-11T02:32:05.329933+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

39 extracted references · 39 canonical work pages

[1]

Alonso Tarr´ ıo, A

L. Alonso Tarr´ ıo, A. J. L´ opez, and M. J. S. Salorio. Construction oft-structures and equivalences of derived categories.Trans. Am. Math. Soc., 355(6):2523–2543, 2003

work page 2003
[2]

Angeleri H¨ ugel

L. Angeleri H¨ ugel. Infinite dimensional tilting theory. InAdvances in representation theory of algebras. Selected papers of the 15th international conference on representations of algebras and workshop (ICRA XV), Bielefeld, Germany, August 8–17, 2012, pages 1–37. Z¨ urich: European Mathematical Society (EMS), 2014

work page 2012
[3]

Angeleri H¨ ugel and M

L. Angeleri H¨ ugel and M. Hrbek. Parametrizing torsion pairs in derived categories.Represent. Theory, 25:679– 731, 2021

work page 2021
[4]

Angeleri H¨ ugel, R

L. Angeleri H¨ ugel, R. Laking, J. ˇSˇtov´ ıˇ cek, and J. Vit´ oria. Mutation and torsion pairs.Algebra Number Theory, 19(7):1313–1368, 2025

work page 2025
[5]

Angeleri H¨ ugel, F

L. Angeleri H¨ ugel, F. Marks, and J. Vit´ oria. Silting modules.Int. Math. Res. Not., 2016(4):1251–1284, 2016

work page 2016
[6]

Angeleri H¨ ugel, F

L. Angeleri H¨ ugel, F. Marks, and J. Vit´ oria. Partial silting objects and smashing subcategories.Math. Z., 296(3- 4):887–900, 2020

work page 2020
[7]

S. Asai. The wall-chamber structures of the real Grothendieck groups.Adv. Math., 381:45, 2021. Id/No 107615

work page 2021
[8]

Asai and O

S. Asai and O. Iyama. Semistable torsion classes and canonical decompositions in Grothendieck groups.Proceed- ings of the London Mathematical Society, 129(5):e12639, 2024

work page 2024
[9]

Baumann, J

P. Baumann, J. Kamnitzer, and P. Tingley. Affine Mirkovi´ c-Vilonen polytopes.Publ. Math., Inst. Hautes ´Etud. Sci., 120:113–205, 2014

work page 2014
[10]

Analyse et Topologie sur les Espaces Singuliers

A. Beilinson, J. Bernstein, P. Deligne, and O. Gabber.Faisceaux pervers. Actes du colloque “Analyse et Topologie sur les Espaces Singuliers”. Partie I, volume 100 ofAst´ erisque. Paris: Soci´ et´ e Math´ ematique de France (SMF), 2nd edition edition, 2018

work page 2018
[11]

Bird and J

I. Bird and J. Williamson. Duality pairs, phantom maps, and definability in triangulated categories.Proceedings of the Royal Society of Edinburgh Section A: Mathematics, pages 1–46, 2024

work page 2024
[12]

M. V. Bondarko. Weight structures vs.t-structures; weight filtrations, spectral sequences, and complexes (for motives and in general).J.K-Theory, 6(3):387–504, 2010

work page 2010
[13]

M. V. Bondarko. On torsion pairs, (well generated) weight structures, adjacentt-structures, and related (co)homological functors. Preprint, arXiv:1611.00754 [math.KT] (2016), 2016

work page arXiv 2016
[14]

C. A. Braga. Continuous limits of tilting modules.Algebra Discrete Math., 28(2):184–194, 2019

work page 2019
[15]

C. A. Braga and F. U. Coelho. Limits of tilting modules.Colloq. Math., 115(2):207–217, 2009

work page 2009
[16]

S. Breaz. On a characterization of (co)silting objects.J. Pure Appl. Algebra, 228(10):14, 2024. Id/No 107705

work page 2024
[17]

Bridgeland

T. Bridgeland. Scattering diagrams, Hall algebras and stability conditions.Algebr. Geom., 4(5):523–561, 2017

work page 2017
[18]

Br¨ ustle, D

T. Br¨ ustle, D. Smith, and H. Treffinger. Wall and chamber structure for finite-dimensional algebras.Adv. Math., 354:31, 2019. Id/No 106746

work page 2019
[19]

A. B. Buan and Ø. Solberg. Limits of pure-injective cotilting modules.Algebr. Represent. Theory, 8(5):621–634, 2005

work page 2005
[20]

B¨ uhler

T. B¨ uhler. Exact categories.Expositiones Mathematicae, 28(1):1–69, 2010

work page 2010
[21]

Demonet, O

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

work page 2019
[22]

El Bashir

R. El Bashir. Covers and directed colimits.Algebr. Represent. Theory, 9(5):423–430, 2006

work page 2006
[23]

Gillespie

J. Gillespie. Abelian model category theory.Cambridge studies in advance math, 215, 1945

work page 1945
[24]

G¨ obel and J

R. G¨ obel and J. Trlifaj.Approximations and endomorphism algebras of modules. Volume 1: Approximations. Volume 2: Predictions., volume 41 ofDe Gruyter Expo. Math.Berlin: Walter de Gruyter, 2nd revised and extended ed. edition, 2012

work page 2012
[25]

Hovey.Model categories

M. Hovey.Model categories. Number 63. American Mathematical Soc., 2007

work page 2007
[26]

Keller and P

B. Keller and P. Nicol´ as. Weight structures and simple dg modules for positive dg algebras.Int. Math. Res. Not., 2013(5):1028–1078, 2013

work page 2013
[27]

Koenig and D

S. Koenig and D. Yang. Silting objects, simple-minded collections,t-structures and co-t-structures for finite- dimensional algebras.Doc. Math., 19:403–438, 2014

work page 2014
[28]

R. Laking. Purity in compactly generated derivators and t-structures with Grothendieck hearts.Math. Z., 295(3- 4):1615–1641, 2020

work page 2020
[29]

Laking and J

R. Laking and J. Vit´ oria. Definability and approximations in triangulated categories.Pac. J. Math., 306(2):557– 586, 2020

work page 2020
[30]

Marks and J

F. Marks and J. Vit´ oria. Silting and cosilting classes in derived categories.J. Algebra, 501:526–544, 2018

work page 2018
[31]

Marks and A

F. Marks and A. Zvonareva. Lifting and restricting t-structures.Bull. Lond. Math. Soc., 55(2):640–657, 2023

work page 2023
[32]

A. Neeman. Triangulated categories with a single compact generator, and two Brown representability theorems. Invent. Math., 244(2):531–616, 2026. 29

work page 2026
[33]

Nicol´ as, M

P. Nicol´ as, M. Saor´ ın, and A. Zvonareva. Silting theory in triangulated categories with coproducts.J. Pure Appl. Algebra, 223(6):2273–2319, 2019

work page 2019
[34]

Pauksztello

D. Pauksztello. Compact corigid objects in triangulated categories and co-t-structures.Cent. Eur. J. Math., 6(1):25–42, 2008

work page 2008
[35]

Plamondon, T

P.-G. Plamondon, T. Yurikusa, and B. Keller. Tame algebras have dense g-vector fans.International Mathematics Research Notices, 2023(4):2701–2747, 2023

work page 2023
[36]

Psaroudakis and J

C. Psaroudakis and J. Vit´ oria. Realisation functors in tilting theory.Math. Z., 288(3-4):965–1028, 2018

work page 2018
[37]

Saor´ ın and J.ˇSˇtov´ ıˇ cek

M. Saor´ ın and J.ˇSˇtov´ ıˇ cek. On exact categories and applications to triangulated adjoints and model structures. Adv. Math., 228(2):968–1007, 2011

work page 2011
[38]

Saor´ ın, J

M. Saor´ ın, J. ˇSˇtov´ ıˇ cek, and S. Virili.t-structures on stable derivators and Grothendieck hearts.Adv. Math., 429:70, 2023. Id/No 109139

work page 2023
[39]

Yurikusa

T. Yurikusa. Wide subcategories are semistable.Documenta Mathematica, 23:35–47, 2018. (Laking)Dipartimento di Informatica - Settore di Matematica Universit `a degli Studi di Verona, Strada le Grazie 15, 37134 Verona, Italy Email address:rosanna.laking@univr.it (Zvonareva)Institute of Mathematics of the Czech Academy of Sciences, ˇZitn´a 25, 115 67 Prague,...

work page 2018