[论文解读] Binary Quadratic Forms and Counterexamples to Hasse's Local-Global Principle

Franz Lemmermeyer|arXiv (Cornell University)|Aug 29, 2011

Algebraic Geometry and Number Theory参考文献 12被引用 4

一句话总结

本文利用二元二次型的经典理论，严格证明并拓展了Théophile Pépin关于某些形如$ax^4 + by^4 = z^2$的四次丢番图方程不可解性的主张。通过构造无限多组此类方程，它们在所有$\mathbb{Q}$的完备化上局部可解（满足局部-整体原理的局部条件），却无非平凡整数解，从而提供了全局原理的显式反例，并揭示了椭圆曲线的Tate-Shafarevich群中阶为2的元素。

ABSTRACT

After a brief introduction to the classical theory of binary quadratic forms we use these results for proving (most of) the claims made by Pépin in a series of articles on unsolvable quartic diophantine equations, and for constructing families of counterexamples to the Hasse Principle for curves of genus 1 defined by equations of the form $ax^4 + by^4 = z^2$.

研究动机与目标

• 为Pépin关于特定四次丢番图方程$ax^4 + by^4 = z^2$不可解性的未证明主张提供严格证明。
• 展示经典二元二次型理论，而非现代理想理论，为分析这些方程提供了更自然且高效的方法框架。
• 构造无限多组方程$px^4 - my^4 = z^2$，它们在$\mathbb{Q}$的所有完备化上局部可解，但无非平凡整数解。
• 将这些反例与椭圆曲线的Tate-Shafarevich群联系起来，表明它们代表了阶为2的元素。
• 建立此类方程可用于构造Tate-Shafarevich群2-秩任意高的椭圆曲线。

提出的方法

• 利用Gauss的二元二次型复合理论，特别是Bhargava的立方体模型，分析等价类与群结构。
• 应用$\mathrm{SL}_2(\mathbb{Z})$在型上的作用以约化型并确定可本原表示的整数。
• 使用判别式为$\Delta$的本原正定型的类群$\mathrm{Cl}^+(\Delta)$研究可解性条件。
• 采用判别准则：一个型本原表示1当且仅当它与主型$Q_0$等价。
• 在$p$进域$\mathbb{Q}_p$和$\mathbb{Z}_2$中进行局部分析，特别表明$\mathbb{Z}_2$中的可解性取决于模8的同余条件。
• 将$px^2 - my^2 = z^2$的可解性转化为四次方程在$2$进数域中的可解性，通过$\mathbb{Z}_2$中平方根的存在性来实现。

实验结果

研究问题

• RQ1 能否利用经典二元二次型理论严格证明Pépin关于$ax^4 + by^4 = z^2$不可解性的未证明主张？
• RQ2 在何种条件下，四次方程$px^4 - my^4 = z^2$在所有$\mathbb{Q}_p$和$\mathbb{R}$上局部可解，却在整数范围内全局不可解？
• RQ3 方程$px^4 - my^4 = z^2$的可解性特征如何与类群$\mathrm{Cl}^+(8p)$的结构相关联？
• RQ4 此类方程与椭圆曲线的Tate-Shafarevich群之间存在何种联系？
• RQ5 能否构造出具有任意高2-秩的此类方程的无限族？

主要发现

• Pépin关于$ax^4 + by^4 = z^2$不可解性的所有主张均可通过二元二次型的经典理论严格证明。
• 当$p \equiv 3 \pmod{8}$时，方程$px^4 - 2y^4 = z^2$无非平凡整数解，因为型$(p,0,-2)$的判别式为$8p$，其类在$\mathrm{Cl}^+(8p)$中是平方但不是四次方。
• 当$m \equiv 2, 6, 0, 1 \pmod{8}$时，若$p$可由主型类中的型表示，则方程$px^4 - my^4 = z^2$在所有$\mathbb{Q}_p$和$\mathbb{R}$中（包括$\mathbb{Z}_2$）局部可解。
• 尽管局部可解，许多此类方程仍无非平凡整数解，从而提供了Hasse局部-整体原理的显式反例。
• 这些反例对应于相关椭圆曲线Tate-Shafarevich群中阶为2的元素。
• 该构造可产生Tate-Shafarevich群2-秩任意高的椭圆曲线，如引用文献中通过直接初等方法所示。