[논문 리뷰] Topology of 3-manifolds and a class of groups

S.K. Roushon|ArXiv.org|2002. 09. 11.

Topological and Geometric Data Analysis참고 문헌 12인용 수 5

한 줄 요약

이 논문은 3-다양체의 위상수학과 가상 베텨리 수 추측을 동기로 삼아, 유도 계열이 완전한 부분군에서 끝나는 '아름다운' 군의 개념을 도입한다. 모든 연결 실수 또는 복소 Lie 군이 아름다운 군임을 증명하고, 3-다양체의 기본군과 루프 군이 아름다운가 아닌가에 대한 조건을 설정하며, 이 성질이 호모로지적 유한성 조건과 군 코homology와 어떻게 연결되는지 밝힌다.

ABSTRACT

This paper grew out of an attempt to find a suitable finite sheeted covering of an aspherical 3-manifold so that the cover either has infinite or trivial first homology group. With this motivation we define a new class of groups. These groups are in some sense eventually perfect. We prove results giving several classes of examples of groups which do (not) belong to this class. Also we prove some elementary results on these groups and state two conjectures. A direct application of one of the conjectures to the virtual Betti number conjecture of Thurston is mentioned.

연구 동기 및 목표

• 유도 계열이 완전한 군에서 끝나는 새로운 군의 클래스—'아름다운' 군—을 정의하고 연구하기.
• 유한한 첫 번째 호모로지를 가진 아스페리컬 3-다양체에 대한 위상적 강성 문제를 유한 시트 수 덮개를 분석함으로써 다루기.
• 특히 그 아르스노르 다항식과의 관계에서 3-다양체 기본군과 루프 군이 아름다운지 여부를 규명하기.
• 아름다운 성질과 코homological 유한성 조건(예: E-군과 가상 베텔리 수) 사이의 관계 탐색하기.
• 스털링의 추측을 포함하여, 아름다운 성질과 투어스턴의 가상 베텔리 수 추측을 연결하는 추측을 제시하고 조사하기.

제안 방법

• 유도 계열 $ G^i $ 가 어떤 $ i $ 에 대해 $ G^i / G^{i+1} = 1 $ 을 만족하는 군을 '아름다운' 군이라 정의하며, 그러한 최소 $ i $ 를 아름다움의 차수라 한다.
• 유도 계열 필터링 $ G = G^0 \triangleright G^1 \triangleright \cdots \triangleright G^n $ 을 사용하며, 각 몫 $ G^{i-1}/G^i $ 는 아벨 군이고 $ G^n $ 은 완전군이다.
• Lie 군 이론을 적용하여 연결 Lie 군 $ G $ 에 대해 유도 계열이 닫힌 Lie 부분군 $ G_{i_0} $ 에서 정체됨을 보이고, $ \overline{G^1} = G $ 이므로 $ G^1 $ 이 완전군임을 이용한다.
• Whitehead 보조정리를 활용하여 $ GL_n(R) $ 과 $ SL_n(\mathbb{C}) $ 가 차수 1의 아름다운 군임을 보이며, 이는 그들의 교환자 부분군이 완전군이기 때문이다.
• 특히 $ H_2(G, R) = 0 $ 인 조건을 사용한 코homological 기법을 적용하여 $ E(R) $-군을 특성화하고, $ H_1(G, \mathbb{Z}) $ 의 계수가 $ \geq 2 $ 인 $ E $-군은 아름다운 군이 아니라는 것을 보인다.
• Stallings의 정리와 루프 군에 대한 결과를 적용하여, 루프 군이 아름다운 군임은 그 아르스노르 다항식이 자명함과 동치이며, 비자명한 아르스노르 다항식은 비아름다움을 암시함을 보인다.

실험 결과

연구 질문

• RQ1 어떤 3-다양체 기본군의 유도 계열이 유한한가, 즉 그 군이 아름다운가?
• RQ2 투어스턴의 가상 베텔리 수 추측과 기본군의 아름다운 성질 사이의 관계는 무엇인가?
• RQ3 특히 아르스노르 다항식과의 관계에서, 루프 또는 3-다양체의 기본군이 아름다운 군이 아니게 되는 조건은 무엇인가?
• RQ4 예를 들어 $ SL_2(\mathbb{Z}) $ 나 표면 군과 같은 군의 유도 계열이 완전군에서 끝나는가? 만약 그렇지 않다면 그 이유는 무엇인가?
• RQ5 모든 연결 Lie 군이 아름다운 조건을 만족하는가? 그리고 그들의 유도 계열의 구조는 이를 어떻게 보장하는가?

주요 결과

• 모든 연결 실수 또는 복소 Lie 군은 아벨 군으로서의 유도 계열의 정체성과 유도 부분군의 클로처의 교환자 부분군의 완전성에 의해, 추상 군으로서 아름다운 군임이 증명된다.
• 루프 군의 기본군은 아름다운 군이 되기 위한 필요충분조건으로 그 아르스노르 다항식이 자명할 때이며, 이 경우 교환자 부분군은 완전군이다.
• 비자명한 아르스노르 다항식을 가진 루프 군은 아름다운 군이 아니며, $ H^1/G^2 $ 의 계수가 $ \geq 3 $ 이면 모든 고차 몫 $ G^j/G^{j+1} $ 는 자명하지 않다.
• 자기 연산이 없는 Bieberbach 군은 아벨 군이 아닐 경우 아름다운 군이 아니며, 그 이유는 유도 계열이 완전군에서 끝나지 않기 때문이다.
• $ SL_2(\mathbb{Z}) $ 는 그 교환자 부분군이 두 생성자를 가진 비아벨 자유군이므로 아름다운 군이 아니며, 이는 완전군이 아니기 때문이다.
• $ H_1(G, \mathbb{Z}) $ 의 계수가 $ \geq 2 $ 인 $ E $-군은 $ G^2 $ 가 완전군이 아니므로 아름다운 군이 아니며, 이는 아름다움 조건과 모순된다.