On Proper Descent of Smooth Affine Surfaces with Finite Homotopy Rank-Sum

技术摘要：关于具有有限同伦秩和的光滑仿射曲面的适当下降问题

问题陈述
本文研究了光滑复仿射曲面在有限满射（适当态射）下，其同伦论性质的下降行为。具体而言，它探讨了作者及其合作者提出的两个核心问题：

1. Eilenberg–MacLane 下降问题： 若 $f: X \to Y$ 是光滑仿射曲面之间的有限满射且 $X$ 是一个 Eilenberg–MacLane 空间（$K(G,1)$），那么 $Y$ 是否必然也是一个 Eilenberg–MacLane 空间？
2. 有限同伦秩和下降问题： 若 $X$ 满足“有限同伦秩和性质”（定义为 $\sum_{i \ge 2} \text{rank}(\pi_i(X)) < \infty$），那么 $Y$ 是否也满足该性质？

论文指出，第一个问题的答案通常是否定的，正如 Gurjar、Gurjar 和作者所构建的反例所示。这促使了对第二个更弱性质的研究，并确定了在特定几何条件（特别是对数 Kodaira 维度 $\bar{\kappa}$）下下降成立的情况。

方法论与框架
分析依赖于对对数非一般类型（$\bar{\kappa} \le 1$）光滑复仿射曲面的分类，以及代数几何与同伦论之间的相互作用。关键的方法论工具包括：

• 分类定理： 利用最新的结果（特别是 [GGH23] 和 [BH25]），根据对数 Kodaira 维度（$\bar{\kappa} = -\infty, 0, 1$）对光滑仿射 $K(G,1)$ 曲面及具有有限同伦秩和的曲面进行分类。
• 基本群分析： 应用 Serre 关于诱导同态指数的结果、Nori 引理，以及利用 Xiao Gang 的推广来分析纤维化和覆盖的结构。
• 分歧覆盖技巧（Ramified Covering Trick）： 使用 Fenchel 引理和分歧覆盖技巧（定理 2.9）来消除代数纤维化中的多重纤维，从而将问题简化为同伦性质能更好地保持的 étale 覆盖问题。
• 拓扑归约： 将一般的下降问题归约为诱导基本群映射为满射的情况，并利用 Hurewicz 定理和 Andreotti–Frankel 结果将同伦群与万有覆盖的同调群联系起来。
• 欧拉示性数公式： 使用 Suzuki 关于纤维化曲面 Euler–Poincaré 特性的公式来约束目标曲面 $Y$ 可能的拓扑类型。

关键结果

1. $\bar{\kappa} = -\infty$ 时的下降（定理 A 与 定理 3.7）：

   • 本文证明，若 $X$ 是光滑仿射不可约曲线上的 Zariski 局部平凡 $\mathbb{A}^1$-丛，且 $f: X \to Y$ 是有限满射，则 $Y$ 也是光滑仿射不可约曲线上的 Zariski 局部平凡 $\mathbb{A}^1$-丛。
   • 该结果扩展了 M. Furushima 对被 $\mathbb{C} \times \mathbb{C}^*$ 支配的曲面的分类。
   • 因此，若 $\bar{\kappa}(X) = -\infty$ 且 $X$ 满足有限同伦秩和性质，则 $Y$ 也满足该性质。证明过程确立了 $Y$ 要么是一个 $K(G,1)$ 空间，要么与 $S^2$ 同伦（或是一个 $\pi_1 \cong \mathbb{Z}/2\mathbb{Z}$ 的 $\mathbb{Q}$-同调平面），所有这些都满足该性质。

2. $\bar{\kappa} = 0$ 时的下降（定理 B 与 定理 3.17）：

   • 本文对被 $\mathbb{C}^* \times \mathbb{C}^*$ 适当支配且 $\bar{\kappa}(Y) = 0$ 的光滑仿射曲面 $Y$ 进行了分类。可能的同构类为：
     • $\mathbb{C}^* \times \mathbb{C}^*$；
     • Fujita 曲面 $H_{[-1,0,-1]}$；
     • 属于类 $S_0$（由 [JSXZ24] 定义）且与 $S^2$ 同伦的曲面；
     • 一个 $\pi_1(Y) \cong \mathbb{Z}/2\mathbb{Z}$ 的光滑 $\mathbb{Q}$-同调平面。
   • 该分类澄清了 M. Furushima 的早期备注，表明虽然 $\mathbb{C}^* \times \mathbb{C}^*$ 不是唯一被自身支配的曲面（例如，它覆盖了 $H_{[-1,0,-1]}$），但可能的候选列表是受限的。
   • 针对此情况的主定理确立了：若 $\bar{\kappa}(X) = 0$ 且 $X$ 具有有限同伦秩和，则 $Y$ 也具有该性质。

3. 一般下降的反例（示例 4.1）：

   • 本文构建了一个关于一般 Eilenberg–MacLane 下降的反例。它展示了一个有限满射 $f: X \to Y$，其中 $X$ 是一个 Eilenberg–MacLane 空间（一个非有理曲线上的 $\mathbb{A}^1$-丛），但 $Y$ 与实 2 维球面 $S^2$ 同伦（因此不是 $K(G,1)$ 空间）。这证实了在没有 $\bar{\kappa}$ 限制的情况下，该性质在一般情况下并不下降。

意义与主张
本文声称，在源曲面对数 Kodaira 维度最多为零（$\bar{\kappa} \le 0$）的特定情况下，为有限同伦秩和性质的下降问题提供了完整的肯定回答。

• 澄清 Furushima 的备注： 本研究完善了对被 $\mathbb{C}^* \times \mathbb{C}^*$ 支配的曲面的理解，证明虽然 Furushima 关于 $\mathbb{C}^* \times \mathbb{C}^*$ 是唯一的此类 $\bar{\kappa}=0$ 曲面的断言是错误的（因为它覆盖了 $H_{[-1,0,-1]}$），但此类曲面的集合是有限且特征明确的。
• 结构稳定性： 这些结果确立了对于对数非一般类型曲面，若源曲面满足该条件，则具有有限同伦秩和的性质在有限满射下是稳定的。
• 局限性： 本文明确指出，一般情况（即 $\bar{\kappa}(X) > 0$ 时）仍是一个开放问题。对于 Eilenberg–MacLane 性质的一般性否定结果，强调了将“有限同伦秩和”作为弱化性质以及对 $\bar{\kappa} \le 0$ 进行限制的必要性。

证明过程高度依赖于通过这些同伦性质进行特征化的对数非一般类型曲面的分类，将曲面的代数结构（通过纤维化和基本群）与其拓扑不变量联系起来。