[論文レビュー] Conics - a Poor Man's Elliptic Curves

Franz Lemmermeyer|ArXiv.org|Nov 18, 2003

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

ひとこと要約

本稿は、$X^2 - \Delta Y^2 = 4$ で定義されるペル曲線と楕円曲線の間の正確な算術的類似性を確立し、曲線を楕円曲線の「安価な版」として扱う。ペル曲線の完全な2-降下理論（セレル群およびタテ・シャファレヴィチ群を含む）を構築し、ビーカー＝スワンナートン＝ダイヤー予想の類似形を提示。リグレーターとL関数が楕円曲線のBSD予想と同一構造を持つ。

ABSTRACT

The aim of this article is to show that the arithmetic of Pell conics admits a description which is completely analogous to that of elliptic curves: there is a theory of 2-descent with associated Selmer and Tate-Shafarevich groups, and there should be an analog of the conjecture of Birch and Swinnerton-Dyer.

研究の動機と目的

• ペル曲線と楕円曲線の間の正確な算術的類似性を確立し、曲線を楕円曲線の「安価な版」として扱う。
• ペル曲線の2-降下理論（セレル群およびタテ・シャファレヴィチ群を含む）を構築する。
• ビーカー＝スワンナートン＝ダイヤー予想の類似形を提示・検証し、元の予想と同一構造を持つ。
• コhomオロジー的および解析的構造（L関数、リグレーター、タマガワ数を含む）を調査する。
• ペル曲線の整数点のなす群が、楕円曲線のそれと類似した幾何的群法則を備えているかどうかを検討する。

提案手法

• 固定された有理点を通る直線を用いた曲線上の幾何的群法則を用い、ペル曲線における加法の明示的公式：$(r,s)+(t,u) = \left(\frac{rt + \Delta su}{2}, \frac{ru + st}{2}\right)$ を導出。
• ペル曲線の有理点のなす群と、実二次体 $\mathbb{Q}(\sqrt{\Delta})$ 内のノルム1の単数のなす群との間の群同型を確立。
• ペル曲線に2-降下法を適用し、局所的条件とコホモロジーを用いてセレル群およびタテ・シャファレヴィチ群を定義。
• リグレーターを $R(\mathcal{C}) = 2^{1-u} \log \eta$ として導入。ここで $\eta$ は基本単数であり、$u = 0$（$\Delta < 0$ のとき）、$u = 1$（$\Delta > 0$ のとき）。
• ゼータ関数を用いてペル曲線のL関数を導出し、関連する二次体の類数およびリグレーターと関係づける。
• 公式 $\frac{2hR}{w} = \Omega \cdot \#\cyrshape(\mathcal{C}) \cdot R(\mathcal{C}) \cdot \prod c_p$ を用いて、BSD予想の類似形を構築。ここで $h$ は狭義類数、$w$ は単位根の個数。

実験結果

リサーチクエスチョン

• RQ1 楕円曲線のそれと類似した2-降下理論（セレル群およびタテ・シャファレヴィチ群を含む）をペル曲線に構築できるか？
• RQ2 リグレーター、L関数、タマガワ係数といった不変量を備えた、ペル曲線に対する意味的類似BSD予想が存在するか？
• RQ3 ペル曲線のセレル群およびタテ・シャファレヴィチ群のコホモロジー的解釈は何か？
• RQ4 ペル曲線の解析的不変量（リグレーター、L関数、類数）は、関連する実二次体の算術とどのように関係するか？
• RQ5 ペル曲線の整数点のなす群に、楕円曲線と類似した幾何的群法則を定義できるか？また、パスカルの定理により結合的性質を満たすか？

主な発見

• 中立元 $N = (2,0)$ を持つペル曲線 $\mathcal{C}: X^2 - \Delta Y^2 = 4$ の有理点のなす群は、幾何的加法法則により群となり、$\mathbb{Q}(\sqrt{\Delta})$ 内のノルム1の単数のなす群と同型である。
• 有限体 $\mathbb{F}_q$ に対して、群 $\mathcal{C}(\mathbb{F}_q) \simeq \mathbb{Z}/m\mathbb{Z}$ で、$m = q - \left(\frac{\Delta}{p}\right)^f$ と表され、楕円曲線の有限体上での群構造と類似している。
• $p$-進整数環 $\mathbb{Z}_p$ 上では、群 $\mathcal{C}(\mathbb{Z}_p)$ は、ルジャンドル記号 $\left(\frac{\Delta}{p}\right)$ に応じて $\mathbb{Z}/(p \pm 1) \oplus \mathbb{Z}_p$ と同型であり、$E(\mathbb{Q}_p)$ の構造と類似している。
• ペル曲線のリグレーターは $R(\mathcal{C}) = 2^{1-u} \log \eta$ で与えられ、ここで $\eta$ は基本単数であり、$u = 0$（$\Delta < 0$ 時）、$u = 1$（$\Delta > 0$ 時）。
• ペル曲線のBSD予想の類似形は $\frac{2hR}{w} = \Omega \cdot \#\cyrshape(\mathcal{C}) \cdot R(\mathcal{C}) \cdot \prod c_p$ で与えられ、$h$ は狭義類数、$R$ はリグレーター、$w$ は単位根の個数、$c_p$ は局所因子。
• 本稿は $\#\cyrshape(\mathcal{C}) \simeq \text{Cl}^+(k)^2$ を示しており、曲線のタテ・シャファレヴィチ群と関連する二次体の狭義類群との深い関係を示唆している。