[논문 리뷰] Iteration and the Minimal Resultant

Kenneth Jacobs, Phillip Williams|arXiv (Cornell University)|2016. 08. 06.

Algebraic Geometry and Number Theory참고 문헌 18인용 수 3

한 줄 요약

이 논문은 비유클리드적 필드 위에서의 유리 함수에 대해, 반복의 최소 결과물이 차수와 반복 횟수에 따라 단순한 거듭제곱 법칙 공식을 따를 조건을 규명한다. 기하학적 불변량 이론과 베르코비치 공간 동역학을 활용하여, 이 공식이 정확히 모든 반복에 대해 준안정 환원을 가지며, 비정의성 영역 $I(d)$ 외부에서 환원이 일어날 때에만 성립함을 보여준다. 이는 아라켈로프-그린 함수와 라티스 맵에의 응용을 포함한다.

ABSTRACT

Let $K$ be an algebraically closed field that is complete with respect to a non-Archimedean absolute value, and let $φ\in K(z)$ have degree $d\geq 2$. We characterize maps for which the minimal resultant of an iterate $φ^n$ is given by a simple formula in terms of $d$, $n$, and the minimal resultant of $φ$. We show that such maps are precisely those with reduction outside of an indeterminacy locus $I(d)$ and which also have semi-stable reduction for every iterate $φ^n$. We give two equivalent ways of describing such maps, one measure theoretic and the other in terms of the moduli space $\mathcal{M}_d$ of degree $d$ rational maps. As an application, we are able to give an explicit formula for the minimal value of the diagonal Arakelov-Green's function of a map satisfying the conditions of the main theorem. We illustrate our results with some explicit calculations in the case of the Lattès maps.

연구 동기 및 목표

• 반복 $\varphi^n$ 의 최소 결과물이 $d$, $n$, $R_{[\varphi]}$ 에 따라 단순한 공식을 만족하는지 판단하는 것.
• 최소 결과물이 반복 과정에서 예측 가능하게 행동하는 동역학적 및 기하적 조건을 규명하는 것.
• 최소 결과물의 위치가 베르코비치 사영선 위의 평형 측도와 중앙값 사이의 관계를 연결하는 것.
• 이러한 맵에 대해 대각선 아라켈로프-그린 함수의 최소값을 계산하는 데 결과를 적용하는 것.
• 명시적인 예시, 특히 라티스 맵을 통해 공식이 성립하는 경우와 실패하는 경우를 모두 제시하는 것.

제안 방법

• 유리 함수의 정규화된 리프트를 사용하고, 결과물의 값매김 $R_\varphi$ 를 동치 불변량으로 정의한다.
• 기하학적 불변량 이론을 적용하여 결과물의 최소성과 준안정 환원, 비정의성 영역 $I(d)$ 간의 관계를 규명한다.
• 베르코비치 공간 기법을 활용하여 평형 측도 $\mu_\varphi$ 와 그 중앙값을 분석한다.
• 데마코 및 다른 이들의 두 가지 '잔여' 측도를 도입하여 반복 과정에서의 환원 행동을 연구한다.
• 최소 결과물 공식과 두 기하적 조건 간의 동치성을 확립한다: 최소 결과물의 위치가 안정적이며, $I(d)$ 내에 중앙값 점이 존재하지 않는 것.
• 결과를 활용하여 타인 곡선과 라티스 맵에서의 직접 계산을 통해 최소 대각선 아라켈로프-그린 함수 값 계산을 수행한다.

실험 결과

연구 질문

• RQ1 반복 $\varphi^n$ 의 최소 결과물이 $R_{[\varphi^n]} = \frac{d^n(d^n-1)}{d(d-1)} R_{[\varphi]}$ 를 만족하는 조건은 무엇인가?
• RQ2 준안정 환원과 비정의성 영역 $I(d)$ 는 최소 결과물이 반복 과정에서 어떻게 행동하는지에 어떤 영향을 미치는가?
• RQ3 평형 측도 $\mu_\varphi$ 의 중앙값과 최소 결과물의 위치 사이의 관계는 무엇인가?
• RQ4 최소 결과물 공식을 만족하는 맵에 대해 대각선 아라켈로프-그린 함수의 최소값을 명시적으로 계산할 수 있는가?
• RQ5 왜 곱셈이 짝수 차수인 라티스 맵은 최소 결과물 공식을 만족하지 못하고, 홀수 차수인 경우는 만족하는가?

주요 결과

• 반복 $\varphi^n$ 의 최소 결과물이 $R_{[\varphi^n]} = \frac{d^n(d^n-1)}{d(d-1)} R_{[\varphi]}$ 를 만족하는 것은, $\varphi$ 가 모든 반복에 대해 준안정 환원을 가지며, 그 환원이 비정의성 영역 $I(d)$ 외부에 있을 때에만 성립한다.
• 홀수 $m$ 인 라티스 맵 $\psi_m$ 에서는 최소 결과물 공식이 성립하지만, 짝수 $m$ 인 경우는 반복 과정에서 최소 결과물의 위치가 변화함에 따라 실패한다.
• $\varphi_2$ (타인 곡선에서의 곱셈-by-2) 에 대해 대각선 아라켈로프-그린 함수의 최소값은 $\frac{1}{12}\log_v|q|$ 로 계산되며, 이는 니에론-타이트 높이와 베르누이 다항식을 통해 도출된다.
• 동치 조건이 성립할 경우, $\varphi$ 의 최소 결과물의 위치는 모든 $n$ 에 대해 $\varphi^n$ 의 최소 결과물의 위치에 포함된다. 이는 $\varphi(z) = \frac{z^p - z}{p}$ 가 $\mathbb{C}_v$ 위에서 성립하는 바이다.
• $\varphi(z) = \frac{z^p - z}{p}$ 의 평형 측도 $\mu_\varphi$ 는 $\mathbb{Z}_p$ 상의 하르 측도이며, 그 중앙값은 $I(d)$ 외부에서 환원되는 동치를 나타내며, 이는 정리의 조건을 만족한다.
• 명시적 계산을 통해 짝수 차수의 라티스 맵에서 최소 결과물 공식이 실패하는 이유는 반복이 진행되면서 최소 결과물의 위치가 변화하기 때문임을 확인할 수 있다. 이는 일관된 동치를 갖는 준안정 환원을 보장하지 못한다.