[论文解读] A Note on Maass-Jacobi Forms

Jae-Hyun Yang|ArXiv.org|Dec 14, 2006

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

一句话总结

本文将Maass-Jacobi形式引入为Maass波形式的推广，定义为在齐次空间 $\mathbb{H} \times \mathbb{C} \cong G/K$ 上的光滑自守函数，其中 $G = SL(2,\mathbb{R}) \ltimes \mathbb{R}^{(1,2)}$。主要贡献在于通过 $\Gamma = SL_{2,1}(\mathbb{Z})$ 的不变性以及 $G$-不变拉普拉斯-贝尔特拉米算子的特征函数，对这些形式进行刻画，并对 $L^2(\Gamma \backslash G)$ 进行谱分解，同时分析傅里叶展开。

ABSTRACT

In this paper, we introduce the notion of Maass-Jacobi forms and investigate some properties of these new automorphic forms. We also characterize these automorphic forms in several ways.

研究动机与目标

• 通过引入Jacobi型变换，将Maass波形式推广为一类新的自守形式。
• 将Maass-Jacobi形式刻画为在 $G$ 或 $S\mathcal{P}_2 \times \mathbb{R}^{(1,2)}$ 上具有特定不变性质的光滑函数。
• 计算 $G$-不变微分算子的代数，并在 $\mathbb{H} \times \mathbb{C}$ 上构造一个 $G$-不变的黎曼度量，从而导出拉普拉斯-贝尔特拉米算子。
• 分析 $G = SL(2,\mathbb{R}) \ltimes \mathbb{R}^{(1,2)}$ 的酉对偶，并将 $L^2(\Gamma \backslash G)$ 分解为不可约分量。
• 研究Maass-Jacobi形式的傅里叶展开，并推导其傅里叶系数所满足的微分方程。

提出的方法

• 定义半直积群 $G = SL(2,\mathbb{R}) \ltimes \mathbb{R}^{(1,2)}$，其乘法法则为 (1.1)，通过 (1.2) 在 $\mathbb{H} \times \mathbb{C}$ 上作用传递。
• 在 $\mathbb{H} \times \mathbb{C}$ 上构造一个 $G$-不变的黎曼度量，并利用Iwasawa分解和 $SL(2,\mathbb{R})$ 上的坐标 $x, y, \theta$ 计算其拉普拉斯-贝尔特拉米算子 $\Delta$。
• 将Maass-Jacobi形式定义为从 $G$ 到 $\mathbb{C}$ 的光滑有界函数 $f$，满足对所有 $\gamma \in \Gamma$、$k \in K$ 有 $f(\gamma g k) = f(g)$，且为拉普拉斯-贝尔特拉米算子 $\Delta$ 的特征函数，特征值为 $\lambda = \frac{1 - s^2}{4}$。
• 利用同胚 $\mathbb{H} \times \mathbb{C} \cong G/K$，通过作用 (2.1) 在对称空间 $S\mathcal{P}_2 \times \mathbb{R}^{(1,2)}$ 上定义自守形式。
• 分析 $G$ 的酉对偶，并利用拉普拉斯算子的谱理论对 $L^2(\Gamma \backslash G)$ 进行分解，将其与通过Jacobi群 $G^J = SL(2,\mathbb{R}) \ltimes H_{{\mathbb{R}}}^{(1,1)}$ 的 $L^2(\Gamma^J \backslash G^J)$ 的分解联系起来。
• 推导Maass-Jacobi形式的傅里叶展开，并证明其傅里叶系数满足一个含 $K$-修正贝塞尔函数的二阶偏微分方程 (6.4)，对应特定特征值。

实验结果

研究问题

• RQ1 如何在半直积群的背景下，将Maass波形式推广以包含Jacobi型变换？
• RQ2 在 $\mathbb{H} \times \mathbb{C}$ 上，$G$-不变微分算子代数的结构是什么？对应的拉普拉斯-贝尔特拉米算子是什么？
• RQ3 Maass-Jacobi形式如何作为 $G$ 或 $S\mathcal{P}_2 \times \mathbb{R}^{(1,2)}$ 上的自守函数，在 $\Gamma = SL_{2,1}(\mathbb{Z})$ 作用下被刻画？
• RQ4 $L^2(\Gamma \backslash G)$ 的谱分解是什么？它与 $G$ 的酉对偶有何关系？
• RQ5 Maass-Jacobi形式的傅里叶展开形式如何？其傅里叶系数满足何种微分方程？

主要发现

• Maass-Jacobi形式被定义为在 $G$ 上的光滑有界函数，对 $\Gamma = SL_{2,1}(\mathbb{Z})$ 不变，且为拉普拉斯-贝尔特拉米算子 $\Delta$ 的特征函数，特征值为 $\lambda = \frac{1 - s^2}{4}$。
• 在 $\mathbb{H} \times \mathbb{C}$ 上的拉普拉斯-贝尔特拉米算子计算为 $\Delta = y^2 \left( \frac{\partial^2}{\partial x^2} + \frac{\partial^2}{\partial y^2} \right) - y \frac{\partial^2}{\partial x \partial \theta} + \frac{5}{4} \frac{\partial^2}{\partial \theta^2}$，其来源于 $SL(2,\mathbb{R})$-不变度量。
• $L^2(\Gamma \backslash G)$ 的空间分解为离散系列表示 $\mathcal{H}_{m,n}$ 和连续系列 $\mathcal{H}_{m,s,\nu}$ 的直和，与通过Jacobi群 $G^J$ 的 $L^2(\Gamma^J \backslash G^J)$ 的分解类似。
• Maass-Jacobi形式的傅里叶系数 $c_{n,r}(y,v)$ 满足偏微分方程 $\left[y^2 \frac{\partial^2}{\partial y^2} + (y + v^2) \frac{\partial^2}{\partial v^2} + 2yv \frac{\partial^2}{\partial y \partial v} - \{(ay + bv)^2 + b^2 y + \lambda\} \right] F = 0$，其中 $a = 2\pi n$，$b = 2\pi r$。
• 当特征值 $\lambda = s(s-1)$ 时，解 $F(y,v)$ 包含与 $y^{1/2} K_{s-1/2}(2\pi |n| y)$ 成比例的项，表明该形式与贝塞尔函数相关。
• Maass-Jacobi形式的空间同构于 $L^2(\Gamma \backslash G)$ 中的 $K$-不动点向量空间，因此继承了 $L^2(\Gamma \backslash G)$ 的谱分解。