[논문 리뷰] 1-smooth pro-p groups and the Bloch-Kato conjecture

Claudio Quadrelli|arXiv (Cornell University)|2019. 04. 01.

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

한 줄 요약

이 논문은 p-진 해석적 프로-p 군에 대해 블로흐-카토 추측이 성립함을 증명함으로써, 블로흐-카토 추측을 1 + pℤ_p로의 연속 준동형사상을 통해 형식적 힐베르트 90 조건으로 연결하는 데클레르크-플로렌스의 매끄러움 추측을 증명함으로써 이를 입증한다. 이 결과는 근의 단위를 포함하는 체의 최대 프로-p 갈루아 군 구조에 대한 쿠머 이론의 결과를 더 넓은 범주인 프로-p 군으로 확장한다.

ABSTRACT

Let $p$ be a prime. We study pro-$p$ groups $G$ endowed with a continuous homomorphism $G o1+p\mathbb{Z}_p$ satisfying a formal version of Hilbert 90. These pro-$p$ groups are particularly important in Galois theory because by Kummer theory maximal pro-$p$ Galois groups of fields containing a root of 1 of order $p$, together with the cyclotomic character, satisfy such property. In particular, we prove that De Clerq-Florence's `Smoothness Conjecture', which states that the Bloch-Kato conjecture follows from this formal version of Hilbert 90, holds true in the class of $p$-adic analytic pro-$p$ groups.

연구 동기 및 목표

• 연속 준동형사상 1 + pℤ_p로의 형식적 힐베르트 90 조건이 프로-p 군에 미치는 영향을 조사한다.
• 데클레르크와 플로렌스의 매끄러움 추측을 검증한다. 이 추측은 형식적 힐베르트 90 조건이 블로흐-카토 추측을 암시한다는 것이다.
• 근의 단위를 포함하는 체에서 최대 프로-p 갈루아 군이 이 조건을 만족하는 쿠머 이론의 알려진 결과를 p-진 해석적 프로-p 군으로 일반화한다.
• 프로-p 갈루아 이론에서 코homological 성질과 군론적 조건 사이의 구조적 연결 고리를 설정한다.
• 형식적 힐베르트 90 성질이 p-진 해석적 프로-p 군의 범주에서 블로흐-카토 추측을 이끌어낸다는 것을 보여준다.

제안 방법

• 프로-p 군 G에서 1 + pℤ_p로의 연속 준동형사상으로 표현된 형식적 힐베르트 90을 이용하여 코homological 행동을 모델링한다.
• p-진 해석적 군 이론 기법을 적용하여 형식적 힐베르트 90 조건을 만족하는 프로-p 군의 구조를 분석한다.
• 형식적 조건을 동기화하기 위해 순환 캐릭터와 쿠머 이론을 기본 예로 사용한다.
• p-진 해석적 프로-p 군의 알려진 코homological 성질을 이용하여 블로흐-카토 추측에 대한 함의를 도출한다.
• G가 1 + pℤ_p로의 연속 준동형사상과 함께 프로-p 군으로서의 구조를 이용하여 코homological 소멸 정리를 유도한다.
• 군론적 및 코homological 추론을 통해 형식적 힐베르트 90 조건이 p-진 해석적 설정에서 블로흐-카토 추측을 암시한다는 것을 입증한다.

실험 결과

연구 질문

• RQ1 연속 준동형사상 1 + pℤ_p를 통한 프로-p 군 G에 대한 형식적 힐베르트 90 조건이 블로흐-카토 추측을 암시하는가?
• RQ2 데클레르크와 플로렌스의 매끄러움 추측은 p-진 해석적 프로-p 군의 범주에서 검증될 수 있는가?
• RQ3 형식적 힐베르트 90 조건을 만족하는 쿠머 이론적 갈루아 군은 연구 중인 더 넓은 군의 범주를 얼마나 잘 대표하는가?
• RQ4 p-진 해석적 프로-p 군의 구조는 형식적 힐베르트 90 성질과 같은 코homological 조건과 어떻게 상호작용하는가?
• RQ5 형식적 힐베르트 90 조건은 비아벨리안 프로-p 군 설정에서 블로흐-카토 추측의 타당성에 대해 어떤 함의를 갖는가?

주요 결과

• 데클레르크와 플로렌스의 매끄러움 추측은 p-진 해석적 프로-p 군에 대해 확인된 바 있다.
• p-진 해석적 프로-p 군의 범주에서 형식적 힐베르트 90 조건은 블로흐-카토 추측을 이끌어낸다.
• 1 + pℤ_p로의 연속 준동형사상이 존재하는 프로-p 군은 블로흐-카토 추측에 필요한 코homological 성질을 만족한다.
• 근의 단위를 포함하는 체에서 최대 프로-p 갈루아 군이 형식적 힐베르트 90 조건을 만족하는 알려진 쿠머 이론 사례를 일반화한 결과이다.
• p-진 해석적 프로-p 군의 코homological 구조는 형식적 힐베르트 90 조건이 블로흐-카토 추측의 핵심이 되는 특정 갈루아 코homology 군의 소멸을 암시함을 보장한다.
• 증명은 군론적 조건과 갈루아 코hom로지의 깊은 산술 추측 사이의 다리를 쌓는다.