[논문 리뷰] On the Iwasawa main conjectures for modular forms at non-ordinary primes

Francesc Castella, Mirela Çiperiani외 2명|arXiv (Cornell University)|2018. 04. 29.

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

한 줄 요약

이 논문은 제곱-free 수준 조건 하에 비정상적 소수에서 휘수 2인 모듈라 형식에 대한 Iwasawa 주요 추측을, 허수 제곱수 체 위에서 이변수 Iwasawa 이론과 반대칭적 제어를 사용하여 증명한다. 핵심 결과는 부호화된 세름 군과 부호화된 p진 L함수의 특성 이상수의 등식을 확립함으로써, 이러한 형식의 초과잉 설정에서 Kato의 주요 추측을 확인한다.

ABSTRACT

In this paper, we prove under mild hypotheses the Iwasawa main conjectures of Lei--Loeffler--Zerbes for modular forms of weight $2$ at non-ordinary primes. Our proof is based on the study of the two-variable analogues of these conjectures formulated by Büyükboduk--Lei for imaginary quadratic fields in which $p$ splits, and on anticyclotomic Iwasawa theory. As application of our results, we deduce the $p$-part of the Birch and Swinnerton-Dyer formula in analytic ranks $0$ or $1$ for abelian varieties over $\mathbb{Q}$ of ${ m GL}_2$-type for non-ordinary primes $p>2$.

연구 동기 및 목표

• 비정상적 소수에서 초과잉 설정의 휘수 2 모듈라 형식에 대한 Iwasawa 주요 추측을 확립하기 위해.
• 허수 제곱수 체 위에서 이변수 설정으로 부호화된 Coleman 사상과 부호화된 세름 군의 프레임워크를 확장하기 위해.
• 부호화된 세름 군과 부호화된 p진 L함수 사이의 특성 이상수의 등식을 증명함으로써, Kato의 주요 추측을 비정상적 경우에 검증하기 위해.
• Q 위의 GL₂-유형 아벨 다양체에 대해 비정상적 소수에서 Birch와 Swinnerton-Dyer 공식의 p-부분을 유도하기 위해.

제안 방법

• p가 분할되는 허수 제곱수 체 위에서 이변수 Iwasawa 이론을 사용하여, 부호화된 Beilinson–Flach 계열을 구성하고, 명시적 상호법칙을 확립한다.
• 부호화된 Coleman 사상과 부호화된 로그 사상을 적용하여 이중부호 세름 군을 정의하고, 순환 Zp-확장 위에서 그 구조를 제어한다.
• 반대칭적 Iwasawa 이론을 활용하여, 부호화된 Heegner 점과 θ-요소를 사용하여 p진 L함수와 세름 군을 연결한다.
• p진 L함수의 보간 성질과 쌍대성 정리들을 사용하여, 이변수 설정에서 특성 이상수 간의 등식 체인을 확립한다.
• Kato의 오일러 시스템 결과와 Lei–Loeffler–Zerbes의 작업을 응용하여 주요 추측을 약분 성질로 환원한다.
• 부호화된 세름 군의 토르션성과 p진 L함수의 비영성에 기반하여, 모듈-이론적 추론과 Iwasawa 모듈의 구조 정리로 이상수의 등식을 유도한다.

실험 결과

연구 질문

• RQ1 비정상적 소수에서 휘수 2 모듈라 형식에 대한 Iwasawa 주요 추측은 초과잉 케이스에서 성립하는가?
• RQ2 p가 분할되는 허수 제곱수 체 위에서 이변수 설정으로 부호화된 주요 추측을 확장할 수 있는가?
• RQ3 부호화된 세름 군의 특성 이상수는 해당 부호화된 p진 L함수에 의해 생성되는 이상수와 같은가?
• RQ4 특성 이상수의 등식은 Q 위의 GL₂-유형 아벨 다양체에 대해 비정상적 소수에서 Birch와 Swinnerton-Dyer 공식의 p-부분을 암시하는가?
• RQ5 반대칭적 Iwasawa 이론 프레임워크를 사용하여, 부호화된 주요 추측에서 반대 방향의 약분을 증명할 수 있는가?

주요 결과

• 논문은 제곱-free 수준과 비정상적 소수 p > 2를 가진 새로운 형식 f에 대해, 부호화된 세름 군 Sel^•(Q, A^cyc)가 O_L[[Γ^cyc]]-cotorsion임을 증명한다.
• 각 부호 • ∈ {♯,♭}에 대해, L_p^•(f/Q) ≠ 0이면 O_L[[Γ^cyc]]에서 이상수의 등식 Char_{O_L[[Γ^cyc]]}(Sel^•(Q, A^cyc)^∨) = (L_p^•(f/Q)) 가 성립함을 증명한다.
• 결과적으로 이는 f에 대해 초과잉 설정에서 Kato의 주요 추측을 확인하며, 이러한 형식에 대한 Iwasawa 주요 추측의 증명을 완성한다.
• 논문은 Q 위의 GL₂-유형 아벨 다양체에 대해 비정상적 소수에서 해석적 계수 0 또는 1일 때 Birch와 Swinnerton-Dyer 공식의 p-부분을 유도한다.
• 반대칭적 Zp-확장 위에서 부호화된 세름 군의 특성 이상수는 두 변수 추론을 통해 부호화된 p진 L함수에 의해 생성됨을 보여준다.
• 증명은 적어도 하나의 부호화된 p진 L함수가 비영임을 보장하는 Rohrlich의 결과에 기반하며, Iwasawa 모듈의 구조를 활용하여 이상수의 등식을 도출한다.