[論文レビュー] On Weierstrass semigroups of maximal Fermat function fields

Peter Beelen, Maria Montanucci+1 more|arXiv (Cornell University)|Feb 27, 2026

Algebraic Geometry and Number Theory被引用数 0

ひとこと要約

この論文は特定の最大フェルマ函多項関数場 F_m (m = (q+1)/2 および m = (q+1)/3) における全ての場所でのWeierstrass半群を明示的に決定し、複数の異なる半群と豊かなWeierstrass場所構造を明らかにする。

ABSTRACT

In this article we explicitly determine the Weierstrass semigroup at any place of some $\mathbb{F}_{q^2}$-maximal Fermat function fields $\mathcal{F}_m$, namely for $m=(q+1)/2$ and $m=(q+1)/3$. These famous function fields arise as Galois subfields of the Hermitian function field, and even though they have been intensively studied in the literature, the Weierstrass semigroup at every place is still not fully known. Surprisingly enough this problem is in fact quite involved and $\mathcal{F}_m$ has many different types of Weierstrass semigroups. Moreover, its set of Weierstrass places is much richer than its set of rational places.

研究の動機と目的

• 極値的な場所分布と符号理論の関連性から最大関数場を動機づけて研究する。
• F_m の全地点 P に対してWeierstrass半群 H(P) を計算する。特に m が m | (q+1) のとき、m = (q+1)/2 および m = (q+1)/3 に焦点を当てる。
• F_m が地点間で複数の異なるWeierstrass半群を示し、単一の一般形だけでないことを示す。

提案手法

• 定義方程式 X^m + Y^m + 1 = 0 を持つF_m の予備的性質をレビューし利用する。
• 正則微分と評価を用いてギャップを特徴づけ、 Lemma 2.6 によってギャップは v_P(ω) = n-1 を満たす微分に対応する。
• 選択した地点の周りで明示的な関数とべき級展開を構築し H(P) の要素を生成する。
• fundamental equation と Serre の被覆に基づく地点分布を活用して F_m を Hermitian 関数場とその分岐と関連づける。
• Aut(F_m) の軌道 O の地点、および特別な非有理・有理地点について半群生成元を導出し、m = (q+1)/2 と m = (q+1)/3 を別個に扱う。

実験結果

リサーチクエスチョン

• RQ1 最大のF_m の全地点 P に対して H(P) はどうなるか（m | (q+1) のとき）？
• RQ2 有理点と非有理点の間、特別なケース m = (q+1)/2 および m = (q+1)/3 において、Weierstrass半群はどのように異なるか？
• RQ3 Aut(F_m) の軌道内外でのギャップ列 G(P) は q と m にどう依存するか？
• RQ4 これらの最大フェルマ函関数場に対してHolomorphic微分と明示的関数構成で H(P) を完全に決定できるか？

主な発見

• m が (q+1) の約数のとき、Aut(F_m) の軌道 O に属する地点の Weierstrass半群は H(P) = {m-1, m} によって生成される。
• m = (q+1)/2 のとき、O の補集合にある P および O にある P のギャップ集合 G(P) は、i, j, q+1 の組み合わせを含む公式によって明示的に特徴づけられる。
• m = (q+1)/3 の場合、P-順位（α の P-順位）に依存し、より複雑な構成を要する。主定理 3.15 と主定理 3.17 は α^2 − α + 1 ≠ 0 および α^2 − α + 1 = 0 の場合をそれぞれ扱い、所定の価値を持つ関数の族を導き、定理 3.18 で G(P) の総合的な記述を得る。
• F_m のWeierstrass半群は有理点だけでなくより豊かで多様であることを示し、有理点以外の多くのWeierstrass場所が存在する。
• このアプローチは明示的な関数構成、局所パラメータ解析、および正則微分の評価を組み合わせて、対象となる最大フェルマ函関数場のすべてのギャップと半群を列挙する。