[논문 리뷰] A note on a fundamental domain for Siegel-Jacobi space

Jae-Hyun Yang|ArXiv.org|2005. 07. 11.

Advanced Algebra and Geometry참고 문헌 9인용 수 20

한 줄 요약

이 논문은 군 $\Gamma_{g,h} = \Gamma_g \ltimes H_\mathbb{Z}^{(g,h)}$ 가 다루는 시겔-자코비 공간 $\mathbb{H}_{g,h} = \mathbb{H}_g \times \mathbb{C}^{(h,g)}$ 에 대한 기본 영역을 구성한다. 이 기본 영역에 대해 $G^J$-불변 리만계량을 정의하고, 관련 아벨 다양체 $A_\Omega$ 상에서 라플라스 연산자의 스펙트럼 분해를 증명하며, 함수 $E_{\Omega;A,B}$ 가 $L^2(A_\Omega)$ 의 완전하거나thonormal 기저를 이룬다.

ABSTRACT

In this paper, we study a fundamental domain for the Siegel-Jacobi space $Sp(g,{\mathbb Z})\ltimes H_{\mathbb Z}^{(g,h)}\backslash {\mathbb H}_g imes {\mathbb C}^{(h,g)}$.

연구 동기 및 목표

• 자코비 군 $\Gamma_{g,h} = \Gamma_g \ltimes H_\mathbb{Z}^{(g,h)}$ 가 시겔-자코비 공간 $\mathbb{H}_g \times \mathbb{C}^{(h,g)}$ 에 작용하는 데 대한 기본 영역을 결정하는 것.
• 기본 영역에 대해 $G^J$-불변 리만계량을 구성하여 자코비 군 작용에 대해 불변성을 확보하는 것.
• 시겔 기본 영역 $\mathcal{F}_g$ 에 속하는 $\Omega \in \mathcal{F}_g$ 와 관련된 아벨 다양체 $A_\Omega$ 상에서 라플라스 연산자의 스펙트럼 이론을 조사하는 것.
• 함수 $E_{\Omega;A,B}$ 를 사용하여 힐베르트 공간 $L^2(A_\Omega)$ 에 대한 완전하거나thonormal 기저를 확립하는 것.

제안 방법

• 기본 영역는 자코비 군의 반직접곱 구조 $G^J = Sp(g,\mathbb{R}) \ltimes H_\mathbb{R}^{(g,h)}$ 를 이용해 시겔의 기본 영역 $\mathcal{F}_g$ 를 시겔-자코비 공간으로 확장함으로써 구성된다.
• 기본 영역 상에서 $G^J$-불변 리만계량은 $ds^2 = \sigma((Y^{-1}dY)^2) + \sigma(\text{Im}\,\Omega \, dZ \, {}^t d\overline{Z})$ 라는 표현을 통해 정의되며, 여기서 $Y = \text{Im}\,\Omega$ 이다.
• 미분 연산자 $\Delta_\Omega = \sigma(\text{Im}\,\Omega \, \partial_Z \, {}^t \partial_{\overline{Z}})$ 가 변환 $\tilde{Z} = (C\Omega + D)^{-1}(Z + \lambda\Omega + \mu)$ 에 대해 유지됨을 확인함으로써, 이 계량이 $\Gamma_{g,h}$ 작용에 대해 불변임을 보인다.
• 스펙트럼 이론은 아벨 다양체 $A_\Omega = \mathbb{C}^{(h,g)} / (\mathbb{Z}^{(h,g)} \times \mathbb{Z}^{(h,g)})$ 가 복소 토러스로 식별되고, 미분형사 $\Phi_\Omega$ 를 통해 표준 푸리에 기저 $E_{A,B}(W) = e^{2\pi i \sigma({}^t A P + {}^t B Q)}$ 가 $T = \mathbb{R}^{(h,g)} \times \mathbb{R}^{(h,g)} / \mathbb{Z}^{(h,g)} \times \mathbb{Z}^{(h,g)}$ 에서 $A_\Omega$ 로 이전됨으로써 발전된다.
• 함수 $E_{\Omega;A,B}$ 는 $\Phi_\Omega$ 를 통해 $E_{A,B}$ 의 역상으로 정의되며, 정규화된 부피 형식 $dv_\Omega$ 를 사용하여 $L^2(A_\Omega)$ 상에서 정규직교성을 확립한다.

실험 결과

연구 질문

• RQ1 자코비 군 $\Gamma_{g,h}$ 가 시겔-자코비 공간 $\mathbb{H}_g \times \mathbb{C}^{(h,g)}$ 에 작용하는 데 대한 기본 영역는 무엇인가?
• RQ2 시겔-자코비 공간의 기본 영역에 대해 $G^J$-불변 리만계량을 어떻게 구성할 수 있는가?
• RQ3 시겔 기본 영역 $\mathcal{F}_g$ 에 속하는 $\Omega$ 와 관련된 아벨 다양체 $A_\Omega$ 상에서 라플라스 연산자의 스펙트럼 분해는 무엇인가?
• RQ4 $\{E_{\Omega;A,B} \mid A,B \in \mathbb{Z}^{(h,g)}\}$ 이 $L^2(A_\Omega)$ 의 완전하거나thonormal 기저를 이루는가?

주요 결과

• 시겔의 기본 영역 $\mathcal{F}_g$ 를 시겔-자코비 공간으로 확장함으로써 $\Gamma_{g,h} \backslash \mathbb{H}_g \times \mathbb{C}^{(h,g)}$ 에 대한 기본 영역가 구성된다.
• 표현식 $ds^2 = \sigma((Y^{-1}dY)^2) + \sigma(\text{Im}\,\Omega \, dZ \, {}^t d\overline{Z})$ 를 통해 $\mathbb{H}_g \times \mathbb{C}^{(h,g)}$ 상에 $G^J$-불변 리만계량이 정의되며, 이는 자코비 군 작용에 대해 유지된다.
• 변환 법칙을 통해 $\partial_Z$ 와 $\partial_{\overline{Z}}$ 가 변환되므로, 라플라스 연산자 $\Delta_\Omega = \sigma(\text{Im}\,\Omega \, \partial_Z \, {}^t \partial_{\overline{Z}})$ 는 $\Gamma_{g,h}$ 작용에 대해 불변이다.
• 함수 $E_{\Omega;A,B}(Z) = e^{2\pi i \sigma({}^t A \, \text{Re}(Z) + {}^t B \, \text{Im}(Z))}$ 는 정규화된 부피 형식 $dv_\Omega$ 에 대해 $L^2(A_\Omega)$ 의 완전하거나thonormal 기저를 이룬다.
• $L^2(A_\Omega)$ 의 스펙트럼 분해는 $L^2(A_\Omega) = \oplus_{A,B \in \mathbb{Z}^{(h,g)}} \mathbb{C} \cdot E_{\Omega;A,B}$ 로 주어지며, 각 $E_{\Omega;A,B}$ 는 $\Delta_\Omega$ 의 고유함수이다.