基于轨道树状表示的动力学 N erson--Ogg--Shafarevich 判据

设 $K$ 为非阿贝尔局域域，$\varphi : \mathbb{P}^1 \to \mathbb{P}^1$ 为定义在 $K$ 上的次数 $d \geq 2$ 的有理同态。我们证明在温和情形（$p \nmid d$）下，严格良好约化等价于存在于 $\mathbb{P}^1_k \setminus \mathrm{PC}(\widetilde{\varphi})$ 上的非空 Zariski 开子集 $U_k$ 上，标准剩余同态为次数 $d$ 的有限 etale 映射。该判据分离规范积分升顶的两个互补局部不变式：$\mathrm{Res}(F,G)$ 控制剩余度下降，而纤维判别式 $\mathrm{Disc}(F_{n,x})$ 控制剩余纤维的 etale 性，一旦确保完全剩余度。因此，对每个有限 $x \in \mathcal{O}_K$，当 $\bar{x} \in U_k$ 时，扩展 $K(X_n(x))/K$ 对所有 $n \geq 1$ 都是无指数的。我们引入轨道预像树 $T_{O^+(x)} = \var\ injlim_n X_\infty(\varphi^n(x))$，沿前轨的 $G_K$-集余极限，以及轨道树状 Galois 像 $\mathcal{G}_{O^+(x)} = \mathrm{Im}(G_K \to \mathrm{Aut}(T_{O^+(x)}))$。在前向不变的安全区域 $U_k^{\mathrm{safe}} = \bigcap_{m \geq 0} \widetilde{\varphi}^{-m}(U_k)$ 上，严格良好约化由轨道约化图 $X_n(x_m) \to \widetilde{X}_n(\bar{x}_m)$ 的双射性捕获。该标准轨道不变框架与树状 Galois 表示（Boston-Jones、Jones 等）相联系，产生点级和轨道级的改写。我们通过 $\mathbb{Q}_p$ 上的显式例子说明了该判据。