[논문 리뷰] Construction and classification of some Galois modules

Ján Mináč, John Swallow|ArXiv.org|2003. 04. 15.

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

한 줄 요약

이 논문은 원시 $p$제근을 포함하는 체 $F$ 위에서 차수 $p$인 순환 확장 $K/F$에 대해 $K^\times/K^{\times p}$ 위의 갈로아 모듈러 구조를 완전히 분류한다. $d = \dim_{\mathbb{F}_p} F^\times / N(K^\times)$, $e = \dim_{\mathbb{F}_p} N(K^\times)/F^{\times p}$, 그리고 $\Upsilon = 1$ iff $\xi_p \in N(K^\times)$라는 주어진 산술 불변량을 갖는 체 확장을 구성함으로써, 저자들은 $K^\times/K^{\times p}$ 위의 모든 가능한 $\mathbb{F}_p[\operatorname{Gal}(K/F)]$-모듈러 구조를 완전히 특성화하고, 이러한 불변량들이 실현 가능한 조건을 증명한다.

ABSTRACT

In our previous paper we describe the Galois module structures of $p$th-power class groups $K^ imes/{K^{ imes p}}$, where $K/F$ is a cyclic extension of degree $p$ over a field $F$ containing a primitive $p$th root of unity. Our description relies upon arithmetic invariants associated with $K/F$. Here we construct field extensions $K/F$ with prescribed arithmetic invariants, thus completing our classification of Galois modules $K^{ imes}/K^{ imes p}$.

연구 동기 및 목표

• 차수 $p$인 순환 확장 $K/F$에 대해 $\mathbb{F}_p[\operatorname{Gal}(K/F)]$-모듈러 구조 $K^\times/K^{\times p}$의 분류를 완료하는 것.
• 주어진 산술 불변량 $d$, $e$, 및 $Σ$를 갖는 명시적 체 확장 $K/F$를 구성하는 것.
• $d$, $e$, $Σ$에 대한 이러한 확장이 존재하기 위한 필요 및 충분 조건을 규명함으로써, 모든 가능한 모듈러 구조를 실현하는 것.

제안 방법

• Gal(K/F) 위의 $\mathbb{F}_p$-모듈러로서의 $K^\times/K^{\times p}$의 구조를 분석하기 위해 갈로아 모듈러 이론과 코homological 기법을 사용하는 것.
• 세 가지 산술 불변량의 정의 및 분석: $d = \dim_{\mathbb{F}_p} F^\times / N(K^\times)$, $e = \dim_{\mathbb{F}_p} N(K^\times)/F^{\times p}$, 및 $\Upsilon = 1$ iff $\xi_p \in N(K^\times)$.
• 특히 $\mathbb{Z}/p^2\mathbb{Z}$-확장을 사용하여 $\Upsilon$의 노름 조건을 제어함으로써, 역극한 및 임bedding 기법을 활용한 체 확장의 구성.
• 갈로아 코hom로지와 쿠머 동형사상의 응용을 통해 모듈러 구조와 불변량 간의 관계를 규명하는 것.
• 노름 사상 $N: K^\times \to F^\times$ 및 그 상을 정의하고 $d$와 $e$를 계산하는 것.
• 이전 연구 결과([MS], 정리 3,推론 2)를 활용하여 직접합으로서의 순환 모듈러 $M_{i,j}$ 형태로 모듈러의 동형 유형을 규명하는 것.

실험 결과

연구 질문

• RQ1 원시 $p$제근을 포함하는 체 $F$ 위에서 차수 $p$인 순환 확장 $K/F$에 대해, 산술 불변량 $d$, $e$, $Σ$의 어떤 삼중조합 $(d, e, \Upsilon)$이 실현될 수 있는가?
• RQ2 $d$, $e$, $Σ$가 $\mathbb{F}_p[\operatorname{Gal}(K/F)]$-모듈러 $K^\times/K^{\times p}$의 동형류를 어떻게 결정하는가?
• RQ3 이러한 순환 확장 $K/F$가 존재하기 위한 $d$, $e$, $Σ$에 대한 필수 및 충분 조건은 무엇인가?
• RQ4 $p=2$와 $p>2$의 경우에 모듈러 구조는 어떻게 다를까? 특히 불변량의 유일성 측면에서.
• RQ5 모든 가능한 $\mathbb{F}_p[G]$-모듈러 구조 $K^\times/K^{\times p}$가 적절한 순환 확장 $K/F$를 통해 실현될 수 있는가?

주요 결과

• 모든 소수 $p$에 대해, 임의의 기수 $d$, $e$, 및 $Σ \in \{0,1\}$에 대해, $F$가 원시 $p$제근을 포함하는 차수 $p$의 순환 확장 $K/F$가 불변량 $d$, $e$, $Σ$를 실현할 수 있는 것은 다음 조건을 만족할 때이다: $\Upsilon = 0$이면 $d \geq 1$, $p > 2$이면 $e \geq 1$, 그리고 $p = 2$이면서 $\Upsilon = 1$이면 $e \geq 1$.
• $p > 2$일 경우, $\mathbb{F}_p[G]$-모듈러 $J = K^\times/K^{\times p}$는 불변량 $d$, $e$, $Σ$에 의해 동형류로 완전히 결정되며, 다음과 동형이다: $\left(\bigoplus_{j \in \mathfrak{K}_1} M_{1,j}\right) \oplus \left(\bigoplus_{j \in \mathfrak{K}_2} M_{2,j}\right) \oplus \left(\bigoplus_{j \in \mathfrak{K}_p} M_{p,j}\right)$, 여기서 $|\mathfrak{K}_1| + 1 = 2\Upsilon + d$, $|\mathfrak{K}_2| = 1 - \Upsilon$, 및 $|\mathfrak{K}_p| + 1 = e$.
• $p = 2$일 경우, 모듈러 $J$는 $\left(\bigoplus_{j \in \mathfrak{K}_1} M_{1,j}\right) \oplus \left(\bigoplus_{j \in \mathfrak{K}_2} M_{2,j}\right)$와 동형이며, $|\mathfrak{K}_1| + 1 = 2\Upsilon + d$ 및 $|\mathfrak{K}_2| + \Upsilon = e$이며, $2\Upsilon + d$와 $e - \Upsilon$ (또는 무한일 경우 $e$)에 의해 유일하게 결정된다.
• $d$, $e$, $Σ$는 $G \cong \operatorname{Gal}(K/F)$의 선택과 무관하게 정의되므로, 모듈러 구조가 잘 정의되어 있음을 보장한다.
• $d$, $e$가 유한할 경우, $\mathbb{Q}$를 초월하는 유한 전이 차수를 갖는 체 위에서 이러한 확장을 구성할 수 있으며, $\operatorname{tr.deg}(F/\mathbb{Q}) \leq 1 + \max\{e, d+1\}$이다.
• 반례를 통해 $p = 2$일 경우, 동형인 모듈러가 서로 다른 산술 불변량을 가질 수 있음을 보여준다: $K_1^\times/K_1^{\times 2} \cong \mathbb{F}_2$ as $\mathbb{F}_2[G]$-모듈러이지만, 각각 $(d,e,\Upsilon) = (0,1,1)$ 및 $(2,0,0)$을 갖는다. 이는 $p=2$의 경우 동형 사상 하에서 불변량의 유일성에 대한 비유일성을 보여준다.