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

技术摘要：库默尔扩张中完全分歧一次点的魏尔斯特拉斯半群

问题陈述
本文研究了代数函数域库默尔扩张中完全分歧一次点处的魏尔斯特拉斯半群结构及其相关的间隙集。具体而言，作者考虑由仿射方程 $y^m = f(x)$ 定义的扩张 $F = K(x, y)/K(x)$，其中 $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}$ 给出。

虽然先前的文献已明确描述了特定情况下的这些半群——通常要求 $f(x)$ 在 $K$ 上完全分裂（即 $\deg p_i(x) = 1$）或将指数 $\lambda_i$ 限制在范围 $[1, m-1]$ 内——但本工作旨在为任意指数 $\lambda_i \in \mathbb{Z} \setminus \{0\}$ 和任意不可约多项式 $p_i(x)$ 提供统一的描述，且无需 $f(x)$ 在 $K$ 上完全分裂。研究聚焦于位于 $P_s$ 之上的点 $Q_s$（其中 $P_s$ 对应于 $p_s(x)$ 的零点或 $x$ 的极点），使得 $\gcd(m, \lambda_s) = 1$，从而确保 $Q_s$ 是一个完全分歧的一次点。

方法论
作者运用了代数函数域理论，具体利用了黎曼 - 罗赫定理以及间隙与正则韦尔微分之间的关系。方法论通过以下步骤进行：

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$）的充要条件。这依赖于存在一个特定整数 $u$，满足涉及指数 $\lambda_i$ 及其与 $m$ 的最大公约数的同余关系。
4. 最小生成集：为了确定多个完全分歧点的最小生成集 $\tilde{\Gamma}(Q_{\ell_1}, \dots, Q_{\ell_s})$，作者改进了 Matthews 引入的技术。他们定义了辅助集 $\Gamma(Q_{\ell_1}, \dots, Q_{\ell_s})$ 并证明了这些集合对应于由间隙结构导出的特定整数元组。关键在于，他们构造了显式的有理函数，其极点除子实现了这些生成元组。

主要贡献与结果

• 统一的间隙与半群描述：本文提供了任意完全分歧一次点的间隙集 $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$。这推广了 Mendoza 和 Cotterill 等人的先前结果。
• 最小生成集：作者明确描述了 $s$ 个不同的完全分歧一次点的集合 $\Gamma(Q_{\ell_1}, \dots, Q_{\ell_s})$。
  • 结果：该集合由元组 $(m j_1 + i, \dots, m j_s + i)$ 刻画，受限于 $j_k$ 值的特定线性约束。此外，本文提供了显式函数 $z \in F$，使得极点除子 $(z)_\infty$ 的系数恰好等于 $\Gamma(Q_{\ell_1}, \dots, Q_{\ell_s})$ 中的元素。
• 非空性条件：推导出了集合 $\Gamma(Q_{\ell_1}, \dots, Q_{\ell_s})$ 非空的充要条件，将点的数量 $s$ 与涉及指数的特定和的最大值联系起来。

应用与示例
理论结果被应用于三类特定的库默尔扩张：

1. 具有相等重数的库默尔扩张：其中 $f(x) = \prod (x-\alpha_i)^\lambda$。本文完善了关于无穷远点和有限点处半群的先前描述，纠正了先前文献中关于最小生成集的不精确之处。
2. GGS 曲线：分析了 GGS 曲线（GK 曲线的推广）的函数域。作者确定了完全分歧点处的间隙集和半群，并确认半群是对称的当且仅当 $n=3$（即 GK 曲线情形）。
3. BM 曲线的子覆盖：本文分析了 Beelen-Montanucci (BM) 曲线子覆盖的函数域，为多个完全分歧点提供了显式的间隙集和最小生成集。

意义
本文通过统一和扩展库默尔扩张中魏尔斯特拉斯半群的现有结果而具有重要意义。通过去除 $f(x)$ 必须在 $K$ 上完全分裂的限制并允许任意整数指数，这些结果涵盖了更广泛的函数域类。显式构造实现最小生成集的函数是一个显著的贡献，因为它超越了抽象存在性而达到了具体实现。这些结果旨在促进具有改进参数的代数几何码的构造，因为多个点处魏尔斯特拉斯半群的知识可直接应用于码的设计。作者还指出，他们的对称性条件扩展并推广了 Mendoza 和 Cotterill 等人的先前定理。