Los problemas del Milenio

En mayo de 2000, en Paris, el Instituto Clay de Matemticas propuso, a la manera de

Hilbert en 1900, siete problemas matemticos respaldados por un premio de un milln
de dlares por problema para quien los resuelva correctamente. La lista est conformada
por los siguientes problemas:
1. La Conjetura de Birch y Swinnerton-Dyer
2. La Conjetura de Hodge
3. La Existencia y Suavidad de la Ecuacin de Navier-Stokes
4. La Hiptesis de Riemann
5. La Conjetura de Poincar
6. El Problema P vs NP
7. La Teora Cuntica de Yang-Mills

La Conjetura de Birch y Swinnerton-Dyer

La conjetura es tcnicamente muy difcil de formular, pero dice ms o menos que las soluciones
racionales de determinadas ecuaciones algebraicas estn ntimamente relacionadas con una
cierta funcin zeta como la de Riemann, de forma que si la funcin se anula en el punto 1,
entonces hay una infinidad de puntos racionales y si no se anula, solo hay un nmero finito.
Constituye, en cierto modo, un refinamiento del dcimo problema de Hilbert, que en el ao
1970 Yu. V. Matiyasevich demostr que era irresoluble.

La Conjetura de Hodge (formulada por William Hodge en el ao 1950)

En una variedad algebraica proyectiva no singular sobre los complejos, toda clase de Hodge es
una combinacin lineal racional de clases de ciclos algebraicos. Se sabe que un ciclo algebraico
es lo mismo que un subespacio analtico cerrado.
Si la conjetura es cierta, los ciclos de Hodge admitirn una interpretacin
geomtrica y esto permitir conocer como son las piezas que se adjuntan a
determinados espacios para construir unos nuevos, tcnica que se ha mostrado
muy potente durante todo el siglo pasado.

La Existencia y Suavidad de la Ecuacin de Navier-Stokes

Existen soluciones diferenciables, fsicamente razonables para las ecuaciones
de Navier-Stokes en tres dimensiones?
El resultado es conocido en dos dimensiones, incluso para las ecuaciones de Euler y varios
clculos computacionales numricos avalan una respuesta afirmativa.
La importancia de las ecuaciones de Euler y de Navier-Stokes radica en que describen el
movimiento de un fluido en el espacio.

La Hiptesis de Riemann (formulada por Bernhard Riemann en el ao 1859)

Este problema ocupa el octavo lugar de la lista de los 23 problemas de Hilbert (lugar
compartido con la conjetura de Goldbach) y es el nico de dicha lista que figura entre los siete
problemas del milenio. Afirma que los ceros no triviales de la funcin zeta

tienen todos una componente sobre una cierta recta.

La funcin

admite infinitos ceros complejos no reales, es decir, nmeros de la forma

Riemann conjetur que todos estos nmeros se deben
encontrar sobre la recta
y as se ha comprobado para los primeros ceros de la funcin,
hasta varios miles de millones de ellos. Esta funcin fue propuesta por Riemann en su intento de
probar el Teorema de los Nmeros Primos: La cantidad de primos hasta n se acerca
cada vez as a la relacin
Este ltimo teorema fue probado por Hadamard y La Valle Poison en 1886, pero la
demostracin solo requiri probar que la funcin de Riemann no tena ceros en la recta
definida por x = 1 Por lo tanto la conjetura quedo abierta y form parte de los problemas de
Hilbert.

La Conjetura de Poincar (formulada por Henri Poincar en el ao 1904)

Planteada por el matemtico Francs Jules Henry Poincar, afirma que la 3-esfera es el ms
simple de todos los llamados 3-manifolds compactos. La rama de las matemticas que estudia
los manifolds es la topologa. Entre las preguntas fundamentales que se plantean los toplogos
sobre 3-manifolds estn:
1. Cual es el tipo mas simple de 3-manifold, es decir, el de estructura menos complicada ?
2. Es nico dicho 3-manifold?
3. Qu clases de 3-manifolds existen?
La respuesta a la primera pregunta la propuso Poincar, en 1904, a manera de conjetura (sin
demostracin). Las otras dos preguntas fueron resueltas POSITIVAMENTE por el matemtico
Ruso Grigori Perelman en 2003, dando lugar al primero de los problemas del milenio en ser
resuelto. Con el resultado de Perelman se ha completado el catlogo de todas las formas
posibles que un espacio 3-dimensional (sin tener en cuenta al tiempo) puede tomar.

El Problema P vs NP (formulado por Stephen Cook en el ao 1971)

La relacin entre las clases de complejidad P y NP es una pregunta abierta en Ciencias de la
Computabilidad Terica.

NP: Non-deterministic Polynomial Time Problems

P: Polinomial Time Problems
Desde el punto de vista aplicado, un problema computable requiere que un algoritmo que lo
resuelva se ejecute en un tiempo suficientemente veloz. Por ejemplo, un algoritmo que requiera
una ejecucin ms larga que la duracin del universo, o de una vida humana, no puede
considerarse concretamente ejecutable, aunque pueda serlo en abstracto.
Para aclarar la distincin entre algoritmos, los matemticos Edmonds y Cobhan, en 1965,
propusieron la distincin entre algoritmos que se ejecutan en tiempo polinomial y los que no lo
hacen. La clase de problemas para la que existe una solucin en tiempo polinomial se denota
con el smbolo P. En 1972 tres matemticos, Cook, Karp, y Levin descubrieron una clase
potencialmente ms amplia que P y la denotaron por NP, cuyos problemas aunque no
necesariamente resolubles en tiempo polinomial, casi lo son, en el sentido de que cada
propuesta de solucin, se puede verificar en tiempo polinomial si funciona o no.
La diferencia entre las dos clases es la siguiente: para estar en la primera clase es NECESARIO
que el problema admita un algoritmo que COMPUTE la solucin en tiempo polinomial,
mientras que para estar en la segunda clase es SUFICIENTE que el problema admita un
algoritmo que VERIFIQUE la solucin en tiempo polinomial.
Un tpico problema Np-duro es el llamado problema del Vendedor Viajero:
Dado un nmero de ciudades y el costo de viajar de una a otra, Cul es la ruta de viaje ms
barata que visita cada ciudad exactamente una vez y regresa al punto de partida?

La Teora Cuntica de Yang-Mills

Demostrar que para todo grupo gauge simple compacto, la teora cuntica de Yang-Mills en el
espacio de dimensin 4 existe y tiene defecto de masa positivo. La demostracin de este
resultado permitir un mejor conocimiento matemtico de las teoras cunticas de campos 4dimensionales, de gran importancia en la fsica. Permitir, por ejemplo, dar una justificacin
matemticamente satisfactoria de la invisibilidad de los quarks.