Differential graded categories in holomorphic symplectic geometry

Aquí presento un resumen técnico detallado del artículo "Differential graded categories in holomorphic symplectic geometry" de Borislav Mladenov, estructurado según los puntos solicitados.

1. El Problema

El artículo aborda la estructura y formalidad de las categorías diferenciales graduadas (dg) asociadas a variedades simplécticas holomorfas $(X, \sigma)$ y sus subvariedades lagrangianas. Específicamente, el autor busca establecer relaciones profundas entre tres modelos matemáticos distintos que describen la teoría de campos de cuerdas abiertas y la teoría de Floer holomorfa en este contexto:

1. La categoría de D-branas lagrangianas ($DLag$): Definida en términos de haces coherentes (raíces cuadradas del fibrado canónico de las lagrangianas) y sus grupos Ext.
2. La categoría de Fukaya holomorfa vía cuantización de deformación ($DQ$): Definida mediante módulos sobre un algebrioide de cuantización de deformación canónico $\widehat{WX}$, representando orientaciones cuantizadas.
3. La categoría de de Rham virtual ($DR^{vir}$): Una construcción basada en complejos de de Rham "virtuales" que generalizan la cohomología de de Rham a intersecciones de lagrangianas, utilizando resoluciones de Malgrange-Serre.

El problema central es determinar bajo qué condiciones estas categorías dg son formales. Una categoría dg es formal si es cuasi-isomorfa a su cohomología (vista como una categoría dg con diferencial cero). La formalidad implica que toda la información homotópica está contenida en la estructura algebraica de la cohomología, simplificando drásticamente el estudio de la teoría.

El autor se enfoca en colecciones de lagrangianas compactas, orientables y de Kähler con intersecciones limpias (colecciones llamadas "Solomon-Verbitsky"), donde se espera que la teoría sea más manejable debido a la ausencia de curvas holomorfas no triviales que acoten estas lagrangianas.

2. Metodología

El autor emplea una síntesis sofisticada de técnicas de geometría simpléctica holomorfa, teoría de cuantización de deformación y álgebra homotópica:

• Cuantización de Deformación (DQ): Se utiliza el marco de Kashiwara-Schapira para definir el algebrioide canónico $\widehat{WX}$ sobre la variedad simpléctica holomorfa. Los objetos de la categoría $DQ$ son módulos holonómicos simples sobre este algebrioide, que corresponden a orientaciones cuantizadas de las lagrangianas.
• Correspondencia de Riemann-Hilbert y Perseverancia: Se establece un puente entre los módulos DQ y los haces perversos. El teorema de Kashiwara-Schapira asocia un haz perverso a pares de módulos holonómicos. Además, se utiliza la teoría de loci $d$-críticos (Joyce, Brav et al.) para describir las intersecciones de lagrangianas como espacios con una estructura $d$-crítica, permitiendo definir haces perversos globales sobre las intersecciones.
• Resoluciones de Malgrange-Serre: Para conectar la teoría de haces coherentes con la teoría diferencial, se introducen las resoluciones de Malgrange-Serre. Estas proporcionan resoluciones suaves (soft) para haces coherentes que son multiplicativas, lo cual es crucial para definir la estructura de categoría dg en el modelo de de Rham virtual.
• Teoría de Formalidad y Clases de Kaledin: En el ámbito algebraico, el autor generaliza los resultados de Lunts y Kaledin sobre la formalidad de álgebras $A_\infty$ a categorías $A_\infty$ y dg. Se definen las clases de Kaledin como obstrucciones a la formalidad en la cohomología de Hochschild.
• Estrategia de "Generically Formal $\implies$ Formal": Se demuestra que si una categoría plana y débilmente propia de Calabi-Yau es formal sobre el cuerpo de fracciones (o en el límite clásico $\hbar \to 0$), y sus grupos de cohomología de Hochschild son libres/torsión-libre, entonces la categoría es formal sobre el anillo base.

3. Contribuciones Clave

1. Definición de Categorías dg Unificadas:

   • Formalización de la categoría $DLag(X, \sigma)$ de D-branas lagrangianas.
   • Definición de la categoría $DQ(X, \sigma)$ basada en módulos de cuantización de deformación.
   • Introducción de la categoría $DR^{vir}(X, \sigma)$ basada en complejos de de Rham virtuales, que actúa como un análogo de la cohomología de de Rham para categorías.

2. Generalización de Clases de Kaledin:

   • Extensión de la teoría de clases de obstrucción de Kaledin desde álgebras $A_\infty$ a categorías $A_\infty$ y dg.
   • Demostración de que la vanishing de estas clases es equivalente a la formalidad de la categoría.

3. Conexión entre Modelos:

   • Se prueba que, para colecciones de Solomon-Verbitsky, la categoría de cuantización $DQ$ es cuasi-isomorfa a una extensión de la categoría de de Rham virtual $DR^{vir}$.
   • Se establece que la categoría de D-branas $DLag$ es la fibra central ($\hbar=0$) de una deformación formal de la categoría $DQ$.

4. Criterios de Formalidad:

   • Desarrollo de criterios técnicos para la formalidad de categorías dg planas y débilmente propias de Calabi-Yau, basados en la torsión de la cohomología de Hochschild.

4. Resultados Principales

El artículo establece los siguientes teoremas fundamentales bajo la hipótesis de que $(X, \sigma)$ es una variedad simpléctica holomorfa y $\mathcal{L}$ es una colección numerable de subvariedades lagrangianas compactas, orientables, de Kähler, con intersecciones limpias (colección de Solomon-Verbitsky):

• Teorema 1.1.1 (Formalidad de D-branas): La categoría diferencial graduada $DLag(\mathcal{L})$ es formal.

  • Significado: La estructura homotópica de los haces coherentes asociados a estas lagrangianas está completamente determinada por su cohomología.

• Teorema 1.2.1 (Formalidad de Fukaya vía DQ): La categoría diferencial graduada $DQ_{\mathcal{L}}(X, \sigma)$ es formal.

  • Significado: El modelo de cuantización de deformación de la categoría de Fukaya holomorfa es formal.

• Teorema 1.3.1 (Formalidad de de Rham Virtual): La categoría diferencial graduada $DR^{vir}_{\mathcal{L}}(X, \sigma)$ es formal.

  • Significado: Este es el resultado más fuerte, ya que la formalidad de $DR^{vir}$ implica la de $DQ$ (mediante un isomorfismo de cuasi-equivalencia) y, por extensión, la de $DLag$.

• Corolario 1.2.2: La subcategoría $DQ^s_{\mathcal{L}}(X, \sigma)$ (con un objeto por lagrangiana, fijando orientaciones clásicas) es formal. Esto respalda la conjetura de Smith sobre la formalidad de la categoría de Fukaya en este contexto.

• Teorema 2.10.10 (Criterio General): Se establece un criterio de formalidad para categorías dg de Calabi-Yau planas y débilmente propias: una categoría $C$ es formal si y solo si su localización en el punto genérico $C_\eta$ es formal, asumiendo que la cohomología de Hochschild es un módulo proyectivo.

5. Significado e Impacto

Este trabajo es significativo por varias razones:

• Resolución de Conjeturas: Proporciona una prueba rigurosa de la formalidad de la categoría de Fukaya holomorfa (en su versión de cuantización de deformación) para colecciones de lagrangianas de Solomon-Verbitsky. Esto confirma conjeturas previas en el contexto de la teoría de espejo y la geometría simpléctica.
• Unificación de Perspectivas: El artículo demuestra que los tres enfoques principales (haces coherentes, cuantización de deformación y haces perversos/de Rham) son equivalentes en términos de su estructura homotópica en este contexto específico. Esto valida el uso de herramientas de geometría algebraica (haces coherentes) para estudiar problemas de geometría simpléctica (teoría de Floer).
• Avance en la Teoría de Espejo Holomorfa: Al establecer la formalidad, se simplifica enormemente el cálculo de invariantes en la teoría de espejo holomorfa, permitiendo trabajar con estructuras algebraicas más simples (cohomología) en lugar de estructuras diferenciales complejas.
• Herramientas Algebraicas Nuevas: La generalización de las clases de Kaledin a categorías y los nuevos criterios de formalidad para categorías de Calabi-Yau proporcionan herramientas potentes que pueden ser aplicadas a otros problemas en geometría algebraica y topología simpléctica más allá del caso holomorfo específico tratado.

En resumen, Mladenov demuestra que, bajo condiciones geométricas limpias (intersecciones limpias de lagrangianas de Kähler), la complejidad homotópica de las categorías asociadas a la geometría simpléctica holomorfa se colapsa a su estructura algebraica más simple, unificando así la teoría de D-branas, la cuantización de deformación y la teoría de haces perversos.