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

技术摘要：Wess-Zumino-Witten 方程与 Harder-Narasimhan 位势

问题陈述
本文研究了极化复射影流形族 $\pi: X \to B$ 上 Wess-Zumino-Witten (WZW) 方程解的存在性。具体而言，对于具有第一陈类 $[\alpha]$ 的相对丰沛线丛 $L$，该方程由下式给出：
$$\alpha^{n+1} \wedge \pi^*\omega_B^{m-1} = 0$$
其中 $\omega_B$ 是底空间 $B$ 上的 Kähler 形式。虽然当 $B$ 带有边界时（与 Mabuchi 测地线相关），该方程已得到充分理解，但 $B$ 为无边紧流形的情况则呈现出不同的理论。本文探讨了两个核心问题：

1. 代数障碍：支配 WZW 方程近似解存在的代数障碍是什么？
2. 最优替代方案：当精确解或近似解不存在时，什么是“最佳”替代方案？本文旨在构造最小化相关 WZW 泛函的序列形式。

本研究受向量丛上 Hermite-Einstein 方程的推广所驱动。在特定情形下，即当 $X = \mathbb{P}(F^*)$ 为 $B$ 上向量丛 $F$ 的射影化时，WZW 方程的可解性等价于 $F$ 上存在 Hermite-Einstein 度量，从而将其与 Kobayashi-Hitchin 对应联系起来。这项工作旨在将这一对应推广到不一定与向量丛相关的纤维化。

方法论
该方法严重依赖几何量子化及直接像层的渐近分析。方法论通过以下步骤进行：

1. Harder-Narasimhan 滤过与位势：作者利用了直接像层 $E_k = R^0\pi_* L^{\otimes k}$ 的 Harder-Narasimhan (HN) 滤过。一个关键见解是，这些滤过在截面环 $\bigoplus E_k$ 上（除去一个可忽略集）诱导了一个有界且次乘性的滤过。
2. 加权 Bergman 核：本文定义了一个"Harder-Narasimhan 位势”$HN_k(\omega)$，它源自与 HN 滤过相关的加权 Bergman 核。当 $k \to \infty$ 时，这些位势收敛于一个极限函数 $HN(\omega)$，该函数代表了与 HN 滤过相关的测地线射线的速度。
3. 近似临界结构：借鉴 Atiyah-Bott、Daskalopoulos-Wentworth 和 Sibley 的结果，构造利用了向量丛 $E_k$ 上的 $L^1$-近似临界 Hermite 结构。这些结构适应于 HN 滤过，并作为构造测地线射线的起点。
4. 去量子化：核心技术贡献涉及这些测地线射线的“去量子化”。通过在 $E_k$ 上构造尊重环丛 $\bigoplus E_k$ 代数结构（通过对称幂和商度量）的特定 Hermite 度量，作者导出了 $X$ 上的一系列 $(1,1)$-形式 $\omega_\epsilon$。
5. 辅助 Monge-Ampère 方程：本文引入了一个辅助方程：
   $$\omega^{n+1} \wedge \pi^*\omega_B^{m-1} = HN(\omega) \cdot \omega^n \wedge \pi^*\omega_B^m \cdot (n+1)$$
   与 WZW 方程不同，该方程对任何极化族都承认近似解。

主要贡献与结果

• 定理 1.1（代数刻画）：本文建立了一个精确公式，将 WZW 泛函的下确界与源自 HN 斜率的代数量联系起来。具体而言：
  $$\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)$$
  其中，$\eta^{HN}$ 是由 $E_k$ 的归一化 HN 斜率形成的概率测度的弱极限。该结果提供了 HN 测度的微分几何刻画，并确定了阻碍解存在的代数障碍（即 $\eta^{HN}$ 的散布）。

• 定理 1.7（近似解的存在性）：主要的技术成就在于证明了辅助 Monge-Ampère 方程对任意 $\epsilon > 0$ 都承认近似解。这些解 $\omega_\epsilon$ 最小化了 WZW 泛函，并在精确解不存在时充当最接近真实解的对应物。

• 推论 1.3（广义 Kobayashi-Hitchin 对应）：本文证明了 WZW 方程近似解的存在性等价于底层代数数据的半稳定性（具体而言，即 $\eta^{HN}$ 是一个狄拉克质量）。当特化到射影化向量丛时，这恢复了 Kobayashi-Hitchin 对应的一种形式。

• 推论 1.5（渐近上同调）：作为一个应用，本文证明了针对底空间为曲线的纤维化情形，Andreotti-Grauert 定理的渐近逆定理（由 Demailly 猜想）成立。它表明最小化 WZW 泛函的形式序列饱和了由渐近上同调给出的下界。

• 与 Hessian 商方程的联系：本文讨论了 WZW 方程与 Hessian 商方程之间的关系，指出虽然 WZW 方程是退化的（线性化非椭圆），但当底空间为曲线时，近似解可以与 J-方程（一种 Hessian 商方程）的解联系起来。

意义与主张
本文声称解决了无边情形下 WZW 方程的代数障碍问题，并通过 Harder-Narasimhan 测度提供了完整的刻画。它断言所构造的近似解是最优的，因为它们最小化了相关的 Yang-Mills 泛函。

其意义在于：

1. 推广：将 Kobayashi-Hitchin 对应从向量丛推广到一般纤维化。
2. 新方程：引入并求解了一个辅助 Monge-Ampère 型方程，该方程通过纳入 HN 滤过的加权 Bergman 核而推广了 WZW 方程。
3. 方法论创新：证明了几何量子化，特别是与 $L^1$-近似临界结构相关的测地线射线的去量子化，可用于构造退化几何偏微分方程的解，而传统的连续性方法或几何流可能无法直接适用。

作者指出，当底空间 $B$ 为曲线（维度 1）时，结果最为稳健，此时 WZW 泛函与绝对 Monge-Ampère 泛函之间的关系是直接的。对于更高维的底空间，研究 WZW 泛函的技术在相对丰沛设定之外会失效，且辅助方程显式解的存在性及其正则性仍是一个未决问题。本文并未声称解决所有情形下的 Demailly 猜想，而是提供了针对曲线上纤维化情形的证明。