Lower bound for the canonical on Abelian varieties over totally $p$-adic extensions

기술 요약: 완전 $p$-진 확장체 위에서의 아벨 다양체에 대한 정준 높이의 하한

문제 정의
본 논문은 수체 위에서 정의된 아벨 다양체의 비토션(non-torsion) 점들에 대하여, 이 점들이 무한 대수적 확장체에 속할 때의 절대적 하한을 설정하는 문제를 다룬다. 핵심 초점은 **보고모로프 성질(Bogomolov property)**이며, 이는 무한 확장 $K$ 내의 비토션 점들의 집합이 양의 높이 하한을 가짐을 단언한다:
$$\liminf_{P \in A(K) \setminus A_{\text{tor}}(K)} \hat{h}(P) > 0.$$
이 성질은 실수체(Zhang), 최대 아벨 확장(Baker–Silverman), 그리고 완전 퇴화 케이스에서의 특정 완전 $v$-진 체(Gubler)에 대해서는 알려져 있으나, **양호한 환원(good reduction)**을 갖는 고차원 아벨 다양체의 **완전 $p$-진 점(totally $p$-adic points)**에 대한 일반적인 하한은 미해결 문제로 남아 있었다. 구체적으로, 저자는 양호한 환원을 갖는 아벨 다양체의 완전 $p$-진 점에 대한 보고모로프 성질에 관한 V. Dimitrov의 질문을 다룬다.

방법론
증명은 초월수론의 기법, 특히 **보조 함수 방법(auxiliary function method)**과 **영 추정치(zero estimates)**를 기하학적으로 적응시킨 방법을 사용한다. 핵심 전략은 다음과 같은 단계들을 포함한다:

1. 단순 다양체로의 축소: 포앵카레의 완전 가약성 정리(Poincaré's complete reducibility theorem)를 사용하여, 문제를 $A$가 기하학적으로 단순(geometrically simple)하고 선다발 $L$이 매우 풍부한(very ample) 경우로 축소한다.
2. 보조 섹션의 구성: 저자는 **지겔의 보조 정리(Siegel's Lemma)**를 사용하여 전역 섹션 공간 $\Gamma(A \times A, M \otimes L)$ (여기서 $M = L \boxtimes L$) 내의 0이 아닌 보조 섹션 $F$를 구성한다. 이 섹션은 아벨 다양체의 원점에서 높은 차수 $T_0$로 소멸하도록 설계된다. $F$의 계수들은 작은 높이를 갖도록 선택된다.
3. 높이 추정 및 리우빌 부등식: 점 $P \in A(K)$에 대하여, 논문은 $P$와 그 도함수들의 $F$의 값을 분석한다. 만약 $P$가 특정 노름 $q$를 갖는 많은 장소(places)들에 대해 모듈로(modulo) 항등원으로 환원된다면, 도함수들의 국소적 값들은 작아진다. 반대로, $P$의 전역 높이가 작다면, 리우빌 부등식은 이들 국소적 값들의 곱에 대한 하한을 제공한다.
4. 영 추정치 (Philippon의 정리): 보조 함수 $F$가 낮은 높이를 갖는 너무 많은 점들에서 소멸하는 것을 방기하기 위해, 저자는 Philippon의 영 추정치를 적용한다. 이 정리는 특정 부분 다양체를 따라 일정 차수로 소멸하는 섹션의 영(zero)의 개수를 제한한다. 결정적으로, $A$가 단순하다고 가정되었으므로, 임의의 적절한 대수적 부분군은 자명하며, 이는 영 집합이 유한하고 통제 가능하게 만든다.
5. 매개변수 선택: 증명은 매개변수들의 섬세한 균형을 필요로 한다: 섹션의 차수 $L$, 소멸 차수 $T_0$, 그리고 첫 번째 0이 아닌 도함수의 차수 $T_f$. 이들은 만약 특정 임계값 미만의 높이를 갖는 점들의 집합이 무한하다면 모순을 도출하도록 최적화된다.

주요 결과
본 논문은 다음의 주요 정리들을 확립한다:

• 정리 1.1 (완전 $p$-진 확장체): 유한한 소수 집합 $\mathcal{P}$가 존재하여, $p \notin \mathcal{P}$인 경우 $\psi_{p^f} > 0$인 임의의 점근적 양의 확장 $K/\mathbb{Q}$에 대하여, 정준 높이는 다음을 만족한다:
  $$\liminf_{P \in A(K)} \hat{h}(P) \geq C(A, K) \frac{\psi_{p^f} \log(p^f)}{(p^f)^{2g}}.$$
  여기서 $\psi_q$는 확장 내에서 노름 $q$를 갖는 소 아이디얼의 밀도를 측정한다.

• 따름정리 1.2 (최대 완전 $p$-진 확장): 최대 완전 $p$-진 확장 $\mathbb{Q}(p)$에 대하여, 유한한 수를 제외한 모든 소수 $p$에 대해 다음이 성립한다:
  $$\liminf_{P \in A(\mathbb{Q}(p))} \hat{h}(P) \geq C(A) \frac{\log p}{p^{2g}}.$$
  이는 양호한 환원 케이스에서 $A(\mathbb{Q}(p))$에 대한 보고모로프 성질을 확인해 준다.

• 정리 1.3 (일반적인 점근적 양의 확장): 점근적으로 양의 성질을 갖는 일반적인 무한 확장 $K/K$에 대하여, 하한은 모든 관련 소수 거듭제곱에 대한 합이다:
  $$\liminf_{P \in A(K)} \hat{h}(P) \geq C'(A, K) \sum_{q=p^k, p \notin \mathcal{P}} \psi_q \frac{\log q}{q^{2g}}.$$

의의 및 주장
본 논문은 양호한 환원 케이스에서 아벨 다양체의 완전 $p$-진 점들에 대해 보고모로프 성질이 확립된 첫 번째 사례를 제공한다고 주장한다. 이전의 Gubler의 결과는 완전 퇴화 케이스를 다루었으며, Chambert-Loir의 결과는 양호한 환원 케이스에서 자리스키 조밀한 열린 부분집합에 대해서만 성질을 확립했다.

저자는 본 결과가 다음과 같은 이유로 중요하다고 강조한다:

1. V. Dimitrov가 제기한 특정 질문에 답한다.
2. 비갈루아(non-Galois) 설정(점근적 양의 확장)에서 고차원 아벨 다양체($g > 1$)로 보고모로프 성질에 대한 이해를 확장한다.
3. 하한이 국소적 성질(via $\psi_q$)과 다양체의 차원에 의존하며, 경계 내의 모든 장소들로부터의 기여를 결합하여 명시적인 하한을 제공한다.

이 연구는 Szpiro-Ullmo-Zhang의 기초적인 등분포 정리와 David 및 Hindry의 보조 함수 기법을 바탕으로 하며, 이를 특정 산술적 제약이 있는 완전 $p$-진 체에 맞게 적응시킨 것이다.