Uniform Bounds on S-Integral Torsion Points for $\mathbb{G}_m$ and Elliptic Curves

기술 요약: $G_m$ 및 타원 곡선에 대한 $S$-정수적 잉여점의 균등 바운드

문제 정의
본 논문은 비잉여점(non-torsion point) $\beta$에 대한 $S$-정수적 잉여점(S-integral torsion points)의 개수와 차수에 대한 균등 바운드(uniform bounds)를 설정하는 문제를 다룬다. $K$를 수체(number field)라 하고, $S$를 모든 아르키메데스적 장소를 포함하는 유한한 장소(places)의 집합이라 하자. 두 점 $\alpha, \beta$는 이들의 $\mathbb{P}^1_{\mathcal{O}_K}$에서의 자리스키 폐쇄(Zariski closures)가 $S$ 외부에서 교차하지 않을 때 서로 $S$-정수적이라고 정의된다.

Baker, Ih, 그리고 Rumely [BIR08]의 기초적인 결과(Theorem 1.1)는 고정된 $\beta \in K^\times \setminus \mu_\infty$에 대하여, $\beta$와 $S$-정수적인 관계에 있는 단위근(roots of unity) $\zeta$의 집합이 유한함을 확립하였다. 본 논문은 이를 강화하여, $\beta$가 유계된 차수의 수체들 위에서 변하더라도 이러한 잉여점들의 차수나 위(order)에 대한 바운드를 $\beta$의 구체적인 선택과 무관하게 만들 수 있는지, 즉 **균등성(uniformity)**을 증명하고자 한다.

방법론
핵심 방법론은 잉여점의 갈로아 궤도(Galois orbits)에 대한 **양적 등분포(quantitative equidistribution)**에 의존한다. 논문의 증명 전략은 다음과 같다:

1. 등분포 프레임워크:

   • 곱셈군 $G_m$의 경우, 본 논문은 베르코비치 사영 직선 $\mathbb{P}^1_{\text{Berk}, v}$와 Favre–Rivera-Letelier [FR06]의 양적 등분포 정리를 활용한다. 이를 통해 기저체가 변함에 따라 갈로아 궤도가 평형 측도(아르키메데스적 장소에서는 단위 원 위의 하아 측도, 비아르키메데스적 장소에서는 가우스 점에서의 델타 질량)로 수렴하는 속도를 명시적으로 제어할 수 있다.
   • 타원 곡선 $E$의 경우, Baker–Petsche [BP05] 및 Petsche [Pet09]의 결과를 적응시킨다. 본 논문은 $E^{\text{an}}_v$의 정형적 측도(canonical measure)로의 잉여 궤도의 수렴에 대한 유사한 양적 추정치를 구성한다(아르키메데스적 장소에서는 하아 측도, 비아르키메데스적 장소에서는 스켈레톤 측도).

2. 로그에 대한 선형 형식(Linear Forms in Logarithms):
   잉여점과 변하는 $\beta$ 사이의 거리(바운딩)를 다루기 위해, 본 논문은 로그에 대한 선형 형식의 하한을 사용한다.

   • $G_m$의 경우, Laurent, Mignotte, 그리고 Nesterenko [LMN95]의 바운드를 사용한다.
   • 타원 곡선의 경우, 일반적인 경우에 대해서는 David–Hirata-Kohno [DH09]를, 복소 곱셈(CM) 케이스에 대해서는 Ably–Gaudron [AG03]의 결과를 활용한다.
   • 결정적인 기술적 단계는 $\lambda_v(x - \beta)$(국소 높이)를 갈로아 궤도의 크기 $|F|$와 높이 $h(\beta)$에 대해 바운딩하는 것이다. 본 논문은 일반적인 타원 곡선 바운드가 $\log^+ h(\beta)$ 항을 포함하고 있으며, 이것이 직접적인 균등 바운드를 방해한다는 점을 언급하며, 유한한 수의 예외적인 궤도를 허용해야 함을 밝힌다.

3. 이산성 논증(Discreteness Arguments):
   비아르키메데스적 장소에 대해, 본 논문은 잉여류 내에서의 잉여점의 이산성을 이용한다. 고정된 $\beta$에 대하여, $v$-적(v-adic) 메트릭 상에서 $\beta$에 "너무 가까울" 수 있는 잉여점은 제한된 수뿐임을 보여줌으로써, 다항식 바운드를 달성하기 위해 작은 예외 집합을 제외할 수 있음을 입증한다.

주요 기여 및 결과

1. 곱셈군($G_m$)에 대하여:

• Theorem 1.2: 비잉여점 $\beta$에 대해 $S$-정수적인 단위근 $\zeta$의 차수에 대한 균등 바운드를 확립한다. 여기서 $\beta$는 차수가 $\le D$인 수체들 위에서 변한다. 구체적으로, 상수 $C = C([K:\mathbb{Q}], S)$가 존재하여 $\deg_{\mathbb{Q}}(\zeta) < C$를 만족한다.
• Theorem 1.3: 유한한 수의 예외를 허용하는 더 강력한 결과를 제공한다. 임의의 $\beta$에 대하여, $|S|$와 $[K:\mathbb{Q}]$에 대한 다항식 바운드를 초과하는 차수를 가진 $S$-정수적 단위근의 집합은 최대 $|S_{\text{fin}}|$개의 갈로아 궤들로 구성된다. 바운드는 체의 차수에 따라 다항식적으로 증가하지만, 일반적인 증명은 지수적 바운드를 산출하며, 다항식 바운드는 예외를 허용함으로써 달성된다.

2. 타원 곡선($E$)에 대하여:

• Theorem 1.4 (CM 케이스): 복소 곱셈(CM)을 갖는 타원 곡선의 경우, 본 논문은 비잉여점 $\beta$에 대해 $S$-정수적인 잉여점 $z$의 차수에 대한 균등 바운드를 증명한다. CM 가정은 타원 로그에 대한 선형 형식에서 $\log^+ h(\beta)$ 항을 제거할 수 있게 하여, 예외 없이 결과를 도출하는 데 결정적이다.
• Theorem 1.5 (일반 케이스): (CM 가정이 없는) 준안정(semistable) 타원 곡선 $E$에 대하여, 본 논문은 유한한 수의 갈로아 궤들을 제외하고 성립하는 균등 바운드를 증명한다. 구체적으로, $|S|^3 [L:K]^{11}$을 포함하는 바운드를 초과하는 $S$-정수적 잉여점의 집합은 최대 $|S|$개의 갈로아 궤들의 합집합이다. 예외가 발생하는 이유는 일반적인 타원 로그에 대한 선형 형식 바운드에 $\log^+ h(\beta)$ 항이 포함되어 있으며, 아르키메데스적 추정치가 이러한 예외를 모두 배제하기에는 충분히 강하지 않기 때문이다.

의의 및 주장
본 논문은 Baker, Ih, 그리고 Rumery [BIR08]의 유한성 결과를 **균등성(uniformity)**의 영역으로 확장한다고 주장한다. [BIR08]이 고정된 $\beta$에 대한 유한성을 증명했다면, 본 연구는 잉여점에 대한 바운드가 $\beta$ 자체의 구체적인 산술적 성질보다는 $\beta$를 포함하는 체의 차수와 집합 $S$에 의해서만 결정됨을 보여준다.

저자들은 $G_m$에 대한 증명(Theorem 1.2)이 $[K:\mathbb{Q}]$의 차수에 따라 지수적으로 증가하는 상한을 제공하는 반면, Boyd의 구성을 바탕으로 한 다항식적 증가가 기대된다는 점을 언급한다. 또한, 다항식적 바운드(Theorem 1.3)는 작은, 명시적으로 제한된 수의 예외적 갈로아 궤들을 허용할 때만 가능하다는 점을 명확히 한다.

타원 곡선의 경우, 저자들은 Theorem 1.4에서 예외를 피하기 위해 복소 곱셈(CM) 가정이 기술적으로 필수적임을 강조하며, 이는 비-CM 곡선에 대한 타원 로그의 선형 형식의 현재 한계 때문이라고 설명한다. 일반적인 타원 곡선에 대한 결과(Theorem 1.5)는 현재 지식 하에서 최선의 균등 바운드로 제시되며, 기저 디오판토스 근사 정리의 로그 높이 인자를 극복하기 위해 유한한 수의 궤들을 제외할 것을 요구한다.

본 논문은 이러한 결과들을 유리 사상(rational maps)에 대한 $S$-정수적 주기점(preperiodic points)의 유한성에 관한 Ih의 추측이라는 더 넓은 맥락 속에 위치시키며, 여기서 개발된 방법론이 등분포 정리와 결합되어 드린펠트 모듈(Drinfeld modules)로 확장될 수 있고 잠재적으로 일반적인 추측으로 이어질 수 있음을 시사하며 결론을 맺는다.