[論文レビュー] Higher Descent on Pell Conics I. From Legendre to Selmer

Franz Lemmermeyer|ArXiv.org|Nov 18, 2003

Algebraic Geometry and Number Theory参考文献 85被引用数 13

ひとこと要約

本稿は、楕円曲線の算術と類似する形で2-降下、セレール群、タテ＝シャファレヴィチ群を導入することにより、ペル双曲型曲線の高次降下理論を構築する。レジェンドルからセルマーに至る歴史的背景をたどり、二次体における単数の構成と関連づけ、ペル方程式におけるバーチ＝スミニャン＝ダイヤー予想の類似形を提示する。

ABSTRACT

This article deals with the history of certain aspects of the Pell equation X$^2$ - D y$^2$ = 4. We briefly discuss explicit units, and then study the history of Legendre's equations ax$^2$ - b y$^2$ = 4 with ab=D.

研究の動機と目的

• 楕円曲線のそれと類似する降下理論的枠組みをペル双曲型曲線に構築すること。
• $X^2 - dY^2 = \pm 1, \pm 2$ のような方程式の可解性基準の歴史的発展を、レジェンドルからレデイおよびセルマーに至る経路をたどること。
• リチャール＝デジルト型体における明示的な単数の構成と降下、類群構造との関連を明らかにすること。
• ペル双曲型曲線の文脈において、バーチ＝スミニャン＝ダイヤー型予想を構築する基盤を提供すること。
• グラフ論的および算術的道具を用いて、負のペル方程式が可解となる判別式の密度を分析すること。

提案手法

• 降下理論の出発点として、レジェンドルの古典的結果（$Mx^2 - Ny^2 = \pm 1, \pm 2$ の可解性）を用いる。
• レデイおよびライヒャルトの負のペル方程式 $X^2 - \triangle Y^2 = -1$ の可解性基準を、二次相互法則および類群構造を用いて適用する。
• 隣接行列および生成森（spanning trees）を用いたグラフ論的モデルを導入し、狭義類群の2部とそのランクを記述する。
• レジェンドル記号の相互作用をモデル化するため、$p_i \neq 1 \bmod 4$ なる素数上の有向グラフ（トーナメント）の概念を導入する。
• プンプルンの合同式およびトロッターの結果を適用し、グラフ内の生成森の数と狭義類群の2ランクとの関係を確立する。
• 楕円曲線におけるそれと類似した構成を参考に、ペル双曲型曲線の文脈でセレール群およびタテ＝シャファレヴィチ群の枠組みを導入する。

実験結果

リサーチクエスチョン

• RQ1 古典的ペル方程式理論を、楕円曲線算術と類似する降下理論的手法で再解釈することは可能か？
• RQ2 リチャード＝デジルト型二次体における明示的単数構成は、高次降下の文脈で果たす役割は何か？
• RQ3 負のペル方程式 $X^2 - \triangle Y^2 = -1$ が可解となる判別式 $\triangle$ の密度はいかほどか？
• RQ4 レデイおよびライヒャルトの負のペル方程式の可解性基準は、狭義類群の構造とどのように関係するか？
• RQ5 ペル双曲型曲線のセレール群およびタテ＝シャファレヴィチ群は、楕円曲線と類似した方法で定義され、計算可能か？

主な発見

• 本稿は、$X^2 - \triangle Y^2 = -1$ が可解となる判別式 $\triangle$ の密度の下限が $0.419422\bar{}$ 以上であることを確立した。これはレデイによる結果である。
• スティーブンハーゲンのヒューリスティックにより、実際の密度は $1 - \beta = 0.580577\bar{}$ であると示唆されており、ここで $\beta = \textstyle\frac{1}{2}\textstyle\frac{1}{4}\textstyle\frac{1}{16}\textstyle\frac{1}{256}\textstyle\frac{1}{65536}\text{...}$ である。
• グラフ $\rho(d)$ の生成森の数は、狭義類群 $h^+(d)$ の2部を $2^n$ で割ったものに等しく、グラフ論と類群構造を結びつける。
• 判別式 $d = p_1 \bar{p}_n$ で $p_i \neq 1 \bmod 4$ である場合、隣接行列 $A$ のランクにより類群の4ランクが $r_4(d) = n - 1 - \text{rank}(A)$ または類似の式で与えられる。
• グラフ $\rho(d)$ が奇数グラフ（odd graph）であることは、狭義2類群が初等アーベル群であることと同値であり、これはレデイ理論から導かれる。
• 本稿は、整数 $r,s$ に対して $1 = fr^2 - gs^2$ が解をもつならば、特定の分割におけるグラフ $\rho(d)$ に奇数次数の頂点が存在しないことを示し、$(g/p_i) = -1$ である場合にその仮定が矛盾を引き起こすことを示した。