[论文解读] How to facet a gemstone: from potential modularity to the proof of Serre's modularity conjecture

Luís Dieulefait|ArXiv.org|Dec 9, 2007

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

一句话总结

本文全面綜述了Serre模形式猜想的證明，利用潛在模形式定理（特別是Taylor的定理）與模形式提升技術，從基本情況推廣模形式性。透過使用最小提升、透過Galois共軛的權重降低，以及迭代的分歧消除技術，作者將一般情況簡化至水平等於1且權重較小的情形，最終證明所有奇導子、奇數、不可約的2維Galois表示均為模形式。

ABSTRACT

In this survey paper we present recent results obtained by Khare, Wintenberger and the author that have led to a proof of Serre's conjecture, such as existence of compatible families, modular upper bounds for universal deformation rings and existence of minimal lifts, prime switching and modularity propagation, weight reduction (via existence of conjugates) and (iterated) killing ramification. The main tools used in the proof of these results are modularity lifting theorems a la Wiles and a result of potential modularity due to R. Taylor.

研究动机与目标

• 闡明Serre模形式猜想在奇數、不可約2維Galois表示上的證明中所使用之關鍵步驟與工具。
• 釐清潛在模形式與模形式提升定理如何促成模形式性從簡單基本情況推廣至一般情況。
• 詳述最小提升、透過Galois共軛的權重降低，以及迭代分歧消除在簡化問題至可處理情形中的角色。
• 展示在水平中引入良二面體素數如何促進簡化過程並確保殘留表示的大型圖像。
• 說明水平1、權重2的情形及其推廣如何透過特徵切換與半穩定化簡性質，簡化至已知的模形式情形。

提出的方法

• 利用R. Taylor的潛在模形式定理，建立Galois表示相容族的存在性。
• 應用Wiles與Kisin風格的模形式提升定理，將模形式性從殘留表示推廣至提升表示。
• 實施「素數切換」以在不同特徵間移動，於每一步簡化表示。
• 透過Galois共軛實現「權重降低」，將權重$k$的表示連結至權重約$k/2$的表示，從而簡化問題至較小權重。
• 透過連續移除水平中的素數，執行「迭代分歧消除」，並利用半穩定提升與特徵切換以滿足技術條件。
• 在水平中引入良二面體素數，以確保殘留表示圖像龐大，進而使模形式提升定理可在特徵2及更高特徵下應用。

实验结果

研究问题

• RQ1 如何將潛在模形式定理與模形式提升定理結合，以證明Serre猜想？
• RQ2 最小提升的存在性在簡化Galois表示的水平與權重中扮演何種角色？
• RQ3 在水平中引入良二面體素數如何促進奇導子表示模形式性的證明？
• RQ4 Galois共軛的存在性如何實現從權重$k$至約$k/2$的權重降低？
• RQ5 如何利用迭代分歧消除將水平簡化至1？此過程所需的技術條件為何？

主要发现

• 透過一系列技術性操作，將奇數、不可約2維Galois表示的Serre模形式猜想證明簡化至水平1、權重2的情形。
• 水平1、權重2的情形透過模形式提升定理確立，且此類表示自1973年以來即知為模形式。
• 透過Galois共軛的權重降低，可將一般權重$k$的情形簡化至權重$k/2$，最終連結至權重2的情形。
• 引入良二面體素數可確保殘留表示圖像龐大，此為在特徵2下應用模形式提升定理的必要條件。
• 結合特徵切換與半穩定提升，迭代分歧消除可將水平簡化至3；進一步透過Sophie Germain素數的簡化，可達至水平21、權重2的情形。
• 最終，透過切換至特徵7，並利用Schoof所證明之小導子半穩定阿貝爾簇為模形式的事實，完成水平3與權重4、6的簡化。