[논문 리뷰] Geometric finiteness in negatively pinched Hadamard manifolds

Michael Kapovich, Beibei Liu|arXiv (Cornell University)|2018. 01. 24.

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

한 줄 요약

이 논문은 음의 곡률이 날카롭게 떨어지는 하다르드 다양체의 이동변환 부분군으로 보나혼의 기하학적으로 무한한 클라인 군에 대한 특성화를 일반화한다. 이는 이산 부분군이 기하학적으로 무한한지 여부를 닫힌 지오데식의 시퀀스가 모든 컴actsubset을 빠져나가는지 여부로 판별할 수 있음을 증명하며, 이러한 군들은 연속체의 기수를 가진 비형상 극한점 집합을 가짐을 보이며, 비스킷의 정리가 고계수 대칭 공간과 곡률이 날카롭게 떨어지는 설정으로 확장됨을 보여준다.

ABSTRACT

In this paper, we generalize Bonahon's characterization of geometrically infinite torsion-free discrete subgroups of PSL(2, $\mathbb{C}$) to geometrically infinite discrete subgroups $Γ$ of isometries of negatively pinched Hadamard manifolds $X$. We then generalize a theorem of Bishop to prove that every discrete geometrically infinite isometry subgroup $Γ$ has a set of nonconical limit points with the cardinality of the continuum.

연구 동기 및 목표

• 하이퍼볼릭 3차원 공간에서 보나혼의 기하학적으로 무한한 이산 부분군에 대한 특성화를 일반적으로 음의 곡률이 날카롭게 떨어지는 하다르드 다양체로 확장한다.
• 기하학적으로 무한한 군에서 비가산 많은 비형상 극한점의 존재를 보여주는 비스킷의 정리를 곡률이 날카롭게 떨어지는 곡률이 있는 다양체의 설정으로 일반화한다.
• 지오데식의 도약, 볼록핵의 구조, 극한집합 분해를 통해 기하학적 유한성의 등가 특성화를 확립한다.
• 이러한 다양체의 볼록핵의 비구심형 끝에서 극한집합의 구조를 분석하여 비형상점의 기수를 보여준다.

제안 방법

• 시각적 컴actsubset화와 볼록핵 기하학을 사용하여 보나혼의 지오데식 도약 기준을 음의 곡률이 날카롭게 떨어지는 하다르드 다양체로 적응한다.
• 지오데식 사잇점의 방향으로 궤도점들이 균일한 이웃에 수렴하는 방식으로 형상 극한점의 개념을 사용한다.
• 정 stabilizer에 의해 극한집합에서 고정점을 뺀 부분의 몫이 컴actsubset임을 통해 유계 파라볼릭 고정점을 정의한다.
• 볼록핵의 비구심형 성분의 위상 구조를 분석하여 컴actsubset을 빠져나가는 닫힌 지오데식의 시퀀스를 구성한다.
• 모든러스의 보편 커버로 적절한 조각지오데식 경로를 올리고, 중첩된 컴actsubset과 지오데식 극한을 통해 끝점이 극한집합에 속함을 보여준다.
• 하이퍼볼릭 삼각법(예: 역双코사인 및 sinh의 경계)을 사용한 거리 제어를 위한 메트릭 비교 방법을 적용하여 마르트라의 이웃를 구성한다.

실험 결과

연구 질문

• RQ1 보나혼의 기하학적으로 무한한 군에 대한 지오데식 도약 기준은 하이퍼볼릭 3차원 공간에서 고차원의 음의 곡률이 날카롭게 떨어지는 하다르드 다양체로 일반화될 수 있는가?
• RQ2 기하학적으로 무한한 군에서 비가산 많은 비형상 극한점의 존재를 보여주는 비스킷의 결과는 곡률이 날카롭게 떨어지는 곡률이 있는 다양체의 설정으로 일반화될 수 있는가?
• RQ3 이러한 다양체의 볼록핵의 비구심형 끝에서 극한집합의 위상적 및 측도론적 구조는 어떠한가?
• RQ4 볼록핵, 끝, 극한집합 분해를 통한 기하학적 유한성의 등가 정의는 곡률이 날카롭게 떨어지는 설정으로 어떻게 일반화되는가?
• RQ5 음의 곡률이 날카롭게 떨어지는 하다르드 다양체의 등급 이동변환 이산 부분군에서 비형상 극한점의 기수는 얼마인가?

주요 결과

• 음의 곡률이 날카롭게 떨어지는 하다르드 다양체의 이동변환 이산 부분군 Γ는 M = X/Γ에서 모든 컴actsubset을 빠져나가는 닫힌 지오데식의 시퀀스가 존재할 때이고, 그때에만 기하학적으로 무한하다.
• 모든 기하학적으로 무한한 이산 부분군 Γ의 비형상 극한점 집합은 연속체의 기수를 가진다.
• 기하학적 유한성은 Γ의 모든 극한점이 형상 극한점이거나 파라볼릭 고정점이어야 한다는 조건과 등가이며, 비스킷과 비스킷-마스킷의 정리를 일반화한다.
• 볼록핵의 비구심형 부분의 비구심형 끝 e에 대해 극한집합 Λ(e)는 연속체의 기수를 가진다.
• 비구심형 부분의 비구심형 끝 주변의 모든 이웃 C에 대해 극한집합 Λ(C)는 연속체의 기수를 가진다.
• 비구심형 부분의 비구심형 성분의 비유계 성분의 극한집합은 연속체 기수의 부분집합을 포함하며, 이러한 영역에서 비가산 많은 비형상 극한점이 존재함을 의미한다.