[论文解读] Singularities of ordinary deformation rings

Andrew Snowden|arXiv (Cornell University)|Nov 15, 2011

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

一句话总结

本文提出一种方法，用于分析普通变形环 $ R $ 在 $ \mathbf{Z}_p $ 上的结构，表明在平凡二维表示且 Hodge–Tate 权重为 0 和 1 的情况下，$ R $ 是正规的、Cohen–Macaulay 的，但不是 Gorenstein 的。该方法结合模形式理论方程与交换代数，建立了 $ R $ 的函子性描述，从而实现更强的全局结果，例如 $ R = \mathbf{T} $ 定理。

ABSTRACT

Let R^univ be the universal deformation ring of a residual representation of a local Galois group. Kisin showed that many loci in MaxSpec(R^univ[1/p]) of interest are Zariski closed, and gave a way to study the generic fiber of the corresponding quotient of R^univ. However, his method gives little information about the quotient ring before inverting p. We give a method for studying this quotient in certain cases, and carry it out in the simplest non-trivial case. Precisely, suppose that V_0 is the trivial two dimensional representation and let R be the unique Z_p-flat and reduced quotient of R^univ such that MaxSpec(R[1/p]) consists of ordinary representations with Hodge--Tate weights 0 and 1. We describe the functor of points of (a slightly modified version of) R and show that the irreducile components of Spec(R) are normal, Cohen--Macaulay and not Gorenstein. This has two well-known applications to global deformation rings: first, a global deformation ring employing these local conditions is torsion-free; and second, Kisin's R[1/p]=T[1/p] theorem can be upgraded in this setting to an R=T theorem.

研究动机与目标

• 理解普通变形环 $ R $ 在 $ \mathbf{Z}_p $ 上的结构，特别是在 Kisin 方法在 $ p $ 不可逆时信息有限的情况下。
• 发展一种分析 $ R $ 本身（而非仅其通用纤维 $ R[1/p] $）的方法，适用于残余表示为平凡的情形。
• 证明在最简单非平凡的普通情形下，通用 $ \mathcal{O} $-平坦、约化的商环 $ R $ 是正规的、Cohen–Macaulay 的，且不是 Gorenstein 的。
• 将这些局部结果应用于全局变形环，证明挠射性，并将 Kisin 的 $ R[1/p] = \mathbf{T}[1/p] $ 升级为 $ R = \mathbf{T} $。

提出的方法

• 通过适用于平凡表示所有变形的显式方程，构造通用变形环 $ R^{\mathrm{univ}} $ 的商环 $ R^\dagger $。
• 利用 Kisin 方法理解通用纤维，证明 $ R^\dagger[1/p]_{\mathrm{red}} \to R[1/p] $ 是同构。
• 通过在 $ k $ 上的模形式理论解释，证明特殊纤维 $ R^\dagger \otimes_{\mathcal{O}} k $ 是约化的、等维的，且其极小素理想数与 $ R^\dagger[1/p] $ 相同。
• 应用抽象交换代数结果（命题 2.2.1 和 2.3.1），推导出 $ R^\dagger $ 是 $ \mathcal{O} $-平坦且约化的。
• 得出结论：$ R^\dagger \to R $ 是同构，从而给出了 $ R $ 的模形式理论描述。
• 利用 $ R $ 的该描述，证明其不可约分支是正规的、Cohen–Macaulay 的，且不是 Gorenstein 的。

实验结果

研究问题

• RQ1 能否在超越其通用纤维之外，描述普通情形下通用变形环的 $ \mathcal{O} $-平坦、约化商环 $ R $ 的点函子？
• RQ2 此类变形环 $ R $ 的全局代数性质（例如正规性、Cohen–Macaulay 性、Gorenstein 性质）是什么？
• RQ3 局部性质 $ R $ 如何影响全局变形环的结构，特别是在模形式提升定理的背景下？
• RQ4 当 $ R $ 是 Cohen–Macaulay 且无挠时，Kisin 的 $ R[1/p] = \mathbf{T}[1/p] $ 结果能否升级为 $ R = \mathbf{T} $？

主要发现

• 对于 Hodge–Tate 权重为 0 和 1 的平凡二维表示，通用 $ \mathcal{O} $-平坦、约化商环 $ R $ 是正规的。
• 在 $ \operatorname{Spec}(R) $ 中，其不可约分支是 Cohen–Macaulay 的，这意味着使用这些局部条件的全局变形环是无挠的。
• 环 $ R $ 不是 Gorenstein 的，这对模形式定理中 Hecke 代数 $ \mathbf{T} $ 的结构具有影响。
• 该方法通过显式方程建立了 $ R $ 的函子性描述，使得结构分析可超越通用纤维的考虑。
• 在全局情形下，当 $ R $ 是 $ \mathcal{O} $ 上的有限生成代数，且每个局部变形环 $ R_v^\Box $ 是 Cohen–Macaulay 时，全局变形环 $ R $ 也是 $ \mathcal{O} $-平坦且 Cohen–Macaulay 的。
• 当局部条件为普通，且在 $ p $ 上的素点处残余表示为平凡时，若 $ R $ 是 $ \mathcal{O} $-平坦，则 $ R = \mathbf{T} $ 定理成立。