[논문 리뷰] The Minimal Resultant Locus

Robert Rumely|arXiv (Cornell University)|2013. 04. 03.

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}$ 위에 정의되어 있을 경우, 확률적 다항시간 알고리즘을 제공하기 위해.

제안 방법

• 연속적이고 조각별 약선적이며 경계 위로 볼록한 함수인 결과물 함수 $\operatorname{ordRes}_\varphi(\cdot)$를 연구하기 위해, 베르코비치 사영선 $\mathbb{P}^1_{\text{Berk}}$ 을 기하적 프레임워크로 사용한다.
• 최소 결과물 위치 $\operatorname{MinResLoc}(\varphi)$ 를 $\mathbb{P}^1_{\text{Berk}}$ 내에서 $\operatorname{ordRes}_\varphi(\cdot)$ 가 최소값을 갖는 점들의 집합으로 정의한다.
• $\gamma \in \mathrm{GL}_2(K)$ 에 의한 코남화 아래 $\operatorname{ordRes}_\varphi(\cdot)$ 의 행동을 분석하여, 이 함수가 베르코비치 공간을 통해 인식된다는 것을 보인다.
• 유리 함수의 정규화된 표현을 사용하여, 동차 다항식의 결과물을 통해 $\operatorname{ordRes}(\varphi^\gamma)$ 를 계산한다.
• 고정점이 하나 또는 두 개인 특수한 경우를 연구하여, $z \mapsto Cz$ 또는 $z \mapsto z + C$ 와 같은 정규형으로 감소시켜, 유형 II 점들에서 결과물을 계산한다.
• 코남화 불변성과 $\mathbb{P}^1_{\text{Berk}} \setminus \{\text{극점 및 고정점}\}$ 상의 강한 위상에서 결과를 원래 지도로 되돌려 적용한다.

실험 결과

연구 질문

• RQ1 완전하고 대수적으로 닫혀 있으며 비아르키메데스인 체 위의 유리 함수가 잠재적으로 양호한 감소성을 가지는지 판단할 수 있는 알고리즘이 존재하는가?
• RQ2 최소 결과물 위치는 정확히 베르코비치 사영선의 어디에 위치하는가?
• RQ3 최소 결과물은 단일 점에서만 달성되거나, 베르코비치 공간 내에서 선분을 따라만 달성되는가?
• RQ4 지도 $\varphi$ 가 $H$ 위에 정의되어 있을 경우, $\varphi$ 가 $L$ 에서 양호한 감소성을 갖기 위해 필요한 최소 차수 확장 $L/H$ 는 무엇인가?
• RQ5 최소 결과물 위치의 구조는 $\varphi$ 의 동역학, 특히 고정점과 극점과 어떻게 관련되어 있는가?

주요 결과

• 최소 결과물 위치 $\operatorname{MinResLoc}(\varphi)$ 는 베르코비치 사영선 내에서 단일 점 또는 닫힌 선분이다.
• 최소 결과물 위치는 $\varphi$ 의 고정점과 극점에 의해 생성되는 트리 안에 포함된다.
• 지도 $\varphi$ 가 $\mathbb{Q}$ 위에 정의되어 있을 경우, 잠재적 양호한 감소성을 판단하는 알고리즘은 확률적 다항시간 내에 수행된다.
• 만약 $\varphi$ 가 잠재적으로 양호한 감소성을 가지며, 부분체 $H \subset K$ 위에 정의되어 있을 경우, $[L:H] \leq (d+1)^2$ 를 만족하는 확장 $L \subset K$ 가 존재하여 $\varphi$ 가 $L$ 에서 양호한 감소성을 갖는다.
• 단일 고정점이 있는 지도의 경우, 최소 결과물 위치는 고정점 중심의 호어디스크이며, 두 개의 고정점이 있을 경우 이들의 경로를 둘러싸는 강한 튜브가 된다.
• $\operatorname{ordRes}_\varphi(\cdot)$ 는 $\mathbb{P}^1_{\text{Berk}} \setminus \{\text{극점 및 고정점}\}$ 상의 강한 위상에서 연속적이다.