[논문 리뷰] Spaces of Incompressible Surfaces

Allen Hatcher|ArXiv.org|1999. 06. 11.

Structural Analysis and Optimization참고 문헌 1인용 수 14

한 줄 요약

이 논문은 하켄 3차원 다각형에서 압축 불가능한 표면의 호모토피 유형을 규명하여, 매장 및 배치 공간이 일반적으로 수축 가능함을 보이고, 표면 번들의 경우나 토러스가 포함된 특수한 경우를 제외하면 그 호모토피 군은 표면의 미분형식군의 것과 동형임을 밝혀내었다. 이 결과들은 이전의 스메일 추측에 대한 연구를 정교화하며, 하켄 3차원 다각형 내 표면 매장의 완전한 호모토피 분류를 제공한다.

ABSTRACT

This is a "software upgrade" to a paper originally published in 1976, with cleaner statements and improved proofs. The main result is that, in a Haken 3-manifold, the space of all incompressible surfaces in a single isotopy class is contractible, except when the surface is the fiber of a surface bundle structure, in which case the space of all surfaces isotopic to the fiber has the homotopy type of a circle (the fibers). The main application from the 1976 paper is also rederived, the theorem (proved independently by Ivanov) that the diffeomorphism group of a Haken 3-manifold has contractible components, except in the case of certain Seifert manifolds when the components of the diffeomorphism group have the homotopy type of a circle or torus acting on the manifold.

연구 동기 및 목표

• 하켄 3차원 다각형 내 압축 불가능한 표면의 매장 및 배치 공간의 호모토피 유형을 정확히 규명하는 것.
• 매장 공간 결과를 이용하여 하켄 3차원 다각형의 미분형식군의 호모토피 유형을 단순화하고 재유도하는 것.
• 매장 및 배치 공간의 호모토피 군이 비자명한 특수한 경우—표면 번들 및 토러스—를 식별하는 것.
• 단형성과 주기적 미분형식의 역할이 매장 공간의 기본군을 결정하는 데 어떻게 기여하는지 명확히 하는 것.

제안 방법

• 표면의 미분형식, 표면을 3차원 다각형에 매장하는 것, 표면을 3차원 다각형 내에 배치하는 것 사이의 필라션 시퀀스 사용.
• 호모토피 군의 장긴 정렬 시퀀스를 적용하여 매장 및 배치 공간의 호모토피 유형을 연결하는 것.
• 표면의 가군 덮개로 가족을 올리기 위해, 동치성과 제품 영역을 분석하는 것.
• 표면가 번들 구조가 아닐 경우, 제품 영역을 이용해 표면의 가족을 표준 위치로 이sov하려는 것.
• 표면 번들 케이스에서 배치 공간의 기본군을 단형성 사상으로 분석하는 것.
• 특수한 표면의 미분형식군에 대한 기존 결과로 문제를 환원하는 것—특히 토러스와 그 매핑 클래스 군의 경우.

실험 결과

연구 질문

• RQ1 하켄 3차원 다각형 내 압축 불가능한 표면의 배치 공간은 언제 단순 연결이거나 수축 가능할까?
• RQ2 압축 불가능한 표면의 매장 공간의 기본군이 비자명한 것은 무엇에 의해 결정되는가?
• RQ3 3차원 다각형의 표면 번들 구조는 그의 섬유 표면 매장 공간의 호모토피 유형에 어떻게 영향을 미치는가?
• RQ4 단형성 미분형식은 매장 공간의 호모토피 유형에 어떤 역할을 하는가?
• RQ5 매장 공간의 포함이 미분형식군으로의 호모토피 군에 대해 동형을 유도하는 조건은 무엇인가?

주요 결과

• 배치 공간 $ P(S,M \text{ rel } \partial S) $ 는 $ S $ 가 $ M $ 의 표면 번들 섬유가 아닐 경우 단순 연결이며, $ S $ 가 표면 번들의 섬유일 경우 기본군이 $ \mathbb{Z} $ 와 동형이 되며, 이는 섬유의 회전으로 생성된다.
• 매장 공간 $ E(S,M \text{ rel } \partial S) $ 는 $ S $ 가 토러스이거나 표면 번들의 섬유가 아닐 경우 단순 연결이며, $ S $ 가 토러스 또는 표면 번들의 섬유일 경우 $ \pi_1 $ 는 $ \pi_1(Diff(S)) $ 와 동형이 되며, 이는 토러스의 경우와 표면 번들의 섬유의 경우 모두 $ \mathbb{Z} $ 이다.
• 표면 번들 케이스에서, 섬유 매장의 부분공간 포함이 $ \pi_1 $ 에 대해 동형을 유도하며, 만약 단형성이 무한 순서를 가질 경우 $ \pi_1 E(S,M) \cong \pi_1 Diff(S) \cong \mathbb{Z} $ 이다.
• 표면 번들의 섬유로 나타나지 않는 토러스의 경우, $ \pi_1 E(S,M) \cong \mathbb{Z} \times \mathbb{Z} \times \mathbb{Z} $ 이며, 이는 원군이 토러스 섬유를 돌리는 작용을 반영한다.
• 만약 $ M $ 이 표면 번들가 아니며 $ \partial S = \emptyset $ 이면, $ \pi_1 P(S,M) = 0 $ 이고 $ \pi_1 E(S,M) = 0 $ 이므로 두 공간 모두 단순 연결이다.
• 매장 공간의 총공간 $ E(S \times I, M \text{ rel } A) $ 는 수축 가능하며, 관련 필라션의 섬유는 자명한 호모토피 군을 가지므로 매장 공간의 호모토피 유형에 대한 귀납적 추론이 가능하다.