Unifying Koszul dualities via point-set models

Resumo Técnico: Unificando Dualidades de Koszul via Modelos de Ponto-Set

1. O Problema

A dualidade de Koszul, especificamente a adjunção bar-cobar entre álgebras e coalgebras, é um pilar da álgebra homológica e da topologia algébrica. Historicamente, essa adjunção foi desenvolvida no nível de cadeias (nível "point-set") por Cartan, Eilenberg e Moore, estabelecendo uma equivalência entre álgebras dg (diferenciais graduadas) aumentadas e coalgebras dg co-aumentadas conilpotentes.

Recentemente, no contexto da teoria de homotopia moderna, surgiram generalizações $\infty$-categóricas dessa adjunção, notavelmente por Lurie, Francis-Gaitsgory e Heuts. No entanto, existe uma lacuna fundamental na literatura:

1. Incompatibilidade: Não há uma comparação explícita entre as construções clássicas de nível de cadeias e suas contrapartes $\infty$-categóricas.
2. Discrepâncias Estruturais: As construções $\infty$-categóricas (como a de Lurie) frequentemente não coincidem com as construções algébricas clássicas quando especializadas para a categoria derivada $D(k)$. Por exemplo, a direção da adjunção (esquerda vs. direita) e a necessidade de condições de conilpotência diferem.
3. Falta de Modelos Quillen: Embora as construções $\infty$-categóricas sejam poderosas, a falta de modelos "point-set" (Quillen) explícitos dificulta o cálculo e a compreensão detalhada das estruturas homotópicas subjacentes.

O objetivo central do artigo é fornecer um framework unificado que relacione essas diferentes formas de dualidade de Koszul no contexto diferencial graduado (dg), construindo modelos explícitos que recuperem e expliquem as construções $\infty$-categóricas.

2. Metodologia

Os autores utilizam uma abordagem híbrida que combina:

• Álgebra Operádica Clássica: Trabalham com operados dg ($P$) e cooperados dg ($C$), focando em estruturas de álgebras e coalgebras sobre eles.
• Teoria de Modelos Quillen: Constroem estruturas de modelo em categorias de álgebras e coalgebras, transferidas a partir da categoria de complexos de cadeias.
• Técnicas de Completamento: Introduzem e utilizam o conceito de álgebras absolutas (ou álgebras completas), onde somas infinitas de operações são bem-definidas, em contraste com álgebras convencionais que exigem conilpotência (somas finitas).
• Diagramas de Adjuntos (Quadrados de Inclusão-Restrição): A ideia central é construir um quadrado comutativo de adjunções que interliga:
  1. A adjunção bar-cobar clássica (álgebras dg $\rightleftarrows$ coalgebras dg conilpotentes).
  2. A adjunção bar-cobar completa (álgebras dg absolutas $\rightleftarrows$ coalgebras dg não-conilpotentes).
  3. Funções de inclusão e restrição entre essas categorias.

A metodologia envolve a demonstração de que, ao localizar essas categorias em relação a quasi-isomorfismos (passando para o nível $\infty$-categórico), as adjunções Quillen induzem adjunções $\infty$-categóricas que coincidem com as de Lurie, Francis-Gaitsgory e Heuts.

3. Contribuições Chave e Resultados Principais

A. O Quadrado de Inclusão-Restrição (Theorem A, B, C)
Os autores constroem um quadrado comutativo de adjunções Quillen:
$$\begin{array}{ccc} \text{dg P-alg} & \xrightarrow{B} & \text{dg } \Omega P^*\text{-coalg} \\ \downarrow{\text{cAbs}} & & \uparrow{\text{Sub}} \\ \text{dg } P^*\text{-alg}^{\text{comp}} & \xrightarrow{\text{Res}} & \text{dg } \Omega P^*\text{-coalg} \end{array}$$

• Funções:
  • $B$ e $\Omega$: Adjunção bar-cobar clássica.
  • $\text{cAbs}$ e $\text{Res}$: Adjunção entre álgebras dg e álgebras dg absolutas (completas).
  • $\text{Inc}$ e $\text{Sub}$: Inclusão de coalgebras conilpotentes em coalgebras gerais e subcoalgebra conilpotente máxima.
• Resultado: Ao passar para o nível $\infty$-categórico (localizando em quasi-isomorfismos), a composição das adjunções laterais e horizontais recupera a adjunção bar-cobar $\infty$-categórica de Lurie.
• Teorema B: O unidade da adjunção $\infty$-categórica é identificada como o functor de completamento derivado, e o counidade como o functor de subcoalgebra conilpotente máxima derivada.

B. Unificação com as Construções de Lurie e Heuts (Theorem D, F)

• O artigo prova que a adjunção construída via modelos point-set coincide com a adjunção considerada por Heuts em [Heu24] para o caso $C = D(k)$.
• Eles demonstram que a adjunção de Francis-Gaitsgory (enhanced bar-cobar) é um fator universal que surge da composição da adjunção clássica com uma localização de Bousfield.
• Teorema F: Apresentam um "quadrado de inclusão-restrição $\infty$-categórico" que comuta, unificando as adjunções enhanced bar-cobar (Francis-Gaitsgory) e sua versão dual completa.

C. Completude Homotópica e Operados com "Boas Completudes" (Section 6)

• Introduzem definições precisas de álgebras homotopicamente completas e coalgebras homotopicamente co-completas.
• Provam que a adjunção bar-cobar $\infty$-categórica restringe-se a uma equivalência entre essas duas subcategorias.
• Analisam a noção de operados com boas completudes (onde álgebras triviais são homotopicamente completas).
  • Mostram que operados Koszul (como Ass, Com, Lie) possuem boas completudes.
  • Fornecem o primeiro contra-exemplo explícito de um operado dg que não possui boa completude (o operado livre gerado por um cooperado trivial em certas condições), demonstrando que a equivalência não é universal para todos os operados.

D. Modelos Point-Set para $E_n$-álgebras (Section 7)

• O artigo fornece modelos explícitos de nível de cadeias para a adjunção bar-cobar de Lurie para $E_1$-álgebras (álgebras associativas) e, em característica zero, para $E_n$-álgebras (via operados de Poisson).
• Isso resolve a questão de como calcular explicitamente os funtores bar e cobar de Lurie no contexto diferencial graduado.

4. Significado e Impacto

1. Ponte entre Clássico e Moderno: O trabalho fecha a lacuna entre a álgebra homológica clássica (nível de cadeias) e a teoria de homotopia $\infty$-categórica moderna. Ele mostra que as construções $\infty$-categóricas não são entidades abstratas desconectadas, mas podem ser modeladas e compreendidas através de construções algébricas concretas envolvendo completamentos e restrições.
2. Resolução de Problemas de Rectificação: O artigo esclarece por que a "rectificação" de coalgebras conilpotentes (passar de modelos point-set para $\infty$-categorias) falha em geral, mas funciona sob condições específicas (como operados com boas completudes ou em graus conectivos).
3. Ferramentas Computacionais: Ao fornecer modelos Quillen explícitos, o artigo permite que pesquisadores realizem cálculos homológicos concretos em contextos que antes eram acessíveis apenas através de abstrações $\infty$-categóricas.
4. Generalização: As técnicas desenvolvidas são aplicáveis a uma vasta gama de operados e cooperados, oferecendo um framework robusto para estudar dualidades de Koszul em diferentes contextos (característica zero ou positiva, operados simétricos ou não-simétricos).

Em suma, o artigo é uma contribuição fundamental que organiza o caos de definições de dualidade de Koszul, mostrando que todas as versões modernas (Lurie, Heuts, Francis-Gaitsgory) são facetas de uma única estrutura unificada que pode ser descrita e manipulada no nível de cadeias através de um quadrado de adjunções Quillen.