Duality for Landau-Ginzburg models

A continuación presento un resumen técnico detallado del artículo "Dualidad para modelos de Landau-Ginzburg" de Claude Sabbah, basado en el texto proporcionado.

1. Planteamiento del Problema

El artículo surge de una pregunta formulada por Bumsig Kim: ¿Cómo comparar dos tipos de cohomologías asociadas a una función regular $f$ definida sobre una variedad compleja proyectiva suave y conexa $U$ de dimensión $n$, junto con sus emparejamientos de dualidad naturales?

Los dos objetos de estudio son:

1. La cohomología hiper de la compleja de de Rham torcida: $(\Omega^\bullet_U, d + df)$. Se considera también una versión con soporte compacto y su emparejamiento natural.
2. La cohomología (y cohomología con soporte compacto) de la compleja $(\Omega^\bullet_U, df)$.

El obstáculo principal: Mientras que las primeras cohomologías (hipercohomología torcida) suelen ser de dimensión finita bajo ciertas condiciones, las segundas (asociadas a $df$) no son de dimensión finita a menos que se impongan restricciones fuertes, como que el conjunto crítico de $f$ sea compacto. Además, la comparación directa falla en el origen del parámetro $u=0$ si se introduce una variable de deformación.

El objetivo es establecer una dualidad perfecta entre estos objetos, garantizando que las estructuras algebraicas resultantes (módulos sobre anillos de polinomios o series formales) sean de tipo finito y libres, y que los emparejamientos sean compatibles con conexiones meromorfas.

2. Metodología

Sabbah emplea una combinación de técnicas de geometría algebraica, teoría de D-módulos y teoría de Hodge mixta. Los pasos metodológicos clave son:

• Proyectivización "Buena": Se elige una compactificación $Y$ de $U$ tal que $f$ se extiende a un morfismo $f: Y \to \mathbb{A}^1$, donde el divisor a infinito $H = Y \setminus U$ tiene cruces normales. Esto permite trabajar con complejos logarítmicos en lugar de meromorfos generales.
• Introducción del parámetro $u$: Se estudia el complejo de de Rham torcido $(\Omega^\bullet_U[u], u d + df)$. Se analiza la estructura de los módulos de cohomología sobre el anillo de polinomios $\mathbb{C}[u]$.
• Complejos de Kontsevich: Se utilizan los complejos definidos por Kontsevich (basados en formas logarítmicas que satisfacen condiciones específicas respecto a $df$) para establecer emparejamientos perfectos en el nivel de la variedad proyectiva $X$ (una compactificación suave de $Y$).
• Teoría de D-módulos y Transformada de Fourier: Se interpretan los módulos de cohomología como cohomologías de de Rham de D-módulos holonómicos sobre $Y \times \mathbb{G}_m$. Se utilizan extensiones de D-módulos ($\ast H$ y $!H$) para modelar la cohomología ordinaria y con soporte compacto, respectivamente.
• Formalización: Se estudia el caso de series de potencias formales $\mathbb{C}[[u]]$ bajo la condición de que el conjunto crítico sea compacto, utilizando resultados de Mochizuki y la teoría de ciclos de desaparición.

3. Contribuciones Clave y Resultados Principales

El artículo establece varios teoremas fundamentales que generalizan resultados conocidos (como el teorema de Barannikov-Kontsevich) a contextos no propios.

Teorema A: Finitud y Dualidad sobre $\mathbb{C}[u]$

Establece que los módulos de cohomología hiper de los complejos logarítmicos torcidos en una buena proyectivización $(Y, f)$:
$$\mathbb{H}^k(Y, (\Omega^\bullet_Y(\log H)[u], u d + df))$$
y su contraparte con soporte compacto (torsión por $-H$):
$$\mathbb{H}^k(Y, (\Omega^\bullet_Y(\log H)(-H)[u], u d - df))$$
son módulos libres de rango finito sobre $\mathbb{C}[u]$.

• Están equipados con una conexión meromorfa con polo de orden 2 en $u=0$ y singularidad regular en el infinito.
• Existe un emparejamiento perfecto natural compatible con las conexiones:
  $$\mathbb{H}^{n+k}(\dots) \otimes_{\mathbb{C}[u]} \mathbb{H}^{n-k}(\dots) \to \mathbb{C}[u]$$
• Estos objetos son independientes de la elección de la proyectivización.
• Al reducir módulo $u$, se recupera la dualidad de Serre clásica.

Teorema B: Dualidad Genérica (sobre $\mathbb{C}[u, u^{-1}]$)

Al restringir al anillo de polinomios de Laurent (es decir, considerando $u \neq 0$), se demuestra que la restricción a $U$ induce isomorfismos entre los módulos definidos en la compactificación y las cohomologías de de Rham de los D-módulos sobre $U$:
$$\mathbb{H}^{n+k}(Y, \dots) \xrightarrow{\sim} H^k_{dR}(U, E^{f/u}_U)$$
Esto confirma que la elección de la proyectivización no afecta la estructura genérica y proporciona una interpretación en términos de D-módulos (extensiones $\ast$ y $!$).

Teoremas bA y bC: Caso Formal y Condición de Tamez

• Teorema bA: Los resultados del Teorema A se mantienen si se reemplaza $\mathbb{C}[u]$ por el anillo de series formales $\mathbb{C}[[u]]$.
• Teorema bC: Bajo la condición de que el conjunto crítico de $f$ en $U$ sea compacto, los módulos sobre $\mathbb{C}[[u]]$ son libres y de tipo finito. Se establece una condición necesaria y suficiente para la libertad basada en la dimensión de la cohomología de $df$ y los ciclos de desaparición.
• Funciones Tame (Katz-tame): Si $f$ satisface una condición de "tamez" (Katz-tame), el término de torsión $(-H)$ en el Teorema A puede omitirse, simplificando el emparejamiento a uno entre dos módulos idénticos (salvo el signo de $f$), similar al caso propio.

4. Significado e Impacto

1. Generalización de la Dualidad: El trabajo extiende la dualidad de Serre y la dualidad de Poincaré a contextos de Landau-Ginzburg no propios, donde la cohomología usual no es finita. Proporciona un marco riguroso para definir "cohomología con soporte compacto" en este contexto mediante la torsión por el divisor a infinito.
2. Conexión con la Teoría de Singularidades: Los resultados generalizan la Red de Brieskorn de la teoría de singularidades. Los módulos libres sobre $\mathbb{C}[u]$ construidos actúan como generalizaciones de la red de Brieskorn para funciones no propias.
3. Aplicaciones en Física Matemática: El artículo se origina en preguntas sobre modelos de Landau-Ginzburg y modelos sigma lineales gaugeados (GLSM). La dualidad establecida es crucial para entender la correspondencia entre diferentes descripciones físicas (dualidades) en teorías de cuerdas y geometría algebraica.
4. Herramientas Técnicas: El uso combinado de complejos de Kontsevich, teoría de D-módulos mixtos de Hodge y análisis de la variable $u$ ofrece una metodología robusta para estudiar la cohomología de complejos torcidos, resolviendo problemas de finitud que no se pueden abordar con métodos clásicos de cohomología de haces.

En resumen, Sabbah proporciona una estructura algebraica completa (módulos libres, conexiones meromorfas y emparejamientos perfectos) que permite tratar la cohomología de Landau-Ginzburg de manera análoga a la cohomología de variedades proyectivas cerradas, superando las dificultades de la no-propiedad de la función $f$.