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

Resumen Técnico: Semigrupos de Weierstrass en Lugares Totalmente Ramificados de Grado Uno en Campos de Funciones Linealizados

Planteamiento del Problema
El artículo aborda la caracterización de los semigrupos de Weierstrass y sus conjuntos de huecos asociados en lugares totalmente ramificados de grado uno dentro del contexto de campos de funciones linealizados. Si bien la teoría de los semigrupos de Weierstrass en lugares racionales individuales y múltiples está bien establecida para curvas específicas (por ejemplo, curvas Hermitianas, GK y GGS), ha faltado una descripción unificada para la clase general de campos de funciones linealizados definidos por polinomios linealizados separables. Específicamente, los autores buscan determinar el conjunto de huecos $G(Q)$, los generadores, la multiplicidad y el número de Frobenius para un único lugar totalmente ramificado $Q$, y extender este análisis a los conjuntos generadores mínimos de semigrupos en varios de tales lugares.

Metodología
Los autores trabajan dentro del marco de campos de funciones algebraicas sobre una extensión algebraica $K$ de un cuerpo finito $\mathbb{F}_q$. El campo de funciones $F = K(x, y)$ se define mediante la ecuación $L(y) = f(x)/g(x)$, donde $L(y)$ es un polinomio linealizado separable y $f(x), g(x)$ son polinomios coprimos.

La metodología se basa en los siguientes pasos técnicos:

1. Cálculo de Dimensión: Los autores establecen primero una descripción unificada del espacio de Riemann-Roch $L(D)$ para divisores $D$ soportados en lugares ramificados. Mediante el uso de la base $\{1, y, \dots, y^{p^n-1}\}$ de la extensión $F/K(x)$, derivan una fórmula explícita para la dimensión $\ell(D)$ (Corolario 3.2). Esto extiende resultados previos que estaban restringidos a casos donde $\deg f(x) > \deg g(x)$.
2. Caracterización de Huecos: Utilizando la fórmula de dimensión, caracterizan el conjunto de huecos $G(Q)$ en un lugar totalmente ramificado $Q$ de grado uno. Proporcionan una descripción unificada de $G(Q)$ que involucra funciones piso y techo dependientes de los grados de los polinomios en la ecuación definitoria.
3. Construcción del Semigrupo: A partir del conjunto de huecos, construyen explícitamente el semigrupo de Weierstrass $H(Q)$, identificando su sistema de generadores, multiplicidad y número de Frobenius.
4. Análisis de Simetría: Derivan una condición necesaria y suficiente para que $H(Q)$ sea un semigrupo simétrico.
5. Análisis de Múltiples Lugares: Extendiendo el trabajo de Matthews, Carvalho y Torres, los autores investigan el conjunto generador mínimo $\tilde{\Gamma}(Q_1, \dots, Q_s)$ para $s$ lugares totalmente ramificados distintos. Definen los conjuntos $\Gamma(Q_1, \dots, Q_t)$ y proporcionan descripciones explícitas de estos conjuntos, junto con la construcción de funciones específicas cuyos divisores de polos corresponden a los elementos de estos conjuntos generadores.

Contribuciones y Resultados Clave

• Descripción Unificada de Huecos: El artículo proporciona una fórmula unificada para el conjunto de huecos $G(Q)$ en un lugar totalmente ramificado de grado uno (Proposición 3.4), aplicable independientemente de los grados relativos de $f(x)$ y $g(x)$.
• Parámetros Explícitos del Semigrupo: Para un lugar totalmente ramificado $Q$, los autores proporcionan explícitamente:
  • Un sistema de generadores para $H(Q)$ (Corolario 3.6).
  • La multiplicidad $m_{H(Q)}$ y el número de Frobenius $F_{H(Q)}$ (Corolario 3.7).
• Condición de Simetría: Se establece una condición necesaria y suficiente para la simetría de $H(Q)$: $H(Q)$ es simétrico si y solo si $n_k \equiv -1 \pmod{p^n}$ para todo $k$ en el conjunto de índices, excluyendo el índice de $Q$ (Teorema 3.8).
• Conjuntos Generadores Mínimos para Múltiples Lugares: El artículo determina completamente el conjunto $\Gamma(Q_1, \dots, Q_t)$ para $t$ lugares totalmente ramificados distintos (Teorema 4.1). Crucialmente, los autores no solo describen el conjunto de manera abstracta; construyen explícitamente funciones $z$ tales que los coeficientes de sus divisores de polos residen exactamente dentro del conjunto generador mínimo $\Gamma(Q_1, \dots, Q_t)$.
• Aplicaciones a Casos Específicos: Los resultados se aplican a dos casos específicos basados en el signo de $n_0$ (relacionado con el grado del denominador):
  • Caso $n_0 \leq 0$: Se proporcionan descripciones explícitas de $G(Q)$, $H(Q)$ y los conjuntos $\Gamma$ (Proposición 5.1).
  • Caso $n_0 > 0$: Se dan descripciones explícitas similares para el lugar infinito $Q_\infty$ y los lugares finitos (Proposiciones 5.3 y 5.5).
• Ejemplos: El artículo incluye ejemplos concretos (Ejemplos 5.2 y 5.6) sobre $\mathbb{F}_8$ para ilustrar el cálculo de conjuntos de huecos, números de Frobenius y conjuntos generadores mínimos para campos de funciones linealizados específicos.

Significado
El artículo reclama relevancia al proporcionar un marco comprehensivo y unificado para analizar los semigrupos de Weierstrass en campos de funciones linealizados, una clase que incluye familias importantes como los campos de funciones Hermitianos y de norma-rastreo como casos especiales. Al eliminar la restricción sobre los grados de los polinomios numerador y denominador, los resultados generalizan hallazgos previos (por ejemplo, los de Navarro). La construcción explícita de funciones correspondientes a los conjuntos generadores mínimos ofrece herramientas prácticas para futuras investigaciones en códigos de geometría algebraica y la clasificación de campos de funciones maximales. El trabajo contribuye a una comprensión más amplia de las propiedades aritméticas de los campos de funciones, las cuales son esenciales para identificar grupos de automorfismos y construir códigos con buenos parámetros.