On the Maximality, Weierstrass Semigroups, and Automorphism Group of the Curve $Y^{q+1} = X^n(X^n + 1)$

Resumo Técnico: Maximalidade, Semigrupos de Weierstrass e Grupo de Automorfismos da Curva $y^{q+1} = x^n(x^n + 1)$

Enunciado do Problema
Este artigo investiga a família de curvas algébricas $X_{n,q}$ definidas sobre o corpo finito $\mathbb{F}_{q^2}$ pela equação afim:
$$y^{q+1} = x^n(x^n + 1)$$
onde $n$ é um inteiro positivo coprimo com a característica $p$. Os objetivos principais são determinar condições precisas sob as quais o modelo não singular desta curva é $\mathbb{F}_{q^2}$-maximal, calcular os semigrupos de Weierstrass em várias classes de pontos racionais e determinar o grupo completo de automorfismos da curva. O estudo visa estender resultados anteriores sobre casos específicos (notavelmente $m=3$) para uma família mais ampla parametrizada pelos divisores de $q+1$.

Metodologia
Os autores empregam uma combinação de geometria algébrica e técnicas aritméticas:

1. Análise de Maximalidade: Os autores utilizam a propriedade de que a maximalidade é preservada sob morfismos racionais não constantes. Eles constroem um mapa de cobertura da curva hermitiana clássica $H: u^{q+1} + v^{q+1} + 1 = 0$ para $X_{n,q}$ e analisam a estrutura do quociente. Eles também relacionam a curva a curvas hiperelípticas da forma $y^2 = x^n + 1$ para derivar condições necessárias e suficientes para a maximalidade.
2. Teoria de Divisores e Automorfismos: O artigo utiliza a teoria de extensões de Kummer para analisar a estrutura de ramificação da projeção $X_{n,q} \to \mathbb{P}^1$. Fórmulas explícitas de divisores para as funções $x$ e $y$ são derivadas para determinar o gênero e a estrutura do grupo de automorfismos.
3. Semigrupos de Weierstrass: Os autores determinam os semigrupos de Weierstrass $H(P)$ em pontos racionais construindo funções racionais explícitas com ordens de polo prescritas. Isso envolve:
   • Analisar parâmetros locais em pontos de ramificação (lugares sobre $0, \infty$, e raízes de $x^{(q+1)/m} + 1 = 0$).
   • Usar expansões em termos de parâmetros locais para identificar lacunas e não-lacunas no semigrupo.
   • Distinguir entre pontos no conjunto $O$ (pontos de ramificação) e pontos fora de $O$ analisando o posto de matrizes específicas formadas por coeficientes de expansões monomiais.
4. Determinação do Grupo de Automorfismos: Os autores identificam o grupo de automorfismos analisando as órbitas de pontos racionais. Eles aproveitam o fato de que pontos na mesma órbita devem compartilhar o mesmo semigrupo de Weierstrass. Ao provar que os semigrupos em pontos em $O$ diferem daqueles fora de $O$ (sob suposições leves de característica), eles restringem os automorfismos possíveis a um subgrupo específico gerado por mapas diagonais e involuções específicas.

Contribuições e Resultados Principais

• Caracterização da Maximalidade:
  O artigo prova que o modelo não singular de $X_{n,q}$ é $\mathbb{F}_{q^2}$-maximal se e somente se $n$ divide $q+1$. Escrevendo $q+1 = nm$, os autores definem uma família de curvas maximais $X_{m,q}$ parametrizada pelos divisores $m$ de $q+1$. Isso generaliza o caso conhecido $m=3$.

• Semigrupos de Weierstrass:
  Os autores fornecem descrições explícitas dos semigrupos de Weierstrass em várias classes de pontos racionais:

  • Pontos em $O$ (Pontos de Ramificação): Os semigrupos em lugares sobre $0$, $\infty$, e as raízes de $x^{(q+1)/m} + 1 = 0$ são determinados explicitamente em termos de $q$ e $m$. A estrutura depende da paridade de $m$. Por exemplo, em lugares sobre $\infty$, o semigrupo é gerado por $\{q+1-m, q+1-\lfloor m/2 \rfloor, \dots, q+1\}$ (para $m$ par) ou $\{q+1-m, q+1-m+2, \dots, q, q+1\}$ (para $m$ ímpar).
  • Pontos Fora de $O$: O artigo demonstra que, para a maioria dos pontos racionais $P(a,b)$ fora do conjunto $O$, o semigrupo de Weierstrass difere daqueles em $O$. Especificamente, para o caso $m=4$, os autores derivam geradores envolvendo $q, q+1, q-1$ e progressões aritméticas específicas dependendo de um parâmetro $\alpha$.
  • Distinção de Órbitas: Um resultado significativo é que o conjunto $O$ forma uma única órbita sob o grupo de automorfismos se e somente se $m = (q+1)/2$ e $m$ é par (implicando $q \equiv 3 \pmod 4$). Em outros casos, o conjunto $O$ se divide em órbitas distintas com base nos semigrupos de Weierstrass.

• Grupo de Automorfismos:
  Sob a suposição leve de que a característica $p$ não divide $\binom{m/2 + (m \pmod 2)}{1}$ (uma condição satisfeita para a maioria dos $m$), o grupo completo de automorfismos $\text{Aut}(X_{m,q})$ é determinado:

  • Caso Geral ($m \neq (q+1)/2$ ou $m$ ímpar): O grupo é isomorfo a um produto semidireto de ordem $2(q+1)^2/m$, gerado por automorfismos diagonais e uma involução $\theta_2(x,y) = (y^m/x, y)$.
  • Caso Especial ($m = (q+1)/2$ e $m$ par): O grupo é maior, de ordem $8(q+1)$, gerado pelo grupo anterior e um automorfismo adicional $\theta_4$ envolvendo raízes quartas da unidade, desde que $q \equiv 3 \pmod 4$.

Significado
O artigo afirma fornecer uma classificação completa das curvas maximais da forma $y^{q+1} = x^n(x^n + 1)$. Ao estender o estudo do caso específico $m=3$ para a família geral parametrizada pelos divisores de $q+1$, o trabalho oferece novos exemplos explícitos de curvas maximais com gêneros variados.

A determinação explícita dos semigrupos de Weierstrass é destacada por ter implicações diretas na teoria de códigos geométricos. Especificamente, o conhecimento preciso desses semigrupos e do número de pontos racionais é essencial para a construção de códigos de Geometria Algébrica (AG) (como códigos de Goppa) com parâmetros ótimos, incluindo distância mínima maximizada e alta dimensão. Os resultados fornecem as ferramentas teóricas e computacionais necessárias para essas aplicações.

Além disso, o artigo contribui para a compreensão da estrutura de curvas maximais, esclarecendo a relação entre a curva hermitiana e seus quocientes, e caracterizando os grupos de automorfismos dessas curvas, o que é um problema fundamental na geometria aritmética de curvas sobre corpos finitos.