Smooth affine surfaces properly dominated by $\mathbf{C}^*\times\mathbf{C}^*$

技术摘要：被 $\mathbb{C}^* \times \mathbb{C}^*$ 正确支配的光滑仿射曲面的分类

问题陈述
本文研究了被代数 2-托里（algebraic 2-torus）$X = \mathbb{C}^* \times \mathbb{C}^*$ “正确支配”（properly dominated）的光滑复仿射曲面 $Y$ 的分类问题。若存在有限满射 $\phi: W \to V$，则称簇 $V$ 被 $W$ 正确支配。虽然由仿射平面 $\mathbb{C}^2$ 支配的仿射曲面的分类已得到充分研究（由 Miyanishi, Gurraj, Shastri 和 Furushima 完成），但由托里 $\mathbb{C}^* \times \mathbb{C}^*$ 支配的情况此前仍是一个开放问题。具体而言，M. Furushima (1989) 曾预言了被 $\mathbb{C}^* \times \mathbb{C}^*$ 正确支配的法向仿射曲面的分类，并指出该列表将包括 $\mathbb{C}^2$、$\mathbb{C} \times \mathbb{C}^*$、$\mathbb{C}^* \times \mathbb{C}^*$ 以及合适的有限商。然而，在光滑情形下的完整证明此前并未出现在文献中。

方法论
作者 Buddhadev Hajra 采用了一种不同于 Furushima 基于 Nishino–Suzuki 定理和簇集（cluster sets）的解析方法的代数几何方法。本研究利用了开代数曲面的分类理论，具体包括：

1. 对数 Kodaira 维数 ($\bar{\kappa}$)：分类被分为两种情况：$\bar{\kappa}(Y) = -\infty$ 和 $\bar{\kappa}(Y) = 0$。由于对数 Kodaira 维数在有限满射下不会增加，且 $\bar{\kappa}(\mathbb{C}^* \times \mathbb{C}^*) = 0$，因此直接排除了 $\bar{\kappa}(Y) > 0$ 的情况。
2. 拓扑与基本群分析：论文高度依赖于基本群 $\pi_1(Y)$ 和无穷远处的基本群 $\pi_1^\infty(Y)$ 的性质。它利用了用于拓扑欧拉-庞卡莱特征的 Suzuki–Zaidenberg 公式，以及关于无穷远处的 3-流形理论（Mumford 和 Wagreich 呈现形式）。
3. 归约为有限 étale 覆盖：一种反复使用的技术是将支配态射 $f: \mathbb{C}^* \times \mathbb{C}^* \to Y$ 分解为一个有限 étale 覆盖后接一个有限满射。这使得作者可以假设，在不失一般性的情况下，诱导映射在基本群上是满射。
4. 排除特定类：证明系统地排除了不能被 $\mathbb{C}^* \times \mathbb{C}^*$ 支配的潜在候选者 $Y$。关键工具包括：
   • 具有 $\bar{\kappa}=0$ 且单位平凡的平滑因子类 $S_0$。
   • 应用于无穷远处 3-流形的 Seifert 纤维空间定理（Gabai, Casson–Jungreis）。
   • Kojima 关于对数 Kodaira 维数为零的强极小仿射曲面的分类。

主要贡献与结果
主要结果 定理 A 提供了被 $\mathbb{C}^* \times \mathbb{C}^*$ 正确支配的光滑仿射曲面的完整分类：

1. 情况 $\bar{\kappa}(Y) = -\infty$：
   此类曲面仅有：

   • 仿射平面 $\mathbb{C}^2$。
   • 柱面 $\mathbb{C} \times \mathbb{C}^*$。
     证明表明，任何此类曲面都具有一个关于仿射曲线的 $\mathbb{A}^1$-纤维化，且该纤维化必须是平凡的，从而导致这两个同构类。

2. 情况 $\bar{\kappa}(Y) = 0$：
   此类曲面仅有：

   • 托里本身，即 $\mathbb{C}^* \times \mathbb{C}^*$。
   • Fujita 曲面 $H[-1, 0, -1]$。
     曲面 $H[-1, 0, -1]$ 值得注意，因为它拥有一个由 $\mathbb{C}^* \times \mathbb{C}^*$ 构成的有限 étale 双覆盖，使其成为托里在无不动点对合下的商空间。

意义与主张
本文声称建立了被 $\mathbb{C}^* \times \mathbb{C}^*$ 正确支配的光滑仿射曲面的分类，从而证实了 Furushima 在 1989 年的预言。

• 证实预言：结果验证了该曲面列表恰好为 $\mathbb{C}^2$、$\mathbb{C} \times \mathbb{C}^*$、$\mathbb{C}^* \times \mathbb{C}^*$ 以及 $H[-1, 0, -1]$。
• 方法论转向：这项工作表明，开代数曲面理论的最新进展（特别是 [GGH23] 中建立的非收缩仿射 Eilenberg–MacLane $K(\pi, 1)$-曲面的分类）为解决支配问题提供了一种强大的替代解析方法的途径。
• 排除 $S_0$：一个重要的中间结果是证明了 $S_0$ 类中的任何曲面（具有 $\bar{\kappa}=0$ 且单位平凡的平滑因子曲面）都不能被 $\mathbb{C}^* \times \mathbb{C}^*$ 正确支配。这一排除对于将 $\bar{\kappa}=0$ 的情况缩小到所列出的特定曲面至关重要。

本文并未提出新的应用或未来的实验方向，而是专注于解决仿射代数几何内部的结构分类问题。