Pith. sign in

REVIEW 3 major objections 5 minor 28 references

Cotorsion pairs in $(d+2)$-angulated categories

T0 review · 3 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A new notion of cotorsion pair is defined for (d+2)-angulated categories, and any mutation of such a pair is shown to remain a cotorsion pair.

desk verdict A useful higher-angulated extension with a genuine gap in the mutation theorem: the lift from the subfactor category in Theorem 4.11 swaps T^{-d}X for Σ^{-d}X without justification. read the letter →

arxiv 2411.17975 v1 pith:Z6QEK5NJ submitted 2024-11-27 math.RT math.CT

Huimin Chang , Panyue Zhou This is my paper · ORCID
classification math.RTmath.CT MSC 18E4005E1018G80
keywords cotorsionpairweak(d+2)-angulatedcategorymutationclustertiltingsubcategoryhigherhomologicalalgebra
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper introduces cotorsion pairs and weak cotorsion pairs in (d+2)-angulated categories, extending the classical triangulated-category notion (d=1). Its central goal is to show that this structure behaves well under mutation: starting from a cotorsion pair whose core contains a suitable subcategory D, the forward and backward D-mutations of both components again form a cotorsion pair, and the core transforms by the same mutation. As an application, the authors give a complete geometric description of weak cotorsion pairs in (d+2)-angulated cluster categories of type A: they are exactly pairs of diagonal sets X, Y with X = nc Y and Y = nc X, where nc is the non-intertwining complement. A sympathetic reader would care because this supplies a higher-homological analogue of the torsion/cotorsion pair mutation theory that underpins cluster algebra structures, and it predicts that mutation is a symmetry of the cotorsion-pair poset.

What carries the argument

The carrying mechanism is the subfactor category U = Z/D associated to a D-mutation pair (Z, Z), where morphisms are taken modulo those factoring through D; the quotient inherits a (d+2)-angulated structure when Z is extension closed. Inside U, the functor U(X, T^d Y) is isomorphic to C(X, Σ^d Y), which lets the authors transfer cotorsion pairs between C and U. The geometric classification in type A is carried by the intertwining relation ≀ on diagonals and its complement nc X: non-vanishing of Hom(O_i, O_j[d]) is exactly the intertwining of the two diagonals, so the orthogonal conditions defining weak cotorsion pairs become X = nc Y and Y = nc X.

What would settle it

Compute, in a (d+2)-angulated category where Z is not extension closed, a cotorsion pair (X, Y) with D ⊆ I(X) satisfying the perp equality, and verify that $μ_D^{{-1}}$(X) and $μ_D^{{-1}}$(Y) fail to satisfy the Hom-vanishing or approximation condition required of a cotorsion pair; alternatively, in OA_d^n, exhibit a diagonal set X with X ≠ nc nc X and show directly via Lemma 3.12 that (X, nc X) is not a weak cotorsion pair.

Watch

Extended reading notes

Core claim

The main structural theorem (Theorem 4.13) states: if (X, Y) is a cotorsion pair in a (d+2)-angulated category C and D is a strongly functorially finite subcategory contained in the core I(X) = X ∩ Y, satisfying ⊥(Σ^d D) = ($Σ^{{-d}}$ D)^⊥ and with Z = ⊥(Σ^d D) extension closed, then both ($μ_D^{{-1}}$(X), $μ_D^{{-1}}$(Y)) and (μ_D(X), μ_D(Y)) are cotorsion pairs, and I($μ_D^{{-1}}$(X)) = $μ_D^{{-1}}$(I(X)), I(μ_D(X)) = μ_D(I(X)). The proof reduces the D-mutation to a 0-mutation (the d-suspension) inside the subfactor category U = Z/D, which is itself (d+2)-angulated; the compatibility between cores in C and in U is what transfers the property back. For d = 1 this recovers the classical mutation result for torsion pairs in triangulated categories.

Load-bearing premise

The mutation theorem rests on the assumption that the mutating subcategory D is strongly functorially finite and d-rigid with ⊥(Σ^d D) = ($Σ^{{-d}}$ D)^⊥ and that Z = ⊥(Σ^d D) is extension closed; if extension-closedness fails, the quotient category may not carry the (d+2)-angulated structure on which the proof depends.

Editorial extensions

If this is right

  • Any mutation of a cotorsion pair (respectively weak cotorsion pair) in a (d+2)-angulated category is again a cotorsion pair (respectively weak cotorsion pair), so mutation acts as a symmetry on the poset of cotorsion pairs.
  • The core of a cotorsion pair is preserved up to the same mutation: I(μ_D^{-1}(X)) = μ_D^{-1}(I(X)) and I(μ_D(X)) = μ_D(I(X)).
  • In (d+2)-angulated cluster categories of type A, weak cotorsion pairs are in bijection with pairs of non-intertwining diagonal sets satisfying X = nc Y and Y = nc X, giving a purely combinatorial classification.
  • For d = 1, the theorem specializes to the known mutation result for torsion pairs in triangulated categories, so the paper's framework is a genuine higher-dimensional generalization.
  • Since (X, X) is a cotorsion pair exactly when X is cluster tilting, the mutation result includes the statement that mutations of cluster tilting subcategories are again cluster tilting in this setting.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The bijection between cotorsion pairs in C containing D and all cotorsion pairs in the subfactor category U suggests that iterated mutations can be composed and understood as moves in a lattice of cotorsion pairs, analogous to exchange graphs in cluster theory; the paper does not explicitly develop this lattice perspective.
  • The geometric type-A classification likely extends to other finite (d+2)-angulated categories with Calabi-Yau properties: the nc-complement structure depends only on the intertwining dimension-vector formula, so one could test whether every finite (d+2)-angulated cluster category admits an analogous diagonal model.
  • A testable consequence: in type A, the equation X = nc nc X should characterize the first component of a weak cotorsion pair; one could enumerate all diagonal sets for small n and d and check that the failure of this equation exactly predicts failure of the weak cotorsion condition.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper defines cotorsion pairs and weak cotorsion pairs in (d+2)-angulated categories, generalizing Nakaoka's cotorsion pairs in triangulated categories. It proves basic closure properties, gives a geometric characterization of weak cotorsion pairs in (d+2)-angulated cluster categories of type A using the non-intertwining relation, and then aims to prove that mutation of a cotorsion pair (and, according to the abstract, of a weak cotorsion pair) is again a cotorsion pair. The mutation theorem is approached through a bijection between cotorsion pairs in C whose cores contain a subcategory D and cotorsion pairs in the subfactor category U = Z/D, where Z = ⊥(Σ^dD) = (Σ^{-d}D)^⊥.

Significance. If the main theorem is correct, it would extend the known mutation-invariance of cotorsion pairs in triangulated categories (Zhou–Zhu) to the higher homological setting, and the geometric characterization of weak cotorsion pairs in type A provides explicit examples and a clear combinatorial description. The paper also gives useful examples and connects the new definitions to cluster tilting and Oppermann–Thomas cluster tilting objects. However, the central mutation theorem is currently supported by a proof with a load-bearing gap, and the abstract claims a result for weak cotorsion pairs that is not proved in the body, so the significance is contingent on a substantial revision.

major comments (3)
  1. [Definition 3.7 and Lemma 3.8] Definition 3.7(2) states 'For any C ∈ X there exists a (d+2)-angle Xd → ... → X0 → C → Σ^dXd with Xi ∈ X'. This must be 'For any C ∈ C', since cluster tilting is a condition on all objects of the ambient category. As printed, Lemma 3.8 is false: the cotorsion pair (X,X) gives approximations for every object of C, not only for objects of X. This is a definitional error that affects the subsequent use of cluster tilting subcategories in Example 3.9 and in the statement of Lemma 3.8.
  2. [Theorem 4.11, proof of surjectivity] The proof asserts that a (d+2)-angle in U of the form T^{-d}X → B → Y1 → ... → Yd → X 'implies a (d+2)-angle in C' of the form Σ^{-d}X → B → Y1 → ... → Yd → X. This step is not justified. Lemma 4.9(2) only provides an isomorphism of Hom-spaces U(X, T^dY) ≅ C(X, Σ^dY); it does not identify the object T^{-d}X with Σ^{-d}X in C. A standard U-angle starting at T^{-d}X is, by construction, represented by a C-angle starting at T^{-d}X, not at Σ^{-d}X. The subsequent diagram and the application of Lemma 2.3 require a full morphism of (d+2)-angles, but the text only supplies the first and last vertical maps, and the vanishing C(Σ^{-d}X, D)=0 does not produce the needed intermediate vertical morphisms. Since this step is the bridge from cotorsion pairs in U to cotorsion pairs in C, the bijection asserted in Theorem 4.11 and hence Theorem 4.13 are unsupported as written.
  3. [Abstract, Introduction, and Section 4] The abstract and introduction claim that 'any mutation of a (weak) cotorsion pair in C is again a (weak) cotorsion pair'. Section 4 proves this only for cotorsion pairs (Theorem 4.13). No theorem or argument is given for mutation of weak cotorsion pairs; the geometric characterization in Theorem 3.14 is not used to establish such a statement. Thus the central claim in the abstract is broader than the results actually proved.
minor comments (5)
  1. [Lemma 3.8] The proof of Lemma 3.8 is only 'It is easy to check by the definitions'; given the misprint in Definition 3.7, a short proof or a precise reference for the equivalence would be helpful.
  2. [Example 3.10] The assertion 'The cotorsion pairs we can find are only (C,0) and (0,C)' is stated without proof; a verification or a reference would improve the example.
  3. [Theorem 4.13] The phrase 'which is denoted by Z' after the equality ⊥(Σ^dD) = (Σ^{-d}D)^⊥ is ambiguous: it is the common value of the two subcategories that is denoted by Z, not D itself.
  4. [Theorem 4.11] The notation for the image of a cotorsion pair in U is not distinguished from the original pair in C; the text writes (X,Y) for both. Introducing an overline or a different font would prevent confusion in the bijection statement.
  5. [Throughout] There are several typos and spacing issues, e.g., 'concide' in Remark 3.6 and the title page 'P AIRS' / 'T RA TES' artifacts; these should be corrected in the final version.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the mutation theorem is derived from external subfactor-category and Hom-vanishing results, and the geometric characterization is an immediate but non-circular application of Oppermann-Thomas' Lemma 3.12.

full rationale

The paper's central claim (Theorem 4.13) is not circular. It reduces a D-mutation of a cotorsion pair to a 0-mutation in the subfactor category U = Z/D via the bijection in Theorem 4.11; that bijection is proved from the stated assumptions (strong functorial finiteness, d-rigidity, perp equality, and extension-closedness of Z) using Lin's quotient-category machinery and the Hom-space isomorphism of Lemma 4.9. None of these ingredients presuppose the theorem's conclusion. The only self-citations are [26], [27], and [28], and they either supply definitions restated in the paper or record the triangulated precedent being generalized; they are not load-bearing evidence for the main proof. The geometric characterization in Theorem 3.14 is a direct translation of Definition 3.1(3) through Lemma 3.12 and Remark 3.13; although the proof is short, it is not circular because the 'nc' condition is not part of the definition of weak cotorsion pair, and the equivalence rests on an external Hom-vanishing theorem about the cluster category. A genuine mathematical concern is the unproved step in Theorem 4.11 that replaces a U-angle T^{-d}X -> B -> ... by a C-angle Σ^{-d}X -> B -> ...; this appears to conflate the subfactor shift with the ambient suspension and is a correctness gap, but it is an invalid inference rather than a reduction to the paper's own inputs, so it does not raise the circularity score.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

The paper introduces no fitted parameters or new entities. It relies on external foundations: the axioms of (d+2)-angulated categories, the geometric model of OAd_n from Oppermann-Thomas, and the strong technical hypothesis on D in the mutation theorem. The only potential text-level issue is the cluster-tilting definition in Definition 3.7.

assumptions (3)
  • domain assumption C is a (d+2)-angulated category with suspension Sigma^d, satisfying axioms (N1)-(N4) from Geiss-Keller-Oppermann.
    Used throughout the paper, Section 2.1.
  • domain assumption The category OAd_n is a (d+2)-angulated cluster category of type A whose indecomposables correspond to diagonals in the set of intertwined tuples, with Hom-vanishing characterized by non-intertwining (Lemma 3.12, cited from Oppermann-Thomas).
    Basis for the geometric characterization in Section 3.2.
  • domain assumption D is a strongly functorially finite d-rigid subcategory satisfying perp(Sigma^d D) = (Sigma^{-d} D)^perp, and Z := perp(Sigma^d D) is extension closed.
    Hypothesis of Theorem 4.13 and Lemmas 4.8 and 4.9; without these the subfactor quotient may not inherit a (d+2)-angulated structure.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Cotorsion pairs in $(d+2)$-angulated categories." pith.science (2026). https://pith.science/paper/Z6QEK5NJ

@misc{pith2026241117975,
  author       = {Pith},
  title        = {Pith review of: Cotorsion pairs in $(d+2)$-angulated categories},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/Z6QEK5NJ}},
  note         = {Machine review of arXiv:2411.17975}
}
abstract

Let $\mathcal C$ be a $(d+2)$-angulated category. In this paper, we define the notions of cotorsion pairs and weak cotorsion pairs in $\mathcal C$, which are generalizations of the classical cotorsion pairs in triangulated categories. As an application, we give a geometric characterization of weak cotorsion pairs in $(d+2)$-angulated cluster categories of type $A$. Moreover, we prove that any mutation of a (weak) cotorsion pair in $\mathcal C$ is again a (weak) cotorsion pair. When $d=1$, this result generalizes the work of Zhou and Zhu on classical cotorsion pairs in triangulated categories.

Figures

Figures reproduced from arXiv: 2411.17975 by the authors.

Figure 1
Figure 1. The AR quiver of the 5-angulated category T Section 8], the object T = 1357 ⊕ 1358 ⊕ 1368 ⊕ 1468 [PITH_FULL_IMAGE:figures/full_fig_p007_1.png] view at source ↗
Figure 2
Figure 2. The AR-quiver of T Let C = add(13 ⊕ 15 ⊕ 35). Then one can check C is a 2-cluster tilting subcategory of T and C[2] = C. Thus (C, [2]) is a 4-angulated category. The AR quiver of C is shown in [PITH_FULL_IMAGE:figures/full_fig_p008_2.png] view at source ↗
Figure 4
Figure 4. The AR quiver of the 4-angulated category T If X, Y ∈ T are indecomposable objects, then by Lemma 3.12 we have T (X, Y ) =  k if Y is X or its immediate successor in the AR quiver, 0 otherwise. For example, the functor HomT (135, Σ 2 (−)) is non-zero on 246 and 247. It is zero on every other indecomposable object. Now we give a complete classification of weak cotorsion pairs [PITH_FULL_IMAGE:figures/full_fig_p010_4.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

28 extracted references · 28 canonical work pages

  1. [1]

    C. Amiot. Cluster categories for algebras of global dime nsion 2 and quivers with potential. Ann. Inst. Fourier (Grenoble) 59 (2009), no. 6, 2525–2590

    work page 2009

  2. [2]

    A. A. Be ˇ ılinson, J. Bernstein, P. Deligne. Faisceaux pervers. Analysis and topology on singular spaces, I (Luminy, 1981), 5–171, Ast´ erisque, 100, Soc. Math. Franc e, Paris, 1982

    work page 1981

  3. [3]

    A. B. Buan, O. Iyama, I. Reiten, J. Scott. Cluster structu res for 2-Calabi-Yau categories and unipotent groups. Compos. Math. 145(4) (2009), 1035–1079

    work page 2009

  4. [4]

    A. B. Buan, R. Marsh, M. Reineke, I. Reiten, G. Todorov. Ti lting theory and cluster combinatorics. Adv. Math. 204(2) (2006), 572–618

    work page 2006

  5. [5]

    S. E. Dickson. A torsion theory for Abelian categories. T rans. Amer. Math. Soc. 121 (1966), 223–235

    work page 1966

  6. [6]

    F. Fedele. Auslander-Reiten ( d + 2)-angles in subcategories and a ( d + 2)-angulated generalisation of a theorem by Br¨ uning. J. Pure Appl. Algebra 223(2019), no. 8 , 3554–3580

    work page 2019

  7. [7]

    Fomin, A

    S. Fomin, A. Zelevinsky. Cluster algebras. I. Foundatio ns. J. Amer. Math. Soc. 15 (2002), no. 2, 497–529

    work page 2002

  8. [8]

    Geiss, B

    C. Geiss, B. Keller, S. Oppermann. n-angulated categories. J. Reine Angew. Math. 675(2013), 10 1–120

    work page 2013

Show all 28 references
  1. [9]

    Herschend, O

    M. Herschend, O. Iyama. n-representation-finite algebras and twisted fractionally Calabi-Yau algebras. Bull. Lond. Math Soc. 43 (2011), no. 3, 449–466

    2011

  2. [10]

    T. Holm, P. Jørgensen, M. Rubey. Ptolemy diagrams and to rsion pairs in the cluster category of Dynkin type An. J. Algebraic Combin. 34 (2011), no. 3, 507–523

    2011

  3. [11]

    O. Iyama. Cluster tilting for higher Auslander algebra s. Adv. Math. 226 (2011), no. 1, 1–61

    2011

  4. [12]

    Iyama, Y

    O. Iyama, Y. Yoshino. Mutation in triangulated categor ies and rigid Cohen-Macaulay modules. Invent. Math. 172 (2008), no. 1, 117–168

    2008

  5. [13]

    Iyama, S

    O. Iyama, S. Oppermann. n-representation-finite algebras and n-APR tilting. Trans. Amer. Math. Soc. 363(2011), no. 12, 6575–6614

    2011

  6. [14]

    Iyama, S

    O. Iyama, S. Oppermann. Stable categories of higher pre projective algebras. Adv. Math. 244(2013), 23–68

    2013

  7. [15]

    Jacobsen, P

    K. Jacobsen, P. Jørgensen. d-abelian quotients of ( d + 2)-angulated categories. J. Algebra 521(2019), 114–136

    2019

  8. [16]

    Jacobsen, P

    K. Jacobsen, P. Jørgensen. Maximal τd-rigid pairs. J. Algebra 546(2020), 119–134

    2020

  9. [17]

    Jørgensen

    P. Jørgensen. Torsion classes and t-structures in higher homological algebra. Int. Math. Res. Not. 13(2016), 3880–3905

    2016

  10. [18]

    B. Keller. On triangulated orbit categories. Doc. Math . 10 (2005), 551–581

    2005

  11. [19]

    Keller, I

    B. Keller, I. Reiten. Cluster-tilted algebras are Gore nstein and stably Calabi-Yau. Adv. Math. 211 (2007), no. 1, 123–151

    2007

  12. [20]

    Koenig, B

    S. Koenig, B. Zhu. From triangulated categories to abel ian categories: cluster tilting in a general framework. Math. Z. 258 (2008), no. 1, 143–160

    2008

  13. [21]

    Lin, n-angulated quotient categories induced by mutation pairs

    Z. Lin, n-angulated quotient categories induced by mutation pairs. Czech. Math. J. 65(2015), 953–968

    2015

  14. [22]

    Z. Lin, Y. Zheng. Homotopy cartesian diagrams in n-angulated categories. Homotopy and Appl. 21(2019), no. 2, 377–394

    2019

  15. [23]

    H. Nakaoka. General heart construction on a triangulat ed category (I): Unifying t-structures and cluster tilting subcategories. Appl. Categ. Structures, 1 9 (2001), no. 6, 879–899

    2001

  16. [24]

    Oppermann, H

    S. Oppermann, H. Thomas. Higher-dimensional cluster c ombinatorics and representation theory. J. Eur. Math. Soc. 14 (2012), 1679–1737

    2012

  17. [25]

    Y. Palu. Grothendieck group and generalized mutation r ule for 2-Calabi-Yau triangulated categories. J. Pure Appl. Algebra 213 (2009), no. 7, 1438–1449

    2009

  18. [26]

    P. Zhou. Higher-dimensional Auslander-Reiten theory on ( d + 2)-angulated categories. Glasg. Math. J. 64 (2022), no. 3, 527–547

    2022

  19. [27]

    P. Zhou, B. Zhu. n-Abelian quotient categories. J. Algebra 527 (2019), 264–2 79. COTORSION PAIRS IN ( d + 2)-ANGULATED CATEGORIES 17

    2019

  20. [28]

    Y. Zhou, B. Zhu. Mutation of torsion pairs in triangulat ed categories and its geometric realization. Alg. and Rep. Theory 21 (2018), 817–832. Department of Applied Mathematics, The Open University of C hina, 100039 Beijing, P. R. China Email address : changhm@ouchn.edu.cn Sch...

    2018

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.