[论文解读] Deformation rings and Hecke algebras in the totally real case

Kazuhiro Fujiwara|ArXiv.org|Feb 27, 2006

Algebraic Geometry and Number Theory参考文献 18被引用 52

一句话总结

本文在全实数域的背景下，建立了 $ι$-adic Hecke 代数与模 $\ell$ Galois 表示的普遍变形环之间的深刻联系。通过构造近乎平凡的变形并运用 Taylor-Wiles 系统，证明了在确保自由性与完全交性质的条件下，近乎平凡 Hecke 代数同构于给定类型的普遍变形环。

ABSTRACT

One of the basic questions in number theory is to determine semi-simple l-adic representations of the absolute Galois group of a number field. In this paper, we discuss the question for two dimensional representations over a totally real number field.

研究动机与目标

• 建立全实数域上模 $\ell$ Galois 表示的 $ι$-adic Hecke 代数与普遍变形环之间的对应关系。
• 通过使用近乎平凡变形类型，将 Wiles 的模形式提升技术推广至全实数域情形。
• 在适当的有限性与自由性条件下，证明近乎平凡 Hecke 代数同构于普遍变形环。
• 验证近乎平凡类型的变形环在其系数环上为相对完全交，从而实现几何控制。
• 证明模形式的上同调实现了普遍变形模，从而将自守形式与 Galois 理论对象联系起来。

提出的方法

• 利用扭曲层与 Hecke 代数上的模构造 Taylor-Wiles 系统，以控制变形条件。
• 引入近乎平凡变形类型 $\mathscr{D}^{\mathbb{n.o.}}$ 作为 $\mathscr{D}$ 的变形，其系数环为 $o_{\mathscr{D}}[[\mathscr{X}^{\mathrm{loc}}_{\mathbb{n.o.}}]]$。
• 应用完美复形论证与上同调普遍正合性，确保变形环上存在自由模 $M_{\mathscr{D}^{\mathbb{n.o.}}}$。
• 利用 Nakayama 引理与 Hecke 代数 $T_{\mathscr{D}^{\mathbb{n.o.}}}$ 的约化性，证明同构 $R_{\mathscr{D}^{\mathbb{n.o.}}} \stackrel{\sim}{\to} T_{\mathscr{D}^{\mathbb{n.o.}}}$。
• 通过从剩余域的基变换，证明 $R_{\mathscr{D}^{\mathbb{n.o.}}}$ 是其系数环 $o_{\mathscr{D}^{\mathbb{n.o.}}}$ 上的零维相对完全交。
• 依赖精确控制定理与上同调中的对偶形式，将自守形式与 Galois 表示联系起来。

实验结果

研究问题

• RQ1 在何种条件下，$ι$-adic Hecke 代数同构于全实数域上模 $\ell$ Galois 表示的普遍变形环？
• RQ2 近乎平凡变形类型 $\mathscr{D}^{\mathbb{n.o.}}$ 是否可用于将普遍变形环实现为 Hecke 代数？
• RQ3 Hecke 代数 $T_{\mathscr{D}^{\mathbb{n.o.}}}$ 同构于 $R_{\mathscr{D}^{\mathbb{n.o.}}}$ 的必要与充分条件是什么？
• RQ4 变形环的自由性与完全交性质如何与模形式的上同调相关联？
• RQ5 近乎平凡条件在多大程度上能保证所有变形均为模形式？

主要发现

• 在推论的假设下，近乎平凡 Hecke 代数 $T_{\mathscr{D}^{\mathbb{n.o.}}}$ 同构于普遍变形环 $R_{\mathscr{D}^{\mathbb{n.o.}}}$。
• 变形环 $R_{\mathscr{D}^{\mathbb{n.o.}}}$ 是其系数环 $o_{\mathscr{D}^{\mathbb{n.o.}}}$ 上的零维相对完全交。
• 模 $M_{\mathscr{D}^{\mathbb{n.o.}}}$ 是 $R_{\mathscr{D}^{\mathbb{n.o.}}}$ 上的自由模，其秩与 $M_{\mathscr{D}}$ 在 $R_{\mathscr{D}}$ 上的秩相同。
• 自然满射 $f_{\mathscr{D}}: R_{\mathscr{D}^{\mathbb{n.o.}}} \twoheadrightarrow R_{\mathscr{D}}$ 诱导了在增广理想 $I^{\mathbb{n.o.}}$ 模下的同构。
• 当对所有 $v|\ell$ 有 $\mathrm{def}_{\mathscr{D}}(v) = \mathbb{n.o.}$ 时，代数 $T_{\mathscr{D}^{\mathbb{n.o.}}}$ 与 Hida 的近乎平凡 Hecke 代数一致。
• 通过精确控制定理与上同调普遍单射性，建立了同构 $R_{\mathscr{D}^{\mathbb{n.o.}}} \stackrel{\sim}{\to} T_{\mathscr{D}^{\mathbb{n.o.}}}$。