Genus-One Fibrations and the Jacobian of Linear Slices in the Quintic Equal-Sum Problem

1. Planteamiento del Problema

El artículo aborda la ecuación diofántica clásica de sumas iguales de potencias quintas:
$$a^5 + b^5 = c^5 + d^5, \quad a, b, c, d \in \mathbb{Z}_{\geq 0}$$
donde se busca la existencia de soluciones no triviales (es decir, $\{a, b\} \neq \{c, d\}$). A diferencia de los casos de potencias menores (como la cuarta potencia, donde existen métodos geométricos efectivos), la superficie quintica subyacente es de tipo general y su estructura aritmética es mucho menos comprendida.

El autor organiza la búsqueda imponiendo una restricción de corte lineal (linear slicing):
$$(c + d) - (a + b) = h$$
donde $h$ es un entero fijo. El objetivo es analizar la estructura de las soluciones bajo esta restricción, transformando el problema en uno de geometría algebraica sobre campos de funciones.

2. Metodología y Reducción Algebraica

A. Simetrización y Reducción a una Ecuación Bicuadrática

El autor introduce variables simétricas:

• Sumas: $S = a + b$, $T = c + d = S + h$.
• Diferencias: $u = b - a$, $v = d - c$.

Esto permite expresar las variables originales como $a = (S-u)/2$, etc., imponiendo condiciones de paridad ($u \equiv S \pmod 2$, $v \equiv T \pmod 2$) y no negatividad ($|u| \leq S$, $|v| \leq T$).

Sustituyendo en la ecuación original y utilizando identidades algebraicas, la igualdad $a^5 + b^5 = c^5 + d^5$ se reduce a una ecuación bicuadrática en $v$:
$$5Tv^4 + 10T^3v^2 + (T^5 - L(S, u)) = 0$$
donde $L(S, u) = S^5 + 10S^3u^2 + 5Su^4$.

Definiendo $Z = v^2$, se obtiene una ecuación cuadrática en $Z$. Para que existan soluciones enteras, el discriminante de esta cuadrática, denotado como $D_Z(S, u)$, debe ser un cuadrado perfecto. Esto define una familia de curvas de género uno:
$$Y^2 = D_Z(S, u) = 80T^6 + 20T(S^5 + 10S^3u^2 + 5Su^4)$$

B. Obstrucción Modular

Se demuestra una obstrucción necesaria: para que existan soluciones enteras, el parámetro del corte $h$ debe ser divisible por 30 ($30 \mid h$). Esto se deduce aplicando el Teorema de Fermat pequeño módulo 2, 3 y 5.

3. Interpretación Geométrica y Fibraciones de Jacobiano

El artículo destaca que la curva $Y^2 = D_Z(S, u)$ es una curva de género uno sobre el campo de funciones $\mathbb{Q}(S)$. Sin embargo, una curva de género uno no es necesariamente una curva elíptica (puede carecer de un punto racional base). Por lo tanto, para estudiar el rango de Mordell-Weil, es necesario pasar al fibrado Jacobiano asociado, que es una curva elíptica $E_h/\mathbb{Q}(S)$.

Obstrucción Aritmética Uniforme

El autor identifica una obstrucción uniforme para la torsión racional completa:

1. Para cualquier $h \neq 0$, el Jacobiano $E_h$ posee un punto de torsión racional de orden 2 global.
2. Sin embargo, no posee torsión racional completa (es decir, no tiene tres puntos de orden 2 definidos sobre $\mathbb{Q}(S)$).
3. Esto se debe a que el discriminante cuadrático que gobierna la torsión restante, $\Delta_2(S, h)$, es proporcional a $S \cdot Q_5(S, h)$, donde $Q_5$ es un polinomio quintico específico.
4. Se demuestra que $S \cdot Q_5(S, h)$ nunca es un cuadrado en $\mathbb{Q}(S)$ para $h \neq 0$ (debido a la valuación impar en $S=0$).
5. Mediante el método de Chabauty-Coleman en una curva hiperelíptica universal de género dos, se prueba que ni siquiera en especializaciones racionales $S_0$ aparece torsión adicional no trivial.

4. Resultados Principales

A. Cálculo de Invariantes y Modelo de Weierstrass

Para el primer corte admissible positivo ($h=30$), el autor calcula explícitamente los invariantes $I$ y $J$ de la cuártica binaria asociada y construye la ecuación de Weierstrass del Jacobiano $E_{30}/\mathbb{Q}(S)$.

B. Límite Superior del Rango (Teorema 3)

Utilizando el criterio de inyectividad de Gusić–Tadić para homomorfismos de especialización:

1. Se identifican valores enteros $S_0$ (ej. $S_0 = 12, 14, 17$) donde el homomorfismo de especialización $\sigma_{S_0}: E_{30}(\mathbb{Q}(S)) \to E_{30, S_0}(\mathbb{Q})$ es inyectivo.
2. Se calcula el rango de Mordell-Weil de las curvas especializadas sobre $\mathbb{Q}$ usando el sistema computacional Magma.
3. El rango mínimo encontrado entre estas especializaciones inyectivas es 1.
4. Conclusión: El rango genérico sobre el campo de funciones está acotado superiormente por 1:
   $$\text{rank } E_h(\mathbb{Q}(S)) \leq 1$$
   Este resultado es uniforme para todo $h \in \mathbb{Q}^\times$ debido a la normalización de homogeneidad.

C. Límite Inferior y Rango Exacto (Teorema 4)

Para probar que el rango es exactamente 1, el autor construye una sección racional explícita no trivial en el modelo Jacobiano universal:

1. Se define un punto racional $P_{\text{univ}}(t)$ en coordenadas racionales complejas (donde $t = S/h$).
2. Se especializa esta sección en $S=12$ (con $h=30$, lo que da $t=2/5$).
3. Se verifica computacionalmente que el punto resultante en la curva especializada $E_{30, 12}(\mathbb{Q})$ tiene una coordenada $Y$ no nula.
4. Dado que el grupo de torsión de esta curva especializada es $\mathbb{Z}/2\mathbb{Z}$ (cuyos puntos no triviales tienen $Y=0$), el punto especial tiene orden infinito.
5. Por la inyectividad de la especialización, la sección original en el fibrado tiene orden infinito.

Resultado Final:
$$\text{rank } E_h(\mathbb{Q}(S)) = 1 \quad \text{para todo } h \in \mathbb{Q}^\times, h \neq 0.$$

5. Significado y Conclusiones

• Estructura Aritmética: El trabajo establece que, aunque la superficie quintica es de tipo general, la restricción a cortes lineales revela una estructura subyacente de fibración elíptica con rango de Mordell-Weil genérico exactamente igual a 1.
• Obstrucciones a Soluciones Enteras: El hecho de que el rango sea bajo (1) y que existan obstrucciones fuertes de torsión (falta de torsión completa) sugiere que la generación de soluciones enteras no triviales es extremadamente difícil. Cualquier familia infinita de soluciones enteras tendría que provenir de esta única sección de rango 1, pero además debe satisfacer restricciones adicionales de paridad, tamaño ($|u| \leq S$) y que ciertos discriminantes sean cuadrados perfectos.
• Contribución Computacional: El artículo proporciona scripts detallados de Magma que verifican la ausencia de puntos racionales en curvas de género dos, la factorización de polinomios de alto grado, y la verificación de la inyectividad de la especialización y el orden infinito de los puntos.
• Estado del Problema: El resultado no resuelve la existencia de soluciones enteras para $a^5+b^5=c^5+d^5$, pero reduce el problema a analizar si la sección explícita (o sus múltiplos) puede satisfacer las estrictas condiciones de integralidad y no negatividad. El autor concluye que la existencia de tales soluciones sigue siendo un problema abierto interesante.

En resumen, el paper transforma un problema diofántico abierto en un problema de geometría aritmética bien definido, demostrando que el Jacobiano asociado a cualquier corte lineable no trivial tiene rango 1, y proporcionando herramientas computacionales y teóricas para investigar la viabilidad de soluciones enteras dentro de este marco.