Resumen Técnico: Dualidad de Koszul Categorificada de Álgebras

1. Problema y Contexto

La dualidad de Koszul es una dualidad clásica entre álgebras asociativas aumentadas, que establece conexiones profundas entre objetos algebraicos aparentemente distintos. En el entorno clásico, para un $k$-álgebra aumentada $A$, el dual de Koszul $D_1(A)$ se define como el álgebra de endomorfismos derivados $\text{End}_A(k)$. Bajo condiciones favorables, el mapa de bidualidad $A \to D_1(D_1(A))$ es un equivalencia, y existe una equivalencia de tipo Fourier–Morita entre las categorías de módulos sobre $A$ y $D_1(A)$.

Este artículo aborda la categorificación de esta dualidad. El problema central es generalizar la dualidad de Koszul de los álgebras a las $\infty$-categorías estables monoidales. En este marco, las $\infty$-categorías estables monoidales desempeñan el papel de los álgebras asociativas, y las $\infty$-categorías de módulos desempeñan el papel de los módulos. Específicamente, el artículo investiga los fenómenos de dualidad entre las $\infty$-categorías estables monoidales asociadas con álgebras de Artin y álgebras sobre el operad de los pequeños discos 2 ($E_2$-álgebras).

2. Metodología y Marco de Trabajo

El autor emplea el lenguaje de $(\infty, 1)$-categorías (quasi-categorías) y álgebra superior, utilizando la teoría de operades y $\infty$-categorías estables.

2.1. Aumento Categorificado y Dual

Sea $k$ un cuerpo base y $\text{Mod}_k$ la $\infty$-categoría estable de espectros de módulos de $k$. El artículo considera una $\infty$-categoría monoidal $\mathcal{A}$ equipada con un funtor monoidal $\mathcal{A} \to \text{Mod}_k$, vista como un análogo categorificado de un aumento de álgebra $A \to k$.
El dual de Koszul de $\mathcal{A}$ se define como la $\infty$-categoría monoidal de endomorfismos:
$$D(\mathcal{A}) = \text{End}_{\mathcal{A}}(\text{Mod}_k)$$
Esta categoría clasifica los funtores de módulos de $\mathcal{A}$, $\text{Mod}_k \to \text{Mod}_k$, con la estructura monoidal inducida por la composición.

2.2. Enfoque en Álgebras de Artin y $E_2$

El estudio se centra en el caso donde $\mathcal{A} = \text{LMod}_A$, la $\infty$-categoría estable de módulos a la izquierda sobre una $E_2$-álgebra aumentada (o un álgebra de Artin). El artículo utiliza:

• Dualidad de Koszul $E_n$: La dualidad clásica $D_n$ para $E_n$-álgebras aumentadas.
• Hojas Ind-coherentes: La $\infty$-categoría $\text{Ind}(\text{LCoh}(A))$ de hojas ind-coherentes sobre $A$, que generaliza las hojas coherentes al entorno no conexo y derivado.
• $t$-estructuras: Un análisis detallado de las $t$-estructuras completas por la izquierda y por la derecha, particularmente las $t$-estructuras "estándar" y "dual estándar" en las categorías de módulos y en las categorías de hojas ind-coherentes.
• Algebraización: El uso del funtor $\Theta_k$ (adjunto a la izquierda del funtor de álgebra de endomorfismos $E_k$) para relacionar las $\infty$-categorías monoidales nuevamente con los álgebras.

3. Contribuciones Clave y Resultados

3.1. Identificación del Dual de Koszul con Hojas Ind-coherentes

El artículo establece una equivalencia canónica entre el dual de Koszul de la categoría de módulos sobre una álgebra dual de Koszul $E_2$ y la categoría de hojas ind-coherentes.

• Teorema 1.2 (Teorema 3.6): Si $A$ es una $E_2$-álgebra de Artin, existe una equivalencia canónica de $\infty$-categorías monoidales:
  $$D(\text{LMod}_{D_2(A)}) \simeq \text{Ind}(\text{LCoh}(A))$$
  Aquí, $D_2(A)$ es el dual de Koszul $E_2$ de $A$. Este resultado identifica la $\infty$-categoría monoidal de hojas ind-coherentes como el dual de Koszul categorificado de la $\infty$-categoría de módulos ordinarios a la izquierda de $D_2(A)$. La estructura monoidal en $\text{Ind}(\text{LCoh}(A))$ se interpreta como la composición de funtores $\text{Mod}_k \to \text{Mod}_k$.

3.2. Bidualidad y Completitud por la Derecha

El artículo investiga el mapa de bidualidad para las categorías de módulos. A diferencia del caso clásico donde $A \simeq D_1(D_1(A))$ se cumple directamente, la versión categorificada requiere completitud.

• Teorema 1.1 (Teorema 4.13): Si $A$ es de Artin, el mapa de bidualidad
  $$\delta_{\text{LMod}_A} : \text{LMod}_A \to D(D(\text{LMod}_A))$$
  se convierte en una equivalencia tras pasar a la completitud por la derecha del objetivo. Específicamente, si $D_t^+$ denota la composición del funtor de dual de Koszul $D$ seguido de la completitud por la derecha, entonces:
  $$\text{LMod}_A \simeq D_t^+(D_t^+(\text{LMod}_A))$$
  Esta es una generalización categórica de la bidualidad clásica $A \simeq D_1(D_1(A))$.

3.3. Completitud por la Izquierda y $E_2$-Módulos

El artículo relaciona la categoría de módulos sobre el dual de Koszul $E_2$ con la completitud por la izquierda de la categoría de módulos original.

• Teorema 1.3: Existe una equivalencia de $\infty$-categorías monoidales:
  $$\widehat{b}_L(\text{LMod}_{D_2(A)}) \simeq D_t^+(D_t^+(\text{LMod}_{D_2(A)}))$$
  donde $\widehat{b}_L$ denota la completitud por la izquierda con respecto a la $t$-estructura estándar. El artículo señala que la $t$-estructura estándar en $\text{LMod}_{D_2(A)}$ generalmente no es completa por la izquierda.

3.4. Características Estructurales y $t$-estructuras

Los resultados revelan características estructurales sutiles de la dualidad categorificada:

• El dual de Koszul $D(\text{LMod}_A)$ está relacionado con la completitud por la izquierda de $\text{LMod}_{D_2(A)}$.
• El artículo distingue entre la $t$-estructura "estándar" (determinada por la parte conexa) y la $t$-estructura "dual estándar" (determinada por la subcategoría más pequeña que contiene a la unidad y es cerrada bajo colímites).
• Se muestra que para ciertas álgebras de Artin (por ejemplo, extensiones de cuadrado nulo trivial), la $t$-estructura en la categoría dual no es separada por la derecha y, por lo tanto, no es completa por la derecha, lo que hace necesario el uso del funtor de completitud por la derecha en el teorema de bidualidad.

4. Significación y Reivindicaciones

El artículo sostiene que sus resultados proporcionan una generalización categórica de la dualidad de Koszul clásica para módulos. Al reemplazar los módulos con categorías y las hojas con hojas de categorías, el trabajo extiende el paradigma de la dualidad al ámbito de las $\infty$-categorías estables.

Aspectos clave de la significación resaltados en el texto incluyen:

1. Interpretación Geométrica: La equivalencia $D(\text{LMod}_{D_2(A)}) \simeq \text{Ind}(\text{LCoh}(A))$ proporciona una interpretación geométrica de la estructura monoidal de las hojas ind-coherentes como composición de funtores.
2. Refinamiento de la Dualidad: Los resultados demuestran que la dualidad de Koszul categorificada posee características más sutiles que la dualidad entre $A$ y $D_2(A)$. Específicamente, el dual de la categoría de módulos no es simplemente la categoría de módulos del álgebra dual, sino la categoría de hojas ind-coherentes.
3. Conexión con la Teoría de Deformaciones: El artículo señala que estos resultados están motivados y conectados con los invariantes categóricos de los modelos de Landau–Ginzburg (por ejemplo, factorizaciones de matrices) y la teoría de deformaciones de $\infty$-categorías estables. El funtor adjunto derecho $\kappa$ construido en la introducción juega un papel en la asociación de clases de cohomología de Hochschild a las deformaciones de $\infty$-categorías con $t$-estructuras completas por la derecha.
4. Generalización: El marco se extiende a los stacks $E_2$ formales apuntados (Sección 6), sugiriendo que la equivalencia de bidualidad se mantiene para las hojas estructuradas categorificadas en estos stacks.

El artículo mantiene un tono modesto respecto a las aplicaciones, afirmando que la aplicación a la teoría de deformaciones (específicamente involucrando $t$-estructuras no completas por la izquierda) "se discutirá en trabajos futuros". La contribución principal sigue siendo el establecimiento riguroso de las equivalencias de dualidad y la identificación de las completitudes necesarias (por la izquierda y por la derecha) para que estas equivalencias se cumplan en el entorno de las $\infty$-categorías.