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

Technische Zusammenfassung: Weierstrass-Halbgruppen an total verzweigten Stellen vom Grad Eins in linearisierten Funktionenkörpern

Problemstellung
Der Beitrag widmet sich der Charakterisierung von Weierstrass-Halbgruppen und ihren zugehörigen Lückenmengen an total verzweigten Stellen vom Grad Eins im Kontext linearisierter Funktionenkörper. Während die Theorie der Weierstrass-Halbgruppen an einzelnen und mehreren rationalen Stellen für spezifische Kurven (z. B. Hermitische, GK- und GGS-Kurven) gut etabliert ist, fehlte eine vereinheitlichte Beschreibung für die allgemeine Klasse linearisierter Funktionenkörper, die durch separable linearisierte Polynome definiert sind. Insbesondere zielen die Autoren darauf ab, die Menge der Lücken $G(Q)$, die Erzeuger, die Multiplizität und die Frobenius-Zahl für eine einzelne total verzweigte Stelle $Q$ zu bestimmen und diese Analyse auf die minimalen Erzeugendensysteme von Halbgruppen an mehreren solchen Stellen zu erweitern.

Methodik
Die Autoren arbeiten im Rahmen algebraischer Funktionenkörper über einer algebraischen Erweiterung $K$ eines endlichen Körpers $\mathbb{F}_q$. Der Funktionenkörper $F = K(x, y)$ ist durch die Gleichung $L(y) = f(x)/g(x)$ definiert, wobei $L(y)$ ein separables linearisiertes Polynom ist und $f(x), g(x)$ teilerfremde Polynome darstellen.

Die Methodik stützt sich auf folgende technische Schritte:

1. Dimensionsberechnung: Die Autoren stellen zunächst eine vereinheitlichte Beschreibung des Riemann-Roch-Raums $L(D)$ für Divisoren $D$, die auf verzweigten Stellen unterstützt werden, auf. Durch Nutzung der Basis $\{1, y, \dots, y^{p^n-1}\}$ der Erweiterung $F/K(x)$ leiten sie eine explizite Formel für die Dimension $\ell(D)$ ab (Korollar 3.2). Dies erweitert vorherige Ergebnisse, die auf Fälle beschränkt waren, in denen $\deg f(x) > \deg g(x)$ gilt.
2. Charakterisierung der Lücken: Mithilfe der Dimensionsformel charakterisieren sie die Menge der Lücken $G(Q)$ an einer total verzweigten Stelle $Q$ vom Grad Eins. Sie liefern eine vereinheitlichte Beschreibung von $G(Q)$, die Floor- und Ceiling-Funktionen beinhaltet, die von den Graden der Polynome in der definierenden Gleichung abhängen.
3. Konstruktion der Halbgruppe: Aus der Lückenmenge konstruieren sie explizit die Weierstrass-Halbgruppe $H(Q)$, identifizieren ihr Erzeugersystem, ihre Multiplizität und ihre Frobenius-Zahl.
4. Symmetrie-Analyse: Sie leiten eine notwendige und hinreichende Bedingung dafür ab, dass $H(Q)$ eine symmetrische Halbgruppe ist.
5. Analyse mehrerer Stellen: In Erweiterung der Arbeiten von Matthews, Carvalho und Torres untersuchen die Autoren die minimale Erzeugendenmenge $\tilde{\Gamma}(Q_1, \dots, Q_s)$ für $s$ verschiedene total verzweigte Stellen. Sie definieren die Mengen $\Gamma(Q_1, \dots, Q_t)$ und liefern explizite Beschreibungen dieser Mengen sowie die Konstruktion spezifischer Funktionen, deren Poldivisoren genau den Elementen dieser Erzeugendensysteme entsprechen.

Hauptbeiträge und Ergebnisse

• Vereinheitlichte Lückenbeschreibung: Der Beitrag liefert eine vereinheitlichte Formel für die Lückenmenge $G(Q)$ an einer total verzweigten Stelle vom Grad Eins (Proposition 3.4), die unabhängig von den relativen Graden von $f(x)$ und $g(x)$ anwendbar ist.
• Explizite Halbgruppen-Parameter: Für eine total verzweigte Stelle $Q$ liefern die Autoren explizit:
  • Ein Erzeugersystem für $H(Q)$ (Korollar 3.6).
  • Die Multiplizität $m_{H(Q)}$ und die Frobenius-Zahl $F_{H(Q)}$ (Korollar 3.7).
• Symmetrie-Bedingung: Eine notwendige und hinreichende Bedingung für die Symmetrie von $H(Q)$ wird etabliert: $H(Q)$ ist genau dann symmetrisch, wenn $n_k \equiv -1 \pmod{p^n}$ für alle $k$ im Indexset gilt, mit Ausnahme des Index von $Q$ (Theorem 3.8).
• Minimale Erzeugendensysteme für mehrere Stellen: Der Beitrag bestimmt die Menge $\Gamma(Q_1, \dots, Q_t)$ für $t$ verschiedene total verzweigte Stellen vollständig (Theorem 4.1). Entscheidend ist, dass die Autoren die Menge nicht nur abstrakt beschreiben; sie konstruieren explizit Funktionen $z$, sodass die Koeffizienten ihrer Poldivisoren exakt innerhalb der minimalen Erzeugendenmenge $\Gamma(Q_1, \dots, Q_t)$ liegen.
• Anwendungen auf spezifische Fälle: Die Ergebnisse werden auf zwei spezifische Fälle basierend auf dem Vorzeichen von $n_0$ (bezogen auf den Grad des Nenners) angewendet:
  • Fall $n_0 \leq 0$: Es werden explizite Beschreibungen von $G(Q)$, $H(Q)$ und $\Gamma$-Mengen bereitgestellt (Proposition 5.1).
  • Fall $n_0 > 0$: Ähnliche explizite Beschreibungen werden für die unendliche Stelle $Q_\infty$ und endliche Stellen gegeben (Propositionen 5.3 und 5.5).
• Beispiele: Der Beitrag enthält konkrete Beispiele (Beispiele 5.2 und 5.6) über $\mathbb{F}_8$, um die Berechnung von Lückenmengen, Frobenius-Zahlen und minimalen Erzeugendensystemen für spezifische linearisierte Funktionenkörper zu veranschaulichen.

Bedeutung
Der Beitrag beansprucht Bedeutung durch die Bereitstellung eines umfassenden und vereinheitlichten Rahmens zur Analyse von Weierstrass-Halbgruppen in linearisierten Funktionenkörpern, einer Klasse, die wichtige Familien wie Hermitische und Norm-Traces-Funktionenkörper als Spezialfälle einschließt. Durch die Aufhebung der Einschränkung bezüglich der Grade der Zähler- und Nennerpolynome verallgemeinern die Ergebnisse frühere Erkenntnisse (z. B. diejenigen von Navarro). Die explizite Konstruktion von Funktionen, die den minimalen Erzeugendensystemen entsprechen, bietet praktische Werkzeuge für weitere Forschungen in algebraisch-geometrischen Codes und der Klassifikation maximaler Funktionenkörper. Die Arbeit trägt zum breiteren Verständnis der arithmetischen Eigenschaften von Funktionenkörpern bei, die für die Identifizierung von Automorphismengruppen und die Konstruktion von Codes mit guten Parametern unerlässlich sind.