[论文解读] Thomae's formulae for non-hyperelliptic curves and spinorial square roots of theta-constants on the moduli space of curves

N. I. Shepherd‐Barron|ArXiv.org|Feb 21, 2008

History and Theory of Mathematics参考文献 1被引用 7

一句话总结

本文通过在曲线模空间上构造theta-常量的旋量平方根，将Thomae公式推广至非双阿贝尔曲线。利用几何不变量理论与Hilbert簇，定义了映射π₁、π₂和π₃以关联主从丛与theta特征，建立了一个对所有N ≥ 2均成立的框架，将经典theta关系推广至非双阿贝尔情形。

ABSTRACT

Determinantal formulae for Jacobian theta functions that go back to Klein are elaborated, via an idea due to Matone and Volpato. Also, the natural square roots of theta constants on the moduli space of curves whose existence was shown by Tsuyumine are proved to have a spinorial structure.

研究动机与目标

• 将原本仅适用于双阿贝尔曲线的Thomae经典公式推广至非双阿贝尔曲线。
• 在曲线模空间上构造theta-常量的旋量平方根。
• 利用Hilbert簇与投影，定义几何映射π₁、π₂和π₃，以关联主从丛与theta特征。
• 建立一个对所有N ≥ 2均有效的框架，将已知结果从双阿贝尔情形推广至更一般情况。
• 通过主从丛与射影空间中的线性张成，提供theta特征的几何构造。

提出的方法

• 将π₁定义为ϕ与到P(W₀)的投影的复合，将一个主从丛X映射为其在ϕ下的像的线性张成。
• 利用Hilbert簇Hilb_{P(V), 2²g}的一个开子簇Hilb⁰，以确保良好的几何性质。
• 通过投影pr₁: P(V₀) × P(W₀) → P(V₀)，构造一个映射q₁: Hilb⁰ → Hilb_{P(V₀), 2²g}。
• 利用Ag,N,ϑ的几何点结构，分析主从丛Xs在P(V)中的像，并将其与P(V₀)的副本关联。
• 应用几何不变量理论技术，确保π₂与π₃在开子簇Hilb⁰上定义良好。
• 利用π₁的复合结构及其诱导的映射，关联模空间中theta特征与主从丛。

实验结果

研究问题

• RQ1 如何将Thomae公式从经典双阿贝尔情形推广至非双阿贝尔曲线？
• RQ2 何种几何构造使得在曲线模空间上可定义theta-常量的旋量平方根？
• RQ3 映射π₁、π₂与π₃在Hilbert簇的背景下，如何关联主从丛与theta特征？
• RQ4 开子簇Hilb⁰在确保所有N ≥ 2下映射有效性方面起何种作用？
• RQ5 ϕ作用下主从丛的像如何与线性张成及theta特征在P(V)中关联？

主要发现

• 通过ϕ与到P(W₀)的投影的复合构造π₁，为关联主从丛与其线性张成提供了几何联系。
• 开子簇Hilb⁰的存在确保了映射q₁: Hilb⁰ → Hilb_{P(V₀), 2²g}定义良好且具有几何意义。
• 映射π₁对所有N ≥ 2均有效，将框架的适用范围从双阿贝尔情形扩展至更一般情况。
• 每个主从丛Xs在ϕ下的像位于某个P(V₀)副本中，从而实现了theta特征的系统性分类。
• 该框架通过将经典theta关系嵌入模理论与几何不变量理论语境中，成功实现了推广。
• 利用Hilbert簇与投影，实现了对非双阿贝尔曲线上theta-常量与旋量平方根的统一处理。