A $p$-Converse theorem for Real Quadratic Fields

기술 요약: 실수 이차체에 대한 p-역(p-Converse) 정리

문제 정의
본 논문은 실수 이차체($F$) 위에서 정의된 타원 곡선에 대한 "p-역" 문제를 다룬다. 구체적으로, 본 연구는 계수(rank) 1의 맥락에서 그로스-자기에르(Gross-Zagier) 및 콜리바긴(Kolyvagin) 정리의 역을 규명하고자 한다. 고전적인 정리는 해석적 계수가 1이면 대수적 계수가 1이고 타테-샤파레비치 군(Tate-Shafarevich group)이 유한하다고 기술하는 반면, 역 문제는 만약 대수적 계수가 1이고 타테-샤파레비치 군의 $p$-부분이 유한하다면, 해석적 계수가 1이 되는지를 묻는다.

이러한 역 결과는 이전에 주로 $\mathbb{Q}$ 위의 타원 곡선(예: Skinner, Zhang, Venerucci의 연구)이나 특정 감소 유형(reduction types)에 대해 확립되어 왔다. 본 논문은 $p > 5$가 $F$에서 불멸(inert)인 유리 소수이며, 타원 곡선 $E/F$가 $p$ 위의 소 $\mathfrak{p}$에서 분리 곱셈 감소(split multiplicative reduction)를 갖는 경우로 하여, 이러한 결과를 실수 이차체의 설정으로 확장한다.

방법론
저자들은 대수적 계수와 해석적 계수 사이의 간극을 메우기 위해 히다 이론(Hida theory), 이와사와 이론(Iwasawa theory), 그리고 셀메 복합체(Selmer complexes) 이론의 정교한 합성을 활용한다. 증명 전략은 다음과 같은 핵심 요소들에 의존한다:

1. 히다 가족과 거대 갈루아 표현(Hida Families and Big Galois Representations): 타원 곡선 $E$는 평행 가중치 2를 갖는 힐베르트 모듈러 형식 $f$와 연관된다. 저자들은 $f$를 통과하는 히다 가족 $\mathbf{f}$와 그에 따른 거대 갈루아 표현 $T_f$를 활용한다. 이들은 이산 가치 환(discrete valuation ring) $I_P$ 위에서 국소화된 히다 가족 내에서 작업한다.
2. 이와사와 주 추측 (Wan의 정리): 증명은 $p$가 $K/F$에서 분할(split)되는 전 허수 이차체의 힐베르트 모듈러 형식에 대한 이와사와 주 추측(Wan [Wan15]에 의해 확립됨)에 크게 의존한다. 이는 셀메 군의 특성 아이디얼이 $p$-진 $L$-함수에 의해 생성되는 아이디얼에 포함된다는 것을 제공한다.
3. 3변수 및 4변수 $p$-진 $L$-함수: 저자들은 중심 임계(central critical) $p$-진 $L$-함수를 구성하고 활용한다. 이들은 $k=2$에서의 중심 임계 $p$-진 $L$-함수 $L^{cc}_p(\mathbf{f}_\infty/K, k)$의 소멸 차수와 특정 셀메 군의 폰트랴긴 쌍생(Pontryagin dual)의 길이를 연관시킨다.
4. 네코바르(Nekovář)의 셀메 복합체: 셀메 군의 구조를 분석하기 위해 저자들은 네코바르의 셀메 복합체 이론을 사용한다. 이를 통해 이 복합체의 코호몰로지에 대한 $p$-진 가중치 쌍생(weight pairing)을 정의할 수 있다.
5. 제어 정리와 쌍생 계산(Control Theorems and Pairing Computations): 무한 확장 위에서의 셀메 군을 기저 체 위의 엄격한 셀메 군과 연관시키는 제어 정리를 증명하는 것이 핵심 단계이다. $p$-진 가중치 쌍생(특히 타원 곡선 상의 점들의 $p$-진 로그와 관련된 것)을 계산함으로써, 저자들은 셀메 모듈의 정확한 길이를 결정한다.

주요 기여 및 결과
본 논문은 다음과 같은 주요 정리(정리 1.3 / 정리 9.2)를 확립한다:

• 주 정리: $F$를 실수 이차체라 하고, $p > 5$를 $F$에서 불멸인 소수라고 하자. $E/F$를 $p$ 위의 소 $\mathfrak{p}$에서 분리 곱셈 감소를 갖는 타원 곡선이라 하자. 잔여 표현이 절대적 기약(absolutely irreducible)이고 최소 모듈러 리프팅(minimal modular lifting, MML)이 존재한다고 가정할 때, 만약:

  1. $\text{rank}_{\mathbb{Z}} E(F) = 1$ 이고,
  2. 타테-샤파레비치 군 $\text{Ш}(E/F)_{p^\infty}$의 $p$-부분이 유한하면,
     그러면 해석적 계수는 1이다: $\text{ord}_{s=1} L(E/F, s) = 1$.

• 동치 관계: 이를 장(Zhang)의 그로스-자기에르 정리 일반화와 결합하여, 저자들은 계수 1의 경우에 대한 동치 관계를 확립한다:
  $$\text{rank}_{\mathbb{Z}} E(F) = 1 \text{ 및 } \#\text{Ш}(E/F) < \infty \iff \text{ord}_{s=1} L(E/F, s) = 1$$

• $\mathbb{Q}$에 대한 적용: 결과로서, 저자들은 $\mathbb{Q}$ 위의 타원 곡선에 대한 강화된 $p$-역 정리(정리 1.5)를 증명한다. $p > 5$이고 $E$가 $p$에서 분리 곱셈 감소를 갖는 경우, 베네루치(Venerucci)의 이전 연구[Ven16]에서 요구되었던 특정 성질을 가진 소 $q$의 존재라는 기술적 가설을 제거한다.

의의 및 주장
본 논문은 실수 이차체 상의 타원 곡선에 대해 계수 1의 $p$-역 정리를 확립한 첫 번째 연구라고 주장한다. 그 의의는 다음과 같다:

• 범위의 확장: 힐베르트 모듈러 형식의 성질과 이차 확장에서의 소의 거동으로 인한 추가적인 복잡성이 존재하는 유리체 $\mathbb{Q}$를 넘어 실수 이차체로 범위를 넓혔다.
• 기존 결과의 정교화: $\mathbb{Q}$에 대한 적용은 실수 이차체에서 개발된 전략이 제한적인 가설을 제거함으로써 $\mathbb{Q}$ 상의 기존 결과를 어떻게 단순화하고 강화할 수 있는지를 보여준다.
• 방법론적 합성: 본 연구는 비-CM(non-CM) 설정의 전형적인 실수체 위에서 Wan의 이와사와 주 추측과 네코바르의 셀메 복합체 및 $p$-진 가중치 쌍생을 성공적으로 통합하였다.

저자들은 Wan의 정리에 사용된 후지와라(Fujiwara)의 결과에 의한 제약으로 인해, 갈루아 표현의 사영 이미지가 특정 예외적인 경우를 제외한다면 $p=5$에 대해서도 결과가 성립한다고 언급한다. 논문은 레오폴트(Leopoldt) 추측이 성립하는 일반적인 전형적인 실수체(totally real number fields)로 이러한 기법들이 잠재적으로 확장될 수 있음을 시사하며 결론을 맺지만, CM의 경우는 아마도 다른 방법이 필요할 것임을 인정한다.