$n$-cotorsion pairs in a recollement of extriangulated categories

Panyue Zhou; Xin Ma

REVIEW 2 major objections 6 minor 31 references

$n$-cotorsion pairs in a recollement of extriangulated categories

T0 review · 2 major / 6 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read n-cotorsion pairs glue across extriangulated recollements

desk verdict Main gluing theorems duplicate He–He [10]; the cluster-tilting corollaries are the real addition, and the omitted Lemma 3.9 is fixable but makes the proof incomplete as written. read the letter →

arxiv 2508.20331 v1 pith:FAE5V7KF submitted 2025-08-28 math.RT math.CT

Xin Ma , Panyue Zhou This is my paper · ORCID

classification math.RTmath.CT MSC 18E4018G8018E10

keywords extriangulatedcategoriesrecollementn-cotorsionpairs(n+1)-clustertiltingsubcategoriescotorsionhigherextensiongroupsapproximationstriangulated

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 claims that, in a recollement of extriangulated categories, $n$-cotorsion pairs in the two outer categories glue to an $n$-cotorsion pair in the middle category whenever the two adjoint functors from the middle to the left category are exact, and that the glue is reversible: restricting the new pair back to the outer categories recovers the original pairs. The same framework gives a converse: an $n$-cotorsion pair in the middle category induces $n$-cotorsion pairs in the outer categories under closure conditions, and the middle pair can be reconstructed from them. This matters because extriangulated categories are a common home for exact and triangulated categories, so the construction is a single mechanism that specializes to both classical settings. A sympathetic reader should take the main messages to be the explicit formulas for the glued subcategories and the two-way restriction procedure.

What carries the argument

The load-bearing object is the $n$-cotorsion pair in an extriangulated category: a pair $(X,Y)$ of subcategories closed under direct summands that are mutual higher orthogonals and satisfy approximation finiteness ($X$ contravariantly finite, $Y$ covariantly finite). The argument is carried by the recollement adjunctions and by a dimension-shifting isomorphism that identifies higher extension groups across the three categories; this converts the given orthogonality in $A$ and $C$ into orthogonality in $B$. Finiteness is transferred by Lemma 3.9, which the paper states without proof and refers to parallel arguments in the cited references.

What would settle it

Compute the two subcategories $X$ and $Y$ defined in Theorem 3.10 for a concrete recollement with $i^*$ and $i^!$ exact, using known $n$-cotorsion pairs in the outer categories, and check the three defining properties: the mutual orthogonality equalities and the existence of right $X$-approximations and left $Y$-approximations for every object. A failure of any one of these in such an example would disprove the theorem; a natural first place to look is a recollement induced by a torsion pair in a module category, where the functors and extension groups can be computed by hand.

Watch

Extended reading notes

Core claim

The central claim is Theorem 3.10: in a recollement $(A,B,C)$ of extriangulated categories with $i^*$ and $i^!$ exact, any $n$-cotorsion pairs $(X',Y')$ in $A$ and $(X'',Y'')$ in $C$ glue to an $n$-cotorsion pair $(X,Y)$ in $B$, where $X = \{ B \mid j^*B \in X'',\ i^*B \in X' \}$ and $Y = \{ B \mid j^*B \in Y'',\ i^!B \in Y' \}$. The original pairs are recovered by restriction: $(i^*X,\,i^!Y)=(X',Y')$ and $(j^*X,\,j^*Y)=(X'',Y'')$. Theorem 3.15 proves the converse: an $n$-cotorsion pair in $B$, under explicit closure hypotheses, induces $n$-cotorsion pairs in $A$ and $C$, and is itself recovered from them by the same defining formulas.

Load-bearing premise

The construction rests on the unproved assertion that certain adjoint functors between the categories of the recollement preserve finite subcategories in the approximation sense; if that transfer fails, the subcategories built in the main theorem may fail the finiteness condition required of an n-cotorsion pair.

Editorial extensions

If this is right

If Theorem 3.10 is correct, every compatible pair of $n$-cotorsion pairs in the outer categories produces one in the middle category, and the recollement functors send the outer pairs into the glued pair.
The recovery equalities in the theorem mean no information is lost: applying the restriction functors to the glued pair gives back exactly the original pairs.
For $n=1$, the construction recovers the known gluing theorem for ordinary cotorsion pairs in extriangulated categories.
When the input pairs have the form $(X',X')$ and $(X'',X'')$, the glued pair gives an $(n+1)$-cluster tilting subcategory in the middle category, recovering the triangulated cluster-tilting result as a special case.
The converse direction also gives a reconstruction formula: under the closure hypotheses, an $n$-cotorsion pair in the middle category is completely determined by its images in the two outer categories.

Reading between the lines

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

The paper leaves Lemma 3.9 without proof, so the cleanest reading of the main theorem is conditional on that finiteness transfer; one should verify the lemma in any particular recollement before applying the theorem.
The gluing recipe is likely to transfer to settings beyond the paper, such as pairs defined by a different notion of higher extension, because the proof itself only uses dimension shifting, orthogonality, and approximations.
A natural open question, not addressed in the paper, is whether the closure hypotheses in Theorem 3.15 are also necessary; if they are, the construction would be a bijective correspondence between suitable pairs of $n$-cotorsion pairs in the outer categories and those in the middle category.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

Quick take: the paper's Theorem 3.10 and Theorem 3.15 are the same gluing and ungluing statements that He and He [10] already proved for extriangulated categories, and the authors know this—they say so in the introduction. So the abstract's claim that "we first show" is misleading. What is actually new: the corollaries on (n+1)-cluster tilting subcategories and the restatements for triangulated categories. Those are straightforward consequences of the main theorems, but they are stated cleanly and collected in one place.

The paper does several things well. It uses standard approximation and dimension-shifting arguments, the hypotheses (i* and i! exact) are the right ones, and the writing is clear enough to follow. The citations to [10] and [24] are honest, and the paper does not hide its debt. If you work on recollements of extriangulated categories and want one place with the n-cotorsion gluing theorem plus cluster-tilting consequences, this is usable.

The soft spots are real but not fatal. Lemma 3.9 is the biggest one: it is stated only for a functor j*: B→C, but Theorem 3.10 invokes it for i*: A→B and j!: C→B, which the statement does not cover. The proof of the lemma is omitted, with a pointer to [20] and [22]. The stress-test note is right that this gap is load-bearing. It is also routine: any functor with a right adjoint preserves contravariantly finite subcategories, and any functor with a left adjoint preserves covariantly finite subcategories, so the theorem can be fixed by writing down the standard adjunction argument. The lemma's statement also contains a typo in part (1), where the conclusion mentions X while the hypothesis mentions Y. Minor and easily corrected.

Two smaller proof gaps: the claim that X is closed under E-extensions in Theorem 3.10 is asserted without demonstration (it follows from exactness of i* and j*, but the proof does not say that), and the dual arguments for Y are sketched rather than written. These are standard, not structural.

Bottom line: if the journal's novelty bar requires new theorems, this paper should probably not be accepted as is, because the central results already exist. If the editor is willing to consider a consolidation with new corollaries, it deserves a serious referee—not a desk reject—because the mathematics is coherent and the cluster-tilting applications are useful. I would ask the authors to remove "we first show" from the abstract and to fix Lemma 3.9 before sending it out.

Referee Report

2 major / 6 minor

Summary. This paper studies n-cotorsion pairs in a recollement (A,B,C) of extriangulated categories. The main forward direction, Theorem 3.10, defines subcategories X={B in B | j*B in X'', i*B in X'} and Y={B in B | j*B in Y'', i!B in Y'} from n-cotorsion pairs (X',Y') in A and (X'',Y'') in C, and asserts that (X,Y) is an n-cotorsion pair in B that restricts back to the given pairs, assuming i* and i! are exact. The converse direction, Theorem 3.15, shows that an n-cotorsion pair (X,Y) in B induces n-cotorsion pairs (i*X,i!Y) in A and (j*X,j*Y) in C under closure conditions of the form i*i*X subset X, i*i*Y subset Y and j*j*Y subset Y, and characterizes X and Y by these restrictions. The paper also derives corollaries for triangulated categories and (n+1)-cluster tilting subcategories.

Significance. The results are plausible and sit naturally in the existing program of gluing homological structures in recollements: they generalize the n=1 cotorsion-pair results of Ma-Zhou and He-He to n-cotorsion pairs, and the triangulated corollaries recover and extend results of Chen and of Long-Zhang-Zhou. The proofs use standard dimension-shifting and approximation arguments, and the paper is transparent about relying on prior work. However, the main theorem currently depends on a preservation lemma that is neither proved nor stated in the required generality, so the paper's contribution cannot be fully verified as written. If the missing arguments are supplied, the paper would be a useful reference; as it stands the novelty is incremental and overlaps with the authors' earlier [24] and with [10].

major comments (2)

[Lemma 3.9 and Theorem 3.10(2)] Lemma 3.9 is load-bearing but is not proved and is not applicable as stated. The lemma concerns additive functors j*:B->C, whereas Theorem 3.10(2) invokes it for the functors i*:A->B and j!:C->B to conclude that i*X' and j!X'' are contravariantly finite in B. The needed statement is the standard fact that a functor with a right adjoint preserves contravariantly finite subcategories; Lemma 3.9(2) is the special case of this fact for j*:B->C, and the general version is neither stated nor proved. In addition, Lemma 3.9(1) contains a typo: from a covariantly finite subcategory Y of B it concludes that j*X is covariantly finite in C, and the conclusion should presumably concern j*Y. Since contravariant and covariant finiteness is part of Definition 3.5, the proof of Theorem 3.10(2) is incomplete until the preservation facts are stated in the needed generality and proved.
[Theorem 3.10(2), proof] The proof asserts 'One can see that X is closed under E-extensions' without giving the argument, and this closure is then used to conclude that the object X, constructed as an extension of X1 in X and X2 in X, lies in X. The closure does follow from the definition of X together with exactness of i* and j* and closure of X' and X'' under E-extensions (Remark 3.6(1)), but the one-line verification should be included; as written the proof has a gap at the point where X in X is concluded.

minor comments (6)

[Section 3.1 heading] The heading 'From A andB toC' is misleading; the section constructs n-cotorsion pairs in B from data in A and C, so it should read 'From A and C to B'.
[Theorem 3.10 proof] There are typos in the proof: 'n-cotosion' should be 'n-cotorsion', and 'Proposiion' should be 'Proposition'.
[Theorem 3.15(1) proof] In the proof, 'suc that' should be 'such that', and the index in the displayed intersection 'nT i=k' should read 'nT k=1'.
[Corollaries 3.17 and 3.18] In both corollaries, 'otorsion pair' should be 'cotorsion pair'.
[Corollaries 3.12 and 3.19] The word 'Specially' should be 'Specifically' in the sentences introducing the triangulated consequences.
[Theorem 3.10(2), dual part] The dual argument proving that Y is covariantly finite is not written out; a sentence indicating the corresponding left-approximation argument would make the proof easier to check.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the gluing theorem is proved from the definition of n-cotorsion pairs and adjunction isomorphisms; self-citations are standard background lemmas.

full rationale

The central construction (Theorem 3.10) defines X and Y by pulling back the given n-cotorsion pairs from A and C, and then proves that (X,Y) satisfies Definition 3.5. The finiteness part is argued directly by constructing right X-approximations and left Y-approximations, and the orthogonality identities X = ⋂⊥kY and Y = ⋂X⊥k are derived from the dimension-shifting exact sequences (Lemma 2.4) and the adjunction isomorphisms of Proposition 3.8. None of these equalities is assumed; each is proved from the hypotheses that (X′,Y′) and (X″,Y″) are n-cotorsion pairs. Lemma 3.9, whose proof is omitted with references to [20] and [22], is a standard preservation statement for adjoint functors; applying it to i* and j! is legitimate since i* has right adjoint i! and j! has right adjoint j*. The statement has a typo in the displayed variable names, and the omitted proof is a completeness gap, but the lemma is not equivalent to the theorem's conclusion and is not a fitted input. Self-citations such as [24, Lemma 4.3] and the final comparison with [24, Theorem 4.6] are prior published results used as tools or corollaries; they are not used to assume the n-cotorsion pair conclusion in B. The paper is self-contained in its central derivation and no step reduces by construction to its inputs.

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

The central construction rests on the standard framework of extriangulated categories and recollements, plus the exactness hypotheses in the main theorems. No free parameters or invented entities appear. The most fragile input is the unproved Lemma 3.9, listed among the axioms as a borrowed assertion.

assumptions (5)

domain assumption Every extriangulated category is weakly idempotent complete (Condition 2.2, WIC) and has enough projectives and enough injectives.
Assumed in Section 2 for all categories in the paper; required for syzygies/cosyzygies and for the dimension shifting Lemma 2.4.
domain assumption The recollement diagram (A,B,C) satisfies (R1)-(R5) of Definition 2.5.
Quoted from [27]; all arguments about gluing use these five axioms, especially the E-triangles in (R4)-(R5).
ad hoc to paper In Theorems 3.10 and 3.15, the functors i* and i! are exact.
Stated as hypotheses in both theorems; used through Proposition 3.8 and Lemma 2.6 to match extension groups across the recollement.
ad hoc to paper Lemma 3.9 (unproved transfer of covariantly/contravariantly finite subcategories along adjoints) is correct.
The proof is omitted in the paper and borrowed from parallel arguments in [20] and [22]; the main theorem depends on it.
ad hoc to paper For the converse direction, the closure conditions i*i*X ⊆ X, i*i*Y ⊆ Y, and j*j*Y ⊆ Y hold.
These conditions are hypotheses of Theorem 3.15 and determine when the induced pairs are n-cotorsion and when the reconstruction formulas hold.

how reviews work

0 comments

Cite this review

Pith. "Pith review of $n$-cotorsion pairs in a recollement of extriangulated categories." pith.science (2026). https://pith.science/paper/FAE5V7KF

@misc{pith2026250820331,
  author       = {Pith},
  title        = {Pith review of: $n$-cotorsion pairs in a recollement of extriangulated categories},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/FAE5V7KF}},
  note         = {Machine review of arXiv:2508.20331}
}

abstract

Let $(\mathcal{A}, \mathcal{B}, \mathcal{C})$ be a recollement of extriangulated categories.In this paper, we first show how to obtain an $n$-cotorsion pair in $\mathcal{B}$ from given $n$-cotorsion pairs in $\mathcal{A}$ and $\mathcal{C}$. Conversely, we prove that an $n$-cotorsion pair in $\mathcal{B}$ can induce $n$-cotorsion pairs in $\mathcal{A}$ and $\mathcal{C}$ under suitable conditions. As applications, several related results are provided to illustrate our construction.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

31 extracted references · 27 canonical work pages

[10]

He and J

J. He and J. He, n-cotorsion pairs and recollements of extriangulated categories , J. Algebra Appl. (2025), https://doi.org/10.1142/S021949882650129X

work page doi:10.1142/s021949882650129x 2025
[24]

X. Ma, P. Zhou, Dimensions and cotorsion pairs in recollements of extriangulated categories, Comm. Algebra 53(1) (2025), 242–258. n-cotorsion pairs in a recollement of extriangulated categories 15

work page 2025
[20]

Y. Lin, M. Wang, From recollement of triangulated categories to recollement of abelian categories. Sci. China Math. 53(4) (2010), 1111—1116

work page 2010
[22]

X. Ma, Z. Xie, T. Zhao, Support τ-tilting modules and recollements , Colloq. Math. 167 (2022), 303–328

work page 2022
[1]

Auslander, I

M. Auslander, I. Reiten. Applications of contravariantly finite subcategories. Adv. Math. 86(1) (1991), 111–152. 14 X. Ma, P. Zhou

work page 1991
[2]

Be˘ ılinson, J

A. Be˘ ılinson, J. Bernstein, P. Deligne, Faisceaux pervers, in: Analysis and topology on singular spaces, I, Luminy, 1981, Ast´ erisque, vol. 100, Soc. Math. France, Paris, 1982, 5–171

work page 1981
[3]

W. Cao, J. Wei and K. Wu, Recollement and n-cotorsion pairs, arXiv: 2403.04220 (2024)

work page Pith review arXiv 2024
[4]

Chen, Cotorsion pairs in a recollement of triangulated categories , Comm

J. Chen, Cotorsion pairs in a recollement of triangulated categories , Comm. Algebra 41 (2013), 2903–2915

work page 2013

Show all 31 references

[5]

Chang, P

H. Chang, P. Zhou, Mutation of n-cotorsion pairs in triangulated categories, J. Algebra 667 (2025), 653–671

2025
[6]

Chang, Y

H. Chang, Y. Liu, P. Zhou, Mutation of n-cotorsion pairs in extriangulated categories, arXiv: 2506.16188 (2025)

2025 arXiv
[7]

Franjou, T

V. Franjou, T. Pirashvili, Comparison of abelian categories recollements, Doc. Math. 9 (2004), 41–56

2004
[8]

W. Gu, X. Ma, L. Tan, Homological dimensions of extriangulated categories and recollements , Alge- bra Colloq. 30(4) (2023), 667–684

2023
[9]

Gorsky, H

M. Gorsky, H. Nakaoka, Y. Palu, Positive and negative extensions in extriangulated categories, arXiv: 2103.12482 (2021)

2021 arXiv
[11]

J. He, Y. Hu, P. Zhou, Torsion pairs and recollements of extriangulated categories , Comm. Algebra 50 (2022), 2018–2036

2022
[12]

Iyama, H

O. Iyama, H. Nakaoka, Y. Palu, Auslander-Reiten theory in extriangulated categories , Trans. Am. Math. Soc., Ser. B 11 (2024), 248–305

2024
[13]

Huerta, O

M. Huerta, O. Mendoza, M. A. P´ erez.n-Cotorsion pairs. J. Pure Appl. Algebra 225(5) (2021) 106556

2021
[14]

J. He, P. Zhou. On the relation between n-cotorsion pairs and (n + 1)-cluster tilting subcategories. J. Algebra Appl. 21(2022), no. 1, 12 pages

2022
[15]

Y. Hu, P. Zhou, Recollements arising from cotorsion pairs on extriangulated categories, Front. Math. China 16 (2021), 937–955

2021
[16]

J. Hu, D. Zhang, P. Zhou. Gorenstein homological dimensions for extriangulated categories . Bull. Malays. Math. Sci. Soc. 44 (2021) 2235–2252

2021
[17]

J. Hu, D. Zhang, P. Zhou, Proper classes and Gorensteinness in extriangulated categories, J. Algebra 551(2020), 23–60

2020
[18]

J. Hu, D. Zhang, P. Zhou, Proper resolutions and Gorensteinness in extriangulated categories, Front. Math. China 16 (2021), 95–117

2021
[19]

Klapproth, n-extension closed subcategories of n-exangulated categories

C. Klapproth, n-extension closed subcategories of n-exangulated categories. arXiv: 2209.01128 (2022)

2022 arXiv
[21]

Y. Liu, H. Nakaoka, Hearts of twin cotorsion pairs on extriangulated categories , J. Algebra 528 (2019), 96–149

2019
[23]

X. Ma, T. Zhao, X. Zhuang, Resolving subcategories and dimensions in recollements of extriangulated categories, Bull. Malays. Math. Sci. Soc. 46 (2023), 36

2023
[25]

Nakaoka, Y

H. Nakaoka, Y. Palu, Extriangulated categories, Hovey twin cotorsion pairs and model structures , Cah. Topol. G´ eom. Diff´ er. Cat´ eg.60 (2019), 117–193

2019
[26]

T. Long, X. Zhang, Y. Zhou, Recollements and n-cluster tilting subcategories. Comm. Algebra 52(9) (2024), 4046-4058

2024
[27]

L. Wang, J. Wei, H. Zhang, Recollements of extriangulated categories , Colloq. Math. 167 (2022), 239–259

2022
[28]

P. Zhou, B. Zhu, Cluster-tilting subcategories in extriangulated categories , Theory Appl. Categ. 34 (2019), 221–242

2019
[29]

P. Zhou, B. Zhu, Triangulated quotient categories revisited, J. Algebra 502 (2018), 196–232

2018
[30]

B. Zhu, X. Zhuang, Tilting subcategories in extriangulated categories, Front. Math. China 15 (2020), 225–253

2020
[31]

B. Zhu, X. Zhuang, Grothendieck groups in extriangulated categories, J. Algebra 574 (2021), 206–232. Xin Ma College of Science, Henan University of Engineering, 451191 Zhengzhou, Henan, P. R. China E-mail: maxin@haue.edu.cn Panyue Zhou School of Mathematics and Statistics, Cha...

2021

Pith tools

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

[1] [10]

He and J

J. He and J. He, n-cotorsion pairs and recollements of extriangulated categories , J. Algebra Appl. (2025), https://doi.org/10.1142/S021949882650129X

work page doi:10.1142/s021949882650129x 2025

[2] [24]

X. Ma, P. Zhou, Dimensions and cotorsion pairs in recollements of extriangulated categories, Comm. Algebra 53(1) (2025), 242–258. n-cotorsion pairs in a recollement of extriangulated categories 15

work page 2025

[3] [20]

Y. Lin, M. Wang, From recollement of triangulated categories to recollement of abelian categories. Sci. China Math. 53(4) (2010), 1111—1116

work page 2010

[4] [22]

X. Ma, Z. Xie, T. Zhao, Support τ-tilting modules and recollements , Colloq. Math. 167 (2022), 303–328

work page 2022

[5] [1]

Auslander, I

M. Auslander, I. Reiten. Applications of contravariantly finite subcategories. Adv. Math. 86(1) (1991), 111–152. 14 X. Ma, P. Zhou

work page 1991

[6] [2]

Be˘ ılinson, J

A. Be˘ ılinson, J. Bernstein, P. Deligne, Faisceaux pervers, in: Analysis and topology on singular spaces, I, Luminy, 1981, Ast´ erisque, vol. 100, Soc. Math. France, Paris, 1982, 5–171

work page 1981

[7] [3]

W. Cao, J. Wei and K. Wu, Recollement and n-cotorsion pairs, arXiv: 2403.04220 (2024)

work page Pith review arXiv 2024

[8] [4]

Chen, Cotorsion pairs in a recollement of triangulated categories , Comm

J. Chen, Cotorsion pairs in a recollement of triangulated categories , Comm. Algebra 41 (2013), 2903–2915

work page 2013