A torsion-intersection proof of perfect-cuboid nonexistence on 1,072 explicit master-tuple fibers

Aquí se presenta un resumen técnico detallado del artículo "Una prueba de intersección de torsión de la no existencia del cuboide perfecto en 1072 fibras de tuplas maestras explícitas" de René Peschmann.

1. Enunciado del Problema

El artículo aborda la Conjetura del Cuboide Perfecto (Conjetura B), un problema abierto de larga data en la teoría de números elemental.

• Definición: Un ladrillo de Euler es un paralelepípedo rectangular con aristas enteras $(X, Y, Z)$ y diagonales de caras enteras. Un cuboide perfecto es un ladrillo de Euler que además posee una diagonal espacial entera ($\sqrt{X^2+Y^2+Z^2} \in \mathbb{N}$).
• La Conjetura: No existe ningún cuboide perfecto en $\mathbb{N}^3$.
• Estado Actual: Aunque las búsquedas computacionales han descartado la existencia de cuboides perfectos con aristas hasta $5 \cdot 10^{11}$, no existe una demostración general. Los enfoques algebraico-geométricos anteriores se han limitado a subfamilias específicas o han dependido de hipótesis no demostradas (por ejemplo, la Hipótesis de Riemann Generalizada).

2. Metodología

El autor emplea una combinación de teoría de números estructural, geometría algebraica y verificación computacional rigurosa. El enfoque procede en tres etapas principales:

A. Reducción Estructural a Tuplas Maestras

El artículo establece un teorema de clasificación estructural (Teorema 2.4) que demuestra que todo ladrillo de Euler primitivo surge de una única "tupla maestra" $(a, b, m, n) \in \mathbb{N}^4$ que satisface condiciones específicas de coprimacidad y paridad.

• Las aristas del ladrillo se derivan de parametrizaciones pitagóricas estándar: $U_1 = a^2-b^2, V_1=2ab$ y $U_2=m^2-n^2, V_2=2mn$.
• La condición para un cuboide perfecto se reduce a verificar si un polinomio específico $f_1$ (que representa el cuadrado de la diagonal espacial) es un cuadrado perfecto.
• Esto reduce el espacio de búsqueda infinito al análisis de fibras específicas definidas por los parámetros $(m, n)$.

B. Descomposición de Curvas de Género 3

Para una fibra de tupla maestra fija $(m, n)$, la condición para un cuboide perfecto se codifica en una curva hiperelíptica de género 3 $H_{m,n}$.

• La curva se define por $v^2 = P(t^2)Q(t^2)$, donde $t = a/b$.
• El Jacobiano de esta curva, $\text{Jac}(H_{m,n})$, se descompone (hasta isogenia) en un producto de tres curvas elípticas: $E_{PQ}$, $E_{uV}$ y $E_3$.
• El artículo se centra en los cocientes elípticos $E_{uV}$ y $E_3$.

C. El Argumento de Intersección de Torsión

El mecanismo central de la prueba se basa en el Lema de Intersección de Torsión (Lema 4.2).

• Premisa: Si un cociente elíptico $E_q$ tiene rango 0 (es decir, sus puntos racionales son finitos y consisten únicamente en puntos de torsión), entonces el número de puntos racionales en la curva de género 3 $H_{m,n}$ está acotado por el tamaño del subgrupo de torsión de $E_q$.
• Lógica:
  1. Verificar $\text{rk}(E_q(\mathbb{Q})) = 0$.
  2. Calcular $|E_q(\mathbb{Q})_{\text{tors}}|$.
  3. Mapear puntos racionales desde $H_{m,n}$ hacia $E_q$. Dado que el mapa es de grado 2, $|H_{m,n}(\mathbb{Q})| \le 2 \cdot |E_q(\mathbb{Q})_{\text{tors}}|$.
  4. Paso Crucial: La curva $H_{m,n}$ siempre posee 8 puntos racionales "triviales" conocidos que corresponden a ladrillos degenerados (donde una o más aristas son cero).
  5. Si la cota superior derivada de la intersección de torsión es exactamente 8, entonces no existen puntos no triviales (cuboides perfectos) en esa fibra.

D. Certificación Incondicional del Rango

Para asegurar que la prueba sea incondicional (sin depender de conjeturas no demostradas como la HRG), el autor utiliza dos técnicas complementarias para verificar la hipótesis de rango cero:

1. 2-Descent: Utilizando ellrank de PARI/GP para obtener cotas rigurosas $[r_{low}, r_{up}]$. Si $r_{low} = r_{up} = 0$, el rango está demostrado como cero.
2. Símbolos Modulares (Teorema de Kolyvagin): Para casos donde el 2-descent es ambiguo (por ejemplo, $[0, 2]$), el autor calcula $L(E, 1)/\Omega_E$ exactamente utilizando símbolos modulares de Sage.
   • Según el Teorema de Modularidad y el teorema de Kolyvagin, si $L(E, 1) \neq 0$, el rango es 0.
   • Para curvas semiestables (que todos los factores encontrados fueron), la constante de Manin es 1, lo que garantiza que el cálculo del símbolo modular es exacto e incondicional.

3. Contribuciones Clave

1. Clasificación Estructural (Teorema 2.4): Demuestra la dirección inversa de la parametrización de tuplas maestras, mostrando que cada ladrillo de Euler primitivo corresponde a una tupla maestra. Este era un eslabón perdido en la literatura anterior.
2. Argumento de Intersección de Torsión: Aplica una cota de intersección refinada a los cocientes elípticos $E_{uV}$ y $E_3$. A diferencia de trabajos anteriores que se centraban en $E_A$, este artículo explota la geometría específica de $E_{uV}$ y $E_3$ para forzar el recuento de puntos a exactamente 8.
3. Recuento de Elevación Refinado: Cuando la cota de torsión ingenua es demasiado laxa (por ejemplo, tamaño de torsión 8 que produce una cota de 12), el autor realiza una enumeración explícita de los 8 puntos de torsión en el modelo cuártico. Al verificar qué puntos "se elevan" racionalmente a la curva de género 3, refinan la cota de nuevo a 8.
4. Pipeline de Certificación Incondicional: Un flujo de trabajo computacional robusto que combina PARI/GP y SageMath, evitando la dependencia de la Hipótesis de Riemann Generalizada (HRG) o la conjetura de Birch y Swinnerton-Dyer, confiando en su lugar en el teorema de Kolyvagin y la cota de Edixhoven sobre la constante de Manin.

4. Resultados

• Alcance: El estudio cubre todos los pares coprimos $(m, n)$ con $\max(m, n) \le 100$ y $m-n$ impar. Hay 2.040 pares de este tipo.
• Tasa de Éxito: El método demuestra incondicionalmente la no existencia de cuboides perfectos en 1.072 fibras (aproximadamente el 52,5% del espacio de búsqueda).
• Desglose de Fibras Demostradas:
  • 827 fibras mediante $E_3$: 359 mediante 2-descent preciso, 468 mediante certificación de símbolos modulares.
  • 245 fibras mediante $E_{uV}$: Todas requirieron el argumento de recuento de elevación refinado (Caso c) porque el tamaño de la torsión era 8.
• Resultado: Para estas 1.072 fibras, el conjunto de puntos racionales en la curva de género 3 asociada es exactamente el conjunto de 8 puntos degenerados. Por lo tanto, no existe ningún cuboide perfecto para ninguna tupla maestra derivada de estos pares $(m, n)$.

5. Significado y Limitaciones

• Significado:
  • Esta es la primera prueba incondicional de la no existencia de cuboides perfectos en un conjunto grande y explícito de fibras sin depender de conjeturas no demostradas.
  • Demuestra el poder de combinar el descenso explícito con cálculos de símbolos modulares para resolver casos de rango cero en familias de curvas.
  • Proporciona un marco concreto (tuplas maestras) para futuras búsquedas exhaustivas.
• Limitaciones y Trabajo Futuro:
  • Cobertura: El resultado cubre solo ~52% de las fibras hasta $m,n \le 100$. Las 968 fibras restantes tienen rangos ambiguos que exceden los presupuestos computacionales actuales (conductor $> 10^{12}$) o tienen rango total de Jacobiano $\ge 3$, lo que hace inaplicables los métodos estándar de Chabauty.
  • Fibras Difíciles: Las fibras donde los tres factores elípticos tienen rango $\ge 1$ (por ejemplo, $(5,2)$) permanecen abiertas.
  • Extensiones: El autor sugiere que el Chabauty Cuadrático (métodos p-ádicos) y el cribado de Mordell-Weil son los siguientes pasos necesarios para abordar las fibras "difíciles" restantes y potencialmente extender el límite a valores más altos de $m, n$.

En resumen, Peschmann proporciona una demostración rigurosa, asistida por computadora, que elimina la posibilidad de cuboides perfectos para un subconjunto significativo del espacio de parámetros, estableciendo un nuevo referente para resultados incondicionales en este problema clásico.