[论文解读] Parabolic, hyperbolic and elliptic Poincaré series

Özlem Imamoğlu, Cormac O’Sullivan|ArXiv.org|Jun 26, 2008

Analytic Number Theory Research参考文献 15被引用 11

一句话总结

本文将 Petersson 关于抛物型、双曲型和椭圆型 Poincaré 级数的理论推广至第一类 Fuchsian 群的二阶全纯尖形式。通过使用在抛物元素上为零的同态 $\operatorname{Hom}_0(\Gamma,\mathbb{C})$，引入了扭曲 Poincaré 级数，证明其绝对收敛且在紧子集上一致收敛于 $S^2_k$ 中的元素。其主要贡献在于证明此类级数张成空间 $S^2_k$，从而推广了经典的首阶情形。

ABSTRACT

Following Petersson, we study the parabolic, hyperbolic and elliptic expansions of holomorphic cusp forms and the associated Poincaré series. We show how these ideas extend to the space of second-order cusp forms.

研究动机与目标

• 将 Petersson 的抛物型、双曲型和椭圆型 Poincaré 级数推广至第一类 Fuchsian 群的二阶全纯尖形式。
• 通过在抛物元素上为零的同态，建立统一框架，用于在二阶情形下构造相对 Poincaré 级数。
• 证明这些扭曲 Poincaré 级数在紧子集上绝对收敛且一致收敛，并张成空间 $S^2_k$。
• 通过识别适当的同态类及其关联级数，将经典 $S_k$ 的张成结果推广至 $S^2_k$。

提出的方法

• 通过递归条件 $f|_k(\gamma - 1) \in S^{n-1}_k(\Gamma)$ 对所有 $\gamma \in \Gamma$ 定义二阶尖形式 $S^n_k(\Gamma)$，要求在尖点处快速衰减且在抛物元素上为零。
• 引入扭曲 Poincaré 级数 $P[\phi, L](z) = \sum_{\gamma \in \Gamma_0 \backslash \Gamma} L(\gamma)(\phi|_k \gamma)(z)$，其中 $L \in \operatorname{Hom}_0(\Gamma, \mathbb{C})$ 且 $\phi$ 关于 $\Gamma_0$ 不变且具有有限的 $L^1$-型范数。
• 通过与积分 $\int_{\Gamma_0 \backslash \mathbb{H}} (1 + |\Lambda_L^+(z)| + |\Lambda_L^-(z)|) |\phi(z)| y^{k/2} d\mu z < \infty$ 比较，建立收敛性，确保在紧集上绝对且一致收敛。
• 定义 $\Lambda_L^\pm(z)$，使得 $L(\gamma) = \Lambda_L^+(\gamma z) - \Lambda_L^+(z) + \overline{\Lambda_L^-(\gamma z) - \Lambda_L^-(z)}$，这推广了首阶情形下的对数导数。
• 利用 $\mathcal{A} \cup \mathcal{B}$ 张成商空间的事实，证明 Poincaré 级数映射 $\mathcal{P}_2$ 的像张成 $S^2_k / S^1_k$。
• 通过引入 $\operatorname{Hom}^{[n]}_0(\Gamma, \mathbb{C})$，即满足对所有 $\delta_i \in \Gamma$ 有 $L_n|((\delta_1 - 1)\cdots(\delta_n - 1)) = 0$ 的函数 $L_n: \Gamma \to \mathbb{C}$，将框架推广至高阶形式，并推测 $S^n_k$ 由 $\Phi_{\text{Par}}(z, m, \mathfrak{a}; L)$ 与 $L \in \operatorname{Hom}^{[n]}_0(\Gamma, \mathbb{C})$ 张成。

实验结果

研究问题

• RQ1 能否将经典抛物型、双曲型和椭圆型 Poincaré 级数理论推广至第一类 Fuchsian 群的二阶尖形式？
• RQ2 哪类同态 $L: \Gamma \to \mathbb{C}$ 确保扭曲 Poincaré 级数收敛于 $S^2_k$ 中的元素？
• RQ3 对于 $L \in \operatorname{Hom}_0(\Gamma, \mathbb{C})$ 的扭曲 Poincaré 级数是否张成空间 $S^2_k$？
• RQ4 是否存在对高阶形式的自然推广，即使用高阶同态 $\operatorname{Hom}^{[n]}_0(\Gamma, \mathbb{C})$ 实现张成性质？

主要发现

• 在涉及 $\Lambda_L^\pm(z)$ 的可积性条件成立下，扭曲 Poincaré 级数 $P[\phi, L](z) = \sum_{\gamma \in \Gamma_0 \backslash \Gamma} L(\gamma)(\phi|_k \gamma)(z)$ 在 $\mathbb{H}$ 的紧子集上绝对收敛且一致收敛于 $S^2_k$ 中的元素。
• $S^2_k / S^1_k$ 由抛物型、双曲型和椭圆型 Poincaré 级数在映射 $\mathcal{P}_2$ 下的像张成，且 $\mathcal{A} \cup \mathcal{B}$ 的像生成该商空间。
• 集合 $\mathcal{T}^2_{\text{Hyp}} = \{ \Phi_{\text{Hyp}}(z, 0, \eta(\gamma); L) \mid \gamma \in \text{Hyp}(\Gamma), L \in \operatorname{Hom}_0(\Gamma, \mathbb{C}), L(\gamma) = 0 \}$ 预期张成 $S^2_k / S^1_k$，尽管该结论尚未被证明。
• 在抛物情形下，$S^2_k$ 由 $\{ \Phi_{\text{Par}}(z, m, \mathfrak{a}; L) \mid m \in \mathbb{N}, L \in \operatorname{Hom}^{[2]}_0(\Gamma, \mathbb{C}) \}$ 张成，且对双曲型和椭圆型情形有类似结果的推测。
• 高阶形式的推广为推测：$S^n_k = \left\langle \bigcup_{\text{type}} \{ \Phi_{\text{type}}(z, m, \mathfrak{a}; L) \mid m \in \mathbb{N}, L \in \operatorname{Hom}^{[n]}_0(\Gamma, \mathbb{C}) \} \right\rangle$。
• $\operatorname{Hom}^{[2]}_0(\Gamma, \mathbb{C})$ 同构于 $\mathbb{C} \oplus \operatorname{Hom}_0(\Gamma, \mathbb{C})$，为二阶 Poincaré 级数提供了自然参数化。