Resumo Técnico: Dualidade de Koszul Categorificada de Álgebras

1. Problema e Contexto

A dualidade de Koszul é uma dualidade clássica entre álgebras associativas aumentadas, estabelecendo conexões profundas entre objetos algébricos aparentemente distintos. No cenário clássico, para uma $k$-álgebra associativa aumentada $A$, o dual de Koszul $D_1(A)$ é definido como a álgebra de endomorfismos derivados $\text{End}_A(k)$. Sob condições favoráveis, o mapa de bidualidade $A \to D_1(D_1(A))$ é uma equivalência, e existe uma equivalência do tipo Fourier–Morita entre as categorias de módulos sobre $A$ e $D_1(A)$.

Este artigo aborda a categorificação desta dualidade. O problema central é generalizar a dualidade de Koszul de álgebras para $\infty$-categorias estáveis monoidais. Neste framework, $\infty$-categorias monoidais estáveis desempenham o papel de álgebras associativas, e $\infty$-categorias de módulos desempenham o papel de módulos. Especificamente, o artigo investiga os fenômenos de dualidade entre $\infty$-categorias monoidais associadas a álgebras de Artin e álgebras sobre o operad dos pequenos discos 2 ($E_2$-álgebras).

2. Metodologia e Framework

O autor utiliza a linguagem de $(\infty, 1)$-categorias (quasi-categorias) e álgebra superior, utilizando a teoria de operads e $\infty$-categorias estáveis.

2.1. Aumento Categorificado e Dual

Seja $k$ um corpo base e $\text{Mod}_k$ a $\infty$-categoria estável de espectros de módulos de $k$. O artigo considera uma $\infty$-categoria monoidal $\mathcal{A}$ equipada com um funtor monoidal $\mathcal{A} \to \text{Mod}_k$, vista como um análogo categorificado de um aumento de álgebra $A \to k$.
O dual de Koszul de $\mathcal{A}$ é definido como a $\infty$-categoria de endomorfismos monoidais:
$$D(\mathcal{A}) = \text{End}_{\mathcal{A}}(\text{Mod}_k)$$
Esta categoria classifica funtores de módulos-$\mathcal{A}$ $\text{Mod}_k \to \text{Mod}_k$, com a estrutura monoidal induzida pela composição.

2.2. Foco em Álgebras de Artin e $E_2$

O estudo foca no caso onde $\mathcal{A} = \text{LMod}_A$, a $\infty$-categoria estável de módulos à esquerda sobre uma $E_2$-álgebra aumentada (ou uma álgebra de Artin). O artigo utiliza:

• Dualidade de Koszul $E_n$: A dualidade clássica $D_n$ para $E_n$-álgebras aumentadas.
• Sheaves Ind-coerentes: A $\infty$-categoria $\text{Ind}(\text{LCoh}(A))$ de sheaves ind-coerentes em $A$, que generaliza sheaves coerentes para o cenário não-conectivo e derivado.
• $t$-estruturas: Uma análise detalhada de $t$-estruturas completas à esquerda e à direita, particularmente as $t$-estruturas "padrão" e "dual padrão" em categorias de módulos e categorias de sheaves ind-coerentes.
• Algebraização: O uso do funtor $\Theta_k$ (adjunto à esquerda do funtor de álgebra de endomorfismos $E_k$) para relacionar $\infty$-categorias monoidais de volta a álgebras.

3. Contribuições Principais e Resultados

3.1. Identificação do Dual de Koszul com Sheaves Ind-coerentes

O artigo estabelece uma equivalência canônica entre o dual de Koszul da categoria de módulos sobre uma álgebra dual de Koszul $E_2$ e a categoria de sheaves ind-coerentes.

• Teorema 1.2 (Teorema 3.6): Se $A$ é uma álgebra $E_2$ de Artin, há uma equivalência canônica de $\infty$-categorias monoidais:
  $$D(\text{LMod}_{D_2(A)}) \simeq \text{Ind}(\text{LCoh}(A))$$
  Aqui, $D_2(A)$ é o dual de Kosul $E_2$ de $A$. Este resultado identifica a $\infty$-categoria monoidal de sheaves ind-coerentes como o dual de Kosul categorificado da $\infty$-categoria de módulos comuns de $D_2(A)$. A estrutura monoidal em $\text{Ind}(\text{LCoh}(A))$ é interpretada como a composição de funtores $\text{Mod}_k \to \text{Mod}_k$.

3.2. Bidualidade e Completude à Direita

O artigo investiga o mapa de bidualidade para categorias de módulos. Diferente do caso clássico onde $A \simeq D_1(D_1(A))$ ocorre diretamente, a versão categorificada requer completude.

• Teorema 1.1 (Teorema 4.13): Se $A$ é de Artin, o mapa de bidualidade
  $$\delta_{\text{LMod}_A} : \text{LMod}_A \to D(D(\text{LMod}_A))$$
  torna-se uma equivalência após passar para a completude à direita do alvo. Especificamente, se $D_t^+$ denota a composição do funtor dual de Kosul $D$ seguido pela completude à direita, então:
  $$\text{LMod}_A \simeq D_t^+(D_t^+(\text{LMod}_A))$$
  Esta é uma generalização categórica da bidualidade clássica $A \simeq D_1(D_1(A))$.

3.3. Completude à Esquerda e $E_2$-Módulos

O artigo relaciona a categoria de módulos sobre o dual de Kosul $E_2$ com a completude à esquerda da categoria de módulos original.

• Teorema 1.3: Existe uma equivalência de $\infty$-categorias monoidais:
  $$\widehat{b}_L(\text{LMod}_{D_2(A)}) \simeq D_t^+(D_t^+(\text{LMod}_{D_2(A)}))$$
  onde $\widehat{b}_L$ denota a completude à esquerda em relação à $t$-estrutura padrão. O artigo nota que a $t$-estrutura padrão em $\text{LMod}_{D_2(A)}$ geralmente não é completa à esquerda.

3.4. Características Estruturais e $t$-estruturas

Os resultados revelam características estruturais sutis da dualidade categorificada:

• O dual de Kosul $D(\text{LMod}_A)$ está relacionado à completude à esquerda de $\text{LMod}_{D_2(A)}$.
• O artigo distingue entre a $t$-estrutura "padrão" (determinada pela parte conectiva) e a $t$-estrutura "dual padrão" (determinada pela menor subcategoria contendo a unidade e fechada sob colimites).
• É mostrado que, para certas álgebras de Artin (ex: extensões de quadrado nulo trivial), a $t$-estrutura na categoria dual não é separada à direita e, portanto, não é completa à direita, necessitando do funtor de completude à direita no teorema de bidualidade.

4. Significância e Alegações

O artigo alega que seus resultados fornecem uma generalização categórica da dualidade de Kosul clássica para módulos. Ao substituir módulos por categorias e sheaves por sheaves de categorias, o trabalho estende o paradigma da dualidade para o domínio das $\infty$-categorias estáveis.

Aspectos principais da significância destacados no texto incluem:

1. Interpretação Geométrica: A equivalência $D(\text{LMod}_{D_2(A)}) \simeq \text{Ind}(\text{LCoh}(A))$ fornece uma interpretação geométrica da estrutura monoidal de sheaves ind-coerentes como composição de funtores.
2. Refinamento da Dualidade: Os resultados demonstram que a dualidade de Kosul categorificada possui características mais sutis do que a dualidade entre $A$ e $D_2(A)$. Especificamente, o dual da categoria de módulos não é simplesmente a categoria de módulos da álgebra dual, mas sim a categoria de sheaves ind-coerentes.
3. Conexão com Teoria de Deformação: O artigo nota que estes resultados são motivados e conectados a invariantes categóricos de modelos de Landau–Ginzburg (ex: fatorizações de matrizes) e a teoria de deformação de $\infty$-categorias estáveis. O funtor adjunto à direita $\kappa$ construído na introdução desempenha um papel ao associar classes de cohomologia de Hochschild a deformações de $\infty$-categorias com $t$-estruturas completas à direita.
4. Generalização: O framework é estendido a stacks $E_2$ formais apontados (Seção 6), sugerindo que a equivalência de bidualidade se mantém para sheaves categóricos sobre estas stacks.

O artigo mantém um tom modesto quanto às aplicações, afirmando que a aplicação à teoria de deformação (especificamente envolvendo $t$-estruturas não completas à esquerda) "será discutida em trabalhos futuros". A principal contribuição permanece o estabelecimento rigoroso das equivalências de dualidade e a identificação das completudes necessárias (esquerda e direita) para que estas equivalências ocorram no cenário $\infty$-categórico.