정수점 이하 높이 하한을 위한 명시적 추정식

초록

이 논문은 복소수 곱셈(CM) 타원을 가진 타원곡선에 대해, 최대 아벨리안 확장 위의 비정주점들의 Néron–Tate 높이가 일정한 양수보다 크게 되는 명시적 하한을 제시한다. 하한은 기본체의 차수와 타원의 j-불변량만을 이용해 계산 가능하며, 판별식에 의존하지 않는다.

상세 분석

본 연구는 Amoroso‑David‑Zannier가 제시한 다항식과 곱셈군에 대한 낮은 높이 추정 기법을 타원곡선의 Néron–Tate 높이에 적용한다는 점에서 혁신적이다. 기존 Baker의 결과는 체의 판별식에 비례하는 상수를 사용했으나, 저자는 Chebotarev 밀도정리를 회피하고, 전역 높이를 지역 높이의 합으로 분해한 뒤, 좋은 환원(good reduction)과 아벨리안 확장의 특성을 이용해 각 장소에서의 하한을 명시적으로 제어한다. 핵심은 Lemma 2.1에서 제시된 “aP − bσ(P) ≠ 0” 조건 하에, 비아르키메디안 장소에서의 로그‑p 항을 정확히 추출하고, 아키메디안 장소에서는 j‑불변량에 의존하는 상수 C(j_E)만 남기는 것이다. Proposition 2.2는 Galois 군의 차수 p인 원소들의 작용을 이용해, τ(P) − P 가 p‑무한 차원 군에 속하지 않도록 하는 가정을 도입하고, 이를 통해 ˆh(P) ≥ (1/4)·q⁴·(1/d·log q − C(j_E)) 형태의 하한을 얻는다. 여기서 q는 선택된 소수 ℘의 노름이며, d=