The $B_\infty$-structure on the derived endomorphism algebra of the unit in a monoidal category

Michel Van den Bergh; Wendy Lowen

arxiv: 1907.06026 · v1 · pith:W6MULLSInew · submitted 2019-07-13 · 🧮 math.KT

The B_infty-structure on the derived endomorphism algebra of the unit in a monoidal category

Wendy Lowen , Michel Van den Bergh This is my paper

Pith reviewed 2026-05-24 22:04 UTC · model grok-4.3

classification 🧮 math.KT

keywords B_infty algebraA_infty quasi-isomorphismco-Hochschild complexderived endomorphism algebramonoidal categoryprojective resolutionHochschild complex

0 comments

The pith

In an abelian monoidal category with enough right-flat projectives, the derived endomorphism algebra of the tensor unit is A_∞-quasi-isomorphic to a B_∞-algebra built from the co-Hochschild complex of a projective resolution.

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

The paper shows that under the stated conditions on the monoidal category, the co-Hochschild complex of any projective resolution of the tensor unit carries a lifted A_∞-coalgebra structure that makes it a B_∞-algebra. This B_∞-algebra is A_∞-quasi-isomorphic to the derived endomorphism algebra of the unit. The same construction recovers the classical Hochschild complex of an algebra when the monoidal category is taken to be the category of bimodules.

Core claim

There is a B_∞-algebra, obtained as the co-Hochschild complex of a projective resolution of the tensor unit endowed with a lifted A_∞-coalgebra structure, which is A_∞-quasi-isomorphic to the derived endomorphism algebra of the tensor unit.

What carries the argument

The co-Hochschild complex of a projective resolution of the tensor unit, equipped with a lifted A_∞-coalgebra structure that supplies the B_∞ operations.

If this is right

The B_∞-structure supplies higher homotopy operations on the derived endomorphisms of the unit.
When the monoidal category is bimodules over an algebra, the new B_∞-algebra is isomorphic to the usual Hochschild complex inside the homotopy category of B_∞-algebras.
The construction works for any choice of projective resolution of the unit.
The A_∞-quasi-isomorphism identifies the two objects up to homotopy in the category of A_∞-algebras.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same lifting technique might produce explicit B_∞ operations on Ext groups of the unit in other monoidal settings where resolutions exist.
Applying the construction to the monoidal category of chain complexes over a ring could give concrete formulas relating co-Hochschild differentials to higher brace operations.
The result suggests that B_∞ structures on endomorphism algebras may be functorial with respect to monoidal functors that preserve projectives.

Load-bearing premise

The monoidal category is abelian, has enough projectives, and those projectives are flat on the right.

What would settle it

Exhibit an abelian monoidal category with enough projectives that are not right-flat in which the co-Hochschild complex of a resolution of the unit fails to carry a well-defined lifted A_∞-coalgebra structure or the resulting object is not A_∞-quasi-isomorphic to the derived endomorphisms.

Figures

Figures reproduced from arXiv: 1907.06026 by Michel Van den Bergh, Wendy Lowen.

**Figure 3.1.** Figure 3.1: Possible elementary compositions for asymmetric properads [PITH_FULL_IMAGE:figures/full_fig_p004_3_1.png] view at source ↗

read the original abstract

Consider a monoidal category which is at the same time abelian with enough projectives and such that projectives are flat on the right. We show that there is a $B_{\infty}$-algebra which is $A_{\infty}$-quasi-isomorphic to the derived endomorphism algebra of the tensor unit. This $B_{\infty}$-algebra is obtained as the co-Hochschild complex of a projective resolution of the tensor unit, endowed with a lifted $A_{\infty}$-coalgebra structure. We show that in the classical situation of the category of bimodules over an algebra, this newly defined $B_{\infty}$-algebra is isomorphic to the Hochschild complex of the algebra in the homotopy category of $B_{\infty}$-algebras.

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 gives an explicit B_∞-algebra from the co-Hochschild complex of a projective resolution of the unit, A_∞-quasi-isomorphic to the derived endomorphisms, recovering Hochschild in the bimodule case.

read the letter

The main result constructs a B_∞-algebra as the co-Hochschild complex of a projective resolution of the tensor unit in an abelian monoidal category with enough right-flat projectives, equipped with a lifted A_∞-coalgebra structure. This algebra is A_∞-quasi-isomorphic to the derived endomorphism algebra of the unit, and in the classical bimodule setting it is isomorphic to the usual Hochschild complex in the homotopy category of B_∞-algebras. The route through the lifted coalgebra on the resolution looks like the new explicit model here. The setup is standard and chosen precisely so the resolution exists and the relevant tensors remain exact, which keeps the construction well-defined without obvious circularity. The reduction to the Hochschild case serves as a useful consistency check rather than the central claim. The abstract is light on proof steps, so the lifting of the coalgebra and the quasi-isomorphism would need verification in the full text, but the stated hypotheses line up with what is required and no load-bearing gaps appear in the outline. This is aimed at specialists in homological algebra and K-theory who work with monoidal categories and derived structures; a reader looking for concrete models for computations or further generalizations would get value from it. The work is grounded enough to merit serious referee time.

Referee Report

0 major / 2 minor

Summary. The manuscript proves that, in an abelian monoidal category with enough projectives that are right-flat, the co-Hochschild complex of a projective resolution of the tensor unit carries a B_∞-algebra structure (via a lifted A_∞-coalgebra) that is A_∞-quasi-isomorphic to the derived endomorphism algebra of the unit. In the classical case of bimodules over an algebra, this B_∞-algebra is shown to be isomorphic in the homotopy category of B_∞-algebras to the ordinary Hochschild complex.

Significance. If the central claims hold, the paper supplies an explicit, resolution-based model for the B_∞-structure on derived endomorphisms of the unit, together with a homotopy equivalence to the classical Hochschild complex. This supplies a concrete computational handle in homological algebra and K-theory and recovers a known object up to homotopy, which is a verifiable strength of the work.

minor comments (2)

[§3] The lifting of the A_∞-coalgebra structure on the co-Hochschild complex is central; a short explicit description of the first few operations (beyond the differential) in §3 or §4 would improve readability without altering the argument.
[Theorem 5.2] The statement that the construction is 'parameter-free' in the homotopy category could be cross-referenced to the precise quasi-isomorphism constructed in Theorem 5.2 to avoid any ambiguity about the homotopy data.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our work and for recommending minor revision. No specific major comments were provided in the report, so we have no points to address point-by-point. We are pleased that the referee recognizes the explicit model and homotopy equivalence as strengths of the paper.

Circularity Check

0 steps flagged

No circularity; explicit construction from resolutions and co-Hochschild data

full rationale

The paper defines the B_∞-algebra directly as the co-Hochschild complex of a projective resolution of the tensor unit, equipped with a lifted A_∞-coalgebra structure, under hypotheses that guarantee existence and exactness of the relevant tensors. The A_∞-quasi-isomorphism to the derived endomorphism algebra and the classical isomorphism to the Hochschild complex are stated as results of this construction in the homotopy category. No equation or step equates the output to a fitted input, renames a known result, or reduces the claim to a self-citation chain. The derivation is self-contained in standard homological algebra.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on standard axioms of abelian monoidal categories and the existence of projective resolutions; no free parameters or invented entities are visible in the abstract. The lifted A_infinity-coalgebra structure is constructed rather than postulated as a new entity.

axioms (1)

domain assumption The monoidal category is abelian with enough projectives that are right-flat.
Invoked in the first sentence of the abstract to guarantee the existence of the resolution and the co-Hochschild complex.

pith-pipeline@v0.9.0 · 5656 in / 1515 out tokens · 22534 ms · 2026-05-24T22:04:01.810759+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/BranchSelection.lean; IndisputableMonolith/Foundation/ArithmeticFromLogic.lean RCLCombiner_isCoupling_iff; logicNat_initial echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

Theorem 1.1 ... B = CcoHoch(P) = ∏ Σ^{-n} Hom_A(P, P^{⊗n}) ... endowed with a co-Hochschild differential and co-braces ... B∞-structure ... analogous ... to that on the Hochschild complex of an A∞-algebra (Prop 3.12)
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We show that there is a B∞-algebra which is A∞-quasi-isomorphic to the derived endomorphism algebra of the tensor unit ... in the classical situation ... isomorphic to the Hochschild complex ... in the homotopy category of B∞-algebras

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages · 2 internal anchors

[1]

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

work page 2013
[2]

Operads, homotopy algebra and iterated integrals for double loop spaces

E. Getzler and J. D. S. Jones, Operads, homotopy algebra and iterated integrals for doubl e loop spaces, preprint hep-th/9403055

work page internal anchor Pith review Pith/arXiv arXiv
[3]

Hermann, Monoidal categories and the Gerstenhaber bracket in Hochsc hild cohomology , Mem

R. Hermann, Monoidal categories and the Gerstenhaber bracket in Hochsc hild cohomology , Mem. Amer. Math. Soc. 243 (2016), no. 1151, v+146

work page 2016
[4]

Keller, Derived invariance of higher structures on the Hochschild c omplex, preprint https://webusers.imj-prg.fr/ bernhard.keller/publ/di h.pdf

B. Keller, Derived invariance of higher structures on the Hochschild c omplex, preprint https://webusers.imj-prg.fr/ bernhard.keller/publ/di h.pdf. B∞ -STRUCTURE 24

work page
[5]

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), Math. Phys. Stud., vol. 21, Kluwer Acad. Publ., Dordrecht, 2000, pp. 255–307

work page 1999
[6]

Lurie, Higher algebra , preprint available at: http://www.math.harvard.edu/˜l urie/

J. Lurie, Higher algebra , preprint available at: http://www.math.harvard.edu/˜l urie/

work page
[7]

J. E. McClure and J. H. Smith, A solution of Deligne’s Hochschild cohomology conjecture , Recent progress in homotopy theory (Baltimore, MD, 2000), C ontemp. Math., vol. 293, Amer. Math. Soc., Providence, RI, 2002, pp. 153–193

work page 2000
[8]

Merkulov and B

S. Merkulov and B. Vallette, Deformation theory of representations of prop(erad)s. I , J. Reine Angew. Math. 634 (2009), 51–106

work page 2009
[9]

Neeman and V

A. Neeman and V. Retakh, Extension categories and their homotopy , Compositio Math. 102 (1996), no. 2, 203–242

work page 1996
[10]

Negron, Y

C. Negron, Y. Volkov, and S. Witherspoon, A-inﬁnity-coderivations and the Gerstenhaber bracket on Hochschild cohomology , preprint arXiv:1805.03167

work page arXiv
[11]

Quillen, Cyclic cohomology and algebra extensions , K-Theory 3 (1989), no

D. Quillen, Cyclic cohomology and algebra extensions , K-Theory 3 (1989), no. 3, 205–246

work page 1989
[12]

A k-linear triangulated category without a model

A. Rizzardo and M. Van den Bergh, A k-linear triangulated category without a model , preprint arXiv:1801.06344, 2018

work page internal anchor Pith review Pith/arXiv arXiv 2018
[13]

Schwede, An exact sequence interpretation of the Lie bracket in Hochs child cohomology, J

S. Schwede, An exact sequence interpretation of the Lie bracket in Hochs child cohomology, J. Reine Angew. Math. 498 (1998), 153–172

work page 1998
[14]

Shoikhet, Diﬀerential graded categories and Deligne conjecture , Adv

B. Shoikhet, Diﬀerential graded categories and Deligne conjecture , Adv. Math. 289 (2016), 797–843

work page 2016
[15]

, Graded Leinster monoids and generalized Deligne conjectur e for 1-monoidal abelian categories, Int. Math. Res. Not. IMRN (2018), no. 19, 5857–5937

work page 2018
[16]

Stasheﬀ, The intrinsic bracket on the deformation complex of an assoc iative algebra , J

J. Stasheﬀ, The intrinsic bracket on the deformation complex of an assoc iative algebra , J. Pure Appl. Algebra 89 (1993), no. 1-2, 231–235. (W endy Lowen)Universiteit Antwerpen, Departement Wiskunde-Informatica, Middel- heimcampus, Middelheimlaan 1, 2020 Antwerp, Belgium Laboratory of Algebraic Geometry, National Research Universi ty, Higher School of Ec...

work page 1993

[1] [1]

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

work page 2013

[2] [2]

Operads, homotopy algebra and iterated integrals for double loop spaces

E. Getzler and J. D. S. Jones, Operads, homotopy algebra and iterated integrals for doubl e loop spaces, preprint hep-th/9403055

work page internal anchor Pith review Pith/arXiv arXiv

[3] [3]

Hermann, Monoidal categories and the Gerstenhaber bracket in Hochsc hild cohomology , Mem

R. Hermann, Monoidal categories and the Gerstenhaber bracket in Hochsc hild cohomology , Mem. Amer. Math. Soc. 243 (2016), no. 1151, v+146

work page 2016

[4] [4]

Keller, Derived invariance of higher structures on the Hochschild c omplex, preprint https://webusers.imj-prg.fr/ bernhard.keller/publ/di h.pdf

B. Keller, Derived invariance of higher structures on the Hochschild c omplex, preprint https://webusers.imj-prg.fr/ bernhard.keller/publ/di h.pdf. B∞ -STRUCTURE 24

work page

[5] [5]

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), Math. Phys. Stud., vol. 21, Kluwer Acad. Publ., Dordrecht, 2000, pp. 255–307

work page 1999

[6] [6]

Lurie, Higher algebra , preprint available at: http://www.math.harvard.edu/˜l urie/

J. Lurie, Higher algebra , preprint available at: http://www.math.harvard.edu/˜l urie/

work page

[7] [7]

J. E. McClure and J. H. Smith, A solution of Deligne’s Hochschild cohomology conjecture , Recent progress in homotopy theory (Baltimore, MD, 2000), C ontemp. Math., vol. 293, Amer. Math. Soc., Providence, RI, 2002, pp. 153–193

work page 2000

[8] [8]

Merkulov and B

S. Merkulov and B. Vallette, Deformation theory of representations of prop(erad)s. I , J. Reine Angew. Math. 634 (2009), 51–106

work page 2009

[9] [9]

Neeman and V

A. Neeman and V. Retakh, Extension categories and their homotopy , Compositio Math. 102 (1996), no. 2, 203–242

work page 1996

[10] [10]

Negron, Y

C. Negron, Y. Volkov, and S. Witherspoon, A-inﬁnity-coderivations and the Gerstenhaber bracket on Hochschild cohomology , preprint arXiv:1805.03167

work page arXiv

[11] [11]

Quillen, Cyclic cohomology and algebra extensions , K-Theory 3 (1989), no

D. Quillen, Cyclic cohomology and algebra extensions , K-Theory 3 (1989), no. 3, 205–246

work page 1989

[12] [12]

A k-linear triangulated category without a model

A. Rizzardo and M. Van den Bergh, A k-linear triangulated category without a model , preprint arXiv:1801.06344, 2018

work page internal anchor Pith review Pith/arXiv arXiv 2018

[13] [13]

Schwede, An exact sequence interpretation of the Lie bracket in Hochs child cohomology, J

S. Schwede, An exact sequence interpretation of the Lie bracket in Hochs child cohomology, J. Reine Angew. Math. 498 (1998), 153–172

work page 1998

[14] [14]

Shoikhet, Diﬀerential graded categories and Deligne conjecture , Adv

B. Shoikhet, Diﬀerential graded categories and Deligne conjecture , Adv. Math. 289 (2016), 797–843

work page 2016

[15] [15]

, Graded Leinster monoids and generalized Deligne conjectur e for 1-monoidal abelian categories, Int. Math. Res. Not. IMRN (2018), no. 19, 5857–5937

work page 2018

[16] [16]

Stasheﬀ, The intrinsic bracket on the deformation complex of an assoc iative algebra , J

J. Stasheﬀ, The intrinsic bracket on the deformation complex of an assoc iative algebra , J. Pure Appl. Algebra 89 (1993), no. 1-2, 231–235. (W endy Lowen)Universiteit Antwerpen, Departement Wiskunde-Informatica, Middel- heimcampus, Middelheimlaan 1, 2020 Antwerp, Belgium Laboratory of Algebraic Geometry, National Research Universi ty, Higher School of Ec...

work page 1993