[论文解读] Ramification of local fields and Fontaine's property (Pm)

Manabu Yoshida|arXiv (Cornell University)|May 8, 2009

History and Theory of Mathematics参考文献 2被引用 8

一句话总结

本文建立了 Fontaine 的性质 (P_m) 与局部类域论中经典上编号的分歧过滤之间的精确联系。通过证明 (P_m) 的临界阈值 $ m_{L/K} $ 等于最大上分歧断裂 $ u_{L/K} $，作者表明通过 (P_m) 定义的过滤与标准上编号过滤完全一致，从而刻画了具有完美剩余域的 p 进局部域的伽罗瓦扩张的分歧结构。

ABSTRACT

We prove that the ramification filtration of the absolute Galois group of a comlete discrete valuation field with perfect residue field is characterized in terms of Fontaine's property (Pm).

研究动机与目标

• 刻画完全离散赋值域（其剩余域为正特征且完美）的绝对伽罗瓦群的分歧过滤。
• 在局部类域论中，建立 Fontaine 的性质 (P_m) 与经典上编号过滤之间的精确联系。
• 证明通过 (P_m) 定义的分歧阈值 $ m_{L/K} $ 与伽罗瓦扩张 $ L/K $ 的最大上分歧断裂 $ u_{L/K} $ 完全一致，从而确认两种过滤的等同性。

提出的方法

• 将 $ m_{L/K} $ 定义为使得 Fontaine 的性质 (P_m) 对有限伽罗瓦扩张 $ L/K $ 成立的实数 $ m $ 的下确界。
• 构造 $ G_K $ 的两个过滤：$ G_K^{ ext{geq} m} = \mathrm{Gal}(\bar{K}/\bar{K}_{<m}) $ 和 $ G_K^{>m} = \mathrm{Gal}(\bar{K}/\bar{K}_{\leq m}) $，其中 $ \bar{K}_{<m} $ 和 $ \bar{K}_{\leq m} $ 分别是满足 $ m_{L/K} < m $ 和 $ m_{L/K} \leq m $ 的扩张的复合。
• 利用 Fontaine 和 Serre 的上编号分歧断裂理论 $ u_{L/K} $ 与 $ m_{L/K} $ 进行比较，通过伽罗瓦理论相容性与极限论证证明 $ m_{L/K} = u_{L/K} $。
• 利用关于赋值不等式的关键引理以及伽罗瓦扩张的结构，证明所得过滤 $ G_K^{\geq m} $ 与经典上编号过滤 $ G_K^{(m)} $ 一致，且 $ G_K^{>m} $ 与 $ G_K^{(m+)} $ 一致。
• 将结果应用于改进伽罗瓦表示与有限平坦群概形的分歧界，特别是在 Fontaine 和 Hattori 的工作背景下。
• 通过 Abbes 和 Saito 的框架将分析扩展至非完美剩余域，将 (P_m) 语言转化为其对数分歧语言。

实验结果

研究问题

• RQ1 Fontaine 的性质 (P_m) 是否在具有完美剩余域的局部域中刻画了经典上编号分歧过滤？
• RQ2 通过 (P_m) 定义的阈值 $ m_{L/K} $ 与伽罗瓦扩张 $ L/K $ 的最大上分歧断裂 $ u_{L/K} $ 之间的确切关系为何？
• RQ3 能否将通过 (P_m) 定义的过滤识别为标准上编号过滤 $ G_K^{(m)} $？
• RQ4 性质 (P_m) 在扩张复合下如何表现？这对分歧过滤的结构有何含义？
• RQ5 这些结果在多大程度上可推广至具有非完美剩余域的局部域？

主要发现

• Fontaine 性质 (P_m) 的临界阈值 $ m_{L/K} $ 等于扩张 $ L/K $ 的最大上分歧断裂 $ u_{L/K} $，即 $ m_{L/K} = u_{L/K} $。
• 通过 $ m_{L/K} $ 定义的过滤 $ G_K^{\geq m} $ 与经典上编号过滤 $ G_K^{(m)} $ 完全一致，即 $ G_K^{\geq m} = G_K^{(m)} $。
• 通过 $ m_{L/K} \leq m $ 定义的过滤 $ G_K^{>m} $ 与 $ G_K^{(m+)} $ 一致，即 $ G_K^{(m+)} $ 是所有 $ m' > m $ 的 $ G_K^{(m')} $ 的并集的闭包。
• 过滤 $ (G_K^{\geq m})_{m \in \mathbb{R}} $ 满足 $ \bigcap_m G_K^{\geq m} = 1 $ 且 $ G_K^{\geq 0} = G_K $，其中 $ G_K^{\geq 1} $ 为惯性子群，而 $ G_K^{>1} $ 为纯粹有义子群。
• 该结果改进了 Fontaine 对有限平坦群概形的分歧界，表明当 $ m > e(n + 1/(p-1)) $ 时，$ G_K^{(m)} $ 在 $ \mathscr{G}(\bar{K}) $ 上平凡作用，其中 $ e $ 为绝对分歧指数，$ n $ 为 $ p $-挠的指数。
• 等式 $ \bar{K}_{<m} = \bar{K}_{(m)} $ 与 $ \bar{K}_{\leq m} = \bar{K}_{(m+)} $ 成立，确认了在完美剩余域情形下两种过滤的等同性。