[論文レビュー] Preperiodic points for quadratic polynomials over quadratic fields

John R. Doyle, Xander Faber+1 more|arXiv (Cornell University)|Sep 25, 2013

Algebraic Geometry and Number Theory参考文献 34被引用数 12

ひとこと要約

この論文は、有理数体上の二次多項式の周期的・予期的点のグラフ構造を分類し、有界高さの点を計算するための新規アルゴリズムを用いて、125個の同型類のグラフを完全に列挙した。この結果は、二次体上でのMorton-Silvermanの均一有界性予想を支持し、有限かつ完全な分類が存在することを強力な理論的・実験的証拠で裏付けている。

ABSTRACT

To each quadratic number field $K$ and each quadratic polynomial $f$ with $K$-coefficients, one can associate a finite directed graph $G(f,K)$ whose vertices are the $K$-rational preperiodic points for $f$, and whose edges reflect the action of $f$ on these points. This paper has two main goals. (1) For an abstract directed graph $G$, classify the pairs $(K,f)$ such that the isomorphism class of $G$ is realized by $G(f,K)$. We succeed completely for many graphs $G$ by applying a variety of dynamical and Diophantine techniques. (2) Give a complete description of the set of isomorphism classes of graphs that can be realized by some $G(f,K)$. A conjecture of Morton and Silverman implies that this set is finite. Based on our theoretical considerations and a wealth of empirical evidence derived from an algorithm that is developed in this paper, we speculate on a complete list of isomorphism classes of graphs that arise from quadratic polynomials over quadratic fields.

研究の動機と目的

• 与えられた抽象的有向グラフ G と同型となるような、すべてのペア (K, f) を分類すること。
• 二次多項式 f と二次体 K に対して、G(f, K) として実現可能なグラフの同型類の完全集合を特定すること。
• 二次多項式が二次体上に作用する場合の Morton-Silverman の均一有界性予想を支持する理論的・計算的証拠を提供すること。
• 数体 K 上の二次多項式の K-有理予期的点を、有界高さの技術を用いて計算するアルゴリズムを開発・実装すること。

提案手法

• 数体における有界高さの点列挙に基づく新規アルゴリズムを開発し、Doyle と Krumm (2013) の技術を活用して、予期的点の計算を効率化する。
• 高さ関数や算術幾何学を用いた力学的・ディオファントス的技法を適用し、可能なグラフ構造を制約する。
• 正規高さの理論と Northcott の有限性定理を用いて、予期的集合が有限かつ計算可能であることを保証する。
• 計算代数システムを用いて、さまざまな二次体上で各グラフ構造の実現を体系的かつ検証可能に探索する。
• f が予期的点に作用する様子を解析し、点を頂点とし、P → f(P) を辺とする有向グラフ G(f, K) を構築する。
• 複数の二次体および多項式に対して、広範な計算的探索を実施し、グラフリストの完全性に関する実験的証拠を収集する。

実験結果

リサーチクエスチョン

• RQ1 どの抽象的有向グラフ G が、ある二次体 K 上の二次多項式 f に対して G(f, K) として現れることができるか？
• RQ2 二次多項式 f と二次体 K に対して、G(f, K) として実現可能なグラフの同型類の完全集合は何か？
• RQ3 二次体上での K-有理予期的点の集合は、最大でどれほど大きくなるか？
• RQ4 Morton-Silverman の均一有界性予想は、二次多項式が二次体上に作用する場合に成り立つのか？もしそうならば、PrePer(f, K) の最大サイズは何か？
• RQ5 理論的および計算的証拠に基づいて、このような実現可能なグラフ構造の有限かつ完全なリストを構築できるか？

主な発見

• 本論文では、二次体 K 上の二次多項式 f に対して G(f, K) として実現可能なグラフの同型類が、合計で125個存在することを同定した。
• 多くのグラフに対して、ディオファントス的および力学的技法の組み合わせを用いて、そのグラフを実現するすべてのペア (K, f) の完全分類を達成した。
• 任意の二次体上での予期的点の最大数は14であり、14(2,1,1)、14(3,1,1)、14(3,2) などのグラフで達成された。
• Q(√5)、Q(√−7)、Q(√17) など、特定の係数と予期的点集合を伴う、各グラフを実現する多項式と体の明示的例を提供した。
• 計算的証拠は、このようなグラフが有限個しか存在しないという予想を強く支持しており、Morton-Silverman の均一有界性予想と整合的である。
• 有界高さの列挙を活用することで、与えられた f と K に対して、すべての予期的点を効率的に計算でき、数体全体にわたる包括的探索を可能にした。