[論文レビュー] On relative computability for curves

M Kim|ArXiv.org|Feb 10, 2005

Mathematical Dynamics and Fractals参考文献 1被引用数 6

ひとこと要約

この論文は、ディオファントス幾何における相対的計算可能性を検討し、曲線の有理点に焦点を当てる。特に、種数 ≠ 1 の場合に、存在オракルに相対して、有理点の有限性が決定可能であると提唱する。幾何学的および再帰的理論的推論を用い、特にBirchとSwinnerton-Dyerの予想および例外的集合に関するLangの予想が根拠となる。

ABSTRACT

We discuss a rational version of a conjecture of Matiyasevich, Davis, and Putnam on the relative decidability of the finiteness problem for Diophantine equations with respect to the existence problem. We formulate a suspicion that for rational solutions, the finiteness problem should be relatively decidable in contrast to the M-D-P conjecture for integer solutions.

研究の動機と目的

• 曲線上の有理点の有限性問題が、存在オーガルに相対して決定可能かどうかを調査すること。
• BirchとSwinnerton-Dyerの予想が、楕円曲線に対して存在および有限性オーガルを両方得る方法を理解すること。
• Langの予想が、例外的集合に関するものであり、有限性問題を計算可能な領域に還元する役割を果たすことを探ること。
• 相対的計算可能性の文脈において、整数解と有理点解の違いを明確にすること。
• 再帰理論を用いたDiophantine幾何における相対的決定可能性の実現可能性を評価すること。

提案手法

• 曲線の種数分類を用いて場合分けを行う：種数0（有理点は無限個または空集合）、種数1（解は有限または無限）、種数≥2（解は有限または空集合）。
• 存在オーガルを用いて有理点が存在するかを判定し、種数0ではスイープ線を用いてすべての解を構成可能であり、種数≥2では還元技術を用いる。
• BirchとSwinnerton-Dyerの予想を用いて、楕円曲線に対して存在および有限性オーガルを導出する。2-torsionおよび2-descent法を用いる。
• Nagell-Lutzの定理を用いて、楕円曲線上のねじれ点を計算する。これは有限かつ決定可能であり、問題を無限位数の点に還元可能である。
• Langの予想を用いて、例外的集合（群の代数的多様体からの像のZariski閉包）の外側の有理点は有限であると主張し、有限性問題を例外的集合の解析に還元可能であると示す。
• 例外的集合が群の代数的多様体の和集合であるため、既知の代数的群に関する結果から、有限性の決定可能性が引き継がれると提案する。

実験結果

リサーチクエスチョン

• RQ1 種数 ≠ 1 の曲線に対して、有理点の有限性は存在オーガルに相対して決定可能か？特に種数 ≠ 1 の場合に。
• RQ2 BirchとSwinnerton-Dyerの予想は、楕円曲線に対して存在および有限性オーガルを両方得るための橋渡しとして機能可能か？
• RQ3 Langの例外的集合に関する予想は、任意の曲線において有限性問題が計算可能な領域に還元されることを示唆するか？
• RQ4 相対的計算可能性において、有理点解と整数解の有限性の決定可能性にはどのような相違があるか？
• RQ5 曲線上の有理点の存在問題は、有限性問題に相対して決定可能か？

主な発見

• 種数 ≠ 1 の曲線に対しては、存在オーガルに相対して有理点の有限性が決定可能である。解集合は種数0では空または無限、種数≥2では有限であるため。
• 楕円曲線（種数1）では、存在オーガルに加え、BSD予想を用いることで、2-descentおよびねじれ点の計算により有限性オーガルを構成可能である。
• Nagell-Lutzの定理により、楕円曲線上のすべてのねじれ点を有効に計算可能であり、これらは有限かつ決定可能であるため、それらを除外することで問題を無限位数の点に還元可能である。
• Langの予想により、例外的集合の外側の有理点は有限であるとされ、有限性問題は例外的集合の解析に還元可能である。例外的集合は計算可能であると予想されている。
• 存在オーガルにより、楕円曲線上の無限位数の点を検出するアルゴリズムの必要性が実質的に不要となり、これはBSDに深く関連する未解決問題である。
• 論文は、例外的集合が群の代数的多様体の和集合であるため、存在に相対する有限性の決定可能性が引き継がれると示唆し、主な予想を支持する。