Group-theoretic Johnson classes and a non-hyperelliptic curve with torsion Ceresa class

この論文は、群論的なジョンソン類を構成し、それを滑らかな曲線のガロア・コホモロジー類に応用することで、l 進アーベル・ヤコビ写像の下で torsion となる Ceresa 類を持つ非超楕円曲線の存在を示すことを目的としている。

要約

1. 物語の舞台：曲線と鏡像

まず、想像してみてください。
**「曲線（カーブ）」**というのは、平面上に描かれた複雑なラインだと思ってください。例えば、くねくねした川や、変な形をしたひもです。

数学者たちは、この曲線を**「ジャコビアン（Jacobi）」という、もっと大きな「箱（空間）」の中に埋め込んで研究します。
ここで面白いことが起こります。その箱の中には、曲線そのもの（$X$）と、それを「鏡像（反対側）」**にしたもの（$X^-$）があります。

• セレーサ・サイクル（Ceresa cycle）：
  「元の曲線」と「鏡像の曲線」を足し合わせ、**「元の曲線 － 鏡像の曲線」という計算をします。
  普通、この差は「0（何もない）」になるはずですが、ある特定の曲線では、「0 ではないが、目に見えないほど小さい（代数的に等しい）」という不思議な状態になります。これを「セレーサ・サイクル」**と呼びます。

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

【これまでの常識】
長い間、数学者たちはこう信じていました。

「もし、この『セレーサ・サイクル』が『0（あるいは非常に小さい＝ねじれがある）』になるなら、その曲線は**『双曲線（ハイパーエリプティック）』**という、とても単純で対称性の高い形をしているに違いない。」

つまり、「特別な性質（ねじれ）がある＝単純な形」というルールでした。

【この論文の衝撃的な発見】
しかし、この論文の著者たちは、**「違う！」**と言いました。

「単純な形（双曲線）ではない、もっと複雑で奇妙な形をした曲線でも、この『セレーサ・サイクル』がねじれている（0 になる）ことがある！」

彼らは、**「フリッケ・マクベス曲線（Fricke–Macbeath curve）」**という、非常に特殊で美しい形をした「7 次元の迷路（種数 7 の曲線）」を見つけ出し、そこでこの現象が起きていることを証明しました。さらに、この迷路から一部を切り取って作った「3 次元の迷路（種数 3 の曲線）」でも、同じことが起きることを示しました。

これは、**「複雑な形でも、実は隠れた『ねじれ』を持っていることがある」**という、従来の常識を覆す発見です。

3. 彼らが使った「新しい道具」：グループ・理論

なぜこんなことがわかったのでしょうか？彼らは、曲線そのものを直接見るのではなく、**「その曲線が持つ『対称性のルール（グループ）』」**という、より抽象的な道具を使って分析しました。

• ジョンソン・クラス（Johnson class）：
  これは、曲線の「対称性のルール」を調べるための新しい**「センサー」**のようなものです。
  従来の方法（Hain-Matsumoto の方法）では見逃していた小さな「ねじれ」を、この新しいセンサーは敏感にキャッチできます。

  • 比喩：
    従来の方法は「大きな波」しか見られなかったのに、彼らの新しい方法は「微細な振動（ねじれ）」まで検知できる、高感度マイクのようなものです。

• グループ・理論の魔法：
  彼らは、曲線という「具体的な形」を一旦忘れ、それを「数字のルール（プロ-$\ell$ グループ）」に置き換えて計算しました。
  「このルール（グループ）には、特定の『ねじれ』が含まれている」ということがわかれば、元の曲線も「ねじれがある」という結論になります。
  この方法は、曲線が「閉じた形（完備）」である必要さえなく、もっと自由な形にも適用できる強力なツールです。

4. 具体的な例：7 次元の迷路と 3 次元の迷路

論文のハイライトは、2 つの具体的な例です。

1. 7 次元の迷路（種数 7）：
   「フリッケ・マクベス曲線」という、対称性が非常に高い（PSL2(8) というグループで動く）曲線があります。
   この曲線は「双曲線（単純な形）」ではありませんが、著者たちは、この曲線の「対称性のルール」を分析することで、**「この曲線には、セレーサ・サイクルがねじれているという『ねじれ』が必ず含まれている」**ことを証明しました。

2. 3 次元の迷路（種数 3）：
   7 次元の迷路を、ある対称操作（2 回回転させるような操作）で「折りたたむ」か「切り取る」ことで、3 次元の迷路を作ることができます。
   面白いことに、**「親（7 次元）がねじれを持っていれば、子（3 次元）も必ずねじれを持つ」という性質があります。
   結果として、「双曲線ではない、3 次元の迷路」**が見つかりました。これが、これまで知られていなかった「非双曲線なのにねじれがある曲線」の最初の例の一つとなりました。

5. なぜこれが重要なのか？

• 予想の証明：
  有名な数学者（ベイルソン予想など）は、「特定の曲線の L 関数（数値的な特徴）が 0 にならないなら、その曲線の『ねじれ』は 0 になるはずだ」と予想していました。この論文は、その予想が正しいことを、具体的な曲線で実証しました。
• 新しい視点：
  「曲線の形」と「その背後にある対称性のルール」を結びつける新しい方法（グループ・理論的アプローチ）を開発しました。これにより、これまで見えなかった数学の構造が見えるようになりました。

まとめ

この論文は、「複雑で美しい形をした曲線（迷路）の中に、これまで見逃されていた『ねじれ』が隠れている」ことを発見し、それを証明するために「対称性のルール（グループ）」という新しいレンズを使った、という物語です。

「単純な形（双曲線）でなければ、ねじれは起きない」という古い常識を打ち破り、数学の地図に新しい島（非双曲線だがねじれを持つ曲線）を見つけた、画期的な研究なのです。

技術概要

論文「群論的ジョンソン類と超楕円曲線でない Ceresa 類がねじれとなる曲線」の技術的サマリー

本論文は、代数曲線の Ceresa 類（および関連するジョンソン類）のねじれ性（torsionness）に関する新たな群論的構成と、その応用による具体的な非超楕円曲線の例の構築を扱っています。著者らは、Hain と Matsumoto の既存の幾何学的な構成を抽象的な群論の枠組みで一般化し、特に $\ell=2$ の場合に既存の結果を精緻化する新しい不変量を導入しました。

以下に、問題設定、手法、主要な貢献、結果、および意義について詳細にまとめます。

1. 問題設定と背景

• Ceresa 類と Ceresa 周期:
  種数 $g \ge 3$ の滑らかな射影曲線 $X$ に対し、ヤコビアン $\text{Jac}(X)$ への埋め込み $X \hookrightarrow \text{Jac}(X)$ と、その反転写像による像 $X^-$ を考えます。これらから得られる代数的サイクル $X - X^-$ をCeresa 周期と呼びます。Ceresa の古典的な結果により、一般的な曲線においてこの周期は代数的に自明ではありません。
• ガロアコホモロジー類:
  $\ell$-進サイクル類写像を通じて、Ceresa 周期はガロアコホモロジー類 $\mu(X, x)$（基点 $x$ に依存）および基点に依存しない類 $\nu(X)$ を定義します。
• 既存の知見と未解決問題:
  • 超楕円曲線の場合、Ceresa 周期は代数的に自明であり、$\nu(X)$ は自明（あるいはねじれ）であることが知られています。
  • 一方、**「Ceresa 類がねじれ（あるいは自明）であることは、曲線が超楕円曲線であることを意味するか？」**という問いが長年残されていました（Clemens の問いなど）。
  • 従来の構成は幾何学的な基本群に依存しており、非コンパクトな曲線やより一般的な群への適用に制約がありました。

2. 手法と理論的枠組み

著者らは、群論的アプローチを用いて新しいコホモロジー類を構成しました。

• 群論的構成:

  • ねじれなしの可換化を持つ有限生成プロ-$\ell$ 群 $G$ に対し、増大イデアル $I$ を持つ $\ell$-進群環 $\mathbb{Z}_\ell[[G]]$ を考えます。
  • 修正対角類 (Modified Diagonal Class, $MD_{\text{univ}}$): 拡張 $0 \to I^2/I^3 \to I/I^3 \to I/I^2 \to 0$に付随する$H^1(\text{Aut}(G), \text{Hom}(I/I^2, I^2/I^3))$ の元として定義されます。
  • ジョンソン類 (Johnson Class, $J_{\text{univ}}$): 外自己同型群 $\text{Out}(G)$ への射影を通じて得られる、$H^1(\text{Out}(G), A(G))$ の元です（ここで $A(G)$ は交換子写像の余核）。
  • この構成は、曲面群（surface groups）の場合物語的ジョンソン準同型や Morita のコサイクルを一般化・精緻化するものであり、特に $\ell=2$ の場合に既存の Hain-Matsumoto 構成 ($\mu, \nu$) よりもわずかに多くの情報を含むことが示唆されています。

• 曲線への適用:
  滑らかな曲線 $X$ のプロ-$\ell$ 等式基本群 $\pi_1^\ell(X)$ に上記の構成を適用し、ガロア作用を介してガロアコホモロジー類 $MD(X, x)$ および $J(X)$ を定義します。これらは Hain-Matsumoto の $\mu(X, x)$ および $\nu(X)$ と密接に関連しています（$\ell \neq 2$ で同値、$\ell=2$ で微細な差異あり）。

3. 主要な結果

3.1 超楕円曲線とねじれ性

• 命題 3.2: 超楕円曲線 $X$ に対して、ジョンソン類 $J(X)$ は 2-ねじれ（2-torsion）であることが示されました。また、有理ウェーヤストラス点を持つ場合、修正対角類 $MD(X, x)$ も 2-ねじれとなります。これは、超楕円対合が $H_1$ に $-1$ として作用し、$I^2/I^3$ に恒等写像として作用することから導かれます。

3.2 非超楕円曲線におけるねじれ性の発見

本研究の最大の成果は、Ceresa 類（およびジョンソン類）がねじれとなる非超楕円曲線の具体的な例を初めて提供したことです。

• Fricke-Macbeath 曲線 (種数 7):

  • 種数 7 の Fricke-Macbeath 曲線 $C$ は、その自己同型群が単純群 $\text{PSL}_2(8)$（位数 504）であることで知られています。
  • 命題 3.4: この曲線 $C$ に対して、ジョンソン類 $J(C)$ はねじれとなります。
  • 証明の要点: $\text{PSL}_2(8)$ の表現論を用いて、$H_1(C)$ の表現が既約であり、そのテンソル積分解において特定の共変写像が存在しないことを示しました。これにより、コホモロジー群の固定点が消滅し、ねじれ性が導かれます。
  • 定理 1.1: 種数 7 の曲線 $C$（$\text{Aut}(C) \cong \text{PSL}_2(8)$）のジョンソン類 $J(C)$ および Hain-Matsumoto による $\nu(C)$ はねじれです。

• 種数 3 の非超楕円曲線:

  • 定理 3.7: ねじれジョンソン類を持つ曲線 $X$ から、ある曲線 $Y$ への支配写像（dominant map）が存在する場合、$Y$ のジョンソン類もねじれとなります。これは「超楕円曲線に支配される曲線は超楕円曲線である」という事実の一般化と見なせます。
  • 系 3.8: Fricke-Macbeath 曲線 $C$ の位数 2 の元 $\iota$ による商 $C/\langle \iota \rangle$ は、種数 3 の非超楕円曲線であり、かつそのジョンソン類 $J(C/\langle \iota \rangle)$ はねじれとなります。
  • この曲線は、射影平面内の滑らかな 4 次曲線としてモデル化され、非超楕円曲線であることが確認されています。

4. 意義と考察

• 予想の反証:
  長年の通説（folk expectation）であった「Ceresa 類がねじれ（または自明）であるなら、その曲線は超楕円曲線であるはずだ」という予想を、反例によって否定しました。
• Beilinson 予想との整合性:
  Benedict Gross による指摘（Remark 1.3）によると、Fricke-Macbeath 曲線を Shimura 曲線と見なして $L$ 関数を計算すると、Ceresa 周期が属する Chow 群のランクを制御する $L$ 値が非ゼロとなり、Beilinson 予想によりその群のランクが 0（つまり周期はねじれ）であることが予測されます。本論文の結果はこの予想を裏付けるものです。
• 既存の未発表例との関係:
  著者らは、Chad Schoen によって構成されたが未発表だった種数 3 の非超楕円曲線の例（Ceresa 周期が代数的同値でねじれ）や、Arnaud Beauville によって発見された別の例と、本論文で得られた例が本質的に同じ、あるいは関連するものである可能性を示唆しています（Remark 1.4）。
• 手法の汎用性:
  群論的アプローチにより、曲線がコンパクトでなくても、あるいはより一般的な Demuskin 群に対しても同様の構成が可能である点に革新性があります。

結論

本論文は、Ceresa 周期の代数的性質に関する理解を深め、超楕円曲線以外の文脈でも Ceresa 類がねじれとなり得ることを初めて体系的に示しました。特に、Fricke-Macbeath 曲線とその商を用いた具体的な構成は、代数幾何学と数論幾何学の重要な進展であり、Beilinson 予想などの深い予想とも整合する結果を提供しています。