[논문 리뷰] Elliptic curves and class field theory

Barry Mazur, Karl Rubin|ArXiv.org|2003. 04. 16.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 13

한 줄 요약

이 논문은 허수 정수환 위의 타원곡선과 Iwasawa 이론, 계수체 이론을 수직 $\Lambda$-모듈을 통해 연결하는 프레임워크를 제안하며, 이러한 모듈이 $p$에서의 반대칭 산술을 조직화한다고 주장한다. 핵심 결과는 적절한 수직 $\Lambda$-모듈의 존재가 다변수 및 반대칭 주요 추측, $\Lambda$-adic Gross-Zagier 추측, 높이 추측을 포함한 여러 중심 추측의 참을 암시한다는 것이다.

ABSTRACT

Suppose $E$ is an elliptic curve defined over $\Q$. At the 1983 ICM the first author formulated some conjectures that propose a close relationship between the explicit class field theory construction of certain abelian extensions of imaginary quadratic fields and an explicit construction that (conjecturally) produces almost all of the rational points on $E$ over those fields. Those conjectures are to a large extent settled by recent work of Vatsal and of Cornut, building on work of Kolyvagin and others. In this paper we describe a collection of interrelated conjectures still open regarding the variation of Mordell-Weil groups of $E$ over abelian extensions of imaginary quadratic fields, and suggest a possible algebraic framework to organize them.

연구 동기 및 목표

• 허수 정수환의 아벨 확장 위의 타원곡선 산술을 Iwasawa 이론과 계수체 이론과 통합하는 것.
• Mordell-Weil 군의 변화에 관한 열린 추측을 정리하기 위해 수직 $\Lambda$-모듈을 통한 일관된 대수적 프레임워크를 제시하는 것.
• 분석적 $p$-adic $L$-함수, 세일머 군, 보편 노름 모듈 간의 다리를 놓기 위해 반대칭 설정에서의 연결 고리 수립.
• Heegner 점과 Iwasawa 모듈의 맥락에서 $p$-adic 높이 쌍화와 유도된 쌍화 간의 관계를 명확히 하는 것.

제안 방법

• Iwasawa 대수 $\mathbf{Z}_p[[\mathbf{\Gamma}]]\otimes\mathbf{Q}_p$ 위의 수직 $\Lambda$-모듈 $V$ 를 도입하며, 여기서 $\mathbf{\Gamma} \cong \mathbf{Z}_p^2$이다.
• 모듈 $V$ 가 $(E,K,p)$의 반대칭 산술을 조직하기 위해 다음 세 조건을 만족하도록 정의한다: 판별식이 다변수 $p$-adic $L$-함수와 일치하고, 이중 세일머 군과 동형이며, Heegner 점과 높이 쌍화와 호환되어야 한다.
• 모듈 $M$ 과 $E/\mathbf{K}_\infty$ 위의 $p$-primary 세일머 군 $\mathcal{S}_p(E/\mathbf{K}_\infty)$ 사이의 동형사상 $\varphi_V: M \xrightarrow{\sim} \mathcal{S}_p(E/\mathbf{K}_\infty)$ 를 통해 $M$ 을 $\mathbf{Z}_p^2$-확장 위의 $E$ 의 $p$-primary 세일머 군과 연결한다.
• 유한 확장 $F$ 에 대해 $F$-유도된 쌍화의 표준성과 $V(F) \cong \mathcal{U}(F)$ 를 통해 보편 노름 모듈 $\mathcal{U}$ 와 $E(F)\otimes\mathbf{Q}_p$ 간의 관계를 설정한다.
• 특정 $F$-유도된 쌍화 $V(F)\otimes V(F)^{(\tau)} \to \Gamma_{\mathrm{cycl}}\otimes\Lambda_{\mathrm{anti}}$ 의 상사상성에 기반해 높이 추측을 $\Lambda$-adic Gross-Zagier 추측과 연결한다.
• 특성 이상수 $\mathrm{char}_{\Lambda_{\mathrm{anti}}}(M\otimes\Lambda_{\mathrm{anti}})_{\mathrm{tors}}$ 와 이상수 $J$ 간의 관계를 이용해 반대칭 주요 추측을 유도한다.

실험 결과

연구 질문

• RQ1 주어진 가정 하에 $(E,K,p)$의 반대칭 산술을 조직하는 수직 $\u039b$-모듈 $V$ 가 존재하는가?
• RQ2 유한 확장 $F$ 에 대해 $E(F)\otimes\mathbf{Q}_p$ 위의 $p$-adic 높이 쌍화와 $V(F)$ 위의 $F$-유도된 쌍화 간의 관계는 무엇인가?
• RQ3 만약 그러한 모듈 $V$ 가 존재한다면, 이는 $E$ 의 다변수 및 반대칭 주요 추측을 암시하는가?
• RQ4 $\u039b$-adic Gross-Zagier 추측과 높이 추측은 $V$ 의 존재와 $V(K_\infty^{\mathrm{anti}})$ 위의 쌍화의 상사상성으로부터 유도될 수 있는가?
• RQ5 반대칭 Iwasawa 이론에서 세일머 군, $L$-함수, 노름을 통합하는 정확한 대수적 구조는 무엇인가?

주요 결과

• 수직 $\u039b$-모듈 $V$ 가 반대칭 산술을 조직하는 경우, 다변수 주요 추측이 성립하며, 이는 $\mathrm{disc}(V) = \mathbf{L}$ 이 $\mathrm{char}_{\u039b}(M)$ 을 생성하기 때문이다.
• 다변수 주요 추측이 성립함에 따라, 동형사상 $\varphi_V$ 와 세일머 군의 구조를 통해 순환 주요 추측이 유도된다.
• 유도된 쌍화 $V(K_\infty^{\mathrm{anti}})\otimes V(K_\infty^{\mathrm{anti}})^{(\tau)} \to \Gamma_{\mathrm{cycl}}\otimes\Lambda_{\mathrm{anti}}$ 가 상사상이라면, 높이 추측이 성립하며, 이는 추측 8과 동치이다.
• $\u039b$-adic Gross-Zagier 추측과 반대칭 주요 추측은 쌍화의 상사상성과 $H$ 가 $\mathcal{H}$ 와 호환됨을 통해 특성 이상수와 모듈 이론을 통해 유도된다.
• $p$-adic $L$-함수 $\mathbf{L}$ 이 $\mathbf{I}_{K_\infty^{\mathrm{anti}}}/\mathbf{I}_{K_\infty^{\mathrm{anti}}}^2$ 에서의 상이 $\mathrm{char}(B)^2 \cdot \mathbf{I}_{K_\infty^{\mathrm{anti}}}/\mathbf{I}_{K_\infty^{\mathrm{anti}}}^2$ 를 생성함으로써 분석적 및 산술적 불변량을 연결한다.
• 모든 $\mathbf{K}_\infty$ 내의 유한 확장 $F$ 에 대해 $V(F) \cong \mathcal{U}(F)$ 이므로, 보편 노름 모듈 $\mathcal{U}(F)$ 는 $E(F)\otimes\mathbf{Q}_p$ 의 $p$-adic 실현으로서 실현된다.