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

Technische Samenvatting: Weierstrass-halven bij volledig vertakte plaatsen van graad één in Kummer-uitbreidingen

Probleemstelling
Het artikel onderzoekt de structuur van Weierstrass-halven en hun bijbehorende gatverzamelingen bij volledig vertakte plaatsen van graad één binnen Kummer-uitbreidingen van algebraïsche functielichamen. Specifiek beschouwen de auteurs de uitbreiding $F = K(x, y)/K(x)$ gedefinieerd door de affine vergelijking $y^m = f(x)$, waarbij $K$ een algebraïsche uitbreiding is van een eindig veld $\mathbb{F}_q$, $\gcd(m, q) = 1$, en $f(x) \in K(x)$ gegeven wordt door $f(x) = \alpha \prod_{i=1}^r p_i(x)^{\lambda_i}$.

Hoewel eerdere literatuur deze halven expliciet heeft beschreven voor specifieke gevallen—vaak vereisend dat $f(x)$ volledig splitst over $K$ (d.w.z. $\deg p_i(x) = 1$) of de exponenten $\lambda_i$ beperkt tot het bereik $[1, m-1]$—streeft dit werk naar een verenigde beschrijving voor willekeurige exponenten $\lambda_i \in \mathbb{Z} \setminus \{0\}$ en willekeurige irreducibele polynomen $p_i(x)$, zonder te vereisen dat $f(x)$ volledig splitst over $K$. De studie richt zich op plaatsen $Q_s$ die boven $P_s$ liggen (waarbij $P_s$ overeenkomt met de nul van $p_s(x)$ of de pool van $x$) zodanig dat $\gcd(m, \lambda_s) = 1$, wat garandeert dat $Q_s$ een volledig vertakte plaats van graad één is.

Methodologie
De auteurs maken gebruik van de theorie van algebraïsche functielichamen, met name het Riemann-Roch-stelling en de relatie tussen gaten en reguliere Weil-differentiaalvormen. De methodologie verloopt via de volgende stappen:

1. Voorbereidingen en Lemmata: Het artikel stelt de nodige lemmata op met betrekking tot de vloer- en plafondfuncties en eigenschappen van constante velduitbreidingen. Een belangrijk hulpmiddel is de decompositie van Riemann-Roch-ruimten in Kummer-uitbreidingen (gebaseerd op Stelling 2.9 en Lemma 3.3), wat toelaat dat de dimensie $\ell(D)$ wordt uitgedrukt als een som over $t \in \{0, \dots, m-1\}$ met betrekking tot restricties tot het rationale functielichaam $K(x)$.
2. Verenigde Gatbeschrijving: Door de voorwaarde $\ell(aQ_s) = \ell((a-1)Q_s)$ te analyseren, leiden de auteurs een verenigde formule af voor de verzameling gaten $G(Q_s)$. Dit houdt in dat de gehele getallen $a$ worden gekarakteriseerd waarvoor een specifieke ongelijkheid geldt die vloerfuncties en de graden van de polynomen $p_i(x)$ omvat.
3. Symmetrie-analyse: Met behulp van de karakterisering van gaten en het bestaan van een canonieke divisor leiden de auteurs een noodzakelijke en voldoende voorwaarde af opdat de Weierstrass-halve $H(Q_s)$ symmetrisch is (d.w.z. $F_{H(Q_s)} = 2g - 1$). Dit berust op het bestaan van een specifiek geheel getal $u$ dat een congruentierelatie voldoet die de exponenten $\lambda_i$ en hun grootste gemene delers met $m$ omvat.
4. Minimale Genererende Verzamelingen: Om de minimale genererende verzameling $\tilde{\Gamma}(Q_{\ell_1}, \dots, Q_{\ell_s})$ voor meerdere volledig vertakte plaatsen te bepalen, passen de auteurs de technieken toe die door Matthews zijn geïntroduceerd. Zij definiëren hulpverzamelingen $\Gamma(Q_{\ell_1}, \dots, Q_{\ell_s})$ en bewijzen dat deze verzamelingen corresponderen met specifieke tupels van gehele getallen die zijn afgeleid uit de gatstructuur. Cruciaal construeren zij expliciete rationale functies wier pooldivisoren deze genererende tupels realiseren.

Belangrijkste Bijdragen en Resultaten

• Verenigde Gat- en Halvebeschrijving: Het artikel biedt een expliciete, verenigde beschrijving van de gatverzameling $G(Q_s)$ en de Weierstrass-halve $H(Q_s)$ voor elke volledig vertakte plaats van graad één. In tegenstelling tot eerdere resultaten geldt deze beschrijving voor willekeurige gehele exponenten $\lambda_i$ en vereist niet dat $f(x)$ volledig splitst over $K$.
  • Resultaat: $G(Q_s)$ wordt beschreven als een verzameling gehele getallen van de vorm $mj + i$, waarbij de grenzen voor $j$ worden bepaald door sommen van plafondfuncties die de exponenten $\lambda_i$ en de graden $d_i = \deg p_i(x)$ omvatten.
• Symmetrievoorwaarde: Een noodzakelijke en voldoende voorwaarde wordt vastgesteld opdat $H(Q_s)$ symmetrisch is.
  • Resultaat: $H(Q_s)$ is symmetrisch dan en slechts dan als er een geheel getal $u \in \{1, \dots, m-1\}$ bestaat zodanig dat $\frac{u\lambda_i}{\gcd(m, \lambda_i)} \equiv \frac{u\lambda_j}{\gcd(m, \lambda_j)} \pmod m$ voor alle $i, j \neq s$. Dit generaliseert eerdere resultaten van Mendoza en Cotterill et al.
• Minimale Genererende Verzamelingen: De auteurs beschrijven expliciet de verzameling $\Gamma(Q_{\ell_1}, \dots, Q_{\ell_s})$ voor $s$ verschillende volledig vertakte plaatsen van graad één.
  • Resultaat: De verzameling wordt gekarakteriseerd door tupels $(m j_1 + i, \dots, m j_s + i)$ die onderworpen zijn aan specifieke lineaire restricties op de $j_k$-waarden. Bovendien biedt het artikel expliciete functies $z \in F$ aan zodat de pooldivisor $(z)_\infty$ coëfficiënten heeft die exact gelijk zijn aan de elementen van $\Gamma(Q_{\ell_1}, \dots, Q_{\ell_s})$.
• Niet-leegtevoorwaarde: Een noodzakelijke en voldoende voorwaarde wordt afgeleid opdat de verzameling $\Gamma(Q_{\ell_1}, \dots, Q_{\ell_s})$ niet leeg is, waarbij het aantal plaatsen $s$ wordt gerelateerd aan de maximale waarde van een specifieke som die de exponenten omvat.

Toepassingen en Voorbeelden
De theoretische resultaten worden toegepast op drie specifieke klassen van Kummer-uitbreidingen:

1. Kummer-uitbreidingen met gelijke multipliciteiten: Waar $f(x) = \prod (x-\alpha_i)^\lambda$. Het artikel verfijnt eerdere beschrijvingen van de halven bij oneindige en eindige plaatsen en corrigeert onnauwkeurigheden in eerdere literatuur met betrekking tot minimale genererende verzamelingen.
2. GGS-curven: De functielichamen van GGS-curven (generalisaties van GK-curven) worden geanalyseerd. De auteurs bepalen de gatverzamelingen en halven bij volledig vertakte plaatsen en bevestigen dat de halve symmetrisch is dan en slechts dan als $n=3$ (het GK-curve-geval).
3. Subdekkingen van de BM-curve: Het artikel analyseert de functielichamen van subdekkingen van de Beelen-Montanucci (BM)-curve en biedt expliciete gatverzamelingen en minimale genererende verzamelingen voor meerdere volledig vertakte plaatsen.

Betekenis
Het artikel claimt betekenis door bestaande resultaten over Weierstrass-halven in Kummer-uitbreidingen te verenigen en uit te breiden. Door de restrictie te verwijderen dat $f(x)$ volledig moet splitsten over $K$ en willekeurige gehele exponenten toe te staan, bestrijken de resultaten een bredere klasse van functielichamen. De expliciete constructie van functies die de minimale genererende verzamelingen realiseren, is een opmerkelijke bijdrage, aangezien dit verder gaat dan abstract bestaan naar concrete realisatie. Deze resultaten zijn bedoeld om de constructie van algebraïsche meetkundecodes met verbeterde parameters te faciliteren, aangezien de kennis van Weierstrass-halven bij meerdere plaatsen direct toepasbaar is op codeontwerp. De auteurs merken ook op dat hun symmetrievoorwaarden eerdere stellingen van Mendoza en Cotterill et al. uitbreiden en generaliseren.