Elementary anabelian varieties are anabelian

マグナス・カールソンによる論文「初等的なアナーベリアン多様体はアナーベリアンである」の詳細な技術的概要を以下に示す。

1. 問題提起と背景

本論文は、アレクサンダー・グロタンディークによって開始されたアナーベリアン幾何学のプログラムに取り組むものである。中心的な予想は、特定の代数多様体（アナーベリアン多様体）が、そのエタール基本群によって完全に決定されるというものである。具体的には、グロタンディークは、$\mathbb{Q}$ 上で有限生成な体上の双曲曲線について、多様体間の準同型の集合から、それらの基本群（共役類を除く）間の準同型の集合への自然な写像が全単射であると予想した。

この「Hom-予想」と「Isom-予想」は、シュウイチ・モチヅキ（中村と天川の業績を踏まえた）によって双曲曲線に対して証明されたが、高次元多様体に対する状況は未解決のまま残っていた。グロタンディークは特に、初等的なアナーベリアン多様体（双曲曲線の反復ファイバー束として構成される多様体、すなわち双曲ポリカーブとしても知られる）がアナーベリアンであるべきであると示唆していた。

核心的な問題：

1. Isom-予想： 2 つの双曲ポリカーブ $X$ と $Y$ の間の同型写像の集合は、それらの基本群 $\pi_1(X)$ と $\pi_1(Y)$ の間の同型写像の集合と全単射に対応するか？
2. 支配的 Hom-予想： 支配的準同型 $X \to Y$ を群論的に特徴付けることができるか？グロタンディークは当初、基本群の任意の開準同型が支配的写像に対応すると予想していた。しかし、著者はこれが $\dim(Y) \ge 2$ の場合に成立しないことを示す。本論文は、支配的写像を回復するための正しい群論的改良（開写像の特定の部分類）を探求するものである。

2. 手法

著者は、代数幾何学、$p$ 進ホッジ理論、エタールホモトピー理論の合成を駆使する。手法はいくつかの主要な段階を経て進行する。

• 幾何学的入力（対数正則形式）：
  著者はまず、双曲ポリカーブの幾何学的性質を確立する。標準束の半正定性の結果とリーマン・ロッホの議論を用いることで、任意の双曲ポリカーブ $X$ に対して、$X'$ が非零の対数正則形式（対数正則束の大域切断）を持つような有限エタール被覆 $X' \to X$ が存在することを証明する。これは、コホモロジーを通じて次元を区別する上で決定的に重要である。

• ホッジ・テート理論による非退化性：
  本論文は、ホシによって定義された非退化な準同型の概念を導入する。ある写像が、より低次元の多様体を通じて因数分解される場合、その写像は退化しているという。

  • 著者は、$p$ 進ホッジ理論（特にホッジ・テート分解）を用いて、安定コホモロジー単射的な写像が非退化であることを証明する。
  • 論理： 写像 $\phi: \pi_1(X) \to \pi_1(Y)$ が退化している（$\dim Z < \dim Y$ となる $Z$ を通じて因数分解する）と仮定すると、コホモロジー上の誘導写像は、対数正則形式に対応する最高次数のホッジ・テート重みの部分空間上で消滅する。しかし、「安定コホモロジー単射的」という条件はこの写像が単射であることを強制するため、矛盾が生じる。

• 広げ出しと特殊化：
  結果を $p$ 進局所体から一般的な部分 $p$ 進体へ拡張するために、著者は「広げ出し（spreading out）」の手法を用いる。基底多様体上の滑らかなモデルを構成し、relevant なコホモロジー的性質と基本群の構造を保存したまま、閉点（$p$ 進体）へ特殊化する。

• エタールホモトピー型：
  最も一般的な結果については、本論文は（アルティン・マズールおよび現代の $\infty$ 圏理論の文脈における）エタールホモトピー型 $\Pi(X)$ を利用する。これにより、基本群のみを扱うことのある限界を回避しつつ、プロ空間間のホモトピー類の観点から予想を定式化することが可能になる。

3. 主要な定義

• 双曲ポリカーブ： 体 $K$ 上の多様体 $X$ で、各ファイバーが双曲曲線となる滑らかなファイバー束の列 $X = X_n \to X_{n-1} \to \dots \to X_0 = \text{Spec}(K)$ を許容するもの。
• 安定コホモロジー単射的： $G_K$ 上の連続写像 $\phi: \pi_1(X) \to \pi_1(Y)$ が、開写像であり、かつ $\pi_1(Y)$ の任意の開部分群 $N$ に対して、コホモロジー環 $H^*(N, \mathbb{Q}_\ell) \to H^*(\phi^{-1}(N), \mathbb{Q}_\ell)$ 上の誘導写像がすべての素数 $\ell$ に対して単射である場合、これを「安定コホモロジー単射的」という。
• 非退化： 写像が、滑らかな全射写像を通じて、より低次元の多様体の基本群を通じて因数分解しない場合、その写像は非退化であるという。

4. 主要な結果

定理 A（ポリカーブに対する Isom-予想）

$K$ を部分 $p$ 進体とし、$X$ と $Y$ を $K$ 上の初等的なアナーベリアン多様体（双曲ポリカーブ）とする。このとき、自然な写像
$$\text{Isom}_K(X, Y) \longrightarrow \text{Isom}_{G_K}(\pi_1(X), \pi_1(Y))$$
は全単射である。

• 意義： これは、曲線に関するモチヅキの結果を拡張し、この広範な高次元多様体のクラスに対してグロタンディークの予想を確認するものである。

定理 C（支配的写像の特徴付け）

$K$ を部分 $p$ 進体、$X$ を滑らかな固有 $K(\pi, 1)$-多様体、$Y$ を固有な双曲ポリカーブとする。このとき、自然な写像
$$\text{Hom}^{\text{dom}}_K(X, Y) \longrightarrow \text{Hom}^{\text{sci}}_{G_K}(\pi_1(X), \pi_1(Y))$$
は全単射である。ここで右辺は、安定コホモロジー単射的な準同型の共役類からなる。

• 改良： $\dim(Y) \le 2$ の場合、$X$ が $K(\pi, 1)$ であるという仮定は不要である。
• 反例： 本論文は（例 3.13）、$\dim(Y) \ge 3$ の場合、支配的写像の群論的特徴付けは、すべての開準同型のクラス内（あるいは滑らかな固有多様体からの写像のクラス内）では存在しないことを証明する。「安定コホモロジー単射的」という条件が、幾何学を回復するために必要な改良である。

定理 D（エタールホモトピー的一般化）

任意の滑らかな固有 $X$ と固有な双曲ポリカーブ $Y$ に対して、支配的準同型からエタールホモトピー型の安定コホモロジー単射的写像のホモトピー類への写像は全単射である：
$$\text{Hom}^{\text{dom}}_K(X, Y) \longrightarrow \pi_0(\text{Map}^{\text{sci}}_{BG_K}(\Pi(X), \Pi(Y)))$$
これは、エタールホモトピー型の言語で定式化されたグロタンディークのより強い予想に対する肯定的な回答を与える。

5. 意義と影響

1. ファルティングスへのグロタンディークの手紙の解決： 本論文は、グロタンディークの書簡においてなされた初等的なアナーベリアン多様体に関する特定の予想を検証し、これらの高次元多様体が実際にアナーベリアンであることを確認した。
2. 精密な群論的特徴付け： アナーベリアン幾何学の限界を明確にした。グロタンディークは開写像と支配的準同型の間の単純な対応を期待していたが、本論文は次元が 3 以上の場合、そのような単純な対応は不可能であることを証明した。安定コホモロジー単射的な写像の導入は、幾何学を回復するために必要な正確な群論的条件を提供する。
3. 手法の進展： 本論文は、対数幾何学（被覆上の対数正則形式の存在）と$p$ 進ホッジ理論を統合し、基本群準同型の挙動を制御することに成功した。コホモロジー的単射性を用いて退化した因数分解を排除するこの手法は、この分野における強力な新たな道具である。
4. モチヅキの業績の拡張： 双曲曲線に関する深遠な結果を双曲ポリカーブのクラスへ一般化し、既知のアナーベリアン多様体の範囲を大幅に拡大した。

要約すると、マグナス・カールソンは、双曲ポリカーブがアナーベリアンであることを証明したが、それは群論的準同型を「安定コホモロジー単射的」なものに制限する場合に限られる。この条件は、幾何学的に写像がターゲット多様体の次元を縮退させないことを保証するものである。