Dynamical Canonical Heights and Finite Trees

技術要約：動的標準高さと有限木

問題設定
本論文は、動的レマー予想（Dynamical Lehmer Conjecture）に取り組むものである。この予想は、放浪的な代数的点 $\alpha$ の標準高さ $\hat{h}_f(\alpha)$ に対し、その次数 $[F(\alpha):F]$ を用いた漸近的に最適な下界を予測するものである。具体的には、著者らは特定の多項式のクラスに対して $\hat{h}_f(\alpha) \geq c / [F(\alpha):F]^2$ という形の型の下界を確立することを目指している。この問題は、整係数多項式のマーレ測度に関する古典的なレマー問題の動的な類推である。著者らは、単項式であり、素数冪の次数 $d=p^e$ を持ち、ポストクリティカル有限（すべての臨界点が前周期）かつ双曲的（臨界点がファトゥー集合内に存在する）な一変数多項式 $f$ に焦点を当てている。

手法
著者らのアプローチは、代数的整数の共役を含む集合のトランスファイト直径（transfinite diameter）を抑えるために、複素平面上の有限の位相的木（「ヘッジホッグ」）を利用したディミトロフによるシュニンツェル・ザッセンハウス予想の証明に着想を得ている。著者らはこの戦略を動的な設定に適応させているが、先行研究 [HS21] における制限を克服するために重要な革新を導入している。

1. 動的木とハバード木（Hubbard Trees）: 静的なヘッジホッグの代わりに、著者らはポストクリティカル有限多項式 $f$ のハバード木 $H_f$ に基づく「動的ヘッジホッグ」を構成する。著者らは、入れ子状の有限位相的木を形成する前像の列 $H_f^{(s)} = (f^{(s)})^{-1}(H_f)$ を検討する。
2. コア・エントロピーと凸包: 中心的な組合せ論的手法は、サースタン（Thurston）のコア・エントロピー $\rho(f)$ である。著者らは、チェビシェフ多項式と線形共役でない双曲的多項式に対して、コア・エントロピーが次数より厳密に小さい（$\rho(f) < d$）ことを証明する。この「非最大コア・エントロピー」の性質により、前像木 $H_f^{(s)}$ における疎な頂点集合の凸包が疎な状態（すなわち、そのサイズが木の全サイズよりも遅く成長する状態）に留まることが保証される。これにより、小さな高さを持つ点の共役を含む木 $T$ を、制御された数の辺を用いて構成することが可能となる。
3. トランスファイト直径の評価: 著者らは、分割差分や超越理論で一般的な推定法を含む新しいツールを開発し、構築された木のトランスファイト直径を上方から抑える。著者らは、Dubininの定理（[HS21]で使用）に依存することを避け、ヴァンデルモンド行列とハバード木の組合せ論的性質を直接用いて上方からの上界を導出している。
4. 整数性と合同式: 構築された木が（関連する代数関数が有理関数であることを意味する）1より小さいトランスファイト直径を持つことを確立するため、著者らはエプスタイン（Epstein）によるポストクリティカル有界写像に関する研究を利用する。著者らは、整数な重心を持ち、ポストクリティカル有界な軌道を持つ素数冪次数の多項式に対して、特定の合同関係が $p$ の冪を法として成立することを証明する。これらの関係は、構築された代数関数の冪級数展開が整数係数を持つことを保証する。
5. ポリア・ベルトリアス（Pólya–Bertrandias）の定理: トランスファイト直径の上界と冪級数係数の整数性を組み合わせることで、著者らはポリア・ベルトリアスの定理を適用する。これにより、代数関数が有理関数であることが強制され、それが元の点 $\alpha$ に対して強い制約を課すことになり、結果として望ましい高さの下界または周期性をもたらす。

主要な貢献と結果

• 標準高さの下界: 本論文は、整数な重心を持つ素数冪次数の単項式、ポストクリティカル有限、双曲的多項式 $f \in \mathcal{O}_F[T]$ に対して、任意の $f$-放浪代数的整数 $\alpha$ について、以下の関係を満たす定数 $c > 0$ が存在することを確立する：
  $$\hat{h}_f(\alpha) \geq \frac{c}{[F(\alpha):F]^2}$$
  この結果は、先行研究 [HS21] で必要とされた「クイル仮説（Quill Hypothesis）」を取り除き、より広いクラスの多項式に適用される。
• 局所高さの下界: 著者らは、アルキメデス的な場所における局所標準高さに関するシュニンツェル・ザッセンハウス型の下界を証明する。$\alpha$ が有限次拡大 $L$ における $f$-放浪代数的整数であるとき、以下が成り立つ：
  $$\max_{v \in M_\infty^L} \lambda_{f,v}(\alpha) \geq \frac{c(F,f)}{[L:F]}$$
• 前周期および周期の長さの評価: $f$-前周期点に対して、著者らは次数に関する前周期長 $\text{preper}(\alpha)$ および周期長 $\text{per}(\alpha)$ の明示的な上界を導出する。特に、チェビシェフ多項式と線形共役でない多項式については以下の通りである：
  $$\text{preper}(\alpha) \leq \left(1 + \left\lceil \frac{\log e}{\log d} \right\rceil \right) \left(1 + \frac{\log [F(\alpha):F]}{\log d}\right)$$
  $$\text{per}(\alpha) \leq p^f [F(\alpha):F]$$
  ここで、$e$ と $f$ は $p$ の上の分岐次数および剰余次数に関連する。
• ハバード木の組合せ論的解析: 本論文は、反復によるハバード木の成長に関する詳細な解析を提供し、誘導された写像のエッジに対するスペクトル半径（コア・エントロピー）と、前像木における凸包の疎さとの関連付けを行っている。この組合士論的な洞察は、Dubininのような外部の深い定理に頼らずにトランスファイト直径を抑える上で極めて重要である。
• 例と限界: 著者らは、自身の結果が適用される多項式の例として $(T^2-1)^2$ などを挙げる。また、ポストクリカル有限多項式と複素乗法（CM）を持つ楕円曲線との類推の限界についても議論している。すなわち、両方の設定において前周期点はガロア理論的な性質を共有するものの、ポストクリカル有限多項式は、CM楕円曲線とは異なり、必ずしも至る所で良減少（good reduction）を持つわけではない。

意義と主張
著者らは、本研究が単変数多項式における動的レマー予想への新たな証拠を提供するものであると主張している。静的なヘッジホッグ構成を、ハバード木から派生した動的な木に置き換え、トランスファイト直径を抑えるための初等的かつ強力なツールを開発することで、シュニンツェル・ザッセンハウスの手法をより広いクラスの動的システムへと拡張している。クイル仮説の除去は、重要な技術的進歩である。本論文は、算術力学、複素力学（ハバード木とコア・エントロピーを通じて）、および超越理論（整数性とトランスファイト直径の評価を通じて）の間の架け橋としての地位を確立している。著者らは、自身の結果が特定のクラスの多項式（素数冪次数、双曲的、ポストクリカル有限）に適用されることを控えめに述べており、今後の課題として、亜双曲的なケースやより一般的な多項式への適用を目指すと述べている。