>>502 つづき

証明と主張の進展[編集]
2006年3月18日、ハーバード大学のリチャード・テイラー(Richard Taylor)は、ローラン・クローゼル（英語版）(Laurent Clozel)やミカエル・ハリス（英語版）(Michael Harris)やニコラス・シェパード-バロン（英語版）(Nicholas Shepherd-Barron)との共同研究の結果として、
ある条件を満たす総実体上の楕円曲線の佐藤・テイト予想の証明の最終段階を、彼のウェブページに掲載した。[4]
それ以来、3つの論文のうち 2つが出版されている。[5] さらに、結果はアーサー・セルバーグの跡公式（英語版）(Arthur?Selberg trace formula)の形を改善する条件となっている。
ハリスは、そのような予想されている跡公式から従う 2つの楕円曲線（同種ではない）の積から得られる結果の条件付き証明（英語版）(conditional proof)を得ている。[6]
2008年7月8日現在、リチャード・テイラーは、彼のウェブサイトへ論文（トーマス・バーネット-ラム（英語版）(Thomas Barnet-Lamb)、ダヴィッド・ゲラティ（英語版）(David Geraghty)とミカエル・ハリスの共著）を掲載していて、
そこではウェイトが 2 に等しいかまたは大きな任意の非CM正則モジュライ形式についての佐藤・テイト予想へ一般化されたヴァージョンを、直前の論文の本質的にはモジュラ性の結果を改善することで証明したと主張している。[7]
彼らはまた、跡公式に関係するいくつかの問題がミカエル・ハリスの「ブックプロジェクト」[8] と、Sug Woo Shin との共同研究により解決したと主張している。[9][10]

つづく