About Wess-Zumino-Witten equation and Harder-Narasimhan potentials

Resumen Técnico: Ecuación de Wess-Zumino-Witten y Potenciales de Harder-Narasimhan

Enunciado del Problema
El artículo investiga la existencia de soluciones a la ecuación de Wess-Zumino-Witten (WZW) en una familia polarizada de variedades proyectivas complejas $\pi: X \to B$. Específicamente, para un fibrado lineal relativamente amplio $L$ con primera clase de Chern $[\alpha]$, la ecuación viene dada por:
$$\alpha^{n+1} \wedge \pi^*\omega_B^{m-1} = 0$$
donde $\omega_B$ es una forma de Kähler en la base $B$. Si bien esta ecuación está bien entendida cuando $B$ tiene frontera (relacionándose con geodésicas de Mabuchi), el caso en que $B$ es una variedad compacta sin frontera presenta una teoría diferente. El artículo aborda dos preguntas centrales:

1. Obstrucciones Algebraicas: ¿Cuáles son las obstrucciones algebraicas que gobiernan la existencia de soluciones aproximadas a la ecuación WZW?
2. Alternativas Óptimas: Cuando no existen soluciones exactas o aproximadas, ¿cuáles son las "mejores" alternativas? El artículo busca construir secuencias de formas que minimicen el funcional WZW asociado.

El estudio está motivado por la generalización de la ecuación de Hermite-Einstein en fibrados vectoriales. En el caso específico donde $X = \mathbb{P}(F^*)$ para un fibrado vectorial $F$ sobre $B$, la resolubilidad de la ecuación WZW es equivalente a la existencia de una métrica de Hermite-Einstein en $F$, vinculándola a la correspondencia de Kobayashi-Hitchin. Este trabajo tiene como objetivo extender esta correspondencia a fibraciones no necesariamente asociadas con fibrados vectoriales.

Metodología
El enfoque depende en gran medida de la cuantización geométrica y del análisis asintótico de haces de imagen directa. La metodología procede a través de los siguientes pasos:

1. Filtraciones y Potenciales de Harder-Narasimhan: El autor utiliza la filtración de Harder-Narasimhan (HN) de los haces de imagen directa $E_k = R^0\pi_* L^{\otimes k}$. Una idea clave es que estas filtraciones inducen una filtración acotada y submultiplicativa en el anillo de secciones $\bigoplus E_k$ (alejándose de un conjunto despreciable).
2. Núcleos de Bergman Ponderados: El artículo define un "potencial de Harder-Narasimhan", $HN_k(\omega)$, derivado de un núcleo de Bergman ponderado asociado a la filtración HN. Cuando $k \to \infty$, estos potenciales convergen a una función límite $HN(\omega)$, que representa la velocidad del rayo geodésico asociado a la filtración HN.
3. Estructuras Críticas Aproximadas: Basándose en resultados de Atiyah-Bott, Daskalopoulos-Wentworth y Sibley, la construcción utiliza estructuras hermitianas críticas $L^1$-aproximadas en los fibrados vectoriales $E_k$. Estas estructuras se adaptan a la filtración HN y sirven como punto de partida para construir rayos geodésicos.
4. De-cuantización: La contribución técnica central implica la "de-cuantización" de estos rayos geodésicos. Mediante la construcción de métricas hermitianas específicas en $E_k$ que respetan la estructura algebraica del fibrado anillo $\bigoplus E_k$ (a través de potencias simétricas y métricas de cociente), el autor deriva una secuencia de formas $(1,1)$ $\omega_\epsilon$ en $X$.
5. Ecuación de Monge-Ampère Auxiliar: El artículo introduce una ecuación auxiliar:
   $$\omega^{n+1} \wedge \pi^*\omega_B^{m-1} = HN(\omega) \cdot \omega^n \wedge \pi^*\omega_B^m \cdot (n+1)$$
   A diferencia de la ecuación WZW, esta ecuación admite soluciones aproximadas para cualquier familia polarizada.

Contribuciones y Resultados Clave

• Teorema 1.1 (Caracterización Algebraica): El artículo establece una fórmula precisa que vincula el ínfimo del funcional WZW con una cantidad algebraica derivada de las pendientes HN. Específicamente:
  $$\text{WZW}(c_1(L) - t\pi^*[\omega_B], \omega_B) = \int_{\mathbb{R}} |x - t| d\eta^{HN}(x) \cdot \int_X c_1(L)^n \pi^*[\omega_B]^m \cdot (n+1)$$
  Aquí, $\eta^{HN}$ es el límite débil de las medidas de probabilidad formadas por las pendientes HN normalizadas de $E_k$. Este resultado proporciona una caracterización diferencial-geométrica de la medida HN e identifica las obstrucciones algebraicas (la dispersión de $\eta^{HN}$) a la existencia de soluciones.

• Teorema 1.7 (Existencia de Soluciones Aproximadas): El logro técnico principal es demostrar que la ecuación auxiliar de Monge-Ampère admite soluciones aproximadas para cualquier $\epsilon > 0$. Estas soluciones, $\omega_\epsilon$, minimizan el funcional WZW y sirven como los contrapartes más cercanos a las soluciones verdaderas cuando estas últimas no existen.

• Corolario 1.3 (Correspondencia de Kobayashi-Hitchin Generalizada): El artículo demuestra que la existencia de soluciones aproximadas a la ecuación WZW es equivalente a la semistabilidad de los datos algebraicos subyacentes (específicamente, que $\eta^{HN}$ es una masa de Dirac). Cuando se especializa a fibrados vectoriales proyectivizados, esto recupera una versión de la correspondencia de Kobayashi-Hitchin.

• Corolario 1.5 (Cohomología Asintótica): Como aplicación, el artículo demuestra un recíproco asintótico al teorema de Andreotti-Grauert (conjeturado por Demailly) para configuraciones fibradas donde la base es una curva. Muestra que la secuencia de formas que minimiza el funcional WZW satura el límite inferior dado por la cohomología asintótica.

• Conexión con Ecuaciones de Cociente Hessian: El artículo discute la relación entre la ecuación WZW y las ecuaciones de cociente hessian, señalando que, aunque la ecuación WZW es degenerada (linealización no elíptica), las soluciones aproximadas pueden relacionarse con soluciones de la ecuación J (un tipo de ecuación de cociente hessian) cuando la base es una curva.

Significado y Afirmaciones
El artículo afirma resolver la cuestión de las obstrucciones algebraicas para la ecuación WZW en el contexto sin frontera, proporcionando una caracterización completa a través de la medida de Harder-Narasimhan. Afirma que las soluciones aproximadas construidas son óptimas en el sentido de que minimizan el funcional de Yang-Mills asociado.

El significado radica en:

1. Generalización: Extender la correspondencia de Kobayashi-Hitchin más allá de los fibrados vectoriales hacia fibraciones generales.
2. Nueva Ecuación: Introducir y resolver una ecuación auxiliar de tipo Monge-Ampère que generaliza la ecuación WZW incorporando el núcleo de Bergman ponderado de la filtración HN.
3. Innovación Metodológica: Demostrar que la cuantización geométrica, específicamente la de-cuantización de rayos geodésicos asociados a estructuras críticas $L^1$-aproximadas, puede utilizarse para construir soluciones a EDPs geométricas degeneradas donde los métodos de continuidad tradicionales o los flujos geométricos podrían no aplicarse directamente.

El autor señala que los resultados son más robustos cuando la base $B$ es una curva (dimensión 1), donde la relación entre el funcional WZW y los funcionales de Monge-Ampère absolutos es directa. Para bases de dimensión superior, las técnicas para estudiar el funcional WZW se descomponen fuera del contexto relativamente amplio, y la existencia de soluciones explícitas a la ecuación auxiliar sigue siendo una pregunta abierta con respecto a la regularidad. El artículo no afirma resolver la conjetura general de Demailly para todos los casos, sino que proporciona una demostración para el caso fibrado sobre curvas.