[논문 리뷰] On the non-abelian Brumer-Stark conjecture and the equivariant Iwasawa main conjecture

Henri Johnston, Andreas Nickel|arXiv (Cornell University)|2015. 09. 01.

Algebraic Geometry and Number Theory참고 문헌 24인용 수 5

한 줄 요약

이 논문은 $p$-primary 부분이 비아벨 Brumer–Stark 추측(및 관련 추측들)이 완전히 실수인 필드에 대한 등변 Iwasawa 주요 추측(EIMC)으로부터 유도됨을 보이며, Iwasawa $\mu$-invariant의 영성 가정 없이도 성립한다. 핵심 기여는 사슬군의 에테ール 및 평탄한 호모로지에 의한 새로운 코homological 재해석을 통해 EIMC와 비아벨 Stark 유형 추측들 간의 직접적인 연결 고리를 가능하게 한 것이다.

ABSTRACT

We show that for an odd prime p, the p-primary parts of refinements of the (imprimitive) non-abelian Brumer and Brumer-Stark conjectures are implied by the equivariant Iwasawa main conjecture (EIMC) for totally real fields. Crucially, this result does not depend on the vanishing of the relevant Iwasawa mu-invariant. In combination with the authors' previous work on the EIMC, this leads to unconditional proofs of the non-abelian Brumer and Brumer-Stark conjectures in many new cases.

연구 동기 및 목표

• 완전히 실수인 필드에 대한 등변 Iwasawa 주요 추측(EIMC)으로부터 비아벨 Brumer–Stark 추측의 $p$-primary 부분이 유도됨을 확립하는 것.
• 이전 결과에서 EIMC와 비아벨 Stark 추측들 간의 연결 고리에 있어 $\mu$-invariant의 영성 가정을 제거하는 것.
• EIMC를 통해 새로운 경우에서 비아벨 Brumer 및 Brumer–Stark 추측에 대한 조건 없는 증명을 제공하는 것.
• 비아벨 Fitting 불변량과 하이브리드 $p$-진 군환을 사용하여 Greither–Popescu 및 Nicely의 이전 결과를 일반화하는 것.

제안 방법

• 순환 $\mathbb{Z}_p$-확장의 맥락에서 사슬군을 에테ール 및 평탄한 호모로지로 재해석하는 것.
• 순환 $\mathbb{Z}_p$-확장에 沿한 직접 극한을 사용하여 EIMC의 표준 복합체를 사슬군과 연결하는 것.
• 비아벨 Fitting 불변량 이론을 적용하여 Iwasawa 코-내림을 수행하고 EIMC와 Annihilator 조건을 연결하는 것.
• Iwasawa $\mu$-invariant이 영일 수 없는 상황에서도 EIMC를 기술하기 위해 하이브리드 $p$-진 군환을 사용하는 것.
• 주정리의 조건을 검증하기 위해 프로베누스 군의 구조와 단조성(모노미얼리티)을 활용하는 것.
• 비분할 $p$-확장에 대해 알려진 등변 타마가와 수의 추측(ETNC) 및 강력한 스타크 추측 결과를 활용하는 것.

실험 결과

연구 질문

• RQ1 등변 Iwasawa 주요 추측은 $\mu=0$를 가정하지 않고도 비아벨 Brumer–Stark 추측의 $p$-primary 부분을 함의하는가?
• RQ2 사슬군의 코homological 재해석을 통해 EIMC와 비아벨 Stark 유형 추측들 간의 연결 고리를 확립할 수 있는가?
• RQ3 어떤 군론적 조건(예: 단조성, 프로베누스 구조) 하에서 EIMC는 비아벨 Brumer–Stark 추측을 조건 없이 함의하는가?
• RQ4 Iwasawa $\mu$-invariant이 영이 아니어도 $p$-primary 부분의 강력한 Brumer–Stark 성질은 EIMC로부터 유도될 수 있는가?
• RQ5 추가적인 군론적 제약 조건 하에서 비아벨 Brumer–Stark 추측에서 $S_p \subseteq S$의 가정을 제거할 수 있는가?

주요 결과

• 복소수와 $p$-진 $L$-함수 간의 $s=0$에서의 동치가 성립할 경우, 완전히 실수인 필드에 대해 $p$-primary 부분의 이중 강력한 Brumer–Stark 성질은 EIMC에 의해 함의된다.
• 모든 단조성 군, 즉 모든 메타아벨 및 초가역군에 대해 조건 없이 성립한다.
• CM-확장에서 Galois 군이 $G = U \rtimes V$인 경우, $U$가 $p$-군이거나 $p \nmid |U|$이고 $V$가 아벨일 경우, 비아벨 Brumer 및 Brumer–Stark 추측에 대한 조건 없는 증명을 확보한다.
• L/\mathbb{Q}$가 Galois CM-확장이고 $\mathrm{Gal}(L/\mathbb{Q}) \simeq \langle j \rangle \times G$이며, $G$가 $\ell$-군 핵을 가진 프로베누스 군일 경우, $h^0(\mathrm{Spec}(L))$에 대해 $p$-primary 부분의 ETNC가 성립한다.
• 비분할 $p$-확장에서 $p \neq \ell$일 경우, 하이브리드 $p$-진 군환과 제약 정리들을 사용하여 ETNC의 $p$-마이너스 부분을 확립한다.
• 주정리에 의해 특정 경우, 예를 들어 $L/\mathbb{Q}$가 $\ell$-군 핵을 가진 프로베누스 Galois 군을 가지며 $p$가 비분할일 경우, $S_p \subseteq S$의 가정을 제거할 수 있다.