[論文レビュー] A Serre derivative for even weight Jacobi Forms

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

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

ひとこと要約

本稿では、変形エーゼンスタイン級数を用いて、偶数重のジャコビ形式への古典的セール微分の一般化であるジャコビ＝セール微分演算子を導入する。これは偶数重ジャコビ形式上に作用する2次の微分演算子であり、モジュラー性を保ち、インデックス1のエーゼンスタイン級数に対してラマヌジャン型の微分方程式を導出する。また、変形エーゼンスタイン級数とジャコビシータ関数の対数微分との直接的な関係を確立する。

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.

研究の動機と目的

• モジュラー形式上の古典的セール微分を偶数重ジャコビ形式へ一般化すること。
• 非モジュラー性を補完するための変形エーゼンスタイン級数を用いて、ジャコビ形式上にモジュラー性を保つ微分演算子を構成すること。
• インデックス1のジャコビエーゼンスタイン級数 $E_{4,1}, E_{6,1}, E_{2,1}$ に対してラマヌジャン型微分方程式を導出すること。
• 変形エーゼンスタイン級数とジャコビシータ関数 $\theta_1$ 間の直接的な代数的・解析的関係を確立すること。
• 生成関数と対数微分を通じて、ジャコビ形式上の微分演算子の概念的枠組みを提供すること。

提案手法

• 変形エーゼンスタイン級数 $J_n(z,\tau)$ を、エーゼンスタイン級数のねじれ一般化として定義し、$J_1$ が $\theta_1$ の対数微分に関連することを示す。
• 非モジュラー性を是正するため、$F'$, $F^\bullet$, $E_2$, および $J_n$ 項を用いて、偶数重ジャコビ形式 $\mathcal{J}_{2k,m}$ 上にジャコビ＝セール微分 $\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)}$ を確立する。
• $\theta_2, \theta_3, \theta_4$ に対しても、修正された $J_{i,n}$ 級数を用いて同様の枠組みを拡張し、類似の生成関数恒等式を証明する。

実験結果

リサーチクエスチョン

• RQ1 モジュラー形式上の古典的セール微分を偶数重ジャコビ形式へどのように一般化できるか。
• RQ2 どのジャコビ形式上の微分演算子がモジュラー性を保ち、セール微分を一般化するか。
• RQ3 変形エーゼンスタイン級数 $J_n(z,\tau)$ とジャコビシータ関数 $\theta_1(z,\tau)$ の間にはどのような関係があるか。
• RQ4 インデックス1のジャコビエーゼンスタイン級数 $E_{4,1}, E_{6,1}, E_{2,1}$ に対して、ラマヌジャン型微分方程式を導出できるか。
• RQ5 生成関数 $\mathcal{J}$ は、微分演算子とシータ関数を統合する役割を果たすか。

主な発見

• ジャコビ＝セール微分 $\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$ に制限すると、古典的セール微分が回復する：$(\partial^J F)(0,\tau) = \partial^S(F(0,\tau))$。
• インデックス1のジャコビ形式に対するラマヌジャン方程式が導出される：$\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}$。
• 変形エーゼンスタイン級数 $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^{\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$。