REVIEW 1 major objections 4 minor 2 cited by
A rigid object M encodes its finitely presented objects as 2-term complexes over End(M), matching cluster-tilting with silting.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
For a rigid object M, the presentation functor P from pr(M) to 2-term complexes over End(M) is full, dense, detects extriangles, and induces a mutation-commuting bijection between basic relative cluster-tilting objects and basic 2-term silting objects.
T0 review reviewed 2026-08-04 challenge →
load-bearing objection Solid paper with a real contribution, but the non-Hom-finite bijection in Theorem 3.13(c) is missing a proof step and should be fixed before publication. the 1 major comments →
From objects finitely presented by a rigid object in a triangulated category to 2-term complexes
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
Core claim
The central claim is Theorem 1.1: for a rigid object M in an algebraic triangulated category T and A=End_T(M), the presentation functor P:pr(M)→H^{[-1,0]}(proj A) is full and dense, and two morphisms have the same image exactly when their difference factors through a morphism of the form ΣM_1→M_2 with M_1,M_2 in add(M). Hence P induces an equivalence pr(M)/I ≅ H^{[-1,0]}(proj A), and P itself is an equivalence iff Hom_T(M,Σ^{-1}M)=0. P detects isomorphisms, indecomposability, and extriangles, and in the Hom-finite Krull-Schmidt case it induces a bijection between basic relative cluster-tilting objects and basic two-term silting objects that commutes with mutation. When T is 2-Calabi-Yau and
What carries the argument
The load-bearing object is the presentation functor P and its lifting lemma. For X in pr(M), the paper fixes a triangle M^{-1}→M^0→X→ΣM^{-1} and sets P(X)=(M^{-1}→M^0); for a morphism f:X→Y, it defines P(f) as the homotopy class of a liftable pair of maps between the chosen presentations. 'Liftable' is defined through a Frobenius model of the algebraic triangulated category: every map in T is represented by a map in the model, and the Lifting Lemma 3.1 lifts such maps to levelwise maps between the M-terms. The kernel ideal I, consisting of morphisms factoring through some ΣM_1→M_2, is what must be quotiented out, and the relation I²=0 is what makes P detect isomorphisms and indecomposability
Load-bearing premise
The construction assumes T is an algebraic, idempotent-complete triangulated category with a Frobenius model in which 'liftable presentations' can be defined; without such a model, the functor P is not constructed here.
What would settle it
Find a finite-dimensional algebra A over a field such that H^{[-1,0]}(proj A) admits a triangulated structure while A is not self-injective; the appendix proves this cannot happen, so a single such example would refute the converse half. A second decisive test: in an algebraic triangulated T with rigid M and Hom(M,Σ^{-1}M)=0, exhibit a morphism in the kernel of P that is not homotopic to zero, contradicting the claimed equivalence criterion.
If this is right
- Relative cluster-tilting objects in pr(M) and two-term silting objects in H^b(proj A) form the same combinatorial object: the bijection preserves isomorphism classes and mutation.
- Because P detects extriangles, the quotient pr(M)/I is extriangulated equivalent to H^{[-1,0]}(proj A), not just additively equivalent.
- In the 2-Calabi-Yau cluster-tilting case with A self-injective, the cluster category is additively encoded by two-term complexes, so cluster-tilting objects with the same endomorphism algebra give triangle-equivalent categories under mild hypotheses.
- For self-injective quivers with potential, endomorphism algebras of iterated silting mutations in the two-term category are exactly the Jacobian algebras of the mutated quivers with potential, recovering the known theorem on such mutations.
- A triangle structure on H^{[-1,0]}(proj A) forces A to be self-injective (and, under separability, twisted 4-periodic), so such structures are rare and come with strong periodicity constraints.
Where Pith is reading between the lines
- The functor P gives a homological reason for the known correspondence between support τ-tilting pairs and two-term silting objects: the A-module Hom(M,–) is roughly the 0th cohomology of P(–), so the complex remembers extension data the module forgets.
- Since the paper notes that a morphic enhancement of T could play the role of the Frobenius model, the main theorem likely extends to non-algebraic triangulated categories with such an enhancement; the proof strategy is not intrinsically about algebraicity.
- The appendix's twisted 4-periodicity suggests that any triangulated structure on H^{[-1,0]}(proj A) forces the algebra to be very special; a natural test is whether that structure is unique and whether it always arises from a 4-angulated structure on proj A.
- The mutation-commuting bijection offers an algorithmic route: compute cluster-tilting mutations in the two-term silting category, where complexes and their endomorphism algebras are more explicit, then transfer the result back to the cluster category.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs a k-linear functor P: pr(M) -> H^{[-1,0]}(proj A) for a rigid object M in an algebraic triangulated category T, where pr(M) is the subcategory of objects finitely presented by M and A = End_T(M). The functor sends an object to its presentation complex. The main results are: (a) P is full and dense, with kernel the ideal of morphisms factoring through a morphism ΣM_1 -> M_2, so P induces an equivalence modulo that ideal; (b) P detects isomorphisms, indecomposability and extriangles, and induces a bijection on isomorphism classes; (c) in the Hom-finite case, P induces a mutation-commuting bijection between basic relative cluster-tilting objects of pr(M) and basic 2-term silting objects of H^b(proj A); (d) in the 2-Calabi-Yau cluster-tilting case, P is an equivalence iff A is self-injective, and then H^{[-1,0]}(proj A) admits a triangle structure. The paper applies these results to self-injective quivers with potential, recovering a theorem of Mizuno, and Iyama's appendix proves a converse: if H^{[-1,0]}(proj A) has a triangle structure, then A is self-injective.
Significance. If the general statements hold, the paper gives a unified and explicit framework that recovers and extends earlier results of Buan--Yang, Iyama--Yang, and the tau-tilting correspondence. The construction is hands-on, and the proof of the main functor properties is unusually detailed: the liftable-presentation formalism in Proposition 3.2, the fullness and kernel description in Theorem 3.8, and the extriangle detection in Proposition 3.7 all appear with complete diagram chases. The appendix by Iyama is a strong addition, providing a converse characterization. The main caveat is a gap in the proof of the non-Hom-finite relative cluster-tilting bijection; because the paper's applications and its Hom-finite mutation statement are unaffected, the core contribution remains valuable, but the stated generality of Theorems 1.1(d) and 3.13(c) needs repair.
major comments (1)
- [Theorem 3.13(c)] The bijection between relative cluster-tilting objects of pr(M) and 2-term silting objects of H^b(projA) is not proved in the stated generality. The proof of Theorem 3.13 says only 'It remains to prove that the bijection in (d) commutes with mutations', so (c) is being deduced from Theorem 3.11. But Theorem 3.11 concerns weakly relative cluster-tilting subcategories, which by Definition 2.3(d) are required to be generating. Definition 2.3(e) of a relative cluster-tilting object/subcategory does not include the generating condition. The only bridge in the paper from relative cluster-tilting to generating/weakly relative cluster-tilting is Lemma 2.5, whose hypotheses include Hom-finiteness. No argument is given that contravariant finiteness plus the equality condition forces generating when Hom-finiteness fails. Thus Theorem 3.13(c), and consequently Theorem 1.1(d), require either an addit
minor comments (4)
- [Abstract] 'silting complexs' should be 'silting complexes'.
- [Theorem 1.1(e)] 'the bijection in (c) restricts' appears to be a cross-reference error; the intended statement is about the bijection in (d).
- [Theorem 3.13(d)] 'restricts a bijection' should be 'restricts to a bijection'.
- [Section 4.1] After Corollary 4.3, 'Amiot's conjecture hods' should be 'Amiot's conjecture holds'.
Circularity Check
No load-bearing circularity; P is constructed and proved explicitly. Minor self-citations are not load-bearing. One non-circular proof gap in Theorem 3.13(c) is flagged.
specific steps
-
other
[Theorem 3.13(c) and its proof, Section 3.7]
"Theorem 3.13. (c) P induces a bijection between the set of isomorphism classes of relative cluster-tilting objects of pr(M) and the set of isomorphism classes of 2-term silting objects of H^b(projA). ... Proof. It remains to prove that the bijection in (d) commutes with mutations."
Not a circular step: this is an omitted proof, flagged per review rule. The object-level bijection in (c) is stated without Hom-finiteness, but the proof only addresses mutation compatibility of (d). The route from relative cluster-tilting objects to weakly relative cluster-tilting subcategories (Theorem 3.11) is via Lemma 2.5, which assumes k is a field and pr(M) is Hom-finite. Thus (c) lacks a demonstrated derivation in its stated generality; however, the bijection is not assumed as an input, so this is a correctness/generality gap rather than a reduction of the conclusion to the hypotheses.
full rationale
The central construction is self-contained. P: pr(M) -> H^{[-1,0]}(projA) is built explicitly from chosen presentations (Proposition 3.2), and its fullness, density, kernel, isomorphism/indecomposability detection and extriangle detection are proved (Theorem 3.8, Proposition 3.7), not assumed. The cluster-tilting/silting bijections are derived from these properties together with external results [48, Theorem 5.4], [16, Theorem 3.4], [18, Theorem 4.3], [47, Proposition 3.4]. Self-citations [8], [24], [27], [35], [45] are used as technical tools or for context (e.g., idempotent completeness, recovery of [8] as a special case, compatibility with tau-tilting, cluster category existence, and a remark on a question), and none of them contains the target statements by definition. The appendix by Iyama proves the converse using independent algebra results. The only flagged issue is Theorem 3.13(c): the proof is incomplete in the stated generality, since the bridge via Lemma 2.5 requires Hom-finiteness. This is a proof gap, not a circular reduction: the claimed bijection is not an input to the construction. Accordingly the circularity score is low (2), reflecting minor non-load-bearing self-citations rather than any self-referential derivation.
Axiom & Free-Parameter Ledger
axioms (6)
- domain assumption T is an idempotent-complete algebraic triangulated k-category, i.e. admits a Frobenius category model F with T = F stable.
- domain assumption M is a rigid subcategory (or rigid object) closed under finite direct sums and direct summands, with Hom_T(M, Sigma M) = 0.
- standard math pr(M) carries the [Sigma M]-extriangle structure of Nakaoka-Palu, via [42, Lemma 4.57], making it an extriangulated category.
- standard math In the Hom-finite case, [48, Theorem 3.1] and [18, Theorem 4.3] give equivalence of relative cluster-tilting, maximal relative rigid, generating and |M| = |N|.
- standard math Hom_T(M, Sigma^{-1}M) = 0 iff A is self-injective, in the 2-Calabi-Yau cluster-tilting setting ([26, Proposition 3.6]).
- standard math Existence of cluster categories C_{(Q,W)} of quivers with potential, with a basic cluster-tilting object whose endomorphism algebra is the complete Jacobian algebra ([5], [35]).
Cite this review
Pith. "Pith review of From objects finitely presented by a rigid object in a triangulated category to 2-term complexes." pith.science (2026). https://pith.science/paper/OVPHLXK7
@misc{pith2026250908246,
author = {Pith},
title = {Pith review of: From objects finitely presented by a rigid object in a triangulated category to 2-term complexes},
year = {2026},
howpublished = {\url{https://pith.science/paper/OVPHLXK7}},
note = {Machine review of arXiv:2509.08246}
}
read the original abstract
For a rigid object $M$ in an algebraic triangulated category $\mathcal{T}$, a functor pr$(M)\to\mathcal{H}^{[-1,0]}({\rm proj}\, A)$ is constructed, which essentially takes an object to its `presentation', where pr$(M)$ is the full subcategory of $\mathcal{T}$ of objects finitely presented by $M$, $A$ is the endomorphism algebra of $M$ and $\mathcal{H}^{[-1,0]}({\rm proj}\, A)$ is the homotopy category of complexes of finitely projective $A$-modules concentrated in degrees $-1$ and $0$. This functor is shown to be full and dense and its kernel is described. It detects isomorphisms, indecomposability and extriangles. In the Hom-finite case, it induces a bijection from the set of isomorphism classes of basic relative cluster-tilting objects of pr$(M)$ to that of basic silting complexs of $\mathcal{H}^{[-1,0]}({\rm proj}\, A)$, which commutes with mutations. These results are applied to cluster categories of self-injective quivers with potential to recover a theorem of Mizuno on the endomorphism algebras of certain 2-term silting complexes. As an interesting consequence of the main results, if $\mathcal{T}$ is a 2-Calabi--Yau triangulated category and $M$ is a cluster-tilting object such that $A$ is self-injective, then $\mathbb{P}$ is an equivalence, in particular, $\mathcal{H}^{[-1,0]}({\rm proj}\, A)$ admits a triangle structure. In the appendix by Iyama it is shown that for a finite-dimensional algebra $A$, if $\mathcal{H}^{[-1,0]}({\rm proj}\, A)$ admits a triangle structure, then $A$ is necessarily self-injective.
Forward citations
Cited by 2 Pith papers
-
From $(n+1)$-term subcategories to $(n+1)$-term complexes
An extriangulated functor from (n+1)-term subcategories to (n+1)-term complexes is constructed, with equivalent conditions for fullness yielding an extriangle equivalence and a mutation-compatible silting bijection.
-
Extriangulated ideal quotients and $d$-Auslander categories
An algebraic d-Auslander extriangulated category satisfying a vanishing condition admits an extriangulated ideal quotient equivalent to a truncated homotopy category of complexes.
Reference graph
Works this paper leans on
-
[1]
Takahide Adachi, Osamu Iyama, and Idun Reiten,τ-tilting theory, Compos. Math.150(2014), no. 3, 415–452
work page 2014
-
[2]
Takuma Aihara and Osamu Iyama,Silting mutation in triangulated categories, J. Lond. Math. Soc. (2)85(2012), no. 3, 633–668
work page 2012
-
[3]
Salah Al-Nofayee and Jeremy Rickard,Rigidity of tilting complexes and derived equivalence for self-injective algebras, arXiv:1311.0504v1. 34 DONG YANG
-
[4]
Claire Amiot,Sur les petites cat´ egories triangul´ ees, Ph. D. thesis, Universit´ e Paris Diderot - Paris 7, Juillet 2008
work page 2008
-
[5]
,Cluster categories for algebras of global dimension 2 and quivers with potential, Ann. Inst. Fourier (Grenoble)59(2009), no. 6, 2525–2590
work page 2009
-
[6]
Maurice Auslander,Representation Dimension of Artin Algebras, Queen Mary College Math- ematics Notes, 1971
work page 1971
-
[7]
Marsh, and Idun Reiten,Cluster-tilted algebras, Trans
Aslak Bakke Buan, Robert J. Marsh, and Idun Reiten,Cluster-tilted algebras, Trans. Amer. Math. Soc.,359(2007), no. 1, 323–332, electronic
work page 2007
-
[8]
Thomas Br¨ ustle and Dong Yang,Ordered exchange graphs, Advances in representation theory of algebras, EMS Ser. Congr. Rep., Eur. Math. Soc., 2013, pp. 135–193
work page 2013
- [9]
- [10]
-
[11]
Aaron Chan, Erik Darp¨ o, Osamu Iyama, Rene Marczinzik,Periodic trivial extension algebras and fractionally Calabi-Yau algebras, Ann. Sci. ´Ec. Norm. Sup´ er. (4)58(2025), no. 2, 463–510
work page 2025
-
[12]
Xiaofa Chen, 0-Auslander correspondance, arXiv:2306.15958
-
[13]
Harm Derksen, Jerzy Weyman, and Andrei Zelevinsky,Quivers with potentials and their rep- resentations. I. Mutations, Selecta Math. (N.S.)14(2008), no. 1, 59–119
work page 2008
-
[14]
Yurij A. Drozd and Vladimir V. Kirichenko,Finite-dimensional algebras, Springer-Verlag, Berlin, 1994, Translated from the 1980 Russian original and with an appendix by Vlastimil Dlab
work page 1994
-
[15]
Xin Fang, Mikhail Gorsky, Yann Palu, Pierre-Guy Plamondon, and Matthew Press- land,Extriangulated ideal quotients, with applications to cluster theory and gentle algebras, arXiv:2308.05524
-
[16]
Changjian Fu, Shengfei Geng, and Pin Liu,Relative rigid objects in triangulated categories, J. Algebra520(2019), 171–185
work page 2019
-
[17]
Christof Geiss, Bernhard Keller, Steffen Oppermann,n-angulated categories, J. Reine Angew. Math. 675 (2013), 101–120
work page 2013
-
[18]
Mikhail Gorsky, Hiroyuki Nakaoka, and Yann Palu,Hereditary extriangulated categories: silting objects, mutation, negative extensions, arXiv:2303.07134v2
-
[19]
Edward L Green, Nicole Snashall, Øyvind Solberg,The Hochschild cohomology ring of a self- injective algebra of finite representation type, Proc. Amer. Math. Soc. 131 (2003), no. 11, 3387–3393
work page 2003
-
[20]
Norihiro Hanihara,Auslander correspondence for triangulated categories, Algebra Number Theory14(2020), no. 8, 2037–2058
work page 2020
-
[21]
Ping He, Yu Zhou and Bin Zhu,Mutation of relative rigid objects, preprint (2021)
work page 2021
-
[22]
Martin Herschend and Osamu Iyama,Selfinjective quivers with potential and 2-representation- finite algebras, Compos. Math.147(2011), no. 6, 1885–1920
work page 2011
-
[23]
Zheng Hua and Bernhard Keller,Cluster categories and rational curves, Geom. Topol. 28 (2024), no. 6, 2569–2634
work page 2024
-
[24]
Osamu Iyama, Peter Jørgensen, and Dong Yang,Intermediate co-t-structures, two-term silting objects,τ-tilting modules, and torsion classes, Algebra Number Theory8(2014), no. 10, 2413– 2431
work page 2014
-
[25]
Osamu Iyama, Hiroyuki Nakaoka and Yann Palu,Auslander-Reiten theory in extriangulated categories, Trans. Amer. Math. Soc. Ser. B11(2024), 248–305
work page 2024
-
[26]
Osamu Iyama and Steffen Oppermann,Stable categories of higher preprojective algebras, Adv. Math.244(2013), 23–68
work page 2013
-
[27]
Osamu Iyama and Dong Yang,Silting reduction and Calabi-Yau reduction of triangulated categories, Trans. Amer. Math. Soc.370(2018), no. 11, 7861–7898. FROM FINITELY PRESENTED OBJECTS TO 2-TERM COMPLEXES 35
work page 2018
-
[28]
Osamu Iyama and Yuji Yoshino,Mutations in triangulated categories and rigid Cohen- Macaulay modules, Invent. Math.172(2008), 117–168
work page 2008
-
[29]
Gustavo Jasso, Bernhard Keller and Fernando Muro,The Derived Auslander-Iyama Corre- spondence, arXiv:2208.14413
-
[30]
Martin Kalck and Dong Yang,Relative singularity categories III: cluster resolutions, arXiv:2006.09733v1
Pith/arXiv arXiv 2006
-
[31]
Bernhard Keller,Calabi-Yau triangulated categories, Trends in representation theory of alge- bras and related topics, EMS Ser. Congr. Rep., Eur. Math. Soc., Z¨ urich, 2008, pp. 467–489
work page 2008
-
[32]
Bernhard Keller,A remark on a theorem by Claire Amiot, C. R. Math. Acad. Sci. Paris356 (2018), no. 10, 984–986
work page 2018
-
[33]
Bernhard Keller and Junyang Liu,Calabi-Yau structures on Drinfeld quotients and Amiot’s conjecture, arXiv:2302.03681
work page internal anchor Pith review Pith/arXiv arXiv
-
[34]
Bernhard Keller and Idun Reiten,Cluster-tilted algebras are Gorenstein and stably Calabi-Yau, Adv. Math.211(2007), 123–151
work page 2007
-
[35]
Bernhard Keller and Dong Yang,Derived equivalences from mutations of quivers with potential, Adv. Math.226(2011), no. 3, 2118–2168, With an appendix by Bernhard Keller
work page 2011
-
[36]
Steffen Koenig and Bin Zhu,From triangulated categories to abelian categories: cluster tilting in a general framework, Math. Z.258(2008), no. 1, 143–160
work page 2008
-
[37]
Maxim Kontsevich,Triangulated categories and geometry, Course at the ´Ecole Normale Sup´ erieure, Paris, Notes taken by J. Bella ¨ ıche, J.-F. Dat, I. Marin, G. Racinet and H. Randri- ambololona, 1998
work page 1998
-
[38]
Henning Krause,Completing perfect complexes, With appendices by Tobias Barthel, Bernhard Keller and Krause, Math. Z.296(2020), no. 3-4, 1387–1427
work page 2020
- [39]
- [40]
-
[41]
Hiroyuki Nakaoka and Yann Palu,Extriangulated categories, Hovey twin cotorsion pairs and model structures, Cah. Topol. G´ eom. Diff´ er. Cat´ eg.60(2019), no. 2, 117–193
work page 2019
-
[42]
Arnau Padrol, Yann Palu, Vincent Pilaud, and Pierre-Guy Plamondon,Associahedra for the finite type cluster algebras and minimal relations between g-vectors, Proc. Lond. Math. Soc. (3) 127 (2023), no. 3, 513–588
work page 2023
-
[43]
Claus Michael Ringel,The self-injective cluster-tilted algebras, Arch. Math. (Basel)91(2008), no. 3, 218–225
work page 2008
-
[44]
Manuel Saor ´ ın and Alexandra Zvonareva,Lifting of recollements and gluing of partial silting sets, Proc. Roy. Soc. Edinburgh Sect. A152(2022), no. 1, 209–257
work page 2022
- [45]
-
[46]
Dong Yang,Endomorphism algebras of maximal rigid objects in cluster tubes, Comm. Alg.40 (2012), 4347–4371
work page 2012
-
[47]
Wuzhong Yang and Bin Zhu,Relative cluster tilting objects in triangulated categories, Trans. Amer. Math. Soc.371(2019), no. 1, 387–412
work page 2019
-
[48]
Panyue Zhou and Bin Zhu,Two-term relative cluster tilting subcategories,τ-tilting modules and silting subcategories, J. Pure Appl. Algebra224(2020), Paper No. 106365, 22pp. Dong Yang, School of Mathematics, Nanjing University, Nanjing 210093, P. R. China Email address:yangdong@nju.edu.cn 36 DONG YANG Osamu Iyama, Graduate School of Mathematical Sciences, ...
work page 2020
This paper was first reviewed by deepseek-v4-flash on August 4, 2026.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.