pith. sign in

arxiv: 2601.03101 · v2 · submitted 2026-01-06 · 🧮 math.AT · math.CT· math.QA· math.RA

Point-set models for homotopy coherent coalgebras

Dan Petersen , Victor Roca i Lucio , Sinan Yalin This is my paper

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

classification 🧮 math.AT math.CTmath.QAmath.RA
keywords homotopy coalgebras∞-categoriesdifferential graded coalgebrasoperadsE_n-coalgebrasrectificationchain complexesp-adic homotopy
0
0 comments X

The pith

For cofibrant operads, localizing dg-coalgebras at quasi-isomorphisms yields an ∞-category equivalent to coalgebras over the enriched ∞-operad.

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

The paper proves that the ∞-category of differential graded coalgebras over a cofibrant operad, localized at quasi-isomorphisms, is equivalent to the ∞-category of coalgebras over the corresponding enriched ∞-operad. This equivalence is established by induction on cell attachments. A sympathetic reader would care because it supplies concrete algebraic models for structures that are otherwise defined abstractly via ∞-categories. This supplies explicit point-set models for E_n-coalgebras and E_∞-coalgebras in the derived ∞-category of chain complexes over a field. It also supplies an algebraic model for the cellular chains functor equipped with its E_∞-coalgebra structure, which combines with prior work to model nilpotent p-adic homotopy types.

Core claim

We show by induction over cell attachments that these two ∞-categories are in fact equivalent when the operad is cofibrant. This yields explicit point-set models for E_n-coalgebras and E_∞-coalgebras in the derived ∞-category of chain complexes over a field, and an explicit point-set model for the cellular chains functor with its E_∞-coalgebra structure.

What carries the argument

Induction over cell attachments establishing equivalence between the localized ∞-category of dg-coalgebras over an operad and the ∞-category of coalgebras over an enriched ∞-operad, when the operad is cofibrant.

If this is right

  • Explicit point-set models exist for E_n-coalgebras and E_∞-coalgebras in the derived ∞-category of chain complexes over a field.
  • An explicit point-set model exists for the cellular chains functor equipped with its E_∞-coalgebra structure.
  • Nilpotent p-adic homotopy types admit a point-set algebraic model via the combination with Bachmann-Burklund.

Where Pith is reading between the lines

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

  • Classical dg-coalgebra techniques can now be used to compute homotopy coherent coalgebra structures that were previously only accessible via abstract ∞-categorical methods.
  • The rectification may extend to other base rings provided the induction step can be controlled for non-field coefficients.
  • The result links operadic rectification theorems directly to concrete models for homotopy types in algebraic topology.

Load-bearing premise

The operad is cofibrant and the base ring is a field so that cell-attachment induction encounters no further obstructions in the ∞-categorical setting.

What would settle it

A concrete cofibrant operad for which the localized dg-coalgebras fail to satisfy the universal property that defines the ∞-category of coalgebras over the enriched ∞-operad, detectable by a mismatch in mapping spaces or homotopy groups.

read the original abstract

We show a first rectification result for homotopy chain coalgebras over a field. On the one hand, we consider the $\infty$-category obtained by localizing differential graded coalgebras over an operad with respect to quasi-isomorphisms; on the other, we give a general definition of an $\infty$-category of coalgebras over an enriched $\infty$-operad. We show by induction over cell attachments that these two $\infty$-categories are in fact equivalent when the operad is cofibrant. This yields explicit point-set models for $\mathbb{E}_n$-coalgebras and $E_\infty$-coalgebras in the derived $\infty$-category of chain complexes over a field, and an explicit point-set model for the cellular chains functor with its $E_\infty$-coalgebra structure. After Bachmann--Burklund, this gives a point-set algebraic model for nilpotent $p$-adic homotopy types.

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.

Referee Report

2 major / 1 minor

Summary. The manuscript establishes a rectification result equating the ∞-category of dg-coalgebras over a cofibrant operad (localized at quasi-isomorphisms) with the ∞-category of coalgebras over an enriched ∞-operad. The equivalence is proved by induction on cell attachments of the operad. This yields explicit point-set models for E_n-coalgebras and E_∞-coalgebras in the derived ∞-category of chain complexes over a field, together with an explicit model for the cellular chains functor carrying its E_∞-coalgebra structure. The result is applied, after Bachmann–Burklund, to give a point-set algebraic model for nilpotent p-adic homotopy types.

Significance. If the central equivalence holds, the work supplies concrete point-set models that bridge strict differential graded coalgebras with their homotopy-coherent ∞-categorical counterparts. This is a substantive contribution to algebraic topology and homotopy theory, furnishing explicit constructions for E_n- and E_∞-coalgebra structures over fields and strengthening the link to p-adic homotopy types. The induction-on-cell-attachments strategy, when fully verified, offers a reusable technique for rectification results in the presence of cofibrant operads.

major comments (2)
  1. Abstract: the induction on cell attachments is described only at high level. The manuscript must supply a detailed verification that each induction step preserves all higher homotopy coherences (coassociativity, co-unitality, and their higher homotopies) when passing from the strict dg-level to the enriched ∞-operad level, especially the claim that quasi-isomorphisms induce equivalences on mapping spaces.
  2. Abstract (induction hypothesis): the argument relies on the operad being cofibrant to obtain freeness at the strict level. The manuscript should explicitly record where cofibrancy is used in the induction step and whether any additional obstructions arise from the ∞-enrichment when the base field admits non-trivial higher Ext groups.
minor comments (1)
  1. The abstract invokes Bachmann–Burklund without a brief contextual sentence; a short reminder of the relevant statement in the introduction would improve accessibility.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thoughtful comments on our manuscript. We address the major comments below and will make the necessary revisions to strengthen the presentation of the induction argument.

read point-by-point responses

  1. Referee: [—] Abstract: the induction on cell attachments is described only at high level. The manuscript must supply a detailed verification that each induction step preserves all higher homotopy coherences (coassociativity, co-unitality, and their higher homotopies) when passing from the strict dg-level to the enriched ∞-operad level, especially the claim that quasi-isomorphisms induce equivalences on mapping spaces.

    Authors: We acknowledge that the current description of the induction is at a high level. To address this, we will revise the manuscript to provide a detailed step-by-step verification of the induction. This will include explicit checks that each cell attachment preserves the coassociativity, co-unitality, and all higher homotopy coherences. We will also add a proposition demonstrating that quasi-isomorphisms induce weak equivalences on the mapping spaces in the ∞-category of coalgebras over the enriched operad. revision: yes

  2. Referee: [—] Abstract (induction hypothesis): the argument relies on the operad being cofibrant to obtain freeness at the strict level. The manuscript should explicitly record where cofibrancy is used in the induction step and whether any additional obstructions arise from the ∞-enrichment when the base field admits non-trivial higher Ext groups.

    Authors: Cofibrancy of the operad is crucial for the freeness property used in the induction, allowing us to attach cells freely at the strict level. We will add explicit annotations in the proof indicating each use of cofibrancy. Regarding potential obstructions from the ∞-enrichment and higher Ext groups over the base field: since the base is a field, all modules are free, and the higher Ext groups vanish in the relevant degrees due to projectivity. Thus, no additional obstructions arise beyond those already handled by the localization. We will include a clarifying paragraph on this point. revision: yes

Circularity Check

0 steps flagged

No circularity: direct inductive proof of ∞-category equivalence

full rationale

The paper establishes equivalence between the ∞-category of localized dg-coalgebras over a cofibrant operad and the coalgebras in the enriched ∞-operad ∞-category via induction on cell attachments. This is a self-contained argument relying on standard cofibrancy, quasi-isomorphism localization, and ∞-categorical mapping space properties, with no reduction of any claim to a fitted parameter, self-definition, or load-bearing self-citation. The induction verifies preservation of higher coherences directly from the operad structure and base field assumptions, without renaming known results or smuggling ansatzes. The derivation is therefore independent of its inputs and receives the default non-circularity finding.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard axioms of ∞-category theory, localization, and model structures on dg-coalgebras, plus the domain assumption that the operad is cofibrant. No free parameters or new invented entities are introduced.

axioms (2)
  • standard math Localization of dg-coalgebras at quasi-isomorphisms yields an ∞-category
    Standard construction in higher category theory invoked in the abstract.
  • domain assumption Cofibrant operads admit good cell-attachment behavior in the ∞-setting
    Key hypothesis for the induction argument to succeed.

pith-pipeline@v0.9.0 · 5461 in / 1406 out tokens · 56375 ms · 2026-05-16T16:25:41.345035+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages · 1 internal anchor

  1. [1]

    Cofree coalgebras over operads and representative functions

    [Ane14] Mathieu Anel. Cofree coalgebras over operads and representative functions, arxiv.1409.4688,

    work page internal anchor Pith review Pith/arXiv arXiv

  2. [2]

    [BB24] T om Bachmann and Robert Burklund.E ∞-coalgebras andp-adic homotopy theory, arxiv.2402.15850,

    work page arXiv

  3. [3]

    Pd operads and explicit partition lie algebras

    [BCN21] Lukas Brantner, Ricardo Campos, and Joost Nuiten. PD operads and explicit partition Lie algebras, arxiv.2104.03870;to appear in Memoirs of the AMS.,

    work page arXiv

  4. [4]

    The Pro-étale topology for schemes

    [BM19] Lukas Brantner and Akhil Mathew. Deformation theory and partition Lie algebras, arxiv.1904.07352, to appear in Acta Mathematica,

    work page arXiv 1904

  5. [5]

    Notes Math.Berlin: Springer,

    [Fre09] Benoit Fresse.Modules over operads and functors, volume 1967 ofLect. Notes Math.Berlin: Springer,

    work page 1967

  6. [6]

    Homotopy theory of linear coalgebras, arxiv.1803.01376,

    [GL18] Brice Le Grignou and Damien Lejay. Homotopy theory of linear coalgebras, arxiv.1803.01376,

    work page arXiv

  7. [7]

    Homotopical operadic calculus in positive characteristic, arXiv.2310.13095,

    [GRiL23] Brice Le Grignou and Victor Roca i Lucio. Homotopical operadic calculus in positive characteristic, arXiv.2310.13095,

    work page arXiv

  8. [8]

    Rectification of enriched∞-categories.Algebr

    [Hau15] Rune Haugseng. Rectification of enriched∞-categories.Algebr. Geom. Topol., 15(4):1931–1982,

    work page 1931

  9. [9]

    Koszul duality and a conjecture of Francis–Gaitsgory, arxiv.2408.06173,

    [Heu24] Gijs Heuts. Koszul duality and a conjecture of Francis–Gaitsgory, arxiv.2408.06173,

    work page arXiv

  10. [10]

    Quasi-categories vs Segal spaces

    47 [JT07] André Joyal and Myles Tierney. Quasi-categories vs Segal spaces. InCategories in algebra, geometry and mathematical physics. Conference and workshop in honor of Ross Street’s 60th birthday, Sydney and Canberra, Australia, July 11–16/July 18–21, 2005, pages 277–326. Providence, RI: American Mathemati- cal Society (AMS),

    work page 2005

  11. [11]

    Locally rigid∞-categories, arxiv.2410.21524,

    [Ram24] Maxime Ramzi. Locally rigid∞-categories, arxiv.2410.21524,

    work page arXiv

  12. [12]

    Higher Lie theory in positive characteristic, arxiv.2306.07829,

    [RiL24] Victor Roca i Lucio. Higher Lie theory in positive characteristic, arxiv.2306.07829,

    work page arXiv