Torsion points on $\rm{GL}_2$-type abelian varieties

この論文は、Katz の研究に触発され、GL2 型アーベル多様体における有理点の位数と素数剰余体上の点の位数との逆関係を探求し、特に Q 上で定義された次元 5 以下のモジュラーアーベル多様体について、そのねじれ点の位数の候補となるリストを仮説的に提示しています。

要約

この論文は、数学の難問である「数と図形の隠れた関係」を解き明かすための新しい地図を描いたものです。専門用語を避け、日常の比喩を使ってわかりやすく解説します。

1. 物語の舞台：「阿比リアン多様体」という巨大な城

まず、この論文で扱っている「阿比リアン多様体（Abelian Variety）」というものを想像してください。
これは、**「数（数字）の世界に建つ、非常に複雑で巨大な城」**のようなものです。

• 通常の曲線（楕円曲線）： 2 次元の平面上に描かれた、滑らかな輪っかのような形をした城です。これはすでに詳しく研究されており、「この城には最大で 16 人の住人（特異な点）しか住めない」というルール（マズールの定理）がわかっています。
• 阿比リアン多様体： 次元が高くなるにつれて、城は 3 次元、4 次元、5 次元へと立体化し、さらに複雑になります。この「高次元の城」には、住人が何人いるか（数学用語では「ねじれ点」と呼ばれる特別な点）を数えるのが非常に難しいという問題がありました。

2. 従来のルール：「外観で中身を知る」

これまで数学者たちは、ある城（阿比リアン多様体）の住人の数を調べるために、「外観」を見る方法を使っていました。

• 比喩： 城の壁を「素数（2, 3, 5, 7...）」というフィルターで眺めます。
• 仕組み： 「素数 5 で眺めたとき、城の壁に 100 個の模様が見えた」「素数 7 で眺めたら 140 個の模様が見えた」というように、外観（素数ごとの点の数）を調べることで、城の中に住んでいる本当の住人の数が、その模様の数の共通約数（最大公約数）の倍数であることがわかっていました。
  • 例：外観が「100 個」と「140 個」なら、本当の住人数は「20 人」の倍数かもしれない、と推測できます。

しかし、「逆」は本当に成り立つのか？ という疑問がありました。
「外観を眺めたら、どの素数でも『20 の倍数』の模様が見えた。だから、城の中には本当に『20 人』の住人がいるはずだ」と言えるでしょうか？
以前は、高次元の城ではこの推測が外れる（逆が成り立たない）ケースがあることが知られていました。

3. この論文の発見：「GL2 型」という特別な城のルール

著者たちは、**「GL2 型（ジー・エル・ツー・がた）」という、ある特定の性質を持った城に注目しました。これは、「モジュラー形式（ある種の波動のような数学的なパターン）」**と深く結びついている特別な城です。

彼らは、**「この特別な城に限れば、外観と中身は必ず一致する！」**という強力なルールを見つけ出しました。

• 発見の核心：
  「もし、ある城（GL2 型）を、あらゆる素数（フィルター）で眺めたときに、常に『ある数（例えば 20）の倍数』の模様が見えるなら、その城には実際に『20 の倍数』の住人が住んでいる（あるいは、その城と似た城にそう住んでいる）ことが保証される！」

  これを証明するために、彼らは「ガロア表現」という、城の内部構造を「鍵と鍵穴」の関係として捉える高度な数学の道具を使いました。

4. 具体的な成果：「住人のリスト」の作成

この新しいルール（定理）を使って、著者たちはコンピュータ（Magma というソフト）に計算させました。

• 何をしたか：
  次元が 2 から 5 までの「GL2 型の城」をすべてリストアップし、それぞれの城にありうる「住人の数（ねじれ点の位数）」を計算しました。
• 結果：
  「2 次元の城なら、住人数は 1 人から 56 人までの特定の数字に限られる」「3 次元ならこれら」といった、**「ありうる住人数のリスト」**を作成しました。
  • 例：レベル 39 の城には、これまで知られていなかった「28 人」の住人がいることがわかりました。これは既存のデータベース（LMFDB）には載っていなかった新しい発見です。

5. まとめ：なぜこれが重要なのか？

この論文は、**「複雑な高次元の城の住人数を、外観（素数での点の数）から正確に予測できる」**という、長年の数学の謎を、特定の重要なケース（GL2 型）で解決しました。

• 比喩で言うと：
  以前は「外観を見ても、中身が何人いるか確実にはわからない」と思われていた高次元の城ですが、**「このタイプの城なら、外観を見れば中身が 100% わかる！」**と証明し、さらに「どの城に何人の住人がいる可能性があるか」のリストまで作ってしまったのです。

これは、数学者たちが「数と図形」の関係を理解する上で、非常に強力な新しい地図を手に入れたことを意味しています。

技術概要

論文概要：GL2 型アーベル多様体上のねじれ点

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

背景

• 楕円曲線の場合: マズル（Mazur）の定理により、有理数体 $\mathbb{Q}$ 上の楕円曲線の有理ねじれ部分群の構造は完全に分類されており、その位数は 16 以下であることが知られている。
• 一般のアーベル多様体: 高次元のアーベル多様体や一般の代数体上の楕円曲線については、ねじれ点の位数に対する一様な上界は知られていない（局所体や特定の幾何的条件付きでは存在するが、一般には未解決）。
• ラングの問い（Lang's Question）とカッツの逆問題:
  • アーベル多様体 $A$ が素数 $p$ で良い還元を持つとき、$A$ の有理ねじれ点群は $p$ での還元 $\tilde{A}(\mathbb{F}_p)$ に単射的に埋め込まれる。したがって、ねじれ点の位数はすべての $p$ における点の個数 $N(p) = |\tilde{A}(\mathbb{F}_p)|$ の最大公約数（GCD）を割り切る。
  • Lang の問い: 逆に、密度 1 の素数集合において $N(p) \equiv 0 \pmod m$ が成り立つとき、$A$ と $\mathbb{Q}$-同次（isogenous）なある $A'$ において、$|Tors(A')(\mathbb{Q})| \equiv 0 \pmod m$ となるか？
  • カッツ（Katz, 1981）は楕円曲線の場合に肯定的な答えを与えたが、高次元アーベル多様体では反例が存在することを示した。

本研究の目的

GL2 型（GL2-type）アーベル多様体に対して、カッツの問い（より弱いバージョン）に対する肯定的な答えをすべての次元で証明し、モジュラーアーベル多様体の有理ねじれ点の位数に関する具体的なリスト（予想）を提示すること。

2. 手法と理論的枠組み

GL2 型アーベル多様体の定義

数体 $K$ 上の $g$ 次元アーベル多様体 $A$ が GL2 型であるとは、次数 $g$ の数体 $F$ が存在し、$F \hookrightarrow \text{End}_K(A) \otimes \mathbb{Q}$ となる埋め込みがあることをいう。これは、$A$ が $F$ 上の 2 次元ガロア表現の系と関連していることを意味する。

ガロア表現と格子の構成

1. ガロア表現: $A$ に対して $\ell$-進ガロア表現 $\rho_\ell: G_K \to \text{Aut}(V_\ell(A))$ を定義する。GL2 型であるため、$F$ 上の 2 次元表現 $\rho_\lambda: G_K \to \text{GL}_2(F_\lambda)$ の系（$\lambda | \ell$）が存在する。
2. フロベニウスの特性多項式: 素点 $p$ におけるフロベニウス元 $\text{Frob}_p$ に対する特性多項式 $P^\lambda_p(t) = \det(1 - t\rho_\lambda(\text{Frob}_p))$ を考える。
3. 条件の定式化: $N(p) \equiv 0 \pmod m$ という条件は、$\det(1 - \rho_\ell(\text{Frob}_p)) \equiv 0 \pmod m$ と同値であり、これは $\rho_\lambda$ に関する合同式 $P^\lambda_p(1) \equiv 0 \pmod {\lambda^n}$ に帰着される。

主要な定理（カッツの定理の一般化）

著者らは、カッツとラングの 2 次元表現に関する結果（Theorem 3.1）を流用し、以下の定理（Theorem 3.2）を証明した。

• 定理 3.2: $A$ が GL2 型で、ある整数 $n \ge 1$ に対し、密度 1 の素点 $p$ で $P^\lambda_p(1) \equiv 0 \pmod {\lambda^n}$ が成り立つならば、$A$ と $\ell$-べき同次である $A'$ が存在し、その有理ねじれ点群の位数は $\ell^{f_\lambda n}$ で割り切れる（$f_\lambda$ は $\lambda$ の不変次数）。

この証明は、ガロア作用が自明な商（quotient）を持つような $G_K$-不変格子の存在を示すことに基づいている。

3. 主要な結果

理論的結果（Corollary 3.3）

GL2 型アーベル多様体 $A$ に対して、以下の 2 つの整数は、$A$ の良い還元を持つ素数 $\ell$ について、同じ素因数を持つ（より正確には、$\ell$ に関する指数が一致する）。

1. $A$ と同次なすべての $A'$ における有理ねじれ点の位数の上限：$\sup_{A' \sim A} |Tors(A')(\mathbb{Q})|$
2. 良い還元を持つ素点 $p$ における $N(p)$ の最大公約数：$\gcd_{p \in \Sigma} N(p)$

特に、$\ell$ が $F$ において完全に分解しない（totally inert）場合、これらは等しくなる。

計算機実験と予想（Conjectures 4.4, 4.5）

著者らは、Magma 計算機代数システムを用いて、有理数体 $\mathbb{Q}$ 上のモジュラーアーベル多様体（重み 2 の新形式 $f$ に対応）について、次元 $g \le 5$ の範囲で計算を行った。

• 手法: 重み 2、レベル 500 以下の新形式を網羅し、各新形式に対応する $P^\lambda_p(1)$ の GCD を計算し、予想されるねじれ点の位数を導出した。
• 結果: 次元 2, 3, 4 の場合、計算されたねじれ点の位数のリストと、$N(p)$ の GCD のリストは一致した。次元 5 においては一部不一致が見られたが、これは計算限界によるものか、例外である可能性が示唆された。

予想 4.4（可能なねじれ点の位数のリスト）:
次元 $g$ ごとに、$\mathbb{Q}$ 上の単純な GL2 型アーベル多様体の有理ねじれ点の位数として現れうる整数のリストを提示した。

• $g=2$: 1, 2, 3, ..., 56 など（例：28, 44, 56 など新しい位数も含まれる）。
• $g=3, 4, 5$: 同様に拡張されたリスト。
  • 注: LMFDB には記載されていないが、レベル 39 の新形式に対応するアーベル曲面で位数 28 のねじれ点を持つものが存在することが確認された。

予想 4.5（ねじれ点の素因数）:
次元 $g$ ごとに、ねじれ点の位数を割りうる素数 $\ell$ の集合を特定した。

• $g=2$: $\{2, 3, 5, 7, 11, 13, 19\}$
• $g=3$: $\{2, 3, 5, 7, 11, 13, 17, 23, 29, 31\}$
• $g=4, 5$: 同様にリスト化。

4. 意義と貢献

1. 理論的進展: カッツの逆問題に対する反例が存在する一般のアーベル多様体に対し、GL2 型という重要なクラスにおいて「局所 - 大域原理」がほぼ成り立つことを証明した。これは、ガロア表現の格子構造を用いた精密な解析によるものである。
2. 分類の具体化: 高次元アーベル多様体のねじれ点の分類において、具体的な位数のリストを初めて提示した。特に、従来のデータベース（LMFDB）に含まれていなかった位数（例：28）を持つアーベル多様体の存在を理論的・計算的に示唆し、データベースの拡張に貢献した。
3. 計算的アプローチ: 新形式とアーベル多様体の対応を利用し、計算機を用いて高次元のねじれ構造を探索する新しい手法を確立した。
4. 今後の展望: 次元 5 以上や、より高いレベルでの例外の有無、リストの完全性（exhaustiveness）は未解決であり、今後の研究課題として残されている。

結論

本論文は、GL2 型アーベル多様体のねじれ点に関する局所 - 大域原理を証明し、有理数体上のモジュラーアーベル多様体について、次元 5 までのねじれ点の位数と素因数に関する包括的な予想リストを提供した。これは、数論幾何におけるねじれ点の構造理解を深める重要な一歩である。