Quartic reductions and elliptic obstructions for perfect Euler bricks

Resumen Técnico: Reducciones Cuárticas y Obstáculos Elípticos para Ladrillos de Euler Perfectos

Autor: René Peschmann
Fecha: 7 de abril de 2026 (Prepublicación en arXiv)

1. Introducción y Definición del Problema

El problema del ladrillo de Euler perfecto (o cuboide perfecto) busca la existencia de un paralelepípedo rectangular con aristas enteras positivas $e_1, e_2, e_3$ tales que las tres diagonales de las caras ($d_{ij}$) y la diagonal espacial ($D$) sean también enteras. Matemáticamente, esto requiere satisfacer el sistema:
$$e_i^2 + e_j^2 = d_{ij}^2 \quad (1 \le i < j \le 3)$$
$$e_1^2 + e_2^2 + e_3^2 = D^2$$

Aunque existen ladrillos de Euler (que satisfacen solo las condiciones de las diagonales de las caras), ninguno perfecto ha sido encontrado desde el siglo XVIII. Este trabajo no afirma probar la no existencia, sino que establece un nuevo marco de reducción y deriva obstáculos incondicionales basados en la geometría algebraica.

2. Metodología y Reducción del Problema

2.1. Marco de Triples Pitagóricos

El autor parametriza las aristas utilizando dos pares de Euclides $(a, b)$ y $(m, n)$ (coprimos, paridad opuesta). Las aristas se expresan en términos de componentes pitagóricos $U, V, W$. La condición de existencia de un ladrillo perfecto se reduce a que dos expresiones específicas sean cuadrados perfectos simultáneamente:

1. Condición Maestra (Diagonal de la cara restante): $V_1^2 U_2^2 + U_1^2 V_2^2 = \square$
2. Condición H-total (Diagonal espacial): $W_1^2 U_2^2 + U_1^2 V_2^2 = \square$

2.2. Reducción a Pares Cuárticos

Mediante una reducción cónica introduciendo un parámetro racional $\lambda$, el problema se transforma en la búsqueda de enteros coprimos $a, b$ y un racional $\lambda$ tales que dos polinomios cuárticos sean cuadrados:
$$f_1 = W_1^2(\lambda^2 - 1)^2 + 4U_1^2\lambda^2 = \square$$
$$f_2 = W_1^2(\lambda^2 - 1)^2 + 4V_1^2\lambda^2 = \square$$
Normalizando con $s = a/b$, esto se simplifica a:
$$r^2 = \lambda^4 + 2c\lambda^2 + 1$$
$$x^2 = \lambda^4 - 2c\lambda^2 + 1$$
donde $c(s) = \frac{s^4 - 6s^2 + 1}{(1+s^2)^2}$. El producto $f_1 f_2$ genera la ecuación de una curva hiperelíptica de género 3:
$$w^2 = \lambda^8 + A\lambda^4 + 1, \quad \text{con } A = 2 - 4c^2$$

2.3. Estructura de Curvas y Cocientes

El autor analiza la curva de género 3 ($C_A$) y su descomposición en cocientes elípticos. La curva posee un grupo de Klein de involuciones que permiten proyectar $C_A$ sobre tres curvas elípticas ($E_A, E'_A, E''_A$).

• El puente clave: Un punto racional no degenerado en $C_A$ corresponde a un punto $P$ en la curva elíptica $E_A$ tal que una función racional específica $f(P)$ es un cuadrado racional no nulo.

3. Contribuciones Clave

1. Reducción Simétrica: Empaquetar el par de condiciones cuárticas en una única curva hiperelíptica de género 3 ($C_A$) y demostrar que la existencia de un ladrillo implica la existencia de un punto racional no degenerado en esta curva.
2. Carácter de Kummer: Cálculo del carácter de Kummer $\chi_f$ asociado a la función $f$ en el subgrupo de torsión de la curva elíptica $E_A$.
   • Se demuestra que $\chi_f$ es no trivial en los puntos de torsión de orden 4.
   • Específicamente, $\chi_f(T_4) \neq 1$ para cualquier punto de torsión de orden 4, lo que implica una obstrucción estructural: la traslación por puntos de orden 4 impide que $f(P)$ sea un cuadrado en ambos $P$ y $P+T_4$ simultáneamente.
3. Obstrucciones de Descent (Descenso): Uso de argumentos de 2-descent para excluir familias de clases de cuadrados. Se demuestra que si la clase de descent $\delta_3 = 1$, entonces $f(P)$ no puede ser un cuadrado.

4. Resultados Principales

Resultados Incondicionales

• Lema 3.1: Si existe un ladrillo de Euler perfecto, entonces la curva $C_A$ tiene un punto racional no degenerado.
• Teorema 5.4: El carácter de Kummer satisface $\chi_f(T_1) = \chi_f(T_2) = [-1]$ y $\chi_f(T_3) = [1]$. Crucialmente, $\chi_f(T_4) \neq 1$ para cualquier punto de torsión de orden 4.
• Teorema 6.2: Para puntos no de torsión, si $\delta_3 = 1$, entonces $f(P)$ no es un cuadrado. Además, cualquier primo impar que divida a $\delta_3$ también debe dividir a $\delta_1$ o $\delta_2$.

Verificación Computacional

• Se ha verificado computacionalmente que para todos los parámetros $a, b, m, n$ hasta $10^3$, el producto $f_1 f_2$ nunca es un cuadrado perfecto.
• Para cada tupla probada, existe un "bloqueador" (un primo $p$) tal que la valoración $v_p(f_1 f_2)$ es impar.
  • En el 88.4% de los casos, el bloqueador es un primo $p \equiv 1 \pmod 4$.
  • En el 11.6% de los casos, es $p=2$.
  • Nunca aparece un primo $p \equiv 3 \pmod 4$ como bloqueador, lo cual es consistente con la aritmética de los enteros gaussianos (donde los primos $3 \pmod 4$ dividen las normas a potencias pares).
• Se han certificado 42 especializaciones con rango 0 para $E_A$ y 54 para $E'_A$, lo que sugiere fuertemente que el rango genérico es 0, aunque no constituye una prueba incondicional sin verificar la inyectividad de la especialización.

5. Significado y Direcciones Futuras

Estado Actual:
Los resultados presentados no excluyen la existencia de ladrillos de Euler perfectos de manera incondicional, pero acotan significativamente el espacio de búsqueda. La "brecha" restante reside en la posibilidad de que existan puntos racionales en una clase de descent residual (donde $\delta_3 \neq 1$ y los factores primos de $\delta_3$ dividen a $\delta_1$ pero no a $\delta_2$) que podrían permitir que $f(P)$ sea un cuadrado.

Nuevas Perspectivas:

1. Obstrucción de Cobertura de Género 5: La no trivialidad de $\chi_f(T_4)$ implica que la cobertura doble $z^2 = f(P+T_4)/f(P)$ es una curva de género 5. Por el Teorema de Faltings, esta curva tiene un número finito de puntos racionales. Si el rango de su Jacobiana es menor que 5, el método de Chabauty-Coleman podría hacer efectiva esta finitud.
2. Conexión con $\mathbb{Q}(\sqrt{2})$: La factorización del numerador de $c(s)$ involucra raíces en $\mathbb{Q}(\sqrt{2})$, lo que conecta el problema con curvas de rango 0 estudiadas previamente por Asiryan.
3. Próximos Pasos: El autor sugiere intentar demostrar que $\chi_f(G) \neq 1$ para todo $G$ no de torsión (extendiendo el teorema de torsión al grupo completo de Mordell-Weil) o buscar una obstrucción de Brauer-Manin en la superficie hiperelíptica subyacente.

Conclusión:
El artículo transforma un problema de teoría de números clásico en un problema de geometría aritmética moderna, utilizando curvas de género 3, curvas elípticas y caracteres de Kummer para demostrar que la estructura algebraica del problema impone restricciones severas que, hasta la fecha, no han permitido encontrar ninguna solución.