[论文解读] On relative computability for curves

M Kim|ArXiv.org|Feb 10, 2005

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

一句话总结

本文研究丢番图几何中的相对可计算性，聚焦于曲线的有理点解。提出在存在性预言机（existence oracle）下，曲线有理点的有限性是可判定的，尤其针对非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关于例外集的猜想在将有限性问题约化为可计算区域中的作用。
• 阐明在相对可计算性语境下，整数解与有理数解之间的区别。
• 评估在递归理论框架下，相对可判定性在丢番图几何中的可行性。

提出的方法

• 利用曲线的亏格分类区分情形：亏格0（有理点解集为无限或空集），亏格1（解集可能有限或无限），亏格≥2（解集为有限或空集）。
• 应用存在性预言机判断有理点是否存在，从而在亏格0情形通过扫线法构造所有解，在亏格≥2情形通过约化技术实现。
• 借助Birch与Swinnerton-Dyer猜想，通过2-挠点与2-下降法，推导椭圆曲线的存在性与有限性预言机。
• 应用Nagell-Lutz定理计算椭圆曲线上所有扭点，这些点有限且可判定，进而将其从问题中移除，将问题约化为无限阶点的情形。
• 利用Lang猜想论证：在例外集（群簇的像的Zariski闭包）之外的有理点是有限的，因此有限性问题可约化为对例外集的分析。
• 提出例外集作为群簇的并集，继承了已知代数群结果中有限性可判定的性质，从而保持相对可判定性。

实验结果

研究问题

• RQ1 在存在性预言机下，曲线有理点的有限性是否可判定，特别是针对非1亏格的曲线？
• RQ2 Birch与Swinnerton-Dyer猜想能否作为桥梁，为椭圆曲线同时提供存在性与有限性预言机？
• RQ3 Lang关于例外集的猜想是否意味着有限性问题可约化为任意曲线上可计算的区域？
• RQ4 在相对可计算性中，有理点与整数解的有限性可判定性有何不同？
• RQ5 在曲线有理点存在性问题中，是否存在性问题是否可在有限性问题的相对意义下可判定？

主要发现

• 对于非1亏格的曲线，有理点的有限性在存在性预言机下是可判定的，因为解集要么为空，要么为无限（亏格0），要么为有限（亏格≥2）。
• 对于椭圆曲线（亏格1），存在性预言机结合BSD猜想，可通过2-下降法与扭点计算，构造出有限性预言机。
• Nagell-Lutz定理使得椭圆曲线上所有扭点的计算成为可能，这些点有限且可判定，从而可将其从问题中移除。
• Lang猜想表明：例外集之外的有理点是有限的，因此有限性问题可约化为对例外集的分析，而该集合被猜想为可计算。
• 存在性预言机有效替代了检测椭圆曲线上无限阶点的算法需求，而后者本身是与BSD猜想紧密关联的重大开放问题。
• 本文提出，由于例外集是群簇的并集，其继承了在存在性预言机下有限性可判定的性质，从而支持核心猜想。