On the existence of a morphism between certain Artin-Schreier curves

Título: Sobre a existência de um morfismo entre certas curvas de Artin-Schreier

Autores: Beatriz Barbero Lucas, Stefano Lia e Gary McGuire.

1. O Problema

O artigo aborda um problema fundamental na geometria algébrica sobre corpos finitos: a existência de morfismos não constantes entre curvas algébricas. Especificamente, os autores investigam a família de curvas de Artin-Schreier definidas sobre $\mathbb{F}_q$ (onde $q$ é uma potência de um primo ímpar $p$) pela equação afim:
$$C_m: y^p + cy = x^m$$
onde $c \in K$ é não nulo, $m > p$ e $\gcd(m, p) = 1$.

É um resultado bem conhecido que se $n$ divide $m$, existe um morfismo não constante $C_m \to C_n$. A questão central deste trabalho é investigar a conversa: se existe um morfismo $C_m \to C_n$, é necessariamente verdade que $n$ divide $m$?

Os autores focam em um subconjunto específico desta família, denotado por $\mathcal{B}$, onde os expoentes são da forma $m = p^k + 1$ e $n = p^\ell + 1$. As curvas são dadas por:
$$B_k: y^p + cy = x^{p^k+1}$$
A conjectura principal é que a condição $p^\ell + 1 \mid p^k + 1$ é necessária e suficiente para a existência de um morfismo $B_k \to B_\ell$. O artigo busca provar ou refutar essa condição sob diferentes hipóteses (morfismos gerais vs. morfismos Galois).

2. Metodologia

A abordagem combina ferramentas de teoria de corpos de funções, geometria algébrica e teoria dos números. Os principais pilares metodológicos incluem:

• Fórmula de Riemann-Hurwitz: Utilizada para estabelecer limites superiores no grau $d$ de um morfismo $\phi: B_k \to B_\ell$, relacionando os gêneros das curvas ($g(B_k) = p^k(p-1)/2$) e o índice de ramificação.
• Espaços de Riemann-Roch: A análise da estrutura dos espaços $L(nP_\infty)$ (onde $P_\infty$ é o ponto no infinito) é crucial. Os autores utilizam uma base explícita para esses espaços (Teorema 2.3) para expressar as funções que compõem o morfismo em termos de polinômios nas coordenadas da curva.
• Teoria de Galois e Grupos de Automorfismos: Para o caso de morfismos Galois, o problema é reescrito como a existência de um subgrupo $G \leq \text{Aut}(B_k)$ tal que o quociente $B_k/G$ seja isomorfo a $B_\ell$. Os autores utilizam a descrição precisa do grupo de automorfismos de $B_k$ (baseada em [HKT08]), que é um produto semidireto de um grupo abeliano elementar $p$-grupo e um grupo cíclico.
• Análise de Divisores e Ramificação: Estudo detalhado da ramificação no ponto no infinito e em pontos afins, utilizando valuations e o conceito de "diferente" (different) para calcular o gênero do quociente.
• Teoria dos Números Elementar: Uso de propriedades de divisibilidade de expressões da forma $p^a + 1$, incluindo o máximo divisor comum (MDC) e congruências módulo $p$, para demonstrar a inexistência de soluções para certas equações diofantinas que surgem das condições de gênero.

3. Contribuições e Resultados Principais

O artigo divide a investigação em dois casos: morfismos não necessariamente Galois e morfismos Galois.

A. Caso Não-Galois (Teorema 1.1 e Teorema 3.5)

Os autores provam um resultado forte sobre a existência de morfismos que fixam o ponto no infinito e são totalmente ramificados nele.

• Teorema 1.1 (Parte b): Se existe um morfismo não trivial $\phi: B_k \to B_\ell$ tal que $\phi(P_k) = P_\ell$, $\phi$ é totalmente ramificado em $P_k$ e o grau $\deg(\phi)$ é primo com $p$, então $p^\ell + 1$ divide $p^k + 1$.
• Consequência: Sob essas hipóteses, a condição de divisibilidade é necessária. Além disso, o grau do morfismo é necessariamente $\frac{p^k+1}{p^\ell+1}$.
• Significado: Isso fornece uma família infinita de exemplos explícitos onde o teorema de Kleiman-Serre (que diz que o polinômio L de $Y$ deve dividir o de $X$) falha na sua recíproca. Ou seja, mesmo que os polinômios L não se dividam (o que ocorre se $\ell \nmid k$), pode-se ter morfismos sob certas condições, mas a condição de divisibilidade dos expoentes $p^k+1$ é mais restritiva e necessária para morfismos com ramificação total no infinito.

B. Caso Galois (Teoremas 1.2, 1.3 e Seções 4-7)

Neste caso, assume-se que $B_\ell \cong B_k/G$ para algum subgrupo $G$ do grupo de automorfismos.

• Teorema 1.2: Se $k = 2^a$ (uma potência de 2), não existe morfismo Galois de uma curva do tipo $B_k$ para uma do tipo $B_\ell$.
• Teorema 1.3: Não existe morfismo Galois $B_{2\ell} \to B_\ell$ para qualquer inteiro $\ell > 2$.
• Corolário 7.2: Se $k < \ell^2$, não existe mapa Galois de $B_k$ para $B_\ell$, exceto no caso "óbvio" onde $|G| = \frac{p^k+1}{p^\ell+1}$ (que implica $p^\ell+1 \mid p^k+1$).
• Corolário 7.3: Reforça que não há cobertura Galois $B_{2\ell} \to B_\ell$ para $\ell > 2$, apesar do polinômio L de $B_\ell$ dividir o de $B_{2\ell}$.

A prova desses resultados envolve a análise da equação de gênero do quociente:
$$m(p^\ell t + 1) = t(p^{k-r} + 1)$$
onde $m, t, r$ são parâmetros relacionados à ordem do grupo $G$. Os autores usam lemas de teoria dos números (como o Lema 6.2 e 6.5) para mostrar que esta equação não possui soluções inteiras sob as restrições impostas, exceto nos casos triviais de divisibilidade.

4. Significado e Impacto

1. Refutação da Recíproca Geral: O trabalho demonstra que a existência de um morfismo entre curvas de Artin-Schreier não implica automaticamente uma relação simples de divisibilidade entre os expoentes $m$ e $n$ no caso geral, mas estabelece condições rigorosas (como $p^\ell+1 \mid p^k+1$) para subfamílias específicas e morfismos com propriedades de ramificação específicas.
2. Contra-exemplos ao Teorema de Kleiman-Serre: O artigo destaca que a condição de divisibilidade dos polinômios L (necessária para a existência de morfismos) não é suficiente. Existem casos onde os polinômios L se dividem, mas não existem morfismos (especialmente no caso Galois), e vice-versa, dependendo da estrutura de ramificação.
3. Classificação de Quocientes: O trabalho fornece uma classificação detalhada de quando uma curva $B_\ell$ pode ser obtida como quociente de $B_k$ por um subgrupo de automorfismos, preenchendo lacunas na literatura sobre curvas de Artin-Schreier.
4. Métodos Combinatórios e Algébricos: A combinação de análise de espaços de Riemann-Roch com técnicas de teoria dos números para resolver equações diofantinas derivadas de condições geométricas é um exemplo elegante de metodologia interdisciplinar na geometria algébrica.

Em resumo, o artigo avança significativamente a compreensão das relações entre curvas de Artin-Schreier, estabelecendo limites precisos para a existência de morfismos e elucidando a complexa interação entre a estrutura do grupo de automorfismos, a ramificação e a divisibilidade de polinômios associados.