REVIEW 2 major objections 4 minor 47 references
Telescope conjecture for t-structures over noetherian path algebras
T0 review · 2 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read The paper proves the generalized telescope conjecture for derived categories of noetherian Dynkin path algebras and classifies compactly generated t-structures by poset maps into noncrossing-partition filtrations.
desk verdict A genuinely new positive case of the generalized telescope conjecture for t-structures, well argued and worth refereeing; the main risk is the unproved compatibility with Crawley-Boevey's lattice lifts. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing machinery is the lattice lift supplied by [CB24]: each indecomposable module over a field fibre lifts uniquely to an exceptional $RQ$-lattice, i.e. a module that is finitely generated projective at every vertex, rigid, and with endomorphism ring $R$, and Hom and $\mathrm{Ext}^1$ orthogonality of indecomposables is detected by these lifts. Around this sit two structural principles proved for homotopically smashing cosuspended subcategories of $D(RC)$: the local-to-global principle, which reconstructs any object from its stalks $\Gamma_{\mathfrak{p}}Y$ using extensions, coproducts, and homotopy colimits, and the minimality of stalk subcategories, which identifies $\Gamma_{\mathfrak{p}}Y$ as the closure of $\mathrm{RHom}_R(\kappa(\mathfrak{p}), Y)$. The classification itself is carried by the projection and gluing assignments $\varphi$ and $\psi$ between $\mathrm{Aisle}_{\mathrm{cg}}(D(RQ))$ and $\mathrm{Hom}_{\mathrm{Pos}}(\mathrm{Spec}(R), \mathrm{Aisle}(D(KQ)))$, with $\mathrm{Filt}(\mathbf{Nc}(Q))$ parametrizing the quiver side independently of the field.
What would settle it
Run the paper's Example 4.7 concretely: enumerate all order-preserving maps $\mathrm{Spec}(k[[x]]) \to \mathbf{Nc}(A_2)$ and all wide subcategories of $\mathrm{mod}(k[[x]]A_2)$, then check that gluing each map produces a distinct wide subcategory and that every wide subcategory arises this way; any single mismatch would falsify Theorem 4.6 and the gluing method behind Theorem 4.2.
Extended reading notes
Core claim
The central discovery is that the lattice of compactly generated aisles of $D(RQ)$ is isomorphic to $\mathrm{Hom}_{\mathrm{Pos}}(\mathrm{Spec}(R), \mathrm{Filt}(\mathbf{Nc}(Q)))$, and that this lattice is in fact the whole lattice of homotopically smashing aisles. The proof associates to an aisle $U$ the map $\mathfrak{p} \mapsto \mathrm{aisle}_{KQ}\langle L \in \mathrm{ind}(D(KQ)) \mid R/\mathfrak{p} \otimes^L_R \widehat{L} \in U\rangle$, where $\widehat{L}$ is the unique exceptional lattice lifting the indecomposable $KQ$-module $L$; conversely, a poset map $\sigma$ gives the aisle generated by all $R/\mathfrak{p} \otimes^L_R \widehat{\sigma(\mathfrak{p})}$. Two structural results for homotopically smashing cosuspended subcategories, the local-to-global principle and minimality of stalk subcategories, make this projection/gluing correspondence bijective and force every homotopically smashing t-structure to be compactly generated. In the regular case, cohomological determination of aisles yields a further bijection between wide subcategories of $\mathrm{mod}(RQ)$ and $\mathrm{Hom}_{\mathrm{Pos}}(\mathrm{Spec}(R), \mathbf{Nc}(Q))$.
Load-bearing premise
The classification rests on the external result [CB24] that every indecomposable representation over a residue field lifts to a unique rigid representation over $RQ$ built from finitely generated free $R$-modules, with Hom and $\mathrm{Ext}^1$ orthogonality preserved; if that lifting theorem failed, the projection/gluing bijection and the telescope conclusion would collapse.
Editorial extensions
If this is right
- The generalized telescope conjecture holds for $D(RQ)$: every homotopically smashing t-structure is compactly generated, answering the question from [BH21] and [HN21] for noetherian Dynkin path algebras.
- Every compactly generated t-structure of $D(RQ)$ is classified by an order-preserving map $\mathrm{Spec}(R) \to \mathrm{Filt}(\mathbf{Nc}(Q))$, with the value at each prime recording the t-structure on the residue-field algebra $\kappa(\mathfrak{p})Q$ and the global aisle obtained by gluing these fibre aisles.
- Compactly generated aisles are determined on cohomology: a complex lies in the aisle exactly when each cohomology module $H^i(X)[-i]$ lies in the aisle.
- When $R$ is regular, wide subcategories of $\mathrm{mod}(RQ)$ are in bijection with poset maps $\mathrm{Spec}(R) \to \mathbf{Nc}(Q)$, recovering the known classifications over commutative rings and over Dynkin algebras as special cases.
- The quiver-side lattice $\mathrm{Aisle}(D(KQ))$ is independent of the field $K$ and equals $\mathrm{Filt}(\mathbf{Nc}(Q))$, a fact recorded explicitly in the appendix.
Reading between the lines
- Beyond the paper's claims, the same projection/gluing scheme would classify homotopically smashing t-structures over any finite quiver once minimality of stalk subcategories is available; the paper's Theorem 2.3 is stated for general small categories and a companion result in this direction is cited.
- Beyond the paper's claims, cohomological determination of compactly generated aisles suggests a torsion-pair style description of all t-structures of $D(RQ)$: each filtration of wide subcategories at every prime should glue into a global t-structure.
- Beyond the paper's claims, for regular $R$ the bijection with $\mathrm{Hom}_{\mathrm{Pos}}(\mathrm{Spec}(R), \mathbf{Nc}(Q))$ gives a concrete recipe to compute wide subcategories by gluing residue-field data, which can be tested on examples such as $R = \mathbb{Z}$ or $R = k[x,y]$ with small Dynkin quivers.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies t-structures in the derived category D(RQ) of representations of a Dynkin quiver Q over a commutative noetherian ring R. Its central claims are: (1) the compactly generated aisles of D(RQ) are in order-preserving bijection with poset homomorphisms from Spec(R) to the lattice of filtrations of noncrossing partitions of Q; (2) every homotopically smashing t-structure in D(RQ) is compactly generated, resolving the generalized telescope conjecture for these algebras; and (3) over a regular ring R, wide subcategories of mod(RQ) correspond to Spec(R)-indexed families of wide subcategories of mod(KQ). The proof combines a local-to-global principle and a minimality theorem for homotopically smashing coaisles in D(RC), a lattice-lift theory for Dynkin quivers over commutative rings due to Crawley-Boevey, and an appendix giving a field-independent classification of aisles of D(KQ) by filtrations of noncrossing partitions.
Significance. The results, if correct, are significant: they extend Neeman's theorem for commutative noetherian rings and the classifications of [AJS10] and [HN21] to a natural noncommutative family of algebras, and they provide one of the few affirmative answers to the generalized telescope conjecture outside the commutative setting. The paper is largely self-contained and contains detailed proofs of the local-to-global, minimality, and cohomology-determination statements, as well as an appendix that independently records the field-independence of Dynkin aisles. The main weakness is a load-bearing reliance on the lattice-lift construction from [CB24] and, in particular, on a base-change compatibility statement that is used but not stated or proved explicitly.
major comments (2)
- [Section 3, Proposition 3.5 and Lemma 3.12] The proof of Lemma 3.12 applies Proposition 3.5 with R = κ(p), but that proposition does not, as stated, cover the objects κ(p) ⊗_R eM and κ(p) ⊗_R eL. To apply it one must know that these base-changed lattices are the unique exceptional lattice lifts of M and L over κ(p), and that zero-ness of Hom and Ext^1 over κ(p)Q is equivalent to zero-ness over KQ. The concrete construction in Remark 3.4 plausibly supplies the first point, but the proof does not invoke it, and the second point is never stated. This compatibility is load-bearing: it is used in Proposition 3.8 to prove φ(ψ(σ))(p)=σ(p), in Theorem 3.14, and in the injectivity of ω in Remark 4.1, and therefore in Theorem 4.2. Please add an explicit base-change lemma for the lifts of Theorem 3.3, or cite [CB24] for exactly this statement.
- [Section 3.1, proof of Proposition 3.8, final step] The statement "Since aisles are independent of the field" is not a formal consequence of Theorem A.4. Theorem A.4 only gives an abstract order-preserving bijection Aisle(D(FQ)) ≅ Filt(Nc(Q)) for every field F; it does not by itself identify the aisle in D(κ(p)Q) generated by {κ(p) ⊗ gσ(q) | q⊆p} with the aisle in D(KQ) generated by {σ(q)}. This identification is needed to conclude L ∈ σ(p), and it should be proved as part of the base-change compatibility described in the previous comment.
minor comments (4)
- [Remark 1.15, first bullet] The displayed degrees are inconsistent with Definition 1.14: if K(a) lies in degrees [-n,0], its base change to κ(p) should have terms in degrees [-i,0] (or [i-n] as used later in Theorem 3.14), not [i]. The degree convention should be normalized throughout.
- [Lemma 3.12] The symbols M and L silently switch from KQ-modules to their base changes κ(p) ⊗ eM and κ(p) ⊗ eL; this makes the proof of the converse direction unnecessarily hard to parse. Use explicit notation for the base-changed objects.
- [Corollary 3.6 and Lemma 3.12] Proposition 3.5 is referred to as "Theorem 3.5" in the proof of Corollary 3.6 and in Lemma 3.12; please standardize these cross-references.
- [Theorem 4.4] The letter E is used both for the set of modules defining U and for a two-term complex E^0→E^1; distinguishing these would remove avoidable confusion in the proof.
Circularity Check
No significant circularity: the classification and telescope theorem are derived from independent external results and internal proofs, with only non-load-bearing forward self-citations.
full rationale
This paper's derivation chain is self-contained in the sense relevant to circularity. The central external input is the lattice-lift theorem of Crawley-Boevey ([CB24]), imported at Theorem 3.3 and Proposition 3.5; this is a published independent result, not a self-citation, and the paper does not define its main objects in terms of the target classification. Proposition 3.5 states that Hom and Ext^1 orthogonality of lattice lifts follows from [CB24, Theorem 4.1], and this compatibility is then used in Corollary 3.13 and Theorem 3.14 to transfer orthogonality to residue fields; this is a genuine dependency, but it is a dependency on an external theorem, not a reduction of the conclusion to the premise. The local-to-global principle (Theorem 2.2) and minimality of stalk subcategories (Theorem 2.3) are proved within the paper from standard tools ([AJS10], [Hrb20]), and Theorem 3.15 uses them to express homotopically smashing coaisles in terms of injective cogenerators. Theorem 4.2(1) is proved by verifying the two assignments are inverse: Theorem 3.8 shows phi composed with psi is the identity, and the surjectivity argument compares omega_V with omega_{V_sigma} via Theorem 3.14, then uses injectivity of omega from Remark 4.1. Theorem 4.2(2) repeats the same comparison for an arbitrary homotopically smashing t-structure, so it does not assume the telescope conjecture as an input. No fitted parameter is renamed as a prediction, and no aisles are defined by the bijection being proved. The only self-references are the forward citation [HS25], announced after Theorem 2.3 as future work, and mentions of the author's supervisors in acknowledgements; these are not load-bearing elements of any proof. The reliance on [CB24] is an external correctness risk, not circularity, because the cited result is stated with assumptions that do not include the target theorem and is used as a tool.
Assumptions & free parameters
assumptions (9)
- domain assumption R is commutative noetherian and Q is a Dynkin quiver
- domain assumption Lattice lift theorem ([CB24, Theorem B], cited as Theorem 3.3): for every indecomposable KQ-module L there is a unique exceptional free RQ-lattice eL with the same rank vector, and any rigid RQ-lattice is exceptional
- domain assumption Orthogonality preservation of lattice lifts ([CB24, Theorem 4.1], used in Proposition 3.5): Hom_RQ(eM,eL) and Ext^1_RQ(eM,eL) are finitely generated projective with constant rank equal to dimensions of Hom_KQ(M,L) and Ext^1_KQ(M,L)
- domain assumption Ingalls-Thomas classification of wide subcategories of mod(KQ) by noncrossing partitions ([IT09, Theorem 1.1])
- domain assumption Shift and t-structure classification for Dynkin algebras: Aisle(D(KQ)) is in bijection with Susp(Dc(KQ)) via [ŠP16, Theorem 4.5(i)]
- domain assumption Pure-semisimplicity of D(KQ) for Dynkin Q ([Bel00, Theorem 12.20])
- domain assumption Dc(RQ) = Db(mod(RQ)) for R regular ([CFH24, 20.2.11])
- domain assumption Zhang-Cai bijection between wide and thick subcategories ([ZC17, Theorem 2.5])
- standard math Standard derived-category and support-theory facts (Neeman, Stevenson, Krause, etc.)
Cite this review
Pith. "Pith review of Telescope conjecture for t-structures over noetherian path algebras." pith.science (2026). https://pith.science/paper/SJY7KXBS
@misc{pith2026250520803,
author = {Pith},
title = {Pith review of: Telescope conjecture for t-structures over noetherian path algebras},
year = {2026},
howpublished = {\url{https://pith.science/paper/SJY7KXBS}},
note = {Machine review of arXiv:2505.20803}
}
abstract
Let $RQ$ be the path algebra of a Dynkin quiver $Q$ over a commutative noetherian ring $R$. We show that any homotopically smashing t-structure in the derived category of $RQ$ is compactly generated. We also give a complete description of the compactly generated t-structures in terms of poset homomorphisms from the prime spectrum of the ring $\mathrm{Spec}(R)$ to the poset of filtrations of noncrossing partitions of the quiver $\mathrm{Filt}(\mathbf{Nc}(Q))$. In the case that $R$ is regular, we also get a complete description of the wide subcategories of the category $\mathrm{mod}(RQ)$.
Reference graph
Works this paper leans on
-
[1]
L. Angeleri H \"u gel and M. Hrbek, Parametrizing torsion pairs in derived categories, Representation Theory of the American Mathematical Society 25 (2021), no. 23, 679--731
work page 2021
-
[2]
L. Alonso Tarr \'i o, A. Jerem \'i as L \'o pez, and M.J. Souto Salorio, Construction of t-structures and equivalences of derived categories, Transactions of the American Mathematical Society 355 (2003), no. 6, 2523--2543
work page 2003
-
[3]
J. Alonso Tarr \'i o, A. Jerem \'i as L \'o pez, and M. Saor \'i n, Compactly generated t-structures on the derived category of a noetherian ring, Journal of Algebra 324 (2010), no. 3, 313--346
work page 2010
-
[4]
B. Antieau and G. Stevenson, Derived categories of representations of small categories over commutative noetherian rings, Pacific Journal of Mathematics 283 (2016), no. 1, 21--42
work page 2016
-
[5]
L. Angeleri H \"u gel and F. Sentieri, Wide coreflective subcategories and torsion pairs, Journal of Algebra 664 (2025), 164--205
work page 2025
-
[6]
A. Beligiannis, Relative homological algebra and purity in triangulated categories, Journal of Algebra 227 (2000), no. 1, 268--361
work page 2000
-
[7]
S. Bazzoni and M. Hrbek, Definable coaisles over rings of weak global dimension at most one, Publicacions Matem \`a tiques 65 (2021), no. 1, 165--241
work page 2021
- [8]
Show all 47 references
-
[9]
Br \"u ning, Thick subcategories of the derived category of a hereditary algebra, Homology, Homotopy and Applications 9 (2007), no
K. Br \"u ning, Thick subcategories of the derived category of a hereditary algebra, Homology, Homotopy and Applications 9 (2007), no. 2, 165--176
2007
-
[10]
Bazzoni and J
S. Bazzoni and J. S t ov \'i c ek, Smashing localizations of rings of weak global dimension at most one, Advances in Mathematics 305 (2017), 351--401
2017
-
[11]
Crawley-Boevey, Rigid integral representations of quivers over arbitrary commutative rings, Annals of Representation Theory 1 (2024), no
W. Crawley-Boevey, Rigid integral representations of quivers over arbitrary commutative rings, Annals of Representation Theory 1 (2024), no. 3, 375--384
2024
-
[12]
Christensen, H.B
L.W. Christensen, H.B. Foxby, and H. Holm, Derived category methods in commutative algebra, Springer Monographs in Mathematics, 2024
2024
-
[13]
B. Deng, J. Du, B. Parshall, and J. Wang, Finite dimensional algebras and quantum groups, American Mathematical Society, 2008
2008
-
[14]
Dwyer and J
W. Dwyer and J. Palmieri, The B ousfield lattice for truncated polynomial algebras , Homology, Homotopy and Applications 10 (2008), no. 1, 413–--436
2008
-
[15]
Enochs, S
E. Enochs, S. Estrada, and J.R. Garc \'i a Rozas, Injective representations of infinite quivers. A pplications , Canadian Journal of Mathematics 61 (2009), no. 2, 315--335
2009
-
[16]
Hrbek and T
M. Hrbek and T. Nakamura, Telescope conjecture for homotopically smashing t-structures over commutative noetherian rings, Journal of Pure and Applied Algebra 225 (2021), no. 4, 106571
2021
-
[17]
Hrbek, T
M. Hrbek, T. Nakamura, and J. S t ov \'i c ek, Tilting complexes and codimension functions over commutative noetherian rings, Nagoya Mathematical Journal 255 (2024), 618--693
2024
-
[18]
Hrbek, Compactly generated t-structures in the derived category of a commutative ring, Mathematische Zeitschrift 295 (2020), 47--72
M. Hrbek, Compactly generated t-structures in the derived category of a commutative ring, Mathematische Zeitschrift 295 (2020), 47--72
2020
-
[19]
1, 199--228
, Telescope conjecture via homological residue fields with applications to schemes, Tunisian Journal of Mathematics 7 (2025), no. 1, 199--228
2025
-
[20]
Hrbek and E
M. Hrbek and E. Sabatini, Definable coaisles of representations of small categories over commutative noetherian rings, 2025, (tentative title)
2025
-
[21]
Iyama and Y
O. Iyama and Y. Kimura, Classifying subcategories of modules over noetherian algebras, Advances in Mathematics 446 (2024), 109631
2024
-
[22]
Ingalls and H
C. Ingalls and H. Thomas, Noncrossing partitions and representations of quivers, Compositio Mathematica 145 (2009), no. 6, 1533--1562
2009
-
[23]
Keller, A remark on the generalized smashing conjecture, Manuscripta Mathematica 84 (1994), no
B. Keller, A remark on the generalized smashing conjecture, Manuscripta Mathematica 84 (1994), no. 1, 193--198
1994
-
[24]
Krause, Smashing subcategories and the telescope conjecture -- an algebraic approach, Inventiones Mathematicae 139 (2000), 99--133
H. Krause, Smashing subcategories and the telescope conjecture -- an algebraic approach, Inventiones Mathematicae 139 (2000), 99--133
2000
-
[25]
, Homological theory of representations, Cambridge University Press, 2021
2021
-
[26]
Krause and J
H. Krause and J. S t ov \'i c ek, The telescope conjecture for hereditary rings via E xt-orthogonal pairs , Advances in Mathematics 225 (2010), no. 5, 2341--2364
2010
-
[27]
Keller and D
B. Keller and D. Vossieck, Aisles in derived categories, Bulletin of the Belgian Mathematical Society 40 (1988), no. 2, 239--253
1988
-
[28]
Laking and J
R. Laking and J. Vit \'o ria, Definability and approximations in triangulated categories, Pacific Journal of Mathematics 306 (2020), no. 2, 557--586
2020
-
[29]
Mili c i \'c , Lectures on derived categories, https://www.math.utah.edu/ milicic/Eprints/dercat.pdf
D. Mili c i \'c , Lectures on derived categories, https://www.math.utah.edu/ milicic/Eprints/dercat.pdf
-
[30]
Neeman, The chromatic tower for D(R) , with an appendix by M arcel B \"o kstedt , Topology 31 (1992), no
A. Neeman, The chromatic tower for D(R) , with an appendix by M arcel B \"o kstedt , Topology 31 (1992), no. 3, 519--532
1992
-
[31]
1, 205--236
, The G rothendieck duality theorem via B ousfield’s techniques and B rown representability , Journal of the American Mathematical Society 9 (1996), no. 1, 205--236
1996
-
[32]
Popescu, Abelian categories with applications to rings and modules, Academic Press, 1973
N. Popescu, Abelian categories with applications to rings and modules, Academic Press, 1973
1973
-
[33]
Ringel, Exceptional modules are tree modules, Linear Algebra and its Applications 275-276 (1998), 471--493
C.M. Ringel, Exceptional modules are tree modules, Linear Algebra and its Applications 275-276 (1998), 471--493
1998
-
[34]
J. Rada, M. Saor \'i n, and A. del Valle, Reflective subcategories, Glasgow Mathematical Journal 42 (2000), no. 1, 97--113
2000
-
[35]
Sakai, Classifying t-structures via ICE -closed subcategories and a lattice of torsion classes , arXiv preprint arXiv:2307.11347, 2023
A. Sakai, Classifying t-structures via ICE -closed subcategories and a lattice of torsion classes , arXiv preprint arXiv:2307.11347, 2023
2023 arXiv
-
[36]
S t ov \'i c ek and D
J. S t ov \'i c ek and D. Posp \'i s il, On compactly generated torsion pairs and the classification of co-t-structures for commutative noetherian rings, Transactions of the American Mathematical Society 368 (2016), no. 9, 6325--6361
2016
-
[37]
Stanley and A.C
D. Stanley and A.C. van Roosmalen, t-structures on hereditary categories, Mathematische Zeitschrift 293 (2019), 731--766
2019
-
[38]
Saor \'i n and J
M. Saor \'i n and J. S t ov \'i c ek, t-structures with G rothendieck hearts via functor categories , Selecta Mathematica 29 (2023), no. 5, 77
2023
-
[39]
Saor \'i n, J
M. Saor \'i n, J. S t ov \'i c ek, and S. Virili, t-structures on stable derivators and G rothendieck hearts , Advances in Mathematics 429 (2023), 109139
2023
-
[40]
The Stacks Project Authors, The S tacks P roject , https://stacks.math.columbia.edu
-
[41]
Stevenson, Support theory via actions of tensor triangulated categories, Journal f \"u r die reine und angewandte Mathematik 2013 (2013), no
G. Stevenson, Support theory via actions of tensor triangulated categories, Journal f \"u r die reine und angewandte Mathematik 2013 (2013), no. 681, 219--254
2013
-
[42]
2, 45–--64
, Derived categories of absolutely flat rings, Homology, Homotopy and Applications 16 (2014), no. 2, 45–--64
2014
-
[43]
, A tour of support theory for triangulated categories through tensor triangular geometry, Building Bridges Between Algebra and Topology, Springer International Publishing, 2018, pp. 63--101
2018
-
[44]
Takahashi, Classifying subcategories of modules over a commutative noetherian ring, Journal of the London Mathematical Society 78 (2008), no
R. Takahashi, Classifying subcategories of modules over a commutative noetherian ring, Journal of the London Mathematical Society 78 (2008), no. 3, 767--782
2008
-
[45]
Weist, Tree modules, Bulletin of the London Mathematical Society 44 (2012), no
T. Weist, Tree modules, Bulletin of the London Mathematical Society 44 (2012), no. 5, 882--898
2012
-
[46]
Yekutieli, Derived categories, Cambridge University Press, 2019
A. Yekutieli, Derived categories, Cambridge University Press, 2019
2019
-
[47]
Zhang and H
C. Zhang and H. Cai, A note on thick subcategories and wide subcategories, Homology, Homotopy and Applications 19 (2017), no. 2, 131--139
2017
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.