[논문 리뷰] Bianchi Orbifolds of Small Discriminant

Allen Hatcher|ArXiv.org|1999. 06. 10.

Geometric and Algebraic Topology참고 문헌 6인용 수 14

한 줄 요약

이 논문은 음수 판별식 $D < 0$ 이며 $D > -100$ 인 허수 이차체 $\mathbb{Q}(\sqrt{D})$ 에 대한 Bianchi 오비폴드 $X_D = \mathcal{H}^3 / \mathrm{PGL}_2(\mathcal{O}_D)$ 의 콪actification $\widehat{X}_D$ 를 분류한다. Riley의 Ford 기본 영역에서 얻은 계산 자료를 활용하여, $\widehat{X}_D = S^3$ 가 되는 $D$ 의 정확히 19개의 값이 있음을 밝혀내었고, 오비폴드 구조와 관련된 분지 덮개 $Y_D = \mathcal{H}^3 / \mathrm{PSL}_2(\mathcal{O}_D)$ 를 완전히 기술함으로써 기하군론 및 코homological 성질과의 연결 고리를 드러냈다.

ABSTRACT

This brief report (6 pages) was written in 1983 but never published. It concerns the hyperbolic 3-orbifolds obtained as quotients of hyperbolic 3-space by the group of invertible 2 by 2 matrices whose entries are integers in the imaginary quadratic extension of Q of discriminant D. For values D &gt; -100 the topological type of this orbifold is tabulated, and in the cases when the topological type is a punctured 3-sphere, the singular locus of the orbifold is drawn. A few miscellaneous comments about these orbifolds are included. The tables and pictures are based on Bob Riley's computer calculations of Ford domains and face pairings. Nothing is said about later developments after 1983. The pictures are also viewable on my webpage in a perhaps more convenient format; see http://math.cornell.edu/~hatcher

연구 동기 및 목표

• 음수 판별식 $D < 0$ 인 허수 이차체 $\mathbb{Q}(\sqrt{D})$ 에 대해, Bianchi 오비폴드 $X_D = \mathcal{H}^3 / \mathrm{PGL}_2(\mathcal{O}_D)$ 의 콤팩티피케이션 $\widehat{X}_D$ 가 3차원 구면 $S^3$ 와 위상동형이 되는 경우를 규명하는 것.
• $\widehat{X}_D = S^3$ 인 경우에 대해, $X_D$ 상의 오비폴드 구조를 명시적으로 기술하는 것. 특히 $\mathrm{PGL}_2(\mathcal{O}_D)$ 내의 토크션 원소들의 축으로 형성된 특이점 집합을 포함한다.
• $Y_D = \mathcal{H}^3 / \mathrm{PSL}_2(\mathcal{O}_D) \to X_D$ 의 2겹 분지 덮개의 위상형질과 코homological 성질을 분석하는 것.
• $X_D$ 와 $Y_D$ 에서 완전히 기하학적이고 비압축 가능한 표면의 존재성과 기하학적 의의를 조사하는 것. 특히 쿠스피드럴 코homology 와의 관계를 중심으로 한다.

제안 방법

• H^3 상에서 $\mathrm{PGL}_2(\mathcal{O}_D)$ 가 작용하는 Riley의 컴퓨터 생성된 Ford 기본 영역을 활용하며, 이는 군 원소들을 통한 면의 식별을 포함한다.
• 기하학적 시각화 기법을 사용하여 Ford 영역의 조합론적 자료로부터 콤팩티피케이션된 오비폴드 $\widehat{X}_D$ 의 위상학적 구조를 재구성한다.
• 특이점 집합을 $\mathrm{PGL}_2(\mathcal{O}_D)$ 내의 토크션 원소들의 고정점 축의 상으로 간주하며, 모서리에 표기된 값은 각 회전의 차수를 나타낸다.
• 지수 2 부분군인 $\mathrm{PSL}_2(\mathcal{O}_D)$ 의 작용을 고려하여 분지 덮개 $Y_D \to X_D$ 를 구성하며, 쿠스프의 행동이 덮개의 유형을 결정한다.
• 호모로지 $H^1$ 과 $H^2$ 와 같은 위상적 불변량을 적용하여 쿠스피드럴 코homology 를 탐지하고, $Y_D$ 의 기하학적 성질을 유추한다.
• 오비폴드 다이어그램 내의 반사 및 회전 대칭성을 활용하여, 특히 $\mathrm{PGL}_2(\mathcal{O}_D)$ 를 정규부분군으로 포함하는 군 $G_D$ 를 통한 갈로아 이론적 확장의 존재를 유추한다.

실험 결과

연구 질문

• RQ1 판별식 $D < 0$ 이며 $D > -100$ 인 경우에 대해, Bianchi 오비폴드 $X_D$ 의 콤팩티피케이션 $\widehat{X}_D$ 가 $S^3$ 와 위상동형이 되는 경우는 언제인가?
• RQ2 모든 $\widehat{X}_D = S^3$ 인 경우에 대해, $X_D$ 상의 명시적 오비폴드 구조는 무엇이며, 특히 특이점 집합과 토크션 원소의 차수 구성은 어떻게 되는가?
• RQ3 $Y_D = \mathcal{H}^3 / \mathrm{PSL}_2(\mathcal{O}_D)$ 가 $X_D$ 와 어떻게 관련되어 있으며, $\widehat{X}_D = S^3$ 인 각 $D$ 에 대해 그 위상형질은 무엇인가?
• RQ4 어느 $Y_D$ 다각형이 쿠스피드럴 코homology 를 가지지 않으며, 이는 기하학적 및 산술적 구조에 대해 어떤 의미를 갖는가?
• RQ5 오비폴드 $X_D$ 는 비틀림 없는 표면의 계층적 분해로 분해될 수 있는가? 이는 $\mathrm{PGL}_2(\mathcal{O}_D)$ 의 군 구조에 대해 어떤 의미를 갖는가?

주요 결과

• 범위 $-100 < D < 0$ 내에서 $\widehat{X}_D = S^3$ 가 되는 $D$ 는 정확히 19개이며, 그 값은 $D = -3, -4, -7, -8, -11, -15, -19, -20, -23, -24, -31, -35, -39, -40, -43, -47, -51, -52, -55$ 이다.
• 이 19개의 경우에 대해 오비폴드 구조는 명시적으로 기술된다: 특이점 집합은 토크션 원소의 차수로 표시된 모서리가 있는 임bedded 그래프로 구성되며, 논문의 수반 그림들에서 전체적인 구조가 시각화되어 있다.
• 분지 덮개 $Y_D = \mathcal{H}^3 / \mathrm{PSL}_2(\mathcal{O}_D)$ 는 $D = -3, -4$ 에서는 위상적으로 $S^3$ 이며, $D = -7, -8, -11, -19$ 에서는 3차원 구 $B^3$ 이며, 더 큰 $D$ 에 대해서는 점점 더 복잡한 연결합 $S^1 \times D^2$, $T^2 \times I$, $S^1 \times S^2$ 등을 포함한다.
• 19개의 경우 중 14개에서 $\widehat{X}_D = S^3$ 이면, $Y_D$ 는 쿠스피드럴 코homology 를 가지지 않으며, 이는 $H^1(Y_D; \mathbb{Z}) \to H^1(\partial Y_D; \mathbb{Z})$ 가 단사임을 의미한다. 이 성질은 모든 $D < 0$ 중에서 이 $D$ 값들에서만 성립한다.
• $D = -84$ 에 대해 오비폴드 $X_D$ 는 $\widehat{X}_D = S^1 \times S^2$ 이며, 특이점 집합은 토러스 위에 존재하는 주기적 그래프로 구성되며, 이는 다각형을 두 개의 솔리드 토러스로 분해한다. 이에 $\mathbb{Z}_2 \times \mathbb{Z}_2$ 몫을 취하면 $S^3$ 이 된다.
• $D \neq -3, -4$ 인 19개의 오비폴드 $X_D$ 는 $\widehat{X}_D = S^3$ 이며, Haken이며 비틀림 없는 표면의 계층적 분해를 가지며, 이는 유한부분군 $\Gamma \subset SO(3)$ 에 대한 $\mathbb{R}^3 / \Gamma$ 의 몫으로 분해된다. 이에 따라 군 $\mathrm{PGL}_2(\mathcal{O}_D)$ 는 $\mathrm{PSL}_2(\mathbb{Z})$ 를 중심으로 하는 반복된 자유곱의 병합 구조로 나타난다.