$p$-adic Waldspurger Formula for Non-split Primes and Converse of Gross--Zagier and Kolyvagin Theorem

이 논문은 Yangyu Fan 과 Xin Wan 에 의해 작성된 것으로, 비분할 소수 (non-split primes) 에 대한 p-진 Waldspurger 공식과 **Gross-Zagier-Kolyvagin 정리의 역 (converse)**을 다루고 있습니다. 특히, 허수 이차체 $K$ 위의 자기 쌍대 (self-dual) 헤케 문자 $\psi$에 대해, Selmer 군의 랭크가 1 일 때 $L$-함수의 $s=1$에서의 소멸 차수 (vanishing order) 가 1 임을 증명하는 것을 목표로 합니다.

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

1. 문제 제기 (Problem)

• 배경: 수론의 핵심 문제 중 하나는 $L$-함수의 특수한 값과 산술적 객체 (예: Selmer 군의 랭크) 사이의 깊은 관계를 규명하는 것입니다. Bloch-Kato 추측과 BSD 추측은 $L$-함수의 소멸 차수가 Selmer 군의 랭크와 일치할 것이라고 예측합니다.
• Gross-Zagier-Kolyvagin 정리의 역: $E/\mathbb{Q}$가 타원곡선일 때, Selmer 랭크가 0 또는 1 이면 $L(E, s)$의 $s=1$에서의 소멸 차수도 각각 0 또는 1 이어야 한다는 명제입니다.
• 현재의 한계:
  • 기존 연구 (Skinner, Zhang 등) 는 $p$가 $K$에서 분할 (split) 되는 경우나 $E$가 $p$에서 일반적 (ordinary) 인 경우에 주로 증명되었습니다.
  • $p$가 비분할 (inert 또는 ramified) 인 경우, 특히 $p=2$를 포함하거나 모든 분할 유형에 대해 적용 가능한 일반적인 $p$-진 $L$-함수 구성과 Waldspurger 공식이 부재했습니다.
  • Rubin 은 $p$가 분할되지 않는 경우 (비분할) 에 대해 $\pm$-이와와사 (Iwasawa) 이론을 제안했으나, 그 증명과 적용에 한계가 있었습니다.

2. 방법론 (Methodology)

저자들은 두 가지 주요 전략을 통해 기존 한계를 극복했습니다.

A. 일반화된 p-진 Waldspurger 공식 및 p-진 $L$-함수 구성

• Andreatta-Iovita 의 일반화: Andreatta-Iovita 의 작업을 확장하여, $p$가 $K$에서 비분할인 경우에도 모든 소수 (2 포함), 모든 분할 유형, 모든 가중치에 대해 반순환 (anticyclotomic) $p$-진 $L$-함수를 구성하고 Waldspurger 공식을 확립했습니다.
• 주요 기술적 혁신:
  • 수렴 반경 추정 대체: 기존 기하학적 방법 (수렴 반경의 명시적 추정) 대신, **표현론 (representation theory)**과 국소 테스트 벡터 (local test vector) 이론을 체계적으로 결합했습니다.
  • VBMSS (Vector Bundles with Marked Sections and Splittings): 거의 수렴 (nearly overconvergent) 모듈러 형식의 공간을 정의하고, Serre-Tate 전개 이론을 사용하여 Gauss-Manin 연결의 p-진 반복 (iteration) 을 확립했습니다.
  • 반-정준 영역 (Half-canonical locus): CM 점 (CM points) 이 수렴 영역 내에 있도록 하기 위해 특정 행렬 $g_{\ell, n}$을 이용한 변환을 도입했습니다. 이를 통해 Hasse 불변량 (Hasse invariant) 이 충분히 작아지도록 하여, 비분할 소수에서도 Waldspurger 공식을 적용할 수 있게 했습니다.
  • Syntomic Formalism: 준안정적 축소 (semi-stable reduction) 경우를 처리하기 위해 Andreatta-Bertolini-Seveso-Venerucci 의 최신 이론을 활용하여 Abel-Jacobi 사상을 계산했습니다.

B. 새로운 $\pm$-국소 이와와사 이론 (Local $\pm$-Iwasawa Theory)

• 범용성: $p$가 분할, 비분할 (inert), 분지 (ramified) 인 모든 경우에 유효한 새로운 $\pm$-이와와사 이론을 개발했습니다.
• Rubin 의 이론과의 차이: Rubin 은 $p$의 분지 여부에 따라 아키펠 (Archimedean) 타입이 아닌 conductor 에 따라 $\pm$ 공간을 나누었지만, 저자들은 아키펠 타입에 따라 산술 점 (arithmetic points) 을 $X_1$과 $X_2$로 나누어 정의했습니다.
• 구현 방식:
  • 타원 단위 (elliptic units) 의 명시적 상호법칙 (explicit reciprocity law) 을 사용하여 $\pm$ 부분 모듈을 구성했습니다.
  • 가중치 공간 (weight space) 을 작은 원판 (small disc) 으로 제한하거나, 이와와사 대수의 국소화 (localization) 를 통해 Rubin 추측의 유사체를 증명했습니다.
  • 이를 통해 $H^1(K_p, \psi) = H^1_+ \oplus H^1_-$라는 분해가 성립함을 보였습니다.

C. Heegner 가족 (Heegner Family) 과 Perrin-Riou 추측

• 가상 Heegner 가족 (Virtual Heegner Family): Coleman 가족을 통해 Heegner 점의 가족을 구성하고, 이를 p-진 Waldspurger 공식과 연결하여 "가상 Heegner 가족"을 정의했습니다.
• 비영성 (Non-torsion) 증명: Perrin-Riou 추측의 유사체와 Poitou-Tate 완전열을 사용하여, Selmer 랭크가 1 이라는 가정 하에 이 가상 Heegner 가족이 torsion 이 아님을 증명했습니다. 이는 Gross-Zagier 공식에 의해 $L$-함수의 소멸 차수가 1 임을 의미합니다.

3. 주요 기여 (Key Contributions)

1. 비분할 소수에 대한 p-진 Waldspurger 공식의 완전한 확립: $p=2$를 포함하여 모든 분할 유형과 가중치에 대해 Waldspurger 공식을 유도했습니다. 이는 Andreatta-Iovita 의 결과를 크게 일반화한 것입니다.
2. 새로운 $\pm$-이와와사 이론의 개발: Rubin 의 이론을 확장하여 비분할 소수 ($p$가 inert 또는 ramified) 에 대해서도 유효한 $\pm$-이와와사 이론을 정립했습니다.
3. Gross-Zagier-Kolyvagin 정리의 역 증명 (Self-dual CM Characters): 허수 이차체 위의 자기 쌍대 헤케 문자 $\psi$에 대해, Selmer 랭크가 1 이면 $L(\psi, 1)$의 소멸 차수가 1 임을 증명했습니다. 이는 CM 타원곡선에 대한 중요한 결과입니다.
4. 구체적인 수론적 추측의 증명:
   • Sylvester 추측 (1879): $p \equiv 4, 7, 8 \pmod 9$인 모든 소수는 두 유리수의 세제곱의 합 ($x^3+y^3=p$) 으로 표현된다는 것을 증명했습니다.
   • Goldfeld 추측: CM 타원곡선에 대해 Goldfeld 추측이 참임을 증명했습니다 (A. Smith 의 작업에 조건부).

4. 주요 결과 (Results)

• Theorem 1.1 (Main Theorem): $K$ 위의 자기 쌍대 헤케 문자 $\psi$ (아키펠 타입 $(-1, 0)$) 에 대해, Selmer 군의 랭크가 1 이면 $L(\psi, s)$의 $s=1$에서의 소멸 차수는 정확히 1 입니다.
• Theorem 1.2 (Sylvester's Conjecture): $p \equiv 4, 7, 8 \pmod 9$인 소수 $p$에 대해 $x^3+y^3=p$는 무한히 많은 유리수 해를 가집니다. (이 곡선의 Selmer 랭크가 1 임을 보임)
• Theorem 1.4 (Goldfeld's Conjecture for CM Curves): $K$ 위의 CM 타원곡선 $E$에 대해, 2-진 Selmer 랭크가 0 또는 1 인 2-진 꼬임 (twist) 들이 각각 50% 씩 존재하며, 이는 $L$-함수의 분석적 랭크 0 또는 1 과 일치합니다.

5. 의의 (Significance)

• 이론적 통합: 비분할 소수에서의 p-진 $L$-함수 이론과 Waldspurger 공식을 통합하여, CM 타원곡선과 관련된 산술적 성질 연구에 강력한 도구를 제공했습니다.
• 기하학적 난제 해결: 수렴 반경 추정의 기하학적 어려움을 표현론적 접근 (테스트 벡터 이론) 으로 우회함으로써, 더 넓은 범위의 모듈러 형식과 CM 점에 대한 공식을 가능하게 했습니다.
• BSD 추측 및 랭크 문제: 타원곡선의 랭크 문제 (Rank part of BSD conjecture) 에 대한 중요한 진전을 이루었으며, 특히 CM 경우에서의 랭크 1 인 경우의 역정리를 증명함으로써 BSD 추측의 타당성을 지지하는 강력한 증거를 제시했습니다.
• 고전적 문제 해결: 1879 년 Sylvester 가 제기한 두 세제곱의 합 문제를 해결하여, 현대 정수론 기법이 고전적 디오판토스 방정식 문제에 어떻게 적용될 수 있는지를 보여주었습니다.

이 논문은 p-진 해석학, 대수적 수론, 그리고 기하학의 교차점에서 이루어진 획기적인 연구로, 비분할 소수 상황에서의 p-진 $L$-함수 이론의 지평을 넓혔습니다.