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

Résumé technique : Semigroupes de Weierstrass aux places totalement ramifiées de degré un sur les extensions de Kummer

Énoncé du problème
L'article examine la structure des semigroupes de Weierstrass et de leurs ensembles de lacets associés aux places totalement ramifiées de degré un au sein des extensions de Kummer de corps de fonctions algébriques. Plus précisément, les auteurs considèrent l'extension $F = K(x, y)/K(x)$ définie par l'équation affine $y^m = f(x)$, où $K$ est une extension algébrique d'un corps fini $\mathbb{F}_q$, $\gcd(m, q) = 1$, et $f(x) \in K(x)$ est donnée par $f(x) = \alpha \prod_{i=1}^r p_i(x)^{\lambda_i}$.

Alors que la littérature antérieure a explicitement décrit ces semigroupes pour des cas spécifiques — exigeant souvent que $f(x)$ se scinde complètement sur $K$ (c'est-à-dire $\deg p_i(x) = 1$) ou restreignant les exposants $\lambda_i$ à l'intervalle $[1, m-1]$ —, ce travail vise à fournir une description unifiée pour des exposants arbitraires $\lambda_i \in \mathbb{Z} \setminus \{0\}$ et des polynômes irréductibles arbitraires $p_i(x)$, sans exiger que $f(x)$ se scinde complètement sur $K$. L'étude se concentre sur les places $Q_s$ au-dessus de $P_s$ (où $P_s$ correspond à la racine de $p_s(x)$ ou au pôle de $x$) telles que $\gcd(m, \lambda_s) = 1$, garantissant que $Q_s$ est une place totalement ramifiée de degré un.

Méthodologie
Les auteurs emploient la théorie des corps de fonctions algébriques, utilisant spécifiquement le théorème de Riemann-Roch et la relation entre les lacets et les différentielles de Weil régulières. La méthodologie procède selon les étapes suivantes :

1. Préliminaires et lemmes : L'article établit les lemmes nécessaires concernant les fonctions partie entière et partie supérieure, ainsi que les propriétés des extensions de corps constants. Un outil clé est la décomposition des espaces de Riemann-Roch dans les extensions de Kummer (fondée sur le théorème 2.9 et le lemme 3.3), qui permet d'exprimer la dimension $\ell(D)$ comme une somme sur $t \in \{0, \dots, m-1\}$ impliquant des restrictions au corps de fonctions rationnelles $K(x)$.
2. Description unifiée des lacets : En analysant la condition $\ell(aQ_s) = \ell((a-1)Q_s)$, les auteurs déduisent une formule unifiée pour l'ensemble des lacets $G(Q_s)$. Cela implique de caractériser les entiers $a$ pour lesquels une inégalité spécifique impliquant des fonctions partie entière et les degrés des polynômes $p_i(x)$ est vérifiée.
3. Analyse de symétrie : En utilisant la caractérisation des lacets et l'existence d'un diviseur canonique, les auteurs dérivent une condition nécessaire et suffisante pour que le semigroupe de Weierstrass $H(Q_s)$ soit symétrique (c'est-à-dire $F_{H(Q_s)} = 2g - 1$). Cela repose sur l'existence d'un entier spécifique $u$ satisfaisant une relation de congruence impliquant les exposants $\lambda_i$ et leurs plus grands communs diviseurs avec $m$.
4. Ensembles de générateurs minimaux : Pour déterminer l'ensemble de générateurs minimal $\tilde{\Gamma}(Q_{\ell_1}, \dots, Q_{\ell_s})$ pour plusieurs places totalement ramifiées, les auteurs adaptent les techniques introduites par Matthews. Ils définissent des ensembles auxiliaires $\Gamma(Q_{\ell_1}, \dots, Q_{\ell_s})$ et prouvent que ces ensembles correspondent à des tuples spécifiques d'entiers dérivés de la structure des lacets. Crucialement, ils construisent des fonctions rationnelles explicites dont les diviseurs de pôles réalisent ces tuples générateurs.

Contributions et résultats clés

• Description unifiée des lacets et du semigroupe : L'article fournit une description explicite et unifiée de l'ensemble des lacets $G(Q_s)$ et du semigroupe de Weierstrass $H(Q_s)$ pour toute place totalement ramifiée de degré un. Contrairement aux résultats antérieurs, cette description vaut pour des exposants entiers arbitraires $\lambda_i$ et ne requiert pas que $f(x)$ se scinde complètement sur $K$.
  • Résultat : $G(Q_s)$ est décrit comme un ensemble d'entiers de la forme $mj + i$, où les bornes sur $j$ sont déterminées par des sommes de fonctions partie supérieure impliquant les exposants $\lambda_i$ et les degrés $d_i = \deg p_i(x)$.
• Condition de symétrie : Une condition nécessaire et suffisante pour que $H(Q_s)$ soit symétrique est établie.
  • Résultat : $H(Q_s)$ est symétrique si et seulement s'il existe un entier $u \in \{1, \dots, m-1\}$ tel que $\frac{u\lambda_i}{\gcd(m, \lambda_i)} \equiv \frac{u\lambda_j}{\gcd(m, \lambda_j)} \pmod m$ pour tous $i, j \neq s$. Cela généralise les résultats antérieurs de Mendoza et de Cotterill et al.
• Ensembles de générateurs minimaux : Les auteurs décrivent explicitement l'ensemble $\Gamma(Q_{\ell_1}, \dots, Q_{\ell_s})$ pour $s$ places totalement ramifiées de degré un distinctes.
  • Résultat : L'ensemble est caractérisé par des tuples $(m j_1 + i, \dots, m j_s + i)$ soumis à des contraintes linéaires spécifiques sur les valeurs $j_k$. De plus, l'article fournit des fonctions explicites $z \in F$ telles que le diviseur de pôles $(z)_\infty$ ait des coefficients exactement égaux aux éléments de $\Gamma(Q_{\ell_1}, \dots, Q_{\ell_s})$.
• Condition de non-vacuité : Une condition nécessaire et suffisante pour que l'ensemble $\Gamma(Q_{\ell_1}, \dots, Q_{\ell_s})$ soit non vide est dérivée, reliant le nombre de places $s$ à la valeur maximale d'une somme spécifique impliquant les exposants.

Applications et exemples
Les résultats théoriques sont appliqués à trois classes spécifiques d'extensions de Kummer :

1. Extensions de Kummer avec multiplicités égales : Où $f(x) = \prod (x-\alpha_i)^\lambda$. L'article affine les descriptions antérieures des semigroupes aux places infinies et finies, corrigeant des imprécisions dans la littérature antérieure concernant les ensembles de générateurs minimaux.
2. Courbes GGS : Les corps de fonctions des courbes GGS (généralisations des courbes GK) sont analysés. Les auteurs déterminent les ensembles de lacets et les semigroupes aux places totalement ramifiées et confirment que le semigroupe est symétrique si et seulement si $n=3$ (le cas de la courbe GK).
3. Sous-couvertures de la courbe BM : L'article analyse les corps de fonctions des sous-couvertures de la courbe de Beelen-Montanucci (BM), fournissant des ensembles de lacets explicites et des ensembles de générateurs minimaux pour plusieurs places totalement ramifiées.

Signification
L'article revendique une importance en unifiant et en étendant les résultats existants sur les semigroupes de Weierstrass dans les extensions de Kummer. En supprimant la restriction selon laquelle $f(x)$ doit se scinder complètement sur $K$ et en permettant des exposants entiers arbitraires, les résultats couvrent une classe plus large de corps de fonctions. La construction explicite de fonctions réalisant les ensembles de générateurs minimaux est une contribution notable, car elle va au-delà de l'existence abstraite pour atteindre une réalisation concrète. Ces résultats visent à faciliter la construction de codes géométriques algébriques avec des paramètres améliorés, car la connaissance des semigroupes de Weierstrass à plusieurs places est directement applicable à la conception de codes. Les auteurs notent également que leurs conditions de symétrie étendent et généralisent les théorèmes antérieurs de Mendoza et de Cotterill et al.