From 338fe38ebbdfbbdecf4bffcbd9dc576466a5b8e4 Mon Sep 17 00:00:00 2001 From: Kevin Buzzard Date: Tue, 30 Apr 2024 17:31:38 +0100 Subject: [PATCH] update GENERAL.md --- GENERAL.md | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/GENERAL.md b/GENERAL.md index 1ef85110..6533bfa8 100644 --- a/GENERAL.md +++ b/GENERAL.md @@ -34,6 +34,4 @@ No! This project will start everywhere at once. We're going to build from both e ## Which proof will you formalise? -It will not be the original Wiles/Taylor-Wiles proof, but rather a "newer" proof which takes into account more recent developments due to Khare-Wintenberger, Kisin and many other people. However at its heart the proof we are formalising still uses the same theme -- the revolutionary idea (conjectured by Mazur and Tilouine and proved in many crucial cases by Wiles) that a deformation ring R is isomorphic to a Hecke algebra T. More details of the actual modularity lifting theorem which we will formalise will come later. - -The route we are taking was essentially completely designed by Richard Taylor and when I have more time I will explain it in more detail. +It will not be the original Wiles/Taylor-Wiles proof, but rather a "newer" proof which takes into account more recent developments due to Khare-Wintenberger, Kisin and many other people. However at its heart the proof we are formalising still uses the same theme -- the revolutionary idea (conjectured by Mazur and Tilouine and proved in many crucial cases by Wiles) that a deformation ring R is isomorphic to a Hecke algebra T. More details of the actual modularity lifting theorem which we will formalise, and more generally of the proof we're following, are in the project blueprint. The route we are taking was essentially completely designed by Richard Taylor after discussions with Kevin Buzzard.