No label defined (Q4335092)

The author explains the general strategy in the proofs of Wiles and Taylor-Wiles of the now famous theorem: Every elliptic curve over \(\mathbb{Q}\) which is semistable is modular; or the Taniyama-Weil conjecture is valid for semistable elliptic curves over \(\mathbb{Q}\). For the verification of technical details he refers to the original works of \textit{A. Wiles} [Ann. Math. (2) 141, 443-551 (1995; Zbl 0823.11029)] and \textit{R. Taylor} and \textit{A. Wiles} [ibid. 553-572 (1995; Zbl 0823.11030)]. The first section treats the Taniyama-Weil conjecture; several versions of the Shimura-Taniyama-Weil conjecture, interesting historical remarks on the original statement in 1955, and Ribet's contribution are mentioned among others. Section 2 on modular Galois representations treats Serre's conjectures, Galois representations over local rings and a special case of the main theorem of Wiles. Section 3 entitled `End of the proof' finally explains the connection of the main theorem of Wiles and the Shimura-Taniyama-Weil conjecture. It also explains the verification of the conditions in the cases \(\ell=3\) and \(\ell=5\) of the main theorem for the \(\ell\)-adic Galois representation of a semistable elliptic curve. In the companion talk [same collection, Exp. No. 804, 319-332 (1996; Zbl 0957.11026)] \textit{J. Oesterlé} considers Galois representations over local rings and modular forms associated with them. For the entire collection see [Zbl 0851.00039].