Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Las Matemáticas del Ultimo Teorema de Fermat
Charles Daney
Traducción del artículo
"The Mathematics of Fermat's Last Theorem"
Monterey Bay
Introducción
Si usted ha leído alguna vez acerca de la teoría de números, usted probablemente conoce que el
llamado Ultimo Teorema de Fermat ha sido uno de los grandes problemas no resueltos en este
campo en los últimos trecientos cincuenta años. Usted probablemente sabrá que una solución del
problema fue anunciada recientemente, en 1993. Y, después de unos pocos meses muy tensos
tratando de resolver una dificultad que fue encontrada en la prueba original, expertos en el campo
ahora creen que el problema ya está definitivamente resuelto.
En este trabajo, vamos a presentar una reseña algunas de las matemáticas que han sido
desarrolladas a través de años para tratar de resolver el problema (directa o indirectamente) o que
se han sido encontradas relevantes. El énfasis será el "vistazo general" antes que los detalles
técnicos (por supuesto, hasta que usted empiece a ver el vistazo general, muchas cosas pueden
parecer como detalles técnicos).
Veremos que esto involucra una sorprendentemente gran cantidad de matemáticas "puras". En
cierto sentido, esto demuestra simplemente que tan unificada es la matemática como ciencia. Y
este hecho, más que cualquier utilidad intrnseca de la solución del problema en s mismo, es el
porqué de que muchos matemáticos hayan trabajado en él a través de los años y lo hayan
considerado como un problema importante.
El enunciado del Ultimo Teorema de Fermat (en adelante UTF) es tan simple como cualquier
proposición matemática podrá ser:
La ecuación no tiene soluciones para enteros , ,
no nulos, si es un entero más grande que dos.
La prueba del UTF
Cómo podría algo como el UTF ser probado?. Puesto que es un enunciado acerca de la no
existencia de algo, la prueba ha de ser un poco más que indirecta. Por supuesto, si uno pudiera
encontrar una solución para algún conjunto de números, eso descartará el teorema y resolvería el
problema. Pero queremos mostrar que el UTF es cierto. La manera "más fácil" para demostrar que
algo no existe es mostrar que la supuesta existencia nos lleva a una contradicción.
http://tecdigital.tec.ac.cr/revistamatematica/ContribucionesV4n3/Fermat/index.html 1/10
20/3/2016 Ultimo teroema de Fermat
En el más alto nivel, la prueba es extremadamente simple de entender puesto que se obtiene de dos
teoremas:
Teorema 1. Si hay una solución de la ecuación de Fermat,
entonces la curva elíptica definida por la ecuación
es semiestable pero no modular.
y
Sin embargo, ambos teoremas son difíciles y han sido probados solo en los últimos 10 años. Pero
dado que ahora son conocidos, se sigue que, con tal de evitar una contradicción, no puede haber
soluciones para la ecuación de Fermat.
No se preocupe mucho por la terminológia usada en estos teoremas. El propósito de este trabajo es
explicar algunos de los términos y muchos de los conceptos relacionados en el proceso, y dar un
vistazo de pájaro a una gran porción de terreno matemático.
El Teorema 1 es más bien especial en el sentido de que aplica si la ecuación de Fermat tiene una
solución (y como conocemos que este no es el caso, el teorema no tiene más uso). Fue
primeramente conjeturado alrededor de 1982 por Gerhard Frey y finalmente probado en 1986 por
Ken Ribet, ayudado en el camino por JeanPierre Serre.
El Teorema 2 es todavía más difícil, y es el teorema del que Andrew Wiles primeramente anunció
una prueba en 1993 y por tanto es su prueba del UTF. Aunque fueron encontrados problemas en
la prueba original de Wiles, él controlo el problema un año después, con ayuda de Richard Taylor.
En realidad, el Teorema 2 fue conjeturado anteriormente (en una forma especial) por Yutaka
Taniyama cerca de 1955, y en una forma mucho más general por Goro Shimura y Andre Weil.
Este teorema es un caso especial del que ahora es conocido como Conjetura de Taniyama
Shimura. Y esta última conjetura es un caso especial de conjeturas más generales que son parte de
lo que se conoce como Programa de Langlands, llamado asi por Robert langlands.
El Teorema 2 ciertamente parece, para alguien no familiar con el terreno, muy técnico y abstruso.
Sin embargo, después de un examen más cercano, puede ser visto como sorprendente y bellísimo.
La razón es que tiene que ver con dos tipos de objetos matemáticos aparentemente distintos:
curvas elípticas y formas modulares. cada uno de estos tópicos es relativamente simple y han sido
estudiados intensamente en los últimos 100 años. A lo largo del camino, muchos paralelismos
sorprendentes han sido observados en las respectivas teorías (que discutiremos después). Y el
teorema establece que el paralelismo es de hecho el resultado de una remarcable conección entre
los dos campos.
Wiles y Taylor probaron el Teorema 2 solo con la restricción de semiestabilidad dada, pero
muchos expertos creen que versiones mucho más generales pueden ser ciertas. Esta es una área
muy activa de investigación y muy popular en el presente, y muchos expertos están trabajando
duro tratando de probar generalizaciones.
http://tecdigital.tec.ac.cr/revistamatematica/ContribucionesV4n3/Fermat/index.html 2/10
20/3/2016 Ultimo teroema de Fermat
Las Matemáticas del UTF
Ahora vamos a dar un paseo un poco "arremolinado" por la teoría de números y otros campos
relacionados de la matemática que son relevantes para el UTF y los conceptos que se han vuelto
fundamentales para su prueba. Habrá muchos términos lanzados de manera casual, y a menos que
usted haya estudiado matemática, muchos le parecerán no familiares al principio. No deje que esto
lo desanime.
Por supuesto, cualquier entendimiento razonable se puede alcanzar solo con un estudio dedicado
de textos de nivel universitario y (eventualmente) artículos de investigación. Pero, pensamos, es
posible aprender a su manera, acerca de las ideas, lo suficiente como para orientarse y ver como
las cosas encajan. Qué tan lejos quiera llagar es cosa suya.
El UTF es un enunciado de la teoría de números. Los primeros intentos de probarlo, por los
fundadores de la teoría de números tales como Euler, Dirichlet y Legendre, usualmente involucran
solo técnicas "elementales" esto es, argumentos (aunque a menudo muy brillantes y creativos)
que pueden ser entendidos por cualquiera que conozca el álgebra de secundaria actual.
La materia repentinamente dio un giro profundo cuando Kummer se dio cuenta que las
suposiciones necesarias acerca de la factorización prima (única) que funciona para enteros
ordinarios falla para los enteros generalizados de un campo de números algebraicos (un campo de
números algebraicos es una "extensión" finita de los números racionales ordinarios para incluir las
soluciones de ecuaciones polinómicas específicas). Para resolver este problema, Kummer inventó
una nueva especie de número "ideal" donde se mantuviera la factorización única. Varias décadas
de refinamiento de las ideales de Kummer nos llevan a los anillos del álgebra moderna y a la
teoría moderna de números algebraicos tal como la conocemos hoy.
A pesar del gran poder e importancia de la teoría de ideales de Kummer, y de la subsecuente
sofistificación de los desarrollos tales como la "teoría del cuerpo de clases" (class field theory), los
intentos de probar el UTF por métodos puramente algebraicos siempre se quedaron cortos.
Pero algo sorprendente pasó. Bernard Riemann fue uno de los grandes matemáticos del siglo
diecinueve, talvez mejor conocido por poner el cálculo integral sobre una base rigurosa (con la
integral de Riemann). El hizo muchísimo más que algo relevante en teoría de números y el UTF.
En los 1850s Riemann investigó las propiedades de cierta función compleja llamada función zeta,
la cual habia sido de intéres mucho antes para gente como Euler y Dirichlet. La función zeta es
quizás la más simple de una clase de funciones definida por una expansión en serie llamadas más
tarde "de Dirichlet". El comportamineto analítico de esta función, en particular la lozalización de
sus ceros y sus polos, mostraron tener una profunda conexión con la distribución de números
primos. El conocimiento de la función zeta permitio eventualmente a Hadamard probar el
"Teorema de los números primos", el cual da una fórmula asíntotica para el número de primos
menores que un número dado. Una fuerte conjetura que permanece sin probar todavía acerca de la
función zeta, llamada la Hipótesis de Riemann (la cual dice que los únicos ceros de la función
zeta que estan en la banda se encuentran sobre la línea ), nos da
muchícima información precisa acerca de la distribución de primos.
A través de los años, otros matemáticos han inventado e investigado generalizaciones de la
función zeta de Riemann y las series de Dirichlet las cuales estan tan intimamente relacionadas
con generalizaciones de los números racionales ordinarios como la función zeta está con los
mismos números racionales. Por ejemplo, hay funciones zeta de extensiones algebraicas finitas de
los racionales, y funciones similares llamadas Lfunciones que expresan hechos acerca del grupo
http://tecdigital.tec.ac.cr/revistamatematica/ContribucionesV4n3/Fermat/index.html 3/10
20/3/2016 Ultimo teroema de Fermat
de Galois de la extensión del campo. Hay también funciones zeta y Lfunciones de curvas elípticas
y de campos finitos. Hay hasta versiones ádicas de funciones zeta y L, definidas sobre campos
ádicos.
Varias versiones de funciones zeta y funciones L son usadas fuertemente en teoría de números y
áreas relacionadas. En particular, es posible formular un equivalente de la conjetura de Taniyama
Shimura en los siguientes términos: para cada curva elíptica hay una forma modular la cual tiene
tiene asociada la misma función L. Esto representa una muy tentadora y profunda relación entre
objetos matemáticos analíticos y algebraicos.
Riemann, en una carrera relativamente corta, fertilizó un gran número de campos matemáticos. Y
como si lo que hemos mencionado no fuera suficiente, él también hizo contribuciones
absolutamente fundamentales al análisis complejo con la invención del concepto de superficies de
Riemann. Una superficie de Riemann es una generalización del plano complejo y un dominio de
definición natural para las funciones analíticas. Las superficies de Riemann hacen posible definir y
estudiar de una manera natural una muy interesante clase de funciones llamadas funciones
elípticas, las cuales fueron investigadas por Weierstrass. Estas superficies mostraron estar
cercanamente relacionadas con las curvas elípticas (i.e. la clase de curvas involucradas en los
teoremas 1 y 2). Dando un vistazo a las funciones definidas sobre una superficie de Riemann
desde las funciones elípticas uno puede construir otro tipo de funciones conocidas como funciones
modulares. El Teorema 2, y formas más generales de la conjetura de TaniyamaShimura, pueden
ser vistas todavía en otra forma para afirmar que hay una muy significativa relación entre
funciones modulares y curvas elípticas. Pero aún antes de esto, las funciones modulares han sido
investigadas por sus muchas propiedades que conducen a resultados teóricos muy elegantes.
De manera incidental, Riemann fue también responsable de la geometría Riemanniana, i.e. el
estudio de curvas y superficies con técnicas del cálculo diferencial. De hecho, como sugiere su
invención de las superficies de Riemann, Riemann contribuyó a la geometría tanto como al
análisis. En realidad, hizo un gran trabajo para unificar los dos campos. Conceptos tales como
cálculo tensorial y variedades diferenciales son un resultado directo de su trabajo y se convirtieron
en herramientas esenciales de la teoría general de la relatividad de Einstein.
Esto es entonces, una muy abreviada descripción de los participantes que juegan roles de liderazgo
en la eventual resolución del teorema de Fermat. Hay varias direcciones que uno puede tomar
desde aquí. Cada dirección a menudo tratará sobre conceptos y hechos que caen en una o más de
las otras direcciones, así que usted deberá estar predispuesto para esperar hasta que usted haya
explorado todas estas direcciones para tener el mejor entendimiento de cómo va la cosa. Con esta
predisposición para aceptar ideas que serán explicadas solo en otra parte, usted puede escoger casi
que cualquier camino para el siguiente paso.
Observación sobre los prerequisitos
Hay una gran cantidad de matemática pesada en las páginas que siguen. Esto es todo. Es difícil
que usted comprenda muchas cosas de la discusión a menos que haya llevado un par de cursos de
nivel universitario. Si usted ya llevó estos cursos pero ha olvidado un poco, esta bien. Tenemos un
repaso de las definiciones básicas y un glosario. Una introducción al álgebra abstracta (grupos,
anillos, campos) es a lo sumo esencial. Un curso en álgebra lineal sera también muy bueno. El
cálculo introductorio será a veces útil. Un curso en análisis complejo sería excelente pero si no lo
ha llevado, podrá solo leer y tomar los resultados a pura fe.
Nota del editor: en el texto original hay ligas para acceder a temas previos (si usted lo considera pertinente) antes de
pasar a la prueba del UTF. Aquí se puede hacer lo mismo, solo que las ligas en estos temas lo llevarán a un sitio en
http://tecdigital.tec.ac.cr/revistamatematica/ContribucionesV4n3/Fermat/index.html 4/10
20/3/2016 Ultimo teroema de Fermat
inglés.
Curvas y funciones elípticas
Las curvas elípticas son objetos relativamente simples que ayudaron a inspirar el campo de la
geometría algebraica por algunas propiedades muy especiales
Curvas elípticas y funciones modulares
Una forma modular es algo como una función elíptica. Los dos conceptos son casos especiales de
funciones automorfas, lo cual significa que son invariantes ante cierto grupo de operaciones sobre
sus dominios de definición. Esto introduce consideraciones sobre teoría de grupos y simetría en el
estudio de funciones complejas y de superficies de Riemann. Esto produce mucho paralelismo
entre la teoría de curvas elípticas y la de formas modulares, lo cual tiene consecuencias profundas
para ambas teorías.
Función zeta y Lfunciones
Estas series de Dirichlet y sus generalizaciones enlazan información de caracter teoríco y analítico
en teoría de números, de una manera profunda y misteriosa.
Representaciones de Galois
Otra clase de contrucción matemática la cual puede ser hecha para curvas elípticas y formas
modulares. Nosotros vemos los grupos de Galois y sus representaciones como matrices sobre
varios anillos, incluyendo los números ádicos.
Prueba del Último Teorema de Fermat
Este es un bosquejo de los resultados de Ribet (prueba del Teorema 1) y Wiles (prueba del
Teorema 2). Juntos prueban el UTF. Esto lo puede leer de primero si solamente quiere un vistazo
de alto nivel de la prueba.
Curvas de Frey
Supongamos que hubiera una solución no trivial de la ecuación de Fermat para algún número ,
i.e. enteros no nulos tales que
Recordemos que cerca de 1982, Frey llamó la atención sobre la curva elíptica
Llamemos a esta curva . Frey notó que ella tiene algunas propiedades muy especiales, y
sospechó que podía ser tan inusual que podría no existir.
Para iniciar con esto, varios cálculos rutinarios nos permitirán hacer algunas simplificaciones
http://tecdigital.tec.ac.cr/revistamatematica/ContribucionesV4n3/Fermat/index.html 5/10
20/3/2016 Ultimo teroema de Fermat
veces una potencia perfecta de un primo). Algo inusual en es lo grande que el determinante es.
El conductor es un producto de primos en el que tiene una mala reducción, lo cual no es más
que el conjunto de primos que divide el "discriminante mínimo". Sin embargo, la potencia exacta
de cada primo que ocurre en el conductor depende del tipo de singularidad que posee la curva
módulo los primos de mala reducción. La definición del conductor asegura que divide el
conductor solo a la primera potencia si tiene una única raíz doble y no una
de otra manera podría dividir a , y hemos asumido que son primos relativos. Por tanto, el
polinomio debe tener la forma , con . Así solo hay, a lo sumo, una
raíz doble módulo cualquier primo, y por tanto el conductor es "libre de cuadrados" . En otras
palabras, es semiestable.
Hay otras cosas acerca de , las cuales debemos hacer con propiedades específicas de su
reprersentación de Galois. Por esto, el resultado de Ribet nos lleva a concluir que no puede ser
modular.
Prueba del UTF a partir de la conjetura de TaniyamaShimura
Antes de que Frey pusiera su atención en la inusual curva elíptica la cual resultaría si hubiera una
solución no trivial de la ecuación de Fermat, JeanPierre Serre (quién ha hecho muchas
contribuciones a la teoría moderna de números y la geometría algebraica) formuló varias
conjeturas las cuales, a veces solas y a veces junto con la conjetura de TaniyamaShimura,
pudieron ser usadas para probar el UTF.
Kenneth Ribet rápidamente encontró una manera para probar una de estas conjeturas. La conjetura
en sí misma no hablaba acerca de las curvas de Frey ni del UTF. En vez de eso, simplemente
establecía que si la representación de Galois asociada con una curva elíptica tiene ciertas
propiedades, entonces no puede ser modular. Específicamente, no puede ser modular en le
sentido de que existe una forma modular la cual lleva a la misma representación de Galois.
Necesitamos introducir un poco de notación y terminología adicional para explicar esto mejor. Sea
el espacio vectorial de formas parábolicas (cusp forms) de de peso 2. La teoría
"clásica" de formas modulares muestra que puede ser identificado con el espacio de
dimensión de es finita e igual al "género" de . El "género" es una propiedad
topológica estándar de superficies la cual intuitivamente corresponde al número de huecos de una
superficie (e.g. un toro, tal como una curva elíptica, tienen género 1).
http://tecdigital.tec.ac.cr/revistamatematica/ContribucionesV4n3/Fermat/index.html 6/10
20/3/2016 Ultimo teroema de Fermat
Pero hay fórmulas explícitas relativamente simples para el género de . Estas fórmulas,
desarrolladas mucho tiempo atrás por Hurwits en la teoría de superficies de Riemann, involucra el
índice de en . Un hecho de crucial importancia es que para , el género de
forma constante 0 en ese caso. Usaremos este hecho acerca de muy pronto.
Hay ciertos operadores llamados 'Operadores de Hecke' (Erich Hecke), sobre espacios de formas
modulares y para el subespacio en particular, puesto que ellos preservan el peso de una
forma. Los operadores de Hecke pueden ser definidos concretamente de varias maneras. Hay un
operador de Hecke para toda . Hay fórmulas que relacionan para
determina todo .
Todo el son operadores lineales sobre . Si hay una en que es
es llamada una forma propia (no necesariamente existen formas propias no triviales, e.g. si
tiene dimensión cero). se dice normalizable si su coeficiente principal en un desarrollo
de Fourier es 1. En este caso, los valores propios se vuelven los coeficientes de la
expansión en serie de Fourier.
Puede ser demostrado que si es una forma parabólica (cusp form) la cual es una función
propia normalizada para todo , entonces existe una descomposición en producto de Euler
para la función . Esto es obviamente de gran ayuda técnica para relacionar
funciones de formas y aquellas otras de curvas elípticas (las cuales son productos de Euler por
definición).
Si es una forma propia normalizada de todos los operadores de Hecke, se puede
demostrar que los coeficientes en la expansión de Fourier son todos números algebraicos y que
ellos generan una extensión finita de .
http://tecdigital.tec.ac.cr/revistamatematica/ContribucionesV4n3/Fermat/index.html 7/10
20/3/2016 Ultimo teroema de Fermat
que sea una forma propia normalizada es posible la construcción de la representación de Galois
P de para cualquier ideal primo P de el anillo de enteros de .
Al fin podemos describir lo que Ribet probó. Supongamos que es una curva elíptica
semiestable con conductor y que su representación de Galois asciada P para algún
de Frey). Si es modular, entonces hay una forma propia normalizada y un ideal primo P
sobre (i.e uno de los factores primos de en la extensión de campo generada por los
coeficientes de Fourier de ) tal que la representación de Galois P es . Ribet
mostró que es posible encontrar un primo impar el cual divide tal que hay otra
, y un ideal primo correspondiente P' del anillo de los enteros en el campo
de Galois. Esta es conocida como la conjetura del "descenso de nivel" puesto que afirma que bajo
las condiciones adecuadas hay una forma propia de un nivel más bajo que da esencialmente la
misma representación.
Este proceso puede ser repetido tanto como tenga factores primos impares. Es importante que
la curva es semiestable para que sea libre de cuadrados. Esto dice que los factores primos
impares de pueden ser eliminados así que debe haber una forma propia no trivial de nivel 2,
i.e. en , esto da esencialmente la misma representación de Galois. Y esto es una
contradicción, puesto que tiene dimensión 0, por tanto no contiene formas no triviales. La
contradicción dice que no puede ser modular.
Ahora invocamos las propiedades inusuales de la curva de Frey que resultan de una posible
solución no trivial del UTF. Estas propiedades nos permiten mostrar que la representación de
Galois asociada tiene las propiedades requeridas para aplicar el resultado de Ribet. Por tanto la
curva de Frey no puede ser modular.
Prueba del caso semiestable de la conjetura de TaniyamaShimura
No es muy sorprendente (puesto que fue un trabajo duro) que la prueba sea excesivamente técnica.
Sin embargo, la idea es relativamente simple. En lo que sigue, asumimos que es una curva
elíptica semiestable con conductor . Debemos probar que es modular.
Nosotros sabemos que podemos construir una representación de Galois
: G
un primo y luego podemos "comparar precios" con cualquier primo con quién resulte fácil
http://tecdigital.tec.ac.cr/revistamatematica/ContribucionesV4n3/Fermat/index.html 8/10
20/3/2016 Ultimo teroema de Fermat
un primo y luego podemos "comparar precios" con cualquier primo con quién resulte fácil
trabajar.
La prueba de que es modular involucra la búsqueda de una forma propia en
con propiedades adecuadas. Las propiedades requeridas son que los valores propios de ,
los cuales son sus coeficientes en la serie de Fourier, deban ser congruentes módulo con la traza
"elemento de Frobenius"). Se sabe que la traza es, para el primo hasta , el coeficiente
de la serie de Dirichlet de .
La parte más extensa y dura del trabajo de Wiles fue probar un resultado general el cual
aproximadamente dice que si es modular entonces también . En otras
palabras, para probar que es modular, es en realidad suficiente probar que
: G
es modular. Este es el llamado "problema de elevación modular".
El problema se reduce a asumir que es modular e intentar "elevar" la representación a
. Esto se puede hacer principalmente trabajando con la teoría de representaciones tanto
como sea posible, sin referencias específicas a la curva . La prueba usa un concepto llamado
"deformación", el cual sugiere intuitivamente que va pasando en el proceso de levantamiento.
El resultado de esta parte del trabajo de Wiles es:
modular. Entonces es una curva elíptica modular.
modular. Pero Langlands y Tunnell habían probado en 198081 que es modular.
Desdichadamente, esto no es suficiente. Si es irreducible, listo. Pero en otro caso, un
paso más es necesario. Supongamos que es reducible; Wiles consideró entonces
. Ese debe ser reducible o irreducible. Si es reducible, Wiles prueba que es modular
http://tecdigital.tec.ac.cr/revistamatematica/ContribucionesV4n3/Fermat/index.html 9/10
20/3/2016 Ultimo teroema de Fermat
de manera directa.
Así que el último caso es si es irreducible. Wiles demostró que hay otra curva
semiestable tal que es irreducible y entonces es modular por el teorema
isomorfas. Por tanto es irreducible y modular, así que es modular por el teorema
anterior.
Bibliografía
1. [Cox] D. A. Cox, Introduction to Fermat's Last Theorem, Amer. Math. Monthly 101(1994)
314
2. [Gou] F. Q. Gouvea, "A Marvelous Proof", Amer. Math. Monthly 101(1994) 203222
3. [Hus] D. Husemoller, Elliptic Curves, SpringerVerlag (1987)
4. [Kob] N. Koblitz, Introduction to Elliptic Curves and Modular Forms, SpringerVerlag
(1984)
5. [Maz] B. Mazur, Number Theory as Gadfly, Amer. Math. Monthly 98(1991) 593610
6. [Rib] K. A. Ribet, Galois Representations and Modular Forms, Bull. AMS 32,4(1995) 375
402
7. [Rih] K. A. Ribet, B. Hayes, Fermat's Last Theorem and Modern Arithmetic, Amer. Sci.
8. 82(1994) 144156 [Rus] K. Rubin, A. Silverberg, A Report on Wiles' Cambridge Lectures,
Bull. AMS 31,1(1994) 1538
9. [Sil] J. H. Silverman, The Arithmetic of Elliptic Curves SpringerVerlag (1986)
10. [Ser] J.P. Serre, A Course in Arithmetic, SpringerVerlag (1973)
This document was generated using the LaTeX2HTML translator Version 99.2beta6 (1.42)Copyright © 1993, 1994, 1995, 1996, Nikos Drakos, Computer
Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999, Ross Moore, Mathematics Department, Macquarie University, Sydney.
Revista Virtual Matemática, Educación e Internet
Derechos Reservados
http://tecdigital.tec.ac.cr/revistamatematica/ContribucionesV4n3/Fermat/index.html 10/10