[논문 리뷰] Cusps of arithmetic orbifolds

D. B. McReynolds|ArXiv.org|2006. 06. 22.

Geometric and Algebraic Topology참고 문헌 28인용 수 4

한 줄 요약

이 논문은 부분군 분리성과 기하학적 군론을 이용하여 산술적 실수, 복소수, 허수 하이퍼볼릭 오비폴드에서의 코브 크로스세션을 완전히 분류한다. 코브 크로스세션은 허르츠베르크 또는 허수 허르츠베르크 군에 기반한 거의 평탄한 다양체임을 규명하고, 실수 하이퍼볼릭 다양체에 대한 Farrell과 Zdravkovska의 추측과는 달리, 모든 평탄한 다양체가 복소수 또는 허수 설정에서 코브 크로스세션으로 나타나지 않는다는 것을 증명한다.

ABSTRACT

This thesis investigates cusp cross-sections of arithmetic real, complex, and quaternionic hyperbolic $n$--orbifolds. We give a smooth classification of these submanifolds and analyze their induced geometry. One of the primary tools is a new subgroup separability result for general arithmetic lattices.

연구 동기 및 목표

• 산술적 실수, 복소수, 허수 하이퍼볼릭 (n+1)-오비폴드의 코브 크로스세션을 분류하기.
• 높은 랭크 하이퍼볼릭 기하에서 평탄하거나 거의 평탄한 다양체 중 어떤 것이 코브 크로스세션으로 나타날 수 있는지 규명하기.
• Farrell–Zdravkovska의 추측이 복소수 및 허수 하이퍼볼릭 설정으로 어떻게 일반화되는지 규명하기.
• 산술 오비폴드에서 코브 형태를 통한 경계의 존재에 대한 기하학적 장벽을 설정하기.
• 코브 기하에서 유니타리 애파인 군의 산술성에 대한 필요 및 충분 조건을 제시하기.

제안 방법

• 일반 산술 격자에 대한 새로운 부분군 분리성 결과를 기본 도구로 활용한다.
• 핵심 제약과 리 군의 k-형식을 사용하여 SU(n,1) 및 Sp(n,1)에서의 산술 격자를 분석한다.
• Isom(H_X^n)의 Iwasawa 분해을 적용하여 코브 기하와 수평면 교차를 연구한다.
• 유니타리 애파인 군과 그들의 등급 k-단형사상이 등급 군에 들어가는 방식으로 코브 크로스세션을 분석한다.
• 호로노미 정리를 적용하여 코브 기하와 기본군의 구조를 연결한다.
• 행렬 방정식 시스템 (식 6.2)를 해결하여 코브 군의 명시적 표현을 구성한다.

실험 결과

연구 질문

• RQ1 산술적 복소수 또는 허수 하이퍼볼릭 오비폴드의 코브 크로스세션으로 나타나는 평탄하거나 거의 평탄한 다양체는 무엇인가?
• RQ2 Farrell–Zdravkovska의 추측—모든 평탄한 n-다양체가 코브 크로스세션으로 나타난다—는 복소수 및 허수 하이퍼볼릭 기하에서 어느 정도 유효한가?
• RQ3 X = R, C, H 인 산술적 X-하이퍼볼릭 오비폴드에서 코브 크로스세션의 기하학적 및 위상수학적 구조는 어떻게 되는가?
• RQ4 코브 기하의 맥락에서 유니타리 애파인 군의 산술성에 대한 필요 및 충분 조건은 무엇인가?
• RQ5 거의 평탄한 다양체의 모듈리 공간에서 코브 형태의 조밀도를 기하학적으로 특성화할 수 있는가?

주요 결과

• 모든 n ≥ 2에 대해, 산술적 복소 하이퍼볼릭 (2n+2)-오비폴드의 코브 크로스세션인 무한한 집합의 닫힌 거의 평탄한 (2n+1)-다양체가 존재한다.
• 산술적 복소 하이퍼볼릭 오비폴드의 코브 크로스세션은 (2n+1)-차원 허르츠베르크 군에 기반한 거의 평탄한 다양체이다.
• 산술적 허수 하이퍼볼릭 오비폴드의 코브 크로스세션은 (4n+3)-차원 허수 허르츠베르크 군에 기반한 거의 평탄한 다양체이다.
• Farrell–Zdravkovska의 추측은 복소수 또는 허수 하이퍼볼릭 설정으로 확장되지 않는다: 모든 평탄한 다양체가 코브 크로스세션으로 나타나지 않는다.
• 등급 k-단형사상에 의한 등급 군의 등급성에 대한 필요 및 충분 조건이 도출되었다.
• 식 (6.2)에 대한 명시적 행렬 해를 구성하여, 특정 호로노미와 교환관계를 가진 코브 군의 표현을 얻었다.