Pith. sign in

REVIEW 4 major objections 5 minor 30 references

Strong uniqueness of enhancements for the dual numbers: a case study

T0 review · 4 major / 5 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 Derived categories over the dual numbers have strongly unique dg enhancements in the bounded, strictly bounded, and bounded-below cases, as do all derived categories of hereditary abelian categories.

desk verdict New strong-uniqueness results for big derived categories over the dual numbers and a uniform hereditary argument, but two subcases of Theorem A(b) rest on an in-preparation citation and sketched proofs. read the letter →

arxiv 2505.10374 v1 pith:W5WWS3XI submitted 2025-05-15 math.AG math.ACmath.CT

Alberto Canonaco , Amnon Neeman , Paolo Stellari This is my paper · ORCID
classification math.AGmath.ACmath.CT MSC 18G8014F0818N4018N60
keywords triangulatedcategoriesdgenhancementsstronguniquenessdualnumbershereditarycategoryofsequencesindecomposableobjectsderived
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

This paper establishes that the triangulated categories $D^b(\operatorname{Mod}(k[\varepsilon]))$, $D^{+}(\operatorname{Mod}(k[\varepsilon]))$, and $D^{\mathrm{sb}}(\operatorname{Mod}(k[\varepsilon]))$, together with $D^{-}(\mathrm{mod}(k[\varepsilon]))$, have strongly unique dg enhancements: any two pretriangulated dg models of one of these categories are connected by a dg isomorphism whose induced equivalence is compatible with the identity functor. The same framework proves that every derived category $D^{?}(A)$, for $?\in\{b,+,-,\emptyset\}$, of a hereditary abelian category $A$ has a strongly unique enhancement. The proof works by replacing the derived category over the dual numbers with an equivalent category of sequences of vector spaces, where all indecomposable objects can be classified. This gives a linear-algebra model in which the question of dg liftability of exact autoequivalences can be settled by direct coproduct arguments, without any ample-set or Fourier--Mukai machinery.

What carries the argument

The load-bearing object is the category $S(A)$ of $\mathbb{Z}$-indexed sequences $X^\bullet=(X_i,d_i:X_i\to X_{i+1})$ in an abelian category, together with its variant $bS(A)$ whose morphism spaces add a second, 'type $\varepsilon$' component; for $A=\operatorname{Mod}(k)$, the homotopy category of minimal complexes over $k[\varepsilon]$ is equivalent to $bS$, and the derived category $D(\operatorname{Mod}(k[\varepsilon]))$ is equivalent to the right half $bS_p$ of a semiorthogonal decomposition $bS=\langle bS_a,bS_p\rangle$. The classification result that does the work (Corollary 1.16) states that the indecomposable objects of $S$ are exactly the interval objects $S^\bullet_{a,b}$ with $a\in\mathbb{Z}\cup\{-\infty\}$, $b\in\mathbb{Z}\cup\{\infty\}$, $a\le b$, and that in the cases covered every object is a coproduct of such intervals. This complete decomposability converts the abstract question of whether every exact autoequivalence has a dg lift into checking that a functor fixing the finite interval objects fixes all morphisms.

What would settle it

Compute the autoequivalence group of the sequence category $bS^+_p$ that models $D^+(\operatorname{Mod}(k[\varepsilon]))$; the paper's Section 4.1 proves it is trivial up to natural isomorphism. A concrete falsifier would be an exact autoequivalence that fixes every finite interval object $S^\bullet_{a,b}$ but acts nontrivially on an infinite coproduct of intervals; exhibiting one would refute the main theorem, and the paper predicts none exists.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central result is Theorem A. For every hereditary abelian category $A$ and every $?\in\{b,+,-,\emptyset\}$, the derived category $D^{?}(A)$ has a strongly unique enhancement, meaning that any two dg enhancements are isomorphic in a way that respects the given equivalence to $D^{?}(A)$. For the dual numbers $k[\varepsilon]$ over a field, the categories $D^{\mathrm{sb}}(\operatorname{Mod}(k[\varepsilon]))$, $D^b(\operatorname{Mod}(k[\varepsilon]))$, $D^+(\operatorname{Mod}(k[\varepsilon]))$, and $D^{-}(\mathrm{mod}(k[\varepsilon]))$ all have strongly unique enhancements, while the unbounded and bounded-above cases for all modules are left open. The proof's core is the assertion that, in the categories it handles, every object is completely decomposable into explicitly classified indecomposable sequence objects, which reduces every exact autoequivalence to one that is the identity on the finite objects and then, by a coproduct argument, on everything.

Load-bearing premise

The load-bearing premise is that a uniqueness theorem, cited to the authors' own paper still 'in preparation', really holds for the strictly bounded derived category over the dual numbers; if it fails, the proof of that case collapses.

Editorial extensions

If this is right

  • Every exact autoequivalence of $D^b(\operatorname{Mod}(k[\varepsilon]))$ and of $D^+(\operatorname{Mod}(k[\varepsilon]))$ is isomorphic to the identity and therefore admits a dg lift, so any two dg enhancements of these categories are isomorphic over the identity.
  • The derived categories of every hereditary abelian category, including quasi-coherent and coherent sheaves on smooth curves over a field, now have strongly unique enhancements uniformly for $?\in\{b,+,-,\emptyset\}$.
  • Strong uniqueness is no longer confined to bounded derived categories or to settings with an ample set of objects; the new cases include the bounded-below category $D^+$ and the finitely generated bounded-above case $D^{-}(\mathrm{mod}(k[\varepsilon]))$.
  • For each covered category, the proof supplies a concrete route to showing that every exact autoequivalence fixes the finite objects and then extends by coproducts, so the same template can be applied to other categories with a complete-decomposability classification.

Reading between the lines

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

  • The sequence-category method could plausibly be adapted to other finite-dimensional algebras, such as $k[x]/(x^n)$ or other self-injective algebras; the paper does not attempt this.
  • For the two open cases $D^\emptyset(\operatorname{Mod}(k[\varepsilon]))$ and $D^{-}(\operatorname{Mod}(k[\varepsilon]))$, the paper reduces the obstruction to a purely linear-algebraic question about derivations on the category of sequences, so the problem can be investigated independently of dg categories.
  • The classification of indecomposable sequence objects may be independently useful for studying phantom morphisms, since the paper shows that in the unbounded case every phantom morphism is of type $\varepsilon$ and factors through the interval objects.
  • If the announced uniqueness theorem cited as $[6]$ fails, the strictly bounded case might still be recoverable from the rest of the paper's machinery, because the complete-decomposability classification and the coproduct argument would remain intact.
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.

Referee Report

4 major / 5 minor

Summary. The paper proves Theorem A: (a) the derived categories D^?(A) have strongly unique dg enhancements for ? = b, +, −, ∅ whenever A is a hereditary abelian category, and (b) the categories D^?(Mod(k[ε])) have strongly unique enhancements for ? = sb, b, +, together with D^-(mod(k[ε])). The proof strategy is to replace the derived categories of the dual numbers by the category bS of sequences of vector spaces via an equivalence with the homotopy category of minimal complexes (Proposition 2.4), classify all indecomposable objects in the sequence category (Corollary 1.16), and then show that every exact autoequivalence is the identity after a suitable conjugation, using uniqueness of enhancements as a black box. The bounded and bounded below cases are proved in detail in Section 4.1; the strictly bounded and bounded-above finitely generated cases are treated only by sketches in Section 4.2, with one load-bearing citation to an in-preparation paper.

Significance. If the announced results hold, they constitute a genuine advance: strong uniqueness of enhancements is established for several 'big' derived categories, beyond the bounded coherent setting, and the paper gives a complete classification of indecomposable objects in the category of sequences of vector spaces. The classification in Section 1 and the equivalence with the homotopy category of minimal complexes in Section 2 are carefully written and appear correct. The proof for hereditary categories in Proposition 3.9 is a clean reduction to the uniqueness theorem of [5] and published lemmas from [4]. However, the strictly bounded case of Theorem A(b) currently rests on an in-preparation citation, and the remaining cases in Section 4.2 are sketched rather than proved; these are load-bearing gaps that need to be addressed before the theorem can be accepted as stated.

major comments (4)
  1. [§4.2, first paragraph] The proof that bS^sb_p has a strongly unique enhancement is not self-contained: the text says 'uniqueness of enhancement holds thanks to [6]', but [6] is listed as an in-preparation paper by the same authors and no proof or preprint is available. This is load-bearing, because the whole strategy reduces strong uniqueness to the existence of dg lifts of exact autoequivalences only after uniqueness of enhancements is known. The manuscript should either include a proof of the uniqueness statement for D^sb(Mod(k[ε])), cite a publicly available reference, or explicitly mark that part of Theorem A(b) as conditional.
  2. [§4.2, first paragraph] The assertion that 'one can easily show that every exact autoequivalence of bS^sb_p restricts to an exact autoequivalence of bS^c_p' is not demonstrated. This restriction is not automatic from the classification alone: it requires knowing that bS^c_p is the subcategory of compact objects in bS^sb_p, or an equivalent argument. The paper never proves compactness of the finite-interval objects in bS^sb_p, so this step needs a written proof.
  3. [§4.2, second paragraph] The treatment of bS^-_{p,fg} ends with 'one can rather directly conclude using the universal properties of coproduct and product'. This is a sketch, not a proof. In particular, the text does not show in detail how the isomorphisms used to conjugate an autoequivalence to the identity on bS^b_{p,fg} are compatible with the fact that a coproduct in bS^-_{p,fg} is also a product, nor does it verify that every morphism between arbitrary objects of bS^-_{p,fg} is determined by its restrictions to the finite-type summands. These details are necessary for the claimed strong uniqueness.
  4. [§3.3, Proposition 3.9] The reduction uses the statement that, for a hereditary abelian category A, the inclusion of B^?(A) in D^?(A) is an equivalence for ? = b, +, −, ∅. This is plausible and standard in the bounded and bounded-above cases, but the paper cites [21, Section 1.6] without commenting on whether the cited statement covers the unbounded case for arbitrary hereditary abelian categories. Please clarify the scope of the cited equivalence or give a direct argument for ? = ∅.
minor comments (5)
  1. [Introduction, page 4] The sentence 'In this paper is we are unable to settle...' contains a typo: 'is' should be deleted.
  2. [Abstract and Introduction] The abstract emphasizes the bounded and bounded below cases for Mod(k[ε]), but Theorem A(b) also includes the strictly bounded case and D^-(mod(k[ε])); the abstract should reflect the full statement or explicitly say 'including'.
  3. [§1.4, Remark 1.13] The parenthetical remark that S^d_{Z,{∞}} is closed under direct summands is stated without proof and with the comment that it is not needed; this is acceptable, but it would be helpful to give a reference or a one-sentence indication.
  4. [§4, opening paragraph] The phrase 'D^?, for ? = sb,b,+,−,∅, and D^-_{fg}' is slightly confusing because D^? has also been used for D^?(A) earlier; a short reminder of the convention for the dual numbers would improve readability.
  5. [§3.2, Theorem 3.6] The reference [5] is cited as an arXiv preprint; since Theorem 3.6 is used as a black box throughout, it would be useful to state explicitly whether [5] has appeared in a refereed venue or is also still under review.

Circularity Check

1 steps flagged · score 4.0 of 10

The strictly bounded case of Theorem A(b) rests on an in-preparation same-author uniqueness citation [6]; the rest of the derivation is self-contained.

  1. self citation load bearing [Section 4.2, proof of Theorem A(b) for D^sb(Mod(k[ε]))]
    "As for bS^sb_p, uniqueness of enhancement holds thanks to [6]. Moreover, one can easily show that every exact autoequivalence of bS^sb_p restricts to an exact autoequivalence of bS^c_p. Using the fact that the objects of bS^sb_p are precisely the coproducts, which exist in bS^sb_p, of objects of bS^c_p, the rest of the proof works as before."

    The paper’s strategy for strong uniqueness requires a prior uniqueness theorem: Section 4 states that 'since it has a unique enhancement by Theorem 3.6, bS^?_p has a strongly unique enhancement if and only if every exact autoequivalence F of bS^?_p admits a dg lift'. For ?=sb, Theorem 3.6 does not apply because it covers only ?=b,+,−,∅. The text instead asserts that uniqueness of enhancement 'holds thanks to [6]', where [6] is an in-preparation paper by the same three authors with no public proof. Thus the sb subcase of the central theorem is derived from the authors’ own unpublished assertion.

full rationale

Most of the paper’s derivation chain is self-contained. For Theorem A(a) and the b,+ parts of Theorem A(b), the uniqueness input is Theorem 3.6, cited to [5] with a public arXiv proof, and it is not the target result. Section 4.1’s proof for ?=b,+ uses the external dg-lift theorem [12, Theorem 7.1] for the finite/perfect part and then an internal compactness/coproduct argument; no conclusion is assumed as an input. Proposition 3.9 for hereditary categories uses the standard reduction to the category B^?(A) of complexes with zero differential plus technical lemmas from the published [4]. The only place where the text leans on an unverified same-author citation is Section 4.2’s strictly bounded case, where uniqueness is asserted from [6], listed as 'in preparation'. That is load-bearing self-citation and prevents the sb subcase from being self-contained. In addition, the D^-_{p,fg} argument is only sketched ('one can rather directly conclude'), which is an omitted proof rather than a circular step. These incompletenesses do not make the b, +, or hereditary results circular, but they justify a modest circularity score rather than zero.

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

The paper is free of fitted parameters; its load is carried by external uniqueness and liftability theorems. Most inputs are published ([4], [12], [21]), one is an arXiv preprint by the same authors ([5]), and one is an in-preparation paper ([6]) which is the principal fragility.

assumptions (6)
  • domain assumption D^?(A) has a unique dg enhancement for every abelian category A and ?=b,+,−,∅ (Theorem 3.6, from [5]).
    Used at the start of the proofs of Proposition 3.9 and Section 4 to reduce strong uniqueness to existence of dg lifts of exact autoequivalences. [5] is an arXiv preprint by the same authors.
  • domain assumption D^sb(Mod(k[ε])) has a unique dg enhancement ([6]).
    Invoked in Section 4.2 for the strictly bounded case; [6] is listed as 'in preparation' with no public version, so this is the riskiest input.
  • domain assumption Every exact autoequivalence of bS^b_{p,fg} (equivalently Db(mod(k[ε]))) admits a dg lift ([12, Theorem 7.1]).
    Used in Section 4 to lift F|bS^b_{p,fg} to an isomorphism in Hqe before addressing the identity-on-small-objects question.
  • standard math Every object of D^?(A) for hereditary A splits as a coproduct of shifts of its cohomology objects (cited to [21, Section 1.6]).
    Used in Proposition 3.9 to replace the study of G on all of D^?(A) by the study on B^?(A), the zero-differential complexes.
  • domain assumption [4, Lemma 5.1] and [4, Proposition 5.2]: given the quotient Q: K^?(A) → D^?(A), the isomorphism between enhancements can be chosen so that H=G∘Q agrees with Q on complexes with zero differential, and this agreement extends to morphisms through roofs.
    Essential technical input for Proposition 3.9; these are published results by the same authors in Forum Math. Sigma.
  • standard math Objects of bS^b_{p,fg} are compact in bS^?_p for ?=b,+; for ?=b this is cited to [28, Corollary 6.17] and for ?=+ obtained by truncation.
    Used in Section 4.1 to reduce F(f)=f to morphisms from finitely generated objects; the direct proof is asserted without details.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Strong uniqueness of enhancements for the dual numbers: a case study." pith.science (2026). https://pith.science/paper/W5WWS3XI

@misc{pith2026250510374,
  author       = {Pith},
  title        = {Pith review of: Strong uniqueness of enhancements for the dual numbers: a case study},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/W5WWS3XI}},
  note         = {Machine review of arXiv:2505.10374}
}
read the original abstract

We prove that the bounded and bounded below derived categories of (all) modules over the dual numbers have strongly unique (dg) enhancements. To this end we relate those categories to the category of sequences of vector spaces, which allows a complete classification of indecomposable objects. Along the way we also prove that all the derived categories of any hereditary category have strongly unique enhancements.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

30 extracted references · 22 canonical work pages

  1. [4]

    Canonaco, A

    A. Canonaco, A. Neeman, P. Stellari, Uniqueness of enhancements for derived and geometric categories , Forum Math. Sigma 10 (2022), 1–65

    work page 2022

  2. [5]

    Canonaco, A

    A. Canonaco, A. Neeman, P. Stellari, The passage among the subcategories of weakly approximable triangulated categories, (Appendix by C. Haesemeyer), arXiv:2402.04605

    arXiv

  3. [6]

    Canonaco, A

    A. Canonaco, A. Neeman, P. Stellari, Uniqueness of enhancements and metrics , in preparation

    work page

  4. [1]

    Amodeo, R

    F. Amodeo, R. Moschetti, Fourier–Mukai functors and perfect complexes on dual numbers , J. Algebra 437 (2015), 133–160

    work page 2015

  5. [2]

    Antieau, On the uniqueness of infinity-categorical enhancements of triangulated categories, arXiv:1812.01526

    B. Antieau, On the uniqueness of infinity-categorical enhancements of triangulated categories, arXiv:1812.01526

    arXiv

  6. [3]

    Bondal, M

    A. Bondal, M. Larsen, V. Lunts, Grothendieck ring of pretriangulated categories, Int. Math. Res. Not. 29 (2004), 1461–1495

    work page 2004

  7. [7]

    Canonaco, M

    A. Canonaco, M. Ornaghi, P. Stellari, Localizations of the categories of A∞-categories and Internal Homs , Doc. Math. 24, (2019) 2463-2492

    work page 2019

  8. [8]

    Canonaco, M

    A. Canonaco, M. Ornaghi, P. Stellari, Localizations of the categories of A∞-categories and Internal Homs over a ring, arXiv:2404.06610

    arXiv

Show all 30 references
  1. [9]

    Canonaco, P

    A. Canonaco, P. Stellari, Twisted Fourier–Mukai functors, Adv. Math. 212 (2007), 484–503

    2007

  2. [10]

    Canonaco, P

    A. Canonaco, P. Stellari, Fourier-Mukai functors in the supported case , Compositio Math. 150 (2014), 1349– 1383

    2014

  3. [11]

    Canonaco, P

    A. Canonaco, P. Stellari, Uniqueness of dg enhancements for the derived category of a Grothendieck category , J. Eur. Math. Soc. 20 (2018), 2607–2641. 26 A. CANONACO, A. NEEMAN, AND P. STELLARI

    2018

  4. [12]

    X.-W. Chen, Y. Ye, The D-standard and K-standard categories , Adv. Math. 333 (2018), 159–193

    2018

  5. [13]

    Cohn, Differential graded categories are k-linear stable infinity categories , arXiv:1308.2587

    L. Cohn, Differential graded categories are k-linear stable infinity categories , arXiv:1308.2587

    arXiv

  6. [14]

    Doni, k-linear Morita theory, arXiv:2406.15895

    M. Doni, k-linear Morita theory, arXiv:2406.15895

    arXiv

  7. [15]

    Drinfeld, DG quotients of DG categories , J

    V. Drinfeld, DG quotients of DG categories , J. Algebra 272 (2004), 643–691

    2004

  8. [16]

    Genovese, J

    F. Genovese, J. Ramos Gonz´ alez,A derived Gabriel–Popescu theorem for t-structures via derived injectives , Int. Math. Research Notices Volume 2023, Issue 6, 4695–4760

    2023

  9. [17]

    Hovey, Model categories, Mathematical Surveys and Monographs 63, Am

    M. Hovey, Model categories, Mathematical Surveys and Monographs 63, Am. Math. Soc. (1998), xii+209

    1998

  10. [18]

    Jasso, B

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

    arXiv

  11. [19]

    Keller, Deriving DG categories, Ann

    B. Keller, Deriving DG categories, Ann. Sci. ´Ecole Norm. Sup. 27 (1994), 63–102

    1994

  12. [20]

    Keller, D

    B. Keller, D. Yang, G. Zhou, The Hall algebra of a spherical object , J. London Math. Soc. 80 (2009), 771–784

    2009

  13. [21]

    Krause, Derived categories, resolutions, and Brown representability , in: Interactions between homotopy theory and algebra, 101–139, Contemp

    H. Krause, Derived categories, resolutions, and Brown representability , in: Interactions between homotopy theory and algebra, 101–139, Contemp. Math. 436, Amer. Math. Soc., Providence, RI, 2007

    2007

  14. [22]

    Lorenzin, Formality and strongly unique enhancements , J

    A. Lorenzin, Formality and strongly unique enhancements , J. Algebra 667 (2025), 690–724

    2025

  15. [23]

    Lunts, D

    V. Lunts, D. Orlov, Uniqueness of enhancements for triangulated categories , J. Amer. Math. Soc. 23 (2010), 853–908

    2010

  16. [24]

    Neeman, Excellent metrics on triangulated categories, and the involutivity of the map taking S to S(S)op, arXiv:2505.09120

    A. Neeman, Excellent metrics on triangulated categories, and the involutivity of the map taking S to S(S)op, arXiv:2505.09120

    arXiv

  17. [25]

    Olander, Orlov’s Theorem in the smooth proper case , J

    N. Olander, Orlov’s Theorem in the smooth proper case , J. Algebra 643 (2024), 284–293

    2024

  18. [26]

    Orlov, Equivalences of derived categories and K3 surfaces , J

    D. Orlov, Equivalences of derived categories and K3 surfaces , J. Math. Sci. 84 (1997), 1361–1381

    1997

  19. [27]

    Rizzardo, M

    A. Rizzardo, M. Van den Bergh, A. Neeman, An example of a non-Fourier–Mukai functor between derived categories of coherent sheaves, Invent. Math. 216 (2019), 927–1004

    2019

  20. [28]

    Rouquier, Dimensions of triangulated categories , J

    R. Rouquier, Dimensions of triangulated categories , J. K-theory 1 (2008), 193–258

    2008

  21. [29]

    To¨ en,The homotopy theory of dg-categories and derived Morita theory , Invent

    B. To¨ en,The homotopy theory of dg-categories and derived Morita theory , Invent. Math. 167 (2007), 615–667

    2007

  22. [30]

    F. Casorati

    V. Vologodsky, Triangulated endofunctors of the derived category of coherent sheaves which do not admit DG liftings, Arnold Math. J. 5 (2019), 139-–143. A.C.: Dipartimento di Matematica “F. Casorati”, Universit `a degli Studi di Pavia, Via Ferrata 5, 27100 Pavia, Italy Email a...

    2019

Pith tools

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