Dynamical Canonical Heights and Finite Trees

技术摘要：动力学正则高度与有限树

问题陈述
本文探讨了动力学 Lehmer 猜想，该猜想预测了游荡代数点 $\alpha$ 的正则高度 $\hat{h}_f(\alpha)$ 相对于其次数 $[F(\alpha):F]$ 的渐近最优下界。具体而言，作者试图为特定类别的多项式建立形式为 $\hat{h}_f(\alpha) \geq c / [F(\alpha):F]^2$ 的下界。该问题是关于整系数多项式马勒测度（Mahler measure）的经典 Lehmer 问题的动力学类比。作者的研究重点是一元多项式 $f$，其满足单项、次数为素数幂 $d=p^e$、后临界有限（所有临界点均为前周期点）且双曲（临界点位于 Fatou 集内）。

方法论
作者的方法受到 Dimitrov 证明 Schinzel–Zassenhaus 猜想的启发，后者利用复平面中的有限拓扑树（“刺猬/hedgehog”）来限制包含代数整数共轭集的超距直径（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. 超距直径界限： 作者开发了新的工具，包括差分以及超越理论中常用的估计方法，用以从上方限制这些构造树的超距直径。他们避免依赖于 [HS21] 中使用的 Dubinin 定理，而是通过范德蒙德行列式和哈巴德树的组合特性直接推导上界。
4. 整性与同余： 为了确立所构造的树的超距直径严格小于 1（这意味着相关的代数函数是有理函数），作者利用了 Epstein 关于后临界有界映射的研究。他们证明了对于具有整重心且轨道后临界有界的素数幂次数多项式，特定的模 $p$ 次幂同余关系成立。这些关系确保了构造的代数函数的幂级数展开具有整系数。
5. Pólya–Bertrandias 定理： 通过结合超距直径的上界与幂级数系数的整性，作者调用了 Pólya–Bertrandias 定理。这迫使该代数函数为有理函数，从而对原始点 $\alpha$ 施加了强约束，进而得出所需的高度界限或前周期性。

主要贡献与结果

• 正则高度的下界： 本文确立了对于单项、后临界有限、双曲且具有代数整数重心的素数幂次数多项式 $f \in \mathcal{O}_F[T]$，存在常数 $c > 0$，使得对于任何 $f$-游荡代数整数 $\alpha$：
  $$\hat{h}_f(\alpha) \geq \frac{c}{[F(\alpha):F]^2}$$
  这一结果移除了其先前工作 [HS21] 中所需的“Quill 假设”，使其适用于更广泛的多项式类别。
• 局部高度界限： 作者证明了在阿基米德型处（archimedean places）的局部正则高度的 Schinzel–Zassenhaus 型下界。若 $\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）。

意义与主张
作者声称这项工作为一元多项式的动力学 Lehmer 猜想提供了新的证据。通过使用源自哈巴德树的动力学树取代静态的刺猬构造，并开发出用于界定超距直径的初等且强大的工具，他们将 Schinzel–Zassenhaus 方法的应用范围扩展到了更广泛的动力系统。移除 Quill 假设是一项重要的技术进步。本文将研究定位为算术动力学、复动力学（通过哈巴德树和核心熵）以及超越理论（通过整性和超距直径界限）之间的桥梁。作者谦虚地指出，其结果适用于特定类别的多项式（素数幂次数、双曲、后临界有限），未来的工作将旨在处理亚双曲（subhyperbolic）情况及更一般的多项式。