Hace un par de años, un amigo mío me dijo que había tomado una avanzados de pregrado número de clase de teoría (por lo tanto, algo que supone sólo un conocimiento de álgebra y matemática de la madurez), que terminó con una prueba de que la Modularidad Teorema implica Último Teorema de Fermat, quizás citando las declaraciones de un par de otros grandes teoremas (por ejemplo, el $\epsilon$-conjetura/Ribet del Teorema).
Estoy interesado en encontrar una referencia que explica la prueba desde este punto de vista. Por supuesto, intentar aprender la aritmética geometría necesaria para entender lo Wiles resultado sería bastante la espantosa hazaña, pero este enfoque parece que podría arrojar luz sobre lo que en la tierra ecuaciones de la forma $a^n + b^n = c^n$ tienen que ver con el hecho de curvas elípticas sobre $\mathbb{Q}$ son modulares. En otras palabras, imaginar un universo donde la Modularidad Teorema fue demostrado tan pronto como se conjeturó por Taniyama y Shimura en los años 50. ¿Qué sería de los libros de explicar "las Asechanzas de la prueba" (o "Ribet de la prueba" o "Serre de la prueba" o "Frey prueba") contienen?
Está bien si una referencia supone la familiaridad con relativamente introductorio de la teoría algebraica de números y la geometría algebraica (como Hartshorne y un nivel similar al de la HORMIGA libro como Frolich y Taylor), pero prefiero que no esperaba que me conocen, digamos, algo sobre las deformaciones de representaciones de Galois.
