[논문 리뷰] Iwasawa Main Conjecture for Heegner Points: Supersingular Case

Francesc Castella, Xin Wan|arXiv (Cornell University)|2015. 06. 08.

Advanced Algebra and Geometry참고 문헌 14인용 수 5

한 줄 요약

이 논문은 $a_p = 0$ 인 초등형 타원곡선 위의 히그너 점에 대해 반대칭 Iwasawa 주요 추측을 증명하며, 코바야시 정신에 따라 $"+"$-구조를 통해 $p$-진 $L$-함수와 세일머 군 사이의 정밀한 연결 고리를 확립한다. 증명은 호와드의 방법과 최근의 Rankin-Selberg $p$-진 $L$-함수에 관한 결과를 결합하여, 준동형사상 $X^+ \sim \Lambda \oplus X^+_{\mathrm{tor}}$ 와 히그너 점 오일러 시스템에 대한 $p$-진 $L$-함수의 공식을 도출한다.

ABSTRACT

In this paper we propose and prove an anticyclotomic Iwasawa main conjecture for Heegner points on supersingular elliptic curves with $a_p=0$. The result has a "$\pm$" nature in the sense of Kobayashi. The proof uses a recent work of the second author on one divisibility in the Iwasawa--Greenberg main conjecture for Rankin-Selberg $p$-adic $L$-functions, together with an argument of Howard (adapted to our "$\pm$"-situation). As a byproduct, we also obtain an improvement of Skinner's result on a converse to the Gross--Zagier--Kolyvagin theorem.

연구 동기 및 목표

• 초등형 타원곡선 위의 히그너 점에 대해 반대칭 Iwasawa 주요 추측을 수립하고 증명하는 것.
• 고전적 방법이 실패하는 $p$에서 비일반적 행동을 보이는 초등형 설정으로 고전적 Iwasawa 주요 추측을 확장하는 것.
• 코바야시의 $\pm$-구조를 이용해 $p$-진 $L$-함수와 오일러 시스템 간의 정밀한 관계를 확립하는 것.
• 일반적 케이스에서의 결과를 초등형 케이스로 일반화하여, 국소 갈루아 코hom로지와 세일머 조건이 근본적으로 다름을 반영하는 것.

제안 방법

• 반대칭 $\mathbb{Z}_p^2$-확장 $\mathcal{K}_\infty$ 에서 $\kappa_1^+ \in H^1_{\mathcal{F}^+}(\mathcal{K}, \mathbf{T})$ 를 포함하는 히그너 점의 가속을 구성한다.
• 두 개의 Poitou-Tate dualit의 시퀀스를 사용하여, 다른 세일머 조건($\mathcal{F}^+$, $\mathcal{F}_v^+$, $v$, 등)을 갖는 $\pm$-상황에 적응된 호와드의 방법을 적용한다.
• 완의 최근 연구를 활용하여 Iwasawa-Greenberg 주요 추측의 하나의 포함관계를 증명한다.
• 특수화에 따른 $\mathcal{F}^+$-세일머 군에 대한 명시적 상호법칙과 제어 정리(사이클로모닉에서 반대칭 확장으로의 대체)를 활용한다.
• $\Lambda$-모듈의 구조 정리를 적용하여 Pontryagin 쌍대 $X^+ = H^1_{\mathcal{F}^+}(\mathcal{K}, \mathbf{A})^*$ 와 그 자유부와 토르 부로의 분해를 분석한다.
• $\iota$-쌍대성과 $\omega_n^\pm$-연산자를 사용하여 세일머 군의 나누기 가능성과 핵의 성장도 제어하며, $p$-거듭제곱 토르의 유계성을 증명한다.

실험 결과

연구 질문

• RQ1 $a_p = 0$ 인 초등형 케이스에서 Heegner 점에 대한 Iwasawa 주요 추측을 확장할 수 있는가?
• RQ2 코바야시의 $\pm$-구조는 반대칭 설정에서 고전적 Iwasawa 주요 추측을 어떻게 정교화하는가?
• RQ3 초등형 케이스에서 $p$-진 $L$-함수와 히그너 점 오일러 시스템 간의 정밀한 관계는 무엇인가?
• RQ4 세일머 군 $H^1_{\mathcal{F}^+}(\mathcal{K}, \mathbf{A})^*$ 와 그 $\Lambda$-모듈 구조는 타원곡선의 산술적 성질을 어떻게 反영하는가?
• RQ5 이 새로운 주요 추측을 통해 고츠-자지어-콜리바진 정리의 역을 개선할 수 있는가?

주요 결과

• 논문은 $X^+ \sim \Lambda \oplus X^+_{\mathrm{tor}}$ 를 포함하는 준동형사상을 확립하며, 여기서 $X^+ = H^1_{\mathcal{F}^+}(\mathcal{K}, \mathbf{A})^*$ 이다. 이는 쌍대 세일머 군이 자유부와 토르 부로 분해됨을 보여준다.
• 가정 (2) 하에, $\Lambda$ 의 임의의 고도 1의 소수 $P$ 에 대해, 토르 부의 $P$-진 값은 $\mathrm{lg}_P X^+_{\mathrm{tor}} = 2 \cdot \mathrm{lg}_P \left( \frac{H^1_+(\mathcal{K}, T \otimes \Lambda(\Psi))}{\Lambda \kappa_1^+} \right)$ 를 만족하며, 이는 $p$-진 $L$-함수와 오일러 시스템을 연결한다.
• 가정 (1) 하에, 동일한 공식이 모든 고도 1의 소수 $P \neq (p)$ 에 대해 성립하며, 더 넓은 범위의 $p$-진 $L$-함수로 결과를 확장한다.
• 증명은 사이클로모닉 제어를 대체하는 반대칭 설정에서의 $\mathcal{F}^+$-세일머 군에 대한 정교화된 제어 정리를 기반으로 한다.
• 저자들은 $\mathcal{A}_{n,n'}^+ \to \Lambda^*$ 의 사상의 핵의 크기가 $m$ 에 관계없이 유계임을 증명하며, 이는 세일머 군의 성장 제어에 필수적이다.
• 부산물로, 논문은 스카이너의 역정리를 개선하여 $p$-진 $L$-함수의 비영성과 모를라-베일 군의 계수 간의 더 강력한 연결 고리를 확립한다.