[论文解读] Construction and classification of some Galois modules

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

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$ 当且仅当 $\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}$.

研究动机与目标

• 完成对 $\mathbb{F}_p[\operatorname{Gal}(K/F)]$-模结构在 $K^\times/K^{\times p}$ 上的 $p$ 次循环扩张 $K/F$ 的分类。
• 构造具有给定算术不变量 $d$、$e$ 和 $\Upsilon$ 的显式域扩张 $K/F$。
• 确定此类扩张存在的必要与充分条件，从而实现所有可能的模结构。

提出的方法

• 使用伽罗瓦模理论与上同调技术，分析 $K^\times/K^{\times p}$ 作为 $\mathbb{F}_p[\operatorname{Gal}(K/F)]$-模的结构。
• 定义并分析三个算术不变量：$d = \dim_{\mathbb{F}_p} F^\times / N(K^\times)$，$e = \dim_{\mathbb{F}_p} N(K^\times)/F^{\times p}$，以及 $\Upsilon = 1$ 当且仅当 $\xi_p \in N(K^\times)$。
• 通过逆极限与嵌入技巧构造域扩张，特别利用 $\mathbb{Z}/p^2\mathbb{Z}$-扩张来控制 $\Upsilon$ 的范数条件。
• 应用伽罗瓦上同调与库默尔同构，将模结构与不变量联系起来。
• 使用范数映射 $N: K^\times \to F^\times$ 及其像来定义并计算 $d$ 与 $e$。
• 利用先前工作（[MS]，定理3，推论2）的结果，以直和形式的循环模 $M_{i,j}$ 表示模的同构类型。

实验结果

研究问题

• RQ1 哪些三元组 $(d, e, \Upsilon)$ 的算术不变量可由一个含原始 $p$ 次单位根的域 $F$ 上的 $p$ 次循环扩张 $K/F$ 实现？
• RQ2 不变量 $d$、$e$ 与 $\Upsilon$ 如何决定 $\mathbb{F}_p[\operatorname{Gal}(K/F)]$-模 $K^\times/K^{\times p}$ 的同构类？
• RQ3 哪些关于 $d$、$e$ 与 $\Upsilon$ 的条件是此类循环扩张 $K/F$ 存在的必要且充分条件？
• RQ4 在 $p=2$ 与 $p>2$ 的情况下，模结构有何不同，特别是不变量的唯一性方面？
• RQ5 是否每个可能的 $\mathbb{F}_p[G]$-模结构在 $K^\times/K^{\times p}$ 上均可通过适当的循环扩张 $K/F$ 实现？

主要发现

• 对任意素数 $p$，以及任意基数 $d$、$e$ 和 $\Upsilon \in \{0,1\}$，存在一个 $p$ 次循环扩张 $K/F$ 实现不变量 $d$、$e$ 与 $\Upsilon$，当且仅当：$\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$ 与 $\Upsilon$ 唯一确定（模同构），且同构于 $\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$ 与 $\Upsilon$ 与同构 $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$ 作为 $\mathbb{F}_2[G]$-模，但其不变量分别为 $(d,e,\Upsilon) = (0,1,1)$ 与 $(2,0,0)$，说明在 $p=2$ 情况下，同构下不变量不唯一。