Complete subvarieties in the projectivized strata of meromorphic differentials

技术摘要：亚纯微分投影化层中的完备子簇

问题陈述
本文探讨了严格亚纯微分的投影化层（记作 $P\Omega M_g(\mu)$）是否包含正维度的完备代数子簇。这里，$\mu$ 是一个整数元组，其总和为 $2g-2$，规定了零点和极点的阶数。已知全纯微分的层（其中 $\mu$ 的项均为非负）不包含此类子簇，且严格亚纯微分的非投影化层也不包含此类子簇（通过涉及除子类的代数几何方法已得到证明），但此前尚缺乏针对投影化严格亚纯微分情况的平坦几何证明。作者旨在通过在这些层上构造一个特定的解析函数来填补这一空白。

方法论
作者采用了平坦几何方法，利用由亚纯微分诱导的平移曲面结构。核心方法论是在投影化层 $P\Omega M_g(\mu)$ 上构造一个全局定义的严格复纯亚谐函数。这是通过结合两个不同的函数实现的：

1. 长度函数 ($\ell^{-2}$)：由 Mondello 引入，该函数衡量一组短鞍连接（saddle connections）基的总长度。对于相对同调的一个基 $B$，$\ell^{-2}_B = \sum_{\gamma \in B} |P_\gamma|^{-2}$，其中 $P_\gamma$ 是沿鞍连接 $\gamma$ 的周期。全局函数 $\ell^{-2}$ 是所有此类基的极值（supremum）。
2. 极点大小函数 ($S$)：这是本文引入的一个新函数。在严格亚纯微分的平坦结构中，曲面分解为一个“核心”（零点的有限面积凸包）和若干个“极点域”（围绕极点的无限面积区域）。这些极点域的边界由“外围鞍连接”组成。函数 $S(\omega)$ 定义为所有极点域边界边集的周期和的最大模：
   $$S(\omega) := \max_{E \subset D_\omega} \left| \sum_{\gamma \in E} P_\gamma \right|$$
   其中 $D_\omega$ 是所有极点域边界边的并集。

作者分析了这些函数的变形性质。他们确立了虽然 $S$ 是 1 次齐次的，而 $\ell^{-2}$ 是 -2 次齐次的，但它们的组合 $2 \log S + \log \ell^{-2}$ 在投影化层上是良定义的（在投影化层中，通过 $\lambda \in \mathbb{C}^*$ 对 $\omega$ 进行缩放不会改变其值）。

主要贡献与结果

• 构造严格复纯亚谐函数：主要结果（定理 1.3）证明了函数 $F = 2 \log S + \log \ell^{-2}$ 在任何严格亚纯微分的投影化层 $P\Omega M_g(\mu)$ 上都是严格复纯亚谐的。

  • 该证明依赖于证明 $\log \ell^{-2}$ 在与层之射线横截的子流形上是严格复纯亚谐的（这是对 Mondello 结果的改编）。
  • 至关重要的是，作者证明了 $\log S$ 是复纯亚谐的。这是通过证明 $S$ 的最大值总是由“相干同调类”（coherent homology classes）取得来实现的。这些类是外围鞍连接的特定和，在微小变形下仍保持为相干类，从而允许 $S$ 在局部被表达为有限个全纯模函数的最大值。

• 不存在完备子簇：作为直接推论（推论 1.4），作者得出结论：在 $P\Omega M_g(\mu)$ 中不存在正维度的完备子簇。该论证遵循极大值原理：非恒等的复纯亚谐函数不可能存在于完备簇上。由于 $F$ 是严格复纯亚谐的，它在任何正维度子簇上的限制必是非恒等的，若该子簇是完备的，则会导致矛盾。

• 向 $k$-微分的推广：该结果被推广到具有至少 $k$ 阶极点的 $k$-微分层（推论 1.5）。这是通过证明此类微分可以通过一个规范循环覆盖提升为严格亚纯一形式的 $k$ 次幂，从而继承了该不存在性性质。

意义与主张
本文声称提供了第一个关于投影化严格亚纯微分层不包含正维度完备子簇的平坦几何证明。此前的亚纯情形证明依赖于代数几何设置中除子类的正定性。

作者强调，所构造的极点大小函数 $S$ 及其复纯亚谐性质，是此前代数几何证明中所使用的（与极点处 $S^1$-丛相关的）$\psi$ 类的解析体现。他们指出，这种度量几何（平坦结构）与上同调类（$\psi$ 类）之间的相互作用，类比了 Kontsevich 和 Mirzakhani 在 Witten 猜想背景下的技术。这项工作旨在架起仿射几何视角与模空间理论之间的桥梁，为研究微分层几何提供一种新的工具。