[论文解读] Differential operators and harmonic weak Maass forms

Jan Hendrik Bruinier, Ken Ono+1 more|arXiv (Cornell University)|Feb 7, 2008

Analytic Number Theory Research参考文献 19被引用 5

一句话总结

本文研究了在权为 2−k 的调和弱Maass形式上作用的微分算子 ξ_{2−k} 和 D^{k−1}，表明与新形式（如CM形式）具有零Hecke特征值的对偶形式具有代数系数。通过正则化内积，本文刻画了 D^{k−1} 的像，揭示了这些模形式系数中深层的算术结构。

ABSTRACT

For integers $k\geq 2$, we study two differential operators on harmonic weak Maass forms of weight $2-k$. The operator $\xi_{2-k}$ (resp. $D^{k-1}$) defines a map to the space of weight $k$ cusp forms (resp. weakly holomorphic modular forms). We leverage these operators to study coefficients of harmonic weak Maass forms. Although generic harmonic weak Maass forms are expected to have transcendental coefficients, we show that those forms which are ``dual'' under $\xi_{2-k}$ to newforms with vanishing Hecke eigenvalues (such as CM forms) have algebraic coefficients. Using regularized inner products, we also characterize the image of $D^{k-1}$.

研究动机与目标

• 理解权为 2−k 的调和弱Maass形式中系数的算术性质。
• 分析微分算子 ξ_{2−k} 和 D^{k−1} 在这些形式上的作用。
• 通过正则化内积刻画 D^{k−1} 的像。
• 确定调和弱Maass形式何时具有代数系数，特别是与Hecke特征值为零的新形式的关系。
• 通过 ξ_{2−k} 算子在调和弱Maass形式与尖点形式之间建立对偶性。

提出的方法

• 本文将微分算子 ξ_{2−k} 应用于权为 2−k 的调和弱Maass形式，将其映射到权为 k 的尖点形式。
• 使用微分算子 D^{k−1} 将调和弱Maass形式映射到权为 k 的弱全纯模形式。
• 采用正则化内积来刻画弱全纯模形式空间中 D^{k−1} 的像。
• 利用 ξ_{2−k} 算子下调和弱Maass形式与尖点形式之间的对偶性来分析系数的算术性质。
• 研究与Hecke特征值为零的新形式（特别是CM形式）对偶的形式，以推导系数的代数性。
• 结合模形式、调和弱Maass形式和微分算子的理论工具，推导出结构性结果。

实验结果

研究问题

• RQ1 在何种条件下，调和弱Maass形式具有代数傅里叶系数？
• RQ2 ξ_{2−k} 算子如何将调和弱Maass形式与尖点形式联系起来，这对系数算术性质有何含义？
• RQ3 微分算子 D^{k−1} 作用于权为 2−k 的调和弱Maass形式时，其像是什么？
• RQ4 正则化内积如何帮助刻画 D^{k−1} 的像？
• RQ5 新形式中Hecke特征值为零（特别是CM形式）在决定系数代数性方面起什么作用？

主要发现

• 在 ξ_{2−k} 下与Hecke特征值为零的新形式（如CM形式）对偶的调和弱Maass形式具有代数傅里叶系数。
• 通过正则化内积刻画了微分算子 D^{k−1} 作用于权为 2−k 的调和弱Maass形式时的像。
• 算子 ξ_{2−k} 将权为 2−k 的调和弱Maass形式满射地映射到权为 k 的尖点形式空间。
• 微分算子 D^{k−1} 将调和弱Maass形式映射到权为 k 的弱全纯模形式，其像通过正则化内积得以描述。
• 调和弱Maass形式中系数的算术结构与对偶尖点形式的Hecke特征值密切相关。
• 在 ξ_{2−k} 下与CM新形式对偶的形式即使在一般调和弱Maass形式中通常预期为超越系数的情况下，也表现出代数系数。