[论文解读] Kato's conductor and generic residual perfection

James Borger|ArXiv.org|Dec 29, 2001

Advanced Topics in Algebra参考文献 5被引用 3

一句话总结

本文证明了在残数域不完全的完备离散赋值环上，一个秩一伽罗瓦表示的非对数型Kato-Artin导子在拉回到环的通用残数完美化时保持不变。关键结果表明，该导子在这一基变换下保持不变，从而通过通用残数完美化构造将Kato的导子理论推广至非交换情形。

ABSTRACT

Let A be a complete discrete valuation ring with possibly imperfect residue field, and let $χ$ be a one-dimensional Galois representation over A. I show that the non-logarithmic variant of Kato's Swan conductor is the same for $χ$ and the pullback of $χ$ to the generic residual perfection of A. This implies the conductor from "Conductors and the moduli of residual perfection" (math.NT/0112305) extends the non-logarithmic variant of Kato's.

研究动机与目标

• 将Kato的导子理论推广至残数域不完全的完备离散赋值环上的伽罗瓦表示。
• 证明非对数型Kato-Artin导子在拉回到环的通用残数完美化时保持不变。
• 在一维情形下建立一般Artin导子与Kato导子之间的相容性。
• 为Kato的精细Swan导子与通用残数完美化构造之间建立基础联系。

提出的方法

• 利用Kato的精细Swan导子理论与K-理论符号，分析基变换下的上同调行为。
• 在等特征情形下应用Matsuda对Kato精细Swan导子的改进，作为基础分析。
• 使用一个交换图来编码K-理论符号在拉回到通用残数完美化时的行为。
• 利用从通用残数完美化到原域的伽罗瓦群映射的满射性。
• 利用Hensel化与局部化的普遍性质，构造相关环及其完备化之间的映射。
• 通过混合特征情形下的滤子技术分析某些上同调类的非零性。

实验结果

研究问题

• RQ1 非对数型Kato-Artin导子在拉回到离散赋值环的通用残数完美化时是否保持不变？
• RQ2 Kato的精细Swan导子的行为与通用残数完美化构造有何关联？
• RQ3 在残数域不完全的情形下，能否证明一维表示的一般Artin导子与Kato的非对数型导子一致？
• RQ4 K-理论符号在控制通用残数完美化下的导子不变性中起什么作用？

主要发现

• 非对数型Kato-Artin导子在拉回到通用残数完美化时保持不变，即 $\mathrm{ar_{\scriptscriptstyle K}}(\chi) = \mathrm{ar_{\scriptscriptstyle K}}(\chi')$，其中 $\chi'$ 是 $\chi$ 的拉回。
• 在等特征情形下，该结果由Matsuda对Kato精细Swan导子的改进以及微分形式在基变换下的行为得出。
• 在混合特征情形下，通过K-理论符号与滤子结构分析上同调类的非零性，证明了不变性。
• 导子 $\mathrm{ar_{\scriptscriptstyle K}}(\chi)$ 的值为 $n$ 或 $n+1$，其中 $n = \mathrm{sw_{\scriptscriptstyle K}}(\chi)$，且该值在基变换到 $A^\mathrm{g}$ 时保持不变。
• 一维表示的一般Artin导子 $\mathrm{ar}(\rho)$ 与 $\mathrm{ar_{\scriptscriptstyle K}}(\chi)$ 一致，确认了两种导子理论之间的相容性。