[논문 리뷰] An explicit fundamental domain for the Picard modular group in two complex dimensions

Gábor Francsics, Peter D. Lax|ArXiv.org|2005. 09. 29.

Geometric and Algebraic Topology참고 문헌 12인용 수 12

한 줄 요약

이 논문은 복소 hyperbolic 공간 $\mathbf{CH}^2$ 에서 작용하는 Picard 모듈라 군 $PU(2,1;\mathbb{Z}[i])$ 에 대한 첫 번째 명시적 기본 도메인을 구축한다. 이는 비유계 초구면 모델에서 Siegel 집합 접근법을 사용하여 이루어지며, 좌표 $z_1, z_2$ 와 여덟 개인 명시적 헬름홀트 자동형사상의 자코비안 행렬식을 포함하는 대수적 부등식으로 정의된다. 도메인은 유한 체적, 한 개의 꼬리, 그리고 변환 $S(z_1,z_2) = (i\bar{z}_1, -\bar{z}_2)$ 에 대한 대칭성을 지닌다. 자동형사상 라플라스-벨트라미 연산자의 스펙트럼 이론에의 적용이 가능하다.

ABSTRACT

Our main goal in this paper is to construct the first explicit fundamental domain of the Picard modular group acting on the complex hyperbolic space ${\bf CH}^{2}$. The complex hyperbolic space is a Hermitian symmetric space, its bounded realization is the unit ball in ${\bf C}^2$ equipped with the Bergman metric. The Picard modular group is a discontinuous holomorphic automorphism subgroup of $SU(2,1)$ with Gaussian integer entries. This fundamental domain has finite volume, one cusp, explicitly given boundary surfaces and an interesting symmetry.

연구 동기 및 목표

• 복소 hyperbolic 공간 $\mathbf{CH}^2$ 에서 작용하는 Picard 모듈라 군 $PU(2,1;\mathbb{Z}[i])$ 에 대한 첫 번째 완전히 명시적인 기본 도메인을 구축하는 것.
• 도메인을 $\mathbb{C}^2$ 좌표에서의 부등식을 사용하여 기하학적이고 대수적으로 기술하는 것.
• 여덟 개의 특정 헬름홀트 자동형사상 $G_1, \dots, G_8$ 이 도메인의 경계와 구조를 정의하는 데 수행하는 역할를 규명하는 것.
• 도메인이 변환 $S(z_1,z_2) = (i\bar{z}_1, -\bar{z}_2)$ 에 대해 불변이며, 단일 꼬리가 있음을 증명하는 것.
• 이 도메인 위에서 자동형사상 라플라스-벨트라미 연산자의 스펙트럼 및 산산분석을 위한 기초를 마련하는 것. 이는 동반 논문 [FL3] 에서 발전된 바 있다.

제안 방법

• 구성은 이전 작업 [FL1, FL2] 에서 얻은 반명시적 기본 도메인을 기반으로 하며, $\mathbf{CH}^2$ 의 비유계 초구면 모델에서 Siegel 집합을 이용해 확장한다.
• 기본 도메인 $\mathcal{F}$ 는 다음과 같은 부등식계로 정의된다: $\Re e z_1$, $\Im m z_1$, $\Re e z_1 + \Im m z_1 \leq 1$ 의 범위 제약, $|\Re e z_2| \leq 1/2$, $|z_2|^2 \geq 1$, 그리고 여덟 개의 이차 부등식 $Q_j(z) \geq 1$ 또는 $\geq 2$.
• 여덟 개의 헬름홀트 자동형사상 $G_j$ 는 생성자 $J$, $P_r$, $N_{(a,b)}$, $A_{\sqrt{2}}$, $M_c$ 를 사용하여 명시적으로 구성되며, $G_1 = J$ 이고 나머지는 $J$, 이동, 확대 행렬의 조합으로 구성된다.
• 자코비안 행렬식 조건 $|\det G_j'(z)|^2 \leq 1$ 을 $j=2,\dots,8$ 에 대해 사용하여 도메인을 정밀화함으로써, 관련 있는 변환만 기여하도록 보장한다.
• 이 방법은 자동형사상의 확대 매개변수(1, $\sqrt{2}$, 2) 를 분석하고, $|\det G_j'(z)| \leq 1$ 이거나 알려진 $G_j$ 와 일치하는 경우에만 도메인의 경계에 영향을 미친다는 것을 증명하는 데 의존한다.
• 대칭성은 $S$ 가 정의 부등식을 치환하고 도메인을 유지함으로써 검증되며, $S^2 = I$ 를 만족한다.

실험 결과

연구 질문

• RQ1 복소 hyperbolic 공간 $\mathbf{CH}^2$ 에서 작용하는 Picard 모듈라 군 $PU(2,1;\mathbb{Z}[i])$ 에 대한 기본 도메인의 명시적 기하학적 및 대수적 구조는 무엇인가?
• RQ2 기본 도메인은 $\mathbb{C}^2$ 좌표에서의 부등식과 군 원소의 자코비안 행렬식을 어떻게 기술할 수 있는가?
• RQ3 여덟 개의 특정 헬름홀트 자동형사상 $G_1, \dots, G_8$ 이 도메인의 경계를 정의하는 데 수행하는 역할는 무엇인가?
• RQ4 기본 도메인은 변환 $S(z_1,z_2) = (i\bar{z}_1, -\bar{z}_2)$ 에 대해 불변인가? 또, 어떤 대칭성을 지닌다?
• RQ5 도메인의 구조는 자동형사상 라플라스-벨트라미 연산자의 스펙트럼 및 산산분석을 어떻게 지원하는가?

주요 결과

• 기본 도메인 $\mathcal{F}$ 는 다음과 같은 부등식으로 명시적으로 정의된다: $0 \leq \Re e z_1$, $0 \leq \Im m z_1$, $\Re e z_1 + \Im m z_1 \leq 1$, $|\Re e z_2| \leq 1/2$, $|z_2|^2 \geq 1$, 그리고 $j=1,\dots,8$ 에 대해 $Q_j(z) \geq 1$ 또는 $Q_j(z) \geq 2$ 를 만족하는 여덟 개의 이차 부등식. 여기서 $Q_j$ 는 $z_1$, $z_2$, 상수의 선형 조합을 포함한다.
• 도메인은 유한 체적, 한 개의 꼬리, 그리고 변환 $S(z_1,z_2) = (i\bar{z}_1, -\bar{z}_2)$ 에 대해 불변이며, 이는 정의 부등식을 치환한다.
• 여덟 개의 헬름홀트 자동형사상 $G_1 = J$, $G_2, \dots, G_8$ 는 모두 필수적이다. 어느 하나라도 생략하면 $\mathcal{F}$ 보다 엄밀히 큰 집합이 되며, 이는 도메인 내의 점 $P_1, \dots, P_8$ 을 테스트하여 검증되었다.
• 도메인은 무한대에 꼬리를 포함하며, $\Im m z_2 \geq 1 + 2\sqrt{2}$ 인 경우, 좌표 제약 조건을 만족하는 $\{z \in \mathbf{C}^2 : \text{좌표 범위 조건 충족}, \Im m z_2 \geq a\}$ 는 $\mathcal{F}$ 에 포함된다. 이는 꼬리 방향으로의 비유계성을 확인한다.
• 자코비안 행렬식 조건 $|\det G_j'(z)|^2 \leq 1$ 은 $j=2,\dots,8$ 에 대해 필수적이며 중복되지 않으며, 일부 자동형사상이 경계에 기여하지 않도록 차단한다.
• 도메인의 경계는 여덟 개의 표면으로 이루어지며, 이는 여덟 개의 자동형사상에 대응한다. $z_1 = 0$ 에서의 이차 차원 모서리는 일반적인 모듈라 군 $PSL(2,\mathbb{Z})$ 의 표준 기본 도메인과 일치한다.