[论文解读] Multi-variable sigma-functions: old and new results

Victor Matveevich Buchstaber, V. Z. Enolski+1 more|arXiv (Cornell University)|Oct 25, 2018

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

一句话总结

本文提出了超椭圆曲线上多变量σ-函数的统一θ-函数表示，将雅可比变量与曲线参数均视为独立变量。推导了第一类与第二类周期积分的显式表达式，以半整数特征标θ-常数表示，推广了罗森海因与克莱因型公式，并构建了作用于曲线参数的ζ-函数与π-函数的微分算子，对亏格1和2的曲线给出了完整推导，得到了相关微分算子李代数的闭式对易关系。

ABSTRACT

We consider multi-variable sigma function of a genus $g$ hyperelliptic curve as a function of two group of variables -jacobian variables and parameters of the curve. In the theta-functional representation of sigma-function, the second group arises as periods of first and second kind differentials of the curve. We develop representation of periods in terms of theta-constants. For the first kind periods, generalizations of Rosenhain type formulae are obtained, whilst for the second kind periods theta-constant expressions arepresented which are explicitly related to the fixed co-homology basis.We describe a method of constructing differentiation operators for hyperelliptic analogues of $ζ$- and $\wp$-functions on the parameters of the hyperelliptic curve. To demonstrate this method, we gave the detailed construction of these operators in the cases of genus 1 and 2.

研究动机与目标

• 通过将雅可比变量与曲线参数均作为独立变量，统一处理多变量σ-函数的理论框架。
• 以具有半整数特征标的θ-常数表示，推导完全阿贝尔积分第一类与第二类周期的显式表达式。
• 推广罗森海因型公式以适用于高亏格超椭圆曲线的第一类周期，并将克莱因的第二类周期公式从亏格3非超椭圆曲线推广至高亏格超椭圆曲线。
• 构建作用于超椭圆ζ-函数与π-函数的微分算子，作用于曲线参数，从而为σ-函数提供动力系统描述。
• 基于所推导的算子与周期表达式，建立超椭圆阿贝尔函数域上微分算子李代数的对易关系。

提出的方法

• 利用σ-函数的θ-函数表示，将其视为雅可比变量与黎曼矩阵参数（曲线模）的函数。
• 以具有半整数特征标的θ-常数表示全纯与亚纯微分的周期，推广罗森海因与克莱因的经典结果。
• 应用弗罗贝尼乌斯-斯蒂克尔贝格方法，推导非完整坐标系中的热型方程组，通过非完整联络定义σ-函数。
• 构造作用于曲线参数的微分算子$L_k$，其由σ-函数的对数导数导出，以π-函数与不变量$\lambda_{2k}$表示。
• 利用所推导的算子计算李代数$\operatorname{Der}(F_2)$中的对易关系，通过其在坐标$u_1, u_3$与不变量上的作用验证一致性。
• 在亏格1与2中进行显式计算，利用已知的ζ-函数与π-函数表达式，验证微分算子的结构及其对易关系。

实验结果

研究问题

• RQ1 如何将亏格$g$超椭圆曲线上第一类与第二类微分的周期，显式地用具有半整数特征标的θ-常数表示？
• RQ2 罗森海因关于第一类周期的公式如何推广至高亏格超椭圆曲线？
• RQ3 克莱因关于第二类周期的公式如何从亏格3非超椭圆曲线推广至高亏格超椭圆曲线？
• RQ4 作用于超椭圆曲线参数的微分算子$L_k$的结构是怎样的？它们如何生成阿贝尔函数域上微分算子的李代数？
• RQ5 李代数$\operatorname{Der}(F_2)$中微分算子$L_k$的显式对易关系是什么？这些关系如何从底层σ-函数结构推导得出？

主要发现

• 本文将罗森海因关于第一类周期的公式推广至高亏格超椭圆曲线，将其表示为具有半整数特征标的θ-常数的有理函数。
• 推导出第二类周期的显式表达式，以导出的偶θ-常数表示，将克莱因的亏格3公式推广至任意亏格$g$的超椭圆曲线。
• 在亏格1与2中，本文构造了作用于曲线参数的微分算子$L_k$，其中$L_0, L_1, L_2, L_3, L_4, L_6$以π-函数与不变量$\lambda_{2k}$显式给出。
• 算子$L_k$之间的对易关系已推导并验证，通过其在坐标$u_1$与$u_3$上的作用计算，得到包含π-函数乘积与不变量的显式系数。
• 李代数$\operatorname{Der}(F_2)$的结构已完全确定，关系如$[L_0, L_k] = kL_k$与$[L_1, L_2] = \wp_{1\cdot 2}L_1 - L_3$成立，证实了该系统的代数封闭性。
• 推导结果表明，σ-函数作为非完整坐标系中热方程组的解被完全确定，其系数依赖于曲线的模与不变量。