[论文解读] Remarks on Serre's modularity conjecture

Luís Dieulefait|arXiv (Cornell University)|Mar 17, 2006

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

一句话总结

本文在不依赖特征2中的模形式提升定理的前提下，证明了任意权的奇数阶伽罗瓦表示的塞尔模形式猜想。作者利用基尼的模形式提升结果以及一种新颖的‘消除分歧’技术（通过权-2相容系统），将一般奇数阶情形约化至阶-3情形，后者借助舒夫对小导子阿贝尔簇的模形式结果得以解决。关键贡献在于提出了一种通用的约化策略，避免了特征2的复杂性，并实现了残基表示间模形式性的传播。

ABSTRACT

In this article we give a proof of Serre's conjecture for the case of odd level and arbitrary weight. Our proof does not depend on any generalization of Kisin's modularity lifting results to characteristic 2 (moreover, we will not consider at all characteristic 2 representations at any step of our proof). The key tool in the proof is a very general modularity lifting result of Kisin, which is combined with the methods and results of previous articles on Serre's conjecture by Khare, Wintenberger, and the author, and modularity results of Schoof for semistable abelian varieties of small conductor. Assuming GRH, infinitely many cases of even level will also be proved.

研究动机与目标

• 建立关于Q上所有奇数阶、二维、不可约伽罗瓦表示（任意权）的塞尔模形式猜想。
• 发展一种不依赖特征2模形式提升定理的模形式传播策略。
• 通过新颖的‘消除分歧’过程（利用权-2相容系统）将一般奇数阶情形约化至阶-3情形。
• 在广义黎曼猜想（GRH）假设下，证明猜想的额外偶数阶情形。
• 展示基尼模形式提升定理在无特征2障碍时的普遍性与更广泛应用性。

提出的方法

• 在通过相容系统消除分歧后，对残基表示应用基尼的模形式提升定理（特别参考[Ki4]）。
• 利用权-2相容系统将原始阶的分歧转移至大素数，从而实现对分歧类型的控制。
• 实施迭代的‘消除分歧’过程，将阶降至单个素数，最终达到阶3。
• 利用卡鲁索关于伽罗瓦表示与相容系统的研究结果，验证应用基尼定理的条件。
• 通过舒夫的结果（[Sc2]）将阶-3情形约化为导子整除3的半稳定阿贝尔簇的模形式性。
• 利用基底扩张与同余链，将小阶、小权情形的模形式性传播至更高阶、更高权的表示。

实验结果

研究问题

• RQ1 能否在不使用特征2模形式提升定理的前提下，证明塞尔模形式猜想对所有奇数阶表示成立？
• RQ2 是否可以系统性地利用相容系统与分歧控制，将伽罗瓦表示的阶约化为单个素数？
• RQ3 塞尔猜想的阶-3情形是否可约化为关于小导子阿贝尔簇的已知模形式结果？
• RQ4 在无特征2障碍时，基尼模形式提升定理的适用范围在多大程度上具有普遍性？
• RQ5 GRH假设如何扩展证明的适用范围至某些偶数阶情形？

主要发现

• 证明了关于Q上所有奇数阶、二维、不可约伽罗瓦表示（任意权）的塞尔模形式猜想。
• 塞尔猜想的阶-3情形被约化为舒夫关于导子整除3的半稳定阿贝尔簇的模形式结果。
• 证明完全避免了特征2模形式提升定理，因此适用于2为分歧素数的数域。
• 在GRH假设下，也证明了对任意奇素数p，导子为2p且权为2的半稳定表示满足猜想。
• ‘消除分歧’技术被证明是模形式传播的通用工具，具有超越原始猜想的推广潜力。
• 该方法证实，当基尼模形式提升定理与相容系统及分歧转移结合时，足以将任意奇数阶情形约化为有限个基底情形。