[논문 리뷰] Dirichlet $L$-series at $s=0$ and the scarcity of Euler systems

Dominik Bullach, David Burns외 2명|arXiv (Cornell University)|2021. 11. 29.

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

한 줄 요약

이 논문은 수체 위의 $Γ_m$에 대한 오일러 시스템의 구조에 관한 정련된 추측—'희귀성 추측'—을 제시한다. 이 추측은 모든 오일러 시스템이 루빈–스타르크 시스템으로부터 $Γ_k$-모듈 작용을 통해 유도된다는 것을 주장한다. '오일러 극한' 이론을 새롭게 개발하여 역극한, 오일러 시스템, 페리낭-루이 함수형을 통합함으로써, $k = \mathbb{Q}$ 또는 허수 정수환 분야에서 표준적인 $μ$-소멸 가정 하에 추측을 증명하고, 전체 실수 분야에 대한 카토의 추측의 '마이너스 부분'을 확립한다.

ABSTRACT

We study Euler systems for $\mathbb{G}_m$ over a number field $k$. Motivated by a distribution-theoretic idea of Coleman, we formulate a conjecture regarding the existence of such systems that is elementary to state and yet strictly finer than Kato's equivariant Tamagawa number conjecture for Dirichlet $L$-series at $s=0$. To investigate the conjecture, we develop an abstract theory of `Euler limits' and, in particular, prove the existence of canonical `restriction' and `localisation' sequences in this theory. By using this approach we obtain a variety of new results, ranging from a proof, modulo standard $μ$-vanishing hypotheses, of our central conjecture in the case $k$ is $\mathbb{Q}$ or imaginary quadratic to a proof of the `minus part' of Kato's conjecture in the case $k$ is totally real. In proving these results, we also show that higher-rank Euler systems for a wide class of $p$-adic representations control the structure of Iwasawa-theoretic Selmer groups in the manner predicted by `main conjectures'.

연구 동기 및 목표

• 수체 위의 $Γ_m$에 대한 오일러 시스템의 희귀성에 관한 정밀하고 기본적인 추측을 제안하여, $s=0$에서 카토의 동형 타마고바 수 추측을 정교화한다.
• 비노에테리안 설정에서 발생하는 대수적 장벽을 극복하기 위해, 역극한, 오일러 시스템, $p$-진 함수론을 통합하는 일반적인 '오일러 극한' 이론을 개발한다.
• 표준적인 $μ$-소멸 가정 하에 $k = \mathbb{Q}$ 또는 허수 정수환 분야에서 희귀성 추측을 증명한다.
• 고차원 오일러 시스템이 메인 추측에서 예측한 바와 같이 이와사와 이론적 세일머 그룹을 제어함을 보여준다.
• 콜럼보가 영감을 줬 글로벌 분포 이론적 아이디어를 통합하여 오일러 시스템 분류에 개념적 프레임워크를 제공한다.

제안 방법

• Γ_k = \varprojlim_E \mathbb{Z}[\mathrm{Gal}(E/k)] 위에서 갈로아-등변적 구조를 포함하는 오일러 극한의 새로운 추상 이론을 개발한다.
• 오일러 극한 프레임워크 내에서 표준적인 $p$-진 '제한'과 글로벌 '국소화' 정합수열을 구성한다.
• 완비화 함자와 의사등장사상( pseudo-isomorphisms )을 사용하여 분류 문제를 $p$-주요 성분으로 환원한다.
• 위어스트라스 준비정리와 순서 이론을 적용하여 이와사와 대수와 $Γ_n$-환 위의 모듈 구조를 분석한다.
• 순환단위와 타원단위의 구조를 활용하여 이와사와 주요 추측 설정에서의 나누어떨어짐 조건을 검증한다.
• 오일러 극한 형식론을 통해 정수 오일러 시스템과 코리바진 시스템을 연결하는 통일화 정리를 확립한다.

실험 결과

연구 질문

• RQ1 수체 위의 $Γ_m$에 대한 오일러 시스템의 희귀성은 $s=0$에서 카토의 타마고바 수 추측을 정교화하는 단일이고 기본적인 추측으로 기술될 수 있는가?
• RQ2 $Γ_k$가 노에테리안이거나 컴act하지 않은 경우, 고전적이고 수평적 이와사와 이론을 어떻게 통합하여 $Γ_k$ 위의 정수 오일러 시스템을 연구할 수 있는가?
• RQ3 고차원 오일러 시스템은 메인 추측에서 예측한 바와 같이 이와사와 세일머 그룹의 구조를 어느 정도 제어하는가?
• RQ4 자연스러운 보조 조건 하에 '루빈–스타르크 시스템'은 $k = \mathbb{Q}$ 또는 허수 정수환 분야에서 모든 오일러 시스템을 생성하는가?
• RQ5 콜럼보의 글로벌 분포 이론적 아이디어는 어떻게 형식화되어 오일러 시스템에 대한 강력한 구조적 결과를 도출하는 데 사용될 수 있는가?

주요 결과

• 2와 모든 분지된 소수를 역으로 취한 후, $k = \mathbb{Q}$ 또는 허수 정수환 분야에서 표준적인 $μ$-소멸 가정 하에 희귀성 추측이 증명되었다.
• 이와사와 극한 프레임워크를 사용하여 전체 실수 분야에 대한 카토의 추측의 '마이너스 부분'이 확립되었다.
• 오일러 극한 이론은 표준적인 $p$-진 제한 및 글로벌 국소화 정합수열의 구성 가능성을 보장한다.
• 고차원 오일러 시스템이 메인 추측에서 예측한 바와 같이 이와사와 세일머 그룹을 제어하는 것으로 밝혀졌다.
• 정리 A의 증명은 특별한 값의 $\mathcal{R}_n$-순서와 이와사와 모듈 내 의사등장사상의 세밀한 분석에 기반한다.
• 저자들은 오일러 극한 형식론을 통해 정수 오일러 시스템과 코리바진 시스템을 연결하는 통일화 정리를 확립하여, 구조적 분류를 가능하게 하였다.