Maximal curves of genus 5 over finite fields

Resumo Técnico: Curvas Maximais de Gênero 5 Sobre Corpos Finitos

Enunciado do Problema
O artigo investiga a existência de curvas maximais de gênero 5 definidas sobre um corpo finito $\mathbb{F}_q$. Uma curva $C$ é denominada maximal se o número de seus pontos racionais sobre $\mathbb{F}_q$, $\#C(\mathbb{F}_q)$, atinge o limite superior de Hasse–Weil–Serre:
$$\#C(\mathbb{F}_q) = q + 1 + g\lfloor 2\sqrt{q} \rfloor$$
onde $g=5$. O estudo foca especificamente no caso em que o discriminante do corpo, definido como $d(\mathbb{F}_q) := \lfloor 2\sqrt{q} \rfloor^2 - 4q$, é igual a $-19$. Esta condição restringe os valores possíveis de $q$ a classes de congruência $0, 1, 2 \pmod 5$. A questão central é se tais curvas maximais existem para esses parâmetros de campo específicos e, se sim, fornecer modelos explícitos.

Metodologia
Os autores empregam uma combinação de geometria algébrica, a teoria de variedades abelianas e teoria da representação. A metodologia procede através dos seguintes passos:

1. Redução aos Grupos de Automorfismo:
   Utilizando o teorema de Honda-Tate e a equivalência de categorias de Serre entre variedades abelianas ordinárias primamente polarizadas e módulos hermitianos irredutíveis unimodulares, os autores estabelecem que o jacobiano de uma curva maximal de gênero 5 com $d(\mathbb{F}_q) = -19$ é isógeno à quinta potência de uma curva elíptica maximal $E$. Consequentemente, o grupo de automorfismo da curva, $\text{Aut}_{\mathbb{F}_q}(C)$, é isomorfo ao grupo diedral $D_5$.

2. Classificação de Tipos de Curvas:
   Seguindo a classificação de Enrique-Babbage, uma curva não hiperelíptica de gênero 5 é ou trigonal (admitindo um mapa de grau 3 para $\mathbb{P}^1$) ou uma interseção completa de três quadráticas em $\mathbb{P}^4$. O artigo descarta o caso hiperelíptico com base no trabalho prévio de Zaytsev. A investigação então se divide na análise dessas duas estruturas geométricas restantes sob a restrição da ação de $D_5$.

3. Análise Caso a Caso:

   • Caso $q \equiv 2, 3, 4 \pmod 5$: Os autores analisam o embutimento de $D_5$ nos grupos lineares projetivos $PGL_3(\mathbb{F}_q)$ (para curvas trigonais) e $PGL_5(\mathbb{F}_q)$ (para interseções completas). Eles demonstram que para $q \equiv 2 \pmod 5$, a ordem do grupo $PGL_3(\mathbb{F}_q)$ não é divisível por 5, impedindo a existência do automorfismo requerido. Para o caso de interseção completa, eles mostram que a invariância das quadráticas definidoras sob a ação de $D_5$ força a interseção a ser singular, contradizendo o requisito de suavidade de uma curva.
   • Caso $q \equiv 1 \pmod 5$: Aqui, $\mathbb{F}_q$ contém uma raiz quinta primitiva da unidade. Os autores utilizam a teoria das representações projetivas e extensões centrais para elevar a ação de $D_5$ para representações lineares. Eles derivam potenciais equações tanto para curvas trigonais (como quinticas planas singulares) quanto para interseções completas de quadráticas. Embora modelos explícitos sejam construídos, buscas computacionais usando MAGMA para valores específicos de $q$ (por exemplo, 61, 311) revelam que esses potenciais modelos não resultam em curvas maximais.
   • Caso $q \equiv 0 \pmod 5$: Os autores abordam a equação diofantina $x^2 + 19 = 4 \cdot 5^n$ derivada da condição $d(\mathbb{F}_q) = -19$. Usando análise $p$-ádica (especificamente o teorema de Strassmann aplicado a uma relação de recorrência), eles provam que o único valor de $q$ satisfazendo a restrição da função piso é $q = 5^7 = 78125$ (Nota: O texto afirma $q=57$ no resumo e no Teorema 1.2, mas a prova na Seção 6 deriva $n=7$ levando a $5^7$. No entanto, o Apêndice de René Schoof, referenciado no texto, conclui que para $q=57$, a curva não existe. Correção baseada estritamente no texto fornecido: O texto na Seção 6, Proposição 6.4, conclui explicitamente "O único valor de q satisfazendo... é q = 57." A prova deriva $n=7$ levando a $5^7$, mas o texto afirma $q=57$. Há uma discrepância no texto fornecido entre a derivação ($5^7$) e o valor declarado ($57$). No entanto, o resumo deve refletir as afirmações explícitas do artigo).

Principais Contribuições e Resultados
O artigo fornece uma classificação abrangente da existência de curvas maximais de gênero 5 para o discriminante $-19$:

• Não Existência para $q \equiv 2, 3, 4 \pmod 5$: O Teorema 1.1 prova que nenhuma curva maximal de gênero 5 existe sobre $\mathbb{F}_q$ quando $q \equiv 2, 3, 4 \pmod 5$ e $d(\mathbb{F}_q) = -19$. A prova baseia-se na incompatibilidade do grupo de automorfismo $D_5$ requerido com a estrutura dos grupos lineares projetivos sobre esses corpos.
• Modelos Potenciais para $q \equiv 1 \pmod 5$: Para $q \equiv {1} \pmod 5$, os autores fornecem equações potenciais explícitas tanto para curvas trigonais quanto para interseções completas de três quadráticas. Esses modelos são derivados pela redução dos parâmetros dos polinômios definidores usando a ação do grupo de automorfismo $D_5$. Evidências computacionais sugerem que esses candidatos não resultam em curvas maximais para os campos testados.
• Restrição para $q \equiv 0 \pmod 5$: O Teorema 1.2 estabelece que $q = 57$ é o valor único satisfazendo $q \equiv 0 \pmod 5$ e $d(\mathbb{F}_q) = -19$. O artigo nota que um apêndice de René Schoof prova que mesmo para este caso específico, tal curva não existe.

Significância
O artigo contribui para a compreensão mais ampla do problema "Manypoints", que busca determinar o número máximo de pontos racionais em curvas de um determinado gênero sobre corpos finitos. Ao resolver a questão da existência para o gênero 5 com discriminante $-19$, os autores fecham uma lacuna específica na literatura sobre curvas maximais de pequeno gênero. O trabalho demonstra a utilidade de combinar a classificação de variedades abelianas (via equivalência de Serre) com restrições geométricas (trigonal vs. interseção completa) e teoria da representação para descartar a existência de curvas maximais em configurações aritméticas específicas. Os resultados refinam os limites conhecidos e os critérios de existência para códigos de geometria algébrica, que dependem de curvas com um alto número de pontos racionais.