[论文解读] Galois module structure of Milnor K-theory in characteristic p

Ganesh Bhandari, Nicole Lemire+2 more|ArXiv.org|May 26, 2004

Algebraic Geometry and Number Theory参考文献 15被引用 10

一句话总结

该论文确定了在特征 $p$ 下，对循环扩张 $E/F$ 的度数为 $p^n$ 的 Milnor K-理论模 $p$ 的伽罗瓦模结构。利用 Izhboldin 在特征 $p$ 下将 $K_mE/pK_mE$ 与凯勒微分上阿廷-施雷尔算子的核进行同构的结论，证明了 $k_mE = K_mE/pK_mE$ 可分解为平凡与自由 $\mathbb{F}_p[\Gal(E/F)]$-模的直和，且所有不可约和项的维数均为 $p$ 的幂。该结果对所有 $m \in \mathbb{N}$ 提供了完整的模结构分类。

ABSTRACT

Let E be a cyclic extension of degree p^n of a field F of characteristic p. Using arithmetic invariants of E/F we determine k_mE, the Milnor K-groups K_mE modulo p, as Fp[Gal(E/F)]-modules for all m in N. In particular, we show that each indecomposable summand of k_mE has Fp-dimension a power of p. That all powers p^i, i=0,1,...,n, occur for suitable examples is shown in a subsequent paper [MSS2], where additionally the main result of this paper becomes an essential induction step in the determination of K_mE/p^sK_mE as (Z/p^sZ)[Gal(E/F)]-modules for all m, s in N.

研究动机与目标

• 确定在特征 $p$ 下，对循环扩张 $E/F$ 的度数为 $p^n$ 的 $k_mE = K_mE/pK_mE$ 的伽罗瓦模结构。
• 将此前对 $k_1E$ 和 $k_mE$ 在 $n=1$ 时的结果推广至任意 $n$ 及所有 $m \in \mathbb{N}$。
• 证明 $k_mE$ 作为 $\mathbb{F}_p[\Gal(E/F)]$-模的所有不可约和项的 $\mathbb{F}_p$-维数均为 $p$ 的幂。
• 基于伽罗瓦群的结构，通过中间域的范数映射，提供固定子模 $(k_mE)^G$ 的典范滤过。

提出的方法

• 利用 Izhboldin 在特征 $p$ 下建立的同构，将 $K_mE/pK_mE$ 与凯勒微分的外代数上阿廷-施雷尔算子的核联系起来。
• 应用特征 $p$ 下 Milnor K-理论的希尔伯特第90定理，即对 $p$-幂次度的循环扩张，序列 $K_mE \xrightarrow{1-\sigma} K_mE \xrightarrow{N_{E/F}} K_mF$ 是正合的。
• 对 $n$（即 $[E:F] = p^n$ 中的指数）进行归纳，基础情形 $n=1$ 和 $n=2$ 通过引理 5 和引理 6 建立。
• 应用 Krull-Schmidt-Azumaya 定理，以确保不可约模的分解唯一性，利用循环 $\mathbb{F}_p[G]$-模的自对偶性与局部自同态环的性质。
• 通过中间域 $E_i$ 的范数映射 $N_{E/E_i}: k_mE \to k_mE_i$ 分析 $(k_mE)^G$ 的滤过，证明其对应于 $\mathbb{F}_p[G]$ 中极大理想的各次幂。
• 利用引理 4 的约化，即 $\rho^{j-1}k_mE \cap (k_mE)^G \subseteq i_E N_{E/F}k_mE$ 对于 $p^{n-1} < j < p^n$ 成立，以证明主要分解结果。

实验结果

研究问题

• RQ1 在特征 $p$ 下，对循环扩张 $E/F$ 的度数为 $p^n$，$k_mE = K_mE/pK_mE$ 的伽罗瓦模结构是什么？
• RQ2 哪些不可约 $\mathbb{F}_p[\Gal(E/F)]$-模可作为 $k_mE$ 的直和项出现？
• RQ3 固定子模 $(k_mE)^G$ 的滤过能否通过中间域的范数映射以典范方式描述？
• RQ4 将 $k_mE$ 分解为不可约模时，其分解是否依赖于生成元的选择？其在 $\Gal(E/F)$ 商模上的秩是否为模的典范不变量？

主要发现

• 作为 $\mathbb{F}_p[\Gal(E/F)]$-模，$k_mE$ 可分解为平凡模与 $\Gal(E/F)$ 商模上的自由模的直和，且无其他不可约和项。
• 所有 $k_mE$ 的不可约和项的 $\mathbb{F}_p$-维数均为 $p$ 的幂，具体为 $p^i$，其中 $i = 0, 1, \dots, n$。
• 作为 $\Gal(E/F)$ 商模上自由模的和项的秩是 $k_mE$ 模的典范不变量，与分解方式无关。
• $(k_mE)^G$ 的滤过由 $\mathbb{F}_p[\Gal(E/F)]$ 中极大理想的各次幂诱导，且该滤过由中间域 $E_i$ 的范数映射 $N_{E/E_i}: k_mE \to k_mE_i$ 的像唯一确定。
• 当 $p > 2$ 时，任意不可约和项中循环生成元 $\gamma$ 的长度 $l(\gamma) > p^{n-1}$ 必有 $l(\gamma) = p^n$；当 $p=2$ 时，同理有 $l(\gamma) > 2^{n-1}$ 蕴含 $l(\gamma) = 2^n$。
• 该结果在 [MSS2] 中被用作关键归纳步骤，以对所有 $m, s \in \mathbb{N}$ 分类 $K_mE/p^sK_mE$ 作为 $\mathbb{Z}/p^s\mathbb{Z}[\Gal(E/F)]$-模。