Lower bounds on fibered Yang-Mills functionals: generic nefness and semistability of direct images

A continuación presento un resumen técnico detallado del artículo "Lower bounds on fibered Yang-Mills functionals: generic nefness and semistability of direct images" (Límites inferiores en funcionales de Yang-Mills fibrados: neficidad genérica y semiestabilidad de imágenes directas) de Siarhei Finski.

1. Planteamiento del Problema

El objetivo central del trabajo es generalizar la relación clásica entre la curvatura media y las filtraciones de Harder-Narasimhan de haces vectoriales holomorfos al contexto de fibraciones polarizadas arbitrarias.

El autor considera una submersión holomorfa $\pi: X \to B$ entre variedades complejas compactas, donde $X$ tiene dimensión $n+m$ y $B$ dimensión $m$. Se fija un haz de líneas holomorfo $L$ sobre $X$ que es relativamente amplio respecto a $\pi$, y una forma hermitiana Gauduchon $\omega_B$ en la base $B$.

El problema se centra en entender la conexión entre:

1. Invariantes geométricos diferenciales: La "curvatura media horizontal" de la fibración, definida a partir de una métrica hermitiana $h_L$ en $L$.
2. Invariantes algebraicos: Los pendientes de Harder-Narasimhan de los haces de imágenes directas $E_k := R^0\pi_* L^k$ (haces de secciones de potencias tensoriales de $L$ restringidas a las fibras).

La motivación surge de la analogía entre las ecuaciones de Einstein fibradas (en el contexto de variedades) y las ecuaciones de Hermite-Einstein (en el contexto de haces vectoriales), y cómo estas se relacionan en el límite semiclásico ($k \to \infty$).

2. Metodología

El enfoque del autor combina técnicas de geometría compleja, teoría de operadores de Toeplitz y análisis asintótico. Los pilares metodológicos son:

• Límite Semiclásico ($k \to \infty$): El autor utiliza el trabajo de Ma-Zhang para establecer que la curvatura media horizontal de $L$ es el límite semiclásico de la curvatura media de los haces vectoriales $E_k = R^0\pi_* L^k$.
• Operadores de Toeplitz: Se emplea la teoría de operadores de Toeplitz para analizar el comportamiento asintótico de las métricas $L^2$ en las imágenes directas. Esto permite conectar la geometría de la base con la geometría de las fibras.
• Filtraciones de Harder-Narasimhan: Se estudia la estructura de filtración de los haces $E_k$ y sus pendientes asintóticos. Se define una medida de probabilidad $\eta_k^{HN}$ basada en los pendientes normalizados de $E_k$.
• Cohomología de Bott-Chern y Aeppli: Para manejar el caso de variedades no necesariamente Kähler (usando formas Gauduchon) y espacios analíticos singulares, el autor utiliza cohomologías de Bott-Chern y Aeppli, extendiendo teoremas clásicos como el de Riemann-Roch-Grothendieck a contextos singulares.
• Técnicas de Descomposición y Resoluciones: En la sección sobre obstrucciones numéricas, se utilizan resoluciones de singularidades y técnicas de descomposición (devissage) para extender resultados de variedades suaves a espacios analíticos irreducibles.

3. Contribuciones Clave y Resultados Principales

A. Límites Inferiores para Funcionales de Yang-Mills Fibrados

El resultado central (Teorema 1.7) establece límites inferiores para los funcionales de Yang-Mills fibrados en términos de los pendientes de Harder-Narasimhan asintóticos.

• Se define el funcional $FYM_{p,c}(\pi, h_L)$ que mide la desviación de la curvatura media horizontal de una constante $c$.
• Se demuestra que:
  $$\inf_{x \in X} \wedge_{\omega_B} \omega_H(x) \leq \eta_{min}^{HN} \quad \text{y} \quad \sup_{x \in X} \wedge_{\omega_B} \omega_H(x) \geq \eta_{max}^{HN}$$
  donde $\eta_{min}^{HN}$ y $\eta_{max}^{HN}$ son los límites de los pendientes mínimos y máximos de $E_k$ normalizados por $k$.
• Para $p \in [1, \infty[$, se obtiene una cota inferior integral que depende de la medida límite $\eta^{HN}$:
  $$FYM_{p,c} \geq \int_{\mathbb{R}} |x-c|^p d\eta^{HN}(x) \cdot \int_X [\omega^n] \cdot \pi^*[\omega_B^m]$$

B. Relación con la Semiestabilidad Asintótica

• Teorema 1.1: Si existe una métrica de Einstein fibrada aproximada (donde la curvatura media es casi constante), entonces los haces $E_k$ son asintóticamente semiestables. Esto generaliza el resultado conocido de que la existencia de métricas de Hermite-Einstein aproximadas implica semiestabilidad para haces vectoriales.
• Teorema 1.3: Se establece una obstrucción numérica. Si $E_k$ son asintóticamente semiestables, entonces la variedad total $X$ es "numéricamente semiestable" (el pendiente de cualquier subespacio analítico $Y$ que proyecte sobreyectivamente a $B$ es mayor o igual al pendiente de $X$).

C. Caracterización Analítica de la Neficidad Genérica Fibrada

El autor proporciona una caracterización analítica de la neficidad genérica fibrada (un concepto algebraico introducido por Miyaoka y generalizado posteriormente).

• Teorema 1.12: Un haz de líneas relativamente nef $L$ es "establemente genéricamente nef fibrado" si y solo si, para cualquier $\epsilon > 0$, existe una métrica hermitiana $h_L^\epsilon$ tal que su forma de curvatura satisface una desigualdad de tipo "casi positiva" respecto a formas de Kähler en la base y en la total.
• Esto conecta la propiedad algebraica de neficidad con la existencia de métricas con curvatura controlada analíticamente.

D. Conjetura sobre la Optimalidad

El artículo plantea una conjetura (1.11) que sugiere que los límites inferiores obtenidos son óptimos (tight). Es decir, el ínfimo del funcional de Yang-Mills fibrado sobre todas las métricas posibles coincide exactamente con la integral definida por la medida de Harder-Narasimhan límite. El autor demuestra que esta conjetura se cumple para el caso $p=1$ (trabajo previo) y para $p=\infty$ en ciertos casos, y que su validez implicaría la recíproca del Teorema 1.1.

4. Significado e Impacto

1. Unificación de Geometría y Álgebra: El trabajo logra un "diccionario" preciso entre invariantes diferenciales (curvatura media, funcionales de Yang-Mills) y invariantes algebraicos (pendientes de Harder-Narasimhan, neficidad) en el contexto de fibraciones complejas.
2. Generalización de Resultados Clásicos: Extiende resultados fundamentales de la teoría de haces vectoriales (como la relación entre métricas de Hermite-Einstein y semiestabilidad) a familias de variedades complejas, un área donde las herramientas algebraicas son más difíciles de aplicar directamente.
3. Herramientas para el Futuro: La demostración de límites inferiores en el contexto de formas Gauduchon (no necesariamente Kähler) y espacios singulares abre nuevas vías para el estudio de ecuaciones de tipo Monge-Ampère y Hessian en fibraciones.
4. Obstrucciones a la Existencia de Métricas: Proporciona obstrucciones numéricas claras para la existencia de métricas con curvatura media horizontal constante (análogas a las ecuaciones de Einstein), vinculando la no existencia de tales métricas con la inestabilidad algebraica de las imágenes directas.

En resumen, el artículo de Finski establece un marco robusto para analizar la estabilidad geométrica de fibraciones complejas mediante el análisis asintótico de sus imágenes directas, utilizando el límite semiclásico como puente fundamental entre la geometría diferencial y la geometría algebraica.