Differential graded bocses and $A_{\infty}$-modules

E. P\'erez; L. Salmer\'on; R. Bautista

arxiv: 1906.09476 · v1 · pith:NWCATMXPnew · submitted 2019-06-22 · 🧮 math.RT

Differential graded bocses and A_(infty)-modules

R. Bautista , E. P\'erez , L. Salmer\'on This is my paper

Pith reviewed 2026-05-25 17:51 UTC · model grok-4.3

classification 🧮 math.RT

keywords differential graded bocsA∞-modulestwisted modulesFrobenius categoryhomotopy categoryA-infinity algebrarepresentation theory

0 comments

The pith

The category of modules over an A∞-algebra is equivalent to the category of twisted modules over a triangular differential graded bocs.

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

The paper introduces the category of twisted modules over a triangular differential graded bocs and establishes several of its properties. Idempotents split in this category, it carries a natural Frobenius structure, a module is homotopically trivial exactly when its underlying complex is acyclic, and homotopy equivalences of bocses induce equivalences of the corresponding homotopy categories. These features then carry over to the equivalent category of modules over an A∞-algebra.

Core claim

We introduce and study the category of twisted modules over a triangular differential graded bocs. We show that in this category idempotents split, that it admits a natural structure of a Frobenius category, that a twisted module is homotopically trivial if and only if its underlying complex is acyclic, and that any homotopy equivalence of differential graded bocses determines an equivalence of the corresponding homotopy categories of twisted modules. The category of modules over an A∞-algebra is equivalent to the category of twisted modules over a triangular differential graded bocs, so all preceding statements lift to the former category.

What carries the argument

The category of twisted modules over a triangular differential graded bocs, which is shown to be equivalent to the category of modules over an A∞-algebra.

If this is right

Idempotents split in the category of modules over any A∞-algebra.
The category of A∞-modules is a Frobenius category.
A module over an A∞-algebra is homotopically trivial if and only if its underlying complex is acyclic.
Homotopy equivalences of differential graded bocses induce equivalences of the homotopy categories of their twisted modules, and thus of the corresponding A∞-module categories.

Where Pith is reading between the lines

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

This equivalence allows results about one category to be applied directly to the other without separate proofs.
Problems involving A∞-modules in neighbouring areas of homological algebra can now be approached using the language of differential graded bocses.
Further properties of Frobenius categories may be investigated in the A∞ setting through this correspondence.

Load-bearing premise

The constructions of triangular differential graded bocses and the definition of twisted modules are well-defined and the stated equivalence of categories preserves the Frobenius structure, splitting of idempotents, and homotopy data as claimed in the definitions and proofs.

What would settle it

An explicit example of an A∞-algebra whose module category fails to have split idempotents or whose homotopy category does not match that of the corresponding twisted modules would disprove the equivalence and the lifting of properties.

read the original abstract

We introduce and study the category of twisted modules over a triangular differential graded bocs. We show that in this category idempotents split, that it admits a natural structure of a Frobenius category, that a twisted module is homotopically trivial if and only if its underlying complex is acyclic, and that any homotopy equivalence of differential graded bocses determines an equivalence of the corresponding homotopy categories of twisted modules. The category of modules over an $A_{\infty}$-algebra is equivalent to the category of twisted modules over a triangular differential graded bocs, so all preceding statements lift to the former category.

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 defines twisted modules over triangular DG-bocses and proves their equivalence to A∞-modules so that standard homological properties transfer.

read the letter

The main new piece is the category of twisted modules over a triangular differential graded bocs together with the explicit equivalence to modules over an A∞-algebra. They first establish four properties on the bocs side: idempotents split, the category is Frobenius, a twisted module is homotopically trivial precisely when the underlying complex is acyclic, and homotopy equivalences of bocses induce equivalences of the homotopy categories. The equivalence then lifts all four statements to A∞-modules. This is a direct, usable connection between two existing setups in homological algebra and representation theory. The constructions follow standard category-theoretic lines and the triangular condition appears necessary for the equivalence to work cleanly. No obvious circularity or invented entities show up in the argument outline. The stress-test note finds no internal inconsistency that would block the lifting of the Frobenius or homotopy data. A possible limitation is that the triangular restriction may narrow the range of A∞-algebras to which the results apply directly, though the paper presents the equivalence as covering the cases of interest. The full proofs would need checking for whether the equivalence is fully faithful on the nose and preserves all the stated structures without extra assumptions. This is a specialized technical paper aimed at people already working with A∞-structures or DG-bocses. A reader in that niche gets a concrete way to move results between the two languages. It is coherent on its own terms and shows honest engagement with the relevant literature, so it deserves a serious referee even if the impact stays within the subfield.

Referee Report

0 major / 3 minor

Summary. The manuscript introduces the category of twisted modules over a triangular differential graded bocs. It establishes that idempotents split in this category, that the category carries a natural Frobenius structure, that a twisted module is homotopically trivial precisely when its underlying complex is acyclic, and that homotopy equivalences of differential graded bocses induce equivalences of the corresponding homotopy categories. The central result is an equivalence of categories between modules over an A_∞-algebra and twisted modules over a triangular differential graded bocs, which transfers the listed properties to the A_∞ setting.

Significance. If the equivalence and the preservation of Frobenius, idempotent-splitting, and homotopy data hold, the work supplies a concrete bridge between two settings that are already studied separately in homological algebra and representation theory. The explicit transfer of homotopy-triviality characterizations and the fact that the constructions are presented as preserving the relevant structures constitute a clear strength. The result is likely to be cited in papers that move between A_∞-modules and differential graded constructions.

minor comments (3)

§2: the definition of a triangular differential graded bocs would benefit from an explicit low-dimensional example (e.g., a one-object case) to make the triangularity condition immediately visible before the general statements.
The notation for the underlying complex of a twisted module is introduced without a dedicated symbol; introducing one (e.g., U(M)) would improve readability in the proofs of the acyclicity criterion.
The statement that the equivalence 'lifts all preceding statements' should be accompanied by a short table or list indicating precisely which functors and natural transformations are used to transport each property.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary of our manuscript and the recommendation of minor revision. No specific major comments appear in the report, so we have no points requiring point-by-point response or revision.

Circularity Check

0 steps flagged

No significant circularity; equivalence constructed explicitly from definitions

full rationale

The paper defines triangular differential graded bocses and twisted modules, then constructs an explicit equivalence of categories to A∞-modules that preserves the listed structures (idempotent splitting, Frobenius, homotopy data). No step reduces a claimed result to a fitted parameter, self-referential definition, or load-bearing self-citation chain; all properties are derived from the given constructions and standard category-theoretic arguments without importing uniqueness theorems or ansatzes from prior author work as external facts. The derivation chain is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, so the ledger is limited to what is implied by the claims; the work relies on background category theory and homological algebra rather than new free parameters or invented physical entities.

axioms (1)

standard math Standard axioms of abelian categories, differential graded structures, and homotopy categories from homological algebra.
The statements about Frobenius categories, acyclicity, and equivalences presuppose these background structures.

pith-pipeline@v0.9.0 · 5628 in / 1299 out tokens · 29413 ms · 2026-05-25T17:51:33.516561+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/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

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

The category of modules over an A∞-algebra is equivalent to the category of twisted modules over a triangular differential graded bocs, so all preceding statements lift to the former category.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

idempotents split, that it admits a natural structure of a Frobenius category, that a twisted module is homotopically trivial if and only if its underlying complex is acyclic

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

7 extracted references · 7 canonical work pages

[1]

and Souto, M.J

Bautista, R. and Souto, M.J. Categor ´ ıas Derivadas, Preliminary version, 2016

work page 2016
[2]

and Zuazua, R

Bautista, R., Salmer´ on, L. and Zuazua, R. Diﬀerential Tensor Algebras and their Module Categories. London Math. Soc. Lecture Note Series 362, Cambridge University Press, 2009

work page 2009
[3]

and Kapranov M.M

Bondal, A.I. and Kapranov M.M. Enhanced triangulated categories, Math. USSR Sbornik Vol. 70 (1991), No. 1, 93–107

work page 1991
[4]

Cohomology of Groups, GTM 87, Springer, 1982

Brown, K.S. Cohomology of Groups, GTM 87, Springer, 1982

work page 1982
[5]

Triangulated Categories in the Representation Theor y of Fi- nite Dimensional Algebras

Happel, D. Triangulated Categories in the Representation Theor y of Fi- nite Dimensional Algebras. London Math. Soc. Lecture Note Series 119, Cambridge University Press, 1988

work page 1988
[6]

Introduction to A∞ -algebras

Keller, B. Introduction to A∞ -algebras. Homology, Homotopy and Appli- cations, vol. 3, 1, 2001, pp. 135

work page 2001
[7]

Sur les A∞ -cat´ egories, Th` ese de Doctorat, 2003

Lef` evre-Hasegawa, K. Sur les A∞ -cat´ egories, Th` ese de Doctorat, 2003. 69 R. Bautista Centro de Ciencias Matem´ aticas Universidad Nacional Aut´ onoma de M´ exico Morelia, M´ exico raymundo@matmor.unam.mx E. P´ erez Facultad de Matem´ aticas Universidad Aut´ onoma de Yucat´ an M´ erida, M´ exico jperezt@correo.uady.mx L. Salmer´ on Centro de Ciencias...

work page 2003

[1] [1]

and Souto, M.J

Bautista, R. and Souto, M.J. Categor ´ ıas Derivadas, Preliminary version, 2016

work page 2016

[2] [2]

and Zuazua, R

Bautista, R., Salmer´ on, L. and Zuazua, R. Diﬀerential Tensor Algebras and their Module Categories. London Math. Soc. Lecture Note Series 362, Cambridge University Press, 2009

work page 2009

[3] [3]

and Kapranov M.M

Bondal, A.I. and Kapranov M.M. Enhanced triangulated categories, Math. USSR Sbornik Vol. 70 (1991), No. 1, 93–107

work page 1991

[4] [4]

Cohomology of Groups, GTM 87, Springer, 1982

Brown, K.S. Cohomology of Groups, GTM 87, Springer, 1982

work page 1982

[5] [5]

Triangulated Categories in the Representation Theor y of Fi- nite Dimensional Algebras

Happel, D. Triangulated Categories in the Representation Theor y of Fi- nite Dimensional Algebras. London Math. Soc. Lecture Note Series 119, Cambridge University Press, 1988

work page 1988

[6] [6]

Introduction to A∞ -algebras

Keller, B. Introduction to A∞ -algebras. Homology, Homotopy and Appli- cations, vol. 3, 1, 2001, pp. 135

work page 2001

[7] [7]

Sur les A∞ -cat´ egories, Th` ese de Doctorat, 2003

Lef` evre-Hasegawa, K. Sur les A∞ -cat´ egories, Th` ese de Doctorat, 2003. 69 R. Bautista Centro de Ciencias Matem´ aticas Universidad Nacional Aut´ onoma de M´ exico Morelia, M´ exico raymundo@matmor.unam.mx E. P´ erez Facultad de Matem´ aticas Universidad Aut´ onoma de Yucat´ an M´ erida, M´ exico jperezt@correo.uady.mx L. Salmer´ on Centro de Ciencias...

work page 2003