[论文解读] 3 Models of group schemes of roots of unity

Matthieu Romagny, Dajano Tossici|arXiv (Cornell University)|Jan 1, 2013

Algebraic Geometry and Number Theory参考文献 32被引用 6

一句话总结

该论文通过Kummer概形群（定义为过滤概形之间显式同态的核）构造了离散赋值环上 pn 次单位根群的有限平坦群概形模型——即Kummer群概形——从而为这类模型的分类提供了具体的矩阵框架。作者通过Witt向量矩阵建立了这些Kummer群概形与Breuil-Kisin模之间的对应关系，证明了当 n ≤ 3 时，μpn,K 的所有有限平坦模型均为Kummer群概形，并提出该结论在一般情况下也成立的猜想。

ABSTRACT

Let O_K be a discrete valuation ring of mixed characteristics (0,p), with residue field k. Using work of Sekiguchi and Suwa, we construct some finite flat O_K-models of the group scheme \mu_{p^n,K} of p^n-th roots of unity, which we call Kummer group schemes. We set carefully the general framework and algebraic properties of this construction. When k is perfect and O_K is a complete totally ramified extension of the ring of Witt vectors W(k), we provide a parallel study of the Breuil-Kisin modules of finite flat models of \mu_{p^n,K}, in such a way that the construction of Kummer groups and Breuil-Kisin modules can be compared. We compute these objects for n < 4. This leads us to conjecture that all finite flat models of \mu_{p^n,K} are Kummer group schemes.

研究动机与目标

• 在离散赋值环 OK 上显式构造 μpn,K（即 pn 次单位根群概形）的有限平坦群概形模型。
• 通过Witt向量和 p 进展开式，建立基于矩阵理论的分类框架，引入作为特定同态核的Kummer群概形。
• 比较这些Kummer群概形与Breuil-Kisin模的结构，特别是在晶体表示和伽罗瓦群退化背景下的关系。
• 为所有 μpn,K 的有限平坦模型均为Kummer群概形的猜想提供计算证据，尤其针对 n ≤ 3 的情形。
• 为理解这些群概形的Hopf序与上同调不变量奠定基础，相关应用涉及Kisin簇与伽罗瓦覆盖。

提出的方法

• 利用Sekiguchi-Suwa理论，将 μpn,K 的有限平坦模型构造为过滤群概形之间同态的核，这些同态是 Gm,K 的连通纤维的逐次扩张。
• 通过 W(OK) 上的上三角矩阵参数化Kummer群概形，在矩阵空间上引入非结合乘积与序结构。
• 应用Breuil-Kisin模理论，将其识别为 Wn(k)((u)) 中的 u-整格，利用Frobenius作用与格函子来建模群概形结构。
• 利用 p 进展开式与Teichmüller提升，将整性条件转化为矩阵方程，特别是针对 n = 3 的情形。
• 在 W(R/π^lR) 中进行显式矩阵计算，以验证Kummer群概形的整性与相容性条件。
• 依赖 µ-矩阵理论及其环结构，以编码群概形及其约化结构。

实验结果

研究问题

• RQ1 在 OK 上，μpn,K 的所有有限平坦模型是否都同构于Kummer群概形（如猜想所示）？
• RQ2 如何利用Witt向量上的矩阵参数化 μpn,K 的有限平坦模型结构？
• RQ3 在晶体表示背景下，Kummer群概形与Breuil-Kisin模之间的确切关系是什么？
• RQ4 对于 n = 3，确保所得群概形的整性与平坦性的显式矩阵条件是什么？
• RQ5 这些模型的上同调与几何性质如何与它们的Breuil-Kisin模对应物相关联？

主要发现

• 当 n ≤ 3 时，OK 上 μpn,K 的所有有限平坦模型均被证明为Kummer群概形，为基本猜想提供了强有力证据。
• Kummer群概形被显式构造为过滤群概形之间同态的核，其方程以 p 进展开式与Witt向量形式给出。
• 这些Kummer群概形的Breuil-Kisin模被识别为 Wn(k)((u)) 中的 u-整格，其结构通过矩阵条件描述。
• 当 n = 3 时，整性条件被显式计算为矩阵元素与赋值的关系，从而在模 π^l3 下实现了完整分类。
• µ-矩阵上的条件 UA/LA ≥ 0 虽为一般情形下的必要条件但非充分条件，但在 n ≤ 3 时由其他条件所蕴含。
• 计算表明，群概形的结构在很大程度上依赖于分歧指数与统一参数的选择，非Teichmüller项的引入在高分歧情形下引入了复杂性。