[논문 리뷰] Finiteness of 3-manifolds associated with non-zero degree mappings

Michel Boileau, J Rubinstein외 1명|arXiv (Cornell University)|2005. 11. 22.

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

한 줄 요약

이 논문은 비영도수를 가진 사상에 의해 주어진 컴act이고 올림방향 3차원 다면체에 의해 지배되는 3차원 다면체에 대한 유한성 결과를 확립한다. 투르스톤 노름과 JSJ 분해를 사용하여, 이러한 다면체들이 유한한 수의 홈오모르피즘 유형을 가진 JSJ 조각을 가지며, 닫힌 3차원 다면체가 오직 유한한 수의 정수 호모로지 구(sphere)와 S³ 내의 링크 외부만을 지배함을 증명한다.

ABSTRACT

We prove a finiteness result for the $\partial$-patterned guts decomposition of all 3-manifolds obtained by splitting a given orientable, irreducible and $\partial$-irreducible 3-manifold along a closed incompressible surface. Then using the Thurston norm, we deduce that the JSJ-pieces of all 3-manifolds dominated by a given compact 3-manifold belong, up to homeomorphism, to a finite collection of compact 3-manifolds. We show also that any closed orientable 3-manifold dominates only finitely many integral homology spheres and any compact 3-manifolds orientable 3-manifold dominates only finitely many exterior of knots in $S^3$.

연구 동기 및 목표

• 주어진 컴팩트하고 올림방향 3차원 다면체에 의해 비영도수 사상으로 지배되는 3차원 다면체의 유한성 문제를 해결하는 것.
• 이전의 1-지배 결과를 일반적인 비영도수 사상으로 확장하여, S³, PSL₂(R)~ 또는 Nil 기하를 지지하지 않는 비가역 3차원 다면체에 대해 적용하는 것.
• 투르스톤 노름과 기하적 분해를 사용하여 지배 하에서 JSJ-조각과 호모로지 구 목표의 유한성을 확립하는 것.
• 컴팩트한 3차원 다면체의 기본군이 오직 유한한 수의 서로 다른 링크 군으로 비퇴화된 준동형사상을 가질 수 있음을 증명하는 것.
• 링크 군 간의 비퇴화된 준동형사상에 대한 기준을 제공하는 것, 특히 선호되는 장의 이미지를 기반으로 하는 것.

제안 방법

• 비압축 가능한 표면에 沿해 자르면서 얻어진 3차원 다면체의 ∂-패턴을 가진 감싸는 분해를 분석한다.
• 표면의 복잡도를 제어하고 JSJ 조각의 수를 유 bounds하기 위해 투르스톤 노름을 적용한다.
• 비가역 3차원 다면체를 세이프트-피브어드 또는 아토로이달 조각으로 나누기 위해 JSJ 분해를 사용하며, 기하화를 활용한다.
• 유한성 문제를 비자명한 JSJ 분해를 가진 다면체의 경우로 축소하며, 하이퍼볼릭 및 세이프트 기하학에 대해 알려진 유한성 결과를 활용한다.
• 위상적 지배를 군론적 조건으로 변환하여, 기본군 간의 비퇴화된 준동형사상에 집중한다.
• 선호되는 장의 이미지를 사용하여 링크 군 간의 비퇴화된 준동형사상에 대한 기준을 수립한다.

실험 결과

연구 질문

• RQ1 닫힌 올림방향 3차원 다면체는 S³, PSL₂(R)~ 또는 Nil 기하를 지지하지 않는 오직 유한한 수의 닫힌, 비가역, 올림방향 3차원 다면체만을 지배하는가?
• RQ2 주어진 컴팩트한 다면체에 의해 지배되는 모든 3차원 다면체의 JSJ-조각은 홈오모르피즘 유형 기준으로 유한한 수인가?
• RQ3 컴팩트한 올림방향 3차원 다면체는 오직 유한한 수의 정수 호모로지 구만을 지배하는가?
• RQ4 컴팩트한 올림방향 3차원 다면체는 오직 유한한 수의 S³ 내의 링크 외부만을 지배하는가?
• RQ5 비영도수 사상으로부터 유도되는 링크 군 간의 준동형사상은 어떤 것들이며, 어떻게 특징지을 수 있는가?

주요 결과

• 주어진 컴팩트하고 올림방향, 비가역, ∂-비가역 3차원 다면체에 의해 지배되는 모든 3차원 다면체의 JSJ-조각은 유한한 수의 홈오모르피즘 유형에 속한다.
• 닫힌 올림방향 3차원 다면체는 오직 유한한 수의 정수 호모로지 구만을 지배한다.
• 컴팩트한 올림방향 3차원 다면체는 오직 유한한 수의 S³ 내의 링크 외부만을 지배한다.
• 컴팩트한 올림방향 3차원 다면체의 기본군은 오직 유한한 수의 서로 다른 링크 군으로 비퇴화된 준동형사상을 가질 수 있다.
• 링크 군 간의 준동형사상이 비퇴화임은 선호되는 장이 비자명한 외부 원소로 보존될 때이고, 그 때에만 성립한다.
• 증명은 투르스톤 노름과 비자명한 JSJ 분해를 가진 기하화 가능한 3차원 다면체가 유한한 수의 기하 유형에 의해 제어된다는 사실에 기반한다.