[논문 리뷰] On Volumes of Arithmetic Quotients of SO(1,n)

Mikhail Belolipetsky|arXiv (Cornell University)|2003. 06. 30.

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

한 줄 요약

이 논문은 Prasad의 체적 공식과 Bruhat-Tits 이론을 활용하여 짝수 $n \geq 4$에 대해 가장 작은 컴acts arithmetic hyperbolic $n$-orbifold를 특정하고, 그 정의가 $\mathbb{Q}[\sqrt{5}]$에서 유일함을 증명하며, 명시적인 구성도 제시한다. 4차원의 경우, 가장 작은 arithmetic hyperbolic 4-manifold에 대한 가능한 후보들을 분류하여, 두 개의 특정 arithmetic group에 대한 낮은 지수의 토퐁 없는 부분군을 계산하는 문제로 탐색 범위를 축소한다. 가장 작은 오비폴드 체적은 명시적으로 계산되었고, 그 기본군은 격자의 안정자로 기술된다.

ABSTRACT

We apply G. Prasad's volume formula for the arithmetic quotients of semi-simple groups and Bruhat-Tits theory to study the covolumes of arithmetic subgroups of SO(1,n). As a result we prove that for any even dimension n there exists a unique compact arithmetic hyperbolic n-orbifold of the smallest volume. We give a formula for the Euler-Poincare characteristic of the orbifolds and present an explicit description of their fundamental groups as the stabilizers of certain lattices in quadratic spaces. We also study hyperbolic 4-manifolds defined arithmetically and obtain a number theoretical characterization of the smallest compact arithmetic 4-manifold.

연구 동기 및 목표

• 짝수 차원 $n \geq 4$에 대해 가장 작은 컴acts arithmetic hyperbolic $n$-orbifold를 특정하는 것.
• 가장 작은 그러한 오비폴드의 기본군을 이차 공간 내 격자의 안정자로 명시적으로 기술하는 것.
• Euler 특성과 수체 정의를 포함한 수론적 불변량을 사용하여 가장 작은 컴acts arithmetic hyperbolic 4-manifold를 특성화하는 것.
• 가장 작은 4-manifold 탐색 문제를 토크션 없는 부분군을 포함한 arithmetic group의 계산 문제로 축소하는 것.

제안 방법

• G. Prasad의 반단순군의 산술적 몫에 대한 체적 공식을 적용하여 $SO(1,n)$의 산술적 부분군의 체적을 계산한다.
• Bruhat-Tits 이론을 사용하여 수체 위에서 정의된 산술적 부분군의 구조를 분석한다.
• $SO(1,n)^o$의 산술적 부분군을 계수 $(1,n)$인 이차형식에서 $\mathcal{O}_k$-정수 격자의 안정자로 구성한다.
• 결과로 얻어진 군이 하이퍼볼릭 $n$-공간에서 이산적으로 작용하도록 하기 위해 이차형식과 수체에 대해 적합성 조건을 도입한다.
• 가장 작은 체적의 오비폴드에 대한 정의 수체를 유 bounds하기 위해 수체의 열거와 클래스 수 계산을 수행한다.
• 가장 작은 4-manifold 탐색 문제를 두 개의 최대 산술군 $\Gamma_1$과 $\Gamma_2$의 낮은 지수의 토크션 없는 부분군을 식별하는 문제로 축소한다.

실험 결과

연구 질문

• RQ1 짝수 $n \geq 4$에 대해 가장 작은 컴acts arithmetic hyperbolic $n$-orbifold가 유일한가? 만약 그렇다면, 어떤 수체에서 정의되는가?
• RQ2 가장 작은 arithmetic hyperbolic $n$-orbifold의 기본군의 명시적 구조는 무엇인가?
• RQ3 Euler 특성과 정의 수체를 사용하여 가장 작은 컴acts arithmetic hyperbolic 4-manifold가 모든 그러한 매니폴드들 중에서 유일하게 특성화될 수 있는가?
• RQ4 산술군이 작은 체적의 하이퍼볼릭 4-orbifold를 유도하기 위해 정의 수체에 대해 필요한 수론적 조건는 무엇인가?
• RQ5 가장 작은 산술적 4-manifold 탐색 문제를 어떻게 계산적으로 타당한 문제로 축소할 수 있는가?

주요 결과

• 모든 짝수 $n \geq 4$에 대해, $\mathbb{Q}[\sqrt{5}]$에서 정의된 가장 작은 체적의 컴acts arithmetic hyperbolic $n$-orbifold가 유일하게 존재한다.
• 가장 작은 컴acts arithmetic hyperbolic 4-orbifold의 체적은 그 기본군의 Euler 특성의 $1/7200$으로 명시적으로 계산된다.
• 가장 작은 4-orbifold의 기본군은 그림 2에 제시된 Coxeter 다이어그램을 가진 Coxeter 군의 방향 보존 부분군이며, 이는 이차 공간 내에서 최대의 $\mathcal{O}_{\mathbb{Q}[\sqrt{5}]}$-격자의 안정자로 나타난다.
• 만약 $\chi(M) \leq 24$ 라면, 가장 작은 컴acts arithmetic hyperbolic 4-manifold는 $\mathbb{Q}[\sqrt{5}]$와 관련된 군 $\Gamma_1$의 인덱스 $7200\chi(M)$인 토크션 없는 부분군이거나, $\mathbb{Q}[\sqrt{2}]$와 관련된 $\Gamma_2$의 인덱스 $11520$인 부분군이어야 한다.
• 클래스 수와 Euler 특성의 상한을 통한 필터링 후 유일하게 남은 후보 두 개는 각각 $\chi = 1/7200$인 $\Gamma_1$과 $\chi = 11/5760$인 $\Gamma_2$이며, 각각 $\mathbb{Q}[\sqrt{5}]$와 $\mathbb{Q}[\sqrt{2}]$에서 정의된다.
• 가장 작은 4-manifold 탐색 문제는 $\Gamma_1$과 $\Gamma_2$의 낮은 지수의 토크션 없는 부분군을 계산하는 문제로 축소되며, $\Gamma_1$은 Coxeter 표현을 갖춰 이러한 계산을 용이하게 한다.