[论文解读] Finite descent and rational points on curves

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

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

一句话总结

该论文证明，对于映射到具有有限有理点且其 Tate-Shafarevich 群中无可除元素的阿贝尔簇的曲线，有限阿贝尔下降精确地刻画了有理点。此外，论文进一步证明，在曲线上，Brauer-Manin 阻碍与有限阿贝尔下降阻碍等价，支持了如下猜想：对于亏格至少为 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-群概形的 torsor 实现的有限下降在检测曲线上有理点时的作用。
• 研究在亏格至少为 2 的曲线上，有限阿贝尔下降是否能刻画出所有有理点。
• 将曲线上有限阿贝尔下降阻碍与 Brauer-Manin 阻碍联系起来。
• 研究 Tate-Shafarevich 群的结构与下降阻碍之间的关系。
• 为如下猜想提供证据：Brauer-Manin 阻碍是亏格至少为 2 的曲线上有理点存在的唯一阻碍。

提出的方法

• 通过 torsor 分析有限 k-群概形在曲线上作用，以提取关于 k-有理点的信息。
• 应用下降理论，研究曲线上有理点与其在阿贝尔簇中像之间的相互作用。
• 利用 A(k) 的有限性以及 Sha(k,A) 中无可除元素的性质，对下降数据施加约束。
• 在曲线上建立 Brauer 集与有限阿贝尔下降所定义集合之间的精确联系。
• 使用伽罗瓦上同调与群概形 torsor 来形式化下降机制。
• 将 Brauer-Manin 阻碍与有限阿贝尔下降阻碍进行比较，证明在曲线上二者等价。

实验结果

研究问题

• RQ1 在何种条件下，有限阿贝尔下降能精确刻画数域上曲线的有理点？
• RQ2 Tate-Shafarevich 群的结构，特别是其中无可除元素的性质，如何影响下降方法的有效性？
• RQ3 在曲线上，Brauer-Manin 阻碍是否与有限阿贝尔下降阻碍等价？
• RQ4 Brauer-Manin 阻碍是否是亏格至少为 2 的曲线上有理点存在的唯一阻碍？
• RQ5 曲线的几何结构与有限群概形 torsor 所提供的上同调数据之间存在何种关系？

主要发现

• 对于映射到具有有限 k-有理点且其 Tate-Shafarevich 群中无可除元素的阿贝尔簇的曲线，有限阿贝尔下降精确地刻画了有理点。
• 曲线上 Brauer 集等于由有限阿贝尔下降定义的集合，从而在曲线上确立了二者等价。
• 本文为如下猜想提供了有力证据：Brauer-Manin 阻碍是亏格至少为 2 的曲线上有理点存在的唯一阻碍。
• Sha(k,A) 中无可除元素是使下降阻碍的有限性与有理点完全匹配的关键条件。
• 结果表明，在给定条件下，有限阿贝尔下降足以检测有理点。
• Brauer-Manin 阻碍与有限阿贝尔下降阻碍在曲线上等价，支持了在这些曲线上不存在其他阻碍的猜想。