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

Technische Samenvatting: Weierstrass-halven bij volledig vertakte plaatsen van graad één in gelijngemaakte functielichamen

Probleemstelling
Het artikel behandelt de karakterisering van Weierstrass-halven en hun bijbehorende gap-sets bij volledig vertakte plaatsen van graad één in de context van gelijngemaakte functielichamen. Hoewel de theorie van Weierstrass-halven bij enkele en meervoudige rationale plaatsen goed is vastgesteld voor specifieke krommen (bijvoorbeeld Hermitische, GK- en GGS-krommen), ontbreekt een verenigde beschrijving voor de algemene klasse van gelijngemaakte functielichamen die worden gedefinieerd door separabele gelijngemaakte polynomen. Specifiek streven de auteurs er naar om de set van gaten $G(Q)$, de generatoren, de multipliciteit en het Frobenius-getal te bepalen voor een enkele volledig vertakte plaats $Q$, en deze analyse uit te breiden tot de minimaal genererende sets van halven bij meerdere dergelijke plaatsen.

Methodologie
De auteurs werken binnen het raamwerk van algebraïsche functielichamen over een algebraïsche uitbreiding $K$ van een eindig lichaam $\mathbb{F}_q$. Het functielichaam $F = K(x, y)$ wordt gedefinieerd door de vergelijking $L(y) = f(x)/g(x)$, waarbij $L(y)$ een separabel gelijngemaakt polynoom is en $f(x), g(x)$ onderling ondeelbare polynomen zijn.

De methodologie rust op de volgende technische stappen:

1. Berekening van de dimensie: De auteurs stellen eerst een verenigde beschrijving op van de Riemann-Roch-ruimte $L(D)$ voor divisors $D$ die worden ondersteund door vertakte plaatsen. Door gebruik te maken van de basis $\{1, y, \dots, y^{p^n-1}\}$ van de uitbreiding $F/K(x)$, leiden ze een expliciete formule af voor de dimensie $\ell(D)$ (Corollarium 3.2). Dit breidt eerdere resultaten uit die beperkt waren tot gevallen waarbij $\deg f(x) > \deg g(x)$.
2. Karakterisering van gaten: Met behulp van de dimensieformule karakteriseren ze de set van gaten $G(Q)$ bij een volledig vertakte plaats $Q$ van graad één. Ze bieden een verenigde beschrijving van $G(Q)$ die afhangt van de vloer- en plafondfuncties, gebaseerd op de graden van de polynomen in de definiërende vergelijking.
3. Constructie van de halve: Uit de gap-set construeren ze expliciet de Weierstrass-halve $H(Q)$, waarbij ze het systeem van generatoren, de multipliciteit en het Frobenius-getal identificeren.
4. Symmetrie-analyse: Ze leiden een noodzakelijke en voldoende voorwaarde af opdat $H(Q)$ een symmetrische halve is.
5. Analyse van meerdere plaatsen: De auteurs onderzoeken, voortbouwend op het werk van Matthews, Carvalho en Torres, de minimaal genererende set $\tilde{\Gamma}(Q_1, \dots, Q_s)$ voor $s$ distincte volledig vertakte plaatsen. Ze definiëren de sets $\Gamma(Q_1, \dots, Q_t)$ en geven expliciete beschrijvingen van deze sets, samen met de constructie van specifieke functies waarvan de pooldivisors overeenkomen met de elementen van deze genererende sets.

Belangrijkste bijdragen en resultaten

• Verenigde beschrijving van gaten: Het artikel biedt een verenigde formule voor de gap-set $G(Q)$ bij een volledig vertakte plaats van graad één (Propositie 3.4), toepasbaar ongeacht de relatieve graden van $f(x)$ en $g(x)$.
• Expliciete halve-parameters: Voor een volledig vertakte plaats $Q$ geven de auteurs expliciet:
  • Een systeem van generatoren voor $H(Q)$ (Corollarium 3.6).
  • De multipliciteit $m_{H(Q)}$ en het Frobenius-getal $F_{H(Q)}$ (Corollarium 3.7).
• Symmetrievoorwaarde: Een noodzakelijke en voldoende voorwaarde voor de symmetrie van $H(Q)$ is vastgesteld: $H(Q)$ is symmetrisch dan en slechts dan als $n_k \equiv -1 \pmod{p^n}$ voor alle $k$ in de indexset, met uitzondering van de index van $Q$ (Stelling 3.8).
• Minimaal genererende sets voor meerdere plaatsen: Het artikel bepaalt volledig de set $\Gamma(Q_1, \dots, Q_t)$ voor $t$ distincte volledig vertakte plaatsen (Stelling 4.1). Cruciaal is dat de auteurs de set niet alleen abstract beschrijven; ze construeren expliciet functies $z$ zodat de coëfficiënten van hun pooldivisors exact binnen de minimaal genererende set $\Gamma(Q_1, \dots, Q_t)$ liggen.
• Toepassingen op specifieke gevallen: De resultaten worden toegepast op twee specifieke gevallen op basis van het teken van $n_0 (gerelateerd aan de graad van de noemer):
  • Geval $n_0 \leq 0$: Er worden expliciete beschrijvingen gegeven van $G(Q)$, $H(Q)$ en $\Gamma$-sets (Propositie 5.1).
  • Geval $n_0 > 0$: Vergelijkbare expliciete beschrijvingen worden gegeven voor de oneindige plaats $Q_\infty$ en eindige plaatsen (Proposities 5.3 en 5.5).
• Voorbeelden: Het artikel bevat concrete voorbeelden (Voorbeelden 5.2 en 5.6) over $\mathbb{F}_8$ om de berekening van gap-sets, Frobenius-getallen en minimaal genererende sets voor specifieke gelijngemaakte functielichamen te illustreren.

Beteekenis
Het artikel claimt betekenis door een omvattend en verenigd raamwerk te bieden voor de analyse van Weierstrass-halven in gelijngemaakte functielichamen, een klasse die belangrijke families omvat zoals Hermitische en norm-sporenfunctielichamen als speciale gevallen. Door de restrictie op de graden van de teller- en noemerpolynomen te verwijderen, generaliseren de resultaten eerdere bevindingen (bijvoorbeeld die van Navarro). De expliciete constructie van functies die overeenkomen met de minimaal genererende sets biedt praktische hulpmiddelen voor verder onderzoek in algebraïsche meetkundecodes en de classificatie van maximale functielichamen. Het werk draagt bij aan het bredere begrip van de rekenkundige eigenschappen van functielichamen, die essentieel zijn voor het identificeren van automorfismengroepen en het construeren van codes met goede parameters.