[论文解读] A Serre derivative for even weight Jacobi Forms

Georg Oberdieck|arXiv (Cornell University)|Sep 25, 2012

Advanced Algebra and Geometry参考文献 9被引用 15

一句话总结

本文通过使用变形的Eisenstein级数，引入了一种Jacobi-Serre导数——一种将经典Serre导数推广至偶权Jacobi形式的微分算子。该算子构造了一个在偶权Jacobi形式上保持模性质的二阶微分算子，导出了指标为1的Eisenstein级数的Ramanujan型方程，同时建立了变形Eisenstein级数与Jacobi theta函数的对数导数之间的直接联系。

ABSTRACT

Using deformed or twisted Eisenstein Series, we construct a Jacobi-Serre derivative on even-weight Jacobi forms that generalizes the classical Serre derivative on modular forms. As an application, we obtain Ramanujan equations for the index $1$ Eisenstein series $E_{4,1}, E_{6,1}$ and a newly defined $E_{2,1}$. Finally, we relate the deformed Eisenstein Series directly to the classical first Jacobi theta function.

研究动机与目标

• 将经典模形式上的Serre导数推广至偶权Jacobi形式。
• 通过用变形Eisenstein级数补全非模形式导数，构造一个在Jacobi形式上保持模性质的微分算子。
• 为指标为1的Jacobi Eisenstein级数 $E_{4,1}, E_{6,1}, E_{2,1}$ 推导出Ramanujan型微分方程。
• 建立变形Eisenstein级数与Jacobi theta函数 $\theta_1$ 之间的直接代数与解析关系。
• 通过生成函数与对数导数，为理解Jacobi形式上的微分算子提供一个概念性框架。

提出的方法

• 将变形Eisenstein级数 $J_n(z,\tau)$ 定义为Eisenstein级数的扭化推广，其中 $J_1$ 与 $\theta_1$ 的对数导数相关。
• 利用 $F'$, $F^\bullet$, $E_2$, 和 $J_n$ 项，构造偶权Jacobi形式 $\mathcal{J}_{2k,m}$ 上的Jacobi-Serre导数 $\partial^J$，以校正非模形式行为。
• 通过生成函数 $\mathcal{J} = \sum_{n \geq 0} \frac{J_n}{n!} x^n$，将 $\theta_1$ 上的微分算子与变形级数联系起来。
• 推导关键恒等式 $\frac{\theta_1^\bullet}{\theta_1} = J_1$，并通过算子指数推广至高阶导数。
• 建立生成函数恒等式：$\mathcal{J} = x \cdot \theta_1^\bullet(0,\tau) \cdot \frac{\exp(x\partial_z)\theta_1(z,\tau)}{\theta_1(\frac{x}{2\pi i},\tau)\theta_1(z,\tau)}$。
• 通过修改的 $J_{i,n}$ 级数将该框架扩展至其他theta函数 $\theta_2, \theta_3, \theta_4$，并证明相应的生成函数恒等式。

实验结果

研究问题

• RQ1 如何将模形式上的经典Serre导数推广至偶权Jacobi形式？
• RQ2 在Jacobi形式上，何种微分算子能保持模性质并推广Serre导数？
• RQ3 变形Eisenstein级数 $J_n(z,\tau)$ 与Jacobi theta函数 $\theta_1(z,\tau)$ 之间有何关系？
• RQ4 能否为指标为1的Jacobi Eisenstein级数 $E_{4,1}, E_{6,1}, E_{2,1}$ 推导出Ramanujan型微分方程？
• RQ5 生成函数 $\mathcal{J}$ 在统一微分算子与theta函数中起何作用？

主要发现

• Jacobi-Serre导数 $\partial^J$ 定义为 $\partial^J(F) = F' - \frac{k}{12}E_2F + \frac{1}{1-4m}\left(F^{\bullet\bullet} - J_1F^\bullet + mJ_2F - \frac{m}{6}E_2F\right)$，映射 $\mathcal{J}_{2k,m} \to \mathcal{J}_{2k+2,m}$。
• 将 $\partial^J$ 限制在 $z=0$ 时，恢复经典Serre导数：$(\partial^J F)(0,\tau) = \partial^S(F(0,\tau))$。
• 导出了指标为1的Jacobi形式的Ramanujan方程：$\partial^J E_{2,1} + \frac{1}{12}E_2 E_{2,1} + \frac{1}{16}E_4' \phi_{-2,1} = -\frac{1}{12}E_{4,1}$，$\partial^J E_{4,1} = -\frac{1}{3}E_{6,1}$，以及 $\partial^J E_{6,1} = -\frac{1}{2}E_4 E_{4,1}$。
• 变形Eisenstein级数 $J_1(z,\tau)$ 是 $\theta_1(z,\tau)$ 的对数导数：$\frac{\theta_1^\bullet}{\theta_1} = J_1$。
• 生成函数 $\mathcal{J} = \sum_{n \geq 0} \frac{J_n}{n!} x^n$ 满足 $\mathcal{J} = x \cdot \theta_1^\bullet(0,\tau) \cdot \frac{\exp(x\partial_z)\theta_1(z,\tau)}{\theta_1(\frac{x}{2\pi i},\tau)\theta_1(z,\tau)}$。
• 获得了一个关于 $\theta_1$ 及其导数的新微分关系：$\theta_1^{\bullet\bullet\bullet\bullet}\theta_1 - 4\theta_1^{\bullet\bullet\bullet}\theta_1^\bullet + 3\theta_1^{\bullet\bullet}\theta_1^{\bullet\bullet} - \theta_1\theta_1^{\bullet\bullet}E_2 + (\theta_1^\bullet)^2E_2 + \frac{1}{2}\theta_1^2 E_2' = 0$。