[논문 리뷰] On malnormal peripheral subgroups in fundamental groups of 3-manifolds

Pierre de la Harpe, Claude Weber|arXiv (Cornell University)|2011. 04. 15.

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

한 줄 요약

이 논문은 비자명한 루프의 기본군의 주변 부분군이 말노멀(malnormal)임을 보여주며, 이는 해당 루프가 토러스 루프, 케이블 루프, 복합 루프가 아닐 때에만 성립한다. 시페르트 폴리에이션과 고리 정리(annulus theorem)를 사용하여, 말노멀성이 실패하는 것은 루프 외부에 경계에 평행하지 않은 고리가 존재할 경우에 정확히 일어남을 증명한다 — 이는 고리의 경계 곡선과 마이너리언 곡선 사이의 거리가 1 이하일 때 발생한다.

ABSTRACT

Let $K$ be a non-trivial knot in the 3-sphere, $E_K$ its exterior, $G_K = π_1(E_K)$ its group, and $P_K = π_1(\partial E_K) \subset G_K$ its peripheral subgroup. We show that $P_K$ is malnormal in $G_K$, namely that $gP_Kg^{-1} \cap P_K = \{e\}$ for any $g \in G_K$ with $g otin P_K$, unless $K$ is in one of the following three classes: torus knots, cable knots, and composite knots; these are exactly the classes for which there exist annuli in $E_K$ attached to $T_K$ which are not boundary parallel (Theorem 1 and Corollary 2). More generally, we characterise malnormal peripheral subgroups in the fundamental group of a compact orientable irreducible 3-manifold with boundary a non-empty union of tori (Theorem 3). Proofs are written with non-expert readers in mind. Half of our paper (Sections 7 to 10) is a reminder of some three-manifold topology as it flourished before the Thurston revolution. In a companion paper [HaWeOs], we collect general facts on malnormal subgroups and Frobenius groups, and we review a number of examples.

연구 동기 및 목표

• 루프의 기본군의 주변 부분군이 말노멀일 조건을 규명하는 것.
• 3차원 다면체 군에서 주변 부분군이 말노멀이 아니게 되는 위상적 조건을 특성화하는 것.
• 주변에 평행하지 않은 고리가 말노멀성의 장애물로 작용하는 방식을 명확히 하는 것.
• 루프에서의 특성화를 일반적인 컴acts, 옹호, 비가역 3차원 다면체로 확장하는 것.
• 전문가가 아닌 이들에게도 접근 가능한 자가 포함된 서술을 제공함. 3차원 다면체 위상수학과 말노멀 부분군의 기초 배경을 포함함.

제안 방법

• 루프 외부의 임bed된 고리를 분석하기 위해 시페르트 폴리에이션과 가짜 폴리에이션을 사용함.
• 고리 정리와 JSJ 분해를 적용하여 주변 부분군이 말노멀이 아니게 되는 3차원 다면체의 위상적 유형을 분류함.
• 비경계 평행 고리와 주변 비말노멀성 간의 등가성을 곡선 거리 조건을 통해 근거로 삼음.
• 고리의 위상적 행동을 형식화하기 위해 W-핵심 맵과 비퇴화된 임베딩의 개념을 활용함.
• 오래된 문헌(예: 레이먼드와 오르리크)의 용어를 현대 3차원 다면체 이론과 통합하기 위한 어휘 사전을 도입함.
• JSJ 분해에서 관련된 시페르트 조각이 시페르트 다면체일 경우에만 주변 부분군이 말노멀이 아니라고 규명함.

실험 결과

연구 질문

• RQ1 루프의 기본군의 주변 부분군이 언제 말노멀인가?
• RQ2 루프 외부에서 주변 부분군이 말노멀성을 잃게 하는 위상적 특성은 무엇인가?
• RQ3 경계에 평행하지 않은 고리는 토러스, 케이블, 복합 루프와 같은 루프의 분류와 군론적 성질 사이에서 어떻게 관련되는가?
• RQ4 토러스 경계를 가진 3차원 다면체에서 주변 부분군이 기본군에서 말노멀이 되는 조건은 무엇인가?
• RQ5 JSJ 분해와 시페르트 피브레이션은 주변 부분군의 말노멀성을 결정하는 데 어떤 역할을 하는가?

주요 결과

• 비자명한 루프 $K$의 주변 부분군 $P_K$ 는 $G_K = \pi_1(E_K)$ 에서 말노멀임이 $K$ 가 토러스 루프, 케이블 루프, 또는 복합 루프가 아닐 때에만 성립한다.
• 말노멀성이 정확히 실패하는 경우는 루프 외부에 경계에 평행하지 않은 고리가 존재할 때이며, 이 고리의 경계 곡선이 경계 토러스 상의 마이너리언 곡선과 거리가 1 이하일 때 발생한다.
• 경계 성분 $\partial_1M$ 를 가진 컴팩트, 옹호, 비가역 3차원 다면체 $M$ 에서 주변 부분군 $P$ 는 $\pi_1(M)$ 에서 말노멀이 아님이 $\partial_1M$ 를 포함하는 시페르트 조각 $V$ 가 시페르트 다면체일 때에만 성립한다.
• 루프 외부에 경계에 평행하지 않은 고리가 존재하는 것은 $K$ 가 토러스 루프, 케이블 루프, 또는 복합 루프일 때와 등가이다.
• 두 개 이상의 성분을 가진 링크의 경우, 성분 $L_j$ 와 관련된 주변 부분군은 $L_j$ 가 (가능한 위성 링크를 포함한) 토러스 부분링크의 일부이거나 연결합 연산에서 유래할 경우에만 말노멀이 아님이다.
• 비가역 3차원 다면체에서 경계가 압축 불가능한 토러스일 경우, W-핵심, 비퇴화, 경계에 평행하지 않은 고리는 상호 등가이다.