[论文解读] Theory of Heat Equations for Sigma Functions

J. C. Eilbeck, John Gibbons+2 more|arXiv (Cornell University)|Nov 22, 2017

Advanced Differential Equations and Dynamical Systems参考文献 11被引用 12

一句话总结

本文为高亏格超椭圆曲线上σ函数的热方程建立了一套理论，推广了经典的Weierstrass与Frobenius-Stickelberger结果。它确立了一套热算子系统，通过递推关系唯一确定σ函数，证明了该函数的不变性，并给出了变量方向上至权重40、系数方向上至权重35的显式级数展开。

ABSTRACT

We consider the heat equations satisfied by the sigma function associated with a planar curve, extending and developing earlier pioneering work of Buchstaber and Leykin. These heat equations lead to useful {\em linear} recursive relations for the coefficients of power series expansion of the sigma function. In particular we exhibit explicit results for curves of genus 3, and give a new constructive proof of an explicit expression for the main matrix in the theory for {\em any} hyperelliptic curve. We also state and prove a new explicit formula for the eigenvalues of the linear operators associated with this matrix, as well as other practical formulae.

研究动机与目标

• 将经典Weierstrass σ函数的热方程理论推广至高亏格超椭圆曲线。
• 解决长期存在的问题：确定σ函数表达式中常数因子，此前仅对亏格1和2已知。
• 利用热算子约束，为σ函数级数展开的系数建立系统化的递推关系。
• 通过定义中非不变分量的抵消，证明σ函数在辛基变换下的不变性。
• 建立一个完整的代数框架，利用切于判别式超曲面的热算子来描述σ函数。

提出的方法

• 通过从曲线模空间上的微分算子构造代数热算子，推导出主要热方程。
• 引入相对权重体系，对σ函数级数中的各项进行分类，并通过递推关系追踪其约化过程。
• 系统性地应用算子R_j和S_j，将非负相对权重的项约化为低权重分量。
• 利用当任意指标为负时系数为零的条件，定义系数b(ℓ,m,n₂,…,n₁₂)的递归结构。
• 通过归一化条件b(1,0,0,…,0) = 1固定全局常数，确保解的唯一性。
• 构建显式递推关系（例如R₁₀、R₇、S₃,₄、T₃,₄⁽⁰⁾），用于计算变量u_j方向上至权重40的系数。

实验结果

研究问题

• RQ1 如何将经典Weierstrass σ函数的热方程形式化推广至高亏格超椭圆曲线？
• RQ2 哪些递推关系控制(2,q)-曲线与(3,4)-曲线σ函数级数展开的系数？
• RQ3 对于亏格大于1和2的曲线，σ函数表达式中的常数因子如何代数确定？
• RQ4 判别式超曲面在定义切于其的热算子中起什么作用？
• RQ5 σ函数能否仅通过其热方程约束与归一化条件唯一重构？

主要发现

• 对于(2,7)-曲线，σ函数在变量u_j方向上可展开至权重40，其系数由递推关系确定。
• 热方程组(L_j - H_j)σ(u) = 0（j = 0,3,4,6,7,10）的解是一维的，由归一化条件b(1,0,0,…,0) = 1唯一确定。
• 系数b(1,0,0,0,0,0,0,0)被设为1，其余所有系数均通过R₁₀、R₇、R₆、S₃,₄、T₃,₄⁽⁰⁾与R₃⁽⁰⁾关系递归计算。
• 递推关系确保约化链终止或相对权重下降，从而保证所有系数的有限计算。
• σ函数展开的前几项被显式计算，包括μ₂、μ₅、μ₆与μ₃的贡献，变量u_j的总次数达11次。
• 该方法验证了σ(u)在辛基变换下的不变性，因为theta函数与常数因子中的非不变分量恰好相互抵消。