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

技術的概要：クマー拡大における次数 1 の完全分歧点におけるワイエルシュトラス半群

問題提起
本論文は、代数関数体のクマー拡大における次数 1 の完全分歧点におけるワイエルシュトラス半群の構造と、それに関連するギャップ集合を調査する。具体的には、著者らは $K$ を有限体 $\mathbb{F}_q$ の代数的拡大とし、$\gcd(m, q) = 1$、$f(x) \in K(x)$ が $f(x) = \alpha \prod_{i=1}^r p_i(x)^{\lambda_i}$ で与えられるとき、アフィン方程式 $y^m = f(x)$ によって定義される拡大 $F = K(x, y)/K(x)$ を考察する。

先行文献では、これらの半群が特定のケースについて明示的に記述されてきたが、その多くは $f(x)$ が $K$ 上で完全に分解すること（すなわち $\deg p_i(x) = 1$）を要求するか、あるいは指数 $\lambda_i$ を範囲 $[1, m-1]$ に制限するものであった。これに対し、本研究は、$f(x)$ が $K$ 上で完全に分解することを要求することなく、任意の整数指数 $\lambda_i \in \mathbb{Z} \setminus \{0\}$ および任意の既約多項式 $p_i(x)$ に対して、統一された記述を提供することを目的としている。研究の焦点は、$P_s$ が $p_s(x)$ の零点または $x$ の極に対応し、かつ $\gcd(m, \lambda_s) = 1$ となるような、$P_s$ 上の点 $Q_s$ であり、これにより $Q_s$ が次数 1 の完全分歧点となることを保証する。

手法
著者らは代数関数体の理論、特にリーマン・ロッホの定理およびギャップと正則なウェイル微分との関係を利用する。手法は以下の手順で進行する。

1. 予備知識と補題: 本論文は、床関数および天井関数に関する必要な補題と、定数体拡大の性質を確立する。主要な道具は、リーマン・ロッホ空間のクマー拡大における分解（定理 2.9 および補題 3.3 に基づく）であり、これにより次元 $\ell(D)$ を $t \in \{0, \dots, m-1\}$ に関する和として、有理関数体 $K(x)$ への制限を含めて表現することが可能となる。
2. 統一されたギャップ記述: 条件 $\ell(aQ_s) = \ell((a-1)Q_s)$ を分析することにより、著者らはギャップ集合 $G(Q_s)$ のための統一された式を導出する。これには、床関数および多項式 $p_i(x)$ の次数に関する特定の不等式を満たす整数 $a$ を特徴づけることが含まれる。
3. 対称性の解析: ギャップの特徴づけと標準除子の存在を用いて、ワイエルシュトラス半群 $H(Q_s)$ が対称（すなわち $F_{H(Q_s)} = 2g - 1$）であるための必要十分条件を導出する。これは、指数 $\lambda_i$ とそれらと $m$ の最大公約数に関する合同式を満たす特定の整数 $u$ の存在に依存する。
4. 最小生成集合: 複数の完全分歧点に対する最小生成集合 $\tilde{\Gamma}(Q_{\ell_1}, \dots, Q_{\ell_s})$ を決定するために、著者らはマシューズによって導入された手法を適応させる。補助集合 $\Gamma(Q_{\ell_1}, \dots, Q_{\ell_s})$ を定義し、これらがギャップ構造から導かれる整数の特定の組に対応することを証明する。決定的な点として、これらの生成組を実現する極除子を持つ明示的な有理関数を構成する。

主要な貢献と結果

• 統一されたギャップおよび半群記述: 本論文は、任意の次数 1 の完全分歧点に対するギャップ集合 $G(Q_s)$ およびワイエルシュトラス半群 $H(Q_s)$ の明示的かつ統一された記述を提供する。先行結果とは異なり、この記述は任意の整数指数 $\lambda_i$ に対して成り立ち、$f(x)$ が $K$ 上で完全に分解することを要求しない。
  • 結果: $G(Q_s)$ は $mj + i$の形の整数の集合として記述され、ここで$j$の範囲は、指数$\lambda_i$および次数$d_i = \deg p_i(x)$ を含む天井関数の和によって決定される。
• 対称性条件: $H(Q_s)$ が対称であるための必要十分条件が確立される。
  • 結果: $H(Q_s)$ が対称であるための必要十分条件は、ある整数 $u \in \{1, \dots, m-1\}$ が存在し、すべての $i, j \neq s$ に対して $\frac{u\lambda_i}{\gcd(m, \lambda_i)} \equiv \frac{u\lambda_j}{\gcd(m, \lambda_j)} \pmod m$ が成り立つことである。これはメンドーザおよびコッテリルらによる先行結果を一般化するものである。
• 最小生成集合: 著者らは、$s$ 個の異なる次数 1 の完全分歧点に対する集合 $\Gamma(Q_{\ell_1}, \dots, Q_{\ell_s})$ を明示的に記述する。
  • 結果: この集合は、$j_k$ の値に対する特定の線形制約を受ける組 $(m j_1 + i, \dots, m j_s + i)$ によって特徴づけられる。さらに、本論文は、極除子 $(z)_\infty$ の係数が $\Gamma(Q_{\ell_1}, \dots, Q_{\ell_s})$ の要素と正確に一致する明示的な関数 $z \in F$ を提供する。
• 非空条件: 集合 $\Gamma(Q_{\ell_1}, \dots, Q_{\ell_s})$ が空でないための必要十分条件が導出され、点の数 $s$ と指数を含む特定の和の最大値との関係が示される。

応用と例
理論的結果は、クマー拡大の 3 つの特定のクラスに適用される。

1. 等重 multiplicities を持つクマー拡大: $f(x) = \prod (x-\alpha_i)^\lambda$ となる場合。本論文は、無限点および有限点における半群の先行記述を精緻化し、最小生成集合に関する先行文献の不正確さを修正する。
2. GGS 曲線: GGS 曲線（GK 曲線の一般化）の関数体が解析される。著者らは完全分歧点におけるギャップ集合および半群を決定し、半群が対称であるための必要十分条件が $n=3$（GK 曲線のケース）であることを確認する。
3. BM 曲線の部分被覆: ビーレン・モンタナッチ（BM）曲線の部分被覆の関数体を解析し、複数の完全分歧点に対する明示的なギャップ集合および最小生成集合を提供する。

重要性
本論文は、クマー拡大におけるワイエルシュトラス半群に関する既存の結果を統合し拡張することで重要性を主張する。$f(x)$ が $K$ 上で完全に分解するという制限を除去し、任意の整数指数を許容することにより、結果はより広範な関数体のクラスをカバーする。最小生成集合を実現する関数の明示的な構成は、抽象的な存在論を超えた具体的な実現へと進むものとして注目すべき貢献である。これらの結果は、ワイエルシュトラス半群の知識がコード設計に直接適用可能であるため、改良されたパラメータを持つ代数幾何符号の構築を促進することを意図している。著者らはまた、対称性条件がメンドーザおよびコッテリルらによる先行定理を拡張し一般化することを指摘している。