arxiv: 2604.22186 · v1 · submitted 2026-04-24 · 🧮 math.CT

Recognition: unknown

Homotopic morphisms and diagram theorems in extriangulated categories

Chencheng Zhang, Pu Zhang, Xue-Song Lu

Pith reviewed 2026-05-08 09:00 UTC · model grok-4.3

classification 🧮 math.CT

keywords extriangulated categorieshomotopic morphismsE-trianglesdiagram theorems4x4 lemmahorseshoe lemmatriangulated categories

0 comments

The pith

Any morphism of E-triangles in extriangulated categories decomposes as a composition of homotopic morphisms.

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

The paper defines homotopic morphisms for E-triangles in extriangulated categories. It proves that every morphism between such triangles is a composition of homotopic morphisms. It also shows that any given morphism triple can be made homotopic by altering just one component, with case-by-case analysis for inflations and deflations. These tools are applied to establish diagram theorems including multiple versions of the 4x4 lemma and to characterize certain classes of extriangulated categories.

Core claim

Homotopic morphisms of E-triangles are introduced. Any morphism of E-triangles is a composition of homotopic morphisms. Any morphism (α1, α2, α3) of E-triangles can be modified to be homotopic by changing one of αi, with all 15 cases where αi is an E-inflation or E-deflation analyzed. Some diagram theorems, especially the 4×4 Lemma and its 14 variants, are investigated, along with a relation to good morphisms in triangulated categories and a characterization of weakly idempotent complete extriangulated categories.

What carries the argument

Homotopic morphisms of E-triangles, serving as the building blocks that allow decomposition of general morphisms and the derivation of diagram lemmas.

If this is right

The 4×4 Lemma and its 14 variants, including the 3×3 diagram and Horseshoe Lemma, hold in this setting.
Homotopic morphisms relate to middling good morphisms in triangulated categories.
Weakly idempotent complete extriangulated categories admit a specific characterization in terms of these morphisms.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

This decomposition property could streamline proofs in homological algebra by reducing complex morphisms to simpler homotopic ones.
The analysis of 15 cases for inflations and deflations may apply to similar structures in other categorical contexts like exact categories.

Load-bearing premise

The category satisfies the axioms of an extriangulated category with E-triangles obeying the standard rules for inflations, deflations, and the extension functor.

What would settle it

A counterexample consisting of a specific extriangulated category and a morphism of E-triangles that cannot be decomposed into homotopic morphisms would show the main claim to be false.

read the original abstract

Homotopic morphisms of $\mathbb E$-triangles in extriangulated categories are introduced. Any morphism of $\mathbb E$-triangles is a composition of homotopic morphisms. Any morphism $(\alpha_1, \alpha_2, \alpha_3)$ of $\mathbb E$-triangles can be modified to be homotopic, by changing one of $\alpha_i$; moreover, all the 15 cases where $\alpha_i$ is an $\mathbb E$-inflation ($\mathbb E$-deflation) are analyzed. Some diagram theorems, especially $4\times 4$ Lemma and its $14$ variants, including $3\times 3$ diagram and Horseshoe Lemma, are investigated. A relation between homotopic morphisms and (middling) good morphisms in triangulated categories are given. Weakly idempotent complete extriangulated categories are characterized.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper defines homotopic morphisms for E-triangles and works through an exhaustive 15-case analysis to show any morphism of E-triangles factors through them or can be adjusted by changing one component.

read the letter

The main takeaway is that this paper introduces homotopic morphisms between E-triangles in extriangulated categories and proves every such morphism is a composition of homotopic ones. It also shows that any triple of maps can be made homotopic by tweaking exactly one entry, with a full breakdown of the 15 inflation or deflation possibilities, plus variants of the 4x4 lemma, 3x3 diagrams, and horseshoe lemma. They close with a characterization of weakly idempotent complete extriangulated categories and a link to good morphisms in the triangulated setting. What is actually new is the precise definition of these homotopic maps together with the systematic case-by-case treatment; prior work on extriangulated categories had diagram lemmas but not this level of detail on homotopy adjustments. The paper does a clean job staying inside the standard axioms for E-triangles and the extension functor E, so the constructions feel grounded rather than ad hoc. The characterization of the weakly idempotent complete case gives a useful independent check on the auxiliary notions. The soft spots are minor. The claims rest on verifying that the 15 cases really cover all interactions with the extension class, and without the full proofs in front of me it is hard to spot any hidden assumption about the ambient category. Nothing in the abstract or stress-test flags an inconsistency, but the work is narrow enough that it may not generalize beyond the listed lemmas. This is for readers who already use extriangulated categories and need concrete diagram-chasing tools for their own arguments. Someone working in homological algebra or categorical generalizations of triangulated structures would get direct value from the explicit cases. It deserves a serious referee because the statements are specific, checkable against the axioms, and fill a clear gap in the existing literature on these categories. I would send it to peer review.

Referee Report

0 major / 2 minor

Summary. The paper introduces homotopic morphisms of E-triangles in extriangulated categories. It proves that any morphism of E-triangles is a composition of homotopic morphisms, that any morphism (α1, α2, α3) of E-triangles can be modified to a homotopic one by altering exactly one component αi, and that all 15 cases in which the altered component is an E-inflation or E-deflation have been treated via exhaustive case analysis. It establishes diagram theorems including the 4×4 Lemma together with its 14 variants, the 3×3 diagram, and the Horseshoe Lemma. It also relates homotopic morphisms to (middling) good morphisms in triangulated categories and characterizes weakly idempotent complete extriangulated categories.

Significance. If the results hold, the work supplies diagram-chasing tools for extriangulated categories that parallel those available in triangulated categories, with the exhaustive 15-case analysis and the family of 4×4 variants providing concrete, reusable lemmas. The characterization of weakly idempotent complete extriangulated categories supplies an independent check on an auxiliary notion. The manuscript ships an exhaustive case analysis inside the standard axioms of extriangulated categories (as defined in the cited literature), which is a verifiable strength.

minor comments (2)

The abstract refers to “middling good morphisms” without definition or citation; this term should be introduced or referenced to the relevant triangulated-category literature in §1 or the introduction.
Notation for the extension functor E and the classes of E-inflations/E-deflations is used throughout; a brief reminder of the precise axioms (e.g., the axioms labeled (ET1)–(ET4) in the cited prior work) at the beginning of §2 would improve readability for readers outside the immediate subfield.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive assessment of the manuscript. The recommendation for minor revision is noted. No specific major comments were provided in the report, so we have no individual points to address here. We will incorporate any minor editorial or presentational improvements in the revised version.

Circularity Check

0 steps flagged

No significant circularity; theorems derived from external axioms

full rationale

The paper defines homotopic morphisms of E-triangles as a new concept and proves the central claims (any morphism of E-triangles is a composition of homotopic morphisms; any such morphism can be made homotopic by altering one component, with exhaustive 15-case analysis for inflations/deflations) via direct case analysis and diagram chasing inside the standard axioms of extriangulated categories. These axioms and the E-triangle structure are taken from prior independent literature (Nakaoka-Palu et al.), not redefined here. Diagram theorems (4x4 lemma and variants, 3x3, Horseshoe) and the characterization of weakly idempotent complete extriangulated categories are likewise derived as consequences, with no reduction of any result to a fitted parameter, self-referential definition, or load-bearing self-citation chain. The derivation chain is self-contained against the external benchmark of the extriangulated category axioms.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claims rest on the standard axioms of extriangulated categories (which are assumed from prior literature) and on the newly introduced definition of homotopic morphisms; no free parameters or invented entities are visible in the abstract.

axioms (1)

domain assumption Extriangulated category axioms (E-triangles, inflations, deflations, extension functor E)
Invoked throughout the abstract as the ambient setting in which homotopic morphisms and diagram theorems are stated.

pith-pipeline@v0.9.0 · 5445 in / 1379 out tokens · 63367 ms · 2026-05-08T09:00:30.982510+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

19 extracted references · 2 canonical work pages · 1 internal anchor

[1]

B¨ okstedt, A

M. B¨ okstedt, A. Neeman, Homotopy limits in triangulated categories, Compositio Math. 86(2)(1993), 209-234

1993
[2]

B¨ uhler, Exact categories, Expo

T. B¨ uhler, Exact categories, Expo. Math. 28(1)(2010), 1-69

2010
[3]

Canonaco, M

A. Canonaco, M. K¨ unzer, A sufficient criterion for homotopy cartesianess, Appl. Categ. Structures19(3)(2011), 651-658

2011
[4]

J. D. Christensen, M. Frankland, On good morphisms of exact triangles, J. Pure Appl. Algebra, 226(3)(2022), 106846

2022
[5]

Gillespie, Abelian model category theory, Cambridge Studies in Adv

J. Gillespie, Abelian model category theory, Cambridge Studies in Adv. Math. 215, Cam- bridge Univ. Press, 2025

2025
[6]

He, Extensions of covariantly finite subcategories revisited, Czechoslovak Math

J. He, Extensions of covariantly finite subcategories revisited, Czechoslovak Math. J., 69(144)(2)(2019), 403–415

2019
[7]

J. He, C. Xie, P. Zhou, Homotopy cartesian squares in extriangulated categories, Open Math., 21(1)(2023), 20220570. 50 CHENCHENG ZHANG, XUE-SONG LU, PU ZHANG ∗

2023
[8]

Klapproth,n-extension closed subcategories ofn-exangulated categories, arXiv: 2209.01128v3, 2023

C. Klapproth,n-extension closed subcategories ofn-exangulated categories (2023), arXiv:2209.01128v3

work page internal anchor Pith review arXiv 2023
[9]

X. Kong, Z. Lin, M. Wang, The (ET4) axiom for extriangulated categories, Comm. Algebra, 52(7)(2024), 2724–2736

2024
[10]

K¨ unzer, Heller triangulated categories, Homology Homotopy Appl

M. K¨ unzer, Heller triangulated categories, Homology Homotopy Appl. 9(2)(2007), 233-320

2007
[11]

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

2019
[12]

J. P. May, The additivity of traces in triangulated categories, Adv. Math. 163(1)(2001), 34-73

2001
[13]

Msapato, The Karoubi envelope and weak idempotent completion of an extriangulated category, Appl

D. Msapato, The Karoubi envelope and weak idempotent completion of an extriangulated category, Appl. Categ. Structures 30(3)(2022), 499-535

2022
[14]

Nakaoka, Y

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

2019
[15]

Neeman, Some new axioms for triangulated categories, J

A. Neeman, Some new axioms for triangulated categories, J. Algebra 139(1)(1991), 221-255

1991
[16]

Neeman, Triangulated categories, Ann

A. Neeman, Triangulated categories, Ann. Math. Studies 148, Princeton Univ. Press, 2001

2001
[17]

Y. L. Wu, Relative cluster categories and Higgs categories, Adv. Math. 424(2023), 109040

2023
[18]

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

2018
[19]

Zhou, Tilting theory for extended module categories (2025), arXiv:2411.15473v2

Y. Zhou, Tilting theory for extended module categories (2025), arXiv:2411.15473v2. Chencheng Zhang, School of Mathematical Sciences, Shanghai Jiao Tong University, Shanghai 200240, PR China Xue-Song Lu, School of Mathematical Sciences, Shanghai Jiao Tong University, Shanghai 200240, PR China Pu Zhang, School of Mathematical Sciences, Shanghai Jiao Tong Un...

work page arXiv 2025