Quartic Rational Diophantine Quadruples and the Euler Surface

Título: Quartic Rational Diophantine Quadruples and the Euler Surface

Autores: Alen Andrašek, Matija Kazalicki e Domagoj Vlah (Universidade de Zagreb).

---

1. O Problema

O artigo aborda o problema dos tuplos Diophantinos racionais de potência superior.

• Definição: Um $m$-tuplo Diophantino racional de potência $k$ é um conjunto de $m$ números racionais não nulos e distintos $\{a_1, a_2, \dots, a_m\}$ tal que o produto de quaisquer dois elementos aumentado de 1 ($a_i a_j + 1$) é uma $k$-ésima potência perfeita em $\mathbb{Q}$.
• Contexto Histórico:
  • Para $k=2$ (potência quadrada), a teoria é rica: existem infinitos quintuplos e sextuplos racionais.
  • Para $k > 2$ (potências cúbicas, quarticas, etc.), os resultados são mais escassos. Embora existam infinitos triplos para qualquer $k \ge 2$, e infinitos quadruplos cúbicos tenham sido encontrados recentemente, não havia nenhum exemplo conhecido na literatura de um quadruplo Diophantino racional quartico (onde $k=4$).
• Objetivo: Provar a existência de infinitos quadruplos racionais Diophantinos para o caso quartico ($k=4$) e generalizar a construção para expoentes arbitrários.

2. Metodologia

A abordagem combina experimentação computacional massiva com geometria algébrica avançada.

A. Experimentação Computacional

Os autores realizaram uma busca exaustiva para encontrar "quase-quadruplos" (triplos que poderiam ser estendidos).

• Estratégia: Fixaram um par $(a, b)$ tal que $ab+1$ é uma quarta potência. Em seguida, buscaram racionalmente $x$ tal que $ax+1$e$bx+1$ fossem potências (sendo $bx+1$ um quadrado perfeito, com a esperança de que fosse uma quarta potência para dois valores distintos $c$ e $d$).
• Escala: A busca examinou mais de 219 milhões de pares $(a, b)$ com altura até 100.000, consumindo cerca de 11.785 horas de CPU.
• Descoberta Chave: A busca identificou exemplos onde as variáveis auxiliares satisfaziam condições específicas: $v=0$ e $ru=tw$. Isso sugeriu que a solução residia em uma subvariedade especial do espaço de parâmetros.

B. Conexão Geométrica (Superfície de Euler)

A partir das condições observadas computacionalmente, os autores derivaram que o problema se reduz a encontrar pontos racionais na Superfície de Euler:
$$E: X^4 + Y^4 = Z^4 + W^4$$

• Eles demonstraram que cada ponto racional $(X:Y:Z:W)$ nesta superfície (sob certas condições de não degenerescência) gera canonicamente um quadruplo Diophantino quartico.
• A superfície $E$ é uma superfície K3 clássica, conhecida por conter curvas racionais.

C. Parametrização

Utilizaram a parametrização clássica de Euler para a superfície $E$, que fornece uma curva racional de pontos racionais na superfície. Ao compor essa parametrização com a transformação que gera os quadruplos, obtiveram uma família infinita explícita de soluções.

3. Contribuições e Resultados Principais

Teorema Principal (Teorema 1.2)

Prova-se que existem infinitos quadruplos racionais Diophantinos quarticos. Esta é a primeira demonstração da existência de tais objetos, preenchendo uma lacuna significativa na teoria dos números.

Construção Explícita (Proposição 1.3)

Os autores fornecem uma fórmula explícita. Dado um ponto racional $(X:Y:Z:W)$ na superfície $X^4 + Y^4 = Z^4 + W^4$ (com $ZW \neq 0$), define-se:
$$a = \frac{X^4 - W^4}{Z^2W^2}, \quad b = -\frac{W^2}{Z^2}, \quad c = \frac{Y^4 - W^4}{Z^2W^2}, \quad d = \frac{Z^2}{W^2}$$
Sob condições de não degenerescência (garantidas pela parametrização de Euler), o conjunto $\{a, b, c, d\}$ satisfaz que todos os produtos $xy+1$ são quartas potências.

Generalização para Expoentes Arbitrários (Teorema 3.1)

A metodologia estende-se para qualquer inteiro $k \ge 2$, introduzindo a Superfície Fermat-Euler:
$$E_k: X^k + Y^k = Z^k + W^k$$

• Caso Par ($k$ par): Pontos racionais em uma subvariedade aberta de $E_k$ geram diretamente $k$-ésimos potências de tuplos Diophantinos.
• Caso Ímpar ($k$ ímpar): É necessária uma condição adicional: a razão $W/Z$ deve ser um quadrado perfeito em $\mathbb{Q}$.
• Recuperação de Resultados Anteriores: Para $k=3$, a construção recupera a família cúbica conhecida de Batta, Szikszai e Tengely.

4. Significado e Implicações

1. Resolução de um Problema Aberto: O trabalho resolve a questão da existência de quadruplos quarticos racionais, que era desconhecida até então.
2. Conexão com Geometria Algébrica: O artigo estabelece uma ponte profunda entre a teoria dos números (tuplos Diophantinos) e a geometria de superfícies K3 e curvas elípticas. Mostra que a aritmética dessas superfícies clássicas governa a existência de soluções para problemas Diophantinos de alta potência.
3. Limitações para $k > 4$: Os autores discutem que para $k > 4$, a superfície $E_k$ é de tipo geral (segundo a conjectura de Bombieri-Lang), o que sugere que os pontos racionais fora de curvas de gênero baixo podem ser finitos. Isso implica que encontrar famílias infinitas para $k > 4$ pode ser muito mais difícil e dependerá da descoberta de curvas racionais ou elípticas específicas nessas superfícies.
4. Método Sistemático: A técnica de reduzir o problema a uma superfície de soma de potências iguais ($X^k + Y^k = Z^k + W^k$) oferece um novo paradigma para atacar problemas de tuplos Diophantinos de potência superior.

Em resumo, o artigo não apenas fornece o primeiro exemplo infinito de quadruplos Diophantinos quarticos, mas também unifica a teoria de tuplos de potência superior através da geometria das superfícies de Fermat-Euler.