[논문 리뷰] The Smale conjecture for Seifert fibered spaces with hyperbolic base orbifold

Darryl McCullough, Teruhiko Soma|arXiv (Cornell University)|2010. 05. 27.

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

한 줄 요약

이 논문은 초구면 기반 오비폴드를 가진 세이페르트 섬유화된 3차원 다각체에 대해 스메일 추측을 증명하며, 기본군의 중심이 자명하거나 무한 순환군이면 각각 미분구성의 항등성분이 수축 가능하거나 원주와 호모토피 동치임을 보여준다. 결과적으로, $\Theta^2\times\mathbb{R}$ 또는 $\widetilde{\mathrm{SL}_2}(\mathbb{R})$ 기하학을 가진 비하켄 다각체에 대해 등장군과 전체 미분군 사이에 호모토피 동치가 성립한다.

ABSTRACT

Let M be a closed orientable Seifert fibered 3-manifold with a hyperbolic base 2-orbifold, or equivalently, admitting a geometry modeled on H^2 imes R or the universal cover of SL(2,R). Our main result is that the connected component of the identity map in the diffeomorphism group Diff(M) is either contractible or homotopy equivalent to the circle, according as the center of the fundamental group of M is trivial or infinite cyclic. Apart from the remaining case of non-Haken infranilmanifolds, this completes the homeomorphism classifications of Diff(M) and of the space of Seifert fiberings of M for all compact orientable aspherical 3-manifolds. We also prove that when the base orbifold of M is hyperbolic with underlying manifold the 2-sphere with three cone points, the inclusion from the isometry group Isom(M) to Diff(M) is a homotopy equivalence.

연구 동기 및 목표

• 비가역적이고 균일한 3차원 다각체인 컴팩트이고 옹호된 방향성을 가진 3차원 다각체에 대해 미분군 $\mathrm{Diff}(M)$ 의 호모토피 유형을 완성 분류하는 것.
• 스메일 추측의 프레임워크 내에서 남은 비하켄 세이페르트 섬유화된 다각체의 경우, 초구면 기반 오비폴드를 가진 경우를 해결하는 것.
• 비하켄 다각체에 대해 $\mathbb{H}^2\times\mathbb{R}$ 또는 $\widetilde{\mathrm{SL}_2}(\mathbb{R})$ 기하학을 가진 경우, 등장군의 포함이 전체 미분군에 대해 호모토피 동치임을 확립하는 것.
• 이러한 다각체에 대해 세이페르트 섬유화의 공간 $\mathrm{SF}(M)$ 가 수축 가능함을 증명하여, 동치류에 따른 섬유화의 분류를 완성하는 것.
• 남은 해결되지 않은 사례를 해결함으로써, 모든 컴팩트이고 옹호된 비가역적 3차원 다각체에 대해 $\mathrm{Diff}(M)$ 의 호모토피 분류를 통합하는 것.

제안 방법

• 가바이의 작업에서 유래한 절연체 방법을 사용하여, 미분의 동치류를 분석한다.
• 헤처와 이바노프의 하켄 3차원 다각체의 미분군에 대한 결과를 활용하여 기저 사례를 확립한다.
• 기저 오비폴드 $O$ 에 대해 $\operatorname{Diff}_f(M) \to \operatorname{Diff}^{\mathrm{orb}}(O)$ 를 통한 피브레이션 시퀀스를 적용한다.
• 레마 8.2 를 사용하여, $\operatorname{Diff}_v(M) \cap \operatorname{diff}_f(M)$ 를 $\operatorname{diff}_v(M)$ 로, 즉 수직적 미분으로 간주한다.
• 기저 오비폴드의 미분군 $\operatorname{diff}^{\mathrm{orb}}(O)$ 가 $\operatorname{diff}(S^2 \setminus \{\text{세 점}\})$ 와 동치임을 이용하여 호모토피 동치를 유도한다.
• 구성별 분석과 오비폴드 동치류 올림을 통해 포함 $\operatorname{Isom}(M) \to \operatorname{Diff}_f(M)$ 가 호모토피 동치임을 보여, $\operatorname{Isom}(M)$ 과 $\operatorname{Diff}(M)$ 사이에 호모토피 동치를 확립한다.

실험 결과

연구 질문

• RQ1 초구면 기반 오비폴드를 가진 세이페르트 섬유화된 3차원 다각체에 대해, 미분군의 항등성분의 호모토피 유형은 무엇인가요?
• RQ2 비하켄 다각체에 대해 $\mathbb{H}^2\times\mathbb{R}$ 또는 $\widetilde{\mathrm{SL}_2}(\mathbb{R})$ 기하학을 가진 경우, 등장군의 포함이 전체 미분군에 대해 호모토피 동치를 유도하는가요?
• RQ3 이러한 다각체에 대해 세이페르트 섬유화의 공간 $\operatorname{SF}(M)$ 는 수축 가능한가요?
• RQ4 이러한 3차원 다각체의 범주에서 $\pi_1(M)$ 의 중심이 $\operatorname{diff}(M)$ 의 호모토피 유형을 어떻게 결정하는가요?
• RQ5 스메일 추측은 초구면 기반 오비폴드를 가진 비하켄 세이페르트 섬유화된 다각체로 확장될 수 있는가요?

주요 결과

• 기본군 $\pi_1(M)$ 의 중심이 자명하면, 미분군의 항등성분 $\operatorname{diff}(M)$ 는 수축 가능하고, 중심이 무한 순환군이면 원주 $S^1$ 과 호모토피 동치이다.
• 기저 오비폴드가 세 개의 원뿔 점을 가진 2차원 구이고 $\mathbb{H}^2\times\mathbb{R}$ 또는 $\widetilde{\mathrm{SL}_2}(\mathbb{R})$ 기하학을 가진 비하켄 세이페르트 섬유화된 3차원 다각체에 대해, 포함 $\operatorname{Isom}(M) \to \operatorname{Diff}(M)$ 는 호모토피 동치이다.
• $\operatorname{SF}(M)$, 즉 $M$ 의 세이페르트 섬유화의 공간은, 초구면 기반 오비폴드를 가진 닫힌 옹호된 세이페르트 섬유화된 3차원 다각체에 대해 수축 가능하다.
• $\operatorname{Diff}_f(M) \to \operatorname{Diff}(M)$ 의 포함은 호모토피 동치이며, 이는 섬유를 유지하는 미분이 $\operatorname{Diff}(M)$ 의 전체 호모토피 유형을 포괄함을 의미한다.
• 이 결과는 컴팩트이고 옹호된 비가역적 3차원 다각체에 대해 $\operatorname{Diff}(M)$ 의 호모토피 분류를 완성하며, 비하켄 인프라니르만이드의 경우를 제외한다.
• $M$ 이 최대 대칭 기하학을 가지며 비하켄 인프라니르만이드가 아니면, $\operatorname{Isom}(M) \to \operatorname{Diff}(M)$ 의 호모토피 동치가 성립한다.