Weierstrass semigroups at totally ramified places of degree one on Kummer extensions

Resumo Técnico: Semigrupos de Weierstrass em Lugares Totalmente Ramificados de Grau Um em Extensões de Kummer

Enunciado do Problema
O artigo investiga a estrutura dos semigrupos de Weierstrass e seus conjuntos de lacunas associados em lugares totalmente ramificados de grau um dentro de extensões de Kummer de corpos de funções algébricas. Especificamente, os autores consideram a extensão $F = K(x, y)/K(x)$ definida pela equação afim $y^m = f(x)$, onde $K$ é uma extensão algébrica de um corpo finito $\mathbb{F}_q$, $\gcd(m, q) = 1$, e $f(x) \in K(x)$ é dada por $f(x) = \alpha \prod_{i=1}^r p_i(x)^{\lambda_i}$.

Embora a literatura anterior tenha descrito explicitamente esses semigrupos para casos específicos — frequentemente exigindo que $f(x)$ se decomponha completamente em $K$ (ou seja, $\deg p_i(x) = 1$) ou restringindo os expoentes $\lambda_i$ ao intervalo $[1, m-1]$ —, este trabalho visa fornecer uma descrição unificada para expoentes arbitrários $\lambda_i \in \mathbb{Z} \setminus \{0\}$ e polinômios irredutíveis arbitrários $p_i(x)$, sem exigir que $f(x)$ se decomponha completamente em $K$. O estudo foca nos lugares $Q_s$ que estão sobre $P_s$ (onde $P_s$ corresponde à raiz de $p_s(x)$ ou ao polo de $x$) tais que $\gcd(m, \lambda_s) = 1$, garantindo que $Q_s$ seja um lugar totalmente ramificado de grau um.

Metodologia
Os autores empregam a teoria dos corpos de funções algébricas, utilizando especificamente o teorema de Riemann-Roch e a relação entre lacunas e diferenciais de Weil regulares. A metodologia prossegue através das seguintes etapas:

1. Preliminares e Lemas: O artigo estabelece lemas necessários sobre funções piso e teto e propriedades de extensões do corpo de constantes. Uma ferramenta chave é a decomposição dos espaços de Riemann-Roch em extensões de Kummer (baseada no Teorema 2.9 e no Lema 3.3), o que permite expressar a dimensão $\ell(D)$ como uma soma sobre $t \in \{0, \dots, m-1\}$ envolvendo restrições ao corpo de funções racionais $K(x)$.
2. Descrição Unificada de Lacunas: Ao analisar a condição $\ell(aQ_s) = \ell((a-1)Q_s)$, os autores derivam uma fórmula unificada para o conjunto de lacunas $G(Q_s)$. Isso envolve caracterizar os inteiros $a$ para os quais uma desigualdade específica envolvendo funções piso e os graus dos polinômios $p_i(x)$ se mantém.
3. Análise de Simetria: Usando a caracterização das lacunas e a existência de um divisor canônico, os autores derivam uma condição necessária e suficiente para que o semigrupo de Weierstrass $H(Q_s)$ seja simétrico (ou seja, $F_{H(Q_s)} = 2g - 1$). Isso depende da existência de um inteiro específico $u$ satisfazendo uma relação de congruência envolvendo os expoentes $\lambda_i$ e seus maiores divisores comuns com $m$.
4. Conjuntos Geradores Mínimos: Para determinar o conjunto gerador mínimo $\tilde{\Gamma}(Q_{\ell_1}, \dots, Q_{\ell_s})$ para múltiplos lugares totalmente ramificados, os autores adaptam as técnicas introduzidas por Matthews. Eles definem conjuntos auxiliares $\Gamma(Q_{\ell_1}, \dots, Q_{\ell_s})$ e provam que esses conjuntos correspondem a tuplas específicas de inteiros derivadas da estrutura de lacunas. Crucialmente, eles constroem funções racionais explícitas cujos divisores de polos realizam essas tuplas geradoras.

Principais Contribuições e Resultados

• Descrição Unificada de Lacunas e Semigrupo: O artigo fornece uma descrição explícita e unificada do conjunto de lacunas $G(Q_s)$ e do semigrupo de Weierstrass $H(Q_s)$ para qualquer lugar totalmente ramificado de grau um. Diferentemente de resultados anteriores, esta descrição vale para expoentes inteiros arbitrários $\lambda_i$ e não exige que $f(x)$ se decomponha completamente em $K$.
  • Resultado: $G(Q_s)$ é descrito como um conjunto de inteiros da forma $mj + i$, onde os limites para $j$ são determinados por somas de funções teto envolvendo os expoentes $\lambda_i$ e os graus $d_i = \deg p_i(x)$.
• Condição de Simetria: É estabelecida uma condição necessária e suficiente para que $H(Q_s)$ seja simétrico.
  • Resultado: $H(Q_s)$ é simétrico se e somente se existir um inteiro $u \in \{1, \dots, m-1\}$ tal que $\frac{u\lambda_i}{\gcd(m, \lambda_i)} \equiv \frac{u\lambda_j}{\gcd(m, \lambda_j)} \pmod m$ para todos $i, j \neq s$. Isso generaliza resultados anteriores de Mendoza e Cotterill et al.
• Conjuntos Geradores Mínimos: Os autores descrevem explicitamente o conjunto $\Gamma(Q_{\ell_1}, \dots, Q_{\ell_s})$ para $s$ lugares totalmente ramificados de grau um distintos.
  • Resultado: O conjunto é caracterizado por tuplas $(m j_1 + i, \dots, m j_s + i)$ sujeitas a restrições lineares específicas sobre os valores $j_k$. Além disso, o artigo fornece funções explícitas $z \in F$ tais que o divisor de polos $(z)_\infty$ tem coeficientes exatamente iguais aos elementos de $\Gamma(Q_{\ell_1}, \dots, Q_{\ell_s})$.
• Condição de Não Vazio: É derivada uma condição necessária e suficiente para que o conjunto $\Gamma(Q_{\ell_1}, \dots, Q_{\ell_s})$ seja não vazio, relacionando o número de lugares $s$ ao valor máximo de uma soma específica envolvendo os expoentes.

Aplicações e Exemplos
Os resultados teóricos são aplicados a três classes específicas de extensões de Kummer:

1. Extensões de Kummer com multiplicidades iguais: Onde $f(x) = \prod (x-\alpha_i)^\lambda$. O artigo refina descrições anteriores dos semigrupos em lugares infinitos e finitos, corrigindo imprecisões na literatura anterior sobre conjuntos geradores mínimos.
2. Curvas GGS: Os corpos de funções das curvas GGS (generalizações das curvas GK) são analisados. Os autores determinam os conjuntos de lacunas e semigrupos em lugares totalmente ramificados e confirmam que o semigrupo é simétrico se e somente se $n=3$ (o caso da curva GK).
3. Subcoberturas da Curva BM: O artigo analisa os corpos de funções de subcoberturas da curva Beelen-Montanucci (BM), fornecendo conjuntos de lacunas explícitos e conjuntos geradores mínimos para múltiplos lugares totalmente ramificados.

Significância
O artigo reivindica significância ao unificar e estender resultados existentes sobre semigrupos de Weierstrass em extensões de Kummer. Ao remover a restrição de que $f(x)$ deve se decompor completamente em $K$ e permitir expoentes inteiros arbitrários, os resultados cobrem uma classe mais ampla de corpos de funções. A construção explícita de funções que realizam os conjuntos geradores mínimos é uma contribuição notável, pois avança além da existência abstrata para uma realização concreta. Esses resultados destinam-se a facilitar a construção de códigos de geometria algébrica com parâmetros aprimorados, uma vez que o conhecimento dos semigrupos de Weierstrass em múltiplos lugares é diretamente aplicável ao design de códigos. Os autores também observam que suas condições de simetria estendem e generalizam teoremas anteriores de Mendoza e Cotterill et al.