Some density results for hyperkähler manifolds

《关于超凯勒流形的某些密度结果》技术摘要

问题陈述
本文探讨了超凯勒流形族中拉格朗日纤维化（Lagrangian fibrations）的存在性与分布问题。一个超凯勒流形 $X$ 若拥有一个关于 Beauville–Bogomolov–Fujiki (BBF) 二次型 $q_X$ 为各向同性的半充足线丛 $L$（即 $q_X(L)=0$），则该流形允许一个拉格朗日纤维化。核心问题在于，对于一个非平凡（non-isotrivial）族 $X \to S$，确定其参数集中使得纤维 $X_t$ 拥有此类各向同性类的点的密度。此外，本文研究了使该各向同性类同时为 nef（正定/有效）的点的开集性与密度问题，这一条件被猜想为存在拉格朗日纤维化的充分条件（即超凯勒 SYZ 猜想）。

方法论
作者采用了霍奇理论方法，具体为 K3 型变分霍奇结构（VHS）理论。

1. 各向同性类的密度： 作者将该族模型化为定义在连通复流形 $S$ 上的 VHS $(S, \mathcal{V}, F^\bullet, \nabla, q)$。他们利用周期映射 $P: S \to \Omega$ 到周期域 $\Omega$ 的性质。证明依赖于周期域的遍历性质以及非平凡族中周期映射微分的满射性。他们借鉴了 Voisin 关于高斯–马诺连接（Gauss–Manin connection）背景下投影子沉降性质的一个引理，以证明各向同性类变为代数类的轨迹并集是稠密的。
2. Nef 类的密度： 对于 nef 轨迹，作者利用了墙除子（wall divisors）和 MBM（单测度双有理极小）类理论。他们分析了变形空间中 nef 轨迹的补集，表明其为由墙除子定义的超曲面可数并集。证明过程利用了单测度群在极化周期域上的本原不连续作用（这一结果由 Amerik 和 Verbitsky 建立），从而证明这些超曲面的并集是闭集且测度为零，进而确立了 nef 轨迹的开集性与密度。

主要贡献与结果

• 定理 1（各向同性类的密度）： 对于一个二阶贝蒂数 $b_2(X_t) \geq 5$ 的非平凡超凯勒流形族 $X \to S$，使得纤维 $X_t$ 拥有非零各向同性类在 $H^{1,1}(X_t, \mathbb{Z})$ 中的点集 $t \in S$ 要么为空集，要么在 $S$ 中解析稠密。这一结果将已知的关于全局变形空间的密度陈述推广到了任意非平凡族中。
• 定理 4（Nef 轨迹的开集性与密度）： 令 $X$ 为一个超凯勒流形，$L$ 为一个各向同性线丛。在 $L$ 保持代数性的轨迹 $\text{Def}(X, L)$ 中，使 $L$ 保持 nef 的轨迹 $\text{Def}(X, L)_{\text{nef}}$ 是开且稠密的。具体而言，补集 $\text{Def}(X, L) \setminus \text{Def}(X, L)_{\text{nef}}$ 是由墙除子诱导的可数超曲面并集。
• 推论 2.5（墙除子的界限）： 作为开集性结果及 Moriwaki 判据的推论，作者确立了一个界限，该界限规定了在非平凡族中能使各向同性线丛不再是 nef 的墙除子的最小次数。

意义与主张
本文为支持超凯勒 SYZ 猜想提供了严谨的证据，该猜想认为存在非平凡各向同性 nef 线丛等价于存在拉格朗日纤维化。

• 作者证明了在任何非平凡族中，“良好”的参数（即拥有各向同性类，并随后拥有 nef 各向同性类的参数）并非孤立的，而是构成了一个稠密集。
• 关于 nef 轨迹的结果证实了预期的几何行为：一个类成为 nef 的障碍被限制在变形空间中的一个“小”集合内（可数超曲面并集）。
• 该工作将之前的密度结果（例如 Oguiso 关于 Noether–Lefschetz 轨迹的结果以及 Tayou 关于等分布性的结果）扩展到了任意非平凡族中各向同性类的特定语境下，并使用适用于 K3 型结构的统一霍奇理论方法。

作者明确指出，尽管 SYZ 猜想已在特定的变形类（Hilbert 方案、广义 Kummer、OG6、OG10）中得到确立，但他们关于 nef 轨迹密度的结果对于一般的极化超凯勒流形均成立，从而增强了该猜想在更广泛模空间中的有效性。