On the distribution of mixed Hodge loci

技术摘要：论混合 Hodge 轨迹的分布

问题陈述
本文研究了与光滑、不可约复代数簇 $S$ 上一个可伴随、分次极化的整混合 Hodge 结构（VMHS）$V$ 相关联的 Hodge 轨迹 $HL(S, V^\otimes)$ 的分布。Hodge 轨迹定义为点集 $\{s \in S^{an}\}$，其中纤维 $V_s$ 相比于泛型纤维，拥有额外的 Hodge 张量（即作为 Hodge 类的有理张量 $T^{a,b}(V_s, \mathbb{Q})$）。

虽然 Brosnan-Pearlstein-Schnell 的工作已经确立了 Hodge 轨迹是严格代数子簇的可数并集，但这些子簇的分布仍然是一个核心问题。本文聚焦于混合情形下的 Zilber-Pink 猜想，特别是“全或无”（all-or-nothing）的二分性：如果 Hodge 轨迹的“典型”部分非空，那么它在 $S$ 中是否是 Zariski 稠密的？此外，本文试图理解在什么条件下 Hodge 轨迹是空集或严格闭的，特别是这与变分（variation）的“层级”（level）之间的关系。

方法论
作者综合运用了相交理论、o-minimal 几何以及 Mumford-Tate 群理论。其核心方法论框架包括：

1. 相交理论描述： 基于 Klingler 的实现，Hodge 轨迹被视为一系列相交轨迹的并集。本文对 Hodge 轨迹进行了分解，将其分为典型（typical）部分和非典型（atypical）部分，并引入了一个关键的中间概念：横截 Hodge 轨迹（$HL(S, V^\otimes)_{\text{trans}}$）。一个特殊子簇是横截的，如果它源于周期映射的像与一个 Hodge 子簇在微分几何意义上的“横截相交”（满足维度相等条件）。
2. $V$-似然性（$V$-Likelihood）： 本文引入了 $V$-似然混合 Hodge 子类（$V$-likely mixed Hodge subclass）的概念。一个严格混合 Hodge 子类 $(M, DM) \subset (P, DP)$ 是 $V$-似然的，如果它满足一个涉及周期映射以及通过带有单正则根的法子群进行商映射的特定维度不等式。这一条件推广了纯情形下的“因子式 $V$-可伴随性”（factorwise $V$-admissibility）。
3. O-minimal 与 Ax-Schanuel 工具： 证明过程高度依赖于混合 Ax-Schanuel 定理（Bakker-Brunebarbe-Tsimerman, Gao-Klingler）和几何 Zilber-Pink 定理（Baldi-Urbanik）。这些工具使作者能够控制周期映射的代数性以及弱特殊子簇的分布。
4. 李代数分析： 本文利用泛型 Mumford-Tate 群李代数的结构，特别是通过分析 $\text{Lie}(P)$ 的权重过滤和 Hodge 数，来推导不存在横截相交的约束条件。

主要贡献与结果

• 横截轨迹的“全或无”定理： 主要结果（定理 1.8）确立了对于任何严格混合 Hodge 子类 $(M, DM)$，类型为$M$ 的横截 Hodge 轨迹 $HL(S, V^\otimes, M)_{\text{trans}}$ 要么是空集，要么在 $S$ 中是 Zariski 稠密的。

  • 推论： 如果典型 Hodge 轨迹 $HL(S, V^\otimes)_{\text{typ}}$ 非空，则完整的 Hodge 轨迹 $HL(S, V^\otimes)$ 在 $S$ 中是 Zariski 稠密的（定理 1.4）。这意味着 Zilber-Pink 猜想的部分 (a)（非典型轨迹的有限性）蕴含了部分 (b)（典型轨迹的稠密性）。

• 通过似然性进行特征化： 本文证明了横截 Hodge 轨迹的非空性等价于存在一个 $V$-似然的严格混合 Hodge 子类（定理 1.14）。

  • 欧几里得稠密性： 在满足 $\text{Gr}^W_{-2}(\text{Lie}(P)) = 0$ 的条件下（这意味着该变分没有某种类型的“纯单正则”因子），存在 $V$-似然子类等价于横截轨迹在欧几里得拓扑下是稠密的（定理 1.11）。
  • 反例： 本文提供了显式示例（命题 6.2 和 6.3），展示了在一般混合情形下，一个 $V$-似然子类可能产生一个在 Zariski 意义下稠密但在欧几里得意义下并不稠密的横截轨迹（例如，在 $(\mathbb{C}^\times)^n$ 中稠密，但由于单位根的存在，在欧几里得拓扑下不稠密）。

• 空集判别准则与层级： 本文扩展了关于纯变分的“层级”研究结果。本文证明，如果相关的分次变分 $\text{Gr}(V)$ 的层级至少为 3（根据 Baldi-Klingler-Ullmo 的定义），并且满足特定的单模（monodromy）和几何条件（例如 $P_0^{\text{der}} = H_0$ 且不存在到 $\mathbb{G}_m$ 的显性态射），那么横截 Hodge 轨迹是空集（定理 1.19, 定理 10.3）。

  • 这种空集性意味着完整的 Hodge 轨迹仅由非典型子簇组成。
  • 因此，Hodge 轨迹中“因子式正维数”的部分是一个严格的 Zariski 闭子集（推论 1.21）。

• 对 Zilber-Pink 猜想的精炼： 本文阐明了非典型轨迹与横截轨迹之间的关系。它表明，在 Zilber-Pink 猜想下，典型轨迹的稠密性等价于横截轨迹的稠密性。

意义与主张
本文声称为理解混合情形下 Hodge 轨迹的分布提供了一个全面的框架，由于单正则根和扩张的存在，混合情形比纯情形要复杂得多。

• 解决“全或无”性质： 作者确立了此前仅在纯变分中已知的“全或无”原则在混合情形下的横截 Hodge 轨迹中同样成立。这为混合变分下的 Zilber-Pink 猜想提供了强有力的部分验证。
• 新的空集判别准则： 通过将 Hodge 轨迹的空集性与分次变分的“层级”及单正则根的结构联系起来，本文提供了新的、可验证的准则来判定 Hodge 轨迹是否平凡。这改进了 Brosnan-Pearlstein-Schnell 在层级较高时的经典结果。
• 拓扑结构的区分： 本文强调了纯变分与混合变分之间的根本区别：在混合情形下，对于给定的类型，Zariski 稠密性并不自动意味着欧几里得稠密性，这一现象通过 $\mathbb{Z}(0)$ 对 $\mathbb{Z}(1)^n$ 的扩张族得到了说明。

本文得出结论，研究横截 Hodge 轨迹是分析混合 Hodge 理论中密度现象的正确设定，且子数据的“似然性”与几何约束（层级、单模）之间的相互作用完全决定了 Hodge 轨迹的分布。