On the unit equation $\varepsilon+\delta=n$ in cubic fields

Resumo Técnico: Sobre a Equação de Unidades $\varepsilon + \delta = n$ em Corpos Cúbicos

Enunciado do Problema
O artigo investiga a equação de unidades $\varepsilon + \delta = n$ no contexto de corpos numéricos cúbicos, onde $\varepsilon$ e $\delta$ são unidades no anel de inteiros $\mathcal{O}_L$ de um corpo cúbico $L$, e $n$ é um inteiro não nulo. Esta equação corresponde à busca por pontos $L$ na curva perfurada $X = \mathbb{P}^1 \setminus \{0, n, \infty\}$. Especificamente, os autores focam no conjunto de "novos" pontos, denotado por $X(\mathcal{O}_L)^{\text{new}}$, que são pontos definidos sobre $L$, mas não sobre qualquer extensão estritamente menor de $\mathbb{Q}$. A questão central é o comportamento estatístico dessas soluções quando os corpos cúbicos são ordenados pelo seu discriminante absoluto.

Metodologia
Os autores empregam uma combinação de parametrização algébrica explícita e estatística aritmética.

1. Parametrização de Soluções:
   O artigo estabelece primeiro uma correspondência entre as soluções da equação de unidades e as raízes de polinômios cúbicos específicos.

   • Para $n \geq 3$, o Lema 5 demonstra que, se $L = \mathbb{Q}(\varepsilon)$ é um corpo cúbico, o polinômio mínimo de $\varepsilon$ deve assumir a forma $X^3 + aX^2 - (n^2 + an)X + 1$ para algum inteiro $a$.
   • Para $n=2$ e $n=1$, os Lemas 6 e 7 fornecem parametrizações explícitas semelhantes, identificando famílias específicas de polinômios cúbicos cujas raízes geram os corpos relevantes.
   • Os autores também analisam o caso quadrático (Seção 2), provando que, para qualquer $n$, existem apenas muitos corpos quadráticos contendo soluções, contrastando isso com o caso cúbico.

2. Estatística Aritmética e Teoria de Galois:
   Para provar o resultado estatístico, os autores utilizam um teorema recente (Teorema 8) derivado de seu trabalho anterior [6] e resultados de Bhargava, Taniguchi e Thorne [1]. Este teorema fornece um critério para determinar quando uma família de corpos cúbicos definida por um polinômio $F(t, X)$ constitui um conjunto "fino" (ou seja, 0% de todos os corpos cúbicos ordenados pelo discriminante).

   • Os autores constroem um polinômio bivariado $F(T, X)$ baseado nas parametrizações encontradas nos lemas.
   • Eles analisam o discriminante de $F$ em relação a $X$, denotado por $\Delta_X(F)$. Eles fatoram este discriminante em $g(T) \cdot h(T)^2$, onde $g(T)$ é livre de quadrados.
   • A prova baseia-se na verificação de duas condições para $g(T)$:
     1. $g(T)$ não possui raízes racionais (verificado através do estudo de uma curva de gênero 1 associada $E: Y^2 + Y = X^3$).
     2. O grupo de Galois $G = \text{Gal}(g)$ contém um elemento que atua livremente sobre as raízes de $g$.

Principais Contribuições e Resultados
O artigo apresenta dois resultados principais referentes à equação $\varepsilon + \delta = n$:

• Teorema 3(I): Existem infinitos corpos cúbicos $L$ para os quais o conjunto de novos pontos $(\mathbb{P}^1 \setminus \{0, n, \infty\})(\mathcal{O}_L)^{\text{new}}$ é não vazio. Isto é estabelecido pela construção explícita de famílias infinitas de corpos cúbicos via as parametrizações nos Lemas 5, 6 e 7.
• Teorema 3(II): Quando os corpos cúbicos são ordenados pelo discriminante absoluto, 100% deles satisfazem $(\mathbb{P}^1 \setminus \{0, n, \infty\})(\mathcal{O}_L)^{\text{new}} = \emptyset$.
  • Este resultado é provado ao mostrar que a família de corpos cúbicos gerada pelas soluções da equação de unidades cai no conjunto "fino" descrito pelo Teorema 8.
  • Os autores verificam que, para $n \geq 3$, o polinômio do discriminante $g(T)$ não possui raízes racionais e seu grupo de Galois contém um elemento livre de pontos fixos. Os casos $n=1$ e $n=2$ são observados como sendo similares, porém mais elementares.

Significância e Alegações
O artigo posiciona seus achados como evidência adicional que apoia a "conjectura da estabilidade diofantina estatística para curvas hiperbólicas" (Conjectura 1), que postula que, para uma curva hiperbólica $X$, o conjunto de pontos $L$-novos é vazio para 100% das extensões $L$ em uma família permitida.

• Consistência com a Conjectura: O resultado confirma que, para a curva hiperbólica específica $\mathbb{P}^1 \setminus \{0, n, \infty\}$, a conjectura se mantém para a família de corpos cúbicos.
• Contraste com Corpos Quadráticos: Os autores destacam uma diferença distinta entre corpos quadráticos e cúbicos. Enquanto o análogo quadrático do Teorema 3(II) é trivial (pois existem apenas muitos corpos quadráticos com soluções), o caso cúbico requer um argumento estatístico não trivial para mostrar que as soluções são raras (densidade 0), apesar de serem infinitas em número.
• Modéstia: Os autores enquadram o trabalho como fornecendo "mais evidências" para a conjectura mais ampla, em vez de uma prova completa da conjectura para todas as curvas hiperbólicas. Eles referenciam explicitamente seu trabalho anterior [6] para o arcabouço geral e o caso específico de $n=1$ (Teorema 2), observando que o presente artigo generaliza isso para quaisquer inteiros não nulos $n$.

O artigo conclui observando que o código computacional de suporte (Magma) usado para verificar as propriedades dos polinômios do discriminante está disponível em um repositório público.