Table of Contents
Fetching ...

On generalized Weierstrass Semigroups in arbitrary Kummer extensions of $\mathbb{F}_q(x)$

Alonso S. Castellanos, Erik A. R. Mendoza, Guilherme Tizziotti

TL;DR

This work develops a unified framework for generalized Weierstrass semigroups in arbitrary Kummer extensions of $\mathbb{F}_q(x)$ by leveraging discrepancy methods to describe the absolute and relative maximal elements $\widehat{\Gamma}({\bf Q})$ and $\widehat{\Lambda}({\bf Q})$. The authors provide an explicit parametrization of these maximal sets and deduce the minimal generating sets $\Gamma({\bf Q})$ and $\Lambda({\bf Q})$ for the Weierstrass semigroup, enabling gap and pure-gap analysis in a broad class of function fields. They then apply the general theory to concrete families, including maximal curves $\mathcal{X}_{a,b,n,s}$, $\mathcal{Y}_{n,s}$, curves of the form $y^m=f(x)$ with separable $f$, and the Beelen-Montanucci curve, delivering explicit formulas for the maximal-element sets in each case. By relaxing conditions such as inclusion of the point at infinity or gcd constraints, the results generalize and unify previous contributions in the theory of Weierstrass semigroups, with potential implications for algebraic-geometry codes and gap analysis in new families of curves.

Abstract

In this work, we investigate generalized Weierstrass semigroups in arbitrary Kummer extensions of function field $\mathbb{F}_q(x)$. We analyze their structure and properties, with a particular emphasis on their maximal elements. Explicit descriptions of the sets of absolute and relative maximal elements within these semigroups are provided. Additionally, we apply our results to function fields of the maximal curves $\mathcal{X}_{a,b,n,s}$ and $\mathcal{Y}_{n,s}$, which cannot be covered by the Hermitian curve, and the Beelen-Montanucci curve. Our results generalize and unify several earlier contributions in the theory of Weierstrass semigroups, providing new perspectives on the relationship between these semigroups and function fields.

On generalized Weierstrass Semigroups in arbitrary Kummer extensions of $\mathbb{F}_q(x)$

TL;DR

This work develops a unified framework for generalized Weierstrass semigroups in arbitrary Kummer extensions of by leveraging discrepancy methods to describe the absolute and relative maximal elements and . The authors provide an explicit parametrization of these maximal sets and deduce the minimal generating sets and for the Weierstrass semigroup, enabling gap and pure-gap analysis in a broad class of function fields. They then apply the general theory to concrete families, including maximal curves , , curves of the form with separable , and the Beelen-Montanucci curve, delivering explicit formulas for the maximal-element sets in each case. By relaxing conditions such as inclusion of the point at infinity or gcd constraints, the results generalize and unify previous contributions in the theory of Weierstrass semigroups, with potential implications for algebraic-geometry codes and gap analysis in new families of curves.

Abstract

In this work, we investigate generalized Weierstrass semigroups in arbitrary Kummer extensions of function field . We analyze their structure and properties, with a particular emphasis on their maximal elements. Explicit descriptions of the sets of absolute and relative maximal elements within these semigroups are provided. Additionally, we apply our results to function fields of the maximal curves and , which cannot be covered by the Hermitian curve, and the Beelen-Montanucci curve. Our results generalize and unify several earlier contributions in the theory of Weierstrass semigroups, providing new perspectives on the relationship between these semigroups and function fields.

Paper Structure

This paper contains 9 sections, 14 theorems, 54 equations.

Key Result

Proposition 2.1

MTT2019 Let $\text{\boldmath$\alpha$} \in \mathbb{Z}^n$ and assume that $q \geq n$. Then

Theorems & Definitions (24)

  • Proposition 2.1
  • Definition 2.2
  • Definition 2.3
  • Proposition 2.4
  • Proposition 2.5
  • Theorem 2.6
  • Lemma 2.7
  • Theorem 2.8
  • Remark 2.9
  • Lemma 3.1
  • ...and 14 more