[論文レビュー] A non-abelian conjecture of Birch and Swinnerton-Dyer type for hyperbolic curves

Jennifer S. Balakrishnan, Ishai Dan‐Cohen+2 more|arXiv (Cornell University)|Sep 4, 2012

Algebraic Geometry and Number Theory被引用数 5

ひとこと要約

この論文は、$\mathbb{Z}$ 上の双曲的曲線に対して、非アーベル的類似の Birch と Swinnerton-Dyer 猜想を提示する。非アーベルコホモロジーにおける $\mathbb{Q}_p$-ユニポテンツ基本群を用いたセレマー群スキームを用いて、グローバルな整数点を特徴付ける。$\mathbb{P}^1\setminus\{0,1,\infty\}$ およびランク 0 の半安定楕円曲線に対して、グローバルセレマー群の局所的像を計算し、広範な範囲のケースで予想が数値的に確認された。

ABSTRACT

We state a conjectural criterion for identifying global integral points on a hyperbolic curve over $\mathbb{Z}$ in terms of Selmer schemes inside non-abelian cohomology functors with coefficients in $\mathbb{Q}_p$-unipotent fundamental groups. For $\mathbb{P}^1\setminus \{0,1,\infty\}$ and the complement of the origin in semi-stable elliptic curves of rank 0, we compute the local image of global Selmer schemes, which then allows us to numerically confirm our conjecture in a wide range of cases.

研究の動機と目的

• $\ mathbb{Z}$ 上の双曲的曲線に対して、Birch と Swinnerton-Dyer 猜想を非アーベル的設定に拡張すること。
• 非アーベルコホモロジー関手におけるセレマー群スキームを用いた、グローバル整数点を特定する基準を構築すること。
• 特定のケースにおけるグローバルセレマー群の局所的像を計算し、予想を数値的に検証すること。
• $\ mathbb{P}^1\setminus\{0,1,\infty\}$ およびランク 0 の半安定楕円曲線の文脈において、予想に対する証拠を提供すること。

提案手法

• 係数として $\ mathbb{Q}_p$-ユニポテンツ基本群を用いた非アーベルコホモロジー関手を用いて、セレマー群スキームを定義する。
• すべての場所における局所的条件を満たす非アーベルコホモロジーの部分群としてグローバルセレマー群スキームを構成する。
• $\ mathbb{Q}_p$-ユニポテンツ基本群の構造を用いて、各素数 $p$ におけるこれらのグローバルセレマー群スキームの局所的像を計算する。
• プロ-ユニポテンツ基本群の理論を用いて、整数点へのコホモロジー的障害を分析する。
• $\ mathbb{P}^1\setminus\{0,1,\infty\}$ およびランク 0 の半安定楕円曲線のケースにおける明示的計算を用いて、予想を検証する。
• グローバルセレマー群スキームの局所的像と期待される局所的条件を比較し、整合性を検証する。

実験結果

リサーチクエスチョン

• RQ1 双曲的曲線に対して、$\ mathbb{Z}$ 上で Birch と Swinnerton-Dyer 猜想を非アーベル的設定に一般化する方法は何か？
• RQ2 非アーベルコホモロジーにおけるセレマー群スキームは、双曲的曲線上のグローバル整数点を検出するためにどのような役割を果たすか？
• RQ3 $\ mathbb{P}^1\setminus\{0,1,\infty\}$ およびランク 0 の半安定楕円曲線におけるグローバルセレマー群の局所的像の構造は何か？
• RQ4 非アーベル的設定において、$\ mathbb{Q}_p$-ユニポテンツ基本群を用いて、予想的基準を明示的ケースで数値的に検証できるか？
• RQ5 非アーベル的設定において、$p$ における局所的条件はグローバルセレマー群スキームをどのように制約するか？

主な発見

• 予想的基準は、非アーベルコホモロジーにおけるセレマー群スキームを用いて、$\ mathbb{P}^1\setminus\{0,1,\infty\}$ 上のグローバル整数点を的確に特定した。
• ランク 0 の半安定楕円曲線において、グローバルセレマー群の局所的像が明示的に計算され、期待される局所的条件と一致した。
• $\ mathbb{P}^1\setminus\{0,1,\infty\}$ およびランク 0 の楕円曲線の両方のケースにおいて、予想の数値的検証が広範な範囲で確認された。
• $\ mathbb{Q}_p$-ユニポテンツ基本群の構造により、局所的コホモロジー的障害の正確な計算が可能になった。
• グローバルセレマー群スキームと局所的条件との間の整合性が示され、非アーベル的予想の妥当性を支持する。
• 得られた結果は、指定された設定において、Birch と Swinnerton-Dyer 猜想の非アーベル的類似の強力な証拠を提供する。