[논문 리뷰] Residual properties of 3-manifold groups I: Fibered and hyperbolic 3-manifolds

Thomas Koberda|arXiv (Cornell University)|2009. 10. 11.

Geometric and Algebraic Topology참고 문헌 26인용 수 3

한 줄 요약

이 논문은 3차원 다면체 군이 가상으로 잔여 p임을 분류하며, 위즈의 최근 결과와 호몰로지 위의 단형 작용을 이용해 피브리드 및 하이퍼볼릭 3차원 다면체의 기본군이 가상으로 잔여 p임을 증명한다. 핵심 기여는 단형 작용이 H₁(Σ, ℤ/pℤ) 위에서 단형적으로 작용할 경우 기본군이 잔여 p임을 보이고, 모든 유한 체적 하이퍼볼릭 3차원 다면체 군이 가상으로 잔여 p임을 보이는 것이다.

ABSTRACT

Let $p$ be a prime. In this paper, we classify the geometric 3-manifolds whose fundamental groups are virtually residually $p$. Let $M=M^3$ be a virtually fibered 3-manifold. It is well-known that $G=π_1(M)$ is residually solvable and even residually finite solvable. We prove that $G$ is always virtually residually $p$. Using recent work of Wise, we prove that every hyperbolic 3-manifold is either closed or virtually fibered and hence has a virtually residually $p$ fundamental group. We give some generalizations to pro-$p$ completions of groups, mapping class groups, residually torsion-free nilpotent 3-manifold groups and central extensions of residually $p$ groups.

연구 동기 및 목표

• 기하학적 3차원 다면체 중에서 기본군이 가상으로 잔여 p인 것을 분류하고, 특히 피브리드 및 하이퍼볼릭 케이스에 집중한다.
• 피브리드 3차원 다면체의 기본군이 잔여 p가 되는 조건을 이해하며, 특히 호몰로지 위의 단형 작용과의 관계를 분석한다.
• 잔여 p 군의 중심 확장 및 매핑 클래스 군, 프로-p 완비화로의 결과 확장.
• 특히 잔여 노름성 및 잔여 순수 노름성과의 관련성에서 3차원 다면체 군의 잔여 성질을 조사한다.
• 위즈의 최근 작업을 활용하여 루보츠키의 질문, 즉 하이퍼볼릭 3차원 다면체 군의 잔여 p 성질에 대해 답한다.

제안 방법

• 피브리드 3차원 다면체에 대해 1 → π₁(Σ) → π₁(M) → ℤ → 1 의 짧은 정규열을 사용하며, 여기서 ℤ 는 안정 원소 t 에 의해 생성된다.
• H₁(Σ, ℤ/pℤ) 위에서 작용하는 단형 작용 ψ 분석; 단형 작용이 잔여 p 성질을 유도함을 증명.
• 최근 위즈의 결과를 적용하여 모든 유한 체적 하이퍼볼릭 3차원 다면체가 가상으로 피브리드임을 보이고, 따라서 그 기본군이 가상으로 잔여 p임을 증명.
• 코homological 기법, 특히 H² 내의 제한 및 핵심화 사상(제한 및 핵심화 사상)을 사용하여 중심 확장을 연구하고 확장의 분리되지 않음을 탐지.
• RFRS(잔여 유한 p-잔여 해체적) 조건을 사용하고, 헤이젠베르크 군과 같은 특정 노름 군이 RFRS가 아님을 보임.
• 아벨리안화 사상과 그 유한 첨수 부분군에서의 행동을 사용하여, 군의 중심이 RFRS 수열에 의해 고갈될 수 없음을 보임.

실험 결과

연구 질문

• RQ1 단형 작용 ψ 가 어떤 조건을 만족할 경우 피브리드 3차원 다면체의 기본군이 잔여 p가 되는가?
• RQ2 하이퍼볼릭 3차원 다면체의 기본군이 언제 가상으로 잔여 p가 되며, 이는 모든 소수 p 에 대해 성립하는가?
• RQ3 mod p 호몰로지 표현의 핵에 속하는 원소들과의 복합에 의해 3차원 다면체 군의 잔여 p 성질이 유지되는가?
• RQ4 어떤 3차원 다면체 군이 잔여 순수 노름성인가? 이는 호몰로지 위의 단형 작용과 어떻게 관련되는가?
• RQ5 특히 비자명한 오일러 계수를 가진 원환면 다발에서 중심 확장의 잔여 p 성질에 장애 요소가 존재하는가?

주요 결과

• 만약 단형 작용 ψ 가 H₁(Σ, ℤ/pℤ) 위에서 단형적으로 작용한다면, π₁(M) 은 잔여 p이다.
• 토러스 섬유의 경우, π₁(M) 이 잔여 p일 필요충분조건은 p 가 det(A − I) 를 나누는 것이다. 여기서 A ∈ SL₂(ℤ) 는 단형 행렬이다.
• 모든 유한 체적 하이퍼볼릭 3차원 다면체는 가상으로 잔여 p 기본군을 가지며, 이는 위즈의 작업에 의해 가상으로 피브리드임을 보여준다.
• 정수 헤이젠베르크 군은 RFRS 가 아니며, 일반적으로 비자명한 e ∈ H²(N/Z, Z) 를 가진 순수 노름 군은 RFRS 가 아니다.
• 비자명한 오일러 계수를 가진 중심 확장 1 → ℤ → Γ → π₁(Σ) → 1 은 RFRS 가 아니며, 중심이 RFRS 수열에 의해 고갈될 수 없기 때문이다.
• G_ψ 가 잔여 p 이고 φ 가 Mod(Σ) → Sp₂g(ℤ/pℤ) 의 핵에 속해 있다면, G_{ψ∘φ} 도 잔여 p 이다.