[论文解读] Sch\\'emas en groupes et poids de Diamond-Serre

Xavier Caruso|arXiv (Cornell University)|May 9, 2007

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

一句话总结

本文通过 $p$-进霍odge 理论修正了 GEE（2007 年预印本）中关于模 $p$ 哈密顿模形式权的有缺陷陈述。它通过引入索引偏移重新定义了 $J$-类群的概念以修正原始表述中的错误，建立了命题 3.3.1 的修正版本，并利用晶体模与布律尔模证明了该命题，从而确保了在全实域模形式猜想框架下后续结果的有效性。

ABSTRACT

This note is a correction of (statement and proof of) proposition 3.3.1 of Toby Gee's preprint intitled *On the weights of mod p Hilbert modular forms*. The aim is to compare Galois representations arising from extensions of some group schemes (over the ring of integers of a p-adic field) endowed with a descent data, and extensions of some crystalline representations with given Hodge-Tate weights. The main tool of the proof is the theory of Breuil.

研究动机与目标

• 修正 GEE 关于模 $p$ 哈密顿模形式预印本中命题 3.3.1 的关键错误。
• 通过引入索引偏移重新定义 $J$-类群的概念，以修正原始表述中的错误。
• 使用 $p$-进霍odge 理论与模理论技术，提供修正后命题 3.3.1 的完整且正确的证明。
• 确保依赖于该命题的 GEE 工作中后续结果的有效性。
• 阐明晶体表示、$E$-群与布律尔模之间在 Diamond-Serre 权语境下的相互作用。

提出的方法

• 基于 GEE 的反馈，通过引入索引偏移重新定义 $J$-类条件，重新推导命题 3.3.1 的修正陈述。
• 在范畴 $\text{E-BrMod}_{\text{dd}}^{p-2}$ 中构造一个模 $\mathcal{C}$，其基于 $E[u]$-模并配备过滤、弗罗贝尼乌斯与单值结构。
• 从源模 $\mathcal{M}$ 与 $\mathcal{N}$ 到 $\mathcal{C}$ 定义态射 $f_{\mathcal{M}}$ 与 $f_{\mathcal{N}}$，利用 $u$ 的幂次与权偏移。
• 使用引理 5.8 与 5.9 中的同余与不等式，确保模结构与过滤的良定义性。
• 验证态射与弗罗贝尼乌斯、单值与伽罗瓦作用的交换性，确认其在范畴中为合法态射。
• 利用布律尔模与晶体表示的理论，将修正后的模结构与原始伽罗瓦表示联系起来。

实验结果

研究问题

• RQ1 在原始版本存在缺陷的前提下，GEE 预印本中命题 3.3.1 的正确表述是什么？
• RQ2 在 $J$-类群定义中引入索引偏移如何解决原始陈述中的错误？
• RQ3 能否在 $p$-进霍odge 理论与模范畴的框架下证明该命题的修正版本？
• RQ4 模 $\mathcal{C}$ 在实现伽罗瓦表示与权之间的修正对应关系中起什么作用？
• RQ5 态射 $f_{\mathcal{M}}$ 与 $f_{\mathcal{N}}$ 如何确保其与范畴 $\text{E-BrMod}_{\text{dd}}^{p-2}$ 结构的兼容性？

主要发现

• 文献 [6] 中命题 3.3.1 的原始陈述因 $J$-类群定义错误而无效。
• 通过 GEE 的建议，引入索引偏移重新定义 $J$-类群，得到命题的修正版本。
• 通过在范畴 $\text{E-BrMod}_{\text{dd}}^{p-2}$ 中构造一个具有兼容弗罗贝尼乌斯、过滤与单值结构的良定义模 $\mathcal{C}$，证明了修正后的命题。
• 证明了态射 $f_{\mathcal{M}}$ 与 $f_{\mathcal{N}}$ 在范畴中有效，确保了关键图式 (6) 的交换性。
• 证明依赖于引理 5.8 与 5.9 中的同余与不等式，以确保所有项（尤其是涉及 $\lambda_i$ 的项）在需要时均为良定义且非零。
• 修正结果与 GEE 后续工作中对命题的应用一致，表明在修正表述下，[6] 中的主要定理依然有效。