[논문 리뷰] On the Brumer-Stark Conjecture

Samit Dasgupta, Mahesh Kakde|arXiv (Cornell University)|2020. 10. 01.

Algebraic Geometry and Number Theory인용 수 5

한 줄 요약

이 논문은 p=2를 제외한 상태에서 Brumer–Stark 추측을 증명하기 위해, 군환 값의 힐버트 모듈러 형식과 쌍곡형 모듈러 형식 및 아이zenstein 급수 사이의 정밀한 합동을 이용하여, T-스무쓰화된 클래스군의 프로너티엔 쌍대의 마이너스 부분의 0차 피팅 아이디얼에 대한 더 강력한 공식을 확립함으로써 이를 달성한다. 주요 결과는 이 피팅 아이디얼이 스티클버거 원소들에 의해 생성된다는 것을 보여주며, 이는 Z[1/2] 위에서 루빈의 고차원 일반화된 추측을도 추론한다.

ABSTRACT

Let $H/F$ be a finite abelian extension of number fields with $F$ totally real and $H$ a CM field. Let $S$ and $T$ be disjoint finite sets of places of $F$ satisfying the standard conditions. The Brumer-Stark conjecture states that the Stickelberger element $Θ^{H/F}_{S, T}$ annihilates the $T$-smoothed class group $ ext{Cl}^T(H)$. We prove this conjecture away from $p=2$, that is, after tensoring with $\mathbf{Z}[1/2]$. We prove a stronger version of this result conjectured by Kurihara that gives a formula for the 0th Fitting ideal of the minus part of the Pontryagin dual of $ ext{Cl}^T(H) \otimes \mathbf{Z}[1/2]$ in terms of Stickelberger elements. We also show that this stronger result implies Rubin's higher rank version of the Brumer-Stark conjecture, again away from 2. Our technique is a generalization of Ribet's method, building upon on our earlier work on the Gross-Stark conjecture. Here we work with group ring valued Hilbert modular forms as introduced by Wiles. A key aspect of our approach is the construction of congruences between cusp forms and Eisenstein series that are stronger than usually expected, arising as shadows of the trivial zeroes of $p$-adic $L$-functions. These stronger congruences are essential to proving that the cohomology classes we construct are unramified at $p$.

연구 동기 및 목표

• CM 확장 H/F에 대해 F가 전부 실수인 경우, p=2를 제외한 상태에서 Brumer–Stark 추측을 증명하기 위해.
• T-스무쓰화된 클래스군의 프로너티엔 쌍대의 마이너스 부분의 0차 피팅 아이디얼을 포함하는 더 강력한 형태의 추측을 수립하기 위해.
• 이 더 강력한 결과가 Z[1/2] 위에서 루빈의 고차원 일반화된 Brumer–Stark 추측을 암시한다는 것을 보여주기 위해.
• p-진 L함수의 영점이 없는 경우에 기인한, 쌍곡형 모듈러 형식과 아이젠슈타인 급수 사이의 합동을 이용하여, 분비되지 않은 갈루아 코hom올로지 클래스를 구성하기 위해.
• 군환 값의 힐버트 모듈러 형식과 일반형 사영을 사용하여, p에서의 분비를 제어하는 리베트의 방법을 확장하기 위해.

제안 방법

• 전체 실수체 위에서 군환 값의 힐버트 모듈러 형식을 사용하여 리베트의 방법을 일반화하고, 이전의 그로스–스타르 추측 작업을 기반으로 함.
• p-진 L함수의 영점이 없는 경우에 기인한, 기대 이상으로 강력한 쌍곡형 모듈러 형식과 아이젠슈타인 급수 사이의 합동을 구성함.
• 헤케 대수에서 일반형 사영을 사용하여 p-진 형식의 가닥을 분리하고, 이에 연결된 갈루아 표현을 제어함.
• Galois 코호몰로지에 의해 표현되는 세일머 모듈 ∇을 정의하고, 그의 피팅 아이디얼을 전치 행렬의 표현을 통해 계산함.
• 피팅 아이디얼 이론을 적용하여 ∇의 구조를 스티클버거 원소, 특히 갈루아 모듈의 마이너스 부분과 연관시킴.
• 핵심 보조정리 (B.7)를 사용하여 ∇의 피팅 아이디얼을 다양한 부분체 위에서의 노름 아이디얼과 스티클버거 원소의 곱과 연결함으로써, 쿠리하라의 추측을 최종적으로 증명함.

실험 결과

연구 질문

• RQ1 정밀한 코호몰로지 기법을 사용하여 p=2를 제외한 상태에서 Brumer–Stark 추측을 증명할 수 있는가?
• RQ2 스티클버거 원소에 대해 T-스무쓰화된 클래스군의 0차 피팅 아이디얼에 대한 더 강력한 구조적 진술이 존재하는가?
• RQ3 p-진 L함수의 영점이 없는 경우, 갈루아 코호몰로지 맥락에서 쌍곡형 모듈러 형식과 아이젠슈타인 급수 사이의 합동에 어떤 영향을 미치는가?
• RQ4 더 강력한 피팅 아이디얼 공식은 Z[1/2] 위에서 루빈의 고차원 일반화된 Brumer–Stark 추측을 암시하는가?
• RQ5 힐버트 모듈러 형식을 통해 구성된 코호몰로지 클래스들이 이러한 정밀한 합동을 통해 p에서 분비되지 않음을 보일 수 있는가?

주요 결과

• Brumer–Stark 추측은 Z[1/2]와의 텐서곱을 거친 후에도 성립한다. 즉, 스티클버거 원소 Θ^{H/F}_{S,T}는 T-스무쓰화된 클래스군 Cl^T(H) ⊗ Z[1/2]를 소멸시킨다.
• 더 강력한 형태의 추측이 증명되었다: Cl^T(H) ⊗ Z[1/2]의 프로너티엔 쌍대의 마이너스 부분의 0차 피팅 아이디얼은 S_∞ ⊂ J ⊂ S_∞ ∪ S_ram 를 만족하는 모든 J에 대해 Θ_{J,T}(H^{ar{J}}/F)의 스티클버거 원소들에 의해 생성된다.
• 피팅 아이디얼 계산은 모듈 ∇의 표현 행렬을 통해 이루어지며, 그 행렬식이 피팅 아이디얼을 주며, 식 (175)에 의해 나타난다.
• 결과는 Z[1/2] 위에서 루빈의 고차원 일반화된 Brumer–Stark 추측을 암시하며, 이는 정리 B.8에 의해 확립되었다.
• 핵심 기술적 혁신은 p-진 L함수의 영점이 없는 경우에 기인한, 쌍곡형 모듈러 형식과 아이젠슈타인 급수 사이의 예상 이상의 강력한 합동을 구성한 것으로, 이는 p에서 분비되지 않은 코호몰로지 클래스를 보장한다.
• 증명는 정밀한 일반형 사영의 버전과 군환 값의 힐버트 모듈러 형식의 사용에 의존하여 갈루아 작용과 코호몰로지 구조를 제어한다.