[论文解读] About the group law for the Jacobi variety of a hyperelliptic curve

Frank Leitenberger|ArXiv.org|Sep 27, 2005

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

一句话总结

本文通过三次插值多项式，为双曲型亏格2曲线的雅可比簇上的群法则提供了显式的有理公式，推广了椭圆曲线的割线与切线法。关键贡献在于利用一条三次抛物线实现一步约化，从而在雅可比簇的稠密开子集上，得到加法运算的闭式有理表达式，避免了迭代算法和开方运算。

ABSTRACT

We generalize the group law of curves of degree three by chords and tangents to the Jacobi variety of a hyperelliptic curve. In the case of genus 2 we accomplish the construction by a cubic parabola. We derive explicit rational formulas for the addition on a dense set in the Jacobian.

研究动机与目标

• 为双曲型亏格2曲线的雅可比簇上的群法则提供显式、闭式描述。
• 通过插值方法，将椭圆曲线的经典割线与切线构造推广至高亏格情形。
• 推导出避免迭代约化步骤与开方运算的雅可比簇加法运算的有理公式。
• 基于雅可比与阿贝尔的启发，提供几何与代数框架，用于群法则的插值函数。
• 解决卡斯尔斯与马祖所指出的文献中关于亏格2雅可比簇缺乏显式公式的问题。

提出的方法

• 通过雅可比簇中两个约化除子的x坐标与y值，构造一个三次插值多项式。
• 利用该三次多项式与双曲型曲线的交点，找到额外的点，其共轭点确定了雅可比簇中的和。
• 应用韦达定理，直接从三次多项式与曲线的系数计算新交点的x坐标之和。
• 以穆尔福曼坐标 (A(x), B(x)) 表达结果，以获得有理群法则公式。
• 使用格列布纳基（Groebner）基计算，消去原始点，仅以穆尔福曼坐标表达群法则系数。
• 推导出 α₃, β₃, γ₃, δ₃ 关于 α₁, β₁, γ₁, δ₁, α₂, β₂, γ₂, δ₂ 以及曲线系数的显式有理表达式，避免根号。

实验结果

研究问题

• RQ1 能否在不使用迭代约化步骤的前提下，以显式有理公式表达亏格2双曲型曲线雅可比簇上的群法则？
• RQ2 如何通过插值方法将椭圆曲线的经典割线与切线法推广至高亏格情形？
• RQ3 三次插值多项式在雅可比簇中实现除子和的一般约化中起到何种作用？
• RQ4 能否在不涉及平方根或结式的情况下，以有理函数形式表达雅可比簇中的群法则（以穆尔福曼坐标表示）？
• RQ5 曲线及其雅可比簇的几何性质如何与群法则的代数结构相关联？

主要发现

• 本文推导出亏格2双曲型曲线雅可比簇上群法则的显式有理公式，其在雅可比簇减去theta除子的稠密开子集上成立。
• 通过在点之间构造三次插值多项式，一步完成两个除子的和的计算，交点的共轭点确定了和。
• α₃, β₃, γ₃, δ₃ 的公式是输入的穆尔福曼坐标与曲线系数的有理函数，不包含根号。
• 推导过程使用格列布纳基技术消去原始点，仅以穆尔福曼数据表达群法则系数。
• 该方法可推广至更高亏格，使用适当次数的有理插值函数，其中亏格2情形因插值的三次性质而最为明确。
• 公式在重合点（如加倍）的极限情况下依然有效，通过连续性可扩展至奇异情形。