[论文解读] Weierstrass points of superelliptic curves

Tony Shaska, Caleb McKinley Shor|arXiv (Cornell University)|Feb 22, 2015

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

一句话总结

本文研究超椭圆曲线上 Weierstrass 点的结构，特别关注其在群作用下的权重与分布。利用 Riemann-Roch 理论、Wronskian 方法与群论技术，作者计算了具有不同自同构群的三行数曲线上 Weierstrass 点的数量与权重，表明在循环子群作用下的不动点为 Weierstrass 点，并通过 Hessian 计算与专门化论证确定其权重。

ABSTRACT

In this lecture we give a brief introduction to Weierstrass points of curves and computational aspects of $q$-Weierstrass points on superelliptic curves.

研究动机与目标

• 分析超椭圆曲线上 Weierstrass 点的结构与分布，尤其关注三行数情形。
• 确定在包括循环群与二面体群在内的各种自同构群作用下，Weierstrass 点的权重。
• 利用群作用与专门化方法，推导不同局部中 Weierstrass 点的数量与构型。
• 通过 Hessian 与结式方法计算权重与不动点贡献，验证并拓展先前工作（如 [babu, 表 1]）的结果。
• 建立子群（例如 C₃）的不动点为 Weierstrass 点，并利用代数几何工具计算其权重。

提出的方法

• 利用 Riemann-Roch 定理，通过线性系统与全纯微分形式空间的维数定义 Weierstrass 点。
• 使用 Wronskian 形式计算拐点，并识别曲线上的 Weierstrass 点。
• 应用 Hurwitz 定理与 Noether 缺陷定理，限制自同构群并分析 Weierstrass 点不变量。
• 计算曲线方程的 Hessian，将 Weierstrass 点定位为与 Hessian 曲面的交点。
• 对一个变量计算结式，以计数曲线平面模型中不同的 Weierstrass 点。
• 从已知局部（例如 48-群）专门化至子局部（例如 16-群、C₉），通过连续性与 Weierstrass 数据的不变性推导性质。

实验结果

研究问题

• RQ1 在不同自同构群作用下，三行数超椭圆曲线上 Weierstrass 点如何分布？
• RQ2 在非平凡群作用下，特别是针对循环子群时，每个 Weierstrass 点的权重是多少？
• RQ3 哪些自同构的不动点是 Weierstrass 点？其权重如何通过代数方法计算？
• RQ4 从较大自同构群专门化至子群时，Weierstrass 点的数量与构型如何变化？
• RQ5 能否利用曲线方程的 Hessian 显式识别并计数特定局部中的 Weierstrass 点？

主要发现

• 在 L₃(2)-局部中，一般曲线具有 24 个互异的权重为 1 的 Weierstrass 点，构成群作用下的正则轨道。
• 在 (48,33)-局部中，16-轨道与 4-轨道分别由权重 1 与 2 的 Weierstrass 点组成，原因在于 C₃-子群的不动点。
• 在 (16,13)-局部中，Weierstrass 点包括一个权重 1 的正则轨道与一个权重 2 的 4-轨道，其中 4-轨道点因 Hessian 恒为零而成为 Weierstrass 点。
• 在 C₉-局部中，除 C₃-子群的 5 个不动点外，曲线还具有 18 个额外的互异权重 1 的 Weierstrass 点，总计 23 个 Weierstrass 点。
• 在 C₆-局部中，Weierstrass 点由 C₃-子群的 5 个不动点（4 个权重 1，1 个权重 2）与 3 个权重 1 的正则轨道组成，且在对合不动点处 Hessian 非零，得到验证。
• 在 C₃-局部中，有 22 个权重 1 的 Weierstrass 点，通过从 C₉-局部专门化推导得出，与 [babu, 表 1] 中条目一致。