REVIEW 1 major objections 7 minor 38 references
Functor bridges n+1-term subcategories and complexes
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 →
2026-07-09 01:01 UTC pith:S4VYPSAD
load-bearing objection Generalizes Yang's 2-term functor to (n+1)-term complexes; the construction is sound but one key composition is asserted rather than displayed. the 1 major comments →
From (n+1)-term subcategories to (n+1)-term complexes
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central discovery is the trifold equivalence: fullness of P, injectivity of the extension map Ω, and the vanishing of Hom(Σ^i M, M) for intermediate shifts 1 ≤ i ≤ n−1. This vanishing condition, which is weaker than full n-rigidity (it excludes only the extreme i = n), is the precise obstruction that determines whether the functor from (n+1)-term subcategories to (n+1)-term complexes is an equivalence. The functor P itself is constructed by lifting objects and morphisms through a Frobenius exact category, using presentations of length n+1 and the horseshoe lemma to build chain maps between complexes, then passing to the stable category. The natural isomorphism Γ between P∘Σ and Σ∘P on a子
What carries the argument
The functor P is built from eM-presentations of length n+1 in a Frobenius exact category F whose stable category is T. Each object X in pr^{n+1}_T(M) is resolved by n+1 conflations using objects from M, producing a complex C•(X) in degrees −n to 0. Morphisms are lifted to chain maps via vanishing of Ext^1(M, Y) for appropriate objects, and null-homotopies are controlled by factoring through projective-injective objects. The extension map Ω is defined by factoring extensions through Σ of objects in pr^n_T(M) and composing with Γ, a natural isomorphism P∘Σ ≅ Σ∘P constructed from the standard triangle structure of the stable category.
Load-bearing premise
The explicit construction of the functor P requires the triangulated category T to be algebraic (the stable category of a Frobenius exact category), so that morphisms can be lifted to the exact category and chain maps can be built using the horseshoe lemma. The main theorem is then stated for any reduced (n−1)-Auslander extriangulated category, relying on a cited classification result that every algebraic such category arises from the construction. If that classification hasg
What would settle it
If a reduced (n−1)-Auslander extriangulated category exists that does not arise from an n-rigid subcategory of an algebraic triangulated category, the functor P may not be constructible for that category, limiting the scope of Theorem 5.14.
If this is right
- When M is n-cluster tilting and the vanishing condition holds, the entire triangulated category T is equivalent (modulo an ideal) to (n+1)-term complexes over M, providing a higher-dimensional analogue of classical tilting theory.
- In (n+1)-Calabi-Yau categories, the functor gives a mutation-compatible bijection between 2-term n-cluster tilting objects and 2-term silting complexes over the endomorphism algebra, extending the support τ-tilting correspondence to arbitrary n.
- The equivalence preserves silting subcategories and their left/right mutations, meaning the combinatorial mutation structure on one side is faithfully mirrored on the other.
- When Σ^{n+1}M = M, the functor P becomes a genuine equivalence of additive categories, endowing K[-n,0](M) with a triangulated structure inherited from T.
Where Pith is reading between the lines
- The vanishing condition Hom(Σ^i M, M) = 0 for 1 ≤ i ≤ n−1 is strictly weaker than n-rigidity (which includes i = n), suggesting that the 'boundary' extension group Hom(Σ^n M, M) plays a different role—it controls the ideal [Σ^n M, M] being quotiented, rather than obstructing the equivalence.
- The construction likely extends to non-algebraic triangulated categories if one can find an alternative to the Frobenius lift, since the main theorem is stated for general reduced (n−1)-Auslander extriangulated categories, but the explicit construction of P currently depends on the algebraic hypothesis.
- The mutation compatibility of the silting bijection suggests that exchange graphs of silting subcategories on both sides are isomorphic, which could provide a combinatorial tool for computing mutation classes in settings where one side is more tractable.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper constructs an extriangulated functor (P, Ω) from the (n+1)-term subcategory pr_T^{n+1}(M) of an algebraic triangulated category T to the category K[-n,0](M) of (n+1)-term complexes, generalizing Yang's n=1 construction. The functor P restricts to the identity on M. The main result (Theorem 1.2 / Theorems 5.14, 5.17, 5.20) establishes that P is full if and only if Ω is injective if and only if Hom_C(Σ^i M, M) = 0 for 1 ≤ i ≤ n−1, and under these conditions P induces an extriangle equivalence C/[Σ^n M, M] ≃ K[-n,0](M) plus a mutation-compatible bijection on silting subcategories. Applications to n-cluster tilting subcategories and (n+1)-Calabi-Yau categories are given in Section 6.
Significance. The paper makes a substantial contribution by extending the functorial bridge between (n+1)-term subcategories and (n+1)-term complexes from the classical n=1 case to arbitrary n. The construction of P in Section 3 is parameter-free (given M and T, the functor is determined up to natural isomorphism by Proposition 3.9), and the equivalent conditions in Theorem 5.14 are logically derived rather than circularly imposed. The n=1 case recovers Yang's result, providing a consistency check. The applications to silting bijections and cluster tilting in Calabi-Yau categories are concrete and falsifiable. The proofs proceed by careful induction with explicit chain maps.
major comments (1)
- Proof of Theorem 4.4 (end of p. 23): The final step of the proof asserts that the composition of the three explicitly written chain maps — (3.14), (3.12), and (4.7) — equals the chain map shown in (4.5), verified by 'a direct check.' This composition involves alternating signs (−1)^i and index shifts across three maps, and it is the load-bearing step establishing that (P, Ω) is an extriangulated functor. If any sign or degree alignment is off, Ω fails to send extriangles to triangles, invalidating Theorem 1.1, Theorem 5.21, and the Section 6 applications. The n=1 case provides one check, but the first genuinely new case n=2 has no prior verification. The authors should either display the term-by-term composition or, at minimum, spell out the verification for one representative degree index to confirm the sign convention is consistent across all three maps.
minor comments (7)
- p. 4, Convention: 'For any two subcategories X and Y of a triangulated category T, we denote by X*Y the subcategory of T consisting of the objects Z such that there exists a triangle X → Z → Y → ΣX with X ∈ X and Y ∈ Y.' This should specify X ∈ X (an object) rather than X ∈ X (the subcategory), for clarity.
- p. 6, line 5: 'natrual' should be 'natural' (appears in the proof of Theorem 4.4: 'since Ω is a natrual transformation').
- p. 23, line 2: 'ΣeP(eδ)◦eΓ_{X1}◦eP(eγ_X^0)' — the notation with the 'e' prefix is used consistently for lifts to F, but a brief reminder at this point that 'e' denotes the lifted version would aid readability, as this is a dense passage.
- Example 2.17 (p. 10): The AR quiver is drawn with specific notation (P_i, S_i) but the relationship between the 2-cluster category structure and the specific triangles listed could benefit from one sentence explaining why M = add(P_1 ⊕ ΣP_2) is 2-rigid.
- p. 37, Corollary 6.6: 'Hom_T(ΣM, M) = 0 for all 1 ≤ i ≤ n−1' should read 'Hom_T(Σ^i M, M) = 0 for all 1 ≤ i ≤ n−1' (missing exponent on Σ).
- The reference [36] to Silberberg's forthcoming work is cited as 'In preparation.' If available by the time of revision, a more complete reference or arXiv link would be appropriate.
- Section 5 is dense; a brief roadmap paragraph at the start of Section 5 outlining the logical flow (Proposition 5.3 → Lemma 5.9 → Lemma 5.11 → Theorem 5.14 → Proposition 5.16 → Theorems 5.17, 5.20) would help the reader navigate the induction.
Simulated Author's Rebuttal
We thank the referee for the careful reading and the constructive suggestion regarding the sign verification in the proof of Theorem 4.4. We agree that this step is load-bearing and that the verification should be made explicit rather than left as a 'direct check.' We will revise the manuscript accordingly.
read point-by-point responses
-
Referee: Proof of Theorem 4.4 (end of p. 23): The final step of the proof asserts that the composition of the three explicitly written chain maps — (3.14), (3.12), and (4.7) — equals the chain map shown in (4.5), verified by 'a direct check.' This composition involves alternating signs (−1)^i and index shifts across three maps, and it is the load-bearing step establishing that (P, Ω) is an extriangulated functor. If any sign or degree alignment is off, Ω fails to send extriangles to triangles, invalidating Theorem 1.1, Theorem 5.21, and the Section 6 applications. The n=1 case provides one check, but the first genuinely new case n=2 has no prior verification. The authors should either display the term-by-term composition or, at minimum, spell out the verification for one representative degree index to confirm the sign convention is consistent across all three maps.
Authors: We fully agree with the referee that this step deserves explicit verification. The composition of the three chain maps (3.14), (3.12), and (4.7) is indeed the crux of the proof that (P, Ω) is an extriangulated functor, and the alternating signs (−1)^i together with the degree shifts make a terse 'direct check' inadequate for a load-bearing argument. We will revise the manuscript to include an explicit term-by-term verification of the composition. Specifically, we will display the composition at a representative degree index i (for 0 ≤ i ≤ n−1), showing how the signs (−1)^{i+1} from (4.7), the identity maps and sign (−1) factors from (3.12), and the signs (−1)^n, (−1)^{n−1}, … from (3.14) combine to produce exactly the entries of the chain map (4.5). We will also verify the boundary cases i = 0 and i = n−1 separately, as these involve the terms I(X₁) and the zero objects where the degree alignment is most delicate. This will confirm the sign convention is consistent across all three maps for arbitrary n, not just n = 1. revision: yes
Circularity Check
No significant circularity; one self-citation to prior classification result is not load-bearing for the main theorem's logical derivation.
specific steps
-
self citation load bearing
[Introduction, paragraph after Theorem 1.1 (p. 3)]
"Conversely, as shown in [13, Theorem 3.7] every algebraic reduced (n−1)-Auslander extriangulated category arises in this way up to extriangulated equivalence. Consequently, given any algebraic reduced (n−1)-Auslander extriangulated category (C,E), Theorem 1.1 yields an extriangulated functor from C to K[−n,0](M) that restricts to the identity functor on M"
Reference [13] is by X. Chen (a different author, not among Zhang/Zhou/Zhu), so this is not a self-citation in the strict sense. Moreover, [13, Theorem 3.7] is invoked only to extend the applicability of Theorem 1.1 from pr^{n+1}_T(M) to general algebraic reduced (n−1)-Auslander categories. The main result Theorem 5.14 is a conditional statement ('Let (P,Ω) be an extriangulated functor...') whose proof uses only extriangulated category axioms, not [13]. The citation concerns scope of applicability, not logical load-bearing for the equivalence proof itself.
full rationale
The paper's central derivation chain is largely self-contained. The functor P is constructed parameter-free from M and T (Construction 3.7, Proposition 3.9), with uniqueness up to natural isomorphism established independently. The equivalent conditions in Theorem 5.14 — (i) P full, (ii) Ω injective, (iii) Hom_C(Σ^i M, M) = 0 — are logically derived via a chain of lemmas (5.9–5.16) using extriangulated category axioms, not circularly defined. Condition (iii) is an independent algebraic vanishing condition on M, not a restatement of (i) or (ii). The proof of (i)⇒(iii) uses fullness of P plus Lemma 5.9 (P(Σ^{i+1}M) ≅ Σ^{i+1}P(M)) to force Ω((ε_M^i)#(f)) = 0, then fullness to lift a splitting from K^b(M) back to C. The proof of (ii)⇒(iii) uses injectivity of Ω plus the same vanishing in K^b(M). The reverse implications (iii)⇒(i),(ii) proceed through Proposition 5.16, which establishes bijections via induction on projective dimension using the five-lemma-style Lemma 5.13. The one external citation that could be considered load-bearing for applicability — [13, Theorem 3.7] by Chen — is not a self-citation (Chen is not an author of this paper) and concerns only the scope of categories to which Theorem 5.14 applies, not the correctness of the theorem itself. The n=1 case recovering Yang's [37, Theorem 1.1] provides an external consistency check. The 'direct check' at the end of Theorem 4.4's proof is a correctness risk (potential sign/indexing error), not a circularity issue. Overall, the derivation is self-contained against external benchmarks with only minor external citations for scope.
Axiom & Free-Parameter Ledger
axioms (5)
- domain assumption T is an algebraic triangulated category (stable category of a Frobenius exact category F)
- domain assumption M is an n-rigid subcategory of T closed under direct summands
- domain assumption Every algebraic reduced (n−1)-Auslander extriangulated category arises as pr^{n+1}_T(M) up to extriangulated equivalence [13, Theorem 3.7]
- standard math Standard axioms of extriangulated categories [32, Definition 2.12]
- standard math Octahedral axiom for triangulated categories
Cite this review
Pith. "Pith review of From $(n+1)$-term subcategories to $(n+1)$-term complexes." pith.science (2026). https://pith.science/paper/S4VYPSAD
@misc{pith2026260706960,
author = {Pith},
title = {Pith review of: From $(n+1)$-term subcategories to $(n+1)$-term complexes},
year = {2026},
howpublished = {\url{https://pith.science/paper/S4VYPSAD}},
note = {Machine review of arXiv:2607.06960}
}
read the original abstract
Let $n$ be a positive integer. Given an $n$-rigid subcategory $\mathcal{M}$ of an algebraic triangulated category $\mathcal{T}$, we explicitly construct an extriangulated functor from the $(n+1)$-term subcategory of $\mathcal{T}$ generated by $\mathcal{M}$ to the full subcategory of $(n+1)$-term complexes in the bounded homotopy category $K^b(\mathcal{M})$, which restricts to the identity on $\mathcal{M}$. In the broader context of reduced $(n-1)$-Auslander extriangulated categories, we provide necessary and sufficient conditions for such a functor to be full, in which case it induces an equivalence of extriangulated categories modulo a certain ideal. Furthermore, we establish a mutation-compatible bijection between the silting subcategories of these categories. Finally, we apply these results to $n$-cluster tilting subcategories and $n$-cluster tilting objects in $(n+1)$-Calabi-Yau categories.
Reference graph
Works this paper leans on
- [1]
-
[2]
T. Adachi and M. Tsukamoto.Hereditary cotorsion pairs and silting subcategories in extriangulated cate- gories, J. Algebra, 594:109–137 (2022)
work page 2022
-
[3]
T. Adachi and M. Tsukamoto.An assortment of properties of silting subcategories of extriangulated cate- goriesBull. Sci. Math., 203:103647 (2025)
work page 2025
- [4]
-
[5]
Rigidity of tilting complexes and derived equivalence for self-injective algebras
S. Al-Nofayee, J. Rickard.Rigidity of tilting complexes and derived equivalence for self-injective algebras, arXiv:1311.0504v1 (2013)
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[6]
R. Bennett-Tennenhaus, A. Shah.Transport of structure in higher homological algebra, J. Algebra, 574:514–549 (2021)
work page 2021
-
[7]
R. Bennett-Tennenhaus, J. Haugland, M. H. Sandøy, A. Shah.The category of extensions and a characteri- sation of n-exangulated functors, Math. Z., 305:44 (2023)
work page 2023
-
[8]
T. Br ¨ustle and D. Yang.Ordered exchange graphs, Advances in representation algebras, 135–193, EMS Ser. Congr. Rep., Eur. Math. Soc., Z¨urich, (2008)
work page 2008
-
[9]
A. Buan, R. Marsh, M. Reineke, I. Reiten, and G. Todorov.Tilting theory and cluster combinatorics, Adv. Math., 204(2):572–618 (2006)
work page 2006
-
[10]
B ¨uhler.Exact categories, Expo
T. B ¨uhler.Exact categories, Expo. Math., 28(1):1–69 (2010)
work page 2010
-
[11]
P. Caldero, F. Chapoton, and R. Schiffler.Quivers with relations arising from clusters (A n case), Trans. Amer. Math. Soc., 358(3):1347–1364 (2006)
work page 2006
-
[12]
X. Chen.0-Auslander correspondence. arXiv: 2306.15958 (2023)
work page internal anchor Pith review Pith/arXiv arXiv 2023
-
[13]
Chen.Auslander-Iyama correspondence for exact dg categories, Nagoya Math
X. Chen.Auslander-Iyama correspondence for exact dg categories, Nagoya Math. J., 259:499-523 (2025)
work page 2025
-
[14]
X. Fang, M. Gorsky, Y . Palu, P. Plamondon and M. Pressland,Extriangulated ideal quotients, with applica- tions to cluster theory and gentle algebras, arXiv: 2308.05524v2 (2023)
work page internal anchor Pith review Pith/arXiv arXiv 2023
-
[15]
S. Fomin and A. Zelevinsky.Cluster algebras. I. Foundations, J. Amer. Math. Soc., 15(2):497–529 (2002)
work page 2002
-
[16]
C. Fu, S. Geng and P. Liu.Relative rigid objects in triangulated categories, J. Algebra, 520:171–185 (2019)
work page 2019
-
[17]
C. Geiß, B. Leclerc, and J. Schr ¨oer.Rigid modules over preprojective algebras, Invent. Math., 165:589–632 (2006). 39
work page 2006
-
[18]
Positive and negative extensions in extriangulated categories
M. Gorsky, H. Nakaoka and Y . Palu,Positive and negative extensions in extriangulated categories, arXiv: 2103.12482 (2021)
work page internal anchor Pith review Pith/arXiv arXiv 2021
-
[19]
Hereditary extriangulated categories: Silting objects, mutation, negative extensions
M. Gorsky, H. Nakaoka and Y . Palu,Hereditary extriangulated categories: silting objects, mutation, nega- tive extensions, arXiv: 2303.07134v2 (2023)
work page internal anchor Pith review Pith/arXiv arXiv 2023
-
[20]
D. Happel.Triangulated categories in the representation theory of finite dimensional algebras, London Mathematical Society Lecture Notes Series, vol. 119, Cambridge University Press (1988)
work page 1988
-
[21]
H. Herschend, Y . Liu and H. Nakaoka.n-exangulated categories (I): Definitions and fundamental properties, J. Algebra, 570:531–586 (2021)
work page 2021
-
[22]
H. Herschend, Y . Liu and H. Nakaoka.n-exangulated categories (II): Constructions from n-cluster tilting subcategories, J. Algebra, 594:636–684 (2022)
work page 2022
-
[23]
O. Iyama and S. Oppermann.Stable categories of higher preprojective algebras, Adv. Math. 244:23–68 (2013)
work page 2013
-
[24]
O. Iyama and Y . Yoshino.Mutations in triangulated categories and rigid Cohen-Macaulay modules, Invent. Math., 172:117–168 (2008)
work page 2008
-
[25]
Keller,On triangulated orbit categories, Doc
B. Keller,On triangulated orbit categories, Doc. Math., 10:551–581 (2005)
work page 2005
-
[26]
Keller,Cluster algebras, quiver representations and triangulated categories, London Math
B. Keller,Cluster algebras, quiver representations and triangulated categories, London Math. Soc. Lecture Note Ser., 375, Cambridge University Press, Cambridge, 76–160 (2010)
work page 2010
-
[27]
B. Keller,Cluster algebras and derived categories, in ”Derived categories in algebraic geometry”, 123–183. EMS Ser. Congr. Rep. European Mathematical Society (EMS), Z¨urich, (2012)
work page 2012
-
[28]
B. Keller and I. Reiten.Cluster-tilted algebras are Gorenstein and stably Calabi-Yau, Adv. Math., 211:123– 151 (2007)
work page 2007
-
[29]
B. Keller and I. Reiten.Acyclic Calabi-Yau categories, Compos. Math., 144(5):1332–1348 (2008). With an appendix by Michel Van den Bergh
work page 2008
- [30]
-
[31]
Krause,Homological theory of representations, Cambridge Stud
H. Krause,Homological theory of representations, Cambridge Stud. Adv. Math., vol. 195, Cambridge Uni- versity Press, Cambridge (2022)
work page 2022
-
[32]
H. Nakaoka and Y . Palu,Extriangulated categories, Hovey twin cotorsion pairs and model structures, Cah. Topol. G´eom. Diff´er. Cat´eg., LX(2):117–193 (2019)
work page 2019
- [33]
- [34]
-
[35]
Reiten.Cluster categories, Proceedings of the International Congress of Mathematicians
I. Reiten.Cluster categories, Proceedings of the International Congress of Mathematicians. V olume I, pages 558–594, Hindustan Book Agency, New Delhi, 2010
work page 2010
-
[36]
Silberberg.Extriangulated ideal quotients and d-Auslander categories, In preparation
L. Silberberg.Extriangulated ideal quotients and d-Auslander categories, In preparation
-
[37]
From objects finitely presented by a rigid object in a triangulated category to 2-term complexes
D. Yang,From objects finitely presented by a rigid object in a triangulated category to2-term complexes, arXiv: 2509.08246 (2025)
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[38]
W. Yang and B. Zhu.Relative cluster tilting objects in triangulated categories, Trans. Amer. Math. Soc., 371:387–412 (2019). Department ofMathematicalSciences, TsinghuaUniversity, 100084 Beijing, China Email address:ztzhangmath@163.com School ofMathematicalSciences, BeijingNormalUniversity, 100875 Beijing, China Email address:yuzhoumath@gmail.com Departme...
work page 2019
This paper was first reviewed by glm-5.2 on July 9, 2026.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.