A Quillen model structure on the category of Kontsevich-Soibelman weakly unital dg categories

Boris Shoikhet; Piergiorgio Panero

arxiv: 1907.07970 · v1 · pith:RC4A6DUBnew · submitted 2019-07-18 · 🧮 math.KT · math.CT

A Quillen model structure on the category of Kontsevich-Soibelman weakly unital dg categories

Piergiorgio Panero , Boris Shoikhet This is my paper

Pith reviewed 2026-05-24 19:42 UTC · model grok-4.3

classification 🧮 math.KT math.CT

keywords Quillen model structuredg categoriesweakly unitalKontsevich-Soibelmandg operadsQuillen equivalenceassociative algebras

0 comments

The pith

A cofibrantly generated Quillen model structure exists on the category of weakly unital dg categories and is Quillen equivalent to the strict case.

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

The paper constructs a model category structure on the category of small weakly unital dg categories over a field k. This structure extends the known model structure on strictly unital dg categories by making the inclusion functor the right adjoint in a Quillen pair. The pair is shown to be a Quillen equivalence. The construction proceeds by defining a non-symmetric dg operad that encodes the weak unitality and transferring the model structure after establishing a quasi-isomorphism to the operad for unital associative algebras.

Core claim

We construct a cofibrantly generated Quillen model structure on the category Cat_dgwu(k) of small weakly unital dg categories over a field k. The embedding of the category Cat_dg(k) of strictly unital dg categories into Cat_dgwu(k) is the right adjoint of a Quillen pair of functors, and this pair is a Quillen equivalence. The proof relies on the non-symmetric dg operad O that governs weakly unital dg categories; this operad is quasi-isomorphic to the operad Assoc+ of unital associative algebras.

What carries the argument

The non-symmetric dg operad O governing weakly unital dg categories, transferred via its quasi-isomorphism to the operad Assoc+.

If this is right

Homotopy limits and colimits can be formed in the category of weakly unital dg categories.
The homotopy category of weakly unital dg categories is equivalent to that of strictly unital dg categories.
Cofibrant and fibrant replacements exist for weakly unital dg categories under the new model structure.

Where Pith is reading between the lines

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

The equivalence suggests that many statements proved using strictly unital dg categories remain valid when weak unitality is allowed.
The operad quasi-isomorphism may allow similar model structures to be constructed for other weak algebraic structures encoded by non-symmetric operads.

Load-bearing premise

The non-symmetric dg operad O governing weakly unital dg categories is quasi-isomorphic to the operad Assoc+ of unital associative algebras.

What would settle it

An explicit computation or counterexample showing that the homology of the operad O differs from that of Assoc+ in some degree would prevent the transfer of the model structure.

read the original abstract

In this paper, we study weakly unital dg categories as they were defined by Kontsevich and Soibelman [KS, Sect.4]. We construct a cofibrantly generated Quillen model structure on the category $\mathrm{Cat}_{\mathrm{dgwu}}(\Bbbk)$ of small weakly unital dg categories over a field $\Bbbk$. Our model structure can be thought of as an extension of the model structure on the category $\mathrm{Cat}_{\mathrm{dg}}(\Bbbk)$ of (strictly unital) small dg categories over $\Bbbk$, due to Tabuada [Tab]. More precisely, we show that the imbedding of $\mathrm{Cat}_{\mathrm{dg}}(\Bbbk)$ to $\mathrm{Cat}_{\mathrm{dgwu}}(\Bbbk)$ is a right adjoint of a Quillen pair of functors. We prove that this Quillen pair is, in turn, a Quillen equivalence. In course of the proof, we study a non-symmetric dg operad $\mathcal{O}$, governing the weakly unital dg categories, which is encoded in the Kontsevich-Soibelman definition. We prove that this dg operad is quasi-isomorphic to the operad $\mathrm{Assoc}_+$ of unital associative 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 a model structure on weakly unital dg-categories and proves the embedding from the strict case is a Quillen equivalence via an operad comparison.

read the letter

The main takeaway is that this paper constructs a cofibrantly generated Quillen model structure on the category of small weakly unital dg categories over a field and shows that the natural embedding from strictly unital dg categories forms the right adjoint of a Quillen pair that is in fact a Quillen equivalence. They achieve this by introducing the non-symmetric dg operad O that encodes the Kontsevich-Soibelman weak unitality, proving O is quasi-isomorphic to Assoc+, and transferring Tabuada's existing model structure on the strict case. The argument includes an explicit chain of quasi-isomorphisms and a check that the adjunction satisfies the Quillen equivalence conditions. This step with the operad is the concrete new piece that was not in the cited prior work. The construction is a straightforward extension that keeps the homotopical properties while relaxing unitality, which is useful where strict units create technical friction. The soft spots are minor and proportional. The central transfer argument appears to hold without visible gaps or hidden assumptions on the base field, and there is no circularity or reliance on fitted parameters. A referee might still want to verify the cofibrant generation details line by line, but nothing in the supplied evidence suggests a load-bearing problem. The citations follow the natural predecessors without excess self-reference. This paper is for people already working in dg-category theory and homotopical algebra who need a model structure that accommodates the weaker unitality condition. A reader focused on applications or further homotopy constructions in this setting would extract direct value from the explicit model and the equivalence. It deserves a serious referee because the result is a self-contained, verifiable extension with a clear technical advance. I would send it to peer review.

Referee Report

0 major / 2 minor

Summary. The paper constructs a cofibrantly generated Quillen model structure on the category Cat_dgwu(k) of small weakly unital dg categories over a field k. It shows that the embedding of the category Cat_dg(k) of strictly unital dg categories is the right adjoint in a Quillen pair of functors that forms a Quillen equivalence. In the course of the proof, the authors introduce the non-symmetric dg operad O governing weakly unital dg categories (following Kontsevich-Soibelman) and establish that O is quasi-isomorphic to the operad Assoc+ of unital associative algebras.

Significance. If the result holds, the construction supplies a model-categorical framework for weakly unital dg categories that is compatible with Tabuada's model structure on the strict case via a Quillen equivalence. This is useful for homotopy-theoretic work in noncommutative geometry and deformation theory where weakly unital structures arise naturally. The explicit quasi-isomorphism chain for the operad O and the verification of the transferred model axioms constitute concrete, checkable contributions.

minor comments (2)

[Abstract] Abstract, line 3: 'imbedding' should be replaced by the standard spelling 'embedding'.
[§3] The notation for the operad O and the precise definition of the weakly unital composition maps could be cross-referenced more explicitly to the relevant equations in §3 or §4 to aid readers unfamiliar with the Kontsevich-Soibelman definition.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript, the assessment of its significance, and the recommendation of minor revision. No major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity; explicit construction via operad transfer

full rationale

The derivation defines the operad O from the KS weakly unital structure, proves a quasi-isomorphism O ≃ Assoc+ by explicit chain, and transfers the known cofibrantly generated model structure on Cat_dg(k) (Tabuada) along the evident adjunction whose right adjoint is the embedding. All steps are constructive and rely on external, independently established results rather than reducing to a self-definition, fitted parameter renamed as prediction, or self-citation chain. The Quillen equivalence verification is likewise internal to the transfer argument and does not presuppose the target result.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard background from model category theory and dg-operad theory; no new free parameters or invented entities are introduced. The key technical step is the quasi-isomorphism of operads, which is treated as a theorem rather than an axiom.

axioms (2)

standard math The category of dg categories admits a cofibrantly generated model structure (Tabuada).
Invoked to transfer the structure via the Quillen pair.
standard math Quasi-isomorphisms of dg operads induce Quillen equivalences on the corresponding categories of algebras.
Used to relate the operad O to Assoc+.

pith-pipeline@v0.9.0 · 5774 in / 1448 out tokens · 23158 ms · 2026-05-24T19:42:38.137040+00:00 · methodology

A Quillen model structure on the category of Kontsevich-Soibelman weakly unital dg categories

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)