[论文解读] Determinant Expressions for Hyperelliptic Functions (with an Appendix by Shigeki Matsutani)

Yoshihiro Ônishi|ArXiv.org|May 23, 2001

Algebraic Geometry and Number Theory参考文献 11被引用 19

一句话总结

本文将经典椭圆函数的行列式恒等式推广至任意亏格的超椭圆曲线，将特殊组合的 $σ$-函数及其导数表示为由 $x(u)$ 和 $y(u)$ 的导数组成的矩阵的行列式。关键贡献在于提出一个统一的行列式公式，既恢复又扩展了 Fay 的公式以及椭圆函数的经典恒等式，其新颖之处在于聚焦于曲线本身而非其雅可比簇。

ABSTRACT

In this paper we give quite pretty generalization of the formula of Frobenius-Stickelberger to all hyperelliptic curves. The formula of Kiepert type is also obtained by limiting process from this generalization. In Appendix a determinant expression of D.G. Cantor is also given.

研究动机与目标

• 将经典椭圆函数的行列式公式推广至任意亏格的超椭圆曲线。
• 为 $σ$-函数及其导数的组合提供一个统一的行列式表达式，该表达式同时推广 Fay 的公式与经典恒等式。
• 借鉴 Grant 的哲学，将关注点从雅可比簇转移到曲线本身，实现更自然的推广。
• 建立一个自然推广 (0.3) 和 (0.4) 的行列式公式，适用于所有超椭圆曲线。

提出的方法

• 将超椭圆函数定义为在曲面上的万有阿贝尔覆盖上的提升，利用阿贝尔映射将曲线上点与 $\mathbb{C}^g$ 中的向量对应起来。
• 构造一个行列式矩阵，其元素为曲线上坐标函数 $x(u)$ 和 $y(u)$ 的 $x^k$ 与 $yx^k$ 的导数。
• 使用含二项式系数的微分算子 $\left(\frac{d}{dx}\right)^k$ 构造矩阵元素，以反映泰勒展开的结构。
• 通过列重排与缩放，将行列式转化为包含阶乘与 $y(u)$ 导数的形式，从而得到简洁的行列式表达式。
• 利用矩阵结构提取如 $1!2!\cdots(r!)$ 的因子，并通过基变换将行列式与 $σ$-函数的乘积关联起来。
• 通过与亏格 1 和 2 中已知恒等式比较，验证公式正确性，并在附录中使用数学归纳法与组合恒等式证明一般情形。

实验结果

研究问题

• RQ1 能否将椭圆函数的经典行列式恒等式推广至任意亏格的超椭圆曲线？
• RQ2 是否存在一个行列式公式，能够统一推广 Fay 的公式以及高亏格曲线下的经典恒等式 (0.3) 与 (0.4)？
• RQ3 能否通过聚焦于曲线本身而非其雅可比簇，实现此类推广？
• RQ4 捕捉超椭圆曲线上 $σ$-函数行为的行列式矩阵的精确结构是什么？
• RQ5 组合系数与 $x(u)$、$y(u)$ 的导数如何结合，以得到 $\sigma(nu)/\sigma(u)^{n^2}$ 的简洁表达式？

主要发现

• 本文建立了 $\sigma(nu)/\sigma(u)^{n^2}$ 的一般行列式公式，其表达式基于 $x(u)$ 与 $y(u)$ 的导数，适用于任意亏格 $g \geq 1$ 的超椭圆曲线。
• 该行列式表达式在亏格 1 时与经典恒等式 (0.3) 和 (0.4) 一致，并推广至所有亏格。
• 公式通过重排与缩放由 $x^k$ 与 $yx^k$ 导数组成的矩阵的列得到，系数包含二项式与阶乘项。
• 最终的行列式形式等价于作用于 $y(u)$ 的微分算子矩阵，经阶乘缩放，得到包含 $y^{(k)}(u)/k!$ 的简洁表达式。
• 推导过程证实，经典情形下的符号因子 $(-1)^{n-1}$ 与阶乘乘积 $1!2!\cdots(n-1)!$ 在一般情形下自然重现。
• 附录通过列变换与组合恒等式完整证明了行列式恒等式（定理 A.1），从而验证了主要结果。