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

Resumen Técnico: Semigrupos de Weierstrass en Lugares Totalmente Ramificados de Grado Uno en Extensiones de Kummer

Enunciado del Problema
El artículo investiga la estructura de los semigrupos de Weierstrass y sus conjuntos de huecos asociados en lugares totalmente ramificados de grado uno dentro de extensiones de Kummer de cuerpos de funciones algebraicas. Específicamente, los autores consideran la extensión $F = K(x, y)/K(x)$ definida por la ecuación afín $y^m = f(x)$, donde $K$ es una extensión algebraica de un cuerpo finito $\mathbb{F}_q$, $\gcd(m, q) = 1$, y $f(x) \in K(x)$ viene dada por $f(x) = \alpha \prod_{i=1}^r p_i(x)^{\lambda_i}$.

Aunque la literatura anterior ha descrito explícitamente estos semigrupos para casos específicos, a menudo requiriendo que $f(x)$ se descomponga completamente sobre $K$ (es decir, $\deg p_i(x) = 1$) o restringiendo los exponentes $\lambda_i$ al rango $[1, m-1]$, este trabajo tiene como objetivo proporcionar una descripción unificada para exponentes arbitrarios $\lambda_i \in \mathbb{Z} \setminus \{0\}$ y polinomios irreducibles arbitrarios $p_i(x)$, sin requerir que $f(x)$ se descomponga completamente sobre $K$. El estudio se centra en los lugares $Q_s$ que se encuentran sobre $P_s$ (donde $P_s$ corresponde al cero de $p_s(x)$ o al polo de $x$) tales que $\gcd(m, \lambda_s) = 1$, asegurando que $Q_s$ sea un lugar totalmente ramificado de grado uno.

Metodología
Los autores emplean la teoría de cuerpos de funciones algebraicas, utilizando específicamente el teorema de Riemann-Roch y la relación entre huecos y diferenciales de Weil regulares. La metodología procede a través de los siguientes pasos:

1. Preliminares y Lemas: El artículo establece los lemas necesarios sobre funciones piso y techo y propiedades de extensiones de cuerpos constantes. Una herramienta clave es la descomposición de espacios de Riemann-Roch en extensiones de Kummer (basada en el Teorema 2.9 y el Lema 3.3), lo que permite expresar la dimensión $\ell(D)$ como una suma sobre $t \in \{0, \dots, m-1\}$ que involucra restricciones al cuerpo de funciones racionales $K(x)$.
2. Descripción Unificada de Huecos: Al analizar la condición $\ell(aQ_s) = \ell((a-1)Q_s)$, los autores derivan una fórmula unificada para el conjunto de huecos $G(Q_s)$. Esto implica caracterizar los enteros $a$ para los cuales se cumple una desigualdad específica que involucra funciones piso y los grados de los polinomios $p_i(x)$.
3. Análisis de Simetría: Utilizando la caracterización de los huecos y la existencia de un divisor canónico, los autores derivan una condición necesaria y suficiente para que el semigrupo de Weierstrass $H(Q_s)$ sea simétrico (es decir, $F_{H(Q_s)} = 2g - 1$). Esto depende de la existencia de un entero específico $u$ que satisfaga una relación de congruencia que involucra los exponentes $\lambda_i$ y sus máximos comunes divisores con $m$.
4. Conjuntos Mínimos de Generadores: Para determinar el conjunto mínimo de generadores $\tilde{\Gamma}(Q_{\ell_1}, \dots, Q_{\ell_s})$ para múltiples lugares totalmente ramificados, los autores adaptan las técnicas introducidas por Matthews. Definen conjuntos auxiliares $\Gamma(Q_{\ell_1}, \dots, Q_{\ell_s})$ y demuestran que estos conjuntos corresponden a tuplas específicas de enteros derivadas de la estructura de huecos. Crucialmente, construyen funciones racionales explícitas cuyos divisores de polos realizan estas tuplas generadoras.

Contribuciones y Resultados Clave

• Descripción Unificada de Huecos y Semigrupos: El artículo proporciona una descripción explícita y unificada del conjunto de huecos $G(Q_s)$ y del semigrupo de Weierstrass $H(Q_s)$ para cualquier lugar totalmente ramificado de grado uno. A diferencia de resultados anteriores, esta descripción es válida para exponentes enteros arbitrarios $\lambda_i$ y no requiere que $f(x)$ se descomponga completamente sobre $K$.
  • Resultado: $G(Q_s)$ se describe como un conjunto de enteros de la forma $mj + i$, donde los límites sobre $j$ están determinados por sumas de funciones techo que involucran los exponentes $\lambda_i$ y los grados $d_i = \deg p_i(x)$.
• Condición de Simetría: Se establece una condición necesaria y suficiente para que $H(Q_s)$ sea simétrico.
  • Resultado: $H(Q_s)$ es simétrico si y solo si existe un entero $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 todo $i, j \neq s$. Esto generaliza resultados anteriores de Mendoza y Cotterill et al.
• Conjuntos Mínimos de Generadores: Los autores describen explícitamente el conjunto $\Gamma(Q_{\ell_1}, \dots, Q_{\ell_s})$ para $s$ lugares totalmente ramificados de grado uno distintos.
  • Resultado: El conjunto se caracteriza por tuplas $(m j_1 + i, \dots, m j_s + i)$ sujetas a restricciones lineales específicas sobre los valores $j_k$. Además, el artículo proporciona funciones explícitas $z \in F$ tales que el divisor de polos $(z)_\infty$ tiene coeficientes exactamente iguales a los elementos de $\Gamma(Q_{\ell_1}, \dots, Q_{\ell_s})$.
• Condición de No Vaciedad: Se deriva una condición necesaria y suficiente para que el conjunto $\Gamma(Q_{\ell_1}, \dots, Q_{\ell_s})$ no sea vacío, relacionando el número de lugares $s$ con el valor máximo de una suma específica que involucra los exponentes.

Aplicaciones y Ejemplos
Los resultados teóricos se aplican a tres clases específicas de extensiones de Kummer:

1. Extensiones de Kummer con multiplicidades iguales: Donde $f(x) = \prod (x-\alpha_i)^\lambda$. El artículo refina descripciones anteriores de los semigrupos en lugares infinitos y finitos, corrigiendo imprecisiones en la literatura anterior respecto a los conjuntos mínimos de generadores.
2. Curvas GGS: Se analizan los cuerpos de funciones de las curvas GGS (generalizaciones de las curvas GK). Los autores determinan los conjuntos de huecos y semigrupos en lugares totalmente ramificados y confirman que el semigrupo es simétrico si y solo si $n=3$ (el caso de la curva GK).
3. Subrecubrimientos de la Curva BM: El artículo analiza los cuerpos de funciones de subrecubrimientos de la curva de Beelen-Montanucci (BM), proporcionando conjuntos de huecos explícitos y conjuntos mínimos de generadores para múltiples lugares totalmente ramificados.

Significado
El artículo reclama relevancia al unificar y extender resultados existentes sobre semigrupos de Weierstrass en extensiones de Kummer. Al eliminar la restricción de que $f(x)$ debe descomponerse completamente sobre $K$ y permitir exponentes enteros arbitrarios, los resultados cubren una clase más amplia de cuerpos de funciones. La construcción explícita de funciones que realizan los conjuntos mínimos de generadores es una contribución notable, ya que trasciende la existencia abstracta hacia una realización concreta. Estos resultados tienen la intención de facilitar la construcción de códigos de geometría algebraica con parámetros mejorados, ya que el conocimiento de los semigrupos de Weierstrass en múltiples lugares es directamente aplicable al diseño de códigos. Los autores también señalan que sus condiciones de simetría extienden y generalizan teoremas anteriores de Mendoza y Cotterill et al.