[논문 리뷰] When is Galois cohomology free or trivial?

Nicole Lemire, Ján Mináč외 1명|ArXiv.org|2004. 10. 29.

Algebraic Geometry and Number Theory참고 문헌 16인용 수 6

한 줄 요약

이 논문은 순환 확장 $ E/F $의 차수 $ p $에 대해 갈로아 코hom로지 군 $ H^n(E) = H^n(G_E, \mathbb{F}_p) $ 이 $ \mathbb{F}_p[\text{Gal}(E/F)] $-모듈로서 자유 또는 자명이 되는 정확한 조건을 쿠퍼 곱의 구조와 소멸자들을 이용하여 결정한다. 주요 기여는 $ F $에 대한 코homological 조건을 통해 자유성과 자명성의 완전한 특성화이며, 임의의 사전에 지정된 코homological 차수와 자유성/자명성 임계값을 갖는 확장을 명시적으로 구성하는 것이다.

ABSTRACT

Let p be a prime and F a field containing a primitive pth root of unity. Let E/F be a cyclic extension of degree p and G_E < G_F the associated absolute Galois groups. We determine precise conditions for the cohomology group H^n(E)=H^n(G_E,Fp) to be free or trivial as an Fp[Gal(E/F)]-module. We examine when these properties for H^n(E) are inherited by H^k(E), k>n, and, by analogy with cohomological dimension, we introduce notions of cohomological freeness and cohomological triviality. We give examples of H^n(E) free or trivial for each n in N with prescribed cohomological dimension.

연구 동기 및 목표

• 순환 확장 $ E/F $의 차수 $ p $에 대해 $ H^n(E) $ 가 $ \mathbb{F}_p[\text{Gal}(E/F)] $-모듈로 자유가 되는 정확한 조건을 결정하는 것.
• $ H^n(E) $ 가 $ \mathbb{F}_p[\text{Gal}(E/F)] $-모듈로 자명이 되는 조건을 설정하는 것.
• $ n \geq 1 $ 인 코homological 차수들 사이에서 자유성과 자명성의 유전적 성질을 조사하는 것.
• 모든 $ n \leq m \leq \infty $ 에 대해 $ \operatorname{cf}(E/F) = n $ 과 $ \operatorname{ct}(E/F) = n $ 인 순환 확장 $ E/F $ 의 명시적 구축; $ G_E $ 는 코homological 차수 $ m $ 인 프로-$ p $-군이다.

제안 방법

• Kummer 동형사를 이용하여 $ H^1(F) $ 를 $ F^\times $ 의 $ p $-제곱 계열과 식별하고, $ H^2(F) $ 에서의 쿠퍼 곱을 사용하는 것.
• 특히 $ \operatorname{ann}_{n-1}(a) $ 를 포함하여 쿠퍼 곱 작용 하에서의 소멸자 $ \operatorname{ann}_n(x) $ 를 정의하여 코homological 자유성의 특성화를 하는 것.
• Voevodsky의 Bloch-Kato 추측에 대한 증명을 응용하여 밀너 K-이론과 갈로아 코hom로지에서 등가 조건를 유도하는 것.
• 지정된 코homological 차수를 갖는 프로-$ p $-군 $ G_{F_n} \star_{\text{pro-}p} G_{F_m} $ 의 복합 자유 곱을 통한 필드 $ F $ 의 구축.
• 모듈로 구조와 정확한 수열을 분석하기 위해 제약 및 코어스트릭션 사상 $ \operatorname{res}: H^n(F) \to H^n(E) $, $ \operatorname{cor}: H^n(E) \to H^n(F) $ 의 사용.
• 특정 구성 성분을 갖는 $ H^1(F_n) \oplus H^1(F_m) $ 에 대해 $ \operatorname{res}_\star(a) $ 를 갖는 $ a \in F^\times $ 의 명시적 선택을 통해 코homological 행동을 제어하는 것.

실험 결과

연구 질문

• RQ1 어느 $ a \in F^\times $ 에 대해 $ H^n(E) $ 가 $ \mathbb{F}_p[\text{Gal}(E/F)] $-모듈로 자유가 되는가?
• RQ2 $ H^n(E) $ 가 $ \mathbb{F}_p[\text{Gal}(E/F)] $-모듈로 자명이 되는 조건은 무엇이며, 이 성질은 더 높은 차수로까지 확장되는가?
• RQ3 $ H^n(E) $ 의 자유성 또는 자명성이 $ m > n $ 인 $ H^m(E) $ 에서 어떻게 유전되는가?
• RQ4 자신의 코homological 차수를 지정한 프로-$ p $-군 $ G_E $ 를 갖는 순환 확장 $ E/F $ 를 어떻게 구성할 수 있는가? 이때 $ H^n(E) $ 는 자유 또는 자명하지만, 낮은 차수에서는 그렇지 않다.
• RQ5 소멸자 $ \operatorname{ann}_n(a) $, $ (a) $ 와의 쿠퍼 곱, 그리고 $ H^n(E) $ 가 모듈로로서 갖는 구조 사이의 관계는 무엇인가?

주요 결과

• $ p > 2 $ 인 경우, $ H^n(E) $ 가 $ \mathbb{F}_p[G] $-모듈로 자유이기 위한 필요충분조건은 $ H^{n-1}(F) = \operatorname{ann}_{n-1}(a) $ 이거나, 동치로 제약 사상 $ \operatorname{res}: H^n(F) \to H^n(E) $ 가 단사임을 의미한다.
• $ p = 2 $ 인 경우, $ H^n(E) $ 가 자유이기 위한 필요충분조건은 $ \operatorname{ann}_{n-1}(a) = \operatorname{ann}_{n-1}(a,-1) $ 이고 $ H^n(F) = \operatorname{cor} H^n(E) + (a) \cup H^{n-1}(F) $ 이거나, 동치로 $ H^n(F) = \operatorname{ann}_n(a) \oplus (a) \cup H^{n-1}(F) $ 이다.
• 자유 코hom로지의 경우 $ p > 2 $ 이거나 $ p = 2 $ 이고 $ a \in (F^{\times 2} + F^{\times 2}) \setminus F^2 $ 이면 유전적이며, 즉 $ H^n(E) $ 가 자유이면 모든 $ m \geq n $ 에 대해 $ H^m(E) $ 도 자유이다.
• 자명 코휴로지의 경우 항상 유전적이다: $ H^n(E)^G = H^n(E) $ 이면 모든 $ m \geq n $ 에 대해 $ H^m(E)^G = H^m(E) $ 이다.
• 모든 $ 1 \leq n \leq m \leq \infty $ 에 대해, $ \operatorname{ct}(E/F) = n $ 과 $ \operatorname{cd}(G_E) = m $ 인 순환 확장 $ E/F $ 가 존재한다. 이는 $ G_F \cong \mathbb{Z}_p^n \star_{\text{pro-}p} \mathbb{Z}_p^m $ 이고 적절한 $ a \in F^\times $ 를 선택함으로써 구축할 수 있다.
• 특히 $ m = \infty $ 인 경우, $ \operatorname{ct}(E/F) = \infty $ 인 $ E/F $ 를 구성할 수 있으며, 이는 자명 코휴로지가 모든 차수에서 성립할 수 있음을 보여준다.