5.

Yang-Mills y el salto de masa ("mass gap")

Distintos experimentos descubrieron la existencia de un mass gap (traducido en

espa�ol como "salto de masa" o "intervalo m�sico") en la soluci�n a la teor�a de
Yang-Mills, la cual estableci� las bases de la teor�a de las part�culas elementales
de la materia y en cuya versi�n cu�ntica describen part�culas sin masa (gluones).

El uso exitoso de esta teor�a para describir las fuertes interacciones de las
part�culas elementales depende de ese "salto de masa", una propiedad mec�nica
cu�ntica seg�n la cual las part�culas cu�nticas tienen masas positivas, aunque las
ondas cl�sicas viajan a la velocidad de la luz. Aunque esta propiedad fue
confirmada por simulaciones por computadora, a�n no se logr� entender desde un
punto de vista te�rico.

El problema consiste en determinar de manera rigurosa la existencia de una teor�a

de Yang-Mills cu�ntica que pueda explicar este fen�meno. Es decir, si �como muchos
expertos creen� todas las part�culas de esta teor�a (los gluones) tienen masa o no.

6. Las ecuaciones de Navier-Stokes

Estas ecuaciones describen el movimiento de fluidos como l�quidos y gases que

gobiernan la atm�sfera terrestre, las corrientes del oc�ano o el flujo alrededor de
veh�culos o proyectiles.

Pese a que desde su formulaci�n en el siglo XIX describen adecuadamente tanto el

flujo turbulento (el que se da de manera ca�tica) como laminar (no turbulento),
sigue sin existir una explicaci�n rigurosa de c�mo un fluido pasa de tener un flujo
regular a uno turbulento.

Los cient�ficos tratan de conseguir una mejorada teor�a matem�tica sobre la

din�mica de fluidos que ayude a entender el fen�meno de la turbulencia y
desbloquear los muchos secretos ocultos que a�n permanecen en las ecuaciones de
Navier-Stokes. Matem�ticos y f�sicos creen que esto nos ayudar�a a mejorar nuestro
conocimiento sobre la formaci�n de olas en el mar o turbulencias en el aire y, lo
que es a�n m�s importante, poder predecirlas mejor.

7. Conjetura de Birch y Swinnerton-Dyer

La conjetura de Birch y Swinnerton-Dyer, que une geometr�a algebraica y teor�a de

n�meros, pide estudiar las soluciones racionales a ecuaciones que definen una curva
el�ptica.

Las curvas algebraicas se clasifican seg�n su g�nero, siendo las m�s sencillas las
de g�nero cero o curvas racionales (que tienen ninguna o infinitas soluciones
racionales). El problema, sin embargo, est� en demostrar un criterio que distinga
qu� curvas de g�nero 1 (tambi�n llamadas el�pticas) tienen un n�mero finito o
infinito de soluciones racionales.