[论文解读] A characterization of ramification groups of local fields with imperfect residue field

Takeshi Saito|arXiv (Cornell University)|Apr 8, 2020

Algebraic Geometry and Number Theory参考文献 7被引用 4

一句话总结

本文通过与切向主导扩张的相容性以及在残基域为完美域时与经典情形的一致性，对具有非完美残基域的局部域的伽罗瓦群上的上编号滤子 $G^r$ 提供了一个公理化刻画。该方法被用于给出正特征情况下阿贝尔扩张中两个滤子——$G^n$ 与 $G^n_{\rm Ma}$——相等性的新证明，并将精细的斯旺上导子同态识别为从挠动群到余切空间的典范单射。

ABSTRACT

We give a characterization of ramification groups of local fields with imperfect residue fields, using those for local fields with perfect residue fields. As an application, we reprove an equality of ramification groups for abelian extensions defined in different ways.

研究动机与目标

• 为具有非完美残基域的局部域提供上编号滤子 $G^r$ 的公理化刻画，扩展经典情形。
• 通过切向主导扩张和约化到完美残基域情形，建立滤子 $G^r$ 的唯一性与存在性。
• 利用公理化框架重新证明正特征阿贝尔扩张中 $G^n = G^n_{\rm Ma}$ 的相等性。
• 将典范单射 $\mathrm{Hom}(G^r, \mathbf{F}_p) \to \mathrm{Hom}_{\bar{F}}(\mathfrak{m}_{\bar{K}}^r / \mathfrak{m}_{\bar{K}}^{r+1}, H_1(L_{\bar{F}/S}))$ 与 Matsuda 和 Yatagawa 定义的同态 $\mathrm{rsw}'$ 识别为同一对象。
• 通过函子性与基变换，将刻画推广至对数上编号滤子 $G^r_{\log}$。

提出的方法

• 通过两个公理定义滤子 $G^r$：当残基域为完美域时与经典滤子一致，且与切向主导扩张相容。
• 利用余切复形的切空间定义切向主导扩张，其中诱导的切空间映射是满射。
• 利用 Hasse-Arf 定理证明：在阿贝尔扩张中，滤子 $G^n$ 的指标为整数 $n > 1$，从而可与 Matsuda 的 $G^n_{\rm Ma}$ 进行比较。
• 构造典范单射 $\mathrm{Hom}(G^r, \mathbf{F}_p) \to \mathrm{Hom}_{\bar{F}}(\mathfrak{m}_{\bar{K}}^r / \mathfrak{m}_{\bar{K}}^{r+1}, H_1(L_{\bar{F}/S}))$，作为 Kato 的精细斯旺上导子的推广。
• 通过验证两者满足相同的公理，证明 Matsuda 和 Yatagawa 定义的同态 $\mathrm{rsw}'$ 与该典范单射一致。
• 利用基变换及等特征 $p > 0$ 下的同构 $H_1(L_{\bar{F}/S}) \cong \Omega^1_{{\cal O}_K} \otimes_{{\cal O}_K} \bar{F}$，将滤子与微分形式联系起来。

实验结果

研究问题

• RQ1 如何唯一刻画具有非完美残基域的局部域的伽罗瓦群上的上编号滤子 $G^r$？
• RQ2 何种条件可确保 $G = \mathrm{Gal}(L/K)$ 上的滤子与残基域为完美域时的经典上编号一致？
• RQ3 Matsuda 定义的滤子 $G^n_{\rm Ma}$ 在正特征阿贝尔扩张中与典范滤子 $G^n$ 有何关系？
• RQ4 Matsuda 和 Yatagawa 定义的同态 $\mathrm{rsw}'$ 是否与从挠动群到余切空间的典范单射等价？
• RQ5 是否可通过主滤子 $G^r$ 间接刻画对数上编号滤子 $G^r_{\log}$？

主要发现

• 具有非完美残基域的局部域的上编号滤子 $G^r$ 由两个公理唯一刻画：在残基域为完美域时与经典滤子一致，且与切向主导扩张相容。
• Matsuda 定义的滤子 $G^n_{\rm Ma}$ 满足与 $G^n$ 相同的公理，因此在等特征 $p > 0$ 的局部域上，对所有整数 $n > 1$，有 $G^n = G^n_{\rm Ma}$。
• 典范单射 $\mathrm{Hom}(G^r, \mathbf{F}_p) \to \mathrm{Hom}_{\bar{F}}(\mathfrak{m}_{\bar{K}}^r / \mathfrak{m}_{\bar{K}}^{r+1}, H_1(L_{\bar{F}/S}))$ 与 [5] 和 [9] 中定义的同态 $\mathrm{rsw}'$ 一致，从而将其识别为非对数情形下的精细斯旺上导子。
• Hasse-Arf 定理保证了在阿贝尔扩张中，$G^n$ 的指标为整数 $n > 1$，从而可与 Matsuda 的 $G^n_{\rm Ma}$（同样为整数指标）进行比较。
• 对于残基域扩张 $K' / K$ 且分歧指数为 1 的切向主导扩张，诱导的分次商映射 $G^n / G^{n+1} \to G'^n / G'^{n+1}$ 是满射，支持公理的归纳验证。
• 对数滤子 $G^r_{\log}$ 通过 $G^r$ 间接刻画，利用基变换及当分歧指数为 1 时 $G^r_{\log} \cong G^r$ 的事实。