Pith. sign in

REVIEW 2 major objections 5 minor 22 references

Approximable Triangulated Categories and Reflexive DG-categories

T0 review · 2 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read This paper proves that a locally finite approximable DG-category whose derived category is strongly generated by a finite-valued object is finite-reflexive: the double-dual evaluation functor is an equivalence.

desk verdict Solid criterion for reflexivity; the connective DG-algebra proof has a genuine gap that needs a rewrite. read the letter →

arxiv 2411.09461 v3 pith:SGHGHH4K submitted 2024-11-14 math.AG math.RT

Isambard Goodbody , Theo Raedschelders , Greg Stevenson This is my paper · ORCID
classification math.AGmath.RT MSC 14F0818G8016E45
keywords approximabletriangulatedcategoriesreflexiveDG-categoriesproperDG-algebrasfinite-valuedDG-modulesstronggenerationschemesAzumayaalgebrasderived
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

Reflexive DG-categories formalise the duality between perfect complexes and the bounded derived category of coherent sheaves: the double-dual functor is an equivalence. This paper finds a sufficient condition for that equivalence, phrased entirely in the language of approximable triangulated categories. The condition is that the DG-category A be locally finite and approximable, and that its derived category D(A) be generated in finitely many steps by one finite-valued DG-module G in $D^{{fvd}}$(A). When those hypotheses hold, Theorem 4.4 concludes that A is finite-reflexive; the paper then verifies the generation hypothesis for proper schemes, proper connective DG-algebras, and Azumaya algebras over proper schemes.

What carries the argument

The machinery is the theory of approximable triangulated categories: a triangulated category with coproducts, a compact generator G, and a t-structure such that every object can be approximated in finitely many stages by objects built from G. The key move is the completion–duality match: Lemma 4.1 characterizes $T^b_c$ as the objects whose Hom-sets into all compacts are finitely generated k-modules, and Theorem 4.3 converts this into the equality $D(A)^b_c = D^{fvd}(A)$ for locally finite approximable DG-categories. The reflexive conclusion then follows from the representability theorems in [Nee21c] and [Nee18], which produce $M\in D^{\mathrm{perf}}(A)$ representing any finite homological functor on $D(A)^b_c$.

What would settle it

Test Theorem 4.4 by taking a locally finite approximable DG-category A over a Noetherian ring k with $D(A)=\langle G\rangle_n$ for some $G\in D^{fvd}(A)$ and checking whether the double-dual map $D^{\mathrm{perf}}(A)\to D^{fvd}(D^{fvd}(A)^{\mathrm{op}})^{\mathrm{op}}$ is essentially surjective; a single failure would refute the theorem. Natural places to look are proper connective DG-algebras over non-perfect fields and proper schemes over non-regular rings, where all hypotheses can be verified explicitly.

Watch

Extended reading notes

Core claim

The central discovery is the identification of the completion of a locally finite approximable DG-category with its finite-valued modules: Theorem 4.3 shows $D(A)^b_c = D^{fvd}(A)$. Combining this with the representability theorems in [Nee21c] and [Nee18], Theorem 4.4 proves that a locally finite approximable DG-category A is finite-reflexive whenever there exists $G\in D^{fvd}(A)$ with $D(A)=\langle G\rangle_n$. Finite-reflexivity means the functor $D^{\mathrm{perf}}(A)\to D^{fvd}(D^{fvd}(A)^{\mathrm{op}})^{\mathrm{op}}$ given by $M\mapsto \mathrm{RHom}_A(M,-)$ is an equivalence. The paper obtains the strong generation input in three settings: proper schemes over a Noetherian ring via [Nee21b], proper connective DG-algebras over any field via a radical filtration of $H^0(A)$ or via finite-dimensional models from the appendix, and Azumaya algebras over proper schemes via [DLR24b].

Load-bearing premise

The argument's load-bearing premise is that each DG-category A considered has a single finite-valued object G such that $D(A)=\langle G\rangle_n$, the full subcategory built from G by finitely many cones and direct summands; the paper verifies this separately for each application, and if that generation input fails the reflexivity conclusion does not follow.

Editorial extensions

If this is right

  • For a proper scheme X over k, the paper yields $D^b_{\mathrm{coh}}(X)\simeq D^{fvd}(D^{\mathrm{perf}}(X))$ and finite-reflexivity of $D^{\mathrm{perf}}(X)$.
  • For a proper connective DG-algebra A over any field, $D^{\mathrm{perf}}(A)$ is reflexive, generalising the perfect-field examples.
  • For an Azumaya algebra $(A,X)$ over a scheme X proper over k, $D^{fvd}(D^{\mathrm{perf}}(A,X))\simeq D^b_{\mathrm{coh}}(A,X)$ and $D^{\mathrm{perf}}(A,X)$ is finite-reflexive.
  • In any reflexive case, the semi-orthogonal decompositions and derived autoequivalence groups of $D^{\mathrm{perf}}(A)$ and $D^{fvd}(A)$ coincide, by the cited results in [KS22].
  • The appendix lets every proper connective DG-algebra over an arbitrary field be replaced by a finite-dimensional model, so the strong generation lemma has a uniform proof over all fields.

Reading between the lines

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

  • The paper's sufficient condition may in fact be near-necessary: any locally finite approximable DG-category whose double dual is an equivalence is likely to admit a finite-valued strong generator, so the reflexive and strongly-generated phenomena may coincide.
  • Over a non-regular base ring, the distinction between finite-reflexivity and Morita-reflexivity matters; the paper's results are for finite-reflexivity, leaving open whether the perfect complexes of the same schemes or algebras are Morita-reflexive over such bases.
  • The appendix's finite-dimensional model theorem over arbitrary fields makes Orlov's DG-radical construction available uniformly, so Lemma 5.2 could be proved by a single radical-filtration argument rather than case-by-case.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 5 minor

Summary. The paper establishes a bridge between approximable triangulated categories and reflexive DG-categories. Theorem 4.3 shows that for an approximable locally finite DG-category A, the subcategory D(A)^b_c is exactly D^{fvd}(A). Theorem 4.4 then proves that if D(A) is strongly generated by an object of D^{fvd}(A), then A is finite-reflexive. The authors apply this to three families: proper schemes over a commutative Noetherian ring, proper connective DG-algebras over a field, and Azumaya algebras over proper schemes. An appendix by Raedschelders and Stevenson proves that every proper connective DG-algebra over any field admits a finite-dimensional DG-model.

Significance. If the results hold, the paper gives a uniform sufficient condition for finite-reflexivity that covers and extends the main examples of Kuznetsov and Shinder, and it clarifies the relationship between approximability and reflexivity. The conditional Theorem 4.4 is clean and its proof is sound, and the identification D(A)^b_c = D^{fvd}(A) is a useful structural result. The appendix is a valuable standalone contribution. However, one of the three headline applications, Proposition 5.4 on proper connective DG-algebras, currently rests on a flawed proof step in Lemma 5.2, so the full set of applications is not yet established as written.

major comments (2)
  1. [§5, Lemma 5.2] The proof of Lemma 5.2 contains an invalid restriction step. After showing H^*(A) ∈ ⟨F_i⟩_{N'} in D(H^0(A)^op ⊗ H^0(A)/J), the proof asserts that restricting along A^e → H^0(A)^op ⊗ H^0(A)/J gives A ∈ ⟨F_i⟩_{N''} in D(A^e). This is not justified: the objects F_i are modules over H^0(A)^op ⊗ H^0(A)/J, so when viewed as A^e-modules via this restriction, all elements of A in nonzero cohomological degree act trivially. But A ∈ D(A^e) has the natural A-bimodule action, which is generally not captured by the restriction. A concrete witness is A = k[ε]/(ε^2) with deg ε = -1 and d = 0. Here H^0(A) = k, J = 0, and F_0 = H^*(A) = k ⊕ k[-1]. The restriction of F_0 to A^e makes ε act by zero, whereas A (which is H^*(A)) has ε acting by a nonzero degree -1 map; indeed A ∈ ⟨k⟩_2 but not in ⟨F_0⟩_1 in D(A^e). The proof therefore does not establish the strong generation hypothesis needed for Proposition 5.4. Remark 5.3 sketches an alternative via Orlov's DG-radical, but it is only a sketch and relies on [Orl20], so Proposition 5.4 is currently unsupported.
  2. [§5, Proposition 5.4] Since Proposition 5.4 is a headline application and depends entirely on Lemma 5.2, the gap in Lemma 5.2 is load-bearing. The paper's central theoretical result, Theorem 4.4, is conditional on a strong generation hypothesis, and for proper connective DG-algebras that hypothesis is verified only through Lemma 5.2. The appendix (Theorem A.3) provides finite-dimensional models but does not, by itself, supply the missing generation statement; the connection to Orlov's DG-radical in Remark 5.3 would need to be written out in detail. Until this is repaired, the claim that all proper connective DG-algebras over a field are reflexive is not proven.
minor comments (5)
  1. [§1, abstract and introduction] There are several typos: 'the the theory' in the introduction, 'reminisint' for 'reminiscent', and 'A zumaya' in the abstract.
  2. [§2, Remark 2.3] The phrase 'don't depend' should be 'does not depend'; also the remark could state explicitly that approximability is independent of the t-structure, not just of the generator.
  3. [§2, Definition 2.1] The notation for ⟨S⟩^{[a,b]}_n and ⟨S⟩^{[a,b]}_1 versus ⟨S⟩_{[a,b]} etc. is dense; a short example or a reference to the original convention would help readability.
  4. [§5, Corollary 5.1] In the statement of Corollary 5.1, the notation Dperf(A) appears, but A is not defined; it should be Dperf(X). Similarly, in Corollary 5.10 the final sentence writes 'Dperf(A)' where the context is Dperf(A,X).
  5. [§5, Lemma 5.2] The filtration notation H^*(A)J^i is not defined explicitly; it would help to state that J is the radical of H^0(A) and that H^*(A)J^i denotes the sub-bimodule generated by J^i on appropriate factors.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: Theorem 4.4 is a genuine implication, and the strong-generation hypotheses are supplied by independent external results.

full rationale

The central result, Theorem 4.4, is an implication: under the hypotheses that A is locally finite approximable and that D(A) = <G>_n for some G in D^{fvd}(A), it concludes finite-reflexivity. The proof uses Neeman's representability theorem (Theorem 2.11) and Theorem 4.3, which identifies D(A)^b_c with D^{fvd}(A); this identification is derived from Lemma 4.1 via finite Hom-modules and is not a restatement of reflexivity. The strong-generation hypotheses in the examples are verified by independent results: [Nee21b] for proper schemes, the proof of Corollary 6.2 in [DLR24b] for Azumaya algebras, and Lemma 5.2 for connective DG-algebras. Even if Lemma 5.2 contains a gap in the restriction step, as the skeptic note suggests, that is a correctness issue about whether the generation hypothesis has been established, not a circular reduction in which the conclusion is assumed or defined into the input. The only self-citation is Remark 3.4's use of [Goo24] to infer equal Hochschild cohomology and derived Picard groups; this remark is peripheral and is not used in the proof of the main theorems. The appendix cites [RS22] only as background and supplies a new proof over arbitrary fields. Thus no load-bearing step reduces to its own input by construction.

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

No data-fitting parameters and no invented entities appear. The ledger records the cited structural results on which the proofs depend.

assumptions (5)
  • standard math Neeman's representability theorem (Theorem 2.11) holds for approximable triangulated categories with Hom-finiteness.
    Used in Lemma 4.1 and Theorem 4.4 to identify finite functors as representable; cited to [Nee21c, Thm 7.20] and [Nee18].
  • domain assumption For a quasi-compact quasi-separated scheme X, DQcoh(X) is approximable and DQcoh(X)^b_c equals D^b_coh(X) when X is Noetherian.
    Used to prove Corollary 5.1; from [CNS24] and [Nee21a].
  • domain assumption For a proper scheme X over k, the bounded coherent category is strongly generated by a single object G.
    Used in Corollary 5.1 to satisfy the strong generation hypothesis of Theorem 4.4; cited to [Nee21b].
  • domain assumption For an Azumaya algebra (A,X) over a proper scheme, DQcoh(A,X) is approximable, D^b_coh(A,X)=DQcoh(A,X)^b_c, and a strong generator exists.
    Used in Corollary 5.10; cited to [DLR24a] and [DLR24b].
  • standard math A proper connective DG-algebra over a field has a minimal A-infinity model with finite-dimensional underlying vector space, so finite dimensional models exist.
    Used in Lemma 5.2 and the appendix; the appendix proves the finite-dimensional-model statement, while minimal model existence is standard.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Approximable Triangulated Categories and Reflexive DG-categories." pith.science (2026). https://pith.science/paper/SGHGHH4K

@misc{pith2026241109461,
  author       = {Pith},
  title        = {Pith review of: Approximable Triangulated Categories and Reflexive DG-categories},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SGHGHH4K}},
  note         = {Machine review of arXiv:2411.09461}
}
read the original abstract

We use the theory of approximable triangulated categories to give a condition for a proper DG-category to be reflexive in the sense of Kuznetsov and Shinder. To do this we provide another description of the completion of an approximable triangulated category under a properness assumption. We apply our results to proper schemes, proper connective DG-algebras and Azumaya algebras over proper schemes. We include an appendix by Raedschelders and Stevenson showing that proper connective DG-algebras admit finite dimensional models over any field.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

22 extracted references · 14 canonical work pages

  1. [1]

    Construction of t-structures and equivalences of derived categories

    Leovigildo Alonso, Ana Jeremias, and Maria Jose Souto Salorio. Construction of t-structures and equivalences of derived categories. Trans. Amer. Math. Soc. , pages 2523--2543, 2003

    work page 2003

  2. [2]

    Parker, and Junhua Zheng

    Rudradip Biswas, Hongxing Chen, Kabeer Manali Rahul, Chris J. Parker, and Junhua Zheng. Bounded t -structures, finitistic dimensions, and singularity categories of triangulated categories. arXiv preprint: 2401.00130 , 2024

    arXiv 2024

  3. [3]

    Ben-Zvi , D

    D. Ben-Zvi , D. Nadler, and A. Preygel. Integral transforms for coherent sheaves. Journal of the European Mathematical Society , 19, 12 2013

    work page 2013

  4. [4]

    Gluing approximable triangulated categories

    Jesse Burke, Amnon Neeman, and Bregje Pauwels. Gluing approximable triangulated categories. Forum of Mathematics, Sigma , 11, 2023

    work page 2023

  5. [5]

    Weakly approximable triangulated categories and enhancements: a survey

    Alberto Canonaco, Amnon Neeman, and Paolo Stellari. Weakly approximable triangulated categories and enhancements: a survey. arXiv preprint: 2407.05946 , 2024

    arXiv 2024

  6. [6]

    Approximability and R ouquier dimension for noncommutative algebras over schemes

    Timothy De Deyn, Pat Lank, and Kabeer Manali Rahul. Approximability and R ouquier dimension for noncommutative algebras over schemes. arXiv preprint: 2408.04561 , 2024

    arXiv 2024

  7. [7]

    Descent and generation for noncommutative coherent algebras over schemes

    Timothy De Deyn, Pat Lank, and Kabeer Manali Rahul. Descent and generation for noncommutative coherent algebras over schemes. arXiv preprint: 2410.01785 , 2024

    arXiv 2024

  8. [8]

    Efimov, Valery A

    Alexander I. Efimov, Valery A. Lunts, and Dmitri O. Orlov. Deformation theory of objects in homotopy and derived categories. II . P ro-representability of the deformation functor. Adv. Math. , 224(1):45--102, 2010

    work page 2010

Show all 22 references
  1. [9]

    Godement

    R. Godement. Topologie alg \'e brique et theorie des faisceaux. Actualites Sci. Ind , 1252, 1958

    1958

  2. [10]

    Goodbody

    I. Goodbody. Reflexivity and H ochschild cohomology. arXiv preprint: 2403.09299 , 2024

    2024 arXiv

  3. [11]

    B. Keller. On differential graded categories. International Congress of Mathematicians. Eur. Math. Soc. , pages 151--190, 2006

    2006

  4. [12]

    Kuznetsov and E

    A. Kuznetsov and E. Shinder. Homologically finite-dimensional objects in triangulated categories. arXiv: 2211.09418 , 2022

    2022 arXiv

  5. [13]

    Lefevre-Hasegawa

    K. Lefevre-Hasegawa. Sur les A _ -cat \'e gories . PhD thesis, Ph. D. thesis, Universit \'e Paris 7, UFR de Math \'e matiques, 2003, math. CT/0310337, 2002

    2003

  6. [14]

    The category ( T ^c)^ op as functors on T ^b_c

    Amnon Neeman. The category ( T ^c)^ op as functors on T ^b_c . arXiv preprint: 1806.05777 , 2018

    2018 arXiv

  7. [15]

    Approximable triangulated categories

    Amnon Neeman. Approximable triangulated categories. Representations of Algebras, Geometry and Physics, Contemp. Math. , pages 111--155, 2021

    2021

  8. [16]

    Strong generators in D ^ perf (X) and D ^b_ coh (X)

    Amnon Neeman. Strong generators in D ^ perf (X) and D ^b_ coh (X) . Ann. of Math. , pages 689--732, 2021

    2021

  9. [17]

    Triangulated categories with a single compact generator and a brown representability theorem

    Amnon Neeman. Triangulated categories with a single compact generator and a brown representability theorem. arXiv preprint: 1804.02240 , 2021

    2021 arXiv

  10. [18]

    Smooth and proper noncommutative schemes and gluing of dg categories

    Dmitri Orlov. Smooth and proper noncommutative schemes and gluing of dg categories. Advances in Mathematics , 302:59--105, 2016

    2016

  11. [19]

    D. Orlov. Finite-dimensional differential graded algebras and their geometric realizations. Advances in Mathematics , 366:107096, jun 2020

    2020

  12. [20]

    Raedschelders and G

    T. Raedschelders and G. Stevenson. Proper connective differential graded algebras and their geometric realizations. European Journal of Mathematics , 8:574–598, 2022

    2022

  13. [21]

    Stacks Project

    The Stacks Project Authors . Stacks Project. https://stacks.math.columbia.edu, 2018

    2018

  14. [22]

    To \" e n

    B. To \" e n. The homotopy theory of dg -categories and derived Morita theory. Invent. Math. , 167(3):615--667, March 2007

    2007

Pith tools

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