Hochschild cohomology of the second kind: Koszul duality and Morita invariance

Aquí presento un resumen técnico detallado del artículo "Hochschild Cohomology of the Second Kind: Koszul Duality and Morita Invariance" de A. Guan, J. Holstein y A. Lazarev, estructurado según los puntos solicitados.

1. El Problema y el Contexto

La cohomología de Hochschild es un invariante fundamental en el álgebra homológica y la geometría algebraica, conocido por su conexión con la cuantización por deformación y su invariancia bajo equivalencias de Morita. Tradicionalmente, para un álgebra diferencial graduada (dg) o una categoría dg, la cohomología de Hochschild se define como el funtor derivado de endomorfismos en la categoría derivada estándar (tipo I).

Sin embargo, existe una versión alternativa conocida como cohomología de Hochschild de segundo tipo (o a veces cohomología de Hochschild con soporte compacto), desarrollada por Positselski y Polishchuk. Esta versión surge al totalizar el complejo de Hochschild mediante sumas directas en lugar de productos directos (como en el tipo I).

• El problema central: La teoría de segundo tipo es mucho más misteriosa y menos comprendida que la de primer tipo. Además, las definiciones existentes (como la de Positselski-Polishchuk) a menudo no son invariantes bajo las equivalencias de Morita adecuadas para contextos geométricos modernos (como categorías de factorizaciones de matrices o categorías derivadas acotadas de variedades complejas).
• La necesidad: Se requiere una definición robusta de cohomología de Hochschild de segundo tipo que:
  1. Sea invariante bajo equivalencias de Morita de "segundo tipo".
  2. Sea compatible con la dualidad de Koszul (incluso en casos no conilpotentes).
  3. Calcule la cohomología de Hochschild ordinaria de categorías dg geométricamente significativas asociadas a álgebras dg o curvas.

2. Metodología

Los autores emplean un enfoque basado en la álgebra homológica de segundo tipo, donde la noción de cuasi-isomorfismo se reemplaza por una noción más fina de equivalencia débil. La metodología se estructura en los siguientes pilares:

• Categorías Derivadas de Segundo Tipo: Se trabaja en la categoría derivada torcida $D^{\text{II}}_c(A)$ (también llamada categoría derivada generada compactamente de segundo tipo), generada por la subcategoría de objetos compactos $\text{Perf}^{\text{II}}(A)$. Esta categoría es equivalente a la categoría derivada de coderivada de la coalgebra dual de Koszul.
• Definición Functorial: Se define la cohomología de Hochschild de segundo tipo como un funtor derivado en esta categoría específica:
  $$HC^{\text{II}}_c(A) = \mathbb{R}\text{Hom}_{D^{\text{II}}_c(A \otimes A^{\text{op}})}(A, A)$$
• Dualidad de Koszul Bimódulo: Un paso metodológico crucial es extender la dualidad de Koszul (usualmente formulada para módulos a un lado) al contexto de bimódulos. Los autores construyen equivalencias de Quillen entre:
  • Bimódulos sobre un álgebra dg $A$ y bicomódulos sobre su construcción de barra extendida $qBA$.
  • Bimódulos sobre una coalgebra $C$ y módulos sobre su construcción de cobar $\Omega C$.
• Generalización a Casos Curvos: Se extienden los resultados a álgebras curvas (donde $d^2 \neq 0$), un caso necesario para tratar ejemplos geométricos como factorizaciones de matrices. Para ello, se introduce una construcción técnica que asocia a cada álgebra curva $A$ un álgebra dg $A'$ tal que sus categorías de módulos perfectos de segundo tipo son equivalentes, superando la falta de un embedding de Yoneda en el caso curvo.

3. Contribuciones Clave

1. Definición Invariante de Morita: Se propone una definición de cohomología de Hochschild de segundo tipo que es invariante bajo equivalencias de Morita de segundo tipo (tanto las inducidas por morfismos de álgebras como las inducidas por bimódulos). Esto resuelve limitaciones de definiciones anteriores que no eran invariantes bajo estas equivalencias.
2. Dualidad de Koszul para Bimódulos: Se establece explícitamente la dualidad de Koszul en el nivel de bimódulos, demostrando que la cohomología de Hochschild de segundo tipo de un álgebra $A$ es isomorfa a la cohomología de Hochschild ordinaria de su construcción de barra extendida $qBA$.
3. Puente entre Álgebras y Categorías Geométricas: Se demuestra que, bajo ciertas condiciones (cuando el producto tensorial de categorías de módulos perfectos de segundo tipo se comporta bien), la cohomología de Hochschild de segundo tipo de un álgebra $A$ calcula la cohomología de Hochschild ordinaria de una categoría dg geométrica asociada (como la categoría de sistemas locales infinitos o la categoría derivada acotada de haces coherentes).
4. Relación Jerárquica: Se clarifica la relación entre tres versiones de cohomología:
   • $HH(A)$: Cohomología ordinaria (Tipo I).
   • $HH^{\text{II}}_{PP}(A)$: Definición de Positselski-Polishchuk (tipo "semi-completo").
   • $HH^{\text{II}}_c(A)$: La nueva definición de los autores.
     Se muestra que $HH^{\text{II}}_{PP}(A) \to HH^{\text{II}}_c(A) \to HH(A)$, situando la nueva definición como un "punto medio" que combina las ventajas de ambas.

4. Resultados Principales

• Teorema de Invarianza de Morita (Teorema 4.21 y 4.25): Si dos álgebras dg (o curvas) $A$ y $B$ son equivalentes de Morita de segundo tipo (ya sea mediante un morfismo MC-equivalencia o mediante un par de bimódulos), entonces sus complejos de cohomología de Hochschild de segundo tipo son cuasi-isomorfos como álgebras dg.
• Compatibilidad con Dualidad de Koszul (Corolario 5.8): Para cualquier álgebra dg $A$, existe un cuasi-isomorfismo:
  $$HC^{\text{II}}_c(A) \simeq HC(qBA)$$
  donde $qBA$ es la construcción de barra extendida. Esto permite calcular la cohomología de segundo tipo usando herramientas estándar sobre la construcción de barra.
• Resultados Geométricos (Sección 7):
  • Variedades Algebraicas Complejas: Si $A(X)$ es el álgebra de Dolbeault de una variedad proyectiva suave $X$, entonces $HH^{\text{II}}_c(A(X)) \cong HH(\text{Perf}(X))$, es decir, coincide con la cohomología de Hochschild de la categoría derivada acotada de haces coherentes.
  • Espacios Topológicos: Para el álgebra de cadenas singulares $C^*(X)$ o el álgebra de de Rham $A^*(X)$ de un espacio $X$, $HH^{\text{II}}_c$ calcula la cohomología de Hochschild de la categoría de sistemas locales infinitos ($\infty$-local systems) sobre $X$.
  • Factorizaciones de Matrices: Para un anillo regular $R$ y un elemento de curvatura $w$, la cohomología de Hochschild de segundo tipo del álgebra curva $R_w$ es isomorfa a la cohomología de Hochschild de la categoría de factorizaciones de matrices $MF(R, w)$.

5. Significado e Impacto

Este trabajo es significativo por varias razones:

1. Unificación Teórica: Proporciona un marco coherente para la cohomología de Hochschild de segundo tipo, resolviendo la ambigüedad entre diferentes definiciones existentes y estableciendo sus propiedades de invarianza fundamentales.
2. Herramienta Geométrica: Convierte la cohomología de Hochschild de segundo tipo en una herramienta práctica para estudiar invariantes geométricos y topológicos. Permite traducir problemas complejos en álgebras dg o curvas (como singularidades o topología de espacios) a problemas de cohomología de Hochschild en categorías dg bien entendidas (como categorías derivadas de haces o sistemas locales).
3. Avance en Dualidad de Koszul: La extensión de la dualidad de Koszul al nivel de bimódulos y su aplicación a casos no conilpotentes y curvos abre nuevas vías para el cálculo de invariantes en contextos donde la dualidad clásica falla o es insuficiente.
4. Aplicabilidad en Singularidades: La conexión con las factorizaciones de matrices y las singularidades de hipersuperficies refuerza el papel de esta teoría en la teoría de singularidades y la física matemática (teoría de cuerdas topológicas, modelos de Landau-Ginzburg).

En resumen, Guan, Holstein y Lazarev han establecido una teoría robusta y geométricamente significativa de la cohomología de Hochschild de segundo tipo, demostrando que es un invariante poderoso que conecta el álgebra homológica abstracta con la geometría algebraica y topológica moderna.