[论文解读] Singular curves and Baker-Akhiezer functions

Sebastian Klein, Eva Lübcke+2 more|arXiv (Cornell University)|Sep 22, 2016

Molecular spectroscopy and chirality参考文献 11被引用 4

一句话总结

本文使用解析方法构建了在奇异复曲线上的Baker-Akhiezer函数理论，推广了经典光滑黎曼曲面上的构造。引入广义除子及其与部分解 singular 化的相互作用，证明了奇异情形下的Riemann-Roch与Serre对偶性定理，并构造了解微分方程（包括复势能的热方程）的Baker-Akhiezer函数。

ABSTRACT

We present the concept of Baker-Akhiezer functions on singular complex curves. For this purpose, we translate the algebraic presentation of such curves in [Se, Chapter~IV] into the analytic setting. Generalised divisors and their interplay with partial desingularisations are the fundament of the construction of Baker-Akhiezer functions.

研究动机与目标

• 将Baker-Akhiezer函数理论从光滑黎曼曲面推广至奇异的一维复空间。
• 将Serre对奇异曲线的代数处理方法转化为解析设定，使用正规化映射与余因子理想。
• 将除子推广为广义除子（奇异曲线上亚纯函数层的凝聚子层），并研究其与部分解 singular 化的相容性。
• 利用广义除子与部分解 singular 化的$\'delta$-不变量，证明奇异曲线上Riemann-Roch定理与Serre对偶性。
• 通过广义除子与亚纯数据构造Baker-Akhiezer函数为线丛的全纯截面，并证明其满足微分方程。

提出的方法

• 通过正规化映射与余因子理想，将Serre对奇异曲线的代数框架转化为解析范畴。
• 将广义除子定义为奇异曲线上亚纯函数层的凝聚子层。
• 引入奇异曲线的$\'delta$-不变量，并将$\'mathcal{S}^\prime$-半正规化识别为使$\'delta$-不变量最小的部分解 singular 化。
• 利用正规化下结构层的直接像，定义有界亚纯函数层。
• 通过广义除子与亚纯数据$h_j$定义的线丛的全纯截面构造Baker-Akhiezer函数，并在标记点处进行归一化。
• 通过证明在上推层中存在全纯截面并进行标记点归一化，证明函数在谱参数空间中的全纯性。

实验结果

研究问题

• RQ1 如何使用解析方法而非纯代数方法，将Baker-Akhiezer函数推广至奇异复曲线？
• RQ2 广义除子在描述奇异一维复空间上全纯线丛时起什么作用？
• RQ3 部分解 singular 化与广义除子之间有何关系？对于给定的广义除子，哪种解 singular 化使$\'delta$-不变量最小？
• RQ4 能否利用广义除子将Riemann-Roch与Serre对偶性定理推广至奇异曲线？
• RQ5 能否构造出在奇异曲线上解特定微分方程（如热方程）的Baker-Akhiezer函数？

主要发现

• 在使用广义除子与部分解 singular 化的设定下，证明了奇异曲线上Riemann-Roch与Serre对偶性定理的解析形式。
• $\'mathcal{S}^\prime$-半正规化被识别为给定广义除子$\'mathcal{S}^\prime$下使$\'delta$-不变量最小的唯一部分解 singular 化。
• Baker-Akhiezer函数被构造为由广义除子与亚纯数据$h_j$定义的线丛的全纯截面，并在标记点处唯一归一化。
• 所构造的Baker-Akhiezer函数$\'psi$在谱参数空间$\'mathbb{C}^L\setminus T$中全纯，其证明基于上推层中全纯截面的存在性与标记点的归一化。
• 一个具体例子表明，奇异曲线上构造的Baker-Akhiezer函数可解热方程$(\partial_y - \partial_x^2 + u(x,y))\psi = 0$，其中复值势能$u(x,y)$由全纯函数在标记点的取值确定。
• 该构造推广了经典结果：当曲线光滑且除子为非特殊且次数为$g+n-1$时，Baker-Akhiezer函数可用Riemann的theta函数表示。