[논문 리뷰] Galois groups and cohomological functors

Ido Efrat, Ján Mináč|arXiv (Cornell University)|2011. 03. 08.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 14

한 줄 요약

이 논문은 절대 갈루아 군 $G_F$의 새로운 최소 몫 $ \operatorname{Gal}(F_{(3)}/F)$를 제안하며, 이는 모듈로 $q$ 코hom로지 링 $H^*(G_F, \mathbb{Z}/q)$를 완전히 코딩한다. 프로피니트 군 코호몰로지의 딜로지와 갈루아 심볼의 전형성에 기반하여, 이 몫이 가능한 한 최소임을 증명하며, $q = p$가 홀수 소수일 때, 이는 $ \mathbb{Z}/p$ 또는 순서 $p^3$이고 지수 $p$인 비아벨 군 $H_{p^3}$와 동형인 정규 열린 부분군들의 교집합으로 특성화된다.

ABSTRACT

Let $q=p^s$ be a prime power, $F$ a field containing a root of unity of order $q$, and $G_F$ its absolute Galois group. We determine a new canonical quotient $\mathrm{Gal}(F_{(3)}/F)$ of $G_F$ which encodes the full mod-$q$ cohomology ring $H^*(G_F,\mathbb{Z}/q)$ and is minimal with respect to this property. We prove some fundamental structure theorems related to these quotients. In particular, it is shown that when $q=p$ is an odd prime, $F_{(3)}$ is the compositum of all Galois extensions $E$ of $F$ such that $\mathrm{Gal}(E/F)$ is isomorphic to $\{1\}$, $\mathbb{Z}/p$ or to the nonabelian group $H_{p^3}$ of order $p^3$ and exponent $p$.

연구 동기 및 목표

• 절대 갈루아 군 $G_F$의 최소 몫 중에서 모듈로 $q$ 코호몰로지 링 $H^*(G_F, \mathbb{Z}/q)$를 완전히 코딩하는 것을 규명하는 것.
• 이 최소 몫 $\operatorname{Gal}(F_{(3)}/F)$의 구조를 특정 갈루아 군을 갖는 갈루아 확장의 관점에서 특성화하는 것.
• 갈루아 심볼과 전이 사상들을 이용하여 코호몰로지 함자와 군론적 몫 사이의 딜로지 관계를 수립하는 것.
• 코호몰로지 링 $H^*(G_F)$의 차수 $\leq 2$ 부분이 몫 $\operatorname{Gal}(F_{(3)}/F)$를 결정함을 증명하여, 코호몰로지 재구성 원리 수립.
• 기존의 프로-$p$ 갈루아 군 결과를 강화하여, $[3]$-몫 또는 코호몰로지 링의 동형이 전체 최대 프로-$p$ 갈루아 군의 동형을 유도함을 보이는 것.

제안 방법

• 특히 $q = p$가 홀수일 때 $G^{(3)}$인 $q$-중앙 필터의 세 번째 항인 $G_{(3)}$에 의하여 $G_{[3]} = G_F / G_{(3)}$를 정의한다.
• Milnor $K$-이론과 갈루아 코호몰로지 사이의 연결을 위해 갈루아 심볼의 전형성 $K^M_*(F)/qK^M_*(F) \to H^*(G_F, \mathbb{Z}/q)$를 이용한다.
• 프로피니트 군 $G$의 정규 부분군 $T, T_0$와 $H^2(G/T)$의 부분군 $A$ 사이의 딜로지 프레임워크를 적용하며, $T = G^{(2)}$, $T_0 = G_{(3)}$, $A = H^2(G^{[2]})_{\mathrm{dec}}$로 설정한다.
• 순환 부분군의 차수 $q$로의 제약을 분석하기 위해 전이 사상과 제약 사상을 활용한다.
• 군 코호몰로지의 5항 정확수열을 이용하여 전이의 소멸성과 $G_{(3)}$에서의 코호몰로지 클래스의 소멸자 간의 관계를 규명한다.
• 지역-전역 원리에 기반한 최소성 증명: $H^*(G_F/N)_{\mathrm{dec}} \to H^*(G_F)$의 불가역 사상은 $N \leq G_{(3)}$일 때에만 동형이 된다.

실험 결과

연구 질문

• RQ1 절대 갈루아 군 $G_F$의 최소 몫 중에서 전체 모듈로 $q$ 코호몰로지 링 $H^*(G_F, \mathbb{Z}/q)$를 결정하는 것은 무엇인가?
• RQ2 $\operatorname{Gal}(F_{(3)}/F)$의 구조는 어떤 갈루아 확장의 갈루아 군이 특정한 군일 때 어떻게 특성화될 수 있는가?
• RQ3 $H^*(G_F)$의 차수 $\leq 2$ 부분이 몫 $\operatorname{Gal}(F_{(3)}/F)$를 어느 정도 결정하는가?
• RQ4 $[3]$-몫 $G_{[3]}$의 동형이 전체 최대 프로-$p$ 갈루아 군 $G_F(p)$의 동형을 유도하는 조건은 무엇인가?
• RQ5 $G_{(3)}$는 어떤 정규 열린 부분군들의 교집합으로 정확히 기술될 수 있는가? 이 부분군들은 특정한 갈루아 군과 동형이어야 한다.

주요 결과

• 몫 $\operatorname{Gal}(F_{(3)}/F) = G_F / G_{(3)}$는 $G_F$의 몫 중에서 전체 모듈로 $q$ 코호몰로지 링 $H^*(G_F, \mathbb{Z}/q)$를 결정하는 최소 몫이다.
• 불가역 사상 $H^*(G_F/N)_{\mathrm{dec}} \to H^*(G_F)$가 동형이 되는 것은 $N \leq G_{(3)}$일 때에만 성립하며, 이는 $G_{(3)}$의 최소성 증명이다.
• 모듈로 $q = p$가 홀수 소수일 때, $G_{(3)}$는 모든 정규 열린 부분군 $N \trianglelefteq G_F$의 교집합이며, 이들에 대해 $G_F/N \cong \mathbb{Z}/p$ 또는 비아벨 군 $H_{p^3}$ (순서 $p^3$, 지수 $p$)와 동형이다.
• 모듈로 $q = p = 2$일 경우, $G_{(3)}$는 모든 정규 열린 부분군 $N$의 교집합이며, 이들에 대해 $G_F/N \cong \mathbb{Z}/2$, $\mathbb{Z}/4$, 또는 순서 8인 딜로이드 군 $D_4$와 동형이다.
• $H^*(G_F)$의 차수 $\leq 2$ 부분이 $\operatorname{Gal}(F_{(3)}/F)$를 결정함을 보여, 코호몰로지 자료의 차수 2 이하만으로도 몫을 재구성할 수 있음을 시사한다.
• 동형사상 $\pi: G_{F_1}(p) \to G_{F_2}(p)$가 존재하는 것은 $[3]$-몫에 유도된 사상 $\pi_{[3]}$ 또는 코호몰로지에 유도된 사상 $\pi^*$가 동형일 때에만 성립함을 증명하여, 강력한 아벨리안 타입의 결과를 확립한다.