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

1. Formulação do Problema

O artigo aborda a Conjectura do Cuboide Perfeito (Conjectura B), um problema em aberto de longa data na teoria dos números elementar.

• Definição: Um bloco de Euler é um paralelepípedo retangular com arestas inteiras $(X, Y, Z)$ e diagonais de faces inteiras. Um cuboide perfeito é um bloco de Euler que possui, adicionalmente, uma diagonal espacial inteira ($\sqrt{X^2+Y^2+Z^2} \in \mathbb{N}$).
• A Conjectura: Nenhum cuboide perfeito existe em $\mathbb{N}^3$.
• Status Atual: Embora buscas computacionais tenham descartado cuboides perfeitos com arestas até $5 \cdot 10^{11}$, nenhuma prova geral existe. Abordagens algébrico-geométricas anteriores limitaram-se a subfamílias específicas ou dependeram de hipóteses não comprovadas (por exemplo, a Hipótese de Riemann Generalizada).

2. Metodologia

O autor emprega uma combinação de teoria dos números estrutural, geometria algébrica e verificação computacional rigorosa. A abordagem prossegue em três etapas principais:

A. Redução Estrutural a Tuplas Mestras

O artigo estabelece um teorema de classificação estrutural (Teorema 2.4) provando que todo bloco de Euler primitivo surge de uma única "tupla mestra" $(a, b, m, n) \in \mathbb{N}^4$ satisfazendo condições específicas de coprimalidade e paridade.

• As arestas do bloco são derivadas de parametrizações pitagóricas padrão: $U_1 = a^2-b^2, V_1=2ab$ e $U_2=m^2-n^2, V_2=2mn$.
• A condição para um cuboide perfeito reduz-se a verificar se um polinômio específico $f_1$ (representando o quadrado da diagonal espacial) é um quadrado perfeito.
• Isso reduz o espaço de busca infinito à análise de fibras específicas definidas pelos parâmetros $(m, n)$.

B. Decomposição de Curvas de Gênero 3

Para uma fibra de tupla mestra fixa $(m, n)$, a condição para um cuboide perfeito é codificada em uma curva hiperelíptica de gênero 3 $H_{m,n}$.

• A curva é definida por $v^2 = P(t^2)Q(t^2)$, onde $t = a/b$.
• O Jacobiano desta curva, $\text{Jac}(H_{m,n})$, decompõe-se (até isogenia) em um produto de três curvas elípticas: $E_{PQ}$, $E_{uV}$ e $E_3$.
• O artigo foca nos quocientes elípticos $E_{uV}$ e $E_3$.

C. O Argumento de Interseção de Torção

O mecanismo central da prova baseia-se no Lema de Interseção de Torção (Lema 4.2).

• Premissa: Se um quociente elíptico $E_q$ tem posto 0 (ou seja, seus pontos racionais são finitos e consistem apenas em pontos de torção), então o número de pontos racionais na curva de gênero 3 $H_{m,n}$ é limitado pelo tamanho do subgrupo de torção de $E_q$.
• Lógica:
  1. Verificar $\text{rk}(E_q(\mathbb{Q})) = 0$.
  2. Calcular $|E_q(\mathbb{Q})_{\text{tors}}|$.
  3. Mapear pontos racionais de $H_{m,n}$ para $E_q$. Como o mapa é de grau 2, $|H_{m,n}(\mathbb{Q})| \le 2 \cdot |E_q(\mathbb{Q})_{\text{tors}}|$.
  4. Etapa Crucial: A curva $H_{m,n}$ possui sempre 8 pontos racionais "triviais" conhecidos correspondentes a blocos degenerados (onde uma ou mais arestas são zero).
  5. Se o limite superior derivado da interseção de torção for exatamente 8, então não existem pontos não triviais (cuboides perfeitos) naquela fibra.

D. Certificação Incondicional de Posto

Para garantir que a prova seja incondicional (não dependendo de conjecturas não comprovadas como a HRG), o autor utiliza duas técnicas complementares para verificar a hipótese de posto zero:

1. 2-Descent: Usando ellrank do PARI/GP para obter limites rigorosos $[r_{low}, r_{up}]$. Se $r_{low} = r_{up} = 0$, o posto é provado ser zero.
2. Símbolos Modulares (Teorema de Kolyvagin): Para casos onde o 2-descent é ambíguo (por exemplo, $[0, 2]$), o autor calcula $L(E, 1)/\Omega_E$ exatamente usando símbolos modulares do Sage.
   • Pelo Teorema da Modularidade e pelo teorema de Kolyvagin, se $L(E, 1) \neq 0$, o posto é 0.
   • Para curvas semiestáveis (que todos os fatores encontrados eram), a constante de Manin é 1, garantindo que o cálculo do símbolo modular seja exato e incondicional.

3. Contribuições Principais

1. Classificação Estrutural (Teorema 2.4): Prova a direção inversa da parametrização da tupla mestra, mostrando que todo bloco de Euler primitivo corresponde a uma tupla mestra. Este era um elo perdido na literatura anterior.
2. Argumento de Interseção de Torção: Aplica um limite de interseção refinado aos quocientes elípticos $E_{uV}$ e $E_3$. Ao contrário de trabalhos anteriores que focavam em $E_A$, este artigo explora a geometria específica de $E_{uV}$ e $E_3$ para forçar a contagem de pontos para exatamente 8.
3. Contagem de Levantamento Refinada: Quando o limite de torção ingênuo é muito frouxo (por exemplo, tamanho de torção 8 resultando em um limite de 12), o autor realiza uma enumeração explícita dos 8 pontos de torção no modelo quártico. Ao verificar quais pontos "levantam" racionalmente para a curva de gênero 3, eles refinam o limite de volta para 8.
4. Pipeline de Certificação Incondicional: Um fluxo de trabalho computacional robusto combinando PARI/GP e SageMath que evita a dependência da Hipótese de Riemann Generalizada (HRG) ou da conjectura de Birch e Swinnerton-Dyer, confiando, em vez disso, no teorema de Kolyvagin e no limite de Edixhoven para a constante de Manin.

4. Resultados

• Escopo: O estudo cobre todos os pares coprimos $(m, n)$ com $\max(m, n) \le 100$ e $m-n$ ímpar. Existem 2.040 desses pares.
• Taxa de Sucesso: O método prova incondicionalmente a não existência de cuboides perfeitos em 1.072 fibras (aproximadamente 52,5% do espaço de busca).
• Detalhamento das Fibras Provadas:
  • 827 fibras via $E_3$: 359 via 2-descent agudo, 468 via certificação de símbolo modular.
  • 245 fibras via $E_{uV}$: Todas exigiram o argumento de contagem de levantamento refinado (Caso c) porque o tamanho da torção era 8.
• Resultado: Para essas 1.072 fibras, o conjunto de pontos racionais na curva de gênero 3 associada é exatamente o conjunto de 8 pontos degenerados. Assim, nenhum cuboide perfeito existe para qualquer tupla mestra derivada desses pares $(m, n)$.

5. Significado e Limitações

• Significado:
  • Esta é a primeira prova incondicional da não existência de cuboides perfeitos em um grande conjunto explícito de fibras, sem depender de conjecturas não comprovadas.
  • Demonstra o poder de combinar descida explícita com computações de símbolos modulares para resolver casos de posto zero em famílias de curvas.
  • Fornece um quadro concreto (tuplas mestras) para futuras buscas exaustivas.
• Limitações e Trabalho Futuro:
  • Cobertura: O resultado cobre apenas ~52% das fibras até $m,n \le 100$. As 968 fibras restantes ou têm postos ambíguos que excedem os orçamentos computacionais atuais (condutor $> 10^{12}$) ou têm posto Jacobiano total $\ge 3$, tornando os métodos padrão de Chabauty inaplicáveis.
  • Fibras Difíceis: Fibras onde todos os três fatores elípticos têm posto $\ge 1$ (por exemplo, $(5,2)$) permanecem em aberto.
  • Extensões: O autor sugere que Chabauty Quadrático (métodos p-ádicos) e Peneira de Mordell-Weil são os próximos passos necessários para enfrentar as fibras "difíceis" restantes e potencialmente estender o limite para $m, n$ mais altos.

Em resumo, Peschmann fornece uma prova rigorosa, assistida por computador, que elimina a possibilidade de cuboides perfeitos para um subconjunto significativo do espaço de parâmetros, estabelecendo um novo marco para resultados incondicionais neste problema clássico.