A surface with representable $\text{CH}_{0}$-group but no universal zero-cycle

この論文は、双楕円曲面の幾何学を用いて、0 次チャウ群が表現可能であるにもかかわらず普遍 0 次サイクルを持たない滑らかな射影複素曲面を構成し、さらにコディメンション 0 の 3 次元多様体における非代数的なホッジ類の最初の例を示すことで、コリヨット＝テレーヌの問いに対するヴォワザンの反例の 2 次元版を提供しています。

要約

この論文は、数学の「幾何学」という分野における、非常に高度で抽象的な問題に挑んだものです。専門用語を避け、日常のイメージを使ってわかりやすく解説します。

1. 物語の舞台：「地図」と「目的地」

まず、この研究の舞台となるのは**「滑らかな曲面（2 次元の形）」**です。これを「島」と想像してください。

この島には、ある特別な「地図」のような仕組みがあります。

• アルベノス多様体（Albanese variety）： 島全体を代表する「中心都市」のようなものです。
• 0 次元サイクル（0-cycle）： 島上の「点」の集まりです。
• 普遍 0 次元サイクル（Universal 0-cycle）： これがこの論文のキーワードです。

「普遍 0 次元サイクル」とは何か？
これを理解するために、以下のようなアナロジーを使ってみましょう。

アナロジー：「万能の配送システム」

島（曲面）には、無数の「点（住所）」があります。
島全体を代表する「中心都市（アルベノス）」があります。

ここで、**「万能の配送システム」があるとします。
このシステムは、「中心都市の任意の場所から、島の任意の場所へ、必ず 1 つの点（荷物）を届けることができる」**という魔法のようなルールを持っています。

もしこの「万能の配送システム（普遍 0 次元サイクル）」が存在すれば、私たちは中心都市と島の点を完璧に結びつけることができます。
しかし、もしこのシステムが存在しないなら、どんなに頑張っても、中心都市のすべての場所を島上の点と 1 対 1 で完璧に結びつけることができない、という「欠陥」が島にあることになります。

2. 従来の常識と、この論文の発見

これまで、数学者たちは「ある条件を満たす島（曲面）なら、この『万能の配送システム』は必ず存在するはずだ」と信じていました。

特に、「点の集まり（0 次元サイクル）のグループ」が、中心都市と**「完全に一致する（同型）」**という性質を持つ島（これを「可表現な CH0 グループを持つ曲面」と言います）では、このシステムは存在すると考えられていました。

しかし、この論文の著者（テオドシス・アレクサンドル氏）は、**「実は違う！」**と証明しました。

発見：
「点の集まりが中心都市と完璧に一致しているように見える島（可表現な曲面）であっても、『万能の配送システム（普遍 0 次元サイクル）』が存在しない島が、実は存在する！」

これは、3 次元の空間（3 次元多様体）ではすでに発見されていたことが、2 次元の曲面（2 次元多様体）でも初めて証明されたという画期的な成果です。

3. どうやって見つけたのか？「変形」の魔法

著者は、この奇妙な島をどうやって見つけたのでしょうか？

「変形（Degeneration）」というアプローチ
著者は、いきなり完成された島を探すのではなく、**「島が変形していく過程」**に注目しました。

1. 準備： 2 つの楕円曲線（ドーナツ型の輪）を組み合わせ、それをあるグループで割った「ビエルリプティック曲面（Bielliptic surface）」という種類の島を用意します。
2. 変形： この島を、時間とともにゆっくりと「崩壊」させていきます。
   • 最初は滑らかな島（2 次元）でしたが、変形が進むと、島が**「2 つの異なる曲面が、1 本の曲線でつながった状態」**に変わります。
   • この「つながり」の部分が、問題の鍵になります。
3. 検証： この変形した状態（特殊な纤维）を詳しく調べると、**「中心都市への道筋が、2 つの異なるルートに分かれてしまい、どちらを選んでも『万能の配送システム』を構築できない」**という矛盾が見つかりました。
4. 結論： この矛盾は、変形前の「滑らかな島」にも影響を及ぼします。つまり、**「変形前の滑らかな島にも、実は『万能の配送システム』は存在しない」**ことが証明されたのです。

4. なぜこれが重要なのか？「ホッジ予想」への挑戦

この発見は、単なる「島の地図」の話で終わらず、数学の巨大な壁である**「積分ホッジ予想（Integral Hodge Conjecture）」**にも深く関わっています。

• ホッジ予想とは： 「ある数学的な形（コホモロジー類）は、実は『図形（代数サイクル）』として描けるはずだ」という予想です。

• この論文の貢献：
  この論文で発見された「万能の配送システムがない島」を使えば、**「図形として描けない、しかし数学的に存在する不思議な数（非代数的なホッジ類）」**を、3 次元の空間（楕円曲線 × 曲面）の中に作ることができます。

  以前にも「描けない図形」の例はありましたが、それは「ねじれ（torsion）」と呼ばれる特殊な性質を持つものでした。しかし、この論文で発見された例は、**「ねじれがない、純粋な非代数的な図形」**です。これは、数学の基礎理論にとって非常に重要な新しいタイプの反例です。

まとめ

この論文を一言で言うと、以下のようになります。

「『点の集まり』と『中心都市』が完璧に一致しているように見える 2 次元の島でも、実は『万能の配送システム』が存在しない奇妙な島があることを発見した。この発見は、数学の大きな予想（ホッジ予想）に対する、これまで知られていなかった新しいタイプの反例を生み出した。」

著者は、島を「崩壊させて」その内部構造を覗き見るという、非常に独創的な方法で、数学の奥深い真理を突き止めました。

技術概要

論文「A SURFACE WITH REPRESENTABLE CH0-GROUP BUT NO UNIVERSAL ZERO-CYCLE」の技術的サマリー

1. 概要と背景

本論文は、滑らかな射影複素多様体における「普遍 0-サイクル（universal 0-cycle）」の存在に関する新たな障害を導入し、それを応用して**「0-サイクルのチャウ群（Chow group）が表現可能（representable）であるが、普遍 0-サイクルを持たない滑らかな射影複素曲面」**を構成することを目的としています。

この研究は、Colliot-Thélène が提起した以下の問いに対する肯定的な回答を提供するものです。

問い (Question 1.2): 0-サイクルのチャウ群 $CH_0(S)$ が表現可能である滑らかな射影複素曲面 $S$ は、必ず普遍 0-サイクルを持つのか？

Voisin は以前、3 次元多様体（3-fold）においてこの性質が成り立たない反例を構築しましたが、2 次元（曲面）の場合については未解決でした。本論文はこの 2 次元のケースを解決し、さらに整数係数のホッジ予想（integral Hodge conjecture）に関する新たな反例を 3 次元多様体に対して提供しています。

2. 主要な問題設定

2.1 普遍 0-サイクル

滑らかな射影多様体 $X$ に対し、そのアルベナ variety $Alb(X)$ への普遍写像 $alb_X: X \to Alb(X)$ があります。これにより、0-サイクルの同値類のなす群 $CH_0(X)_{hom}$ から $Alb(X)$ への Abel-Jacobi 写像 $\alpha_X$ が定義されます。
$X$ が普遍 0-サイクルを持つとは、$Alb(X) \times X$ 上の余次元 $d$ のサイクル $[\Gamma]$ が存在し、対応する写像 $\psi(Alb(X), [\Gamma]): Alb(X) \to Alb(X)$ が恒等写像となることを意味します。

2.2 表現可能性 (Representability)

$CH_0(X)$ が表現可能であるとは、Abel-Jacobi 写像 $\alpha_X$ が同型写像となることを指します（Roitman の定理より、これは $CH_0(X)$ が有限次元であることと同値です）。
曲面の場合、双楕円曲面（bielliptic surface）などは $CH_0$ が表現可能であることが知られていますが、普遍 0-サイクルを持つかどうかは、特にファイバー束の指数（index）が 1 ではない場合に不明でした。

3. 手法と構成

3.1 主要な障害の導入 (Theorem 3.1)

著者は、普遍 0-サイクルの存在に対する新たな幾何的障害を確立しました。
滑らかな多様体 $X$ が、ある曲線 $C$ 上のファイバー束 $\phi_X: X \to C$ を持ち、その特殊ファイバー $X_0$ が「鎖状（chain）」の単純正規交差（SNC）除数であると仮定します。
もし $X$ の一般ファイバー $X_K$ が普遍 0-サイクル（あるいは $CH_0$ の分割）を持てば、特殊ファイバーの各成分 $X_{0i}$ のアルベナ variety から $C$ のヤコビアンへの和写像
$$\sum \text{alb}_i: \bigoplus \text{Alb}(X_{0i}) \to \text{Jac}(C)$$
が切断（section）を持たなければならないという定理を証明しました。
つまり、この和写像が切断を持たない場合、一般ファイバーは普遍 0-サイクルを持たないことが導かれます。

3.2 双楕円曲面の退化構成 (Theorem 4.1)

上記の障害を適用するために、著者はタイプ 2 の双楕円曲面の退化族を明示的に構成しました。

• 基底: 代数閉体 $k$（標数 $\neq 2$）上の楕円曲線 $E$。
• 構成: 楕円曲線 $E$ と、Kodaira 型 $I_4$ の特殊ファイバーを持つ楕円曲線のモデル $F$ の積 $E \times F$ に、適当な対合（involution）群を作用させて商をとることで、滑らかな全空間 $S$ を得ます。
• 特殊ファイバー: 退化族の特殊ファイバー $S_0$ は、2 つの成分 $R_1, R_2$ からなる SNC 除数となり、それらの交わりは楕円曲線 $C$ となります。
• 性質: 各成分 $R_i$ は、$E$ の 2 重被覆 $E_i \to E$ 上の最小則曲面（minimal ruled surface）となります。

3.3 障害の検証

構成された退化族において、特殊ファイバーの成分 $R_1, R_2$ から誘導される写像の和
$$\text{Alb}(R_1) \times \text{Alb}(R_2) \to E$$
が切断を持たないことを示しました。

• 条件 (i): $E$ の自己同型環 $\text{End}(E) \cong \mathbb{Z}$ の場合。
• 条件 (ii): $E$ が特定の Heegner 体（$c \in \{1, 2, 3, 11, 19, 43, 67, 163\}$）の最大順序による複素乗法を持つ場合。
  これらの条件下では、和写像が切断を持たないことが証明され、したがって一般ファイバー（タイプ 2 の双楕円曲面）は普遍 0-サイクルを持たないことが導かれます。

4. 主要な結果

4.1 主定理 (Theorem 1.3)

上記の条件 (i) または (ii) を満たす楕円曲線 $E$ に対して、以下を満たす滑らかな射影曲面 $S$ が存在します。

1. $S$ のアルベナ variety は $E$ に同型。
2. $S$ の 0-サイクルのチャウ群 $CH_0(S)$ は表現可能である。
3. $S$ は普遍 0-サイクルを持たない。

これは、Voisin の 3 次元反例の 2 次元 analogue であり、Colliot-Thélène の問いに対する肯定的な回答です。
注記: 条件 (ii) のリストから $c=-7$ を除いているのは、$c=-7$ の場合、和写像が切断を持つ（つまり普遍 0-サイクルを持つ）反例が存在するためです（Example 5.2 参照）。

4.2 整数係数ホッジ予想への応用 (Corollary 1.5)

普遍 0-サイクルの非存在は、整数係数ホッジ予想の失敗と密接に関連しています。

• $S$ を上記の曲面とし、$X = E \times S$ とします（$X$ は 3 次元多様体）。
• $X$ に対して、$H^4(E \times S, \mathbb{Z})$ におけるあるホッジ類 $\delta_X$ を構成します。
• 普遍 0-サイクルが存在しないことにより、このホッジ類 $\delta_X$ は代数的ではないことが示されます。
• さらに、この非代数的なホッジ類はねじれ（torsion）ではない（非ねじれ）です。

これは、Benoist と Ottem による既知の反例（ねじれホッジ類による反例）とは異なるアプローチ（退化戦略）によるものであり、Kodaira 次元が 0 の 3 次元多様体において、整数係数ホッジ予想が 1-サイクルに対して失敗する最初の非ねじれ例を提供します。

5. 意義と結論

• 理論的貢献: 普遍 0-サイクルの存在条件に関する理解を深め、特に「表現可能性」と「普遍 0-サイクルの存在」が独立した性質であることを 2 次元で明確に示しました。
• 手法の革新: 曲面の退化（degeneration）を用いた新しい障害の構成法を開発しました。これは、楕円曲線自体を退化させるのではなく、曲面を退化させるという新しい視点に基づいています。
• ホッジ予想への影響: 整数係数ホッジ予想の反例のバリエーションを拡大し、特に非ねじれな非代数的ホッジ類の存在を示すことで、代数幾何におけるサイクル理論の深遠な問題に新たな光を当てました。

本論文は、代数サイクル理論、ホッジ理論、および代数曲面の幾何学を統合した重要な成果であり、Voisin や Colliot-Thélène などの先駆的な研究を 2 次元および非ねじれなケースに拡張するものです。