[논문 리뷰] An upper bound for the height for regular affine automorphisms of A^n

ChongGyu Lee|ArXiv.org|2009. 09. 16.

Algebraic Geometry and Number Theory참고 문헌 9인용 수 7

한 줄 요약

이 논문은 모든 차원 $n \geq 2$ 에서 정칙 아핀 자기동형사상에 대해 카와구치의 추측을 증명한다. 이는 $n=2$ 에서의 그의 이전 결과를 일반화한 것이다. 반복적인 블로우업을 통한 불규칙성의 해소와 그로 인해 생기는 다양체 위의 교차 이론을 사용하여, $D = \frac{1}{d}\phi_U^*H + \frac{1}{d'}\psi_U^*H - \left(1 + \frac{1}{dd'}\right)\pi_U^*H$ 가 효과적임을 입증함으로써, 높이 부등식이 성립하고, 이러한 사상에 대한 정규 높이의 구성이 모든 차원에서 타당함을 확인한다.

ABSTRACT

In 2006, Kawaguchi proved a lower bound for height of h(f(P)) when f is a regular affine automorphism of A^2, and he conjectured that a similar estimate is also true for regular affine automorphisms of A^n for n>2. In this paper we prove Kawaguchi's conjecture. This implies that Kawaguchi's theory of canonical heights for regular affine automorphisms of projective space is true in all dimensions.

연구 동기 및 목표

• 모든 $n \geq 2$ 에 대해 정칙 아핀 자기동형사상 $\Delta^n$ 에 대해 카와구치의 추측을 증명한다. 즉, 정규 높이 하한이 존재함을 보이며, 이는 $n=2$ 에서의 그의 이전 결과를 확장한 것이다.
• 필요한 높이 부등식을 증명함으로써, 카와구치의 정규 높이 이론이 모든 차원에서 정규 아핀 자기동형사상에 대해 타당함을 확립한다.
• 반복적인 블로우업을 통해 $f$ 와 $f^{-1}$ 의 분수적 확장인 $\phi_0$ 와 $\psi_0$ 의 불규칙성을 해소하고, 공통의 해소 다양체 $U$ 를 구성한다.
• 해소된 다양체 $U$ 에서의 역상 다항식 $\pi_U^*H$, $\phi_U^*H$, $\psi_U^*H$ 를 계산하고, $D = \frac{1}{d}\phi_U^*H + \frac{1}{d'}\psi_U^*H - \left(1 + \frac{1}{dd'}\right)\pi_U^*H$ 가 효과적임을 보인다.

제안 방법

• 카와구치의 정리에 따라, $f$ 를 확장하는 분수적 사상 $\phi_0$ 의 불규칙성을 해소하기 위해 반복적인 모노이드 변환을 사용하여 매끄러운 다양체 $V$ 를 구성하고, 마찬가지로 $\psi_0$ 를 위한 $W$ 를 구성한다.
• 해소된 다양체 $V$ 의 피카르 군을 $\operatorname{Pic}(V) = \mathbb{Z}H_V \oplus \mathbb{Z}E_1 \oplus \cdots \oplus \mathbb{Z}E_k$ 로 정의하며, 이는 무한원점의 올바른 전이와 예외적 다항식으로 생성된다.
• 해소된 다양체 $V$ 와 $W$ 를 결합하여 $f$ 와 $f^{-1}$ 의 공통 해소 다양체 $U$ 를 구성하고, $U$ 에서의 역상 다항식 $\pi_U^*H$, $\phi_U^*H$, $\psi_U^*H$ 를 정의한다.
• 다항식 $D = \frac{1}{d}\phi_U^*H + \frac{1}{d'}\psi_U^*H - \left(1 + \frac{1}{dd'}\right)\pi_U^*H$ 를 계산하고, 모든 계수가 음이 아닌지 확인함으로써 그 효과성을 입증한다.
• 다항식 $D$ 의 효과성을 이용하여, 높이 부등식 $\frac{1}{d}h(f(P)) + \frac{1}{d'}h(f^{-1}(P)) > \left(1 + \frac{1}{dd'}\right)h(P) + C$ 를 유도한다. 이는 카와구치의 추측을 확인한다.
• 증명된 높이 부등식을 활용하여, 카와구치의 정규 높이 $\widehat{h}(P)$ 가 함수 방정식 $\frac{1}{d}\widehat{h}(f(P)) + \frac{1}{d'}\widehat{h}(f^{-1}(P)) = \left(1 + \frac{1}{dd'}\right)\widehat{h}(P)$ 를 만족하고, 주기점에서 정확히 0이 됨을 보여 정규 높이의 타당성을 입증한다.

실험 결과

연구 질문

• RQ1 정칙 아핀 자기동형사상 $\mathbb{A}^2$ 에 대한 카와구치의 높이 하한 부등식은 $n \geq 3$ 의 모든 차원으로 확장 가능한가?
• RQ2 동일한 함수 방정식을 사용하여 정규 높이 이론을 $\mathbb{A}^2$ 를 초월해 일반화할 수 있는가?
• RQ3 공통 해소 다양체 $U$ 에서 $f$ 와 $f^{-1}$ 의 불규칙성을 해소한 후, 다항식 $D = \frac{1}{d}\phi_U^*H + \frac{1}{d'}\psi_U^*H - \left(1 + \frac{1}{dd'}\right)\pi_U^*H$ 가 효과적인가?
• RQ4 해소된 다양체 $U$ 의 피카르 군은 $\mathbb{P}^n$ 을 블로우업하여 $f$ 와 $f^{-1}$ 의 불규칙성을 해소함으로써 어떤 구조를 가지는가?
• RQ5 공통 해소 다양체 $U$ 에서 $\phi_U^*H$, $\psi_U^*H$, $\pi_U^*H$ 의 역상 다항식은 어떻게 상호작용하여 높이 부등식이 성립하는가?

주요 결과

• 논문은 카와구치의 추측을 증명한다: 모든 정칙 아핀 자기동형사상 $f$ 에 대해 $\mathbb{A}^n$ 에서, $d = \deg f$, $d' = \deg f^{-1}$ 이고 $C$ 는 $P$ 에 독립적인 상수일 때, 모든 $P \in \mathbb{A}^n(\overline{\mathbb{Q}})$ 에 대해 높이 부등식 $\frac{1}{d}h(f(P)) + \frac{1}{d'}h(f^{-1}(P)) > \left(1 + \frac{1}{dd'}\right)h(P) + C$ 가 성립한다.
• 공통 해소 다양체 $U$ 에서 다항식 $D = \frac{1}{d}\phi_U^*H + \frac{1}{d'}\psi_U^*H - \left(1 + \frac{1}{dd'}\right)\pi_U^*H$ 는 효과적임을 입증하였으며, 이는 높이 상한을 증명하는 데 핵심적인 기하적 요소이다.
• 정규 높이 $\widehat{h}(P)$ 는 $\widehat{h}_{+}(P) - \widehat{h}_{-}(P)$ 로 정의되며, 함수 방정식 $\frac{1}{d}\widehat{h}(f(P)) + \frac{1}{d'}\widehat{h}(f^{-1}(P)) = \left(1 + \frac{1}{dd'}\right)\widehat{h}(P)$ 를 만족함을 확인하여, 높이 상한과의 일관성을 입증한다.
• 정규 높이 $\widehat{h}(P)$ 는 $P$ 가 $f$-주기점일 때에만 0이 되며, 이는 카와구치의 주기점 특성화를 모든 차원으로 일반화한 것이다.
• 3차원 아핀 공간 $\mathbb{A}^3$ 에서의 헤논 사상 $f(x,y,z) = (y, z+y^2, x+z^2)$ 에 대해, 해소 과정을 통해 명시적인 역상 다항식 공식을 도출하였고, $D \geq 0$ 임을 확인하여 일반 결과를 구체적인 사례에서 검증하였다.
• 해소된 다양체 $U$ 의 피카르 군은 무한원점의 올바른 전이 $H_U$ 와 예외적 다항식 $E_i, F_j$ 로 생성되며, $\operatorname{Pic}(U) = \mathbb{Z}H_U \oplus \mathbb{Z}E_1 \oplus \cdots \oplus \mathbb{Z}E_k \oplus \mathbb{Z}F_1 \oplus \cdots \oplus \mathbb{Z}F_l$ 로 표현된다.