[논문 리뷰] On finite volume, negatively curved manifolds

T. Tâm Nguyễn Phan|arXiv (Cornell University)|2011. 10. 18.

Geometric and Algebraic Topology참고 문헌 8인용 수 7

한 줄 요약

이 논문은 모든 차원 $n \geq 2$ 에서 유한 체적, 음의 곡률을 가진 다성분의 다양체를 구성하며, 기본군이 무한 생성이고 비타임 엔드를 갖는다. 이는 무한정 음의 곡률 하에서 타임성(temeness)이 성립하지 않음을 보여준다. 이 논문은 곡률 성장과 체적 감소 사이의 조건을 규명하여 타임성을 보장하며, 이러한 다양체의 범용 커버가 가시성 공리(visibility axiom)를 만족하지 못할 수 있음을 밝혀 기하적 위상수학의 가정에 도전한다.

ABSTRACT

We study noncompact, complete, finite volume, negatively curved manifolds $M$. We construct $M$ with infinitely generated fundamental groups in all dimensions $n \geq 2$. We construct $M$ whose cusp cross sections are compact hyperbolic manifolds in all dimension $n\geq 3$. In contrast we show that if sectional curvature $-1

연구 동기 및 목표

• 곡률 착합 조건을 완화했을 때, 유한 체적, 음의 곡률을 가진 다양체의 위상수학적 및 기하학적 성질을 조사한다.
• 기본군이 무한 생성이고 비타임 엔드를 갖는 이러한 다양체의 예를 구성한다.
• 위상수학적 유한성(타임성)을 보장하는 곡률 및 체적 감소 조건을 규명한다.
• 유한 체적, 음의 곡률 다양체의 범용 커버가 가시성 공리를 만족하는지 조사한다.
• 타임성, 유한 체적, 음의 곡률 다양체에서의 캐스프 크로스 세션의 가능한 형태를 분류한다.

제안 방법

• 초기 타원형 다양체에서의 수술을 통해 $n$-차원 다양체 $M$ 을 구성하며, 지오데식 루프 $H$ 를 제거하여 비타임 엔드와 무한정 음의 곡률을 생성한다.
• 다양체의 $H$ 주변의 실린더 영역에서 메트릭 $g = \cosh^2(r)du^2 + \sinh^2(r)d\theta^2 + f(r)^2dr^2$ 를 사용하며, $f(r)$ 는 볼록이고 $r \to 0$ 일 때 발산한다.
• 회전 표면에서 지오데식선을 따라 각운동량 보존 원리를 적용하여 지오데식선의 점근적 행동을 분석한다.
• 초기 각도 $\alpha_0$ 가 $\rho_0 \sin \alpha_0 < h$ 를 만족하는 지오데식선은 표면에 머물며 무한대에서 공통된 점으로 수렴하지 않는다.
• 두 지오데식선의 이상 끝점 사이를 연결하는 지오데식선이 존재하지 않음을 증명하여, 범용 커버에서 가시성 공리의 실패를 보여준다.
• 3차원에서의 증명을 지오데식 루프를 포함하는 전적으로 기하학적 3차원 부분다양체로 제한하여 고차원으로 확장한다.

실험 결과

연구 질문

• RQ1 유한 체적, 음의 곡률 다양체가 무한 생성된 기본군과 비타임 엔드를 가질 수 있는가?
• RQ2 무한 체적, 음의 곡률 다양체에서 타임성을 보장하는 곡률 성장과 체적 감소 조건은 무엇인가?
• RQ3 유한 체적, 음의 곡률 다양체의 범용 커버가 가시성 공리를 만족하지 못할 수 있는가?
• RQ4 타임성, 유한 체적, 음의 곡률 다양체에서 캐스프 크로스 세션으로 나타날 수 있는 컴팩트 다양체는 어떤 것인가?
• RQ5 체적 감소와는 무관하게 곡률 성장 속도가 충분히 느리면 위상수학적 유한성이 보장되는가?

주요 결과

• 모든 $n \geq 2$ 에 대해, 무한한 엔드를 가지며 $K(M) < -1$ 인 완전하고, 유한 체적, 음의 곡률 $n$-다양체가 존재함을 보여, 곡률 착합 조건이 없이 타임성이 성립하지 않음을 시사한다.
• 모든 $n > 2$ 에 대해, 두 엔드를 가지며 유한 체적, 음의 곡률 다양체이면서 기본군이 무한 생성이고, 엔드가 射선과 쿼드라틱-유사가 아닌 다양체가 존재한다.
• 곡률 성장과 체적 감소 조건 $\lim_{r \to \infty} b_p(r)^n \cdot \text{Vol}(A_p(r))^2 = 0$ 가 성립하면 다양체의 타임성이 보장된다.
• 임의의 비감소 함수 $f$ 에 대해, $b_p(r) < f(r)$ 이고 기본군이 무한 생성인 유한 체적, 음의 곡률 다양체가 존재함을 보여, 곡률 성장만으로는 유한성이 보장되지 않음을 시사한다.
• 특정 유한 체적, 음의 곡률 다양체의 범용 커버는 가시성 공리를 만족하지 않으며, 이는 무한대 경계에서 연결되지 않는 지오데식선을 통해 입증된다.
• 타임성, 유한 체적, 음의 곡률 다양체의 캐스프 크로스 세션은 모든 차원 $n \geq 3$ 에서 컴팩트 하이퍼볼릭 다양체가 될 수 있다.