[论文解读] Galois Weierstrass points whose Weierstrass semigroups are generated by two elements

Jiryo Komeda, Takeshi Takahashi|arXiv (Cornell University)|Mar 28, 2017

Algebraic Geometry and Number Theory参考文献 5被引用 4

一句话总结

本文研究了在 Weierstrass 半群由两个互素整数 $a$ 和 $b$ 生成的代数曲线上，Galois Weierstrass (GW) 点的情况，其中 $a \geq 3$，$b \geq a+2$，且 $\gcd(a,b)=1$。本文证明，此类 GW 点的数量要么为 0，要么为 1，除非 $b \equiv a-1 \pmod{a}$，此时可能为 0 或 $b+1$。该结果推广了关于平面曲线上内 Galois 点的经典结果。

ABSTRACT

We investigate the number of Galois Weierstrass points whose Weierstrass semigroups are generated by two positive integers.

研究动机与目标

• 将关于平面曲线上内 Galois 点的经典结果推广至具有两生成元 Weierstrass 半群的任意曲线。
• 确定 Weierstrass 半群由两个互素整数 $a$ 和 $b$ 生成的 Galois Weierstrass 点的最大数量。
• 刻画此类点存在的条件，以及在曲线上可同时存在的数量。
• 将 Galois Weierstrass 点理论从经典平面曲线情形推广至一般代数曲线。

提出的方法

• 作者将 Galois Weierstrass 点定义为满足映射 $\Phi_{|aP|}: C \to \mathbb{P}^1$ 是 Galois 覆叠的点，其中 $a$ 是 Weierstrass 半群 $H(P)$ 的最小正元素。
• 他们分析了满足 $\gcd(a,b)=1$ 的数值半群 $\langle a,b \rangle$ 的结构，重点关注亏格 $g = (a-1)(a+b-1)/2$ 和亏格序列。
• 利用 Riemann-Roch 定理与上同调技巧，推导出涉及下取整函数 $[lr/a]$ 的和的不等式，从而建立线性系列维数的上界。
• 他们应用从曲线到 $\mathbb{P}^1$ 的态射理论，通过完备线性系统 $|aP|$ 分析分歧与双有理性，以限制此类点的数量。
• 他们使用奇点的解析解与基底变换论证，将奇异平面曲线上 GW 点与光滑模型上的 GW 点联系起来。
• 他们通过反证法证明主要结果，表明假设存在过多 GW 点将导致 Weierstrass 半群结构与亏格之间的不一致。

实验结果

研究问题

• RQ1 在何种条件下，曲线会存在多个具有两生成元 Weierstrass 半群 $\langle a,b \rangle$ 的 Galois Weierstrass 点？
• RQ2 同余条件 $b \equiv a-1 \pmod{a}$ 如何影响此类 GW 点的数量？
• RQ3 当 $\gcd(a,b)=1$ 且 $b \geq a+2$ 时，GW 点的数量是否可能超过一个？
• RQ4 对于给定的两生成元半群 $\langle a,b \rangle$，Galois Weierstrass 点的最大数量是多少？
• RQ5 映射 $\Phi_{|aP|}$ 的分歧点的 Weierstrass 半群与原始半群 $H(P)$ 有何关系？

主要发现

• 对于 $a \geq 3$，$b \geq a+2$，且 $\gcd(a,b)=1$，若 $H(P) = \langle a,b \rangle$，则 Galois Weierstrass 点的数量为 0 或 1，除非 $b \equiv a-1 \pmod{a}$，此时可能为 0 或 $b+1$。
• 当 $b \equiv a-1 \pmod{a}$ 时，此类 GW 点的最大数量为 $b+1$，如例 4.1 中取 $a=3$，$b=5$ 时得到 6 个点。
• 在 $b = 2a-1$ 的情况下，GW 点数量至多为 1，与一般上界一致。
• 半群 $\langle 3,5 \rangle$ 在亏格为 4 的曲线上支持 6 个 GW 点，如例 4.1 所示。
• 对于 $\langle 3,7 \rangle$，尽管曲线有 7 个分歧点，但仅存在一个 GW 点，因为这些点的半群不同。
• 该结果推广了关于平面曲线上内 Galois 点的定理 1.1，将其扩展至具有任意两生成元 Weierstrass 半群的曲线。