Primitive points on some low degree Fermat curves

Resumo Técnico: Pontos Primitivos em Curvas de Fermat de Baixo Grau

1. O Problema e o Contexto

O artigo aborda o estudo de pontos de baixo grau (especificamente pontos de grau 4 e pontos definidos sobre corpos numéricos primitivos de grau $\ge 3$) nas curvas de Fermat $F_n$, definidas pela equação $x^n + y^n = z^n$.

O foco central não é apenas a existência de soluções, mas a natureza Galois desses pontos. Um ponto algébrico $P \in C(\bar{\mathbb{Q}})$ é definido como primitivo se o grupo de Galois do fecho de Galois do corpo numérico $\mathbb{Q}(P)$ atuar como um grupo de permutação primitivo.

• O problema específico investigado é a inexistência de pontos não triviais (onde $xyz \neq 0$) em $F_n$ para $n=6, 7, 8$ sob condições específicas de Galois.
• O caso particular de interesse são pontos de grau 4 cujos corpos de definição têm fecho de Galois com grupo $A_4$ (o grupo alternado de 4 elementos, que é um subgrupo primitivo de $S_4$).

2. Metodologia

A estratégia principal do autor combina geometria algébrica, teoria de corpos de funções e computação algorítmica (via software Magma). Os pilares metodológicos são:

1. Morfismos para Curvas Hiperelípticas:
   O autor utiliza um morfismo não constante $\pi: F_n \to C_n$, onde $C_n$ é uma curva hiperelíptica de grau $n$ definida por $y^2 = -4x^n + 1$.

   • Vantagem: Esta transformação reduz a gênero da curva de trabalho. Para $n=7$ e $n=8$, a curva $C_n$ tem gênero 3, o que é significativamente menor que o gênero da curva de Fermat original, facilitando a análise de divisores.

2. Análise de Espaços de Riemann-Roch:
   Para encontrar pontos de grau 4 com grupo de Galois $A_4$, o autor analisa o espaço de Riemann-Roch $L(D)$ de divisores efetivos de grau 4 na curva hiperelíptica $C_n$.

   • O teorema de Clifford e o teorema de Riemann-Roch são usados para limitar a dimensão desses espaços.
   • A parametrização explícita dos pontos é obtida ao estudar as bases desses espaços de funções.

3. Redução a Curvas de Menor Gênero (Elípticas):
   Para $n=6$ e $n=8$, a curva hiperelíptica $C_n$ admite mapas de grau 2 para curvas elípticas específicas ($E_{27}$, $E_{432}$ e $E_{64}$).

   • O autor utiliza o Lema 11: Se existe um mapa de grau $m$ de $C$ para $C'$ e $K$ é um corpo numérico primitivo de grau $d > m$, então $C(K) = C(\mathbb{Q})$ sempre que $C'(K) = C'(\mathbb{Q})$.
   • Isso permite reduzir o problema de encontrar pontos sobre corpos de grau $\ge 3$ para a verificação de pontos racionais sobre $\mathbb{Q}$.

4. Computação Algorítmica:
   O software Magma é utilizado extensivamente para:

   • Calcular o posto (rank) e o grupo de torção das Jacobianas das curvas hiperelípticas e elípticas envolvidas.
   • Determinar bases de espaços de Riemann-Roch.
   • Verificar a trivialidade de conjuntos de pontos racionais em curvas auxiliares.

3. Principais Resultados

O artigo estabelece três teoremas principais:

• Teorema 1 (Caso $n=7$ e $n=8$):
  Não existem soluções não triviais para a equação de Fermat $x^n + y^n = z^n$ sobre um corpo numérico quartico $K$ tal que o grupo de Galois do seu fecho seja isomorfo a $A_4$.

  • Prova para $n=7$: Envolve a análise da Jacobiana de $C_7$ (posto 0, torção de ordem 7) e a redução a uma curva hiperelíptica auxiliar $H: y^2 = 2x^7 - 33$, que possui apenas pontos racionais triviais.
  • Prova para $n=8$: Envolve a Jacobiana de $C_8$ (posto 0, torção de ordem 4) e a redução a uma curva elíptica isomorfa à curva com rótulo Cremona 64a4 ($y^2 = x^3 + 16x$), que tem posto 0 e poucos pontos racionais.

• Teorema 2 (Caso $n=6$):
  Seja $K$ um corpo numérico primitivo de grau $\ge 3$. Se o grupo de pontos racionais de uma das curvas elípticas $E_{27}$ (rótulo 27a3) ou $E_{432}$ (rótulo 432b1) sobre $K$ for igual ao grupo de pontos racionais sobre $\mathbb{Q}$ (ou seja, $E(K) = E(\mathbb{Q})$), então não existem soluções não triviais para $F_6$ sobre $K$.

• Teorema 3 (Caso $n=8$):
  Seja $K$ um corpo numérico primitivo de grau $\ge 3$. Se a curva elíptica $E$ (rótulo Cremona 64a4) satisfizer $E(K) = E(\mathbb{Q})$, então não existem soluções não triviais para $F_8$ sobre $K$.

4. Contribuições Chave

1. Classificação de Pontos Primitivos: O trabalho fornece uma classificação rigorosa da inexistência de pontos de grau 4 com grupo de Galois $A_4$ em curvas de Fermat de grau 7 e 8.
2. Condições Suficientes para Não-Existência: Estabelece critérios práticos baseados no comportamento de curvas elípticas específicas para garantir a ausência de pontos não triviais em corpos de grau superior.
3. Técnica de Redução de Gênero: Demonstra a eficácia de mapear curvas de Fermat para curvas hiperelípticas de gênero 3 e, subsequentemente, para curvas elípticas, para resolver problemas de pontos de baixo grau.
4. Reprodutibilidade Computacional: O autor disponibiliza todos os códigos e cálculos do Magma no GitHub, permitindo a verificação independente dos resultados numéricos (como o cálculo de torção e bases de Riemann-Roch).

5. Significado e Aplicações

• Abordagem Modular: Os resultados são aplicáveis na resolução da equação de Fermat sobre corpos numéricos fixos usando a abordagem modular. Frequentemente, é necessário eliminar a existência de pontos $K$-racionais para pequenos valores de $n$ usando argumentos distintos; este artigo fornece tais argumentos para $n=6, 7, 8$.
• Teoria de Números Algébrico: O trabalho contribui para a compreensão da distribuição de pontos de baixo grau em curvas de Fermat, um problema clássico que remonta a resultados de Aigner, Mordell, Gross e Rohrlich.
• Corpos Primitivos: O estudo foca em "corpos primitivos" (corpos sem subextensões próprias), que são fundamentais na teoria de Galois, oferecendo novos insights sobre como a estrutura do grupo de Galois restringe a geometria das curvas.

Em suma, o artigo combina teoria profunda de curvas algébricas com verificação computacional robusta para resolver casos específicos e importantes do problema de Fermat em extensões de corpos de baixo grau.