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

Résumé technique : Semigroupes de Weierstrass en des places totalement ramifiées de degré un sur des corps de fonctions linéarisés

Énoncé du problème
L'article traite de la caractérisation des semigroupes de Weierstrass et de leurs ensembles de lacets associés en des places totalement ramifiées de degré un dans le contexte des corps de fonctions linéarisés. Alors que la théorie des semigroupes de Weierstrass en des places rationnelles simples et multiples est bien établie pour des courbes spécifiques (par exemple, les courbes de Hermitian, GK et GGS), une description unifiée pour la classe générale des corps de fonctions linéarisés définis par des polynômes linéarisés séparables faisait défaut. Plus précisément, les auteurs visent à déterminer l'ensemble des lacets $G(Q)$, les générateurs, la multiplicité et le nombre de Frobenius pour une place totalement ramifiée unique $Q$, et à étendre cette analyse aux ensembles de générateurs minimaux des semigroupes en plusieurs de telles places.

Méthodologie
Les auteurs travaillent dans le cadre des corps de fonctions algébriques sur une extension algébrique $K$ d'un corps fini $\mathbb{F}_q$. Le corps de fonctions $F = K(x, y)$ est défini par l'équation $L(y) = f(x)/g(x)$, où $L(y)$ est un polynôme linéarisé séparable et $f(x), g(x)$ sont des polynômes premiers entre eux.

La méthodologie repose sur les étapes techniques suivantes :

1. Calcul de dimension : Les auteurs établissent d'abord une description unifiée de l'espace de Riemann-Roch $L(D)$ pour les diviseurs $D$ supportés sur des places ramifiées. En utilisant la base $\{1, y, \dots, y^{p^n-1}\}$ de l'extension $F/K(x)$, ils déduisent une formule explicite pour la dimension $\ell(D)$ (Corollaire 3.2). Cela étend des résultats antérieurs qui étaient restreints aux cas où $\deg f(x) > \deg g(x)$.
2. Caractérisation des lacets : En utilisant la formule de dimension, ils caractérisent l'ensemble des lacets $G(Q)$ en une place totalement ramifiée $Q$ de degré un. Ils fournissent une description unifiée de $G(Q)$ impliquant des fonctions partie entière et partie entière supérieure dépendant des degrés des polynômes dans l'équation définissante.
3. Construction du semigroupe : À partir de l'ensemble des lacets, ils construisent explicitement le semigroupe de Weierstrass $H(Q)$, en identifiant son système de générateurs, sa multiplicité et son nombre de Frobenius.
4. Analyse de symétrie : Ils déduisent une condition nécessaire et suffisante pour que $H(Q)$ soit un semigroupe symétrique.
5. Analyse multi-places : En étendant le travail de Matthews, Carvalho et Torres, les auteurs investiguent l'ensemble de générateurs minimal $\tilde{\Gamma}(Q_1, \dots, Q_s)$ pour $s$ places totalement ramifiées distinctes. Ils définissent les ensembles $\Gamma(Q_1, \dots, Q_t)$ et fournissent des descriptions explicites de ces ensembles, ainsi que la construction de fonctions spécifiques dont les diviseurs de pôles correspondent exactement aux éléments de ces ensembles de générateurs.

Contributions et résultats clés

• Description unifiée des lacets : L'article fournit une formule unifiée pour l'ensemble des lacets $G(Q)$ en une place totalement ramifiée de degré un (Proposition 3.4), applicable indépendamment des degrés relatifs de $f(x)$ et $g(x)$.
• Paramètres explicites du semigroupe : Pour une place totalement ramifiée $Q$, les auteurs fournissent explicitement :
  • Un système de générateurs pour $H(Q)$ (Corollaire 3.6).
  • La multiplicité $m_{H(Q)}$ et le nombre de Frobenius $F_{H(Q)}$ (Corollaire 3.7).
• Condition de symétrie : Une condition nécessaire et suffisante pour la symétrie de $H(Q)$ est établie : $H(Q)$ est symétrique si et seulement si $n_k \equiv -1 \pmod{p^n}$ pour tout $k$ dans l'ensemble des indices, à l'exception de l'indice de $Q$ (Théorème 3.8).
• Ensembles de générateurs minimaux pour plusieurs places : L'article détermine entièrement l'ensemble $\Gamma(Q_1, \dots, Q_t)$ pour $t$ places totalement ramifiées distinctes (Théorème 4.1). Crucialement, les auteurs ne décrivent pas seulement l'ensemble de manière abstraite ; ils construisent explicitement des fonctions $z$ telles que les coefficients de leurs diviseurs de pôles se situent exactement dans l'ensemble de générateurs minimal $\Gamma(Q_1, \dots, Q_t)$.
• Applications à des cas spécifiques : Les résultats sont appliqués à deux cas spécifiques basés sur le signe de $n_0$ (lié au degré du dénominateur) :
  • Cas $n_0 \leq 0$ : Des descriptions explicites de $G(Q)$, $H(Q)$ et des ensembles $\Gamma$ sont fournies (Proposition 5.1).
  • Cas $n_0 > 0$ : Des descriptions explicites similaires sont données pour la place à l'infini $Q_\infty$ et les places finies (Propositions 5.3 et 5.5).
• Exemples : L'article inclut des exemples concrets (Exemples 5.2 et 5.6) sur $\mathbb{F}_8$ pour illustrer le calcul des ensembles de lacets, des nombres de Frobenius et des ensembles de générateurs minimaux pour des corps de fonctions linéarisés spécifiques.

Signification
L'article revendique une importance en fournissant un cadre complet et unifié pour l'analyse des semigroupes de Weierstrass dans les corps de fonctions linéarisés, une classe qui inclut des familles importantes telles que les corps de fonctions de Hermitian et de norme-trace comme cas particuliers. En levant la restriction sur les degrés des polynômes numérateur et dénominateur, les résultats généralisent des découvertes antérieures (par exemple, celles de Navarro). La construction explicite de fonctions correspondant aux ensembles de générateurs minimaux offre des outils pratiques pour des recherches ultérieures en codes de géométrie algébrique et dans la classification des corps de fonctions maximaux. Ce travail contribue à une compréhension plus large des propriétés arithmétiques des corps de fonctions, essentielles pour identifier les groupes d'automorphismes et construire des codes avec de bons paramètres.