[논문 리뷰] Demushkin groups and inverse Galois theory for pro-p-groups of finite rank and maximal p-extensions

Ivan D. Chipchakov|arXiv (Cornell University)|2011. 03. 10.

Algebraic Geometry and Number Theory참고 문헌 25인용 수 4

한 줄 요약

이 논문은 유한 계수의 Demushkin 군인 필드의 최대 $p$-확장의 갈루아 군의 구조를 조사한다. $E$가 $\Gamma(E(p)/E)$가 계수 $\geq 3$인 Demushkin 군인 경우, 비자명한 진부분 분해군이 존재하지 않음을 증명한다; 계수 2인 경우 이러한 군은 완전히 특성화된다. 이 작업은 $p$-헤네시안 비율을 통해 프로-$p$-군으로의 역 갈루아 이론을 확장하고, 국소 체와 관련하여 적합한 Demushkin 군을 분류한다.

ABSTRACT

This paper proves that if $E$ is a field, such that the Galois group $\mathcal{G}(E(p)/E)$ of the maximal $p$-extension $E(p)/E$ is a Demushkin group of finite rank $r(p)_{E} \ge 3$, for some prime number $p$, then $\mathcal{G}(E(p)/E)$ does not possess nontrivial proper decomposition groups. When $r(p)_{E} = 2$, it describes the decomposition groups of $\mathcal{G}(E(p)/E)$. The paper shows that if $(K, v)$ is a $p$-Henselian valued field with $r(p)_{K} \in \mathbb N$ and a residue field of characteristic $p$, then $P \cong \widetilde P$ or $P$ is presentable as a semidirect product $\mathbb Z_{p}^τ times \widetilde P$, for some $τ\in \mathbb N$, where $\widetilde P$ is a Demushkin group of rank $\ge 3$ or a free pro-$p$-group. It also proves that when $\widetilde P$ is of the former type, it is continuously isomorphic to $\mathcal{G}(K ^{\prime}(p)/K ^{\prime})$, for some local field $K ^{\prime}$ containing a primitive $p$-th root of unity.

연구 동기 및 목표

• 갈루아 군이 유한 계수의 Demushkin 군인 경우, 최대 $p$-확장의 갈루아 군 내 분해군의 구조를 규명하는 것.
• 특정 $p$-헤네시안 비율을 갖는 체와 그 갈루아 이론적 성질을 분석하여, 유한 계수의 프로-$p$-군으로의 역 갈루아 이론을 확장하는 것.
• 특히 $p$-제곱근의 원시 근을 포함하는 국소 체와의 관계에서, 유한 계수의 적합한 Demushkin 프로-$p$-군을 분류하는 것.
• 모든 적합한 Demushkin 군이 계수 $\geq 3$일 때 표준적으로 적합한가, 즉 어떤 유한 확장 $F/\mathbb{Q}_p$에 대해 $\mathcal{G}(F(p)/F)$와 동형인지 여부를 해결하는 것.

제안 방법

• 컵 곱 사상 $H^1(P,\mathbb{F}_p) \to H^2(P,\mathbb{F}_p)$의 전사성과 $H^2(P,\mathbb{F}_p)$의 순서가 $p$임을 이용해 Demushkin 군을 코homological 기준으로 정의한다.
• 국소 클래스 이론의 결과를 적용하며, 특히 $F/\mathbb{Q}_p$의 유한 확장에서 랭크 공식 $r = N+2$ 또는 $N+1$이 원시 $p$-제곱근의 존재 여부에 따라 달라진다.
• $p$-헤네시안 비율과 그 성질을 활용하여 갈루아 군의 구조를 분석하며, 특히 잔여체와 값군의 행동을 중심으로 한다.
• 최대성 원리와 조르당의 보조정리(제1보조정리)를 비율 이상수의 맥락에서 활용하여, 계수 $\geq 3$인 경우 비자명한 분해군이 존재하지 않음을 증명한다.
• 갈루아 이론적 내림과 동형 정리의 응용을 통해, 비-$p$-헤네시안 비율인 경우 $\mathcal{G}(E(p)/E) \cong \mathcal{G}(E_{G(E)}(p)/E_{G(E)})$임을 보인다.
• 문헌 [10, 11, 24, 32]에서 확립된 랭크와 단순화된 성분 순서에 따른 Demushkin 군의 분류를 바탕으로 가능한 갈루아 군을 특성화한다.

실험 결과

연구 질문

• RQ1 필드 $E$에 대해 $\mathcal{G}(E(p)/E)$가 계수 $\geq 3$인 Demushkin 군일 경우, 비자명한 진부분 분해군이 존재하는가?
• RQ2 만약 $\mathcal{G}(E(p)/E)$가 계수 2인 Demushkin 군일 경우, 분해군의 구조는 어떠한가?
• RQ3 유한 계수 $\geq 3$인 Demushkin 군이 표준적으로 적합한 조건은 무엇인가? 즉, 어떤 유한 확장 $F/\mathbb{Q}_p$에 대해 $\mathcal{G}(F(p)/F)$와 동형이 되는가?
• RQ4 $p$-헤네시안 비율은 최대 $p$-확장의 갈루아 군의 구조에 어떻게 영향을 미치는가?
• RQ5 모든 적합한 Demushkin 군이 계수 $\geq 3$인 국소 체의 최대 $p$-확장의 갈루아 군으로 실현될 수 있는가?

주요 결과

• 만약 $\mathcal{G}(E(p)/E)$가 계수 $r(p)_E \geq 3$인 Demushkin 군일 경우, 비자명한 진부분 분해군이 존재하지 않는다.
• 계수 $r(p)_E = 2$일 경우, 분해군은 완전히 기술된다: 이들은 $\mathbb{Z}_p$-확장과 대응하며, $\mathcal{G}(E(p)/E) \cong \mathbb{Z}_p^2$일 때는 반드시 직접 합성분이어야 한다.
• $p$-헤네시안 비율을 갖는 체 $(K,v)$에 대해 $r(p)_K \in \mathbb{N}$ 이고 잔여체의 특성수가 $p$일 경우, 갈루아 군 $P$는 $\widetilde{P}$와 동형이거나, $\mathbb{Z}_p^\tau \rtimes \widetilde{P}$의 반직접곱이 되며, 여기서 $\widetilde{P}$는 계수 $\geq 3$인 Demushkin 군 또는 자유 프로-$p$-군이다.
• 만약 $\widetilde{P}$가 계수 $\geq 3$인 Demushkin 군일 경우, 연속 동형사상으로서 $\mathcal{G}(K'(p)/K')$와 동형이 되는 국소 체 $K'$가 존재한다.
• $p > 2$일 때, 조건 $\theta \geq 2$, $d \geq 3$, 그리고 $(d-2)$가 $(p-1)p^{\theta-2}$로 나누어떨어지는 것은 (1.3)(ii)의 분류에 따라 $P_{d,\theta}$의 표준 적합성에 필수적이고 충분한 조건이다.
• 논문은 계수 $r(p)_E = 2$이면서 원시 $p$-제곱근을 포함하는 필드에 대해, $p$-헤네시안 비율의 존재가 보장됨을 확인하여, 이 경우에 열려 있던 문제를 해결한다.