A refined non-vanishing of the $p$-adic logarithm of a rational point on an abelian variety

이 논문은 아시야 부룬갈레 (Ashay Burungaale), 크리스토퍼 스키너 (Christopher Skinner), 신 완 (Xin Wan) 이 저술한 "A REFINED NON-VANISHING OF THE p-ADIC LOGARITHM OF A RATIONAL POINT ON AN ABELIAN VARIETY" (아벨 다양체 위의 유리점의 p-진 로그의 정제된 비영성) 입니다. 이 논문은 Henri Darmon 의 60 세 생일을 기념하여 헌정되었습니다.

다음은 이 논문의 문제 제기, 방법론, 주요 기여, 결과 및 의의에 대한 상세한 기술적 요약입니다.

---

1. 문제 제기 (Problem Statement)

이 연구의 배경은 Bertolini-Darmon-Prasanna (BDP) 공식에서 비롯됩니다. BDP 공식은 모듈러 형식 $f$에 대한 특정 $p$-진 $L$-함수의 값이 일반화된 Heegner 사이클의 $p$-진 Abel-Jacobi 사상 하의 이미지 (즉, $p$-진 로그) 의 제곱과 관련됨을 보여줍니다.

• 핵심 질문: Heegner 점 $P_f$가 비회전점 (non-torsion point) 일 때, 해당 점의 $p$-진 로그 $\log_{\omega}(P_f)$가 0 이 아닌지 (non-vanishing) 여부입니다.
• 문맥:
  • 타원곡선 ($E$) 의 경우, $E(K)$는 $E(\mathbb{Q}_p)$에 단사적으로 매핑되며, $p$-진 로그의 핵은 오직 회전점 (torsion points) 만이므로, 비회전점의 로그는 자동으로 0 이 아닙니다.
  • 그러나 **일반적인 아벨 다양체 (Abelian Variety, $A$)**의 경우, 특히 $A$가 $GL_2$-유형 (Hilbert modular newforms 과 관련된) 일 때, $p$-진 로그가 비회전점에 대해 항상 0 이 아닐 것이라는 기대는 Iwasawa 이론과 BSD 추측 (Birch and Swinnerton-Dyer conjecture) 의 관점에서 중요하지만, 엄밀한 증명이 부재했습니다.
  • 이전 연구 (C. Skinner 등) 에서 이 질문에 대한 긍정적 답변이 암시적으로 사용되었으나, 그 증명이 제공되지 않았습니다.

이 논문은 $A$가 유리수체 $\mathbb{Q}$ 위에서 정의된 아벨 다양체이고, $F$가 $A$의 엔드모피즘 대수에 포함되는 실수체 (totally real field) 일 때, $A(\mathbb{Q})$의 임의의 비회전점 $x$에 대해 모든 관련 $p$-진 로그가 0 이 아님을 증명하는 것을 목표로 합니다.

2. 방법론 (Methodology)

이 논문의 핵심 도구는 **$p$-진 해석적 부분군 정리 (p-adic analytic subgroup theorem)**입니다.

• $p$-진 해석적 부분군 정리 (Theorem 3.1, 3.2):

  • 아벨 다양체 $A$ 위의 유리점 $x$와 그 $p$-진 로그 $\log_A(x)$가 특정 $\mathbb{Q}$-부분공간 $W_p$에 속한다고 가정합니다.
  • 이 정리는 $x$가 (유리수 배수를 곱한 후) $A$의 $\mathbb{Q}$-정의된 아벨 부분다양체 $B$에 속하며, $B$의 접공간 $t_B$가 $W$에 포함됨을 보장합니다.
  • 이 정리는 $p$-초월수론 (transcendence theory) 의 결과에 기반합니다.

• 증명 전략:

  1. 반증법 (Proof by Contradiction): 어떤 비회전점 $x$와 특정 미분형식 $\omega$에 대해 $\log_\omega(x) = 0$이라고 가정합니다.
  2. 부분다양체 도출: 위 정리를 적용하여 $x$를 포함하는 비자명한 아벨 부분다양체 $B \subset A$가 존재함을 보입니다.
  3. 구조적 모순 도출:
     • $A$의 엔드모피즘 대수 구조 (특히 $F$의 작용) 와 $B$의 차원 관계를 분석합니다.
     • $B$가 존재한다는 가정은 $A$의 엔드모피즘 대수가 $F \times F$로 확장될 수 있음을 의미하거나, $A$가 복소수 곱셈 (CM) 을 가진다는 등의 강한 조건을 요구합니다.
     • 논문에서 설정한 조건 (예: $F$가 실수체를 가짐, $A$가 특정 CM 조건을 만족하지 않음 등) 하에서는 이러한 확장이 불가능하거나, $B$의 존재가 $x$의 정의체와 충돌하여 모순을 일으킵니다.

3. 주요 결과 (Key Results)

논문은 다음과 같은 주요 정리들을 제시합니다.

Theorem 1.1 (핵심 정리)

$A/\mathbb{Q}$를 아벨 다양체라 하고, $F \subset \text{End}^0_{\mathbb{Q}}(A)$를 부분체라 합시다.

• 조건: (a) $\dim(A) = [F : \mathbb{Q}]$, (b) $F$는 적어도 하나의 실수 삽입 (real embedding) 을 가짐.
• 결론: $A(\mathbb{Q})$의 임의의 비회전점 $x$와 모든 $\sigma \in \Sigma_F$ 및 $0 \neq \omega \in \Omega_\sigma$에 대해 $\log_\omega(x) \neq 0$입니다.
• 이는 BDP 공식과 관련된 Heegner 점의 $p$-진 로그가 0 이 아님을 보장합니다.

Theorem 2.3 (일반화된 정리)

$A$가 수체 $L$ 위에서 정의되고, $E$가 $\text{End}^0_L(A)$에 포함되는 수체일 때,

• 조건: (a) $\dim(A) = [E : \mathbb{Q}]$, (b) $E \times E$로의 확장이 존재하지 않거나, 확장되더라도 $H$가 그 'trace field'를 포함하지 않음.
• 결론: $A(H)$의 비회전점 $x$에 대해 모든 $\sigma$와 $\omega$에 대해 $\log_\omega(x) \neq 0$.

Theorem 2.5 (CM 경우)

$A$가 $E$에 대한 CM (복소수 곱셈) 을 가지며 $E'$이 CM 체일 때, 비회전점 $x$에 대해 $p$-진 로그가 0 이 아님을 증명합니다.

Theorem 2.11 (BSD 추측의 p-부분 적용)

$GL_2$-유형 아벨 다양체 $B_f$에 대해, $L(f, s)$의 분석적 차수가 1 일 때, BSD 추측의 $p$-부분 (특히 $L$-함수의 도함수와 regulator, Tate-Shafarevich 군의 크기 관계) 이 성립함을 보입니다. 이는 $p$-진 로그의 비영성이 핵심 전제조건으로 작용합니다.

Theorem 1.2 (Poonen 의 질문과 구조적 랭크)

$A(\mathbb{Q})$의 점들이 생성하는 $p$-진 폐집합의 차원에 대한 Poonen 의 질문과 관련하여, 구조적 랭크 추측 (structural rank conjecture) 이 참일 때, $p$-진 로그로 생성된 공간의 차원이 $\min\{r \cdot \deg(F), \dim(A)\}$임을 보입니다.

4. 의의 및 기여 (Significance and Contributions)

1. BDP 공식의 엄밀한 기초 확립:

   • Bertolini-Darmon-Prasanna 공식 및 Gross-Zagier 공식과 결합하여, $GL_2$-유형 아벨 다양체에 대한 BSD 추측의 증명 과정에서 암묵적으로 사용되던 "$p$-진 로그의 비영성"에 대한 엄밀한 증명을 제공합니다.
   • 이는 타원곡선에서 아벨 다양체로 결과를 확장한 중요한 진전입니다.

2. $p$-진 초월수론의 적용:

   • $p$-진 해석적 부분군 정리를 아벨 다양체의 구체적인 기하학적 구조 (엔드모피즘 대수, CM 유형 등) 와 결합하여 비영성 문제를 해결한 방법론적 기여를 합니다.

3. BSD 추측 및 Iwasawa 이론에의 영향:

   • $L$-함수의 도함수가 0 이 아닐 때 (즉, $L$-함수가 단순 영점을 가질 때), 해당 아벨 다양체의 유리점의 랭크가 기대치와 일치하고, Tate-Shafarevich 군이 유한하다는 것을 보장하는 데 필수적인 조건을 충족시킵니다.
   • 특히, $p$-진 $L$-함수와 $p$-진 로그 사이의 관계를 명확히 함으로써 Iwasawa 이론의 주요 추측 (Main Conjecture) 과의 연결고리를 강화합니다.

4. Poonen 의 질문 해결:

   • 아벨 다양체의 유리점 집합의 $p$-진 폐집합의 차원에 대한 Poonen 의 질문에 대해, $F$가 실수체이고 $\dim(A) = [F:\mathbb{Q}]$인 경우 긍정적인 답변을 제공합니다.

요약

이 논문은 $p$-진 해석적 부분군 정리를 강력한 도구로 활용하여, $GL_2$-유형 아벨 다양체 (및 더 일반적인 경우) 에 정의된 비회전점의 $p$-진 로그가 0 이 아님을 증명했습니다. 이 결과는 BDP 공식의 타당성을 확고히 하고, BSD 추측의 $p$-부분 증명에 결정적인 역할을 하며, 아벨 다양체의 $p$-진 점들의 구조에 대한 이해를 심화시켰습니다.