[论文解读] Higher Descent on Pell Conics III. The First 2-Descent

Franz Lemmermeyer|ArXiv.org|Nov 18, 2003

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

一句话总结

本文首次建立了佩尔双曲线上的2-下降理论，确立了方程 $X^2 - \Delta Y^2 = 4$ 的整数点上的群运算，并利用该理论分析相关丢番图方程的可解性。通过四次互反律符号，提供了后代佩尔双曲线的显式可解性准则，将塔特-沙法列维奇群的结构与经典互反律联系起来。

ABSTRACT

In this articel we describe the first 2-descent on Pell conics, and compute the associated 2-part of the Tate-Shafarevich group.

研究动机与目标

• 开发一个类似于椭圆曲线的佩尔双曲线下降理论框架。
• 在 $\mathbb{Z}$ 及其扩张上，为双曲线 $X^2 - \Delta Y^2 = 4$ 的整数点建立群运算。
• 利用高阶互反律刻画相关二次型 $aX^2 - bY^2 = 1$ 的可解性。
• 将塔特-沙法列维奇群 $\cyrshape(\mathcal{C})$ 的结构与四次剩余符号及下降障碍联系起来。
• 为佩尔双曲线上的首次2-下降提供整数点存在的显式判别条件。

提出的方法

• 通过固定中性元 $(2,0)$ 和割线/切线作图法，在佩尔双曲线 $X^2 - \Delta Y^2 = 4$ 的有理点上定义几何群运算。
• 通过涉及 $rt + \Delta su$ 和 $ru + st$ 的代数恒等式，证明群运算保持整性，即 $P+Q$ 的坐标属于 $\mathbb{Z}$。
• 将下降问题约化为求解形如 $aX^2 - bY^2 = 1$ 的方程，其中 $a,b \in \{1,p,q,pq\}$，且 $p,q$ 为满足 $p \equiv q \equiv 1 \pmod{4}$ 的素数。
• 利用高斯整数环 $\mathbb{Z}[i]$ 中的因式分解分析 $pqX^2 - Y^2 = 1$ 的可解性，利用唯一分解性及 $r+i$ 与 $r-i$ 的互素性。
• 应用四次剩余符号 $(-/-)_4$ 推导每个下降方程可解性的必要与充分条件。
• 通过在 $\mathbb{Z}[i]$ 中模 $\overline{\rho}$ 的同余约化，推导出 $pqX^2 - Y^2 = 1$ 可解性的条件 $(p/q)_4(q/p)_4 = 1$。

实验结果

研究问题

• RQ1 如何形式化佩尔双曲线上的首次2-下降，使其与椭圆曲线的下降理论相类比？
• RQ2 如何用四次互反律精确刻画方程 $pX^2 - qY^2 = 1$、$qX^2 - pY^2 = 1$ 和 $pqX^2 - Y^2 = 1$ 的可解性条件？
• RQ3 塔特-沙法列维奇群 $\cyrshape(\mathcal{C})$ 的结构如何与下降过程中局部可解性的失败相关联？
• RQ4 尽管使用有理函数公式，为何 $\mathcal{C}(\mathbb{Z})$ 上的群运算能保持整性？
• RQ5 为何条件 $(p/q)_4(q/p)_4 = 1$ 成为 $pqX^2 - Y^2 = 1$ 可解性的必要与充分条件？

主要发现

• 佩尔双曲线 $X^2 - \Delta Y^2 = 4$ 上的加法公式保持整性：对 $P=(r,s), Q=(t,u) \in \mathcal{C}(\mathbb{Z})$，有 $P+Q = \left(\frac{rt + \Delta su}{2}, \frac{ru + st}{2}\right)$。
• 方程 $X^2 - pqY^2 = -1$ 可解当且仅当 $(p/q) = -1$，该结论通过下降与互反律得到证明。
• 下降 $\mathcal{T}_a$ 可解当且仅当满足以下四次剩余条件：当 $a=p$ 时 $(q/p)_4 = 1$，当 $a=q$ 时 $(p/q)_4 = 1$，当 $a=pq$ 时 $(p/q)_4(q/p)_4 = 1$。
• 当 $(p/q)_4 = -1$ 且 $(q/p)_4 = +1$ 时，$\mathcal{T}_q$ 是 $\cyrshape(\mathcal{C})$ 中阶为2的元素，表明存在非平凡的塔特-沙法列维奇障碍。
• $pqX^2 - Y^2 = 1$ 可解性的证明依赖于在 $\mathbb{Z}[i]$ 中对 $r+i = i\pi\rho\alpha^2$ 的因式分解，从而导出条件 $(p/q)_4(q/p)_4 = 1$。
• 该下降框架在结构上与椭圆曲线理论中的2-塞尔默群和塔特-沙法列维奇群相一致，其显式判别条件由代数数论导出。