[논문 리뷰] Small rational points on elliptic curves over number fields

Clayton Petsche|ArXiv.org|2005. 08. 09.

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

한 줄 요약

이 논문은 수체의 차수 $d$와 Szpiro 비율 $σ$를 사용하여, 수체 위의 타원곡선에서 유리수 토르션 점의 수와 비토르션 유리수 점의 캐논리컬 높이에 대해 명시적인 다항식 경계를 수립한다. 주요 결과는 $c_1 = 134861$, $c_2 = 104613$일 때, 토르션 경계 $|E(k)_{Τ}| \leq c_1 d \sigma^2 \log(c_2 d \sigma^2)$와 캐논리컬 높이 하한 $ω(P) \geq c(d,σ) \log|\mathbb{N}(\Delta)|$로, $c(d,σ) = \frac{1}{10^{15} d^3 \sigma^6 \log^2(c_2 d \sigma^2)}$이며, 이는 $d$와 $σ$에 대해 다항식적 의존성만을 보이며, 이전의 지수적 경계를 향상시킨다.

ABSTRACT

Let E/k be an elliptic curve over a number field. We obtain some quantitative refinements of results of Hindry-Silverman, giving an upper bound for the number of k-rational torsion points, and a lower bound for the canonical height of non-torsion k-rational points, in terms of expressions depending explicitly on the degree of k and the Szpiro ratio of E/k. The bounds exhibit only polynomial dependence on both quantities.

연구 동기 및 목표

• 수체 위의 타원곡선에서 유리수 토르션 점의 수에 대해 명시적이고 다항식적으로 유계인 추정을 제공함으로써 Merel의 보편적 경계를 개선하는 것.
• 비토르션 유리수 점의 Néron-Tate 캐논리컬 높이에 대해, 차수 $d$와 Szpiro 비율 $\sigma$에 대해 명시적으로 의존하는 하한을 수립하는 것.
• Hindry-Silverman의 이전 지수적 경계를 넘어서, $d$와 $\sigma$에 대해 다항식적 의존성만 갖는 결과를 달성하는 것.
• Szpiro의 추측이 Lang의 추측을 다항식적으로 감소하는 상수를 가진 채로 이끌며, 기존의 함의관계를 강화하는 것.
• Hindry-Silverman의 방법을 발전시켜 악성 감소를 갖는 자리에서의 국소 높이 추정을 통합함으로써 더 날카롭고 명시적인 경계를 도출하는 것.

제안 방법

• 이 방법은 유한한 소수점 집합 $Z$ 위에서 정의된 높이-판별합 $\Lambda(Z)$를 사용하며, 평행사변형 법칙에서 유도된 전역 상한과 Néron 국소 높이 함수에서 유도된 국소 하한을 조합한다.
• 모든 자리 $v \in \mathcal{M}_k$에서 국소 높이 기여를 추정하며, 특히 악성 감소 자리($\mathcal{M}_k^{\text{br}}$)는 $\delta_v$, $c_v$, $\eta_v$에 대한 경계를 사용하여 특별히 다룬다.
• 국소 높이 합에 대해 Jensen의 부등식을 적용하여, $\log|\mathbb{N}(\Delta)|$와 $\log|\mathbb{N}(\mathfrak{f})|$를 포함하는 전역 하한을 유도하며, 이들은 Szpiro 비율 $\sigma$를 통해 연결된다.
• 전역 상한 $\Lambda(Z)$는 개별 캐논리컬 높이 $\hat{h}(P)$에 대한 상한에서 유도되며, 이는 $\log|\mathbb{N}(\Delta)| / (d \sigma^2)$에 비례한다.
• 상한과 하한을 결합하여, 특정 크기 이상의 집합 $Z$에서는 모순이 발생함을 도출함으로써, 작은 유리수 점의 수에 대한 경계를 유도한다.
• 토르션 점의 경계는 이러한 작은 유리수 점의 유한성에서 직접 유도되며, 캐논리컬 높이 하한은 $\hat{h}(MP)$가 임계값을 초과하는 최소 $M$을 분석함으로써 도출된다.

실험 결과

연구 질문

• RQ1 수체 위의 타원곡선에서 유리수 토르션 점의 수는 차수 $d$와 Szpiro 비율 $\sigma$에 대해 다항식적으로만 증가하는 함수로 유계일 수 있는가?
• RQ2 비토르션 유리수 점의 캐논리컬 높이에 대해, 상수가 $d$와 $\sigma$에 대해 명시적이고 다항식적으로만 의존하는 하한을 구성할 수 있는가?
• RQ3 새로운 캐논리컬 높이 경계는 Lang의 추측을 다항식적으로 감소하는 상수를 가진 채로 이끌며, 이는 이전의 지수적 경계와 비교해 어떻게 다른가?
• RQ4 Hindry-Silverman의 방법은 악성 감소를 갖는 자리들을 포함하여 확장될 수 있으며, 더 날카롭고 명시적인 경계를 이끌 수 있는가?
• RQ5 토르션 부분군의 크기와 $d$ 및 $\sigma$의 불변량 사이의 정량적 관계는 무엇이며, 특히 Szpiro의 추측을 가정할 경우 어떻게 되는가?

주요 결과

• 수체 $k$ 위의 $k$-유리수 토르션 점의 수는 $|E(k)_{\text{tor}}| \leq 134861 \cdot d \sigma^2 \log(104613 \cdot d \sigma^2)$를 만족하며, 이는 $d$와 $\sigma$에 대해 다항식적 의존성만을 보인다.
• 비토르션 점의 캐논리컬 높이에 대한 하한은 $\hat{h}(P) \geq \frac{1}{10^{15} d^3 \sigma^6 \log^2(104613 \, d \sigma^2)} \log|\mathbb{N}_{k/\mathbb{Q}}(\Delta_{E/k})|$로 주어지며, 상수는 $d$와 $\sigma$에 대해 다항식적으로 감소한다.
• 토르션 점 경계는 $\sigma = 1$일 때 Hindry-Silverman의 $O(d \log d)$ 경계를 복원하지만, 모든 $\sigma$에 대해 다항식적 제어를 갖는다.
• 이 경계는 Szpiro의 추측이 성립할 경우($\sigma$가 유계일 경우), 토르션 부분군의 크기가 $d$에 대해서만 유계임을 시사한다.
• 캐논리컬 높이 경계는 Szpiro의 추측이 Lang의 추측에 미치는 영향을 강화하며, Lang 부등식의 상수 $c(k)$를 $d$와 $\sigma$에 대해 다항식적으로 감소하는 것으로 취할 수 있음을 보여준다.
• 이 증명 기법은 이전 연구를 발전시켜 악성 감소를 갖는 자리에서의 국소 높이 추정을 통합함으로써, 이전에는 생략되거나 덜 정밀하게 다뤄졌던 부분을 포함한다.