The Künneth Formula of Fundamental Group Schemes

論文概要：基本群スキームの Künneth 公式とホモトピー列の厳密性

1. 問題設定 (Problem)

代数幾何学において、スキーム $X$ の「基本群」は、その幾何学的・代数的構造を反映する重要な不変量である。Grothendieck は $\ell$-進基本群（étale fundamental group）を定義し、その Künneth 公式（積空間の基本群が各因子の基本群の直積になること）や、ファイバー束 $f: X \to S$ に対するホモトピー列の厳密性を確立した。

その後、Nori によって「Nori 基本群スキーム」が導入され、さらに S-基本群、F-基本群、局所基本群、EN-基本群など、様々なベクトル束の圏（Tannakian 圏）から定義される基本群スキームが研究されてきた。
しかし、これらの多様な基本群スキームに対して、以下の 2 つの重要な性質が任意の体 $k$ および一般的な条件の下で成立するかどうかは、以前は部分的な結果（代数閉体や特定の特徴素数への制限など）に限られていた。

1. ホモトピー列の厳密性: 射 $f: X \to S$ に対して、ファイバー $X_s$ の基本群から全空間 $X$、そして底空間 $S$ への列
   $$\pi(X_s) \to \pi(X) \to \pi(S) \to 1$$
   が厳密（exact）であるための必要十分条件は何か？
2. Künneth 公式: 2 つのスキーム $X, Y$ の積 $X \times_k Y$ に対して、
   $$\pi(X \times_k Y) \cong \pi(X) \times_k \pi(Y)$$
   が成立するための条件は何か？

2. 手法とアプローチ (Methodology)

著者らは、Tannakian 圏論と Tannaka 双対性を強力な道具として用いることで、上記の問題を一般化し、統一的に解決した。

• Tannakian 圏の定式化:
  各基本群スキーム $\pi(C, x)$ は、ベクトル束の特定の圏 $C$（Tannakian 圏）とファイバー関手 $x$ に対して定義される Tannaka 群スキームとして捉える。

  • 例：$C_{NF}$（数値的に平坦な束）$\to$ S-基本群、$C_N$（本質的に有限な束）$\to$ Nori 基本群など。

• 可観測性 (Observability) と底変換 (Base Change):
  射 $f: X \to S$ に対して、引き戻し関手 $f^*: C_S \to C_X$ が誘導する群スキームの準同型が忠実平坦（faithfully flat）であるための条件を、圏論的な性質として記述した。
  特に、以下の 2 つの条件が鍵となる：

  1. 制限関手 $|_{X_s}: C_X \to C_{X_s}$ が可観測的 (observable) であること。
  2. 任意の束 $E \in C_X$ に対して、$f_* E \in C_S$ であり、かつ $E$ が点 $s$ において底変換を満たす（$f_* E|_s \cong H^0(X_s, E|_{X_s})$）こと。

• 主束とフィルテッドコリミット:
  基本群スキーム $\pi(C_X, x)$ に対応する主束 $P \to X$ を考え、その構造層 $\mathcal{O}_P$ を $C_X$ の対象のフィルテッドコリミットとして表現する。この構成を用いて、底変換の性質を圏 $C_X$ の部分対象の列として特徴づけた。

• 一般化された Künneth 公式の証明:
  積空間 $X \times_k Y$ における射影 $p_X, p_Y$ と埋め込み $i_X, i_Y$ による関手の関係性を解析し、Tannakian 圏の積構造が群スキームの直積構造と整合するかを判定する定理（定理 4.2）を確立した。さらに、より大きな圏での Künneth 公式が成り立てば、その部分圏（特定の基本群に対応する圏）でも成り立つことを示す命題（命題 4.3）を用いて、結果を拡張した。

3. 主要な貢献と結果 (Key Contributions & Results)

A. ホモトピー列の厳密性に関する必要十分条件 (Theorem 3.8)
$f: X \to S$ を $k$ 上の連結な固有スキーム間の射、$f_* \mathcal{O}_X \cong \mathcal{O}_S$ とする。このとき、ホモトピー列 $\pi(C_{X_s}) \to \pi(C_X) \to \pi(C_S) \to 1$ が厳密であるための必要十分条件は以下のいずれかである：

1. 制限関手 $|_{X_s}: C_X \to C_{X_s}$ が可観測的であり、かつ任意の $E \in C_X$ について $f_* E \in C_S$ かつ $E$ が $s$ において底変換を満たす。
2. 同様の条件が、$\pi(C_X)$ に対応する主束の構造層のフィルテッドコリミット表現に対して満たされる。

• 追加条件: $S$ が積分（integral）で $f$ が平坦であれば、厳密性から上記の条件が導かれる。

B. 基本群スキームの Künneth 公式 (Theorem 4.2 & Proposition 4.3)
$X, Y$ を $k$ 上の連結な固有スキームとする。以下の 5 つの条件は同値である：

1. 任意の $E \in C_{X \times Y}$ について、$p_X^* E \in C_X$ かつ $E$ が $x_0$ において底変換を満たす。
2. 同様に $p_Y$ に関する条件。
3. ホモトピー列 $1 \to \pi(C_Y) \to \pi(C_{X \times Y}) \to \pi(C_X) \to 1$ が厳密。
4. 同様に $X$ と $Y$ を入れ替えたホモトピー列が厳密。
5. 自然な準同型 $\pi(C_{X \times Y}) \to \pi(C_X) \times_k \pi(C_Y)$ が同型である。

さらに、より大きな Tannakian 圏で Künneth 公式が成り立てば、その部分圏（特定の基本群スキームに対応するもの）でも成り立つことを示し、これにより多様な基本群スキームへの適用が可能になった。

C. 具体的な基本群スキームへの適用 (Section 5)
上記の一般理論を適用し、任意の体 $k$ 上で以下の基本群スキームに対して Künneth 公式が成立することを証明した：

• S-基本群 ($\pi_S$): 数値的に平坦な束の圏。
• Nori 基本群 ($\pi_N$): 本質的に有限な束の圏。
• EN-基本群 ($\pi_{EN}$): 半本質的に有限な束の圏。
• F-基本群 ($\pi_F$): Frobenius 有限な束の圏（標数 $p>0$）。
• 局所基本群 ($\pi_{Loc}$): Frobenius 自明な束の圏。
• 拡大局所基本群 ($\pi_{ELoc}$): Frobenius 半自明な束の圏。
• étale 基本群 ($\pi_{\text{ét}}$): étale 自明化可能な束の圏。
• 単葉基本群 ($\pi_{\text{uni}}$): 単葉な束の圏。

これらは、以前は代数閉体や特定の標数、あるいは特定の条件（Zhang, Langer, Otabe などの先行研究）でのみ知られていた結果を、任意の体および幾何学的に既約な連結固有スキームというより広いクラスに一般化したものである。

4. 意義 (Significance)

1. 統一された枠組みの提供:
   以前は個別に研究されていた様々な基本群スキーム（Nori, S, F, Loc など）に対して、Tannakian 圏の性質（可観測性と底変換）という統一的な観点から、ホモトピー列の厳密性と Künneth 公式の成立条件を記述した。

2. 条件の緩和と一般化:
   多くの先行研究が「代数閉体」や「完全体」を仮定していたのに対し、本論文は「任意の体」に対して Künneth 公式を証明した。これは、非代数閉体上の幾何学的対象を扱う際、基本群の計算において非常に重要な進展である。

3. 技術的ブレイクスルー:
   主束の構造層を Tannakian 圏の対象のフィルテッドコリミットとして扱う手法や、可観測性を用いた厳密性の判定法は、Tannakian 圏論と代数幾何学の交差点における強力なツールとして、今後の研究に応用可能である。

4. 応用可能性:
   得られた結果は、積空間上のベクトル束の分類問題や、異なる基本群スキーム間の関係性を調べる際の基礎的な定理として機能する。特に、標数 $p>0$ における Frobenius 関連の群スキーム（F-基本群、局所基本群）の Künneth 公式が任意の体で成立することは、標数 $p$ の代数幾何学において重要な意味を持つ。

---

結論:
本論文は、Tannakian 圏論の深遠な性質を用いることで、多様な基本群スキームに対する Künneth 公式とホモトピー列の厳密性に関する包括的な理論を構築し、その成立条件を任意の体上で明確化した画期的な研究である。