[论文解读] Indefinite theta series of signature (1,1) from the point of view of homological mirror symmetry

Alexander Polishchuk|ArXiv.org|Mar 13, 2000

Advanced Algebra and Geometry参考文献 11被引用 7

一句话总结

本文建立了签名 (1,1) 的不定 theta 系数与椭圆曲线的同调镜像对称之间的联系，证明此类系数可表示为经典 theta 函数与 Appell 的超几何级数 κ 的形式。关键结果是：模形式的不定 theta 系数恰好对应于椭圆曲线上凝聚层的导出范畴中的通用单值三重 Massey 积，从而以标准模形式的显式有理函数表达式呈现。

ABSTRACT

We apply the homological mirror symmetry for elliptic curves to the study of indefinite theta series. We prove that every such series corresponding to a quadratic form of signature (1,1) can be expressed in terms of theta series associated with split quadratic forms and the usual theta series. We also show that indefinite theta series corresponding to univalued Massey products between line bundles on elliptic curve are modular.

研究动机与目标

• 理解与签名 (1,1) 二次型相关的不定 theta 系数的模性质。
• 在椭圆曲线的凝聚层导出范畴中，建立此类模形式系数与单值三重 Massey 积之间的对应关系。
• 以标准 theta 函数和 Appell 的双曲超几何级数 κ 表达不定 theta 系数。
• 在适当条件下，利用同调镜像对称作为统一框架，证明这些系数为 Jacobi 形式。

提出的方法

• 利用椭圆曲线的同调镜像对称，将上同调结构与模形式联系起来。
• 应用导出范畴框架，将 Massey 积解释为不定 theta 系数中模性质的来源。
• 采用 Appell 级数 κ(y,x;τ) 作为表达不定 theta 系数的基本构建块。
• 通过格点上的有理线性泛函，将一般不定 theta 系数约化为 κ 与标准 theta 函数的组合。
• 利用 theta 函数的性质与模变换，推导函数方程与变换规律。
• 通过验证其在 SL(2,Z) 和格点平移下的变换行为，确立所得函数为 Jacobi 形式。

实验结果

研究问题

• RQ1 在何种条件下，签名 (1,1) 的不定 theta 系数是模形式？
• RQ2 此类模形式系数与椭圆曲线上的导出范畴结构有何关联？
• RQ3 所有具有有理锥的不定 theta 系数是否均可表示为标准 theta 函数与 Appell 级数的组合？
• RQ4 单值三重 Massey 积在生成模不定 theta 系数中起何精确作用？
• RQ5 这些系数的变换性质如何与 Jacobi 形式结构相关联？

主要发现

• 每个与签名 (1,1) 二次型及有理锥相关的不定 theta 系数，均可表示为标准 theta 函数与 Appell 级数 κ 的有理函数。
• 模不定 theta 系数恰好对应于椭圆曲线上凝聚层导出范畴中的通用单值三重 Massey 积。
• 函数 F_{l,S} 是关于子格 Λ′ 和同余子群 Γ 的 Jacobi 形式，权为 (d−d₀)/2 + 1，其二次型为 Q+Q₀。
• 当 d₀ > 1 时，Q+Q₀ 为正定；当 d₀ = 1 时，Q+Q₀ 退化，此时得到单变量 Jacobi 形式。
• 当 d₁ = d₂ = 2，d₀ = 1 时，所得函数 F 为 theta 函数的行列式，且为 (x₁+x₂, τ) 上权为 2、指标为 2 的 Jacobi 形式。
• 推导出一个显式恒等式：F(x₁,x₂;τ) 等于 theta 函数的乘积与涉及模 3 的非平凡狄利克雷特征 χ₃ 的级数之积。