[논문 리뷰] Parabolic, hyperbolic and elliptic Poincaré series

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

Analytic Number Theory Research참고 문헌 15인용 수 11

한 줄 요약

이 논문은 푸앵카레 군의 첫 번째 유형인 푸앵카레 군에 대해 파라볼릭, 하이퍼볼릭, 타원형 푸앵카레 급수의 페터슨 이론을 두 번째 순서의 정칙 컷폼 형태로 확장한다. 파라볼릭 원소에서 0이 되는 $ \operatorname{Hom}_0(\Gamma,\mathbb{C})$의 준동형을 사용하여 변형된 푸앵카레 급수를 도입하고, 이들이 $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.

연구 동기 및 목표

• 푸앵카레 군의 첫 번째 유형에 대해 파라볼릭, 하이퍼볼릭, 타원형 푸앵카레 급수의 페터슨 이론을 두 번째 순서의 정칙 컷폼 형태로 일반화한다.
• 파라볼릭 원소에서 0이 되는 준동형을 사용하여 두 번째 순서 설정에서 상대적 푸앵카레 급수를 구성하는 통합 프레임워크를 개발한다.
• 이러한 변형된 푸앵카레 급수가 컴팩트 부분집합에서 절대적이고 균일하게 수렴하며 $S^2_k$를 생성함을 증명한다.
• 적절한 준동형의 클래스와 관련 급수를 식별하여 $S_k$에 대한 고전적 생성 결과를 $S^2_k$로 확장한다.

제안 방법

• 모든 $\gamma \in \Gamma$에 대해 $f|_k(\gamma - 1) \in S^{n-1}_k(\Gamma)$ 조건을 통해 $S^n_k(\Gamma)$를 재귀적으로 정의한다. 이는 경계에서 급속한 감소와 파라볼릭 원소에서의 0을 포함한다.
• 준동형 $L \in \operatorname{Hom}_0(\Gamma, \mathbb{C})$와 $\Gamma_0$-불변이며 유한한 $L^1$-유형 노름을 가진 $\phi$에 대해 변형된 푸앵카레 급수 $P[\phi, L](z) = \sum_{\gamma \in \Gamma_0 \backslash \Gamma} L(\gamma)(\phi|_k \gamma)(z)$를 도입한다.
• 적분 $\int_{\Gamma_0 \backslash \mathbb{H}} (1 + |\Lambda_L^+(z)| + |\Lambda_L^-(z)|) |\phi(z)| y^{k/2} d\mu z < \infty$와의 비교를 통해 수렴성을 확립하며, 이는 컴팩트 집합에서 절대적이고 균일한 수렴을 보장한다.
• $L(\gamma) = \Lambda_L^+(\gamma z) - \Lambda_L^+(z) + \overline{\Lambda_L^-(\gamma z) - \Lambda_L^-(z)}$를 만족하는 $\Lambda_L^\pm(z)$를 정의한다. 이는 첫 번째 순서 사례에서 로그 도함수의 일반화이다.
• 이미지 $\mathcal{A} \cup \mathcal{B}$가 몫 공간을 생성한다는 사실을 이용하여, 푸앵카레 급수 사상 $\mathcal{P}_2$의 이미지가 $S^2_k / S^1_k$를 생성함을 증명한다.
• 함수 $L_n: \Gamma \to \mathbb{C}$가 모든 $\delta_i \in \Gamma$에 대해 $L_n|((\delta_1 - 1)\cdots(\delta_n - 1)) = 0$을 만족하는 공간인 $\operatorname{Hom}^{[n]}_0(\Gamma, \mathbb{C})$를 도입하여 고차원 형태로 프레임워크를 일반화하고, $S^n_k$가 $L \in \operatorname{Hom}^{[n]}_0(\Gamma, \mathbb{C})$에 대해 $\Phi_{\text{Par}}(z, m, \mathfrak{a}; L)$로 생성됨을 추측한다.

실험 결과

연구 질문

• RQ1 푸앵카레 군의 첫 번째 유형에 대해 파라볼릭, 하이퍼볼릭, 타원형 푸앵카레 급수의 고전 이론을 두 번째 순서의 컷폼 형태로 확장할 수 있는가?
• RQ2 어떤 준동형의 클래스 $L: \Gamma \to \mathbb{C}$가 변형된 푸앵카레 급수가 $S^2_k$의 원소로 수렴함을 보장하는가?
• RQ3 준동형 $L \in \operatorname{Hom}_0(\Gamma, \mathbb{C})$를 갖는 변형된 푸앵카레 급수가 공간 $S^2_k$를 생성하는가?
• RQ4 고차원 형태로는 $\operatorname{Hom}^{[n]}_0(\Gamma, \mathbb{C})$를 사용하여 생성 성질을 자연스럽게 일반화할 수 있는가?

주요 결과

• 적분 조건 $\Lambda_L^\pm(z)$를 포함하는 조건 하에서, 변형된 푸앵카레 급수 $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$는 파라볼릭, 하이퍼볼릭, 타원형 푸앵카레 급수의 $\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})$와 동형이며, 이는 두 번째 순서의 푸앵카레 급수에 자연스러운 매개변수화를 제공한다.