[論文レビュー] The Minimal Resultant Locus

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

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

ひとこと要約

本稿では、完全で代数的に閉じた非アルキメデス体上の有理写像が潜在的良い還元を持つかどうかを判定するためのアルゴリズムを提示する。Berkovichの射影直線を用いて最小結果関数の最小化領域を解析することで、最小結果は単一の点または線分上に達し、固定点と極の生成する木に含まれることを示す。また、良い還元を達成するための拡大の次数の明示的上限として $(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.

研究の動機と目的

• 非アルキメデス体上の有理関数が潜在的良い還元を持つかどうかをアルゴリズム的に判定するという長年の問題を解決すること。
• Berkovichの射影直線とその点における結果関数を用いて問題を再定式化すること。
• 最小結果関数の最小化領域の構造と、固定点および極によって生成される木内での位置を同定すること。
• 写像が部分体上で定義されている場合、良い還元を達成するための有効な次数上限 $(d+1)^2$ を確立すること。
• 写像が $\mathbb{Q}$ 上で定義されている場合に、確率的多項式時間で動作するアルゴリズムを提供すること。

提案手法

• Berkovichの射影直線 $\mathbb{P}^1_{\text{Berk}}$ を幾何的枠組みとして用い、連続的で、経路において分かちがけられたアフィン的で、上に凸である関数 $\operatorname{ordRes}_\varphi(\cdot)$ を研究する。
• 点 $x \in \mathbb{P}^1_{\text{Berk}}$ で $\operatorname{ordRes}_\varphi(\cdot)$ が最小値をとる点の集合として、最小結果関数の最小化領域 $\operatorname{MinResLoc}(\varphi)$ を定義する。
• $\gamma \in \mathrm{GL}_2(K)$ による共役作用の下での $\operatorname{ordRes}_\varphi(\cdot)$ の振る舞いを解析し、Berkovich空間へ因数分解されることを示す。
• 有理関数の正規化表現を用いて、同型写像 $\varphi^\gamma$ の結果関数 $\operatorname{ordRes}(\varphi^\gamma)$ を斉次多項式の結果関数により計算する。
• 固定点が1つまたは2つの特殊ケースを調べ、$z \mapsto Cz$ や $z \mapsto z + C$ のような標準形に還元し、型II点における結果関数を計算する。
• 共役不変性と $\mathbb{P}^1_{\text{Berk}} \setminus \{\text{極および固定点}\}$ 上の強い位相を用いて、結果を元の写像に戻す。

実験結果

リサーチクエスチョン

• RQ1 完全で代数的に閉じた非アルキメデス体上の有理関数が潜在的良い還元を持つかどうかを判定するアルゴリズムは存在するか？
• RQ2 最小結果関数の最小化領域は、Berkovichの射影直線のどこに位置するか？
• RQ3 最小結果関数は、Berkovich空間内で単一の点に達するか、あるいは常に線分上に達するのか？
• RQ4 写像 $\varphi$ が $H \subset K$ 上で定義されているとき、$\varphi$ が $L$ 上で良い還元を持つような最小の次数拡大 $L/H$ は何か？
• RQ5 最小結果関数の最小化領域の構造は、特に固定点と極を含む $\varphi$ の力学的性質とどのように関係するか？

主な発見

• 最小結果関数の最小化領域 $\operatorname{MinResLoc}(\varphi)$ は、Berkovichの射影直線上で単一の点または閉じた線分である。
• 最小結果関数の最小化領域は、$\varphi$ の固定点および極によって生成される木に含まれる。
• $\mathbb{Q}$ 上で定義された写像 $\varphi$ に対して、潜在的良い還元を判定するアルゴリズムは確率的多項式時間で実行可能である。
• 写像 $\varphi$ が潜在的良い還元を持ち、部分体 $H \subset K$ 上で定義されている場合、$[L:H] \leq (d+1)^2$ を満たす拡大 $L \subset K$ が存在し、$\varphi$ は $L$ 上で良い還元を持つ。
• 固定点が1つの場合、最小結果関数の最小化領域はその固定点を中心とするホロディスクである。2つの固定点がある場合は、それらの間の経路を囲むストロングチューブである。
• $\operatorname{ordRes}_\varphi(\cdot)$ は、$\mathbb{P}^1_{\text{Berk}} \setminus \{\text{極および固定点}\}$ 上の強い位相に関して連続である。