Failure of the invariant cycle theorem over $\mathbb Z$

技术摘要：不变循环定理在 $\mathbb{Z}$ 上的失效

问题陈述
本文研究了当系数取整数（$\mathbb{Z}$）而非有理数（$\mathbb{Q}$）时，局部不变循环定理（LICT）和全局不变循环定理（GICT）的有效性。经典地，对于定义在圆盘 $\Delta$ 上、具有光滑全空间和 punctured 圆盘 $\Delta^*$ 上光滑纤维的复射影簇平坦族 $f: X \to \Delta$，限制映射 $H^n(X, \mathbb{Q}) \to H^n(X_t, \mathbb{Q})^{\pi_1(\Delta^*)}$ 是满射到单值变换不变部分。这一由 Clemens、Schmid 和 Deligne 确立的结果，依赖于 Clemens–Schmid 序列的精确性或分解定理。

本文解决的核心问题（问题 1.2）是：对于半稳定族（即中心纤维为约化正常交叉除子），这种满射性是否在整数环上成立。虽然有理数情形已得到充分理解，但整数情形此前一直未决，仅对特定类型的曲面（K3 曲面和 I-曲面）由 Friedman、Griffiths 和 Scattone 获得了部分正面结果。

方法论
作者结合霍奇理论、代数几何和格理论，分两个阶段解决该问题：在低维建立正面结果，并在二维构造反例。

1. 正面结果（低维）：

   • $H^1$： 作者证明，对于任意半稳定族，LICT 在整数系数下对 $H^1$ 成立。证明策略是通过相对勒夫谢茨超平面定理将一般情形约化为曲线情形。对于曲线，他们利用相对紧化雅可比簇以及阿贝尔簇半稳定模型的 Mumford 构造。通过分析中心纤维（半阿贝尔簇）的混合霍奇结构及其相关的热带化（矩映射），他们证明了相关序列在 $\mathbb{Z}$ 上的精确性。
   • $H^2$（消失的阿尔巴内塞）： 作者证明，如果一般纤维 $X_t$ 具有平凡阿尔巴内塞簇（等价于 $q(X_t) = 0$），则 LICT 对 $H^2$ 成立。这推广了此前关于 K3 曲面和 I-曲面的结果。证明依赖于对 Clemens–Schmid 序列进行切片，并利用 Wang 序列以及数对 $(X, X \setminus X_0)$ 在 $\mathbb{Z}$ 上的精确性。

2. 负面结果（反例）：

   • 构造： 为了证伪 $q(X_t) = 1$ 时 $H^2$ 上的定理，作者构造了一个特定的“椭圆 - 椭圆”曲面（即 $p_g = q = 1$ 的曲面）半稳定族。这些曲面是通过“有缺陷”的二次基变换，作为椭圆 K3 曲面的有理二重覆盖构造而成的。
   • Shioda–Inose 类比： 该构造基于 K3 曲面的 Shioda–Inose 结构。作者从一个特定的 K3 曲面 $X$（Vinberg 的判别式为 3 的“最代数”K3 曲面）出发，该曲面 admitting 一个带有星形纤维的椭圆纤维化。他们在三个星形纤维和一个光滑纤维处进行分支的二次基变换。
   • 霍奇理论分析： 所得曲面族 $S_t$ 在 $H^2$ 的超越部分具有恒定的霍奇结构变体（VHS）。作者分析了该族在分支点与星形纤维碰撞的特定点处的退化情况。
   • 格判别式： 反例的核心在于比较超越格的判别式。光滑纤维 $S_t$ 的超越格判别式为 3。然而，在一个特定的奇异纤维处（关联于另一个极限 K3 曲面），中心纤维的超越格判别式为 48。
   • 特殊化映射： 作者表明，特殊化映射在超越部分诱导了一个保持杯积配对的单射。由于判别式从 3 跳变至 48，限制映射 $H^2(X, \mathbb{Z}) \to H^2(X_t, \mathbb{Z})^{\pi_1}$ 的像是指数为 4 的真子格。因此，该映射不是满射。

主要贡献与结果

• 定理 1.3 与 1.4： LICT 在任意半稳定族中对 $H^1$ 在 $\mathbb{Z}$ 上成立；若一般纤维具有平凡阿尔巴内塞簇（$q=0$），则对 $H^2$ 也成立。这涵盖了超曲面、卡拉比 - 丘流形和超卡勒流形。
• 定理 1.5（局部失效）： 对于 $p_g = q = 1$ 的曲面半稳定族，LICT 在 $\mathbb{Z}$ 上对 $H^2$ 失效。作者提供了首个 $H^2$ 上限制映射非满射的半稳定退化显式例子。这种失效是由超越类而非挠类（上同调是无挠的）的行为驱动的。
• 定理 1.7（全局失效）： 全局不变循环定理（GICT）在一般情况下对 $H^2$ 在 $\mathbb{Z}$ 上也失效。作者构造了一个纤维化于曲线上的光滑射影三维流形，其中全局不变循环无法提升到全空间上同调，尽管勒雷谱序列在光滑部分于 $\mathbb{Z}$ 上退化。
• 推论 1.6： 作为推论，对于这些族，Clemens–Schmid 序列在 $\mathbb{Z}$ 上不是精确的，且分解定理在整数环上失效。
• 反例 2（第 9 节）： 利用 Vinberg 的第二个“最代数”K3 曲面（判别式为 4）构造了第二个反例，展示了失效机制的稳健性。

意义
本文确立了经典的不变循环定理——作为代数簇退化研究的基础——在具有非平凡阿尔巴内塞簇的族中，在上同调次数 2 上并不在整数环上成立。这一结果 sharpened 了对 Clemens–Schmid 序列和分解定理局限性的理解，特别是在需要无挠整数系数的情况下。

这些反例的构造依赖于将二次基变换新颖地应用于椭圆曲面，从而创造了一个具有恒定周期映射但在退化时格判别式发生变化的族。这突显了整数霍奇理论中的一个微妙障碍：即使霍奇结构平凡变化，整数格结构也可能以阻碍不变循环提升的方式退化。该工作推广了 Shioda–Inose 构造，并提供了一类新的具有最大皮卡德秩和最小判别式的“椭圆 - 椭圆”曲面，它们与 Vinberg 的“最代数”K3 曲面密切相关。