Conjetura De Birch Y Swinnerton Dyer
La Conjetura de Birch y Swinnerton-Dyer (BSD) es un problema central en teoría de números. Entenderla requiere dividirla en componentes. Vamos a examinar cada parte metódicamente.
Curvas Elípticas
Primero, necesitamos comprender qué es una curva elíptica. Una curva elíptica sobre los racionales es una ecuación de la forma y2 = x3 + ax + b. Aquí, a y b son números racionales. Además, se requiere que la curva sea no singular.
¿Qué significa no singular? Significa que la ecuación 4a3 + 27b2 ≠ 0 debe cumplirse. Esto asegura que la curva no tiene cúspides o auto-intersecciones.
Must Read
Puntos Racionales
Un punto racional en una curva elíptica es un punto (x, y) donde tanto x como y son números racionales. El conjunto de puntos racionales en una curva elíptica forma un grupo abeliano.
Este grupo tiene una estructura específica. Está finitamente generado. Por lo tanto, puede expresarse como la suma de un grupo finito (la torsión) y un grupo libre abeliano (de rango r). El rango r es un número entero no negativo.
Función L de Hasse-Weil
La función L de Hasse-Weil, denotada L(E, s), es una función compleja asociada a la curva elíptica E. Se define mediante un producto de Euler.
Para cada número primo p, hay un factor en el producto de Euler. El factor depende del número de soluciones de la ecuación de la curva elíptica módulo p. Denotamos este número por Np.
El producto de Euler converge para números complejos s con parte real suficientemente grande. Luego, se conjetura que L(E, s) tiene una continuación analítica a todo el plano complejo.
La Conjetura BSD
La Conjetura de Birch y Swinnerton-Dyer relaciona el rango r de la curva elíptica con el comportamiento de L(E, s) en s = 1. Específicamente, afirma que el rango r es igual al orden del cero de L(E, s) en s = 1.
En otras palabras, L(E, 1) = 0 si y sólo si el rango de la curva elíptica es mayor que 0. Si L(E, 1) = 0, entonces la derivada L(r)(E, 1) ≠ 0, donde r es el rango.
Además, la conjetura predice el valor principal del coeficiente principal en la expansión de Taylor de L(E, s) alrededor de s = 1. Este coeficiente involucra varios invariantes importantes de la curva elíptica.
Implicaciones y Estado Actual
La Conjetura BSD es uno de los problemas no resueltos más importantes en matemáticas. Su verificación implicaría resultados profundos sobre la aritmética de curvas elípticas.
Se sabe que la conjetura es verdadera para algunas familias de curvas elípticas. Por ejemplo, se ha demostrado para curvas elípticas con multiplicación compleja y para algunas curvas modulares.
Sin embargo, una prueba general de la Conjetura BSD sigue siendo un gran desafío. La investigación continua explorando diferentes enfoques para resolver este importante problema.
