[논문 리뷰] An equivariant Iwasawa main conjecture for local fields

Andreas Nickel|arXiv (Cornell University)|2018. 03. 15.

Algebraic Geometry and Number Theory참고 문헌 23인용 수 3

한 줄 요약

이 논문은 $p$-진 필드의 유한 갈루아 확장에 대해, 비분비적 $Δ_p$-확장 위에서 $\mathbb{Q}_p/\mathbb{Z}_p$의 에탈 코hom로의 산술적 불변량과 관련된 등변 국소 에psilon 상수를 연결하는 등변 이와사와 주요 추측을 제안한다. 이는 흐름이 잘 정리된 확장의 경우에 대해 이를 증명하고, $p$-진 $L$-함수와 $K$-이론을 통해 이와사와 이론적 유사체를 구축함으로써 글로벌 등변 에psilon 상수 추측에 강력한 증거를 제공한다.

ABSTRACT

Let $L/K$ be a finite Galois extension of $p$-adic fields and let $L_{\infty}$ be the unramified $\mathbb Z_p$-extension of $L$. Then $L_{\infty}/K$ is a one-dimensional $p$-adic Lie extension. In the spirit of the main conjectures of equivariant Iwasawa theory, we formulate a conjecture which relates the equivariant local epsilon constants attached to the finite Galois intermediate extensions $M/K$ of $L_{\infty}/K$ to a natural arithmetic invariant arising from the étale cohomology of the constant sheaf $\mathbb Q_p/\mathbb Z_p$ on the spectrum of $L_{\infty}$. We give strong evidence of the conjecture including a full proof in the case that $L/K$ is at most tamely ramified.

연구 동기 및 목표

• 비분비적 $\mathbb{Z}_p$-확장 위에서 $p$-진 필드의 유한 갈루아 확장에 대해 등변 이와사와 주요 추측을 수립한다.
• 중간 확장의 등변 국소 에psilon 상수를 $\mathrm{Spec}(L_\infty)$ 위에서 $\mathbb{Q}_p/\mathbb{Z}_p$의 에탈 코호몰로지로부터 유도된 산술적 불변량과 연결한다.
• 이와사와 이론적 유사체를 통해 브루닝의 국소 등변 에psilon 상수 추측에 강력한 증거를 제공한다.
• 이와사와 이론을 활용하여 글로벌 등변 에psilon 상수 추측의 프레임워크를 국소 $p$-진 설정으로 확장한다.

제안 방법

• 이와사와 대수 $\Lambda(\mathcal{G})$ 내에서 $p$-진 $L$-함수와 갈루아 가우스 합의 조합과 등가인 정밀화된 오일러 특성 불변량 $C_{L_\infty/K}$를 동치로 하는 추측을 수립한다.
• 복합 $K_L^\bullet = R\Gamma(L,\mathbb{Z}_p(1))[1] \oplus H_L[-1]$ 을 사용하여, 정규화 $\phi_L$ 를 통해 코hom로지적 항목 $C_{L/K}$ 를 정의한다.
• 브라우어의 유도와 갈루아 강하를 적용하여 추측을 아벨 확장과 유형 $S$ 및 $W$의 특성으로 환원하며, 갈루아 작용에 대한 불변성을 활용한다.
• 이와사와 대수 $\Lambda(\mathcal{G})$ 와 그 $(p)$에 대한 국소화를 사용하여 코호몰로지 군을 분석하고, $\Lambda_{(p)}(\mathcal{G})$-모듈의 자유성 보장한다.
• 결정식 사상 $\mathrm{Det}: K_1(\mathcal{Q}^c(\mathcal{G})) \to \mathrm{Hom}^*(R_p(\mathcal{G}), \Lambda^c(\Gamma_K)^\times)$ 를 사용하여 $p$-진 $L$-함수와 추측된 등식을 연결한다.
• 이와사와 대수 $\Lambda(\Gamma_K)$-모듈의 $\mu$-불변량 이론을 적용하여, 흐름이 잘 정리된 부분확장으로 환원함으로써 $\mu$-불변량의 소멸을 보인다.

실험 결과

연구 질문

• RQ1 글로벌 등변 에psilon 상수 추측은 어떻게 $p$-진 이와사와 이론의 맥락에서 국소화되고 재구성될 수 있는가?
• RQ2 등변 국소 에psilon 상수와 $L_\infty$ 위에서 $\mathbb{Q}_p/\mathbb{Z}_p$의 에탈 코호몰로지로부터 유도된 산술적 불변량 사이의 정확한 관계는 무엇인가?
• RQ3 이와사와 이론적 방법, 특히 흐름이 잘 정리된 경우에 국소 등변 에psilon 상수 추측을 증명할 수 있는가?
• RQ4 국소 필드에 대한 이와사와 주요 추측이 브루닝의 국소 등변 에psilon 상수 추측을 얼마나 정확히 복원하거나 함의하는가?
• RQ5 $p$-진 $L$-함수의 $\mu$-불변량은 갈루아 강하와 유도에 대해 어떻게 행동하며, 이는 산술적 불변량의 소멸에 어떤 함의를 갖는가?

주요 결과

• 확장 $L/K$ 가 흐름이 잘 정리된 경우에 추측이 완전히 증명되었으며, $K_0(\mathbb{Z}_p[G], \mathbb{Q}_p^c)$ 내에서 불변량 $R_{L/K}$ 가 소멸됨을 보였다.
• 모든 비어있지 않은 특성 $\chi$ 에 대해 $p$-진 $L$-함수 $f(\chi)$ 의 $\mu$-불변량이 소멸함을 보였으며, 이는 $p$ 와 서로소인 순서의 순환부분군으로 환원함으로써 입증되었다.
• 코호몰로지 군 $H^i(\Lambda_{(p)}(\mathcal{G}) \otimes_{\Lambda(\mathcal{G})}^\mathbb{L} K_{L_\infty}^\bullet)$ 는 차수 0과 1에서 랭크 $[K:\mathbb{Q}_p]$ 를 가진 자유 $\Lambda_{(p)}(\mathcal{G})$-모듈이며, 그 외에는 영이다.
• 추측은 조건 $\mathrm{Det}(x_{L_\infty/K})^{-1} \cdot \tau^{(j)}_{L_\infty/K} \in \mathrm{Det}(K_1(\Lambda_{(p)}(\mathcal{G})))$ 와 동치이며, 이는 $K$-이론과 $p$-진 $L$-함수를 연결한다.
• 확장 $L/K$ 가 흐름이 잘 정리된 경우에 이와사와 이론적 유사체가 성립하며, 관계된 관계에 따라 $f(\chi)$ 의 $\mu$-불변량이 소멸함을 보였다. 이는 관계된 관계와 갈루아 강하의 구조에 기인한다.
• 결과는 글로벌 등변 에psilon 상수 추측에 강력한 증거를 제공하며, 글로벌 추측의 $p$-부분이 $E_w/F_v$ 에 대한 국소 추측들에 의해 함의됨을 보여준다.