[論文レビュー] Finite descent and rational points on curves

Michael Stoll|arXiv (Cornell University)|Jun 19, 2006

Algebraic Geometry and Number Theory参考文献 18被引用数 8

ひとこと要約

この論文は、有理点が有限で、Tate-Shafarevich群に可除元が存在しないアーベル多様体に非自明に写像する曲線に対して、有限アーベル降下法が有理点を正確に特定することを確立している。さらに、曲線においてブラウアー＝マニンの障害は有限アーベル降下障害と同値であり、この障害が genus 2 以上の曲線における有理点の存在に対する唯一の障害であるという予想を支持する。

ABSTRACT

Let k be a number field and X a smooth projective k-variety. In this paper, we study the information obtainable from descent via torsors under finite k-group schemes on the location of the k-rational points on X within the adelic points. Our main result is that if a curve C/k maps nontrivially into an abelian variety A/k such that A(k) is finite and Sha(k,A) has no nontrivial divisible elements, then the information coming from finite abelian descent cuts out precisely the rational points of C. We conjecture that this is the case for all curves of genus at least 2. We relate finite descent obstructions to the Brauer-Manin obstruction; in particular, we prove that on curves, the Brauer set equals the set cut out by finite abelian descent. Our conjecture therefore implies that the Brauer-Manin obstruction against rational points in the only one on curves.

研究の動機と目的

• 有限体 k 上の有限 k-群スキームの torsor を通じた有限降下の役割が、曲線の有理点を検出するのにおいて果たすものを探る。
• genus が 2 以上の曲線において、有限アーベル降下法がすべての有理点を捉えきれるかを調査する。
• 曲線における有限アーベル降下障害とブラウアー＝マニン障害の関係を明らかにする。
• 降下障害と関連して、Tate-Shafarevich群の構造を検討する。
• ブラウアー＝マニン障害が、曲線における有理点の存在に対する唯一の障害であるという予想に裏付けを与える。

提案手法

• 有限 k-群スキームの作用を torsor を通じて曲線に適用し、k-有理点に関する情報を抽出する。
• 降下理論を用いて、曲線の有理点とそれらがアーベル多様体に写された先の像との関係を研究する。
• A(k) の有限性と Sha(k,A) に可除元が存在しないことを利用して、降下データを制約する。
• 曲線においてブラウラー集合と有限アーベル降下によって切り出される集合との明確な関係を確立する。
• ガロアコホホロジーと群スキームの torsor を用いて、降下のメカニズムを形式化する。
• ブラウアー＝マニン障害と有限アーベル降下障害を比較し、曲線において両者が同値であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 数体上の曲線において、有限アーベル降下法がいつ有理点を正確に切り出すのか、どのような条件下か？
• RQ2 特に可除元が存在しない Tate-Shafarevich 群の構造は、降下法の有効性にどのように影響するか？
• RQ3 曲線において、ブラウアー＝マニン障害は有限アーベル降下障害と同値か？
• RQ4 genus が 2 以上の曲線において、ブラウアー＝マニン障害が有理点の存在に対する唯一の障害であるか？
• RQ5 曲線の幾何学と有限群スキームの torsor からのコホホロジー的データとの関係は何か？

主な発見

• 有理点が有限で、Tate-Shafarevich群に可除元が存在しないアーベル多様体に非自明に写像する曲線に対して、有限アーベル降下法は正確に有理点を切り出す。
• 曲線におけるブラウラー集合は、有限アーベル降下によって定義される集合と等しい。これにより、曲線において両者が同値であることが確立された。
• この論文は、genus が 2 以上の曲線において、ブラウラー＝マニン障害が有理点の存在に対する唯一の障害であるという予想に強く裏付けを与える。
• Sha(k,A) に可除元が存在しないことは、降下障害の有限性が有理点と一致するための重要な条件である。
• 結果として、提示された条件下では、有限アーベル降下法が有理点を検出するのに十分であることが示唆される。
• 曲線においてブラウラー＝マニン障害と有限アーベル降下障害が同値であるという結果は、このような曲線において他の障害が存在しないという予想を支持する。