[論文レビュー] The sign of an elliptic divisibility sequence

Joseph H. Silverman, N. M. Stephens|ArXiv.org|Feb 25, 2004

Algebraic Geometry and Number Theory参考文献 6被引用数 25

ひとこと要約

本稿は、非有界で非特異な楕円整除列（EDS）の項の符号について、正確な公式を導出する。その結果、符号は実数の無理数 $ \beta $ に対して $ \lfloor n\beta \rfloor $ の整数部分によって支配されるパターンに従うことが示された。さらに、EDSの項の絶対値は、いかなる抽象的力学系の固定点数え上げ列としても実現可能でないことが証明され、このような列の実現可能性に関する疑問が解決された。

ABSTRACT

An elliptic divisibility sequence (EDS) is a sequence of integers W_0,W_1,W_2,... generated by the nonlinear recursion satisfied by the division polyomials of an elliptic curve. We give a formula for the sign of W_n for unbounded nonsingular elliptic divisibility sequences. A typical case is Sign(W_n) = (-1)^[n*b] for an irrational real number b, where [x] denotes the greatest integer in x. As an application, we show that the associated sequence of absolute values |W_1|,|W_2|,|W_3|,... cannot be realized as the sequence counting fixed points of any (abstract) dynamical system.

研究の動機と目的

• 非有界で非特異な楕円整除列（EDS）の項における符号行動を特定すること。
• 符号パターンと無理数の回転数の間の関係を、床関数を介して確立すること。
• EDSの項の絶対値が、いかなる抽象的力学系の固定点数え上げ列としても実現可能かどうかを解明すること。
• 数論的および力学系の議論を用いて、EDSに関連する列 $ (|W_n|) $ が実現可能でないことを証明すること。

提案手法

• 無理数 $ \beta \in \mathbb{R} $ を用いて、$ W_n $ の符号について $ (-1)^{\lfloor n\beta \rfloor} $ の閉形式表現を導出すること。
• 楕円曲線を実リーダーリング群としてパラメトライズすることにより、$ \beta $ を特定し、正しい符号公式を同定すること。
• 符号パターンを正規化し解析を簡略化するために、逆EDS構成 $ (-1)^{n-1}W_n $ を適用すること。
• 特に $ W_{2^k} $ を含むEDSの再帰関係を用いて、2のべき乗の剰余について列を解析すること。
• もし $ (|W_n|) $ が実現可能であれば、$ \lfloor 2^k\beta \rfloor $ の偶奇が最終的に周期的になることを示し、矛盾に導くこと。
• 最終的に周期的になる2進展開は有理数性を示唆するが、これは $ \beta $ の無理数性と矛盾するため、非実現性を証明すること。

実験結果

リサーチクエスチョン

• RQ1 非有界で非特異な楕円整除列の項の符号を決定するのは何ですか？
• RQ2 EDSの符号パターンは、床関数を介して単一の無理数 $ \beta $ を用いて表現可能でしょうか？
• RQ3 EDSの絶対値列 $ (|W_n|) $ は、いかなる抽象的力学系の固定点数え上げ列としても実現可能でしょうか？
• RQ4 EDS項の符号行動から、$ \beta $ のどのような数論的性質が浮き彫りになりますか？
• RQ5 $ \lfloor 2^k\beta \rfloor $ の modulo 2 における最終的周期性は、$ \beta $ の有理数性を示唆しますか？

主な発見

• 非有界で非特異なEDSにおける $ W_n $ の符号は、$ W_n $ を $ (-1)^{n-1}W_n $ に置き換える可能性を除けば、ある無理数 $ \beta \in \mathbb{R} $ に対して $ (-1)^{\lfloor n\beta \rfloor} $ で与えられる。
• 符号パターンは $ n\beta $ の小数部によって支配され、$ \beta $ の無理数性のおかげで符号の非周期的行動が保証される。
• 列 $ (|W_n|) $ は、いかなる抽象的力学系の固定点数え上げ列としても実現可能でない。
• 証明は、もし $ (|W_n|) $ が実現可能であれば、$ \lfloor 2^k\beta \rfloor $ の偶奇が最終的に周期的になるはずであり、それによって $ \beta \in \mathbb{Q} $ が導かれ、無理数性と矛盾する、という点に依拠している。
• $ W_{2^k} \mod 2^e $ の解析により、符号列は最終的に4の法において周期的になることが判明し、これにより矛盾が生じる。
• 鍵となる数論的洞察は、$ \beta $ の小数部の最終的に周期的になる2進展開は、$ \beta \in \mathbb{Q} $ を示唆するが、これはEDS構造が要求する無理数性と矛盾する。