[논문 리뷰] One half log discriminant

Lucien Szpiro, Thomas J. Tucker|ArXiv.org|2006. 03. 17.

Advanced Differential Equations and Dynamical Systems참고 문헌 10인용 수 3

한 줄 요약

이 논문은 수체 위의 타원곡선에서 2배 곱하기 사상의 전주기 점에 대한 국소 등분포 공식의 기하적 증명을 제공한다. 2-토션을 제외한 n-토션 점의 정규화된 국소 높이의 극한이 Weierstrass 다항식의 로그 판별식의 반값으로 수렴함을 보이며, 주요 결과는 Néron 모델의 블로우업과 특수 섹션 분석을 통해 산술 교차 이론과 동역학 등분포 이론을 연결한다.

ABSTRACT

We give a geometric proof that one may compute a particular generalized Mahler integral using equidistribution of preperiodic points of a dynamical system on the sphere. The dynamical system is associated to the multiplication by 2 map on an elliptic curve over a number field K with Weierstrass equation y^2 = P(x) (a Lattes dynamical system).

연구 동기 및 목표

• 수체 위의 타원곡선에서 2배 곱하기 사상과 관련된 Lattès 사상의 전주기 점에 대한 국소 등분포 공식을 수립하기 위해.
• 2-토션을 제외한 n-토션 점의 정규화된 국소 높이의 극한이 Weierstrass 다항식의 로그 판별식의 반값으로 수렴함을 증명하기 위해.
• 디오판틴 추측 기법을 피하고 블로우업 및 산술 표면 위의 교차 이론을 사용한 기하적 증명을 제공하기 위해.
• 특수 섹션 분석과 특이점의 해소를 통해 유한 소수에 대한 등분포 결과를 확장하기 위해.
• 등차수 및 이질차수 설정 모두에서 공식의 타당성을 입증하기 위해, 특히 국소 산술 경우를 포함하여.

제안 방법

• 특이점을 해소하고 분지들을 분리하기 위해 다중 2차 점에서의 연속 블로우업을 사용하여 산술 표면 $\mathbb{P}^1_{\mathcal{O}_K}$ 의 특이점을 해결한다.
• 기저 체환 $\operatorname{Spec}V[X]/(X^n - \pi) \to \operatorname{Spec}V$ 이후 최소 모델 $\mathcal{E}'$ 에서의 사영 공식을 통해 교차 수 $ (H_n \cdot D)_v $ 를 계산한다.
• 타원곡선의 Néron 모델의 특수 섹션 분석을 통해 구성 요소의 구성 및 토션 점과의 교차를 고려한다.
• 특수 섹션의 구성 요소에 포함된 n-토션 점의 차수를 이용해 각 예외적 배위 $F_j$ 가 교차 수에 기여하는 바를 추적한다.
• 교차 수의 점근적 추정에서 유도된 공식 $ \lim_{n\to\infty} \frac{1}{n^2} (H_n \cdot D)_v = \frac{1}{2} \log |\operatorname{Norm}_{K/\mathbb{Q}}(\Delta)|_v $ 를 적용한다.
• 산술적 곱의 공식과 정규화를 사용하여 국소 교차 극한을 전역 판별식과 연결한다.

실험 결과

연구 질문

• RQ1 2배 곱하기 사상에 의해 유도된 타원곡선 위의 전주기 점의 국소 등분포를 디오판틴 추측 기법 없이 기하학적으로 증명할 수 있는가?
• RQ2 유한 소수 $v$ 에서 $n$-토션 점의 정규화된 국소 높이의 정확한 극한은 무엇인가?
• RQ3 교차 수 $ (H_n \cdot D)_v $ 는 $n \to \infty$ 로 갈수록 어떻게 행동하며, Weierstrass 다항식의 판별식과 어떤 관계가 있는가?
• RQ4 특이점의 해소를 통해 등차수 및 이질차수 국소 체에 대해 등분포 공식을 확장할 수 있는가?
• RQ5 Néron 모델의 특수 섹션의 구성 요소들이 토션 점과 예외적 배위의 교차 중량을 계산하는 데 어떤 역할을 하는가?

주요 결과

• 각 유한 소수 $v$ 에 대해 $ \lim_{n\to\infty} \frac{1}{n^2} (H_n \cdot D)_v = k $ 이 성립하며, 여기서 $k$ 는 도수의 값이거나 감소 유형과 관련된 값이다.
• 국소 등분포 결과로부터 유도된 공식 $ \frac{1}{2}\log|\operatorname{Norm}_{K/\mathbb{Q}}(\Delta)| = \sum_{\sigma:K\to\mathbb{C}} \int_{\mathbb{P}^1(\mathbb{C})} \log|P(x)|_\sigma \frac{dx \wedge d\bar{x}}{\Im(\tau)_\sigma |P(x)|_\sigma^2} $ 가 성립한다.
• 교차 수 $ (H_n \cdot D)_v $ 는 $ \left| (H_n \cdot D)_v - (n - r)nk \right| \leq k(k-1)2n $ 를 만족하며, $ r = n \mod 2k $ 이고, 극한 $ \lim_{n\to\infty} \frac{1}{n^2} (H_n \cdot D)_v = k $ 가 확인된다.
• 증명은 등차수 및 이질차수 모두에서 유효하며, 국소 산술 경우를 포함한다.
• 디오판틴 추측 기법을 피하고, 블로우업을 통한 특이점 해소와 Néron 모델의 특수 섹션 분석에 의존한다.
• 각 예외적 배위 $F_j$ 가 교차에 기여하는 기여도는 점근적으로 $ 2n \frac{n - r}{2k} $ 로 표현되며, $j \leq k $ 에 대해 합산하면 총 극한 값 $k$ 에 도달한다.