[論文レビュー] 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$ の非可解性に関する主張を証明し、拡張する。局所的にすべての場所で可解（ハッセの局所-グローバル原理を局所的に満たす）であるが、非自明な整数解をもたないような、このような方程式の無限族を構成する。これにより、グローバル原理に対する明示的な反例が得られ、楕円曲線のターティン＝シャファレヴィチ群に位数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$ の非可解性について、厳密な証明を与えること。
• 現代のイデアル論ではなく、古典的二進形式が、これらの方程式を分析する上でより自然で効果的な枠組みを提供することを示すこと。
• すべての完備化 $\mathbb{Q}$ において局所的に可解であるが、非自明な整数解をもたない方程式 $px^4 - my^4 = z^2$ の無限族を構成すること。
• これらの反例と楕円曲線のターティン＝シャファレヴィチ群との関係を明らかにし、それらが位数2の元を表していることを示すこと。
• このような方程式を用いて、2-ランクが任意に高いターティン＝シャファレヴィチ群をもつ楕円曲線を構成できることを確立すること。

提案手法

• ガウスの二進形式の合成理論、特に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$ の可解性を、$\mathbb{Z}_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 このような方程式と楕円曲線のターティン＝シャファレヴィチ群との間にどのような関係があるか？
• RQ5 2-ランクが任意に高いターティン＝シャファレヴィチ群をもつ、このような方程式の無限族を構成できるか？

主な発見

• Pépinの $ax^4 + by^4 = z^2$ の非可解性に関するすべての主張は、二進形式の古典的理論を用いて厳密に証明可能である。
• 判別式が $8p$ で、$p \equiv 3 \pmod{8}$ であるとき、方程式 $px^4 - 2y^4 = z^2$ は非自明な整数解をもたない。これは、形式 $(p,0,-2)$ が類群 $\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$ においても可解である。
• 局所的可解性にもかかわらず、多くの場合、非自明な整数解をもたない。これにより、ハッセの局所-グローバル原理に対する明示的な反例が得られる。
• これらの反例は、関連する楕円曲線のターティン＝シャファレヴィチ群における位数2の元に対応する。
• この構成により、文献に従って直接的な初等的手段で示されるように、2-ランクが任意に高いターティン＝シャファレヴィチ群をもつ楕円曲線が得られる。