[論文レビュー] Elliptic curves and continued fractions

Alfred J. van der Poorten|ArXiv.org|Mar 14, 2004

Algebraic Geometry and Number Theory参考文献 8被引用数 24

ひとこと要約

この論文は、モニックな四次多項式の平方根の連分数展開と楕円曲線の算術の間の深い関係を確立し、収束項がソモス型再帰関係を満たす整数列を生成することを示している。無限遠点の因子をジャコビアン上で加算する連分数プロセスの解釈により、著者は明示的な再帰関係、たとえば $ B_{h-2}B_{h+3} = B_{h+2}B_{h-1} + B_{h+1}B_h $ のような形のものを導出し、それが楕円曲線上の点乗算から自然に生じることを証明し、数論的整数列と代数的幾何学を統合した。

ABSTRACT

We detail the continued fraction expansion of the square root of the general monic quartic polynomial, noting that each line of the expansion corresponds to addition of the divisor at infinity. We analyse the data yielded by the general expansion. In that way we obtain `elliptic sequences' satisfying Somos relations. I mention several new results on such sequences. The paper includes a detailed `reminder exposition' on continued fractions of quadratic irrationals in function fields.

研究の動機と目的

• ソモス型再帰関係で定義される整数列の代数的起源を明確にすること、特に $ B_{h-2}B_{h+3} = B_{h+2}B_{h-1} + B_{h+1}B_h $ のようなものについて。
• モニック四次多項式 $ D(X) $ に対して $ \sqrt{D(X)} $ の連分数展開が、関連する楕円曲線のジャコビアン上の無限遠点の因子を加算することに対応することを示すこと。
• 関数体における連分数の理論と楕円曲線の算術を、特に捩れ因子と関数体の単数の観点から統合すること。
• ソモス-$ m $ 関係（例：ソモス-4、ソモス-5、ソモス-6、ソモス-8）を満たす列が、楕円曲線上の群法則と本質的に関係しており、同じ背後にある構造から導出可能であることを示すこと。

提案手法

• 連分数展開 $ \sqrt{D(X)} $ の分析において、$ D(X) = (X^2 + f)^2 + 4v(X - w) $ を用い、完全商の再帰的関係を用いる。
• 展開における係数比較により、列 $ e_h, w_h, v_h $ を定義し、重要な恒等式 $ e_h e_{h+1} = v(w - w_h) $ を得る。
• 連分数プロセスと楕円曲線 $ Y^2 = D(X) $ 上の点加算との対応関係を確立し、$ M_{h+1} = (w_h, e_h - e_{h+1}) $ が曲線上の点として特定されることを示す。
• 有理写像を用いて四次モデルをワイエルシュトラス形式 $ V^2 - vV = U^3 - fU^2 + vwU $ に変換し、群法則の計算を可能にする。
• 関数体 $ \mathbb{F}(X,Y) $ の単数論の理論を適用し、ノルムが $ -\kappa $ である非自明な単数の存在が、連分数における準周期性をもたらすことを示す。
• 連分数の対称性を導出し、$ \kappa \neq -1 $ のときにはねじれ対称性を示し、準周期的展開が常に2倍の周期で周期的であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 ソモス型再帰関係（例：$ B_{h-2}B_{h+3} = B_{h+2}B_{h-1} + B_{h+1}B_h $）で定義される整数列は、楕円曲線の算術とどのように関係しているか？
• RQ2 $ D(X) $ がモニック四次多項式であるとき、$ \sqrt{D(X)} $ の連分数展開の幾何的解釈は何か？
• RQ3 特定のソモス-$ m $ 関係を満たす列が、なぜ複数の他の関係（例：ソモス-4列が同時にソモス-5、ソモス-6、ソモス-8列でもある）を満たすのか？
• RQ4 関数体における二次無理数の連分数展開がいつ準周期的になるか、そしてこれは関数体内の単数の存在とどのように関係するか？

主な発見

• モニック四次多項式 $ D(X) = (X^2 + f)^2 + 4v(X - w) $ に対して、$ \sqrt{D(X)} $ の連分数展開は、関連する楕円曲線のジャコビアン上の無限遠点の因子を加算することに対応する。
• 再帰関係 $ B_{h-2}B_{h+3} = B_{h+2}B_{h-1} + B_{h+1}B_h $ は楕円曲線上の群法則から生じ、列 $ (B_h) $ は点のシフトされた倍点の座標の分母を符号化している。
• ソモス-4列は常にソモス-5、ソモス-6、ソモス-8の関係も満たすことが示され、たとえば $ C_{h-3}C_{h+3} = C_{h-1}C_{h+1} + 5C_h^2 $ のような恒等式が導出された。
• 関数体にノルム $ -\kappa $ の非自明な単数 $ u $ が存在する場合、$ Y + A - T $ の連分数は準周期的であり、$ \kappa \neq -1 $ のとき、その準周期は奇数である。
• $ Y + A - T $ の連分数は、準周期の2倍の周期で周期的であり、$ \kappa $ の存在によりねじれ対称性を示す。これはシュミットの連分数乗法法則によって形式化された。
• 連立関係 $ T_{h-3}T_{h+3} = T_{h-2}T_{h+2} + T_h^2 $ を満たす列 $ (\ldots, 2, 1, 1, 1, 1, 1, 1, 2, 3, 4, 8, 17, 50, \ldots) $ は、種数2曲線 $ Y^2 = (X^3 - 4X + 1)^2 + 4(X - 2) $ 上の無限遠点の因子を加算することから生じる。