[论文解读] Almost harmonic Maass forms and Kac-Wakimoto characters

Kathrin Bringmann, Amanda Folsom|arXiv (Cornell University)|Dec 20, 2011

Advanced Algebra and Geometry参考文献 18被引用 5

一句话总结

本文通过证明 Kac-Wakimoto 代数 $\mathfrak{\widehat{\mathfrak{sl}}}(m|n)$ 最高权模的特征标本质上是深度为 $n$ 的一类新自守对象——'几乎共形马асс形式'（almost harmonic Maass forms）的全纯部分，解决了 Kac 提出的问题。作者建立了这些对象的自守性质，并推导出这些特征标的显式渐近展开式，将此前针对 $n=1$ 的结果推广至任意 $n \geq 1$。核心贡献在于引入了几乎共形马есс形式以描述极点阶数任意的亚纯雅可比形式的模形式行为。

ABSTRACT

We resolve a question of Kac, and explain the automorphic properties of characters due to Kac-Wakimoto pertaining to sl(m|n)^ highest weight modules, for n \geq 1. We prove that the Kac-Wakimoto characters are essentially holomorphic parts of certain generalizations of harmonic weak Maass forms which we call "almost harmonic Maass forms". Using a new approach, this generalizes prior work of the first author and Ono, and the authors, both of which treat only the case n = 1. We also provide an explicit asymptotic expansion for the characters.

研究动机与目标

• 解决 Kac 长久以来关于 $\mathfrak{\widehat{\mathfrak{sl}}}(m|n)$ 最高权模的 Kac-Wakimoto 特征标自守性质的问题。
• 将此前针对 $n=1$ 的结果推广至任意 $n \geq 1$，其中特征标并非模形式，而是新自守对象的全纯部分。
• 为极点阶数任意 $n \geq 1$ 的亚纯雅可比形式建立一个理论框架，此类形式在文献中尚无完整理论。
• 通过基于积分变换和特殊函数的新方法，建立 Kac-Wakimoto 特征标 $\operatorname{tr}_{L_{m,n}(\Lambda_{(\ell)})}q^{L_0}$ 的显式渐近展开式。

提出的方法

• 作者将深度为 $r$ 的'几乎共形马есс形式'定义为调和弱马есс形式的推广，以容纳极点阶数 $n \geq 1$ 的亚纯雅可比形式。
• 他们分析了 Kac-Wakimoto 的生成函数 $\operatorname{ch}F = \sum_{\ell \in \mathbb{Z}} \operatorname{ch}F_\ell \zeta^\ell$，该函数是极点阶数为 $n$ 的亚纯雅可比形式。
• 通过设定 $e^{\Lambda_0} = 1$ 且所有 $w_s = 1$，他们将生成函数简化为便于分析的形式，同时保持收敛性和自守结构。
• 他们利用包含 $I_\ell(t) = \int_{\mathbb{R}} \frac{e^{\frac{\pi(n-m)u^2}{t} - 2\pi i \ell u}}{\cosh(\frac{\pi u}{t})^n} du$ 的积分表示来研究特征标的渐近行为。
• 通过在 $t=0$ 附近对积分 $I_\ell(t)$ 进行泰勒展开，推导出渐近展开式，其中使用了矩 $\widetilde{\mathcal{E}}_{k,n} = \int_{\mathbb{R}} \frac{x^k}{\cosh(\pi x)^n} dx$ 的递推关系。
• 证明依赖于留数计算和分部积分法，推导出 $\widetilde{\mathcal{E}}_{k,n}$ 的递推关系，从而建立不同 $n$ 下矩之间的联系。

实验结果

研究问题

• RQ1 如何表征 $\mathfrak{\widehat{\mathfrak{sl}}}(m|n)$ 模的 Kac-Wakimoto 特征标在任意 $n \geq 1$ 下的自守性质？
• RQ2 哪一类新的自守对象可推广调和弱马есс形式，以描述极点阶数任意 $n \geq 1$ 的亚纯雅可比形式？
• RQ3 能否在 $n=1$ 情况之外，为 Kac-Wakimoto 特征标 $\operatorname{tr}_{L_{m,n}(\Lambda_{(\ell)})}q^{L_0}$ 推导出显式渐近展开式？
• RQ4 当 $\tau \to 0^+$ 时，特征标在上半平面的渐近行为如何？主导项由什么决定？

主要发现

• 证明了 Kac-Wakimoto 特征标 $\operatorname{tr}_{L_{m,n}(\Lambda_{(\ell)})}q^{L_0}$ 本质上是本文引入的新类自守对象——深度为 $n$ 的'几乎共形马есс形式'的全纯部分。
• 特征标的渐近展开式为 $\operatorname{tr}_{L_{m,n}(\Lambda_{(\ell)})}q^{L_0} = e^{\frac{\pi t}{12}(n-m+1)+\frac{\pi}{12t}(m+2n-1)} \frac{\sqrt{t}}{2^n} \left( \sum_{r=0}^{N} a_r(m,n,\ell) \frac{t^r}{r!} + O(t^{N+1}) \right)$，当 $t \to 0^+$ 时成立。
• 展开式中的系数 $a_r(m,n,\ell)$ 由矩 $\widetilde{\mathcal{E}}_{k,n} = \int_{\mathbb{R}} \frac{x^k}{\cosh(\pi x)^n} dx$ 决定，这些矩满足通过分部积分法导出的递推关系。
• 对于 $n=1$ 和 $n=2$，矩 $\widetilde{\mathcal{E}}_{k,n}$ 显式地与欧拉数和伯努利数相关联：$\int_{\mathbb{R}} \frac{x^k}{\cosh(\pi x)} dx = (-2i)^{-k} E_k$ 以及 $\int_{\mathbb{R}} \frac{x^k}{\cosh(\pi x)^2} dx = \frac{2i^{-k}}{\pi} B_k(\frac{1}{2})$。
• 渐近展开式中的误差项通过控制积分 $\int_0^{1/2t} e^{\pi(n-m)t u^2 + \pi u} du$ 得到控制，该积分在考虑 $\exp(-\pi/t)$ 因子后仅对误差项有贡献。