Point-set models for homotopy coherent coalgebras

Titel: Point-Set Modellen voor Homotopische Coherente Coalgebra's

Auteurs: Dan Petersen, Victor Roca i Lucio, Sinan Yalin
Context: Homotopietheorie, Hogere Categorieën, Operadentheorie, Differentieel Gecombineerde (dg) Algebra.

---

1. Het Probleem: Rectificatie van Coalgebra's

In de hogere categorietheorie worden veel constructies natuurlijk gepresenteerd via $\infty$-categorieën. Een "point-set model" (punt-set model) is een 1-categorie met een klasse van zwakke equivalenties die deze $\infty$-categorie presenteert. Het hebben van zo'n model is cruciaal voor expliciete berekeningen (zoals limieten, colimieten en afgeleide functors) binnen de klassieke theorie van modelcategorieën.

Voor algebra's over operaden is dit probleem goed opgelost door rectificatietheorema's (zoals die van Lurie). Deze stellen dat elke homotopie-coherente algebra (bijv. een $E_\infty$-algebra) kan worden "gerectificeerd" tot een strikt object (een algebra over een strikte operad) binnen een geschikte modelcategorie.

Voor coalgebra's is dit echter fundamenteel moeilijker en tot nu toe onopgelost voor algemene operaden:

1. Geen gesloten monoidale structuur: De standaard strategie voor algebra's maakt gebruik van de Barr-Beck-Lurie stelling, die vereist dat de tegenovergestelde categorie ($\mathcal{C}^{op}$) een goed gedragen monoidale structuur heeft. Voor de meeste natuurlijke monoidale categorieën (zoals ketencomplexen) is de tegenovergestelde categorie echter niet gesloten, waardoor de theorie voor algebra's niet direct vertaalbaar is.
2. Complexiteit van cofrije constructies: De constructie van een "cofrije coalgebra" is extreem ingewikkeld en vaak niet expliciet berekenbaar, in tegenstelling tot de vrije algebra.
3. Afwijking van intuïtie: Voorbeelden tonen aan dat coalgebra's in de $\infty$-wereld zich anders gedragen dan in de strikte 1-wereld. Bijvoorbeeld, in de $\infty$-categorie van spectra zijn coassociatieve coalgebra's niet noodzakelijk cocommutatief, terwijl dit in veel strikte 1-categorieën van spectra wel het geval is.

Het centrale vraagstuk is: Bestaat er een punt-set model voor homotopie-coherente coalgebra's over een cofibrante operad, en is dit equivalent aan de $\infty$-categorie van dergelijke coalgebra's?

---

2. Methodologie

De auteurs ontwikkelen een nieuwe aanpak die de beperkingen van de klassieke rectificatiestrategieën omzeilt. Hun methode bestaat uit drie hoofdblokken:

A. Definitie van Coalgebra's over verrijkte $\infty$-operaden

Om een vergelijking te maken tussen punt-set modellen en $\infty$-categorieën, moeten ze eerst een goede definitie van coalgebra's over een verrijkte $\infty$-operad $\mathcal{P}$ geven.

• Ze gebruiken de duale Schur-functie ($\bar{S}c$), die een operad afbeeldt op een comonad. In de $\infty$-wereld is deze funktor echter slechts lax monoidaal, wat het definiëren van coalgebra's bemoeilijkt.
• Om dit op te lossen, volgen ze een aanpak van Heuts: ze verlengen de duale Schur-functie naar de categorie van pro-objecten ($\text{pro}(\mathcal{D})$).
• Op de categorie van pro-objecten wordt de duale Schur-functie sterk monoidaal, waardoor een goed gedefinieerde comonad ontstaat.
• De $\infty$-categorie van $\mathcal{P}$-coalgebra's wordt gedefinieerd als de pullback van de categorie van coalgebra's over deze comonad in $\text{pro}(\mathcal{D})$ langs de inductie van $\mathcal{D}$ in $\text{pro}(\mathcal{D})$.

B. Dévissage (Ontleding) via Cellulaire Attachments

In plaats van te proberen een rectificatie voor alle operaden in één keer te bewijzen, gebruiken ze een inductieve aanpak gebaseerd op de cellulaire structuur van cofibrante operaden:

1. Vrije operaden: Ze tonen eerst aan dat het resultaat geldt voor vrije operaden (die corresponderen met coalgebra's over een endofunctor). Hier gebruiken ze een vergelijking tussen de lokale categorie van punt-set coalgebra's en de $\infty$-categorie van coalgebra's over de geïnduceerde endofunctor.
2. Cellulaire attachments: Ze bewijzen dat als een operad $P$ rectificeerbaar is, en men een pushout maakt met een genererende cofibratie (een "cel" toevoegen), het resulterende operad $P'$ ook rectificeerbaar is.
3. Retracten: Omdat elke cofibrante operad een retract is van een cellulaire operad, volgt het resultaat voor alle cofibrante operaden.

De kern van dit bewijs ligt in het feit dat de functor die een operad afbeeldt op zijn categorie van coalgebra's, colimieten in operaden omzet in limieten in categorieën. Ze tonen aan dat deze limieten homotopielimieten zijn van quasi-categorieën.

C. Toepassing op $E_\infty$-coalgebra's

Ze passen deze theorie specifiek toe op de Barratt-Eccles operad ($E$), die een model is voor de $E_\infty$-operad. Omdat $E$ zelf niet cofibrant is als operad, gebruiken ze een cofibrante resolutie $\Omega B E \to E$.

---

3. Belangrijkste Resultaten en Stellingen

Het artikel presenteert een reeks fundamentele stellingen:

• Stelling A (Rectificatie voor $A_\infty$-coalgebra's): Voor een veld $k$ is de $\infty$-categorie van $A_\infty$-coalgebra's in de afgeleide $\infty$-categorie $D(k)$ equivalent aan de lokale categorie van strikte $A_\infty$-coalgebra's (met strikte morfismen) in de categorie van ketencomplexen, geïsoleerd op quasi-isomorfismen.
  $$\text{Coalg}(D(k)) \simeq A_\infty\text{-coalg}[Q.iso^{-1}]$$
  Dit betekent dat men expliciete punt-set modellen kan gebruiken om met homotopie-coherente coalgebra's te werken.

• Stelling B (Vergelijking met Lurie's definitie): De door de auteurs gedefinieerde $\infty$-categorie van coalgebra's over een verrijkte $\infty$-operad is equivalent aan de klassieke definitie van Lurie (via dualisatie van algebra's) wanneer de operad uit de ruimte van operaden komt.

• Stelling C (Algemene Rectificatie): Voor elke cofibrante dg-operad $\mathcal{P}$ over een veld $k$ bestaat er een equivalentie:
  $$\mathcal{P}\text{-coalg}[Q.iso^{-1}] \simeq \text{Coalg}_{\mathcal{P}}(D(k))$$
  Dit is het hoofdstuk van het artikel: het biedt een punt-set model voor homotopie-coherente coalgebra's over elke cofibrante operad.

• Stelling D (Cellulaire ketenfunctor): De functor van cellulaire ketens $C_*(-; k)$, uitgerust met zijn $E_\infty$-coalgebra-structuur (geconstrueerd via de Barratt-Eccles operad), is een punt-set model voor de $\infty$-categorische ketenfunctor.

---

4. Toepassingen en Betekenis

De resultaten hebben directe en diepgaande gevolgen voor de algebraïsche topologie, met name in de $p$-adische homotopietheorie:

1. Oplossing van een open probleem: Voorheen was er geen manier om met de $\infty$-categorie van $E_\infty$-coalgebra's te werken binnen de klassieke taal van modelcategorieën. Dit artikel levert die modellen.

2. Versterking van Mandell's Theorema: Mandell bewees dat de cochainfunctor een volledig getrouwe inbedding is van $p$-complete nilpotente ruimtes (met eindig type) in $E_\infty$-algebra's. Bachmann en Burklund ([BB24]) veralgemeenden dit recent tot de ketenfunctor en $E_\infty$-coalgebra's, maar dan puur op $\infty$-categorisch niveau en zonder de "eindig type" beperking.

   • Dankzij dit artikel kan het resultaat van Bachmann-Burklund nu worden "gelift" naar het punt-set niveau.
   • Corollary 1.15: Voor een separabel gesloten veld $k$ van karakteristiek $p > 0$, is de eenheid van de adjunctie tussen punt-gebaseerde simpliciale verzamelingen en absolute partition $L_\infty$-algebra's een equivalentie in homologie met coëfficiënten in $\mathbb{F}_p$.
   • Dit stelt onderzoekers in staat om nilpotente $p$-adische homotopietypes (zonder de beperking tot eindig type) expliciet te modelleren met algebraïsche objecten (coalgebra's en $L_\infty$-algebra's).

3. Unificatie van Bar-Cobar Adjuncties: De auteurs vermelden dat hun werk de basis vormt voor een toekomstig artikel ([PRiLY26]) dat een unificerend kader biedt voor alle bar-cobar adjuncties in de literatuur, zowel in de 1-categorische als de $\infty$-categorische setting.

Conclusie

Dit artikel is een mijlpaal in de homotopietheorie. Het overbrugt de kloof tussen de abstracte, maar krachtige $\infty$-categorische theorie van coalgebra's en de concrete, berekenbare wereld van differentieel gecombineerde algebra. Door een nieuw punt-set model te construeren voor homotopie-coherente coalgebra's over cofibrante operaden, maken ze het mogelijk om complexe topologische structuren (zoals $p$-adische homotopietypes) te bestuderen met klassieke algebraïsche middelen, zonder de beperkingen van "eindig type" of "strikt cocommutatief".