[论文解读] The Minimal Resultant Locus

Robert Rumely|arXiv (Cornell University)|Apr 3, 2013

Mathematics and Applications参考文献 4被引用 5

一句话总结

本文提出了一种算法，用于判断定义在完备、代数闭合、非阿基米德域上的有理函数是否具有潜在良好约化性，通过贝里科维奇射影直线分析最小结果式支集。证明了最小结果式在单一点或一条线段上达到，且包含在由映射的不动点与极点张成的树中，当映射定义在子域上时，达到良好约化的扩张的显式次数界为 $(d+1)^2$。

ABSTRACT

Let K be a complete, algebraically closed nonarchimedean valued field, and let f(z) in K(z) be a rational function of degree d at least 2. We give an algorithm to determine whether f(z) has potential good reduction over K, based on a geometric reformulation of the problem using the Berkovich Projective Line. We show the minimal resultant is is either achieved at a single point in the Berkovich line, or on a segment, and that minimal resultant locus is contained in the tree in spanned by the fixed points and the poles of f(z). When f(z) is defined over the rationals, the algorithm runs in probabilistic polynomial time. If f(z) has potential good reduction, and is defined over a subfield H of K, we show there is an extension L/H in K with degree at most (d + 1)^2 such that f(z) achieves good reduction over L.

研究动机与目标

• 解决长期存在的问题：算法性地确定定义在非阿基米德域上的有理函数是否具有潜在良好约化性。
• 利用贝里科维奇射影直线和其上点的结果式函数重新表述该问题。
• 刻画最小结果式支集的结构及其在由不动点与极点张成的树中的位置。
• 为在子域上定义的映射建立一个有效次数界 $(d+1)^2$，以实现良好约化。
• 当映射定义在 $\mathbb{Q}$ 上时，提供一种概率多项式时间算法。

提出的方法

• 使用贝里科维奇射影直线 $\mathbb{P}^1_{\text{Berk}}$ 作为几何框架，研究结果式函数 $\operatorname{ordRes}_\varphi(\cdot)$，该函数在路径上连续、分段仿射且上凸。
• 将最小结果式支集 $\operatorname{MinResLoc}(\varphi)$ 定义为 $\mathbb{P}^1_{\text{Berk}}$ 中使 $\operatorname{ordRes}_\varphi(\cdot)$ 达到最小值的点的集合。
• 分析 $\operatorname{ordRes}_\varphi(\cdot)$ 在 $\gamma \in \mathrm{GL}_2(K)$ 的共轭作用下的行为，表明其在贝里科维奇空间上因式分解。
• 通过齐次多项式的结果式，利用有理函数的归一化表示计算 $\operatorname{ordRes}(\varphi^\gamma)$。
• 研究具有一个或两个不动点的映射的特殊情况，将其约化为 $z \mapsto Cz$ 或 $z \mapsto z + C$ 等标准形式，以在类型 II 点上计算结果式。
• 利用共轭不变性及 $\mathbb{P}^1_{\text{Berk}} \setminus \{\text{极点与不动点}\}$ 上的强拓扑，将结果回传至原映射。

实验结果

研究问题

• RQ1 是否存在一种算法，可判断定义在完备、代数闭合、非阿基米德域上的有理函数是否具有潜在良好约化性？
• RQ2 最小结果式支集在贝里科维奇射影直线中的确切位置是什么？
• RQ3 最小结果式是否可能在贝里科维奇空间中的单一点达到，或仅在一条线段上达到？
• RQ4 对于定义在 $H \subset K$ 上的映射 $\varphi$，使得 $\varphi$ 在 $L$ 上实现良好约化的最小次数扩张 $L/H$ 是什么？
• RQ5 最小结果式支集的结构如何与 $\varphi$ 的动力学特性相关，特别是其不动点与极点？

主要发现

• 最小结果式支集 $\operatorname{MinResLoc}(\varphi)$ 要么是贝里科维奇射影直线中的单一点，要么是一条闭线段。
• 最小结果式支集包含在由 $\varphi$ 的不动点与极点张成的树中。
• 对于定义在 $\mathbb{Q}$ 上的映射 $\varphi$，确定潜在良好约化的算法在概率多项式时间内运行。
• 若 $\varphi$ 具有潜在良好约化性且定义在子域 $H \subset K$ 上，则存在扩张 $L \subset K$ 满足 $[L:H] \leq (d+1)^2$，使得 $\varphi$ 在 $L$ 上具有良好约化。
• 在仅有一个不动点的映射情况下，最小结果式支集是一个以该不动点为中心的霍罗迪斯克（horodisc），而在有两个不动点时，其为连接两点路径的强管状区域。
• 函数 $\operatorname{ordRes}_\varphi(\cdot)$ 在 $\mathbb{P}^1_{\text{Berk}} \setminus \{\text{极点与不动点}\}$ 上关于强拓扑是连续的。