Tilting subcategories in extriangulated categories

Bin Zhu; Xiao Zhuang

arxiv: 1907.00747 · v1 · pith:ROWURN4Hnew · submitted 2019-06-28 · 🧮 math.RT

Tilting subcategories in extriangulated categories

Bin Zhu , Xiao Zhuang This is my paper

Pith reviewed 2026-05-25 13:53 UTC · model grok-4.3

classification 🧮 math.RT

keywords extriangulated categoriestilting subcategoriescotilting subcategoriesAuslander-Reiten correspondenceBazzoni characterizationcoresolving subcategoriesresolving subcategories

0 comments

The pith

Tilting subcategories are defined in extriangulated categories along with a Bazzoni characterization and an Auslander-Reiten correspondence to coresolving covariantly finite subcategories.

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

The paper defines tilting and cotilting subcategories inside an extriangulated category, which unifies exact categories and triangulated categories via extriangles. It supplies a Bazzoni characterization of these subcategories. It proves an Auslander-Reiten correspondence that identifies tilting subcategories with coresolving covariantly finite subcategories closed under direct summands and satisfying cogenerating conditions, and cotilting subcategories with the dual resolving contravariantly finite objects. The same framework recovers earlier tilting results in module categories of Artin algebras, abelian categories with cotorsion triples, and triangulated categories equipped with a proper class of triangles.

Core claim

In an extriangulated category, a tilting subcategory is defined to be coresolving and covariantly finite, closed under direct summands, and to satisfy a cogenerating condition; the paper shows these subcategories stand in Auslander-Reiten bijection with resolving contravariantly finite subcategories that are closed under direct summands and satisfy a generating condition, while cotilting subcategories correspond dually, and both classes admit an explicit Bazzoni characterization.

What carries the argument

The Auslander-Reiten correspondence between tilting subcategories and coresolving covariantly finite subcategories closed under direct summands with cogenerating conditions in an extriangulated category.

If this is right

Tilting subcategories recover the classical tilting modules over Artin algebras.
The correspondence applies directly to abelian categories that admit a cotorsion triple.
The same bijection and characterization hold for triangulated categories equipped with a proper class of triangles.
Bazzoni-type characterizations become available for tilting objects in any extriangulated category.

Where Pith is reading between the lines

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

The uniform language may allow direct transfer of approximation or finiteness results between exact and triangulated settings without separate proofs.
One could check whether the correspondence persists when the extriangulated structure arises from a model category or other hybrid construction not covered by the listed applications.

Load-bearing premise

The ambient category carries an extriangle structure in the sense required to form an extriangulated category, and the subcategories under consideration are closed under direct summands and obey the stated generating or cogenerating conditions.

What would settle it

An explicit extriangulated category together with a subcategory that meets the definition of a tilting subcategory yet fails to correspond to any coresolving covariantly finite subcategory closed under direct summands that satisfies the cogenerating condition.

read the original abstract

Extriangulated category was introduced by Nakaoka and Palu to give a unification of properties in exact categories and triangulated categories. A notion of tilting (or cotilting) subcategories in an extriangulated category is defined in this paper. We give a Bazzoni characterization of tilting (or cotilting) subcategories and obtain an Auslander-Reiten correspondence between tilting (cotilting) subcategories and coresolving covariantly (resolving contravariantly, resp.) finite subcatgories which are closed under direct summands and satisfies some cogenerating (generating, resp.) conditons. Applications of the results are given: we show that tilting (cotilting) subcategories defined here unify many previous works about tilting theory in module categories of Artin algebras and abelian categories admitting a cotorsion triples; we also show that the results work for triangulated categories with a proper class of triangles introduced by Beligiannis.

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

Defines tilting subcategories in extriangulated categories and gives Bazzoni and Auslander-Reiten correspondences that recover known cases in modules, cotorsion triples, and triangulated categories.

read the letter

The paper's main contribution is a definition of tilting and cotilting subcategories inside an extriangulated category, plus a Bazzoni characterization and an Auslander-Reiten correspondence to coresolving or resolving subcategories that are closed under direct summands and meet the stated generating or cogenerating conditions. This sits on top of the 2017 Nakaoka-Palu axioms and is presented as a common language for tilting across exact, abelian, and triangulated settings. The authors then verify that the new notions specialize to the usual tilting theory for Artin algebra modules, abelian categories with cotorsion triples, and triangulated categories with a proper class of triangles. That unification is the concrete output. The framework is set up cleanly enough that the correspondences follow from the definitions in the expected way, and the applications section confirms the special cases line up with prior results. No load-bearing circularity or invented entities appear in the stated theorems. The soft spots are limited. The abstract supplies only the statements, so the actual derivations need to be checked to see how much is direct translation of older arguments versus new work required by the extriangulated axioms. The closure and cogenerating conditions are the usual ones, which may turn out restrictive when new extriangulated examples are considered. If the paper adds no genuinely new examples beyond the three recovered settings, the gain is mainly organizational. This is for readers already working in representation theory or homological algebra who track abstract category constructions. A specialist looking for a uniform treatment of tilting would find it useful. It deserves a serious referee because the extriangulated setting is still young and having the correspondences written down helps later work. I would send it to peer review.

Referee Report

0 major / 3 minor

Summary. The paper defines tilting and cotilting subcategories in an extriangulated category (in the sense of Nakaoka-Palu). It states a Bazzoni-type characterization of these subcategories and proves an Auslander-Reiten correspondence relating tilting (resp. cotilting) subcategories to coresolving covariantly finite (resp. resolving contravariantly finite) subcategories that are closed under direct summands and satisfy appropriate cogenerating (resp. generating) conditions. Applications are given showing that the new notions recover and unify earlier tilting results for module categories over Artin algebras, abelian categories with cotorsion triples, and triangulated categories equipped with a proper class of triangles.

Significance. If the stated characterizations and correspondences are valid, the work supplies a common framework that unifies several strands of tilting theory previously treated separately in exact categories, triangulated categories, and module categories. This is a natural and useful extension of the Nakaoka-Palu axioms and strengthens the case that extriangulated categories are an effective setting for homological algebra. The unification across Artin algebras and cotorsion triples is explicitly verified, which adds concrete value.

minor comments (3)

The abstract contains repeated typographical errors (e.g., “subcatgories”, “conditons”) that should be corrected in the final version.
Notation for the extriangulated structure (E, s) and the precise closure properties required in the Auslander-Reiten correspondence should be restated uniformly in the statements of the main theorems to improve readability.
The paper would benefit from an explicit comparison table or diagram showing how the new definitions specialize to the classical tilting notions in abelian categories and in triangulated categories with proper classes.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, significance assessment, and recommendation of minor revision. No major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper defines tilting and cotilting subcategories in an extriangulated category (building directly on the external Nakaoka-Palu axioms) and derives a Bazzoni characterization plus an Auslander-Reiten correspondence from those definitions together with the stated closure, finiteness, and generating/cogenerating conditions. No step reduces a claimed result to a fitted parameter, renames a known pattern, or relies on a load-bearing self-citation whose content is itself unverified; the unification with prior tilting theory in Artin algebras and triangulated categories is presented as an application rather than a premise. The derivation chain is therefore self-contained against the given axioms and definitions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on the definition of extriangulated categories from Nakaoka and Palu and on standard properties of subcategories in additive categories; no free parameters or invented entities are introduced beyond the new tilting notion itself.

axioms (1)

domain assumption Extriangulated categories as introduced by Nakaoka and Palu
The entire development presupposes the axioms and structure of an extriangulated category.

pith-pipeline@v0.9.0 · 5689 in / 1224 out tokens · 29765 ms · 2026-05-25T13:53:06.230220+00:00 · methodology

Tilting subcategories in extriangulated categories

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)