Quartic reductions and elliptic obstructions for perfect Euler bricks

1. O Problema: O Tijolo de Euler Perfeito

O artigo aborda o problema do tijolo de Euler perfeito (também conhecido como cubo perfeito), um problema aberto na teoria dos números desde o século XVIII.

• Definição: Um tijolo de Euler perfeito é um paralelepípedo retangular com arestas inteiras positivas $e_1, e_2, e_3$ tal que todas as três diagonais das faces ($d_{ij}$) e a diagonal espacial ($D$) também são inteiros positivos.
• Equações: O problema exige que o sistema seguinte tenha solução em inteiros positivos:
  $$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$$
• Estado Atual: Embora tijolos de Euler (que satisfazem apenas as condições das diagonais das faces) existam, nenhum tijolo perfeito foi jamais encontrado, e sua não-existência permanece não provada.

2. Metodologia e Redução do Problema

O autor não prova a não-existência de forma incondicional, mas desenvolve um novo framework de redução que transforma o problema geométrico original em questões sobre curvas algébricas e caracteres de Kummer.

A. Redução para Pares Quárticos

Utilizando a fórmula de Euclides para triplas pitagóricas, o autor parametriza as arestas do tijolo em termos de dois pares de inteiros coprimos $(a, b)$ e $(m, n)$.

• O problema é reduzido à existência de inteiros coprimos $a, b, m, n$ tais que duas expressões específicas sejam simultaneamente quadrados perfeitos:
  1. $f_1 = [2(a^2-b^2)mn]^2 + [(a^2+b^2)(m^2-n^2)]^2$
  2. $f_2 = [4abmn]^2 + [(a^2+b^2)(m^2-n^2)]^2$
• Introduz-se um parâmetro racional $\lambda$ e uma razão $s = a/b$. As condições transformam-se em encontrar $\lambda$ tal que:
  $$r^2 = \lambda^4 + 2c\lambda^2 + 1 \quad \text{e} \quad x^2 = \lambda^4 - 2c\lambda^2 + 1$$
  onde $c(s)$ é um coeficiente racional dependente de $s$.

B. Curva de Gênero 3 e Quocientes Elípticos

O produto dessas duas expressões define uma curva hiperelíptica de gênero 3:
$$C_A: w^2 = \lambda^8 + A\lambda^4 + 1$$
onde $A = 2 - 4c^2$.

• Estrutura: A curva $C_A$ possui um grupo de Klein de involuções. O Jacobiano de $C_A$ decompõe-se (até isogenia) no produto de três curvas elípticas: $J(C_A) \sim E_A \times E'_A \times E''_A$.
• A Ponte (Corolário 5.2): A existência de um tijolo perfeito é equivalente à existência de um ponto racional não-degenerado em $C_A$. Isso, por sua vez, equivale a encontrar um ponto $P$ na curva elíptica quociente $E_A$ tal que uma função racional específica $f(P)$ seja um quadrado perfeito em $\mathbb{Q}^*$.

3. Contribuições Principais

O artigo apresenta três contribuições técnicas fundamentais:

1. Redução Estrutural: Mapeamento do problema do tijolo para a busca de pontos racionais em uma família de curvas de gênero 3 e a reformulação da condição de "quadrado perfeito" como um problema de valor de função em uma curva elíptica.
2. Análise do Caráter de Kummer: Cálculo detalhado do caráter de Kummer $\chi_f$ associado à função $f$ na curva elíptica $E_A$.
   • O autor prova que $\chi_f$ é não-trivial nos pontos de torção de ordem 4. Especificamente, para qualquer ponto de torção $T_4$ de ordem 4, $\chi_f(T_4) \neq 1$.
   • Isso implica que a tradução por pontos de torção de ordem 4 inverte a classe de quadrado de $f(P)$, criando uma obstrução estrutural.
3. Obstruções Algébricas e Computacionais:
   • Uso de 2-descida para excluir famílias de classes de quadrado.
   • Demonstração de que se a classe de descida $\delta_3 = 1$, então $f(P)$ não pode ser um quadrado.
   • Verificação computacional exaustiva para parâmetros até $10^3$.

4. Resultados Chave

Resultados Incondicionais (Teóricos)

• Lema 3.1: Qualquer tijolo de Euler perfeito gera um ponto racional não-degenerado na curva $C_A$.
• Teorema 5.4: O caráter de Kummer satisfaz $\chi_f(T_4) \neq 1$ para todo ponto de torção racional de ordem 4. Isso significa que a estrutura de torção da curva elíptica impede que a função $f$ assuma valores quadráticos simultaneamente em pontos relacionados por torção de ordem 4.
• Teorema 6.2: Se a classe de descida $\delta_3 = 1$, então $f(P)$ não é um quadrado. Além disso, qualquer primo ímpar dividindo $\delta_3$ deve dividir também $\delta_1$ ou $\delta_2$.

Evidência Computacional

• Para todos os parâmetros testados (até $10^3$), o produto $f_1 f_2$ nunca foi um quadrado perfeito.
• Para cada tupla testada, foi encontrado um "bloqueador" (um primo $p$) tal que a valoração $v_p(f_1 f_2)$ é ímpar, impedindo que o produto seja um quadrado.
• Observou-se que os bloqueadores são sempre $p=2$ ou primos $p \equiv 1 \pmod 4$. Nenhum primo $p \equiv 3 \pmod 4$ atuou como bloqueador, consistente com a teoria de normas em $\mathbb{Z}[i]$.
• Cálculos de posto (rank) para as curvas elípticas especializadas indicam que muitas têm posto 0, o que sugere fortemente que o posto genérico é 0 (embora uma prova rigorosa de injetividade da especialização ainda seja necessária).

5. Significado e Direções Futuras

O "Gap" Restante

Os resultados estabelecem condições necessárias fortes, mas não provam a não-existência incondicionalmente. A lacuna restante reside em classes de descida onde $\delta_3 \neq 1$ e os fatores primos de $\delta_3$ dividem $\delta_1$ (mas não $\delta_2$). Pontos racionais nessas classes residuais ainda poderiam, teoricamente, gerar soluções.

Novas Abordagens Propostas

O autor discute caminhos para fechar essa lacuna:

1. Obstrução de Cobertura de Gênero 5: A não-trivialidade de $\chi_f(T_4)$ implica que a cobertura dupla associada é uma curva de gênero 5. Pelo Teorema de Faltings, essa curva tem um número finito de pontos racionais. Se o posto do Jacobiano for suficientemente baixo, o método de Chabauty-Coleman poderia ser usado para provar a finitude efetiva e excluir soluções.
2. Extensão do Caráter de Kummer: Tentar provar que $\chi_f(G) \neq 1$ para todo ponto não-torsional $G$, estendendo o resultado de torção para todo o grupo Mordell-Weil.
3. Obstrução de Brauer-Manin: Investigar obstruções geométricas na superfície definida pela equação quártica.

Conexão com $\mathbb{Q}(\sqrt{2})$

O artigo nota que o numerador do coeficiente $c(s)$ fatora em $\mathbb{Q}(\sqrt{2})$, conectando o problema a trabalhos anteriores sobre polinômios do cubo, sugerindo que a estrutura de corpo quadrático pode ser chave para uma prova definitiva.

Conclusão

O artigo de Peschmann representa um avanço significativo ao reencapsular o problema clássico do tijolo de Euler em termos de geometria aritmética moderna (curvas de gênero 3, caracteres de Kummer e obstruções de descida). Embora não resolva o problema, ele elimina vastas classes de soluções potenciais e fornece ferramentas computacionais e teóricas robustas para futuras tentativas de prova da não-existência.