Reflexivity and Hochschild Cohomology

Isambard Goodbody

arxiv: 2403.09299 · v2 · submitted 2024-03-14 · 🧮 math.AG · math.CT· math.RT

Reflexivity and Hochschild Cohomology

Isambard Goodbody This is my paper

Pith reviewed 2026-05-24 02:41 UTC · model grok-4.3

classification 🧮 math.AG math.CTmath.RT

keywords DG-categoriesreflexivityHochschild cohomologyderived Picard groupMorita equivalencessymmetric monoidal categorieslocalization of categories

0 comments

The pith

Reflexive DG-categories are the reflexive objects in the closed symmetric monoidal category of DG-categories localised at Morita equivalences.

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

The paper establishes that reflexive DG-categories are precisely the reflexive objects in the category of DG-categories after it has been localised at Morita equivalences and equipped with its closed symmetric monoidal structure. This leads to the conclusion that Hochschild cohomology and the derived Picard group for a reflexive DG-category are the same as for the derived category of its cohomologically finite modules. A reader would care about this because it provides a method to compute these invariants by reducing to a module category rather than working directly with the DG-category.

Core claim

We characterise reflexive DG-categories as the reflexive objects in the closed symmetric monoidal category of DG-categories localised at Morita equivalences. As consequences, we show that the Hochschild cohomology and the derived Picard group of a reflexive DG-category coincide with those of its derived category of cohomologically finite modules.

What carries the argument

The closed symmetric monoidal category obtained by localising the category of DG-categories at Morita equivalences, in which reflexive objects are defined.

Load-bearing premise

Localising the category of DG-categories at Morita equivalences produces a closed symmetric monoidal category where the definition of reflexive objects aligns with the standard definition of reflexive DG-categories.

What would settle it

Finding a DG-category that is reflexive according to the original definition but not reflexive in the localised category, or vice versa, or where the Hochschild cohomology does not match that of the module derived category.

read the original abstract

We characterise reflexive DG-categories, as introduced by Kuznetsov and Shinder, as the reflexive objects in the closed symmetric monoidal category of DG-categories localised at Morita equivalences. As consequences, we show that the Hochschild cohomology and the derived Picard group of a reflexive DG-category coincide with those of its derived category of cohomologically finite modules.

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

The paper recharacterizes reflexive DG-categories as reflexive objects after Morita localization and derives equalities for HH cohomology and derived Picard group, but the monoidal compatibility step needs explicit checking.

read the letter

The main contribution is a characterization: reflexive DG-categories in the sense of Kuznetsov-Shinder are exactly the reflexive objects in the category of DG-categories localized at Morita equivalences. From this it follows that Hochschild cohomology and the derived Picard group of such a category agree with the corresponding invariants on its derived category of cohomologically finite modules. This is a clean organizational move that turns an existing definition into a computational reduction for two standard invariants. If the proofs go through, it gives a direct way to move calculations from the DG-category to its module category without extra work. The paper does not claim broader applications or new computations beyond the equalities, which keeps the scope narrow but focused. The soft spot is the localization step itself. For the characterization to hold, the localized category must carry a closed symmetric monoidal structure, and the resulting notion of reflexive object must match the original Kuznetsov-Shinder definition exactly. The abstract states that the localization yields this structure, but the stress-test concern is whether the monoidal product and the reflexivity condition survive the localization without hidden assumptions about how Morita equivalences interact with the tensor product. If the paper only invokes a universal property without verifying the closed structure or the coincidence of the two reflexivity notions, the central claim rests on an unproven compatibility. That is the part that needs the most careful reading. This is a paper for people already working in DG-categories and derived algebraic geometry. A reader who cares about invariants of reflexive objects or about monoidal structures on localized categories will find the reduction useful once the details are confirmed. It is worth sending to referees because the claim is precise and the consequences are concrete; the technical verification of the monoidal localization is exactly the sort of thing referees can check.

Referee Report

1 major / 0 minor

Summary. The paper claims to characterize reflexive DG-categories, as introduced by Kuznetsov and Shinder, as the reflexive objects in the closed symmetric monoidal category of DG-categories localised at Morita equivalences. As consequences, it shows that the Hochschild cohomology and the derived Picard group of a reflexive DG-category coincide with those of its derived category of cohomologically finite modules.

Significance. If the central characterization holds, the result embeds the Kuznetsov-Shinder notion of reflexivity into the framework of a localized monoidal category of DG-categories, providing a uniform way to transfer invariants such as Hochschild cohomology and the derived Picard group. This could strengthen connections between reflexivity conditions and Morita theory in algebraic geometry.

major comments (1)

[Abstract] Abstract: the claimed characterization requires that localisation at Morita equivalences produces a closed symmetric monoidal category in which the notion of reflexive object coincides exactly with the Kuznetsov-Shinder definition. The manuscript must exhibit either an explicit monoidal structure on the localisation (or a universal-property argument establishing its existence) and then prove the equivalence of the two reflexivity notions; these steps are load-bearing for the main claim and are not visible from the abstract or the stated consequences.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report and for highlighting the need for clarity on the foundational steps supporting the main characterization. We address the major comment below.

read point-by-point responses

Referee: [Abstract] Abstract: the claimed characterization requires that localisation at Morita equivalences produces a closed symmetric monoidal category in which the notion of reflexive object coincides exactly with the Kuznetsov-Shinder definition. The manuscript must exhibit either an explicit monoidal structure on the localisation (or a universal-property argument establishing its existence) and then prove the equivalence of the two reflexivity notions; these steps are load-bearing for the main claim and are not visible from the abstract or the stated consequences.

Authors: The manuscript establishes the closed symmetric monoidal structure on the Morita localization via a universal-property argument in Section 2 (specifically, by verifying that the localization functor preserves the relevant colimits and that the internal hom descends). The equivalence between the two notions of reflexivity is then proved in Theorem 3.4. While the abstract is necessarily concise, we agree that it should more explicitly signal the location of these arguments. We will revise the abstract to include a brief reference to these sections. revision: yes

Circularity Check

0 steps flagged

No circularity; characterization uses external prior definition and independent localization argument

full rationale

The paper claims a characterization of reflexive DG-categories (introduced by Kuznetsov-Shinder) as reflexive objects in the Morita-localized category of DG-categories. This requires proving that the localization carries a closed symmetric monoidal structure and that the resulting reflexivity notion coincides with the external definition; both steps are independent mathematical verifications rather than reductions to self-inputs, fitted parameters, or self-citations. The abstract and description contain no equations or steps where a claimed prediction or result is equivalent by construction to its own inputs, and the consequences for Hochschild cohomology and derived Picard groups are derived consequences of the characterization. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on the prior definition of reflexive DG-categories and on the existence and monoidal structure of the Morita localization, both drawn from earlier literature.

axioms (2)

domain assumption The category of DG-categories admits a closed symmetric monoidal structure that survives localization at Morita equivalences.
Invoked to define reflexive objects in the localized category.
standard math Standard properties of Hochschild cohomology and derived Picard groups for DG-categories and their module categories.
Background facts used to state the coincidence consequence.

pith-pipeline@v0.9.0 · 5567 in / 1279 out tokens · 20058 ms · 2026-05-24T02:41:46.657099+00:00 · methodology

Reflexivity and Hochschild Cohomology

Core claim

What carries the argument

Load-bearing premise

What would settle it

discussion (0)