[논문 리뷰] Immersing almost geodesic surfaces in a closed hyperbolic three manifold

Jeremy Kahn, Vladimir Marković|arXiv (Cornell University)|2009. 10. 28.

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

한 줄 요약

이 논문은 푸앵카르 표면의 준등각 변형과 프레임 플로우의 에르고딕성에 기반하여, 폐쇄된 쌍곡 3차원 다양체에 포함된 폐쇄적이고 임베딩된 표면을 구성함으로써 기본군에 대한 유도 사상이 단사가 되도록 한다. 핵심 결과는 (1+ε)-준지오데식이면서 본질적인 표면의 존재를 보여주며, 이는 모든 폐쇄된 쌍곡 3차원 다양체가 기본군 사상이 단사인 본질적인 임베딩 표면을 포함하고 있음을 증명한다.

ABSTRACT

Let M be a closed hyperbolic three manifold. We construct closed surfaces which map by immersions into M so that for each one the corresponding mapping on the universal covering spaces is an embedding, or, in other words, the corresponding induced mapping on fundamental groups is an injection.

연구 동기 및 목표

• 모든 폐쇄된 쌍곡 3차원 다양체가 기본군에 대한 유도 사상이 단사인 폐쇄적이고 임베딩된 표면을 포함하고 있음을 증명하는 것.
• 제어된 기하학적 데이터와 호몰로지 데이터를 가진 기울어진 팬츠의 접합을 통해 그러한 표면을 구성하는 것.
• 복소수 반장의 길이와 비틀림-굽힘 매개변수를 사용하여 기본군에 대한 유도 사상의 단사성을 보장하는 조건을 설정하는 것.
• 3차원 다양체의 단위 접선다발에서의 프레임 플로우를 사용하여 기하학적 성질이 균일분포를 가지는 기울어진 팬츠에 대한 측도를 구성하는 것.
• 표면의 유니버설 커버링의 경계 사상이 준등각 사상으로 연장됨을 보여, 표면가 준지오데식임을 보장하는 것.

제안 방법

• 크레인만 군 $ \mathcal{G} $ 내부에 $ g \circ F_\epsilon \circ g^{-1} $ 형태의 준푸앵카르 군을 구성하되, $ F_\epsilon $ 는 긴 캄프 길이와 비틀림 +1 을 가진 푸앵카르 군이다.
• 3차원 다양체 $ \mathbf{M}^3 $ 의 단위 접선다발에서의 프레임 플로우를 사용하여, 프레임에 대한 $ \mathbb{C} $-행동을 정의하고 기하학적 성질이 균일분포를 가지는 기울어진 팬츠에 대한 측도를 구성한다.
• 지오데식 주위의 기하학을 추적하기 위해, $ \operatorname{foot}_\gamma(\Pi_\alpha) \in \mathbb{C}/(2\pi i\mathbb{Z} + \mathbf{hl}(\gamma)\mathbb{Z}) $ 를 정의한다.
• 각 지오데식 $ \gamma $ 에 대해, $ |\operatorname{foot}_{\gamma}(\Pi_{\sigma_\gamma(\alpha)}) - \tau(\operatorname{foot}_{\gamma}(\Pi_\alpha))| < \epsilon/R $ 를 만족하는 팬츠의 순열 $ \sigma_\gamma $ 를 정의하며, 여기서 $ \tau(n) = n + 1 + i\pi $ 이다.
• 유클리드 측도에 대한 측도 $ \beta(\delta) $ 의 라돈-니코다임 도함수를 정의하고, 이가 $ r $ 에 대해 지수적으로 1에 가까워짐을 보인다.
• 프레임에 대한 $ \mathbb{C} $-행동을 사용하여, 이 도함수가 토러스 $ N^1(\sqrt{\delta}) $ 전역에서 일정함을 보여, 균일분포를 유도하고 원하는 표면의 구성이 가능함을 보장한다.

실험 결과

연구 질문

• RQ1 폐쇄된 쌍곡 3차원 다양체에 기본군에 대한 유도 사상이 단사가 되는 폐쇄적이고 임베딩된 표면을 구성할 수 있는가?
• RQ2 팬츠 분해와 접합 데이터의 기하학적 조건이 기본군에 대한 유도 사상의 단사성을 보장하는가?
• RQ3 프레임 플로우를 사용하여 균일분포 성질을 가지는 기울어진 팬츠에 대한 측도를 구성할 수 있는가?
• RQ4 준등각 경계 사상은 표면가 준지오데식이자 본질적임을 보장하는 데 어떻게 활용될 수 있는가?
• RQ5 복소수 반장의 길이와 비틀림-굽힘 매개변수의 역할은 기본군 사상의 단사성을 제어하는 데 어떤 기여를 하는가?

주요 결과

• 모든 $ \epsilon > 0 $ 에 대해, 리만 표면 $ S_\epsilon = \mathbb{H}^2 / F_\epsilon $ 와 $ (1+\epsilon) $-준등각 사상 $ g $ 가 존재하여 $ g \circ F_\epsilon \circ g^{-1} \subset \mathcal{G} $ 를 만족하며, 표면이 $ \mathbf{M}^3 $ 에 임베딩된다.
• 결과로 얻어진 표면 $ f(S_\epsilon) \subset \mathbf{M}^3 $ 는 임베딩된 $ \epsilon $-준지오데식 부분표면이며, 유도 사상 $ f_*: \pi_1(S_\epsilon) \to \pi_1(\mathbf{M}^3) $ 는 단사적이다.
• 복소수 반장의 길이가 $ |\mathbf{hl}(C) - R| < \epsilon $ 를 만족하고 비틀림-굽힘 값이 $ |s(C) - 1| < \epsilon/R $ 를 만족할 경우, 큰 $ R > R(\epsilon) $ 에 대해 구성이 성공한다.
• 프레임 플로우를 통해 구성된 기울어진 팬츠에 대한 측도는 균일분포를 가지며, 관련 측도 $ \beta(\delta) $ 의 라돈-니코다임 도함수는 흐름의 길이 척도 $ r $ 에 대해 지수적으로 1에 가까워진다.
• 경계 사상 $ \partial\widetilde{f} $ 는 $ \partial\mathbb{H}^3 $ 에서 $ (1 + K_0\epsilon) $-준등각 사상으로 연장되며, 표면가 준등각적으로 푸앵카르 표면에 가까워짐을 보장한다.
• 프레임에 대한 $ \mathbb{C} $-행동은 프레임 플로우의 구조를 유지하며, 토러스 $ N^1(\sqrt{\delta}) $ 전역에서 일정한 라돈-니코다임 도함수를 도출할 수 있도록 해주어, 구성의 성공을 보장한다.