[논문 리뷰] Global discrepancy and small points on elliptic curves

Matthew Baker, Clayton Petsche|ArXiv.org|2005. 07. 11.

Algebraic Geometry and Number Theory참고 문헌 13인용 수 6

한 줄 요약

이 논문은 수체 위 타원곡선의 유한점 집합에 대한 전역 불일치를 광역 등분포 실패도를 측정하는 척도로 도입하며, 캐논리컬 높이에 대한 상한을 증명한다. 이는 타원곡선에 대한 Szpiro-Ullmo-Zhang 등분포 정리에 대한 새로운, 보다 간단한 증명을 제공하고, 전적으로 실수 또는 전적으로 $p$-진 수체에서의 작은 점들에 대한 명시적 양적 등분포 실패 한계를 유도한다. 이는 전적으로 실수 수체의 최대 순환체를 포함한다.

ABSTRACT

Let E be an elliptic curve defined over a number field k. In this paper, we define the ``global discrepancy'' of a finite set Z of algebraic points on E which in a precise sense measures how far the set is from being adelically equidistributed. We then prove an upper bound for the global discrepancy of Z in terms of the average canonical height of points in Z. We deduce from this inequality a number of consequences. For example, we give a new and simple proof of the Szpiro-Ullmo-Zhang equidistribution theorem for elliptic curves. We also prove a non-archimedean version of the Szpiro-Ullmo-Zhang theorem which takes place on the Berkovich analytic space associated to E. We then prove some quantitative `non-equidistribution' theorems for totally real or totally p-adic small points. The results for totally real points imply similar bounds for points defined over the maximal cyclotomic extension of a totally real field.

연구 동기 및 목표

• 유한 점 집합의 전역 불일치를 광역 등분포 실패도를 측정하는 척도로 정의하고 연구하기.
• 캐논리컬 높이에 대한 전역 불일치의 상한을 증명하여, 등분포 결과의 양적 분석을 가능하게 하기.
• 타원곡선에 대한 Szpiro-Ullmo-Zhang 등분포 정리에 대한 새로운, 보다 간단한 증명을 제공하기.
• Berkovich 해석적 공간을 통해 비아르키메데스 성분으로의 등분포 결과를 확장하기.
• 전적으로 실수, 전적으로 $p$-진, 또는 전적으로 실수 수체의 최대 순환체에서 토크션 점과 캐논리컬 높이의 명시적 양적 한계를 도출하기.

제안 방법

• 열린 불일치 $\mathcal{D}(Z)$ 를 국소 불일치의 합으로 정의하고, 열핵 컨볼루션을 통해 캐논리컬 높이 쌍대를 매끄럽게 하기.
• 열핵 $\lambda_t$ 를 사용해 $\lambda_v$ 의 비음수이고 매끄러운 근사값을 구성하며, 최적 추정치를 얻기 위해 $t=1/N$ 으로 설정하기.
• $0 < t \leq 1$ 에 대해 $\lambda_t(O) \leq \frac{1}{2}\log(1/t) + \frac{1}{12}\log^+|j_E| + 11/5$ 를 증명하여 원점에서의 불일치를 상한으로 제한하기.
• 평행사변형 법칙을 통해 $\Lambda(Z) \leq 4\hat{h}(Z)$ 를 증명하여 불일치와 평균 캐논리컬 높이를 연결하기.
• 불일치 상한을 적용하여, 작은 캐논리컬 높이가 불일치를 유한하게 만든다는 점을 보여, 이는 토크션과 최소 비탄성 높이를 제약한다.
• 격자점 수세기와 Riemann-Stieltjes 적분을 사용해 열핵의 원점에서의 추정을 하며, $\tau$ 에 대한 모듈러 불변성과 기본 영역을 활용하기.

실험 결과

연구 질문

• RQ1 타원곡선 위의 유한 점 집합이 광역 등분포를 이루지 못하는 정도를 어떻게 정량화할 수 있는가?
• RQ2 Szpiro-Ullmo-Zhang 등분포 정리를 더 단순하고 양적으로 재증명할 수 있는가?
• RQ3 전적으로 실수 또는 전적으로 $p$-진 수체에서 토크션 점의 수와 비영인 캐논리컬 높이의 하한에 대해 어떤 명시적 한계를 설정할 수 있는가?
• RQ4 전역 불일치는 캐논리컬 높이와 어떻게 관련되어 있으며, 이 관계가 효과적인 등분포 결과를 도출할 수 있는가?
• RQ5 열핵 근사 $\lambda_t$ 는 원점에서 어떻게 행동하는가? 그리고 $j$-값에 대해 균일하게 상한을 어떻게 제한할 수 있는가?

주요 결과

• 전역 불일치 $\mathcal{D}(Z)$ 는 $\mathcal{D}(Z) \leq \hat{h}(Z) + O(1)$ 를 만족하며, 명시적 상수를 포함하여 불일치와 캐논리컬 높이 사이의 정량적 연결을 제공한다.
• 모든 수열 $\{P_n\}$ 에 대해 $\hat{h}(P_n) \to 0 $ 이면, Galois 공액점 측도 $\delta_n$ 는 Berkovich 해석적 공간 $E_{\text{Berk},v}$ 에서 캐논리컬 측도 $\mu_v$ 로 약한 수렴을 보이며, 아르키메데스 및 비아르키메데스 경우 모두 등분포를 증명한다.
• 불일치-높이 부등식을 통해 Szpiro-Ullmo-Zhang 등분포 정리에 대한 새로운 간단한 증명을 확보한다.
• $L$ 이 전적으로 실수 또는 전적으로 $p$-진 수체이면, $|E(L)_{\text{tor}}|$ 에 대한 명시적 상한과 $\liminf_{P \in E(L)} \hat{h}(P)$ 에 대한 하한을 제시하며, 이는 이전의 정성적 결과를 향상시킨다.
• $L$ 이 전적으로 실수 수체의 최대 순환체이면 동일한 한계가 적용되며, 이 방법은 명시적 상수를 도출한다.
• 열핵 추정 $\lambda_t(O) \leq \frac{1}{2}\log(1/t) + \frac{1}{12}\log^+|j_E| + 11/5$ 는 $0 < t \leq 1$ 에 대해 성립하며, 이는 원점에서의 불일치를 상한으로 제한하는 데 핵심적이다.