Excellent metrics on triangulated categories, and the involutivity of the map taking $\mathcal{S}$ to $\mathfrak{S}({\mathcal{S})^{\mathrm{op}}}$

Amnon Neeman

REVIEW 1 major objections 5 minor 1 cited by

Excellent metrics on triangulated categories, and the involutivity of the map taking $\mathcal{S}$ to $\mathfrak{S}({\mathcal{S})^{\mathrm{op}}}$

T0 review · 1 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 For triangulated categories with an excellent metric, the S-to-S(S)^{op} passage is an almost-involution: iterating it returns S up to idempotent completion, and on categories of the form S(R) it is an isometric equivalence.

desk verdict A careful, internally consistent theory of excellent metrics and their almost-involutive completion; the main caveat is that the motivating examples depend on an unpublished preprint. read the letter →

arxiv 2505.09120 v1 pith:XEYS4AUQ submitted 2025-05-14 math.CT math.AGmath.AT

Amnon Neeman This is my paper · ORCID

classification math.CTmath.AGmath.AT MSC 18G80

keywords triangulatedcategoriesexcellentmetricsgoodt-structuresderivedcompletionsinvolutionuniquenessofenhancements

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

Starting from a triangulated category $\mathcal{S}$ equipped with a 'good metric' (a nested family of full subcategories $\{M_i\}$ playing the role of balls of radius $2^{-i}$), the paper's predecessor built a new triangulated category $\mathfrak{S}(\mathcal{S})$ out of Yoneda-image colimits of Cauchy sequences. This paper singles out a subclass of good metrics, the 'excellent' ones, and proves that for them the passage $(\mathcal{S},\{M_i\}) \mapsto (\mathfrak{S}(\mathcal{S})^{\mathrm{op}}, \{N_i^{\mathrm{op}}\})$ is almost an involution: applying it twice returns $\mathcal{S}$ up to direct-summand completion, and exactly when $\mathcal{S}$ already has the form $\mathfrak{S}(\mathcal{R})$ the return is an isometric triangle equivalence. Excellence is a strong condition, yet it is satisfied by the natural truncation metrics coming from t-structures on weakly approximable triangulated categories, giving new examples such as $K^b(R\text{-}\mathrm{Proj})$ with its truncation metric. The paper announces that these involutivity results will feed into new theorems about uniqueness of enhancements in a sequel.

What carries the argument

The load-bearing object is the Yoneda-based completion $L(\mathcal{S})$: the full subcategory of right $\mathcal{S}$-modules whose objects are colimits of Yoneda images of Cauchy sequences in $\mathcal{S}$, inside which the category $\mathfrak{S}(\mathcal{S})$ is cut out by the formula $\mathfrak{S}(\mathcal{S}) = L(\mathcal{S}) \cap \bigcup_n Y(M_n)^\perp$. The central mechanism is the notion of a 'type-$n$ morphism' between Cauchy sequences, meaning that the third vertices of the associated triangles lie in $M_n$; condition (iii) of excellence postulates the existence of type-$m$ morphisms $Y(F) \to D$ with $D$ in $\mathfrak{S}(\mathcal{S}) \cap L_n^\perp$. These type-$m$ morphisms allow the restricted Yoneda functor $\widehat{Y} : (\mathrm{Mod}\text{-}\mathcal{S})^{\mathrm{op}} \to \mathrm{Mod}\text{-}\mathfrak{S}(\mathcal{S})^{\mathrm{op}}$ to induce an equivalence $L(\mathcal{S})^{\mathrm{op}} \cong L(\mathfrak{S}(\mathcal{S})^{\mathrm{op}})$ and to transport strong triangles, and this equivalence of completions is what yields the almost-involution.

What would settle it

Exhibit a triangulated category $\mathcal{S}$ with a good metric satisfying Definition 2.1(i) and (ii) but not (iii), and check whether the comparison functor $\widehat{Y} : \mathcal{S} \to \mathfrak{S}(\mathfrak{S}(\mathcal{S})^{\mathrm{op}})^{\mathrm{op}}$ is fully faithful and whether every object of the target is a direct summand of an image object: if both hold for such a metric, then excellence is not necessary for the almost-involution, and if either fails, condition (iii) is essential. A concrete test case is the homotopy category $K^b(R\text{-}\mathrm{Proj})$ with its truncation metric, for a ring $R$ for which $D(R\text{-}\mathrm{Mod})$ is weakly approximable but not coherent; in that setting condition (iii) is the only clause in doubt.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem 0.9: inside the class of good metrics on triangulated categories there is a subclass of 'excellent' metrics for which the assignment $(\mathcal{S},\{M_i\}) \mapsto (\mathfrak{S}(\mathcal{S})^{\mathrm{op}}, \{N_i^{\mathrm{op}}\})$ is almost an involution. Concretely, there is a fully faithful triangulated functor $\widehat{Y} : \mathcal{S} \to \mathfrak{S}(\mathfrak{S}(\mathcal{S})^{\mathrm{op}})^{\mathrm{op}}$ whose image is dense up to direct summands: every object of the double category is a direct summand of some $\widehat{Y}(X)$, and every object of the induced metric ball $\widehat{M}_i$ is a direct summand of some $\widehat{Y}(M_i)$. If $\mathcal{S}$ itself is of the form $\mathfrak{S}(\mathcal{R})$ for some triangulated category $\mathcal{R}$ with an excellent metric, or if $\mathcal{S}$ is idempotent-complete and each $M_i$ is idempotent-complete, then $\widehat{Y}$ is a triangle equivalence and is an isometry of metric categories. The paper also proves that excellence is preserved by the construction, so the process can be iterated and the idempotent completion stops after the first step.

Load-bearing premise

The entire conclusion depends on the hardest clause in the definition of an excellent metric: at every scale m, each object of the starting category must admit a controlled map into an object of the constructed category that receives no maps from the finer objects of scale n; this existence clause is not automatic for good metrics, and the paper can verify it in examples only by importing the weakly approximable/coherent machinery of [2] and an unpublished preprint.

Editorial extensions

If this is right

Excellent metrics are closed under the construction: if $\{M_i\}$ is excellent on $\mathcal{S}$, the induced metric $\{N_i^{\mathrm{op}}\}$ is excellent on $\mathfrak{S}(\mathcal{S})^{\mathrm{op}}$ (Proposition 4.1), so the process can be iterated freely.
For an excellent metric, the comparison functor $\widehat{Y} : \mathcal{S} \to \mathfrak{S}(\mathfrak{S}(\mathcal{S})^{\mathrm{op}})^{\mathrm{op}}$ is fully faithful and triangulated, with every object of the target a direct summand of an image object; if $\mathcal{S}$ is idempotent-complete with idempotent-complete $M_i$, or if $\mathcal{S}$ is already of the form $\mathfrak{S}(\mathcal{R})$, thi
For weakly approximable triangulated categories $\mathcal{T}$ with a compact generator $G$, the subcategory $\mathcal{T}^{sb} = \bigcup_m \langle G \rangle^{[-m,m]}$ carries an explicit excellent metric given by $\mathcal{T}^{sb} \cap \mathcal{T}^{\leq -\ell}$, and it equals $\mathfrak{S}((\mathcal{T}^b)^{\mathrm{op}})^{\mathrm{op}}$ (Definition 8.5).
When $\mathcal{T} = D(R\text{-}\mathrm{Mod})$, the subcategory $\mathcal{T}^{sb}$ is $K^b(R\text{-}\mathrm{Proj})$; the truncation metric is always excellent on it, while its restriction to the finitely generated projective complexes is excellent exactly when $D(R\text{-}\mathrm{Mod})$ is coherent (Example 0.24).
The paper states that a forthcoming sequel will use these involutivity results to prove new and surprising statements about uniqueness of enhancements.

Reading between the lines

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

Read as a duality statement, the construction behaves like an antitone involution on the 'completed' categories: since $L(\mathcal{S})^{\mathrm{op}} \cong L(\mathfrak{S}(\mathcal{S})^{\mathrm{op}})$ (Proposition 2.17), the metric completions are exactly exchanged by the construction, and $\mathcal{S}$ itself is captured only up to idempotent completion; a testable consequence is that idempotent co
Condition (iii) of excellence reads like a metric-theoretic 'enough approximability' hypothesis; one could test whether, for a weakly approximable triangulated category $\mathcal{T}$, excellence of the truncation metric on $\mathcal{T}^{c}$ is equivalent to coherence of $\mathcal{T}$, which would turn Example 0.24 into a sharper dichotomy.
Because the motivating metrics are intrinsic (they are produced by recipes from the triangulated category alone, up to equivalence), the involutivity would transfer any uniqueness-of-enhancement property in both directions between $\mathcal{S}$ and $\mathfrak{S}(\mathcal{S})^{\mathrm{op}}$; this suggests a proof strategy for the announced sequel: prove uniqueness for the fixed points of the constr
The paper proves the almost-involution for excellent metrics but leaves open whether the 'almost' can be dropped for metrics that are only 'very good' (Definition 5.9); a concrete test would be to run the double construction on a very-good-but-not-excellent metric and check whether the fully faithfulness or the direct-summand density of the comparison functor survives.

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.

Desk Editor's Note

read the letter

Main take: this is a solid sequel. The genuinely new object is the class of excellent metrics (Definition 2.1), sitting inside good metrics, for which the passage S -> S(S)^op is almost an involution: a fully faithful triangulated functor whose image is idempotent-complete (Theorem 0.9(iii)-(v)). That theorem is stated with precise caveats, and the proof is long, lemma-heavy, and internally consistent as far as I can tell. The paper also computes a new category T^sb, generalizing K^b(R-Proj) (Examples 0.24 and Definition 8.5). The author is transparent about the limits, e.g., Discussions 1.9 and 6.8.

The credit: this is not a hand-wavy programmatic paper. The diagrams and technical conditions are stated carefully, and the idempotent-completion formulation is honest about what can fail. The dependence on the author's earlier papers [2] and [6] is substantial but appropriate for a sequel; it is dependency, not circularity.

The soft spot: load-bearing reliance on the unpublished preprint [6]. Example 2.3, which is the main source of excellent metrics, verifies condition (iii) of Definition 2.1 through [6, Lemma 8.5] and related statements. Example 8.3 also uses [6]. If any of those statements fail, the class of excellent metrics could be nearly empty, and Theorem 0.9 would have few or no known instances. This is not an internal flaw in the proof; but for a referee, it means the paper's applicability rests on a source that is not publicly available in final form. I would want [6] posted or the needed lemmas proved in an appendix before final acceptance.

Minor: the paper is very long and the notation is heavy, typical for this program. No machine-checked proofs, but I do not see that as a flaw at this level.

Audience: derived-category people working on enhancements, t-structures, and the T^c/T^b_c program. If the sequel with Canonaco and Stellari indeed proves new uniqueness-of-enhancements results, this paper will be an important reference.

Recommendation: send to peer review; the referee should require that the dependence on [6] be resolved.

Referee Report

1 major / 5 minor

Summary. The paper introduces a new subclass of good metrics on triangulated categories, called excellent metrics, and studies the involutivity of the construction that sends a triangulated category S with a metric {M_i} to the opposite of the category S(S) with the induced metric {N_i^op}. The main theorem (Theorem 0.9) states that excellence is preserved under this passage, and that the double passage is almost an involution: there is a fully faithful triangulated functor bY from S to the second double opposite whose essential image generates the target up to direct summands, with an isometry in the idempotent-complete case. The paper also develops very good metrics, proves recognition criteria for excellence in the presence of good extensions (Proposition 6.2), and constructs examples: for weakly approximable coherent triangulated categories the metrics on T^c and (T^b_c)^op are excellent, and in Section 8 it identifies T^sb = union_n <G>^[-n,n] with an excellent metric for weakly approximable T with a compact generator.

Significance. If the results stand, this is a substantial structural contribution to the theory of metrics on triangulated categories and to the study of the S-construction: it gives a precise conceptual explanation of when the passage S -> S(S)^op is involutive, namely excellence, and it packages the idempotent-completion phenomenon cleanly in Theorem 0.9(iii)-(v). The promised sequel on uniqueness of enhancements indicates that these notions are likely to have genuine applications. The paper is careful to state the main theorem with explicit caveats (almost involution, direct summands, idempotent-complete isometry), and the proof is structured through many small lemmas with precise references to [2] and [6]. A significant limitation is that all the concrete examples of excellent metrics supplied in the paper rely on results from the unpublished preprint [6]; the non-vacuity of the class is therefore not established within this manuscript alone.

major comments (1)

[Example 2.3 and Section 8] The paper's motivating examples of excellent metrics are not self-contained. In Example 2.3, the verification of Definition 2.1(iii) uses [6, Remark 0.24, Lemma 2.8, Proposition 2.14, Lemma 8.5], and Example 8.3 relies on [6, Proposition 2.6 and Corollary 2.2.1]. Since Theorem 0.9 is a statement about excellent metrics, the applicability of the main theorem to the motivating examples depends entirely on the correctness of the unpublished preprint [6]. This is an unresolved external dependency that is load-bearing for the claim that the class of excellent metrics is 'large'. I recommend that the author either include proofs of the needed results from [6] in an appendix, or explicitly state in the introduction and in Theorem 0.9 that the examples are conditional on [6] being correct, with a clear indication of which statements are imported. Without this, a reader cannot presently verify that the main theorem has any non-formal instances.

minor comments (5)

[Abstract and Theorem 0.9(ii)] There is a typo in Theorem 0.9(ii): 'catgeories' should be 'categories'. Also the abstract contains a malformed symbol '\mathfrak(\mathcal{S})' that should be '\mathfrak{S}(\mathcal{S})'.
[Lemma 1.16(ii)] In the statement of Lemma 1.16(ii), 'repsectively' is a typo for 'respectively'. The same typo appears in the proof and in a few other places (e.g., Lemma 3.8 and Lemma 3.10).
[Lemma 7.8] In Lemma 7.8, 'untegern' should be 'integer n'. Also in Example 7.9, 'nessecary' should be 'necessary'.
[Lemma 7.6] In the proof of Lemma 7.6, 'nust' should be 'must'.
[Definition 4.5 and Theorem 4.6] The notation for the functor Ψ and its relation to bY is somewhat confusing, since bY is introduced earlier as a functor from (Mod-S)^op to Mod-S(S)^op, while Ψ is a functor S^op -> S(S(S)^op). A direct sentence stating that Ψ is the restriction of bY to Y(S)^op (up to the equivalence of Proposition 2.17) would help the reader.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular derivation: Theorem 0.9 is a conditional structural result proved from explicitly stated axioms; the main theorem does not reduce to its own inputs, though the non-vacuity of the class of excellent metrics depends on the author's own prior and unpublished work.

full rationale

The derivation chain of Theorem 0.9 is conditional: excellent metrics are defined by explicit axioms in Definition 2.1, including orthogonality coverings, existence of certain triangles, and the existence of type-m morphisms into S(S)∩L_n^⊥. Proposition 4.1 and Theorem 4.6 then prove that these axioms are preserved by the passage S ↦ S(S)^op and that the second iterate is an idempotent completion. The proof does not assume the conclusion: it does not presuppose that {N_i^op} is excellent, nor that Ψ is surjective up to direct summands; these are derived from the axioms. No fitted parameter is renamed as a prediction, and no known uniqueness theorem is imported from the author's prior work to force a choice. The only substantial external input is in Example 2.3, where the excellence of the T^c metrics is verified using [6, Remark 0.24, Lemma 2.8, Proposition 2.14, Lemma 8.5] and [2, Definition 5.1]. These citations are to the author's own prior work, including the unpublished preprint [6], and they are load-bearing for the non-vacuity of the class of excellent metrics. However, the cited statements concern weakly approximable and coherent triangulated categories and strong T^c-approximating sequences; they do not state or presuppose Theorem 0.9. The paper is transparent about this importation, and the central conditional theorem has independent content. The score of 2 reflects the weight of self-citation and the unpublished status of [6], not a finding of circularity.

Assumptions & free parameters 0 free parameters · 4 assumptions · 3 invented entities

The central theorem is conditional: it describes what follows once a metric satisfies the new Definition 2.1. No numerical free parameters are fitted. The main external 'pull from prior literature' is the framework of [2] (good metrics, the completion S(S), strong triangles) and, for examples, the unpublished [6]; both are by the same author or collaborators, so the paper's contributions are extensions of the author's own program rather than an independent derivation.

assumptions (4)

domain assumption Foundations of good metrics, Cauchy sequences, L(S), and the triangulated structure of S(S) from [2] (Definitions 1.2, 1.11, Theorem 2.14).
Importing [2] is necessary throughout; the paper does not reprove these foundations and instead builds on them.
domain assumption For weakly approximable triangulated categories, the results of [6] on single compact generators, approximating sequences, and Brown representability are correct (e.g., [6, Proposition 2.6, Proposition 2.14, Lemma 8.5]).
Used to prove the motivating examples are excellent (Example 2.3, Example 8.3) and to compute T^sb.
ad hoc to paper Definition 2.1 of an excellent metric is the defining property of the class studied; the paper is conditional on the metric satisfying it.
The notion is introduced specifically to make the involution theorem work; the paper justifies its relevance by showing examples (Example 2.3, Section 8).
standard math Standard category-theoretic background: Yoneda lemma, abelian category Mod-S for a small additive S, and axioms of triangulated categories.
Used implicitly in definitions and proofs throughout, e.g., Discussion 0.10, Lemma 1.7, Lemma 1.20.

invented entities (3)

Excellent metric independent evidence
purpose: Identify good metrics for which S -> S(S)^op is an almost involution; it is the paper's central new notion.
The paper demonstrates nonemptiness with concrete examples (Example 2.3 for coherent weakly approximable T with t-structure; Section 8 for T^sb), giving it external mathematical content rather than an empty axiom.
Very good metric independent evidence
purpose: Intermediate notion used to prove good-extension results in Sections 5-7.
Section 7 shows that any bounded-above t-structure yields a very good metric on T^- or T^b, so the class is inhabited.
T^sb independent evidence
purpose: A subcategory associated to a weakly approximable triangulated category with a compact generator, defined as the union over m of the thick subcategory generated by G in degrees [-m,m]; it carries an excellent metric.
Example 8.4 computes it explicitly for D(R-Mod) as K^b(R-Proj), giving a concrete handle and linking it to known categories.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Excellent metrics on triangulated categories, and the involutivity of the map taking $\mathcal{S}$ to $\mathfrak{S}({\mathcal{S})^{\mathrm{op}}}$." pith.science (2026). https://pith.science/paper/XEYS4AUQ

@misc{pith2026250509120,
  author       = {Pith},
  title        = {Pith review of: Excellent metrics on triangulated categories, and the involutivity of the map taking $\mathcalS$ to $\mathfrakS(\mathcalS)^\mathrmop$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XEYS4AUQ}},
  note         = {Machine review of arXiv:2505.09120}
}

abstract

In the article arXiv:1806.06471 we defined good metrics on triangulated categories, and then studied the construction, that began with a triangulated category $\mathcal{S}$ together with a good metric $\{\mathcal{M}_i,\,i\in\mathbb{N}\}$, and out of it cooked up another triangulated category $\mathfrak(\mathcal{S})$. We went on to study examples, and produced many for which the construction is involutive. By this we mean that, if you let $\mathcal{T}=\mathfrak{S}(\mathcal{S})^{\mathrm{op}}$, then there is a choice of metric on $\mathcal{T}$ for which $\mathcal{S}=\mathfrak{S}(\mathcal{T})^{\mathrm{op}}$. In this article we study this phenomenon much more carefully, with the focus being on understanding the metrics for which involutivity occurs. As it turns out there is a large class of them, the excellent metrics on triangulated categories. At the end we will produce a few new examples of excellent metrics. And our reason for going to all this trouble is that the results of this article will permit us to prove new and surprising statements about uniqueness of enhancements. Those results will come in a sequel to this article, which is joint with Canonaco and Stellari.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Strong uniqueness of enhancements for the dual numbers: a case study
math.AG 2025-05 conditional novelty 7.0 of 10

The paper proves that the derived categories of modules over the dual numbers, in the bounded, bounded below, and strictly bounded ranges, and all derived categories of hereditary abelian categories, have strongly uni...

Reference graph

Works this paper leans on

7 extracted references · 5 canonical work pages · cited by 1 Pith paper

[2]

Amnon Neeman,The categoriesT c andT b c determine each other, arxiv:1806.06471

arXiv
[6]

,Triangulated categories with a single compact generator, and two Brown representability the- orems, (preprint)

work page
[1]

Alberto Canonaco, Amnon Neeman, and Paolo Stellari,The passage among the subcategories of weakly approximable triangulated categories, arXiv:2402.04605

arXiv
[3]

Pure Appl

,Metrics on triangulated categories, J. Pure Appl. Algebra224(2020), no. 4, 106206, 13

work page 2020
[4]

,Finite approximations as a tool for studying triangulated categories, ICM—International Con- gress of Mathematicians. Vol. III. Sections 1–4, EMS Press, Berlin, [2023]©2023, pp. 1636–1658

work page 2023
[5]

2, 239–284

,Boundedt-structures on the category of perfect complexes, Acta Math.233(2024), no. 2, 239–284. 96 AMNON NEEMAN

work page 2024
[7]

F. Enriques

Jeremy Rickard,Morita theory for derived categories, J. London Math. Soc.39(1989), 436–456. Dipartimento di Matematica “F. Enriques”, Universit`a degli Studi di Milano, Via Cesare Saldini 50, 20133 Milano, ITALY Email address:amnon.neeman@unimi.it

work page 1989

Pith tools

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

[1] [2]

Amnon Neeman,The categoriesT c andT b c determine each other, arxiv:1806.06471

arXiv

[2] [6]

,Triangulated categories with a single compact generator, and two Brown representability the- orems, (preprint)

work page

[3] [1]

Alberto Canonaco, Amnon Neeman, and Paolo Stellari,The passage among the subcategories of weakly approximable triangulated categories, arXiv:2402.04605

arXiv

[4] [3]

Pure Appl

,Metrics on triangulated categories, J. Pure Appl. Algebra224(2020), no. 4, 106206, 13

work page 2020

[5] [4]

,Finite approximations as a tool for studying triangulated categories, ICM—International Con- gress of Mathematicians. Vol. III. Sections 1–4, EMS Press, Berlin, [2023]©2023, pp. 1636–1658

work page 2023

[6] [5]

2, 239–284

,Boundedt-structures on the category of perfect complexes, Acta Math.233(2024), no. 2, 239–284. 96 AMNON NEEMAN

work page 2024

[7] [7]

F. Enriques

Jeremy Rickard,Morita theory for derived categories, J. London Math. Soc.39(1989), 436–456. Dipartimento di Matematica “F. Enriques”, Universit`a degli Studi di Milano, Via Cesare Saldini 50, 20133 Milano, ITALY Email address:amnon.neeman@unimi.it

work page 1989