Intermediate hyperbolicity of varieties supporting a variation of Hodge structure

技术摘要：支持变分霍奇结构的簇的中间双曲性

问题陈述
本文研究了光滑复射影簇 $\bar{V}$ 上对数微分形式向量丛 $\Omega^p_{\bar{V}}(\log D)$ 的正性性质，其中 $D$ 是一个正规交叉除子。具体而言，本文探讨了当开簇 $V = \bar{V} \setminus D$ 在某一点处支持具有浸入式周期映射的复极化变分霍奇结构（C-PVHS）时的情形。虽然先前的研究已经确立了对数余切丛（$p=1$）和正则丛（$p=\dim V$）的正性，但中间次数 $1 < p < \dim V$ 的行为在很大程度上仍不明确。核心问题在于，这些中间次数的丛是否表现出“中间双曲性”，即以 L-大（L-bigness）和 Viehweg-大（Viehweg-bigness）等概念为特征的正性。

研究方法
作者综合运用了变分霍奇理论、复微分几何和 o-极小几何学（o-minimal geometry）。其核心方法论包括：

1. 度量分析与曲率： 研究利用由 C-PVHS 的极化所诱导的霍奇度量。通过分析 Higgs 场 $\theta$ 及其共轭 $\theta^*$ 的曲率，作者在射影丛 $\mathbb{P}\Omega^p_{\bar{V}}(\log D)$ 的平凡线丛 $\mathcal{O}_{\mathbb{P}}(1)$ 上构造了一个奇异赫米特度量。Higgs 丛上度量的负性性质被证明意味着 $\mathcal{O}_{\mathbb{P}}(1)$ 曲率的半正性。
2. 增广基处（Augmented Base Loci）： 向量丛的正性被转化为射影丛 $\mathcal{O}_{\mathbb{P}}(1)$ 的增广基处 $B_+(\mathcal{O}_{\mathbb{P}}(1))$ 的几何性质。通过利用 Nakamaye 定理的解析版本（Tosatti）以及 Boucksom 关于非凯勒区域（non-Kähler loci）的结果，本文将截面的非零性与曲率形式的行为联系起来。
3. 无穷小变分与分解： 一个关键的技术步骤是对“复极化无穷小变分霍奇结构”（C-PIVHS）的研究。通过在这些结构的半单范畴内应用 Schur 引理，作者证明了一个分解定理（定理 3.13），该定理允许对 Higgs 场迭代 $\theta^{i,j}$ 的秩进行分析。这引出了一个“秩准则”，用于确定增广基处何时受到限制。
4. o-极小几何： 对于特定的局部对称簇，证明某些特征子簇是 Zariski 闭集的步骤依赖于 Peterzil 和 Starchenko 的 o-极小 Chow 引理。这要求建立这些子簇在 o-极小结构 $\mathbb{R}_{an, \exp}$ 中是可定义的，这利用了算术格的超刚性（superrigidity）以及 Klingler, Ullmo, Yafaev 的工作。

主要贡献与结果

• 所有次数下的 L-大性： 本文证明，如果 C-PVHS 的周期映射在某一点是浸入的，那么对于所有 $1 \le p \le \dim V$，$\Omega^p_{\bar{V}}(\log D)$ 都是 L-大的（定理 1.1）。这推广了此前仅限于 $p=1$ 和 $p=\dim V$ 的 Brunebarbe, Cadorel, Zuo 和 Totaro 的研究结果。
• 通过秩准则实现的 Viehweg-大性： 在关于 Higgs 场迭代的单射性和秩的特定“Torelli 型”和“Calabi-Yau 型”假设下，作者提供了一种确定整数 $m$ 的方法，使得对于所有 $p > m$，$\Omega^p_{\bar{V}}(\log D)$ 都是 Viehweg-大的（定理 1.2）。这为确定“更强”的正性建立了阈值。
• 在模空间的应用： 该理论被应用于光滑五次三维流形的精细模空间。通过计算 Fermat 五次流形 Jacobian 环中的相关秩，作者表明对于 $91 \le p \le 101$，$\Omega^p_{\bar{M}}(\log D)$ 是 Viehweg-大的（定理 1.4）。文中指出 91 是一个可能被改进的计算界限。
• 局部对称簇： 对于局部对称簇 $X$（有界对称域的商），本文引入了“高次数特征子簇” $S_p$，将 Mok 的特征子簇（$p=1$）进行了推广。
  • 文中证明了 $S_p$ 与增广基处及 $X$ 之上的纤维的交集一致（定理 1.12）。
  • 给出了完整的刻画：$\Omega^p_{\bar{X}}(\log D)$ 是 Viehweg-大的，当且仅当 $p > l$，其中 $l$ 是 Riemann 曲率张量 $R(v, \bar{v})$ 核的最大维数（定理 1.5）。
  • 为各种域（例如复球、多圆盘、阿贝尔簇的模空间）提供了显式的 $l$ 值。

意义与主张
本文声称建立了一个统一的框架，用于理解支持变分霍奇结构的簇的中间双曲性。通过将增广基处的代数几何与 Higgs 场和曲率的微分几何联系起来，它将正性结果的范围从正则丛和余切丛扩展到了任意中间次数。

其意义在于：

1. 泛化： 从极值次数（$p=1, \dim V$）转向任意中间次数 $p$。
2. 显式准则： 提供具体的、可计算的条件（通过 Higgs 场迭代的秩）来确定 Viehweg-大性的阈值。
3. 几何刻画： 对于局部对称簇，该结果将增应基处的代数概念与由曲率核定义的几何概念（特征子簇）联系起来，推广了 Mok 的工作到更高次数。
4. 方法论整合： 在局部对称簇的背景下，利用 o-极小几何学来证明特征子簇的 Zariski 闭性，为模型论与复代数几何之间建立了一座新的技术桥梁。

作者指出，虽然对于局部对称簇，其结果是优化的，但对于一般的模空间（如五次三维流形），目前的界限受限于计算约束，未来仍有改进空间。本文并不声称解决了所有此类簇的双曲性问题，而是提供了一套稳健的充分条件和结构性的障碍理解。