[论文解读] Irreducibility and postcritically finite unicritical polynomials

Xavier Buff, Adam Epstein+1 more|arXiv (Cornell University)|Jun 28, 2018

Mathematical Dynamics and Fractals参考文献 3被引用 2

一句话总结

本文为Goksel关于单临界多项式 $ f_a(z) = az^D + 1 $ 的参数伽罗华共轭性结果提供了新的证明与推广，表明当 $ D = p^e $（素数幂）时，若 $ z=0 $ 的前周期轨道周期为1或2，则对应参数为伽罗华共轭。该结果进一步推广至 $ D=2 $ 时的周期3情形，推广了此前针对素数次数的研究。

ABSTRACT

Fix $D\geq 2$ and consider the unicritical polynomial $f_a:\mathbb C o \mathbb C$ defined by $f_a(z) = az^D+1$. We say that $0$ is (pre)periodic under iteration of $f_a$ if $f_a^{\circ (k+n)}(0) = f_a^{\circ k}(0)$ for some integers $k\geq 0$ and $n\geq 1$. If $k$ and $n$ are minimal, then $k$ is the preperiod and $n$ is the period. Recently, Goksel proved that if $D$ is prime, then two parameters $a_1\in \mathbb C$ and $a_2\in \mathbb C$ for which $0$ is preperiodic with period $1$ and with the same preperiod $k\geq 2$ are Galois conjugate; he also proved that when $D=2$, the result extends to the case of period $2$. We give a new proof of this result and extend it to the case of periods $1$ and $2$ for arbitrary prime power degrees, i.e., $D= p^e$ for some prime $p$. We also extend the result to the case of period $3$ in degree $D=2$.

研究动机与目标

• 将Goksel关于单临界多项式下具有前周期轨道的参数伽罗华共轭性的结果推广至更高素数幂次数。
• 将周期1和2的共轭性结果扩展至 $ D = 2 $ 时的周期3情形。
• 使用替代技术提供原始结果的新证明，以增强清晰度与普适性。
• 刻画参数 $ a eq 0 $ 的代数结构，使得 $ 0 $ 在 $ f_a(z) = az^D + 1 $ 下为前周期点。

提出的方法

• 使用代数数论分析 $ f_a(z) = az^D + 1 $ 下使 $ 0 $ 为前周期点的非零参数 $ a $ 上的伽罗华作用。
• 应用动力系统技术研究 $ 0 $ 的前向轨道，重点关注迭代下的前周期与周期。
• 利用迭代临界轨道的结构推导出参数 $ a $ 满足的代数关系。
• 采用域迹与判别式论证，证明具有相同前周期与周期的参数为伽罗华共轭。
• 将分析从素数次数推广至素数幂次数 $ D = p^e $，通过归纳与结构论证研究动力系统。
• 通过显式计算与所得代数数的伽罗华理论分析，验证 $ D=2 $ 时周期3情形。

实验结果

研究问题

• RQ1 当 $ D = p^e $ 时，若非零参数 $ a_1, a_2 $ 使得 $ 0 $ 具有相同的前周期 $ k \neq 0 $ 与周期 $ n=1 $，是否必为伽罗华共轭？
• RQ2 周期 $ n=2 $ 的伽罗华共轭性结果是否可从素数次数推广至素数幂次数 $ D = p^e $ ？
• RQ3 周期 $ n=3 $ 的伽罗华共轭性结果是否可推广至 $ D=2 $ 的情形？
• RQ4 使得 $ 0 $ 在 $ f_a(z) = az^D + 1 $ 下为前周期点的参数集合 $ a $ 的代数结构为何？
• RQ5 伽罗瓦群如何作用于此类参数的集合？其共轭性由哪些不变量决定？

主要发现

• 当 $ D = p^e $ 时，具有相同前周期 $ k \neq 0 $ 与周期 $ n=1 $ 的非零参数 $ a_1, a_2 $ 为伽罗华共轭。
• 周期 $ n=2 $ 的伽罗华共轭性结果对所有素数幂次数 $ D = p^e $ 成立，推广了Goksel对素数 $ D $ 的原始结果。
• 该结果已推广至 $ D=2 $ 时的周期 $ n=3 $ 情形，表明此类参数亦为伽罗华共轭。
• 提供了原始结果的新证明，提升了清晰度与更广适用性。
• 当固定前周期与周期时，$ f_a(z) = az^D + 1 $ 的前周期参数所对应的代数整数为伽罗华共轭。
• 素数幂次数的单临界多项式动力系统表现出强烈的算术约束，体现于其前周期参数的伽罗华结构中。