[논문 리뷰] A Mordell-Weil theorem for abelian varieties over fields generated by torsion points

Michael Larsen|ArXiv.org|2005. 03. 18.

Algebraic Geometry and Number Theory참고 문헌 3인용 수 4

한 줄 요약

이 논문은 수체 위의 아벨 다양체에 대해 모든 토르션 점들로 생성된 체 위에서 멀티플리케이션-웨일 유형 정리의 결과를 확장한다. $ρ_\ell$-표현의 갈루아 코hom로와 테이트 모듈러스 위의 $ρ_\ell$-행동의 성질을 이용하여, $A(K^{\mathrm{tor}})$의 토르션 부분군을 나눈 몫이 유한 생성이 아니어도 자유 아벨 군임을 증명한다.

ABSTRACT

If A is an abelian variety over a number field K, and L is a (possibly infinite) extension of K generated by torsion points of A, then the quotient of A(L) by its torsion subgroup is a free abelian group.

연구 동기 및 목표

• 수체 위의 아벨 다양체의 모든 토르션 점들로 생성된 체로 멀티플리케이션-웨일 정리를 확장하기 위해.
• 특히 토르션 없는 몫의 구조를 이해하기 위해 $A(K^{\mathrm{tor}})$의 멀티플리케이션-웨일 군의 구조를 분석하기 위해.
• 무한 생성일지라도 $A(K^{\mathrm{tor}})/A(K^{\mathrm{tor}})_{\mathrm{tor}}$ 가 자유 아벨 군임을 보여주기 위해.
• 아벨 다양체의 맥락에서 쿠머 이론과 갈루아 코호몰로지 간의 상호작용을 분석하기 위해.

제안 방법

• 구조 분석을 위해 $i=1,2$ 에 대해 갈루아 코호몰로지 $H^i(G_\ell, T_\ell)$ 를 사용한다.
• 모든 $\ell \gg 0$ 에 대해 $H^i(G_\ell, T_\ell)$ 가 0이 되는 것을 이용하여 유한성과 토르션 없음을 유도한다.
• 갈루아 군의 코호몰로지를 부분군의 코호몰로지와 연결하기 위해 리놀드-호프시لد-세르 스펙트럴 시퀀스를 적용한다.
• $\ell$-진 리 군에 대해 군과 리 대수의 코호몰로지 간 라자드의 동형을 활용한다.
• $\ell$-진 표현의 순수성과 반단순성을 이용하여 $V = T_\ell \otimes \mathbb{Q}_\ell$ 이면 $H^i(G_\ell, V) = 0$ 임을 보인다.
• $\ell$-토르션에서 고정점 행동이 통제 가능한 원소를 생성하기 위해 보고몰로프의 정리를 적용한다.

실험 결과

연구 질문

• RQ1 아벨 다양체의 모든 토르션 점들로 생성된 체 위에서 멀티플리케이션-웨일 군이 자유 아벨 군인가?
• RQ2 유한 생성이 아니어도 몫 $A(K^{\mathrm{tor}})/A(K^{\mathrm{tor}})_{\mathrm{tor}}$ 는 여전히 자유 아벨 군인가?
• RQ3 모든 $\ell \gg 0$ 에 대해 $H^i(G_\ell, T_\ell)$ 의 코호몰로지 소멸을 이용하여 $A(K^{\mathrm{tor}})$ 의 구조적 성질을 유도할 수 있는가?
• RQ4 쿠머 이론적 확장과 토르션 체가 아벨 다양체의 맥락에서 어느 정도 상호작용하는가?

주요 결과

• 무한 생성일지라도 $A(K^{\mathrm{tor}})/A(K^{\mathrm{tor}})_{\mathrm{tor}}$ 는 자유 아벨 군이다.
• 모든 $i \geq 0$ 에 대해 갈루아 코호몰로지 $H^i(G_\ell, T_\ell)$ 는 유한하고, 특히 $i=1,2$ 에 대해 $\ell \gg 0$ 일 때 0이 된다.
• $\rho_\ell$ 가 비영이 아닌 무게를 가지며 순수하고 반단순일 경우, 코호몰로지 $H^i(G_\ell, T_\ell)$ 는 0이 된다.
• 모든 소수 $\ell$ 에 대해 멀티플리케이션-웨일 군의 포화는 $A(K^{\mathrm{tor}})$ 의 $\ell$-포화에 대해 유한 지수를 가지며, 이는 자유성 보장에 기여한다.
• 체 $K^{\mathrm{tor}}$ 는 점들의 $\ell$-거듭제곱근을 취하는 데 닫혀 있으며, 모든 $\ell$ 에 대해 군 $A(K^{\mathrm{tor}})$ 는 $\ell$-포화되어 있다.
• 결과는 $K_A^{\mathrm{tor}}$ 의 부분체 $L \subset K_A^{\mathrm{tor}}$ 로도 확장되며, 임의의 아벨 다양체 $B$ 에 대해 $B(L)_{\mathrm{tf}}$ 는 자유 아벨 군이다.