[论文解读] Finitely ramified iterated extensions

Wayne Aitken, Farshid Hajir+1 more|ArXiv.org|Aug 12, 2004

Algebraic Geometry and Number Theory参考文献 7被引用 8

一句话总结

该论文证明了，通过在迭代单连通群上进行特殊化，具有有限分支的数域迭代扩张可由后临界有限多项式构造得出。论文证明了此类扩张在特殊化下仍保持有限分支，从而为通过有理函数的算术动力学研究受限分支的伽罗瓦群提供了新方法。

ABSTRACT

Let K be a number field, t a parameter, F=K(t) and f in K[x] a polynomial of degree d. The polynomial P_n(x,t)= f^n(x) - t in F[x] where f^n is the n-fold iterate of f, is absolutely irreducible over F; we compute a recursion for its discriminant. Let L=L(f) be the field obtained by adjoining to F all roots, in a fixed algebraic closure, of P_n for all n; its Galois group Gal(L/F) is the iterated monodromy group of f. The iterated extension L/F is finitely ramified if and only if f is post-critically finite (pcf). We show that, moreover, for pcf polynomials f, every specialization of L/F at t=t_0 in K is finitely ramified over K, pointing to the possibility of studying Galois groups with restricted ramification via tree representations associated to iterated monodromy groups of pcf polynomials. We discuss the wildness of ramification in some of these representations, describe prime decomposition in terms of certain finite graphs, and also give some examples of monogene number fields.

研究动机与目标

• 通过有理函数的算术动力学研究具有受限分支的数域伽罗瓦群。
• 研究后临界有限多项式的迭代单连通群在特殊化下是否产生有限分支扩张。
• 确定此类构造能否产生无限、可约分支、有限分支的数域扩张。
• 利用有限图分析这些表示中的分支野性和素理想分解。
• 研究此类扩张是否产生单生成数域，以及判别式在渐近行为下的表现。

提出的方法

• 在 $F = K(t)$ 上定义迭代多项式 $\Phi_n(x,t) = \varphi^{\circ n}(x) - t$，其中 $\varphi$ 是数域 $K$ 上的 $d$ 次多项式。
• 将迭代单连通群 $\text{Gal}(\mathscr{F}_\varphi/F)$ 构造为所有 $\Phi_n(x,t)$ 分裂域的复合域的伽罗瓦群。
• 使用递推公式计算 $\Phi_n(x,t)$ 在 $F$ 上的判别式，从而实现对分支的控制。
• 将 $t$ 特殊化为 $t_0 \in K$，得到数域扩张 $K_{n,t_0}$，并研究其分支行为。
• 通过与 $\mathbb{P}^1$ 上动力系统相关的有限图建模分支与素理想分解。
• 分析 $\Phi_n(x,t_0)$ 的根判别式，以评估其渐近行为及渐近优良性的潜力。

实验结果

研究问题

• RQ1 能否通过后临界有限多项式的迭代单连通群的特殊化构造出有限分支的数域迭代扩张？
• RQ2 能否利用此类动力系统构造出无限、可约分支、有限分支的数域扩张？
• RQ3 当 $\varphi$ 为后临界有限时，特殊化扩张 $K_{n,t_0}$ 是否在某个固定的有限集合 $S$ 之外保持无分支？
• RQ4 当 $\varphi$ 在整除 $\deg \varphi$ 的素数 $p$ 处具有良好约化时，$\Phi_n(x,t_0)$ 的根判别式在 $n \to \infty$ 时如何表现？
• RQ5 此类构造能否产生单生成数域？由根生成的整序中，其整数环的指标是多少？

主要发现

• 当且仅当多项式 $\varphi$ 为后临界有限时，迭代扩张 $\mathscr{F}_\varphi/F$ 是有限分支的。
• 对于后临界有限的 $\varphi$，其任意特殊化 $t \mapsto t_0 \in K$ 均产生有限分支扩张 $K_{n,t_0}/K$。
• $\Phi_n(x,t)$ 在 $F$ 上的判别式具有递推计算公式，从而可实现对分支的显式控制。
• 若 $\varphi$ 为后临界有限，其次数可被素数 $p$ 整除，且在 $p$ 处具有良好约化，则 $\Phi_n(x,t_0)$ 的 $p$-部分根判别式随 $n$ 趋于无穷。
• 该构造可产生由 $\Phi_n(x,t_0)$ 特殊化所得的单生成数域的例子。
• 当 $\varphi$ 在 $p$ 处具有良好约化且 $p \mid \deg \varphi$ 时，$\Phi_n(x,t_0)$ 的根判别式渐近表现恶劣，意味着此类扩张在根判别式有界的意义下不可能是渐近优良的。