Point-set models for homotopy coherent coalgebras

Resumen Técnico: Modelos de Punto-Conjunto para Coalgebras Homotópicamente Coherentes

1. El Problema: La Rectificación de Coalgebras

El objetivo central del artículo es establecer un teorema de rectificación para coalgebras homotópicamente coherentes en el contexto de la teoría de homotopía algebraica.

• Contexto: En la teoría de categorías superiores ($\infty$-categorías), las estructuras algebraicas (como álgebras y coalgebras) se definen de manera "débil" o "homotópica". Sin embargo, para realizar cálculos explícitos, es deseable trabajar con modelos de punto-conjunto (1-categorías con una estructura de modelo de Quillen) que presenten estas $\infty$-categorías.
• El Desafío de las Álgebras vs. Coalgebras:
  • Para las álgebras, existe un teorema de rectificación bien establecido (Lurie, etc.): bajo ciertas condiciones, la $\infty$-categoría de álgebras sobre un operad es equivalente a la localización de la categoría de punto-conjunto de álgebras estrictas. Esto se debe a que la construcción de álgebras libres es manejable (functor de Schur).
  • Para las coalgebras, la situación es mucho más compleja. La construcción de coalgebras cofre (libres) es extremadamente intrincada y, en muchos casos, no existe una fórmula simple. Además, la estructura monoidal de la categoría opuesta (necesaria para definir coalgebras como álgebras en $C^{op}$) a menudo falla en ser "cerrada" o presentable, lo que rompe las estrategias estándar de rectificación.
• La Pregunta: ¿Es posible presentar la $\infty$-categoría de coalgebras homotópicamente coherentes sobre un operad mediante una categoría de punto-conjunto (modelos de cadenas diferenciales graduadas) localizada en cuasi-isomorfismos?

2. Metodología y Enfoque

Los autores desarrollan una estrategia que evita la construcción directa de coalgebras cofre, utilizando en su lugar una combinación de teoría de operados, categorías enriquecidas y técnicas de descomposición (dévissage).

• Definición de Coalgebras en $\infty$-Categorías Enriquecidas:

  • Siguiendo a Heuts, definen las coalgebras sobre un $\infty$-operad enriquecido $P$ en una categoría estable $D$ (como $D(k)$, la categoría derivada de complejos de cadenas sobre un cuerpo).
  • Utilizan el functor de Schur dual ($\overline{Sc}$), que es solo laxo monoidal, lo que impide definir directamente una comonada. Para resolver esto, extienden el functor a la categoría de objetos pro ($pro(D)$), donde el functor dual de Schur se vuelve monoidal fuerte, permitiendo definir una comonada y, por tanto, las coalgebras.
  • La categoría de coalgebras $P$-coalgebras se define como un pullback en la categoría de $\infty$-categorías entre $D$ y las coalgebras sobre la comonada en $pro(D)$.

• Estrategia de Rectificación por Celdas (Inducción):
  En lugar de intentar probar la equivalencia global de una vez, los autores utilizan una inducción sobre la construcción de operados cofibrantes:

  1. Operados Libres: Demuestran que para un operado libre $T(M)$, la categoría de coalgebras es equivalente a la localización de las coalgebras sobre el functor endo asociado. Esto se logra comparando modelos de punto-conjunto con pullbacks homotópicos en espacios de Segal completos.
  2. Adjuntación de Celdas: Utilizan el hecho de que el functor que asigna a un operad su categoría de coalgebras convierte colímites en límites. Esto permite "descomponer" la categoría de coalgebras de un operado cofibrante (construido como un colímite de adjuntaciones de celdas) en un límite de categorías de coalgebras de operados más simples.
  3. Retracciones: Extienden el resultado a cualquier operad cofibrante, ya que estos son retratos de operados cuasi-libres (construidos por celdas).

• Herramientas Técnicas Clave:

  • Uso de categorías relativas y el nervio subdividido ($N_\xi$) para modelar $\infty$-categorías y demostrar que ciertos pullbacks de categorías de punto-conjunto son en realidad pullbacks homotópicos.
  • Propiedades de fibraciones de isomorfismos (isofibrations) en categorías de cuasi-categorías para asegurar que las transiciones en la inducción preservan la estructura homotópica.

3. Contribuciones y Resultados Principales

Teorema A (Rectificación para Operados Libres y Cofibrantes):
Sea $k$ un cuerpo y $D(k)$ la $\infty$-categoría derivada de complejos de cadenas sobre $k$. Para cualquier operad dg cofibrante $P$ sobre $k$, existe una equivalencia de $\infty$-categorías:
$$P\text{-coalg}[Q.iso^{-1}] \simeq \text{Coalg}_P(D(k))$$
Donde el lado izquierdo es la localización de la categoría de punto-conjunto de coalgebras dg $P$-estrictas (con morfismos estrictos) respecto a las cuasi-isomorfismos, y el lado derecho es la $\infty$-categoría de coalgebras homotópicamente coherentes definida mediante el operad enriquecido inducido.

Teorema B (Consistencia con la Definición de Lurie):
La definición de coalgebras sobre un operad enriquecido propuesta por los autores es equivalente a la definición estándar de coalgebras sobre un operad clásico (en el sentido de Lurie) cuando se trabaja en la categoría derivada. Esto valida la definición propuesta como la correcta en el contexto enriquecido.

Teorema D (Modelo de Punto-Conjunto para la Cadena Celular):
Proporcionan un modelo explícito de punto-conjunto para el functor de cadenas singulares $C_*(-; k)$ junto con su estructura de coalgebra $E_\infty$.

• Utilizan el operad dg de Barratt-Eccles ($E$) y su resolución cofibrante $\Omega B E$.
• El functor $C_*(-; k): sSet \to \Omega B E\text{-coalg}$ es un modelo de punto-conjunto para el functor de cadenas en el nivel $\infty$.

4. Aplicaciones y Significado

Modelos para Tipos de Homotopía $p$-ádicos:
El resultado más impactante es la aplicación a la topología algebraica $p$-ádica.

• Teorema de Mandell (Refinado): El teorema clásico de Mandell establece que las co-cadenas singulares $C^*(X; \mathbb{F}_p)$ capturan completamente los tipos de homotopía $p$-ádicos de espacios nilpotentes de tipo finito.
• Avance de Bachmann-Burklund: Recientemente, Bachmann y Burklund demostraron que las cadenas singulares $C_*(X; \mathbb{F}_p)$ (sin dualizar) capturan los tipos de homotopía $p$-ádicos de espacios nilpotentes sin la hipótesis de tipo finito.
• Contribución de este artículo: El teorema de rectificación de los autores permite llevar el resultado de Bachmann-Burklund al nivel de punto-conjunto. Esto significa que ahora se pueden construir modelos algebraicos explícitos (usando coalgebras dg sobre el operad $\Omega B E$) para tipos de homotopía $p$-ádicos que no son de tipo finito, algo que antes solo era posible en el nivel abstracto de $\infty$-categorías.

Implicaciones para la Dualidad de Koszul:
Los autores mencionan que estos modelos son fundamentales para unificar las adjunciones bar-cobar en la literatura (tanto 1-categóricas como $\infty$-categóricas), permitiendo trabajar con modelos de punto-conjunto para la dualidad entre álgebras y coalgebras en contextos de característica cero y positiva.

Eliminación de Hipótesis de Finitud:
Gracias a estos modelos, se pueden eliminar las hipótesis de "tipo finito" y "conexidad" en trabajos previos (como [RiL24]) que utilizaban álgebras $L_\infty$ absolutas para modelar espacios $p$-ádicos, extendiendo la validez de estos resultados a una clase mucho más amplia de espacios nilpotentes.

Conclusión

Este artículo resuelve un problema abierto fundamental en el álgebra homotópica: la falta de modelos de punto-conjunto manejables para coalgebras homotópicamente coherentes. Al desarrollar una definición robusta de coalgebras enriquecidas y probar un teorema de rectificación mediante una inducción sobre celdas, los autores no solo unifican la teoría de operados y coalgebras, sino que habilitan el uso de herramientas computacionales clásicas (modelos de cadenas diferenciales) para estudiar tipos de homotopía $p$-ádicos complejos y no finitos, cerrando la brecha entre la teoría abstracta de $\infty$-categorías y la práctica algebraica concreta.