[논문 리뷰] An Eisenstein ideal for imaginary quadratic fields and the Bloch-Kato conjecture for Hecke characters

Tobias Berger|arXiv (Cornell University)|2007. 01. 05.

Advanced Algebra and Geometry참고 문헌 39인용 수 7

한 줄 요약

이 논문은 헤크 특성의 세일머 군 크기의 하한을 구하여 허수 제곱수체 위에서의 헤크 특성에 대해 블로흐-카토 추측을 증명한다. 이는 GL₂/F의 코homology에서 아이zenstein 코homology 클래스와 커푸실 코homology 클래스 사이의 합동을 통해 이루어지며, 보조적 모듈러 형식에 연결된 갈루아 표현과 특수 L값을 통한 아이젠슈타인 이상의 지표를 제한함으로써 이루어진다. 이로써 무분할 헤크 특성의 무한대 유형이 z²인 경우 세일머 군 크기가 블로흐-카토 추측의 예측과 일치함을 증명한다.

ABSTRACT

For certain algebraic Hecke characters chi of an imaginary quadratic field F we define an Eisenstein ideal in a p-adic Hecke algebra acting on cuspidal automorphic forms of GL_2/F. By finding congruences between Eisenstein cohomology classes (in the sense of G. Harder) and cuspidal classes we prove a lower bound for the index of the Eisenstein ideal in the Hecke algebra in terms of the special L-value L(0,chi). We further prove that its index is bounded from above by the order of the Selmer group of the p-adic Galois character associated to chi^{-1}. This uses the work of R. Taylor et al. on attaching Galois representations to cuspforms of GL_2/F. Together these results imply a lower bound for the size of the Selmer group in terms of L(0,chi), coinciding with the value given by the Bloch-Kato conjecture.

연구 동기 및 목표

• 허수 제곱수체 위의 헤크 특성에 대한 세일머 군 크기의 하한을 확립한다.
• GL₂/F의 코homology에서 아이젠슈타인 코homology 클래스와 커푸실 코homology 클래스 사이의 합동을 구성한다.
• 헤케 대칭에서 아이젠슈타인 이상의 지수를 특수 L값 L(0,χ)과 연결한다.
• 갈루아 표현과 합동을 통해 세일머 군 크기가 블로흐-카토 추측의 예측과 일치함을 보인다.

제안 방법

• 무한대 유형이 z인 헤크 특성 χ에 대해 GL₂/F의 커푸실 자동형식에 작용하는 헤케 대칭 T에 있는 아이젠슈타인 이상 Iϕ를 구성한다.
• 경계 제약 성질에 기반한 일반적 설정(보조정리 9)을 통해 아이젠슈타인 및 커푸실 클래스 사이의 코homological 합동을 사용한다.
• 테일러 등이 수행한 작업을 응용하여 코homological 커푸실 형식에 갈루아 표현을 부착함으로써 χpε의 세일머 군 원소를 구성한다.
• 세일머 군 크기가 아이젠슈타인 이상 Iϕ가 T에 속하는 지수의 하한으로 제한됨을 증명한다.
• 고차 코hom로에서의 토르션 문제를 해결하기 위해, 무분할 특성에 대해 경계 제약 사상 분석을 통해 H²_c(S, R)_torsion = 0임을 보인다.
• 회전 변환 기법을 사용하여 커푸실 형식이 사이클로토믹 중심 특성을 가지도록 하며, 테일러의 심플렉틱 군으로의 상향 이행과 호환되도록 한다.

실험 결과

연구 질문

• RQ1 허수 제곱수체의 맥락에서 아이젠슈타인 및 커푸실 코homology 클래스 사이의 합동을 사용하여 세일머 군 크기를 제한할 수 있는가?
• RQ2 헤케 대칭에서 아이젠슈타인 이상의 지수가 p-진 갈루아 특성의 세일머 군 크기를 제어하는가?
• RQ3 아이젠슈타인 코homology와 합동을 통해 허수 제곱수체 위의 헤크 특성에 대한 블로흐-카토 추측을 검증할 수 있는가?
• RQ4 특수 L값 L(0,χ)은 아이젠슈타인 이상의 지수와 세일머 군 크기와 어떻게 관련이 있는가?

주요 결과

• 헤케 대칭 T에서 아이젠슈타인 이상 Iϕ의 지수는 특수 L값 L^alg(0,χ)의 p-진 절댓값에 의해 하한이 제시된다.
• p-진 갈루아 특성 χpε의 세일머 군 크기는 Iϕ의 지수에 의해 하한이 제시되며, 이는 L(0,χ)와 연결되어 있다.
• 무분할 헤크 특성의 무한대 유형이 z²인 경우, 세일머 군 크기의 p-진 절댓값은 L^int(0,χ)의 대수적 L값의 p-진 절댓값과 일치한다.
• F = Q(√-67), p = 19인 예시에서 val₁₉(L^alg(0,χ)) = 1이므로, 세일머 군 크기는 최소 19 이상이며, 이는 비자명한 하한을 제공한다.
• 결과적으로 주어진 헤크 특성에 대해 블로흐-카토 추측이 확인되었으며, 예측된 세일머 군 크기와 계산된 크기가 일치한다.