Point-set models for homotopy coherent coalgebras

Resumo Técnico: Modelos de Conjunto de Pontos para Coálgebras Homotopicamente Coerentes

1. O Problema e o Contexto

O artigo aborda um problema fundamental na álgebra homotópica e na teoria de categorias de ordem superior: a rectificação de coálgebras.

• O Contexto: Em teoria de categorias, muitas construções (como álgebras sobre operados) possuem "modelos de conjunto de pontos" (point-set models) bem comportados, como estruturas de modelo de Quillen. Por exemplo, o teorema de rectificação de Lurie estabelece que as $E_1$-álgebras em uma categoria monoidal $\infty$ podem ser representadas por álgebras estritamente associativas em um modelo de conjunto de pontos, sob certas hipóteses.
• A Dificuldade com Coálgebras: Ao contrário das álgebras, a rectificação de coálgebras é extremamente problemática.
  • A construção de uma coálgebra cofruta (cofree coalgebra) é intrincada e, em muitos casos, não possui uma fórmula simples como a das álgebras livres.
  • Em categorias monoidais fechadas, o produto tensorial preserva colimites (essencial para álgebras), mas não necessariamente limites (essencial para coálgebras).
  • Exemplos mostram que tentar rectificar coálgebras coassociativas estritas em espaços ou espectros falha: a estrutura homotópica coerente (como a de coálgebras $E_\infty$) não pode ser rigidificada para uma estrutura estrita sem perder informações homotópicas cruciais.
• A Questão Central: É possível encontrar um modelo de conjunto de pontos (ex: coálgebras dg sobre um operado) que apresente a categoria $\infty$ de coálgebras homotópicas (localizadas em quasi-isomorfismos) para coálgebras sobre operados cofibrantes?

2. Metodologia e Abordagem

Os autores desenvolvem uma estratégia inovadora que evita a dependência direta da construção de coálgebras cofrutas, que é computacionalmente difícil. A metodologia baseia-se em três pilares principais:

1. Definição de Coálgebras sobre Operados $\infty$ Enriquecidos:

   • Os autores definem rigorosamente a categoria $\infty$ de coálgebras sobre um operado $\infty$ enriquecido em uma categoria estável monoidal simétrica $D$ (como a categoria derivada de complexos de cadeias).
   • Eles utilizam o functor de Schur dual ($\bar{Sc}$), que associa a uma sequência simétrica um endofunctor. No entanto, como $\bar{Sc}$ é apenas lax monoidal, ele não gera um comonad direto.
   • Para contornar isso, eles estendem o functor de Schur dual para a categoria de pro-objetos ($pro(D)$), onde se torna um functor monoidal forte. A categoria de coálgebras é então definida como um pullback entre a categoria base $D$ e as coálgebras sobre o comonad em $pro(D)$.

2. Técnica de "Dévissage" (Desmontagem por Células):

   • Em vez de tentar provar a rectificação para qualquer operado de uma vez, os autores utilizam uma indução sobre a construção de operados cofibrantes.
   • Operados cofibrantes são retratos de operados "quasi-livres", que são construídos como colimites iterados de anexações de células (pushouts de operados livres).
   • Eles demonstram que o functor que leva um operado à sua categoria de coálgebras transforma colimites de operados em limites de categorias (tanto a nível 1-categórico quanto $\infty$-categórico).

3. Prova por Indução em Anexações de Células:

   • Base: Eles provam a rectificação para operados livres (gerados por uma sequência simétrica cofibrante). Neste caso, as coálgebras são equivalentes a coálgebras sobre um endofunctor, onde a rectificação é mais tratável.
   • Passo Indutivo: Eles mostram que, se um operado $P$ é rectificável, e $P'$ é obtido de $P$ por uma anexação de célula (pushout ao longo de uma cofibração geradora), então $P'$ também é rectificável. Isso é feito analisando o diagrama de pullback das categorias de coálgebras e provando que ele induz um homotopy pullback de quasi-categorias.

3. Principais Contribuições e Resultados

• Teorema A (Rectificação para Operados Livres e Cofibrantes):
  Seja $k$ um corpo e $D(k)$ a categoria derivada $\infty$ de complexos de cadeias sobre $k$. Para qualquer operado dg cofibrante $P$, existe uma equivalência de categorias $\infty$:
  $$P\text{-coalg} [Q.iso^{-1}] \simeq \text{Coalg}_P(D(k))$$
  Onde o lado esquerdo é a categoria de coálgebras dg sobre $P$ localizadas em quasi-isomorfismos, e o lado direito é a categoria $\infty$ de coálgebras sobre o operado $\infty$ enriquecido induzido por $P$.

• Teorema B (Consistência com a Definição de Lurie):
  A definição de coálgebras sobre operados enriquecidos proposta pelos autores é compatível com a definição padrão de coálgebras de Lurie (via dualidade de categorias) quando o operado vem de espaços (não-enriquecido).

• Teorema D (Modelo de Conjunto de Pontos para Cadeias Singulares):
  Os autores constroem um modelo explícito de conjunto de pontos para o functor de cadeias singulares $C_*(-; k)$ equipado com sua estrutura de coálgebra $E_\infty$. Eles utilizam o operado dg de Barratt-Eccles ($E$) e sua resolução cofibrante $\Omega BE$. O functor:
  $$C_*(-; k): sSet \to \Omega BE\text{-coalg}$$
  é um modelo de conjunto de pontos para o functor de cadeias na categoria $\infty$.

• Aplicação a Tipos de Homotopia $p$-ádicos:
  Combinando seus resultados com o teorema de Bachmann-Burklund (que estabelece que as cadeias singulares codificam fielmente tipos de homotopia $p$-ádicos nilpotentes), os autores fornecem modelos algébricos explícitos de conjunto de pontos para tipos de homotopia $p$-ádicos nilpotentes.

  • Isso remove a hipótese de "tipo finito" que era necessária em teoremas anteriores (como os de Mandell para co-cadeias).
  • Permite trabalhar com coálgebras e álgebras de Lie $L_\infty$ absolutas para modelar espaços sem restrições de finitude.

4. Significado e Impacto

• Superação de Obstáculos Técnicos: O trabalho contorna a dificuldade histórica de definir e trabalhar com coálgebras homotópicas em modelos de conjunto de pontos, fornecendo uma ferramenta computacional robusta onde antes havia apenas abstrações $\infty$-categóricas.
• Unificação de Dualidades: A metodologia permite uma abordagem unificada para adjunções bar-cobar (álgebras vs. coálgebras) em contextos de homotopia, conectando a teoria de operados, álgebras de Lie e topologia algébrica.
• Aplicações em Topologia Algébrica: A capacidade de modelar tipos de homotopia $p$-ádicos (incluindo espaços não de tipo finito) via coálgebras dg oferece novas perspectivas para a classificação de espaços e o estudo de invariantes homotópicos.
• Fundamentação Teórica: A definição de coálgebras sobre operados enriquecidos via pro-objetos estabelece um novo padrão rigoroso para lidar com estruturas coalgebraicas em contextos enriquecidos, preenchendo uma lacuna na literatura entre a teoria de operados clássica e a teoria de categorias $\infty$.

Em resumo, o artigo demonstra que, embora a rectificação de coálgebras seja impossível em geral para operados arbitrários, ela é perfeitamente viável e bem-comportada para operados cofibrantes, permitindo a tradução de problemas complexos de homotopia em cálculos algébricos concretos em complexos de cadeias.