A note on zero-cycles on bielliptic surfaces

この論文は、標数 2,3 でない任意の体上で定義された双楕円曲面の零次元サイクルのチャウ群を研究し、アルバンゼ写像の核が特定の位数のねじれ群であることを示し、さらに$p$-進体上の具体例を通じてその核がアーベル曲面からの押し出しによって非自明な元を持つことを明らかにしています。

要約

📖 物語の舞台：「ビエリプティック曲面」という不思議な箱

まず、この論文の主人公は**「ビエリプティック曲面（Bielliptic surface）」**という、数学的な「箱」のようなものです。

• 箱の正体： この箱は、2 つの「楕円曲線（ドーナツの形をした曲線）」をくっつけて、さらに「グループ（G）」というルールで折りたたんだようなものです。
• 折りたたみルール： 2 つのドーナツを並べた後、特定のルール（例えば、ドーナツを半分に折り返す、あるいは 3 分の 1 回転させる）でくっつけます。その結果、元のドーナツの形は失われ、新しい不思議な箱（曲面）が完成します。

数学者たちは、この箱の表面に置かれた**「ゼロ次サイクル（Zero-cycles）」**という、目に見えない小さな「粒子」や「点」の集まりに興味を持っています。

🔍 問題：箱の奥にある「見えない粒子」

この箱の表面にある点の集まりには、2 つの大きなグループがあります。

1. 普通の点たち： これらは、箱の形（アールベノス多様体）を基準にすると、すぐに「0」になって消えてしまう点たちです。
2. アルベノス核（T(S)）： これが今回の主人公です。これらは、箱の形を基準にしても**「0」にならないで残ってしまう、頑固な点たち**です。

論文の問い：
「この頑固な点たち（T(S)）は、いったいどんな性質を持っているのか？彼らは無限に増え続けるのか、それともある一定のルールで『消える（0 になる）』のか？」

🎁 発見 1：頑固な点たちは「魔法の数字」で消える

著者のエヴァンゲリア・ガザキさんは、この頑固な点たちを調べるために、**「魔法の数字」**を見つけました。

• どんな数字？
  箱を折りたたんだ時のルール（グループ G の大きさ）によって、この数字は決まります。
  • もしルールが「2 倍」に関係するものなら、**「4 × 2 × (グループの大きさ)」**という数字を掛けると、頑固な点たちは消えてなくなります。
  • もしルールが「3 倍」に関係するものなら、**「9 × 3 × (グループの大きさ)」**という数字を掛けると、消えます。

簡単な例え：
頑固な点たちが「魔法の呪文」を唱える前に、ある特定の回数（例えば 12 回や 18 回）だけ「ジャンプ」させると、彼らはすべて地面に潜り込んで消えてしまう、ということです。つまり、彼らは**「有限の力」**しか持っていないことが証明されました。

🌊 発見 2：p 進数という「特殊な海」での実験

次に、著者は**「p 進数体（p-adic field）」**という、私たちが普段使う数（1, 2, 3...）とは全く異なる、不思議な数の世界（いわば「特殊な海」）で実験を行いました。

• 実験の内容：
  この特殊な海では、箱の表面にある点たちが、**「消えないで残る」**ことがあるかどうかを確認しました。
• 結果：
  なんと、「消えない点」が存在しました！
  特に、箱の表面に「悪い状態（悪い減縮）」で置かれた楕円曲線を使えば、頑固な点たちが「2 倍の力（2-トルジョン）」を持って生き残ることがわかりました。

なぜ重要なのか？
これは、箱の表面にある点たちが、単に数学的な計算で消えるだけでなく、「箱の内部（アベル多様体）」から押し出されてくることで、新しい命を吹き込まれていることを示しています。まるで、箱の奥から「見えない魚」が水面に飛び出してくるような現象です。

💡 この研究のすごいところ（まとめ）

1. ルールを解明した：
   以前は「この頑固な点たちは有限かもしれない」という予想しかありませんでしたが、著者は**「具体的に何倍かければ消えるか」**という正確なルール（指数）を見つけました。
2. 新しい現象を発見した：
   「特殊な海（p 進数体）」では、これらの点たちが消えずに残り、**「2 倍の力」**を持って存在し続けることを、具体的な例を使って示しました。
3. 道具を使った：
   この発見には、**「ブラウアー・マニン対」**という、数学の「探知機」のような道具を使いました。これは、点と「箱のひび割れ（ブラウアー群）」がどう反応するかを調べることで、見えない点の正体を暴く方法です。

🎓 結論

この論文は、**「複雑に折りたたまれた数学的な箱（ビエリプティック曲面）」の中に隠れていた「頑固な点たち」の正体を暴き、彼らが「特定の魔法の数字で消える」こと、そして「特殊な環境では消えずに残り続ける」**ことを証明した、数学的な冒険譚です。

これにより、数学者たちは、これらの不思議な箱の構造をより深く理解できるようになり、将来のより大きな数学の謎を解くための重要な手がかりを得ました。

技術概要

Evangelia Gazaki による論文「A note on zero-cycles on bielliptic surfaces（双楕円曲面上のゼロサイクルに関する一考察）」の技術的な要約を以下に記します。

1. 研究の背景と問題設定

• 対象: 体 $k$ 上の滑らかな射影多様体 $X$ におけるゼロサイクルの Chow 群 $CH_0(X)$。特に、双楕円曲面（bielliptic surface） $S = (E_1 \times E_2)/G$ に焦点を当てます。ここで、$E_1, E_2$ は楕円曲線、$G$ は有限アーベル群であり、$E_1$ には $k$-有理点である非零ねじれ点による平移、$E_2$ には自己同型として作用し、$E_2/G \simeq \mathbb{P}^1_k$ となるように作用します。
• 核心的な問題: $CH_0(S)$ の次数 0 の部分群 $A_0(S)$ に対するアルベナ写像（Albanese map） $\text{alb}_S: A_0(S) \to \text{Alb}_S(k)$ の核 $T(S)$（アルベナ核）の構造を明らかにすることです。
  • $k$ が代数的閉体であれば、Bloch-Kas-Lieberman の結果により $T(S)=0$ となります。
  • しかし、$k$ が一般の体（有限体、数体、$p$-進体など）の場合、$T(S)$ は非自明なねじれ部分群を持つ可能性があり、その構造は完全には解明されていませんでした。
• 目的: 任意の標数 2, 3 以外の体 $k$ において、$T(S)$ がどのようなねじれ群（torsion group）となるかを具体的に記述し、特に $p$-進体上で非自明な元が存在する例を構成することです。

2. 手法とアプローチ

本研究では、以下の数学的ツールと戦略を組み合わせています。

1. 双楕円曲面の分類と被覆:
   • 双楕円曲面は 7 種類に分類されます（Bagnera-De Franchis 分類）。
   • 任意の双楕円曲面 $S$ に対し、積 $X = E_1 \times E_2$ と $S$ の間に、特定のタイプ（タイプ 1 またはタイプ 5）の双楕円曲面 $\tilde{S}$ を介した有限エタール被覆 $\tilde{S} \to S$ が存在することを示し、一般の場合をこれら 2 つのタイプに帰着させます。
2. ゼロサイクルの双線形性:
   • 積 $X = E_1 \times E_2$ 上のアルベナ核 $T(X)$ は、Somekawa $K$-群と関連し、点 $P \in E_1, Q \in E_2$ に対して定義されるゼロサイクル $z_{P,Q} = [P,Q] - [P,O_2] - [O_1,Q] + [O_1,O_2]$ によって生成されます。
   • この $z_{P,Q}$ の双線形性（bilinearity）と、群 $G$ の作用（平移と自己同型）を組み合わせて、射影 $\pi_*: T(X) \to T(S)$ におけるねじれの指数を計算します。
3. Brauer-Manin 対称性（$p$-進体の場合）:
   • $p$-進体上の非自明な元を構成するために、Chow 群 $CH_0(S)$ と Brauer 群 $Br(S)$ の間のBrauer-Manin 対称性 $\langle \cdot, \cdot \rangle: CH_0(S) \times Br(S) \to \mathbb{Q}/\mathbb{Z}$ を用います。
   • 楕円曲線が分裂乗法的減少（split multiplicative reduction）を持つ場合の Tate 曲線としての $p$-進一様化を利用し、Brauer 群の超越部分（transcendental part）と $T(X)$ の相互作用を解析します。

3. 主要な結果

定理 1: アルベナ核のねじれ指数の決定

標数 2, 3 以外の体 $k$ 上の双楕円曲面 $S = (E_1 \times E_2)/G$ について、アルベナ核 $T(S)$ は以下の指数を持つねじれ群となります。

• $|G|$ が偶数の場合：指数 $2^2 \cdot |G|$（すなわち$4|G|$）
• $|G|$ が奇数の場合：指数 $3^2 \cdot |G|$（すなわち$9|G|$）

導出の要点:

• 一般のタイプをタイプ 1（$G=\mathbb{Z}/2\mathbb{Z}$）またはタイプ 5（$G=\mathbb{Z}/3\mathbb{Z}$）に帰着させます。
• タイプ 1 の場合、$G$ の作用 $\sigma(P, Q) = (P+P_0, -Q)$ を用いて、$\pi_*(z_{P,Q})$ が 4 ねじれ（$2^2$）であることを示します。
• タイプ 5 の場合、同様の計算により 9 ねじれ（$3^2$）であることを示します。
• 被覆 $\tilde{S} \to S$ の次数 $m = |G|/\varepsilon(\tilde{S})$ による押し出し（push-forward）の性質から、全体の指数が $|G|$ の倍数となることを導きます。

定理 2: $p$-進体上の非自明な例の構成

$p$-進体 $k$ 上には、アルベナ核 $T(S)$ が非自明な 2-ねじれ元を持つ双楕円曲面 $S$ が存在します。

構成の要点:

• 2 つの楕円曲線 $E_1, E_2$ を選び、両者が $k$ 上で分裂乗法的減少を持つようにします（例：LMFDB のラベル 33.a2 と 198.a2 を $p=11$ で使用）。
• これらの曲線は非同型（non-isogenous）であり、Brauer-Manin 対称性の左核が $CH_0(X)$ の最大可除部分群となる性質を利用します。
• 特定の Brauer 類 $\alpha \in Br(S)$ とゼロサイクル $z \in T(X)$ を選び、$\langle \pi_*(z), \alpha \rangle \neq 0$ となることを示すことで、$\pi_*(z) \neq 0$ であることを証明します。
• 重要な洞察: 楕円曲線が**良い減少（good reduction）**を持つ場合、$T(X)$ は 2-可除となり、この構成は機能しません。したがって、非自明な元を得るためには「悪い減少（bad reduction）」が本質的に必要です。

補題 16: 良い減少の場合の改善

$p \ge 5$ の $p$-進体上で、両方の楕円曲線が良い減少を持つ場合、タイプ 1 の双楕円曲面のアルベナ核 $T(S)$ は 2-ねじれ（タイプ 5 の場合は 3-ねじれ）に制限されます。これは、定理 1 の一般論における指数の上限が、良い減少の場合にはより厳しくなることを示唆しています。

4. 意義と貢献

1. 構造の明確化: 任意の体上の双楕円曲面におけるアルベナ核 $T(S)$ のねじれ指数について、群 $G$ の位数とタイプに依存する具体的な上限（$4|G|$または$9|G|$）を初めて与えました。
2. 非自明性の証明: 有限体や数体における既知の結果に加え、$p$-進体上でも $T(S)$ が非自明であることを示し、そのメカニズムが「楕円曲線の悪い減少」と「Brauer-Manin 対称性」の相互作用にあることを明らかにしました。
3. 手法の応用: 双楕円曲面の分類とエタール被覆を用いた帰着戦略、および $p$-進解析（Tate 曲線）とコホモロジー（Brauer 群）を組み合わせた構成手法は、他の代数多様体のゼロサイクル研究においても応用可能な枠組みを提供しています。
4. 減少の性質の影響: 楕円曲線の減少の性質（良い減少か悪い減少か）が、ゼロサイクルのアルベナ核の構造に決定的な影響を与えることを示した点は、算術幾何学において重要な知見です。

この論文は、双楕円曲面という特定の幾何学的対象において、ゼロサイクルの算術的性質がどのように現れるかを、ねじれの指数と具体的な非自明例の両面から詳細に解明したものです。