Weierstrass semigroups at totally ramified places of degree one on linearized function fields

Resumo Técnico: Semigrupos de Weierstrass em Lugares Totalmente Ramificados de Grau Um em Campos de Funções Linearizados

Enunciado do Problema
O artigo aborda a caracterização dos semigrupos de Weierstrass e seus conjuntos de lacunas associados em lugares totalmente ramificados de grau um no contexto de campos de funções linearizados. Embora a teoria dos semigrupos de Weierstrass em lugares racionais únicos e múltiplos esteja bem estabelecida para curvas específicas (por exemplo, curvas Hermitianas, GK e GGS), uma descrição unificada para a classe geral de campos de funções linearizados definidos por polinômios linearizados separáveis tem sido inexistente. Especificamente, os autores visam determinar o conjunto de lacunas $G(Q)$, os geradores, a multiplicidade e o número de Frobenius para um único lugar totalmente ramificado $Q$, e estender essa análise aos conjuntos de geração mínima dos semigrupos em vários desses lugares.

Metodologia
Os autores trabalham no âmbito dos campos de funções algébricas sobre uma extensão algébrica $K$ de um corpo finito $\mathbb{F}_q$. O campo de funções $F = K(x, y)$ é definido pela equação $L(y) = f(x)/g(x)$, onde $L(y)$ é um polinômio linearizado separável e $f(x), g(x)$ são polinômios coprimos.

A metodologia baseia-se nas seguintes etapas técnicas:

1. Cálculo de Dimensão: Os autores estabelecem primeiro uma descrição unificada do espaço de Riemann-Roch $L(D)$ para divisores $D$ suportados em lugares ramificados. Ao utilizar a base $\{1, y, \dots, y^{p^n-1}\}$ da extensão $F/K(x)$, eles derivam uma fórmula explícita para a dimensão $\ell(D)$ (Corolário 3.2). Isso estende resultados anteriores que estavam restritos a casos onde $\deg f(x) > \deg g(x)$.
2. Caracterização de Lacunas: Usando a fórmula de dimensão, eles caracterizam o conjunto de lacunas $G(Q)$ em um lugar totalmente ramificado $Q$ de grau um. Eles fornecem uma descrição unificada de $G(Q)$ envolvendo funções piso e teto dependentes dos graus dos polinômios na equação definidora.
3. Construção do Semigrupo: A partir do conjunto de lacunas, eles constroem explicitamente o semigrupo de Weierstrass $H(Q)$, identificando seu sistema de geradores, multiplicidade e número de Frobenius.
4. Análise de Simetria: Eles derivam uma condição necessária e suficiente para que $H(Q)$ seja um semigrupo simétrico.
5. Análise de Múltiplos Lugares: Estendendo o trabalho de Matthews, Carvalho e Torres, os autores investigam o conjunto de geração mínima $\tilde{\Gamma}(Q_1, \dots, Q_s)$ para $s$ lugares totalmente ramificados distintos. Eles definem os conjuntos $\Gamma(Q_1, \dots, Q_t)$ e fornecem descrições explícitas desses conjuntos, juntamente com a construção de funções específicas cujos divisores de polos correspondem exatamente aos elementos desses conjuntos de geração.

Principais Contribuições e Resultados

• Descrição Unificada de Lacunas: O artigo fornece uma fórmula unificada para o conjunto de lacunas $G(Q)$ em um lugar totalmente ramificado de grau um (Proposição 3.4), aplicável independentemente dos graus relativos de $f(x)$ e $g(x)$.
• Parâmetros Explícitos do Semigrupo: Para um lugar totalmente ramificado $Q$, os autores fornecem explicitamente:
  • Um sistema de geradores para $H(Q)$ (Corolário 3.6).
  • A multiplicidade $m_{H(Q)}$ e o número de Frobenius $F_{H(Q)}$ (Corolário 3.7).
• Condição de Simetria: É estabelecida uma condição necessária e suficiente para a simetria de $H(Q)$: $H(Q)$ é simétrico se e somente se $n_k \equiv -1 \pmod{p^n}$ para todo $k$ no conjunto de índices, excluindo o índice de $Q$ (Teorema 3.8).
• Conjuntos de Geração Mínima para Múltiplos Lugares: O artigo determina completamente o conjunto $\Gamma(Q_1, \dots, Q_t)$ para $t$ lugares totalmente ramificados distintos (Teorema 4.1). Crucialmente, os autores não descrevem apenas o conjunto de forma abstrata; eles constroem explicitamente funções $z$ tais que os coeficientes de seus divisores de polos residam exatamente dentro do conjunto de geração mínima $\Gamma(Q_1, \dots, Q_t)$.
• Aplicações a Casos Específicos: Os resultados são aplicados a dois casos específicos baseados no sinal de $n_0$ (relacionado ao grau do denominador):
  • Caso $n_0 \leq 0$: São fornecidas descrições explícitas de $G(Q)$, $H(Q)$ e conjuntos $\Gamma$ (Proposição 5.1).
  • Caso $n_0 > 0$: Descrições explícitas semelhantes são dadas para o lugar infinito $Q_\infty$ e lugares finitos (Proposições 5.3 e 5.5).
• Exemplos: O artigo inclui exemplos concretos (Exemplos 5.2 e 5.6) sobre $\mathbb{F}_8$ para ilustrar o cálculo de conjuntos de lacunas, números de Frobenius e conjuntos de geração mínima para campos de funções linearizados específicos.

Significância
O artigo reivindica significância ao fornecer uma estrutura abrangente e unificada para analisar semigrupos de Weierstrass em campos de funções linearizados, uma classe que inclui famílias importantes, como os campos de funções Hermitianos e de norma-rastreamento, como casos especiais. Ao remover a restrição sobre os graus dos polinômios numerador e denominador, os resultados generalizam descobertas anteriores (por exemplo, as de Navarro). A construção explícita de funções correspondentes aos conjuntos de geração mínima oferece ferramentas práticas para pesquisas futuras em códigos de geometria algébrica e na classificação de campos de funções maximais. O trabalho contribui para a compreensão mais ampla das propriedades aritméticas dos campos de funções, que são essenciais para identificar grupos de automorfismos e construir códigos com bons parâmetros.