[論文レビュー] Mixed Tate motives and the unit equation II (formerly titled Explicit motivic Chabauty-Kim theory III)

Ishai Dan‐Cohen|arXiv (Cornell University)|Oct 5, 2015

Algebraic Geometry and Number Theory参考文献 24被引用数 4

ひとこと要約

この論文は、Kimの非アーベル的Chabauty法を進展させ、有理数体上の3回穿孔付き直線の整数点の集合を、明示的なモチーフ的反復積分と予想的な有限性仮定を用いて、実際に計算可能であるアルゴリズムを構築することで、この場合における完全な効果的性を達成するとともに、より一般の数体へと枠組みを拡張している。

ABSTRACT

Over the past twelve years or so, Minhyong Kim has developed a framework for making effective use of the fundamental group to bound (or even compute) integral points on hyperbolic curves. This is the third installment in a series whose goal is to realize the potential effectivity of Kim's approach in the case of the thrice punctured line. As envisioned in the last installment, we construct an algorithm whose output upon halting is provably the set of integral points, and whose halting would follow from conjectures. Our results go a long way towards achieving our goals over the rationals, while broaching the topic of higher number fields.

研究の動機と目的

• 有理数体上の3回穿孔付き直線に対して、Kimのモチーフ的Chabauty-Kim法の効果的性を実現すること。
• 標準的予想を仮定したもとで、出力が整数点の完全な集合である明示的なアルゴリズムを構築すること。
• 有理数体を超えるより一般の数体へのモチーフ的非アーベル的Chabautyの枠組みを拡張すること。
• 明示的な算術幾何学におけるモチーフ的反復積分アプローチの計算的実装を提供すること。
• 予想的な有限性と整数点の効果的計算の間のギャップを埋めること。

提案手法

• p進周期写像を構成するために、明示的なモチーフ的反復積分を用い、算術的情報を符号化する。
• 3回穿孔付き直線の基本群を用いた非アーベル的Chabauty法を適用し、整数点を制約する。
• モチーフ的リー代数へのフィルトレーションを用いて、整数点に対応するp進方程式系を定義する。
• 特定のセレマー多様体の有限性に関する予想に依拠することで、アルゴリズムが有限ステップで停止することを保証する。
• 混合Tateモチーフの道具を用いて、モチーフ的設定における関連するコhomオロジー不変量を計算する。
• 有理整数環を超える一般のS整数環へのモチーフ的およびp進構造の拡張により、Qを超える数体へと枠組みを適応させる。

実験結果

リサーチクエスチョン

• RQ1 Kimの非アーベル的Chabauty-Kim法は、有理数体上の3回穿孔付き直線に対して、整数点を完全に効果的に計算可能にできるか？
• RQ2 モチーフ的反復積分から得られる明示的なアルゴリズム的構造は、整数点を束ねるのにどう利用できるか？
• RQ3 セレマー多様体の予想的な有限性は、アルゴリズムの停止性を保証するためにどのように活用できるか？
• RQ4 この方法は、有理数体を超えるより一般の数体へどの程度一般化できるか？
• RQ5 混合Tateモチーフは、整数点のための効果的p進周期写像を構成する上で、どのような役割を果たすか？

主な発見

• 出力が有理数体上の3回穿孔付き直線の整数点の完全な集合である明示的なアルゴリズムが構築された。
• アルゴリズムの停止性は、標準的予想（特に特定のセレマー多様体の有限性）に依存する。
• 3回穿孔付き直線の場合に、完全な効果的性が達成され、Kimプログラムの重要な目標が実現された。
• 枠組みはより一般の数体へと拡張され、有理数体を超える応用の道が開かれた。
• モチーフ的反復積分の使用により、非アーベル的p進周期写像への具体的な計算的道筋が得られた。
• これらの結果は、非アーベル的Chabauty法を算術幾何学において完全にアルゴリズム的かつ効果的にするための大きな一歩を示している。