[논문 리뷰] CONJUGACY PROBLEM IN GROUPS OF NON-ORIENTABLE 3-MANIFOLDS

Jean-Philippe Préaux|arXiv (Cornell University)|2016. 08. 16.

Geometric and Algebraic Topology인용 수 4

한 줄 요약

이 논문은 비가역적 기하학적 3차원 다양체의 기본군에서의 동형 문제의 해법을 입증하기 위해 방향성 덮개를 통한 비가역적 조각으로의 문제 축소를 통한 명시적 알고리즘을 구성함으로써, 비가역적 기하학적 3차원 다양체의 기본군에서의 동형 문제의 해법을 확립한다. 주요 기여는 기하학적 3차원 다양체 군, 비가역적 경우를 포함하여 동형 문제의 구조적 해법을 제공함으로써 오랫동안 남아있던 3차원 다양체 위상수학 및 군론 분야의 질문을 해결한 것이다. 이는 표면-순환 및 왜곡된 동형 문제에 응용 가능하다.

ABSTRACT

Abstract. We prove that fundamental groups of non-orientable 3-manifolds have a solvable conjugacy problem, and construct an algorithm. Together with our earlier work on the conjugacy prob-lem in groups on orientable geometrizable 3-manifolds, all pi1 of (geometrizable) 3-manifolds have a solvable conjugacy problem. As corollaries, both the twisted conjugacy problem in closed sur-face groups and the conjugacy problem in closed surface-by-cyclic groups, are solvable.

연구 동기 및 목표

• 비가역적 기하학적 3차원 다양체의 기본군에서의 동형 문제를 해결하기 위해.
• 기하학적 3차원 다양체 군에서의 동형 문제의 해법을 가역적 경우에서 비가역적 경우로 확장하기 위해.
• 존재할 경우 동형 원소를 명시적으로 계산할 수 있는 구조적 알고리즘을 제공하기 위해.
• 폐쇄된 표면 군에서의 왜곡된 동형 문제의 해법과 표면-순환 군에서의 동형 문제의 해법을 보조정리로서 확립하기 위해.
• 인덱스 2 부분군에서의 해법이 항상 전체 군으로 전이되지 않음을 입증하고, 비가역적 경우에 대해 새로운 접근이 필요함을 보여주기 위해.

제안 방법

• 비가역적 3차원 다양체 군에서의 동형 문제를 방향성 이중 덮개인 가역적 기하학적 3차원 다양체에서의 동형 문제로 축소한다.
• 비가역적 기하학적 3차원 다양체의 방향성 덮개 역시 기하학적임을 이용하여 기존의 가역적 경우 결과에 적용 가능함을 보장한다.
• 이중자동 구조를 통한 세이프트-파이버드 공간과 유한 체적 하이퍼볼릭 3차원 다양체에서의 단어 문제 및 동형 문제 알고리즘을 적용한다.
• v²의 중심화자를 기본군 내에서 분석하고, 이가 세이프트 정점 군, 모서리 군, 또는 그 어느 것도 아닌지에 따라 케이스 분석을 수행한다.
• 그래프의 군 분해와 병합된 곱의 구조를 이용하여 정점 및 모서리 부분군에서의 동형 문제를 분석한다.
• 명시적 군 표현과 정규형식(예: 클라인 botte 그룹에서의 표현)을 사용하여, 지수의 짝수성 조건을 통한 모서리 부분군에서의 동형 문제 결정

실험 결과

연구 질문

• RQ1 기하학적 3차원 다양체 군에서의 동형 문제의 해법이 인덱스 2 부분군에서 해법이 가능하더라도, 비가역적 경우에서는 여전히 해법이 불가능할 수 있음에도 불구하고, 비가역적 기하학적 3차원 다양체 군에서의 동형 문제의 해법이 가능한가?
• RQ2 존재할 경우 동형 원소를 생성할 수 있는 명시적 알고리즘이 비가역적 3차원 다양체 군에서의 동형 문제를 해결할 수 있는가?
• RQ3 기하학적 3차원 다양체 군에서의 동형 문제의 해법이 방향성 덮개를 통해 비가역적 경우로 확장 가능한가?
• RQ4 표면-순환 군에서의 동형 문제는 3차원 다양체 기하학과 기하화 정리에 기반하여 해결할 수 있는가?
• RQ5 비가역적 3차원 다양체 군에서 v²의 중심화자가 v의 동형류를 결정하는 데 필요한 구조적 조건은 무엇인가?

주요 결과

• 비가역적 기하학적 3차원 다양체 군에서의 동형 문제는 명시적 알고리즘을 제공함으로써 해법이 가능하다.
• 해법은 u와 v가 동형일 경우 항상 u = h v h⁻¹ 를 만족하는 동형 원소 h를 구성한다.
• 모든 기하학적 3차원 다양체 군에서의 동형 문제의 해법이 가능하며, 이는 가역적 및 비가역적 경우를 통합한다.
• 폐쇄된 표면 군에서의 왜곡된 동형 문제의 해법은 주요 결과의 보조정리로서 해법이 가능하다.
• 폐쇄된 표면-순환 군에서의 동형 문제의 해법이 가능하며, 이는 기하화 정리와 주요 알고리즘에 의존한다.
• 클라인 볼트 그룹으로 동형인 모서리 부분군의 경우, 표현 <a,b,t | [a,b]=1, t²=a, bt=b⁻¹> 에서의 지수 쌍의 짝수성 조건을 통해 동형 문제의 결정이 가능하다.