Integers representable as a difference of two rational fourth powers

Aquí se presenta un resumen técnico detallado del artículo "Enteros Representables como Diferencia de Dos Cuartas Potencias Racionales" de Ashleigh Ratcliffe y Nguyen Xuan Tho.

1. Planteamiento del Problema

El artículo aborda la solubilidad de la ecuación diofántica:
$$n = x^4 - y^4$$
donde $n$ es un entero positivo y $x, y$ son números racionales no nulos.

Este problema está motivado por el Último Teorema de Fermat para el exponente $n=4$, lo cual implica que el $1$ no puede escribirse como diferencia de dos cuartas potencias racionales no nulas. Mientras que el caso de la suma de dos cuartas potencias racionales ($x^4 + y^4 = n$) fue resuelto en gran medida por Cohen, Bremner y Tho para $n \le 10,000$, el caso de la diferencia permaneció incompleto para ciertos valores. Los autores tienen como objetivo proporcionar una lista completa de todos los enteros positivos $n \le 10,000$ que pueden representarse en esta forma.

Matemáticamente, el problema es equivalente a encontrar soluciones enteras $(x, y, z)$ con $xyz \neq 0$ para la ecuación homogénea:
$$x^4 - y^4 = nz^4$$
Debido a las propiedades de las cuartas potencias, es suficiente analizar los $n$ que son libres de cuartas potencias.

2. Metodología

Los autores emplean un enfoque computacional y teórico multinivel, combinando métodos de curvas elípticas, obstrucciones locales y factorización en enteros gaussianos. El flujo de trabajo se divide en tres etapas principales:

A. Reducciones Fáciles y Curvas Elípticas (Secciones 2.1 y 2.2)

El primer paso implica reducir el problema a encontrar puntos racionales en curvas elípticas específicas.

• Transformación: Cualquier solución entera no trivial de $x^4 - y^4 = nz^4$ implica la existencia de puntos racionales en una de las tres curvas elípticas asociadas:
  1. $Y^2 = X^3 + nX$
  2. $Y^2 = X^3 - nX$
  3. $Y^2 = X^3 - n^2X$
• Verificación de Rango 0: Si alguna de estas curvas tiene rango 0, el conjunto de puntos racionales es finito (solo puntos de torsión). Los autores utilizan el sistema de álgebra computacional Magma para calcular el rango y los puntos de torsión. Si los puntos de torsión no producen una solución válida (donde $xyz \neq 0$), se demuestra que la ecuación es insoluble.
• Reducción a Ecuaciones Octicas: Para los casos donde las curvas tienen rango positivo, el problema se reduce (mediante el Teorema 2) a resolver ecuaciones de la forma:
  $$a^2u^8 + b^2v^8 = cw^4$$
  donde $a, b, c$ son enteros coprimos dos a dos tales que $abc \in \{n/8, 2n\}$.
• Obstrucciones Locales y Criba de Mordell-Weil:
  • Obstrucciones Locales: Los autores verifican la existencia de soluciones módulo $p^k$. Si no existen soluciones coprimas módulo un primo, la ecuación global no tiene solución.
  • Criba de Mordell-Weil: Para las ecuaciones donde las obstrucciones locales no logran descartar soluciones, los autores mapean el problema a encontrar puntos racionales en curvas elípticas derivadas de la ecuación octica. Utilizan la criba de Mordell-Weil para verificar si el grupo generado de puntos módulo un primo $p$ es disjunto del conjunto de soluciones locales posibles, demostrando así la insolubilidad.

B. Método de Ternas Pitagóricas (Sección 2.3)

Para casos específicos donde el coeficiente $c$ en la ecuación octica $a^2u^8 + b^2v^8 = cw^4$ es un cuadrado perfecto ($c=k^2$), la ecuación puede transformarse en un sistema que involucra ternas pitagóricas:
$$x^2 + y^2 = z^2$$
Utilizando la parametrización estándar de ternas pitagóricas primitivas, los autores reducen el problema a resolver sistemas de ecuaciones que involucran cuartas potencias (por ejemplo, $d^2U^8 - e^2V^8 = bv^4$). Este método resuelve con éxito muchos casos que el método de criba no podía abordar.

C. Factorización en $\mathbb{Z}[i]$ (Sección 3 y Apéndice B)

Para los casos restantes más resistentes (listados en la Tabla 2 del artículo), los autores utilizan el método de factorización en el anillo de enteros gaussianos $\mathbb{Z}[i]$.

• Factorización: La ecuación $a^2u^8 + b^2v^8 = cw^4$ se reescribe como:
  $$(au^4 + bv^4i)(au^4 - bv^4i) = cw^4$$
• Enteros Gaussianos: Mediante el análisis del mcd en $\mathbb{Z}[i]$ y la factorización prima de $c$, los autores deducen que:
  $$au^4 + bv^4i = \alpha(s + ti)^4$$
  donde $\alpha$ es un divisor de $c$ en $\mathbb{Z}[i]$.
• Insolubilidad Local de Esquemas: Igualando las partes real e imaginaria se obtiene un sistema de dos ecuaciones cuárticas homogéneas en las variables $s, t, u, v$. Esto define un esquema en el espacio proyectivo $\mathbb{P}^3(\mathbb{Q})$. Los autores utilizan Magma para verificar si este esquema es localmente insoluble en un primo específico (usualmente 2, 3, 5 o 17). Si el esquema no tiene soluciones módulo $p$, la ecuación diofántica original no tiene soluciones enteras.

3. Contribuciones Clave

1. Clasificación Completa: El artículo proporciona la lista completa de todos los enteros positivos $n \le 10,000$ representables como diferencia de dos cuartas potencias racionales no nulas.
2. Resolución de Casos Abiertos: Los autores resuelven los casos específicos dejados abiertos por trabajos anteriores (Grechuk y Tho), incluyendo $n = 219, 463, 514$, y otros hasta $n=10,000$.
3. Marco Algorítmico: El artículo detalla un pipeline computacional robusto que combina rangos de curvas elípticas, la criba de Mordell-Weil, parametrización pitagórica y factorización en enteros gaussianos. Este marco es aplicable a problemas diofánticos similares que involucren potencias superiores.
4. Secuencias OEIS: Los resultados están catalogados en la Enciclopedia en Línea de Secuencias de Enteros (OEIS) como las secuencias A393616 (cuartas potencias racionales no nulas) y A393617 (permitiendo cero).

4. Resultados

• Enteros Solubles: La Tabla 3 del artículo enumera 136 enteros $n \le 10,000$ que son representables como $x^4 - y^4$. Para cada uno, se proporciona una representación racional específica (por ejemplo, $5 = (3/2)^4 - (1/2)^4$).
• Enteros Insolubles: El artículo demuestra que los enteros restantes en el rango $1 \le n \le 10,000$ no tienen ninguna solución racional no nula.
• Casos Específicos: Los apéndices proporcionan pruebas exhaustivas para los 33 casos "difíciles" que requirieron el método de factorización en $\mathbb{Z}[i]$. Por ejemplo, para $n=463$, se demuestra que la ecuación $214369u^8 + v^8 = 2w^4$ no tiene soluciones probando que el esquema asociado es localmente insoluble en $p=2$ y $p=3$.

5. Significado

• Completar el Estudio: Este trabajo hace paralelo a la encuesta de Cohen sobre la suma de cuartas potencias, completando el panorama para el caso de la diferencia hasta $10,000$.
• Avance Metodológico: Demuestra el poder de combinar la teoría de números clásica (enteros gaussianos, ternas pitagóricas) con herramientas computacionales modernas (Magma, criba de Mordell-Weil) para resolver ecuaciones diofánticas de alto grado.
• Fundamento para Futuras Investigaciones: Los apéndices detallados y las técnicas específicas utilizadas para los casos "difíciles" proporcionan una hoja de ruta para abordar problemas similares, como sumas o diferencias de sextas potencias o exponentes superiores.

En conclusión, Ratcliffe y Tho han cerrado con éxito la brecha en la literatura respecto a la diferencia de cuartas potencias racionales, proporcionando una lista definitiva de enteros representables y pruebas rigurosas para los no representables dentro del rango especificado.