pith. machine review for the scientific record. sign in

arxiv: 2604.05493 · v1 · submitted 2026-04-07 · 🧮 math.CT · math.RT

Recognition: 2 theorem links

· Lean Theorem

Higher exact dg-categories

Hiroyuki Nakaoka, Nao Mochizuki

Pith reviewed 2026-05-10 18:48 UTC · model grok-4.3

classification 🧮 math.CT math.RT
keywords n-exact dg-categoryn-exangulated categorydg-enhancementhomotopy categoryn-cluster tilting subcategoryexact dg-categoryhigher homological algebra
0
0 comments X

The pith

n-exact dg-categories provide dg-enhancements of n-exangulated categories under a vanishing condition on Hom-cohomologies.

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

The paper introduces n-exact dg-categories as a higher analogue of exact dg-categories, recovering the original notion precisely when n equals 1. It proves that whenever the cohomologies of the Hom-complexes satisfy a suitable vanishing condition, the homotopy category of an n-exact dg-category carries a natural n-exangulated structure. This supplies dg-enhancements for n-exangulated categories. The same framework also functions as a dg-categorical generalization of n-exangulated categories that remains valid even without the vanishing condition. In addition, the authors show that any n-cluster tilting subcategory of an exact dg-category inherits a natural n-exact dg-structure, giving an intrinsic dg-categorical axiomatization of these subcategories.

Core claim

We introduce the notion of an n-exact dg-category. This notion provides a higher analogue of Chen's exact dg-category, in the sense that the case where n equals 1 recovers exact dg-categories. We prove that, under a suitable vanishing condition on the cohomologies of Hom-complexes of an n-exact dg-category A, its homotopy category admits a natural n-exangulated structure. Thus n-exact dg-categories provide dg-enhancements of n-exangulated categories. At the same time, our framework can be regarded as a dg-categorical generalization of n-exangulated categories applicable even without the vanishing condition. In the latter part of the article, we show that an n-cluster tilting subcategory of a

What carries the argument

The n-exact dg-category, a dg-category equipped with higher exactness data whose homotopy category inherits an n-exangulated structure when the cohomologies of its Hom-complexes vanish appropriately.

If this is right

  • The homotopy category of any n-exact dg-category satisfying the vanishing condition is n-exangulated.
  • n-exact dg-categories serve as dg-enhancements for n-exangulated categories.
  • Any n-cluster tilting subcategory of an exact dg-category itself carries the structure of an n-exact dg-category.
  • The dg-framework generalizes n-exangulated categories even in the absence of the vanishing condition.

Where Pith is reading between the lines

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

  • Higher homological constructions may lift uniformly to the dg-level, allowing finer control over higher Ext groups and their relations.
  • Cluster tilting phenomena across different n can be compared directly through their dg-enhancements.
  • Examples where the vanishing condition fails could be used to test whether weaker cohomological assumptions suffice for the induced structure.

Load-bearing premise

The cohomologies of the Hom-complexes of the n-exact dg-category must satisfy a suitable vanishing condition.

What would settle it

An n-exact dg-category in which the relevant Hom-cohomologies vanish as required, yet whose homotopy category admits no n-exangulated structure at all.

read the original abstract

We introduce the notion of an $n$-exact dg-category. This notion provides a higher analogue of Chen's exact dg-category, in the sense that the case where $n$ equals 1 recovers exact dg-categories. We prove that, under a suitable vanishing condition on the cohomologies of $\mathrm{Hom}$-complexes of an $n$-exact dg-category $\mathscr{A}$, its homotopy category admits a natural $n$-exangulated structure. Thus $n$-exact dg-categories provide dg-enhancements of $n$-exangulated categories. At the same time, our framework can be regarded as a dg-categorical generalization of $n$-exangulated categories applicable even without the vanishing condition. In the latter part of the article, we show that an $n$-cluster tilting subcategory of an exact dg-category naturally carries the structure of an $n$-exact dg-category. This result indicates that $n$-exact dg-structures provide an intrinsic dg-categorical axiomatization of $n$-cluster tilting subcategories, highlighting the advantages of studying dg-generalizations of $n$-exangulated categories.

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.

Referee Report

2 major / 2 minor

Summary. The manuscript introduces the notion of an n-exact dg-category as a higher analogue of Chen's exact dg-categories (recovering the n=1 case). It proves that, under a suitable vanishing condition on the cohomologies of Hom-complexes, the homotopy category of an n-exact dg-category admits a natural n-exangulated structure, thereby supplying dg-enhancements of n-exangulated categories. The framework is also presented as a dg-categorical generalization applicable without the vanishing condition. In addition, the paper shows that any n-cluster-tilting subcategory of an exact dg-category carries a natural n-exact dg-category structure, providing an intrinsic dg-categorical axiomatization of such subcategories.

Significance. If the stated theorems hold, the work supplies a systematic dg-enhancement for n-exangulated categories and an axiomatization of n-cluster-tilting subcategories inside the dg-setting. This extends the existing theory of exact dg-categories in a direct and natural way, separating the unconditional dg-generalization from the conditional enhancement result. The construction of n-exact structures on n-cluster-tilting subcategories is a concrete strength that could facilitate further study of higher homological algebra and cluster phenomena.

major comments (2)
  1. [Introduction / statement of main theorems] The central enhancement theorem relies on a 'suitable vanishing condition' on the cohomologies of Hom-complexes; the manuscript should state this condition explicitly (e.g., as a numbered hypothesis or equation) in the introduction and verify that it is satisfied in the n-cluster-tilting examples constructed later, so that the enhancement applies to those cases.
  2. [Definition of n-exact dg-category] The definition of an n-exact dg-category is presented as a direct generalization; the manuscript should include a short subsection or remark verifying that the axioms reduce exactly to Chen's definition of an exact dg-category when n=1, including a check on the relevant Hom-complexes and exactness axioms.
minor comments (2)
  1. [Throughout] Notation for dg-categories (script letters such as A) should be used consistently in all statements and diagrams.
  2. [Introduction] Add a reference to the foundational paper on n-exangulated categories if it is not already cited in the introduction.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading, the positive recommendation for minor revision, and the constructive suggestions. We address the two major comments below and will make the requested clarifications in the revised manuscript.

read point-by-point responses

  1. Referee: [Introduction / statement of main theorems] The central enhancement theorem relies on a 'suitable vanishing condition' on the cohomologies of Hom-complexes; the manuscript should state this condition explicitly (e.g., as a numbered hypothesis or equation) in the introduction and verify that it is satisfied in the n-cluster-tilting examples constructed later, so that the enhancement applies to those cases.

    Authors: We agree that an explicit statement of the vanishing condition will improve readability. In the revised version we will formulate the condition as a numbered hypothesis in the introduction. For the n-cluster-tilting examples, the construction already ensures the required vanishing by the definition of n-cluster-tilting subcategories inside an exact dg-category; we will add a short verification paragraph in the relevant section to make this explicit. revision: yes

  2. Referee: [Definition of n-exact dg-category] The definition of an n-exact dg-category is presented as a direct generalization; the manuscript should include a short subsection or remark verifying that the axioms reduce exactly to Chen's definition of an exact dg-category when n=1, including a check on the relevant Hom-complexes and exactness axioms.

    Authors: We appreciate the suggestion. While the introduction already notes that the n=1 case recovers Chen's exact dg-categories, we will insert a dedicated remark immediately after the definition that carries out the explicit reduction, verifying the Hom-complexes and the exactness axioms match Chen's formulation. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper defines n-exact dg-categories as a direct higher-dimensional generalization of Chen's exact dg-categories (n=1 case recovered by definition) and proves a conditional theorem: under an explicitly stated vanishing hypothesis on H^*(Hom), the homotopy category carries an n-exangulated structure. A separate construction shows that n-cluster-tilting subcategories of exact dg-categories inherit the n-exact dg-structure. These steps are unconditional definitions followed by proofs from the axioms; no equation reduces to a fitted parameter, no load-bearing premise rests on a self-citation chain, and no known result is merely renamed. The framework is presented as applicable even without the vanishing condition, confirming the logical chain does not collapse into its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The work relies on standard background axioms of dg-categories and exangulated categories while introducing the new n-exact structure as its central contribution.

axioms (2)
  • standard math Standard axioms of dg-categories, including the differential graded structure on Hom-complexes and the homotopy category construction
    The paper builds directly on the established theory of dg-categories as background.
  • standard math Properties of n-exangulated categories and n-cluster tilting subcategories as previously defined in the literature
    The results connect to and extend known notions of exangulated and cluster-tilting structures.
invented entities (1)
  • n-exact dg-category no independent evidence
    purpose: Higher analogue of Chen's exact dg-category that induces n-exangulated structures
    Newly defined in the paper to capture the desired higher categorical structure.

pith-pipeline@v0.9.0 · 5491 in / 1408 out tokens · 50188 ms · 2026-05-10T18:48:12.904967+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

Reference graph

Works this paper leans on

21 extracted references · 6 canonical work pages · 2 internal anchors

  1. [1]

    Barwick, C.: On exact -categories and the theorem of the heart. Compos. Math. 151 (2015), no. 11, 2160--2186

    2015

  2. [2]

    Bondal, A.I.; Kapranov, M.M.: Enhanced triangulated categories. Math. USSR Sbornik 70 (1), 93 (1991)

    1991

  3. [3]

    Bennett-Tennenhaus, R.; Shah, A.: Transport of structure in higher homological algebra. J. Algebra 574 (2021), 514--549

    2021

  4. [4]

    Chen, X.: Exact dg categories I : Foundations, arXiv:2402.10694v2

    work page arXiv

  5. [5]

    Chen, X.: Exact dg categories II : The embedding theorem, arXiv:2406.11226

    work page arXiv

  6. [6]

    Genovese, F.: T -structures on unbounded twisted complexes. Math. Z. 305 (2023), no. 2, Paper No. 18, 51 pp

    2023

  7. [7]

    Geiss, C.; Keller, B.; Oppermann, S.: n -angulated categories. J. Reine Angew. Math. 675 (2013), 101--120

    2013

  8. [8]

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

    work page arXiv

  9. [9]

    Herschend, M.; Liu, Y.; Nakaoka, H.: n -exangulated categories (I): Definitions and fundamental properties. J. Algebra 570 (2021), 531--586

    2021

  10. [10]

    Herschend, M.; Liu, Y.; Nakaoka, H.: n -exangulated categories (II): Constructions from n-cluster tilting subcategories. J. Algebra 594 (2022), 636--684

    2022

  11. [11]

    Acta Math

    He, J.; Zhou, P.: n -exact categories arising from n -exangulated categories. Acta Math. Sin. (Engl. Ser.) 39 (2023), no. 9, 1781--1794

    2023

  12. [12]

    Iyama, O.: Higher-dimensional Auslander--Reiten theory on maximal orthogonal subcategories. Adv. Math. 210 (2007), no. 1, 22--50

    2007

  13. [13]

    Jasso, G.: n -abelian and n -exact categories. Math. Z., 283 (2016) no. 3-4, 703--759

    2016

  14. [14]

    Jasso, G.; Keller, B.; Muro, F.:The Derived Auslander-Iyama Correspondence, arXiv:2208.14413v5

    work page internal anchor Pith review arXiv

  15. [15]

    Klapproth, C.: n -extension closed subcategories of n -exangulated categories, arXiv:2209.01128v3

    work page internal anchor Pith review arXiv

  16. [16]

    Homology Homotopy Appl

    Klemenc, J.: The stable Hull of an exact -category. Homology Homotopy Appl. 24 (2022), no. 2, 195--220

    2022

  17. [17]

    Liu, Y.; Zhou, P.: Frobenius n -exangulated categories. J. Algebra 559 (2020), 161--183

    2020

  18. [18]

    Loregian, F.; Riehl, E.: Categorical notions of fibration. Expo. Math. 38 (2020) no. 4, 496--514

    2020

  19. [19]

    Nakaoka, H.; Ogawa, Y.; Sakai, A.: Localization of extriangulated categories. J. Algebra 611 (2022), 341--398

    2022

  20. [20]

    Nakaoka, H.; Palu, Y.: Extriangulated categories, Hovey twin cotorsion pairs and model structures. Cah. Topol. G\' e om. Diff\' e r. Cat\' e g. 60 (2019), no. 2, 117--193

    2019

  21. [21]

    Nakaoka, H.; Palu, Y.:External triangulation of the homotopy category of exact quasi-category, arXiv:2004.02479

    work page arXiv 2004