REVIEW 4 major objections 5 minor 1 cited by
Obstruction theory for $A$-infinity bimodules
T0 review · 4 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read The paper establishes a cohomological criterion for simultaneous intrinsic formality of a graded algebra and a graded bimodule over it, using a new bimodule Hochschild cohomology and a fringed spectral sequence.
desk verdict The bimodule formality theorems are new and the architecture holds together, but the load-bearing spectral-sequence generalization from [Mur20] is asserted, not proved; worth a serious referee, who must push on that point. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the bimodule Hochschild cochain complex $C^{n,r}(A|M)=C^{n,r}(A)\oplus C^{n-1,r}_{A^e}(M,M)$, defined as the mapping cocone of $\delta$. It is the operadic cochain complex of the linear endomorphism operad $E(A,M)$, whose operations are multilinear maps built from the graded algebra $A$ and the graded bimodule $M$; a morphism $A_\infty\to E(A,M)$ is exactly a compatible pair of an $A_\infty$-algebra structure on $A$ and an $A_\infty$-bimodule structure on $M$. The argument is carried by a truncated fringed spectral sequence—one whose near-diagonal terms are pointed sets or abelian groups—associated to the tower of mapping spaces $\mathrm{Map}(A_{k+1},E(A,M))\to \mathrm{Map}(A_k,E(A,M))$: its second page is mostly $HH^{\bullet,*}(A|M)$, and its second differential $d_2$ is the Gerstenhaber bracket with the bimodule universal Massey product. This spectral sequence converts the extension problem for truncated minimal structures into cohomology vanishing, and passage to the homotopy fibre over the projection $E(A,M)\twoheadrightarrow E(A)$ yields the fibre-wise theory for bimodules over a fixed $A_\infty$-algebra.
What would settle it
Find a graded algebra $A$ and a graded $A$-bimodule $M$ with $HH^{n+2,-n}(A|M)=0$ for all $n\ge1$ but with two minimal $A_\infty$-pairs over $(A,M)$ that are not gauge isomorphic; equivalently, compute the spectral sequence of Theorem 4.1.5 for that pair and exhibit a nonzero obstruction on a later page. Alternatively, test the asserted generality by computing the claimed $E_2$-page description and $d_2$ bracket formula for a non-endomorphism graded operad with an associative operadic ideal.
Extended reading notes
Core claim
On the paper's own terms, the main discovery is that the obstruction theory for truncated minimal $A_\infty$-structures has a bimodule analogue controlled by the homotopy fibre of the cochain map $\delta\colon C^{\bullet,*}(A)\to C^{\bullet,*}_{A^e}(M,M)$, $c\mapsto \mathrm{id}_M\cdot c - c\cdot \mathrm{id}_M$. The cohomology $HH^{\bullet,*}(A|M)$ of this fibre fits into a long exact sequence connecting the Hochschild cohomology of $A$ with the self-extensions of $M$, and it appears as the main term of the second page of a fringed spectral sequence built from towers of mapping spaces of DG operads. The second differential is bracketing with the bimodule universal Massey product $\{\{m^{A\ltimes M}_3\}\}\in HH^{3,-1}(A|M)$. From this, the paper derives intrinsic formality: vanishing of $HH^{n+2,-n}(A|M)$ for $n\ge1$ forces every pair $(B,N)$ with cohomology $(A,M)$ to be quasi-isomorphic to $(A,M)$, and a refined Hochschild–Massey vanishing gives an almost formality theorem when the universal Massey product data are matched. The same machinery is formulated for arbitrary graded operads with multiplication and an associative operadic ideal, and in $d$-sparse versions for cohomology concentrated in degrees divisible by a fixed integer $d$.
Load-bearing premise
The load-bearing premise is Theorem 4.1.5: the spectral-sequence obstruction theory previously developed for endomorphism operads is asserted, without a fully written-out proof, to transfer to arbitrary graded operads with a multiplication and an associative operadic ideal. If that transfer fails, the obstruction theory and the formality theorems built on it collapse.
Editorial extensions
If this is right
- If $HH^{n+2,-n}(A|M)=0$ for all $n\ge1$, then every DG algebra $B$ with $H^*(B)\cong A$ and every DG $B$-bimodule $N$ with $H^*(N)\cong M$ is quasi-isomorphic to the pair $(A,M)$ with zero differential; this is a simultaneous intrinsic formality theorem for algebra-bimodule pairs.
- If $\operatorname{Ext}^{n+1,-n}_{A^e}(M,M)=0$ for $n\ge1$, then every DG $A$-bimodule with cohomology $M$ is formal, giving an intrinsic formality criterion for bimodules over a fixed graded algebra.
- For DG algebras and bimodules that are not formal, the almost formality criterion uses the bimodule universal Massey product: if the bimodule Hochschild–Massey cohomology $HM^{n+2,-n}(H^*(A)|H^*(M),\{\{m^{A\ltimes M}_3\}\})$ vanishes for $n>1$, then any pair with the same cohomology and the same bimodule universal Massey product is quasi-isomorphic.
- The $d$-sparse variants say that when cohomology is concentrated in degrees divisible by $d$, the same classification holds under the analogous vanishing for $n>d$, with the universal Massey product of length $d+2$ playing the role of the cubic operation.
Reading between the lines
- The long exact sequence around $HH(A|M)$ suggests that simultaneous formality is genuinely separate from componentwise formality: the connecting map $\delta$ measures a possible asymmetry of $\operatorname{Ext}_{A^e}(M,M)$ as an $HH(A)$-bimodule, so the pair can be jointly non-formal even when the algebra and the bimodule are each separately formal.
- The operadic formulation predicts that the same $E_2$-page description and the same $d_2$ bracket formula should hold for any graded operad with multiplication and an associative operadic ideal; this is testable by computing the spectral sequence for a non-endomorphism operad of this kind.
- The $d$-sparse statements imply that for examples concentrated in even degrees, the first nonzero differentials appear only on later pages, so formality can be forced by vanishing in a smaller range of bidegrees; this would be the operative form of the criterion in geometric settings with even-degree cohomology.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops an obstruction theory for extending truncated minimal A-infinity bimodule structures over truncated minimal A-infinity algebras, using Bousfield-Kan type (truncated) spectral sequences associated to towers of mapping spaces Map(A_k, O) for a graded operad O with multiplication and an associative operadic ideal. It introduces the bimodule Hochschild cohomology HH^{n,r}(A|M), realized as the cohomology of the homotopy fibre of the map δ: C^{•,*}(A) → C^{•,*}_{A^e}(M,M), and shows that the second differential of the obstruction spectral sequence is the Gerstenhaber bracket with a bimodule universal Massey product. The main applications are simultaneous intrinsic formality for a graded algebra and a graded bimodule (Theorem 5.1.5, Theorem 1.1.3), almost formality theorems for DG algebras and DG bimodules (Theorems 5.2.11, 5.2.16, 5.2.23), and d-sparse variants (Section 6).
Significance. If the technical framework is sound, the paper is a significant contribution: it offers a new cohomological criterion for simultaneous intrinsic formality of a graded algebra and a graded bimodule, extends Muro's enhanced obstruction theory from endomorphism operads to arbitrary graded operads with multiplication and associative ideals, and provides explicit obstruction cocycles (Theorem 4.1.5(15)) and an explicit second differential (Theorem 4.1.5(13)). The new bimodule Hochschild cohomology and its long exact sequence with Hochschild cohomology and self-extensions are natural and likely to be useful. The paper is clearly organized and the statements of the main theorems are precise. The main risk is that the central technical engine, Theorem 4.1.5, is asserted to generalize [Mur20] with limited proof, and several later results (including the sparse variants) omit proofs as 'almost identical'; these are the points that need to be strengthened before the conclusions are fully established.
major comments (4)
- [Section 4.1 (Theorem 4.1.5)] The proof of Theorem 4.1.5 states that [Mur20, Sections 4-6] extend verbatim from endomorphism operads to arbitrary graded operads with multiplication, because 'the same proofs work' and 'one only needs to replace the Hochschild complex with the operad complex.' This is load-bearing: Theorem 5.1.1 invokes Items 7 and 11 at every inductive step, and the intrinsic and almost formality theorems (Theorems 5.1.2, 5.1.4, 5.1.7, 5.2.5, 5.2.10, 5.2.15, and their sparse analogues) all depend on this generalization. Items 9, 11, 13, and 15 involve explicit identifications of E1, E2, the differential d2, and obstruction cocycles that in [Mur20] are proved using the concrete identification of cochains with multilinear maps on E(V). Please provide the detailed verification in the stated generality, or give precise theorem references in [Mur20] that cover arbitrary graded operads.
- [Section 4.2 (Theorem 4.2.2)] The proof of Theorem 4.2.2 asserts that the tower of homotopy fibres Str_{A_n,h}(I) 'also fits within this framework since the required structure is preserved by taking homotopy fibres,' but it does not show how the E1-page identification (Item 9) and the d2 formula (Item 13) follow from the fibre sequence and the short exact sequence (3.3.9). This fibre-wise spectral sequence is used in Theorems 5.1.6, 5.1.7, 5.2.19, and 5.2.21, so the omitted argument is not merely expository. Please spell out the induced spectral sequence of the top tower and the compatibility of differentials, or indicate which statements in [Mur20] imply these facts for homotopy fibres.
- [Section 5.2 (Theorems 5.2.19 and 6.2.10)] The hypothesis of Theorem 5.2.19 is stated as '{ {mg3 − mf3} } ∈ E^{2,-1}_{ΛO}(ΛI)', and the hypothesis of Theorem 6.2.10 as '{ {mg_{d+2} − mf_{d+2} } } ∈ E^{2,-1}_{ΛO}(ΛI)'. Since qf = qg forces the difference to be a cocycle in the ideal complex, the stated membership is automatic and imposes no condition on g. The base case of the induction in the proof of Theorem 5.2.19 requires the difference class to be zero, as used in Theorem 5.2.21; for the d-sparse case the appropriate bidegree is E^{d+1,-d}_{ΛO}(ΛI), not E^{2,-1}. These theorem statements should be corrected accordingly.
- [Section 6 (Theorems 6.2.3, 6.2.4, 6.2.10, 6.2.12 and Theorem 6.1.6)] The proofs of the sparse analogues are omitted as 'almost identical' to the d=1 case, and Theorem 6.1.6(12)-(15) generalizes [JKM22, Proposition 5.2.2] to arbitrary d-sparse graded operads, with only Item 15 receiving a sketch. The d-sparse spectral sequence is not a formal consequence of the d=1 case: the page indices, the bidegrees of the differentials, and the ranges of k in Items 12-16 depend on d. Since Theorems 6.2.3-6.2.12 are presented as new results, the verification of Theorem 6.1.6 and the reduction of the sparse proofs should be included, or at least a precise statement of which arguments in [JKM22] carry over unchanged.
minor comments (5)
- [Introduction, page 2] Theorem 1.1.2 is described as providing a 'necessary condition' for intrinsic formality of a graded bimodule, but it actually provides a sufficient condition, in analogy with Kadeishvili's Theorem 1.1.1.
- [Definition 6.2.7(2)] The differential of the bimodule Hochschild-Massey complex is printed as d: HH^{s,t}(A|M) → HH^{s+2,t-1}(A|M); according to Definition 6.2.1(2) and Definition 6.2.9 it should have bidegree (d+1,-d), i.e., d: HH^{s,t}(A|M) → HH^{s+d+1,t-d}(A|M).
- [Theorems 1.2.3 and 5.2.23] The vanishing condition '{ {mM3 − mN3} } = 0' is stated with target Ext^{2,-1} in the introduction and with target EM^{2,-1} in Theorem 5.2.23; the two formulations should be reconciled, since EM^{2,-1} is not literally the same notation as Ext^{2,-1}.
- [Throughout] There are several typographical errors: 'the the homotopy fibre' on page 8, 'Below, the by the universal Massey product' before Theorem 5.2.11, 'linear endomorphism operand' in the abstract, and the garbled sentence in Definition 2.3.10 ('Let A be an O-algebra A and an M an O-A-bimodule').
- [Sections 2.3-2.4] The proofs of Theorem 2.3.4 and Proposition 2.3.13 are omitted as 'entirely analogous' or 'almost identical' to [Mur14] and Proposition 2.2.12; since these results justify the mapping-space characterization of quasi-isomorphism of pairs used in the main theorems, a brief indication of the modifications would improve self-containedness.
Circularity Check
Load-bearing self-citation in transferring the [Mur20] spectral sequence to arbitrary graded operads; the central formality theorems are not circular by construction.
-
self citation load bearing
[Theorem 4.1.5 proof (Section 4.1, pages 37–38)]
"This result is a compendium of [Mur20, Sections 4, 5 and 6]. Some of the results in [Mur20, Section 6] are stated for the specific case the endomorphism operad O = E(V ) of a graded vector space. Nevertheless, the same proofs work for general graded operads since they only depend on the homotopy theory of the operad A∞ developed in [Mur20, Section 3]. One only needs to replace the Hochschild complex with the operad complex."
The intrinsic and almost formality theorems in Section 5 (Theorems 5.1.1, 5.1.4, 5.2.5, 5.2.15, and their descendants) are proved by invoking Theorem 4.1.5, whose proof is not reproduced here: it is declared a compendium of the same author's [Mur20], with the needed generality obtained by asserting that 'the same proofs work' for arbitrary graded operads. Items (9), (11), and (13) of Theorem 4.1.5 are precisely the identifications that convert the vanishing hypotheses HH^{n+2,-n}(A|M)=0 or HM^{n+2,-n}=0 into the zero terms E^{s,s}_r used in the induction; if that asserted generalization failed, the formality conclusions would not follow.
full rationale
No self-definitional or fitted-input circularity is present. The new cohomology theories HH^{*,*}(A|M), HM^{*,*}, and EM^{*,*} are defined from honest cochain complexes, and the spectral sequences place those cohomology groups on their E2/E3 pages in the standard Bousfield–Kan fashion. The main theorems are genuine sufficient conditions: vanishing of these groups is used to kill obstructions step by step, and the conclusions (existence of gauge isomorphisms, quasi-isomorphism of pairs) are not merely restatements of the hypotheses. The only flagged step is the paper's explicit reliance on the second author's [Mur20] for the general spectral-sequence framework, with the generalization from endomorphism operads to arbitrary graded operads with multiplication and an associative ideal asserted via 'the same proofs work' and not verified in the preprint. The analogous assertion for homotopy fibres in Theorem 4.2.2 ('the required structure is preserved by taking homotopy fibres') is a further instance of the same reliance. These are load-bearing self-citations and constitute an explicit missing-proof risk, but they do not make any theorem equivalent to its own input by construction. Accordingly, the circularity score is low: 2, reflecting one significant self-citation dependency whose failure would undermine the proof, while the central claims retain independent mathematical content.
Assumptions & free parameters
assumptions (4)
- domain assumption The transferred projective model structure on DG operads and the Dwyer-Kan mapping spaces for operads have the stated properties.
- domain assumption The DG operads A-infinity and A_k are cofibrant and excellent.
- ad hoc to paper The spectral sequence of [Mur20] extends verbatim to arbitrary graded operads with multiplication and associative operadic ideals.
- domain assumption Minimal models of pairs are unique up to gauge isomorphism and detect quasi-isomorphism (Proposition 2.3.13).
invented entities (2)
-
Bimodule Hochschild cohomology HH^{n,r}(A|M)
independent evidence
-
Bimodule universal Massey product {{mA⋉M_3}}
independent evidence
Cite this review
Pith. "Pith review of Obstruction theory for $A$-infinity bimodules." pith.science (2026). https://pith.science/paper/YPOXQW6J
@misc{pith2026250717568,
author = {Pith},
title = {Pith review of: Obstruction theory for $A$-infinity bimodules},
year = {2026},
howpublished = {\url{https://pith.science/paper/YPOXQW6J}},
note = {Machine review of arXiv:2507.17568}
}
abstract
We develop an obstruction theory for the extension of truncated minimal $A$-infinity bimodule structures over truncated minimal $A$-infinity algebras. Obstructions live in far-away pages of a (truncated) fringed spectral sequence of Bousfield--Kan type. The second page of this spectral sequence is mostly given by a new cohomology theory associated to a pair consisting of a graded algebra and a graded bimodule over it. This new cohomology theory fits in a long exact sequence involving the Hochschild cohomology of the algebra and the self-extensions of the bimodule. We show that the second differential of this spectral sequence is given by the Gerstenhaber bracket with a bimodule analogue of the universal Massey product of a minimal $A$-infinity algebra. We also develop a closely-related obstruction theory for truncated minimal $A$-infinity bimodule structures over (the truncation of) a fixed minimal $A$-infinity algebra; the second page of the corresponding spectral sequence is now mostly given by the vector spaces of self-extensions of the underlying graded bimodule and the second differential is described analogously to the previous one. We also establish variants of the above for graded algebras and graded bimodules that are $d$-sparse, that is they are concentrated in degrees that are multiples of a fixed integer $d\geq1$. These obstruction theories are used to establish intrinsic formality and almost formality theorems for differential graded bimodules over differential graded algebras. Our results hold, more generally, in the context of graded operads with multiplication equipped with an associative operadic ideal, examples of which are the endomorphism operad of a graded algebra and the linear endomorphism operad of a pair consisting of a graded algebra and a graded bimodule over it.
Figures
Forward citations
Cited by 1 Pith paper
-
The Derived Auslander--Iyama Correspondence II: Bimodule Calabi--Yau Structures
The Auslander-Iyama correspondence is extended to bimodule right Calabi-Yau dg algebras via a new Massey bimodule cohomology, with an obstruction (BV operator on universal Massey product) and a first non-liftable example.
Reference graph
Works this paper leans on
-
[3281]
Homotopy Units in A-Infinity Algebras
doi: 10.1016/j.jpaa.2016.02.013 (cit. on p. 24). [Mur16b] F. Muro. “Homotopy Units in A-Infinity Algebras”. Transactions of the American Mathematical Society 368.3 (2016), pp. 2145–2184. doi: 10.1090/tran/6545 (cit. on pp. 16, 23). 66 REFERENCES [Mur17] F. Muro. “Correction to the articles “Homotopy theory of nonsymmetric operads”, I–II [MR2821434; MR3158...
-
[3668]
On the derived category of an algebra over an operad
doi: 10.1090/S0002-9947-03-03373-7 (cit. on p. 3). [BM09] C. Berger and I. Moerdijk. “On the derived category of an algebra over an operad”. Georgian Math. J. 16.1 (2009), pp. 13–28 (cit. on pp. 7, 11, 18). [CM20] P. Cagne and P.-A. Melli` es. “On bifibrations of model categories”. Adv. Math. 370 (2020), pp. 107205, 43. doi: 10.1016/j.aim.2020.107205 (cit...
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.