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

技術的要約：$\mathbb{C}^* \times \mathbb{C}^*$ によって適切に支配される滑らかなアフィン曲面の分類

問題設定
本論文は、代数的な2次元トーラス $X = \mathbb{C}^* \times \mathbb{C}^*$ によって「適切に支配される（properly dominated）」滑らかな複素アフィン曲面 $Y$ の分類問題を扱う。多様体 $V$ が $W$ によって支配されるとは、有限全射射影 $\phi: W \to V$ が存在することを指す。$\mathbb{C}^2$ によって支配されるアフィン曲面の分類（宮島、Gurjar、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の定理やクラスター集合に依存したもの）とは異なる、代数幾何学的なアプローチを用いている。具体的には、以下の開代数曲面の分類理論を利用している：

1. 対数コーディラ次元 ($\bar{\kappa}$): 分類は $\bar{\kappa}(Y) = -\infty$ と $\bar{\kappa}(Y) = 0$ の2つのケースに分けられる。$\bar{\kappa}(Y) > 0$ のケースは、対数コーディラ次元は有限全射射影の下で増加しないこと（$\bar{\kappa}(\mathbb{C}^* \times \mathbb{C}^*) = 0$ であるため）に基づき、直ちに排除される。
2. 位相的および基本群の解析: 本論文は、基本群 $\pi_1(Y)$ および無限における基本群 $\pi_1^\infty(Y)$ の性質に大きく依拠している。また、トポロジカルなオイラー・ポアンカレ標数のためのSuzuki–Zaidenberg公式、および無限における3次元多様体の理論（MumfordおよびWagreichによる提示）を利用している。
3. 有限エタール被覆への還元: 支配的な射 $f: \mathbb{C}^* \times \mathbb{C}^* \to Y$ を、有限エタール被覆とそれに続く有限全射へと分解する手法を繰り返し用いる。これにより、基本群への誘導写像が全射であると仮定しても一般性を失わないことを示している。
4. 特定のクラスの排除: $\mathbb{C}^* \times \mathbb{C}^*$ によって支配されることができないことを示すことで、潜在的な候補となる $Y$ を系統的に排除している。主なツールは以下の通りである：
   • $\bar{\kappa}=0$ かつ単位元が自明な滑らかな分解的アフィン曲面のクラス $S_0$。
   • 無限における3次元多様体に適用されるSeifertファイバー空間定理（Gabai、Casson–Jungreis）。
   • 対数コーディラ次元が0の強最小アフィン曲面のKojimaによる分類。

主要な貢献と結果
主要な結果である定理Aは、$\mathbb{C}^* \times \mathbb{C}^*$ によって適切に支配される滑らかなアフィン曲面 $Y$ の完全な分類を提供している：

1. ケース $\bar{\kappa}(Y) = -\infty$:
   そのような曲面は以下のみである：

   • アフィン平面 $\mathbb{C}^2$。
   • シリンダー $\mathbb{C} \times \mathbb{C}^*$。
     証明では、そのような曲面がいずれもアフィン曲線上の $\mathbb{A}^1$-ファイブレーションを持つことを確立しており、それが自明であることから、これら2つの同型類に帰着される。

2. ケース $\bar{\kappa}(Y) = 0$:
   そのような曲面は以下のみである：

   • トーラス自身、$\mathbb{C}^* \times \mathbb{C}^*$。
   • Fujitaの曲面 $H[-1, 0, -1]$。
     曲面 $H[-1, 0, -1]$ は、$\mathbb{C}^* \times \mathbb{C}^*$ による有限エタール2重被覆を持つことが注目される点であり、これはトーラスによる不動点を持たない対合の商である。

意義と主張
本論文は、$\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$ のケースを列挙された特定の曲面に絞り込むために極めて重要である。

本論文は、新しい応用や将来の実験的方向性を提案するのではなく、アフィン代数幾何学における構造的分類問題の解決に厳密に焦点を当てている。