Pith. sign in

REVIEW 3 major objections 4 minor 23 references

Hochschild cohomology and deformation theory of stable infinity-categories with t-structures

T0 review · 3 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read For stable ∞-categories with left- and right-complete t-structures, all deformations are controlled by the Hochschild cohomology $E_2$-algebra.

desk verdict A significant theorem with a real gap: the pointwise equivalence is proven, but the formal-moduli step is delegated to unpublished notes. read the letter →

arxiv 2506.21867 v1 pith:4RWCGZ5X submitted 2025-06-27 math.AG math.AT

Isamu Iwanari This is my paper
classification math.AGmath.AT MSC 14D15
keywords Hochschildcohomologystable∞-categoriest-structuresdeformationtheoryformalmoduliproblemsE2-algebrasKoszuldualityleftcompletion
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 proves that the deformation theory of a stable ∞-category equipped with a left- and right-complete t-structure is entirely controlled by its Hochschild cohomology. For a $k$-linear presentable stable ∞-category $E$ with an accessible, left- and right-complete t-structure, the functor sending an Artin $E_2$-algebra $R$ to the space of complete deformations of $(E, E_{\le 0})$ to $R$ is a formal $E_2$-moduli problem, equivalent to the space of $E_2$-algebra maps from the $E_2$-Koszul dual $D_2(R)$ into the Hochschild cohomology $E_2$-algebra $\mathrm{HH}^\bullet(E/k)$. This makes deformation questions cohomological: deformations to $k \oplus k[n]$ are classified by $\mathrm{HH}^{n+2}(E/k)$, and lifting along elementary extensions is governed by obstructions in $\mathrm{HH}^{i+2}(E/k) \otimes V$. Many categories of geometric origin carry such t-structures, and the earlier naive deformation functor was known to fail the Schlessinger conditions, so the theorem identifies the correct refinement: keep the t-structure and require completeness.

What carries the argument

The load-bearing object is the left completion functor $bL : \mathrm{Pr}^L_{t+} \to \mathrm{Pr}^L_{t\pm}$, which sends a right-complete accessible t-structure $(C, C_{\le 0})$ to its left completion $\lim_{n \to -\infty} C_{\ge n}$, making it both left- and right-complete. The proof works through categorified Koszul duality: an augmented $E_2$-algebra $A$ is viewed through its module category $\mathrm{LMod}_A$ with its canonical t-structure, and an $A$-linear stable ∞-category with t-structure is a module over $\mathrm{LMod}_A$. The decisive technical points are that $bL$ is symmetric monoidal and colimit-preserving, that $bL(\mathrm{LMod}_{D_2(R)})$ is identified with the endomorphism algebra of $\mathrm{Mod}_k$ as an $R$-module, and that after left completion the unit and counit of the adjunction between $\mathrm{LMod}_R$-modules and $\mathrm{LMod}_{D_2(R)}$-modules become equivalences (Propositions 3.16 and 3.18). Those identifications produce the equivalence between the deformation space and the $E_2$-algebra mapping space.

What would settle it

Compute the claimed equivalence in a concrete instance, e.g. $E = \mathrm{LMod}_A$ for a connective $E_2$-algebra $A$ over $k$ and $R = k \oplus k[n]$, where the theorem predicts $\pi_0(\mathrm{Deform}_E(R)) \cong \mathrm{HH}^{n+2}(E/k)$; finding a deformation to $k \oplus k[n]$ that does not correspond to a class in $\mathrm{HH}^{n+2}$, or an extra class, would refute it. Alternatively, exhibit a pair of right-complete t-structures for which $bL$ fails to be symmetric monoidal or fails to commute with a relative tensor product, since the unit and counit equivalences rest on that premise.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem 1.1: for $E$ a $k$-linear presentable stable ∞-category equipped with a left- and right-complete accessible t-structure $(E_{\le 0}, E_{\ge 0})$, the deformation functor $\mathrm{Deform}_E : \mathrm{Art}_2 \to \widehat{\mathcal{S}}$ is a formal $E_2$-moduli problem, namely $\mathrm{F}^{(2)}_{k \oplus \mathrm{HH}^\bullet(E/k)}$, the formal moduli problem associated to the augmented $E_2$-algebra $k \oplus \mathrm{HH}^\bullet(E/k) \to k$. In particular there is a canonical equivalence $\mathrm{Deform}_E(R) \simeq \mathrm{Map}_{\mathrm{Alg}_2(\mathrm{Mod}_k)}(D_2(R), \mathrm{HH}^\bullet(E/k))$ for every Artin $E_2$-algebra $R$, where $D_2$ is $E_2$-Koszul duality. Restricting to commutative Artin bases gives a formal $E_\infty$-moduli problem governed by the dg Lie algebra $\mathrm{HH}^\bullet(E/k)[1]$, with an explicit $\mathrm{F}^{(\infty)}$ description in characteristic zero. The theorem also yields the classification for square-zero extensions and an obstruction theory.

Load-bearing premise

The argument depends on the left completion functor $bL$ being symmetric monoidal and preserving small colimits when applied to right-complete t-structures, so that it commutes with relative tensor products and with module categories; if this failed, the unit and counit maps linking $\mathrm{LMod}_R$-modules and $\mathrm{LMod}_{D_2(R)}$-modules would not be equivalences and the main theorem would not follow.

Editorial extensions

If this is right

  • Every complete deformation of $(E, E_{\le 0})$ to an Artin $E_2$-algebra $R$ is classified by an $E_2$-algebra map $D_2(R) \to \mathrm{HH}^\bullet(E/k)$; for $R = k \oplus k[n]$ the isomorphism classes of deformations are exactly the elements of $\mathrm{HH}^{n+2}(E/k)$.
  • For commutative Artin bases, the deformation functor is a formal $E_\infty$-moduli problem with underlying dg Lie algebra $\mathrm{HH}^\bullet(E/k)[1]$, so Koszul duality over $E_\infty$ algebras computes these deformations.
  • A deformation over $R$ lifts along an elementary extension $R' \to R$ with kernel $V[i]$ precisely when an obstruction in $\mathrm{HH}^{i+2}(E/k) \otimes V$ vanishes; because every surjection of Artin local algebras factors into elementary extensions, this gives an iterative obstruction theory.
  • For quasi-coherent sheaves on quasi-compact separated derived schemes, the theorem applies verbatim, so deformations of $\mathrm{QCoh}(X)$ with its standard t-structure are governed by $\mathrm{HH}^\bullet(\mathrm{QCoh}(X)/k)$.
  • The theorem identifies the right deformation problem: deformations must remember the t-structure and require left and right completeness, repairing the failure of the naive deformation functor to satisfy the Schlessinger conditions.

Reading between the lines

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

  • A natural extension, which the paper explicitly flags as likely, is to $E_n$-monoidal stable ∞-categories with a compatible left-complete t-structure, where deformations should be governed by the $E_{n+1}$-Hochschild cochain complex in a formal $E_{n+2}$-moduli problem.
  • The same formalism suggests that the heart of the t-structure deforms along with the category: a complete deformation $D$ of $E$ induces an $H^0(R)$-linear deformation of the abelian heart $E^\heartsuit$, giving Hochschild cohomology control over deformations of abelian categories as well.
  • A computable test is to take a smooth proper derived scheme $X$: deformations of $\mathrm{QCoh}(X)$ to square-zero extensions should match ordinary deformations of $X$ when the standard comparison between Hochschild cohomology and polyvector fields holds, and any mismatch would reveal a missing hypothesis.
  • The result also suggests that completeness, rather than compact generation, is the structural condition making categorical deformation theory algebraic; reformulating other deformation problems in terms of left completion may yield similar classification theorems.
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

3 major / 4 minor

Summary. The paper claims (Theorem 1.1, proved as Theorem 4.5 and Theorem 4.9) that for a k-linear presentable stable infinity-category E equipped with a left and right complete accessible t-structure, the deformation functor Deform_E, which classifies deformations of E together with its t-structure to Artin E2-algebras, is the formal E2-moduli problem F^(2)_{k⊕HH•(E/k)} associated with the augmented E2-algebra k⊕HH•(E/k)→k. The proof proceeds through a categorified Koszul duality: for an Artin E2-algebra R, a module over the Koszul dual D2(R) is converted, via a left-completion adjunction, into an R-linear category; Theorem 4.5 establishes the pointwise equivalence Deform_E(R) ≃ Map(D2(R), HH•(E/k)), and Theorem 4.9 asserts that this equivalence is compatible with pullback squares, making Deform_E a formal moduli problem. Applications include a corollary for commutative bases and an obstruction theory.

Significance. The intended result is significant: it gives a positive answer, under t-structure completeness hypotheses, to the problem of when a categorical deformation functor is governed by Hochschild cohomology, and it is consistent with the known failure of the naive functors to satisfy Schlessinger conditions. Strengths of the manuscript include a precise and intrinsic definition of HH•(E/k) as an E2-algebra of endomorphisms of the identity endofunctor, a detailed categorical framework for left completion, and explicit examples and applications. The pointwise theorem is supported by a real argument, not by a formal manipulation. The full theorem, however, is currently conditional on the deferred formal-moduli construction in Theorem 4.9.

major comments (3)
  1. [Section 4.2, Theorem 4.9] The proof of Theorem 4.9 does not establish the formal-moduli property of Deform_E. Theorem 4.5 gives, for each R in Art2, an equivalence of spaces Deform_E(R) ≃ Map_{Alg2(Modk)}(D2(R), HH•(E/k)), but this is weaker than the statement that Deform_E is the formal moduli problem F^(2)_{k⊕HH•(E/k)}: one must also construct a natural transformation Deform_E → F^(2)_{k⊕HH•(E/k)} compatible with the pullback squares in Art2 and verify the Schlessinger-type pullback condition. The proof instead says 'The construction is done in [19, X, Construction 5.3.18] up to a small modification... Besides, we can also apply the axiomatic formulation in [13, Section 4.4].' Reference [13] is an unpublished note, and the 'small modification' is not carried out; in particular it is not checked that the left/right module convention change and the use of PrL_{t±} preserve the pullback properties. Since Corollary 4.10 and Theorem 4.12 depend on Theorem 4.9, this is a load-bearing gap in the proof of the main theorem as stated.
  2. [Section 3.3, Proposition 3.16] The proof of Proposition 3.16 relies on assertions that are not proved in the text: that bL is symmetric monoidal and preserves small colimits in the way needed to commute with the relative tensor products appearing in the chain of equivalences, and that the left completion of LMod_{D2(R)} is identified with End^l_R(Modk). These identifications are exactly what makes the unit of the adjunction an equivalence after left completion, and they are also used in the proof of Theorem 4.5. The sketch 'by the construction... This proves our assertion' does not allow the reader to verify the several hidden coherence conditions; a lemma stating the required properties of bL and proving the identification would be needed.
  3. [Section 3.4, Lemma 3.14] Lemma 3.14, which supplies the left completion functor RMod_{k⊗D2(R)k} → LMod_R and the rank-one freeness used in Proposition 3.18, is only partially proved. The assertion that Ind(LCoh(R)) → LMod_R is a left completion functor is dispatched by 'the argument similar to the proof of Lemma 3.10' plus a reference to [6, Proposition 1.3.4] for the commutative case, and the rank-one freeness proof contains a long informally described module action whose coherence is not written out. Since Proposition 3.18 is used in Theorem 4.5 to show that the counit is an equivalence after left completion, this is another load-bearing point that should be expanded.
minor comments (4)
  1. [Throughout] There are numerous typographical errors ('Exmaple 2.4', 't-strucutre', 'argumented', 'catgories', 'B-mdoule') that should be corrected in revision.
  2. [Section 2.2, Construction 2.15] The cross-reference 'Section refMOA' is broken; it should point to the relevant part of Section 2.2.
  3. [Section 3.1, Corollary 3.17] Corollary 3.17 says 'Use Lemma 3.2', but no Lemma 3.2 appears in the paper; the intended reference appears to be Proposition 3.2.
  4. [Section 4.1, Example 4.6] Example 4.6 writes 'D2(k ⊕ k)' where the square-zero extension is presumably 'k ⊕ k[n]'; the displayed formula should be stated consistently.

Circularity Check

2 steps flagged · score 6.0 of 10

Formal-moduli upgrade of Theorem 4.9 and the commutative-base corollary are deferred to the author's unpublished note [13].

  1. self citation load bearing [Section 4.2, proof of Theorem 4.9]
    "The construction is done in [19, X, Construction 5.3.18] up to a small modification: One uses (PrL_t+)_k instead of LinCat_k in loc.cit. (strictly speaking, the convention on left and right modules is reversed with ours). Besides, we can also apply the axiomatic formulation in [13, Section 4.4]."

    Theorem 4.9 is the step that promotes the pointwise equivalence of Theorem 4.5 to the formal E2-moduli-problem statement of Theorem 1.1. Its proof does not carry out the 'small modification' of Lurie's construction; instead it invokes Section 4.4 of [13], an unpublished note by the same author, listed only as 'available at the author's webpage'. The formal-moduli conclusion is therefore imported from the author's own prior note, and the present paper does not verify that [13]'s axiomatic hypotheses hold for the left fibration of Definition 4.8. Without this step the stronger central claim of Theorem 1.1 is unsupported in the text.

  2. self citation load bearing [Section 4.3, proof of Corollary 4.10]
    "According to [13, Lemma 7.5] it preserves formal moduli problems so that we have the restriction res2/∞ : [Stack ∗ 2 → [Stack ∗ ∞. ... The underlying complex of res2/∞(ϵ : B → k) is Ker(ϵ)[1] where Ker denotes the fiber (see [13, Proposition 7.7])."

    Corollary 4.10 claims that the commutative-base deformation functor Deform∞_E is a formal E∞-moduli problem corresponding to HH•(E/k)[1]. Both the preservation of formal moduli problems under restriction and the identification of the underlying Lie algebra are cited to [13], the author's unpublished note. The present paper does not prove these facts independently, so the corollary's content is inherited from a self-citation rather than derived in the text. This is load-bearing because the commutative-base version is one of the advertised consequences of Theorem 1.1.

full rationale

The paper's core invariant and deformation functor are defined independently: HH•(E/k) is the E2-endomorphism algebra of the identity functor (Definition 4.1), and Deform_E(R) is the fiber of a left fibration of complete R-linear deformations (Definition 4.8). Theorem 4.5's pointwise equivalence is therefore not a tautology and contains real mathematical content. The circularity issue is concentrated in the step that upgrades this pointwise equivalence to the formal E2-moduli statement of Theorem 1.1. The proof of Theorem 4.9 says the required natural transformation is 'done in [19, X, Construction 5.3.18] up to a small modification' and that one may 'also apply the axiomatic formulation in [13, Section 4.4]'. Reference [13] is the author's own unpublished note, listed as 'available at the author's webpage', and the paper does not verify that its axiomatic hypotheses hold for the t-structure-sensitive left fibration of Definition 4.8. Corollary 4.10 then carries the same dependency through [13, Lemma 7.5] and [13, Proposition 7.7]. Since the formal-moduli property is exactly the stronger content of Theorem 1.1 over Theorem 4.5, this is load-bearing self-citation rather than a minor reference. I did not find a separate self-definitional or fitted-input circularity: the pointwise formula is not equal to its inputs by construction. The obstruction-theoretic Theorem 4.12 inherits the formal-moduli status but does not add a new circular step. Overall, the pointwise theorem is self-contained, but the advertised formal-moduli upgrade and its corollaries reduce, in the written derivation chain, to the same author's unpublished note, warranting a score of 6.

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

The paper is a proof-heavy higher algebra paper; it imports substantial background from Lurie and uses the author's own unpublished notes [12], [13]. No free parameters or invented entities appear. The main novel assumption is the symmetric monoidality of left completion, which is cited rather than proved.

assumptions (5)
  • standard math Lurie's theory of infinity-categories and higher algebra (HTT, Higher Algebra) is taken as background.
    The entire paper is formulated in quasi-categories; basic facts about adjunctions, colimits, and monoidal structures are imported without proof.
  • standard math The characterization of formal En-moduli problems by augmented En-algebras ([19, X, Theorem 4.0.8]).
    Used in Theorem 4.9 to identify Deform_E with F^(2)_{k⊕HH•}; also used to deduce Corollary 4.10.
  • domain assumption The left completion functor bL: PrL_{t+} -> PrL_{t±} is symmetric monoidal and compatible with relative tensor products.
    Stated in Section 2.1 (after Example 2.13) citing [19, VIII, 4.6.11]; load-bearing for Propositions 3.16, 3.18 and Theorem 4.5.
  • standard math Biduality for Koszul duality of Artin algebras ([19, X, Theorem 4.4.5, Propositions 4.5.1, 4.5.6]).
    Used in Lemma 3.12 to identify k ⊗_{D2(R)} k with D1(R).
  • domain assumption The t-structure on LMod_D for coconnective or connective D as described in Proposition 2.6 and Remark 2.9.
    Provides the t-structures on module categories used throughout Sections 3 and 4.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Hochschild cohomology and deformation theory of stable infinity-categories with t-structures." pith.science (2026). https://pith.science/paper/4RWCGZ5X

@misc{pith2026250621867,
  author       = {Pith},
  title        = {Pith review of: Hochschild cohomology and deformation theory of stable infinity-categories with t-structures},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4RWCGZ5X}},
  note         = {Machine review of arXiv:2506.21867}
}
abstract

Given a stable presentable infinity-category $\mathcal{E}$ equipped with a left complete t-structure, we prove that its Hochschild cohomology governs the deformation theory of $\mathcal{E}$ with respect to left complete t-structures.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

23 extracted references · 22 canonical work pages

  1. [13]

    Iwanari, Moduli theory associated to Hochschild pairs, available at the author’s webpage

    I. Iwanari, Moduli theory associated to Hochschild pairs, available at the author’s webpage

    work page

  2. [12]

    Iwanari, Algebraic Analysis of linear categories, available at the author’s webpage HOCHSCHILD COHOMOLOGY AND DEFORMATION 23

    I. Iwanari, Algebraic Analysis of linear categories, available at the author’s webpage HOCHSCHILD COHOMOLOGY AND DEFORMATION 23

    work page

  3. [1]

    Beilinson, J

    A. Beilinson, J. Bernstein, and P. Deligne, Faisceaux pervers, Ast´ erisque, 100, Soci´ et´ e Math´ ematique de France, Paris, 1982

    work page 1982

  4. [2]

    Ben-Zvi, J.Francis and D

    D. Ben-Zvi, J.Francis and D. Nadler, Integral transforms in derived algebraic geometry, J. Amer. Math. Soc

    work page

  5. [3]

    Blanc, L

    A. Blanc, L. Katzarkov, and P. Pandit, Generators in formal deformations of categories, Compos. Math. 154.10 (2018)

    work page 2018

  6. [4]

    Deformations and Lifts of Calabi-Yau Varieties in Characteristic $p$

    L. Brantner and L. Taelman, Deformations and lifts of Calabi-Yau varieties in characteristic p, available at arXiv:2407.09256

    work page Pith review arXiv

  7. [5]

    Francis, The tangent complex and Hochschild cohomology of En-rings, Compos

    J. Francis, The tangent complex and Hochschild cohomology of En-rings, Compos. Math. 149 (2013), no. 3, 430–480

    2013

  8. [6]

    Gaitsgory, Ind-coherent sheaves, Mosc

    D. Gaitsgory, Ind-coherent sheaves, Mosc. Math. J., (2013), Vol. 13, 399-–528

    work page 2013

Show all 23 references
  1. [7]

    Gaitsgory and N

    D. Gaitsgory and N. Rozenblyum, A study in Derived Algebraic Geometry II: Deformations, Lie Theory and Formal Geometry Mathematical Survey and Monographs, 22, American Math. Soc. 2017

    2017

  2. [8]

    Gerstenhaber, On the deformation of rings and algebras, Ann

    M. Gerstenhaber, On the deformation of rings and algebras, Ann. of Math. (1964)

    1964

  3. [9]

    Gerstenhaber, The cohomology structure of an associative ring, Ann

    M. Gerstenhaber, The cohomology structure of an associative ring, Ann. of Math.,. 78 (1963), 267-288

    1963

  4. [10]

    Ginot, Notes on factorization algebras, factorization homology and applications,

    G. Ginot, Notes on factorization algebras, factorization homology and applications,

  5. [11]

    I. Iwanari, Differential calculus of Hochschild pairs for infinity-categories, SIGMA 16 (2020), 97 57 pages, Special Issue on Primitive Forms and Related Topics in honor of Kyoji Saito for his 77th birthday

    2020

  6. [14]

    Keller and W

    B. Keller and W. Lowen, On Hochschild cohomology and Morita deformations., Int. Math. Res. Not.2009, no. 17, 3221-3235

    2009

  7. [15]

    Kontsevich and Y

    M. Kontsevich and Y. Soibelman, Deformations of algebras over operads and the Deligne conjecture, Conf´ erence Mosh´ e Flato 1999, Vol. I (Dijon). Vol. 21. Math. Phys. Stud. Dordrecht: Kluwer Acad. Publ., 2000, pp. 255—307

    1999

  8. [16]

    Lowen and M

    W. Lowen and M. Van Den Bergh, On compact generation of deformed schemes, Adv. Math. 244 (2013) 441–464

    2013

  9. [17]

    Lurie, Higher Topos Theory, Annals Math

    J. Lurie, Higher Topos Theory, Annals Math. Studies, 2009

    2009

  10. [18]

    Lurie, Higher Algebra, Draft 2017

    J. Lurie, Higher Algebra, Draft 2017

    2017

  11. [19]

    Lurie, Derived Algebraic Geometry Series, preprint

    J. Lurie, Derived Algebraic Geometry Series, preprint

  12. [20]

    Lurie, Kerodon, available at Lurie’s webpage

    J. Lurie, Kerodon, available at Lurie’s webpage

  13. [21]

    McClure and J

    J. McClure and J. Smith, Multivariable cochain operations and little n-cubes, J. Amer. Math. Soc. 16.3 (2003), 681—704

    2003

  14. [22]

    Riehl and D

    E. Riehl and D. Verity, Elements of ∞-category theory

  15. [23]

    Tamarkin, Another proof of M

    D. Tamarkin, Another proof of M. Kontsevich formality theorem, arXiv: math/9803025. Mathematical Institute, Tohoku University, Sendai, Miyagi, 980-8578, Japan Email address: isamu.iwanari.a2@tohoku.ac.jp

    arXiv

Pith tools

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