Generalized Bogomolov Inequalities

技术摘要：广义 Bogomolov 不等式

问题陈述
本文探讨了经典 Bogomolov 不等式的推广。该不等式断言：对于复射影流形 $X$ 上关于 ample 类 $h$ 的半稳定无挠层 $E$，其判别式 $\Delta(E) = 2r c_2(E) - (r-1)c_1(E)^2$ 满足 $\int_X \Delta(E) \cdot h^{d-2} \geq 0$。作者寻求将此不等式推广到更广泛的背景，其中极化不一定是 ample 除子的幂，而是一般的上同调类 $\eta_{d-1} \in H^{d-1,d-1}(X)$（或在解析情形下的 nef 锥）。具体而言，他们研究了在何种条件下，一对上同调类 $(\eta_{d-1}, \eta_{d-2})$ 能保证对所有 $\eta_{d-1}$-半稳定层，都有 $\int_X \Delta(E) \cdot \eta_{d-2} \geq 0$。

方法论
作者引入了两个新概念来构建此问题框架：

1. Hodge-Riemann 对：若 $\eta_{d-2}$ 满足 Hodge-Riemann 双线性关系（在由 $\eta_{d-1}$ 诱导的映射的核上具有符号 $(+, -, \dots, -)$）且满足特定的正性条件，则称一对 $(\eta_{d-1}, \eta_{d-2})$ 为 Hodge-Riemann 对。这推广了经典情形，即 $\eta_i = h^i$。
2. Bogomolov 对：若 Bogomolov 不等式对所有 $\eta_{d-1}$-半稳定层成立，则称一对 $(\eta_{d-1}, \eta_{d-2})$ 为 Bogomolov 对。

核心猜想断言：每一个 Hodge-Riemann 对都是 Bogomolov 对。方法论采用了代数与解析技术的结合：

• 代数几何：利用 Schur 多项式、导出多项式以及 ample 向量丛的几何性质。作者使用"R-扭曲”丛构造 $A\langle th \rangle$，将向量丛的 Schur 类与经典 ample 类联系起来。
• 复微分几何：运用 Hitchin-Kobayashi 对应（Hitchin-Kobayashi correspondence）和 Hermitian-Einstein 度量。对于稳定丛，他们计算了由上同调类导出的 Gauduchon 度量下的逐点判别式。
• 有界性理论：利用半稳定层族的有界性，通过秩的归纳和形变论证，将结果从稳定丛推广到半稳定层。

主要贡献与结果

1. Hodge-Riemann 对的定义与性质：
   本文确立了由 ample 类（或 Kähler 类）的 Schur 多项式构成的对是 Hodge-Riemann 对。具体而言，若 $A$ 是秩 $e \geq d-1$ 的 ample 向量丛，且 $\lambda$ 是 $d-1$ 的一个分划，则 $(s_\lambda(A), s'_\lambda(A))$ 是一个 Hodge-Riemann 对。这在解析情形下可推广至 Kähler 类 $\alpha_i$。

2. 特定情形下猜想的证明：
   作者证明了该猜想（Hodge-Riemann 对 $\implies$ Bogomolov 对）在若干重要情形下成立：

   • Kähler 类的 Schur 类：对于任意满足 $e \geq d-1$ 的 Kähler 类 $\alpha_1, \dots, \alpha_e$ 及分划 $\lambda$，对 $(s_\lambda(\alpha), s'_\lambda(\alpha))$ 是 Bogomolov 对。稳定丛情形的证明依赖于 Hitchin-Kobayashi 对应以及利用 Hermitian-Einstein 度量对判别式的逐点计算。随后通过消解和归纳将其推广至半稳定层。
   • 三维流形与复环面：该猜想已在复三维流形和复环面上的所有 Hodge-Riemann 对情形下得到证明。
   • Ample 丛的 Segre 类与 Chern 类：在特定的斜率条件下（例如 $s_d(A) > \mu_{\max, s_{d-1}(A)}(A)$），对 $(s_{d-1}(A), s_{d-2}(A))$ 和 $(c_{d-1}(A), c_{d-2}(A))$ 被证明是 Bogomolov 对。这涉及将问题提升到射影化 $P(A)$ 并在其上应用经典 Bogomolov 不等式。

3. 半稳定层的有界性：
   这些结果的一个主要应用是新的有界性定理。作者证明：若一类 $K' \subset \text{Amp}^{d-1}(X)$ 是路径连通且紧致的，并且可以通过由 Hodge-Riemann 对和 Bogomolov 对构成的路径连接到已知的“有界性类”，则固定拓扑类型的 $\eta_{d-1}$-半稳定层集合是有界的。这意味着对于这些广义稳定性条件，存在有限型的模空间。

4. 推广至 Higgs 层：
   本文将 Bogomolov 不等式推广至 Higgs 层。结果表明，若 $(\Omega_{d-1}, \Omega_{d-2})$ 是微分形式的 Hodge-Riemann 对，则对于任何 admitting Hermitian-Yang-Mills 度量的 $\Omega_{d-1}$-半稳定 Higgs 层，判别式不等式在逐点和上同调意义下均成立。

意义与主张
本文声称通过引入 Hodge-Riemann 对的概念，为推广 Bogomolov 不等式提供了“正确的框架”。其意义在于：

• 统一性：它将各种已知不等式（经典 Bogomolov 不等式、关于 Schur 类的结果）统一在一个单一的猜想框架下。
• 模理论：它确立了关于一大类非标准极化（特别是由 Kähler 类的 Schur 多项式导出的极化）的半稳定层的有界性，这是构造模空间的前提条件。
• 解析技术：它展示了 Hitchin-Kobayashi 对应和 Gauduchon 度量在证明 Kähler 流形上层的代数不等式方面的效用。

作者对完整猜想保持谦逊，指出虽然他们针对特定类（Schur 多项式、三维流形、环面以及满足特定斜率不等式的丛）证明了该猜想，但针对任意 Hodge-Riemann 对的一般情形仍未解决。他们明确指出，某些蕴含关系的逆命题（例如，Hodge-Riemann 对的极限是否总是 Hodge-Riemann 对）并不成立，突显了该问题的微妙性。