[論文レビュー] Rational Periodic Points of $x^d+c$ and $abc$ Conjecture

Chatchawan Panraksa|arXiv (Cornell University)|May 8, 2021

Advanced Differential Equations and Dynamical Systems被引用数 1

ひとこと要約

この論文は、$\mathbb{Q}$ 上での多項式 $f_{d,c}(x) = x^d + c$ の有理周期点を調査し、$d = 4, 6$、および $k > 3$ で $2k-1$ が 3 の倍数である $d = 2k$ に対して周期 2 に焦点を当てている。$abc$ 予想を仮定すると、十分に大きな $d$ に対して、正確な周期が 1 より大きい有理周期点は存在しないことが示され、このような点の有限性に関する強い条件付き結果を確立している。

ABSTRACT

We study rational periodic points of polynomial $f_{d,c}(x)=x^d+c$ over the field of rational numbers, where $d$ is an integer greater than 2 and $c eq -1$. For period 2, we classify all possible periodic points for degrees $d=4,6$, and $d=2k$ for positive integer $k>3$ such that $2k-1$ is divisible by 3. Moreover, assuming the $abc$ conjecture, we prove that $f_{d,c}$ has no rational periodic point of exact period greater than 1 for sufficiently large integer $d$.

研究の動機と目的

• 特定の次数 $d$ および $c \neq -1$ に対して、$f_{d,c}(x) = x^d + c$ の $\mathbb{Q}$ 上での有理周期点を分類すること。
• $d = 4, 6$、および $k > 3$ で $2k-1 \equiv 0 \pmod{3}$ である $d = 2k$ に対して、$f_{d,c}$ の周期-2 サイクルの構造を分析すること。
• $abc$ 予想を仮定して、$d$ が十分に大きい場合に、正確な周期が 1 より大きい有理周期点が存在するか否かを調査すること。
• $d$ が増加する際の $f_{d,c}$ の有理周期点の有限性に関する条件付き結果を確立すること。

提案手法

• $d = 4, 6$、および $k > 3$ で $2k-1 \equiv 0 \pmod{3}$ である $d = 2k$ に対して、方程式 $f_{d,c}^{(2)}(x) = x$ を $f_{d,c}(x) = x^d + c$ を用いて解くことで、周期 2 の有理周期点を分類する。
• 代数的数論とディオファントス解析を用いて、周期点の方程式の有理解を研究する。
• $abc$ 予想を用いて、周期点を定義する方程式の解の大きさを有界化する。
• $abc$ 予想を活用し、十分に大きな $d$ に対して、正確な周期が 1 より大きい有理解が存在しないことを示す。
• 次数 $d$ の増加と、算術的制約のもとでの有理前周期点の存在に与える影響を分析する。
• 多項式 $x^d + c$ の構造を活用して、特定のディオファントス方程式の整数解の有界化に問題を還元する。

実験結果

リサーチクエスチョン

• RQ1 $d = 4, 6$、および $k > 3$ で $2k-1$ が 3 の倍数である $d = 2k$ に対して、$c \neq -1$ のもとで $f_{d,c}(x) = x^d + c$ の有理周期点が周期 2 で存在する値は何か？
• RQ2 $abc$ 予想を用いて、$d$ が十分に大きい場合に、$f_{d,c}$ の正確な周期が 1 より大きい有理周期点を除外できるか？
• RQ3 $d > 2$ および $c \neq -1$ の場合に、$f_{d,c}$ の有理周期点の構造は何か？
• RQ4 算術的制約のもとで、次数 $d$ は有理前周期点の存在にどのように影響するか？
• RQ5 $abc$ 予想は、$x^d + c$ の族における有理周期点の有限性にどのような含意を持つのか？

主な発見

• $d = 4$ の場合、$f_{d,c}(x) = x^4 + c$ のすべての有理周期点（周期 2）が完全に分類されている。
• $d = 6$ の場合、$c \neq -1$ のもとで、$f_{d,c}(x) = x^6 + c$ の有理周期点（周期 2）が完全に分類されている。
• $k > 3$ で $2k-1$ が 3 の倍数である $d = 2k$ の場合、$f_{d,c}(x) = x^d + c$ のすべての有理周期点（周期 2）が分類されている。
• $abc$ 予想を仮定すると、十分に大きな $d$ に対して、多項式 $f_{d,c}(x) = x^d + c$ は正確な周期が 1 より大きい有理周期点をもたないことが証明された。
• $d = 4, 6$、および指定された条件を満たす $d = 2k$ に対する分類結果は、これらのケースにおける有理周期 2 オービットの完全な記述を提供している。
• $abc$ 予想のもとでの条件付き結果は、$d$ が増加するに従い、$x^d + c$ の族における有理周期点の存在に強い制限を課している。