Transcendental b-divisors I -- Correspondence with currents

Resumen Técnico: "Transcendental B-Divisors I — Correspondence with Currents" de Mingchen Xia

1. Planteamiento del Problema

El artículo aborda la extensión de la teoría de intersección de b-divisores algebraicos (desarrollada previamente por Dang y Favre en [DF22]) al contexto transcendental.

• Contexto: En geometría algebraica, un b-divisor es una asignación de clases de divisores a todas las modificaciones de una variedad $X$ que son compatibles bajo empuje hacia adelante. Dang y Favre establecieron una teoría de intersección para b-divisores nef (numéricamente efectivos) cuando $X$ es una variedad proyectiva y los divisores pertenecen al grupo de Néron-Severi.
• La Limitación: La pregunta abierta era si esta teoría podía generalizarse a variedades de Kähler compactas (no necesariamente proyectivas) y a clases de cohomología en $H^{1,1}(X, \mathbb{R})$ que no son necesariamente algebraicas (clases trascendentales).
• El Desafío: En el caso trascendental, los objetos no son divisores algebraicos, sino clases de corrientes. El reto principal es definir una correspondencia robusta entre estas corrientes y los b-divisores, y establecer una teoría de intersección que preserve las propiedades fundamentales (linealidad, monotonicidad, semicontinuidad) sin depender de la estructura algebraica subyacente.

2. Metodología

El autor emplea un enfoque analítico basado en la teoría de corrientes positivas cerradas y potenciales plurisubarmónicos, en lugar de depender exclusivamente de la geometría algebraica.

• Correspondencia con Corrientes: Se utiliza la descomposición de Siu para asociar a cada corriente positiva cerrada $(1,1)$ $T$ un b-divisor nef $D(T)$. La clave es considerar la "parte regular" ($Reg\ T$) de la corriente, eliminando las partes divisoriales (componentes con números de Lelong genéricos positivos).
• Equivalencia I (I-equivalence): Se introduce una noción de equivalencia basada en los ideales multiplicadores (sheaf de ideales de Nadel). Dos corrientes son I-equivalentes si tienen los mismos números de Lelong genéricos en todas las modificaciones bimeromorfas. Esta equivalencia es crucial para clasificar las singularidades de las corrientes.
• Volúmenes Mixtos Analíticos: La teoría de intersección se define no mediante intersecciones algebraicas, sino a través de volúmenes mixtos analíticos de corrientes. El autor demuestra la equivalencia entre dos definiciones existentes en la literatura:
  1. El volumen mixto en el sentido de Cao (usando aproximaciones cuasi-equisingulares).
  2. El volumen mixto en el sentido de Darvas-Xia (usando el operador de envolvente $P[\cdot]_I$).
• Aproximación: Se utiliza la aproximación cuasi-equisingular de corrientes (teorema de Demailly) para reducir problemas generales a corrientes con singularidades analíticas, donde los cálculos son más manejables.

3. Contribuciones Clave y Resultados Principales

A. Correspondencia Biyectiva (Teoremas 1.1 y 1.2)

El resultado central es una correspondencia natural y biyectiva entre:

1. Las clases de equivalencia I de corrientes positivas cerradas $(1,1)$ no divisoriales con volumen positivo en una clase modificada nef $\alpha$.
2. El conjunto de b-divisores nef y grandes (big) sobre $X$ cuya raíz es $\alpha$.

• Teorema 1.1: Asigna a cada corriente $T$ un b-divisor nef $D(T)$.
• Teorema 1.2: Establece que dos corrientes no divisoriales definen el mismo b-divisor si y solo si son I-equivalentes. Esto implica que las clases numéricas (modificadas nef) determinan completamente las singularidades de la corriente módulo I-equivalencia.

B. Teoría de Intersección para B-Divisores Nef (Sección 5)

Se define el número de intersección de b-divisores nef $D_1, \dots, D_n$ como el volumen mixto de las corrientes correspondientes:
$$(D_1, \dots, D_n) := \text{vol}(T_1, \dots, T_n)$$
donde $D(T_i) = D_i$.

• Propiedades: Se demuestra que este producto es simétrico, multilineal, monótono y semicontinuo superiormente.
• Aproximación: Se prueba que cualquier b-divisor nef puede ser aproximado por una sucesión decreciente de b-divisores de Cartier nef y grandes (Corolario 1.3), lo que conecta la teoría general con la teoría clásica de Cartier.

C. Operaciones Functoriales (Secciones 6 y 7)

El artículo define y estudia dos operaciones fundamentales en el contexto trascendental:

1. Arrastre hacia atrás (Pull-back): Para morfismos suaves $f: Y \to X$, se define $f^*D$ utilizando la correspondencia con corrientes ($f^*D := D(f^*T)$). Se demuestra que es functorial y preserva la relación de orden.
2. Operador de Trazo (Trace Operator): Para subvariedades suaves $Z \subset X$, se define la restricción $Tr_Z D$.
   • En codimensión 1 (divisores), se utiliza la restricción de corrientes.
   • En codimensión $\ge 2$, se requiere una condición de compatibilidad (la clase en el blow-up debe ser el pull-back de la clase base) para definir el trazo a través del fibrado normal proyectivizado.

D. Unificación de Teorías de Volúmenes (Sección 3)

Se demuestra que las definiciones de volúmenes mixtos de Cao y de Darvas-Xia coinciden, validando el uso de herramientas analíticas modernas (como la métrica pseudométrica $d_S$ de Darvas) en la teoría de b-divisores.

4. Significado e Impacto

• Respuesta a una Pregunta Abierta: Resuelve afirmativamente la pregunta de Dang y Favre sobre la existencia de una teoría de intersección para b-divisores trascendentales.
• Independencia de la Proyectividad: La teoría funciona para variedades de Kähler compactas y, por extensión, para variedades de la clase de Fujiki, no limitándose a variedades proyectivas.
• Simplificación Conceptual: El autor demuestra que la noción de "b-divisores aumentados" (augmented b-divisors) propuesta en trabajos anteriores es innecesaria; las clases numéricas son suficientes para determinar las singularidades.
• Aplicaciones Futuras:
  • Sistemas Dinámicos: La teoría tiene aplicaciones directas en el estudio de sistemas dinámicos complejos (generalizando resultados de [DF21]).
  • Estabilidad K: Potencial aplicación en el estudio de la estabilidad K en variedades no proyectivas.
  • Conjeturas: Proporciona herramientas para abordar la conjetura de Morse trascendental y la conjetura de Collins-Tosatti sobre el locus no-Kähler.
• Herramientas Analíticas: El trabajo actúa como un puente que traduce resultados analíticos profundos (teoría de potenciales, métricas no-Archimedianas) de vuelta a la teoría algebraica, ofreciendo nuevas perspectivas incluso en el caso puramente algebraico.

En resumen, Mingchen Xia establece un marco riguroso y completo para la geometría de b-divisores en el contexto trascendental, utilizando la correspondencia con corrientes y la teoría de volúmenes mixtos analíticos como pilares fundamentales, superando las limitaciones de la teoría algebraica clásica.