[논문 리뷰] Twisted conjugacy separable groups

Alexander Fel’shtyn, Evgenij Troitsky|arXiv (Cornell University)|2006. 06. 29.

Geometric and Algebraic Topology참고 문헌 27인용 수 8

한 줄 요약

이 논문은 군에서의 비틀린 쌍대 호환성 분리 가능성(twisted conjugacy separability)이라는 개념을 도입하고 조사한다. 이 성질은 군의 비틀린 쌍대 호환성 원소들이 유한군으로의 군 준동형사상에 의해 구별될 수 있음을 보장한다. 주요 기여는 유한성에 의해 다항식-유한 군들이 강한 비틀린 쌍대 호환성 분리 가능성을 갖는다는 것을 증명한 것으로, 이는 비틀린 Dehn 쌍대 호환성 문제의 해법 가능성과, 유한한 Reidemeister 수를 갖는 유한 생성 잔여 유한 군에 대한 비틀린 Burnside-Frobenius 정리의 수립을 의미한다.

ABSTRACT

We study the notion of twisted conjugacy separability (essentially introduced in our previous paper for a proof of twisted version of Burnside-Frobenius theorem) and some related properties. We give examples of groups with and without this property and study its behavior under some extensions. An affirmative answer to the twisted Dehn conjugacy problem for polycyclic-by-finite group is obtained. Some problems for the further study are indicated.

연구 동기 및 목표

• 비틀린 쌍대 호환성 분리 가능성의 개념을 체계화하고 연구함으로써, 자동형사상에 의한 비틀린 쌍대 호환성 원소에 대해 쌍대 호환성 분리 가능성의 개념을 확장한다.
• 자기형사상의 Reidemeister 수가 유한차원 단위군 이중체 위의 유도된 사상의 고정점 수와 일치하는 조건을 확립한다.
• 군의 확장에서 비틀린 쌍대 호환성 분리 가능성의 행동을 조사하고, 이 성질을 갖는 군과 갖지 않는 군의 클래스를 특정한다.
• 다항식-유한 군 및 관련 군들에 대해 비틀린 Dehn 쌍대 호환성 문제를 해결한다.
• 비틀린 쌍대 호환성 분리 가능성, 잔여 유한성, 그리고 Reidemeister 수의 유한성 간의 관계를 명확히 한다.

제안 방법

• φ-쌍대 호환성 분리 가능성과 비틀린 쌍대 호환성 분리 가능성의 개념을 도입하며, 이는 유한 몫군을 통한 비틀린 쌍대 호환성 원소들의 분리에 의해 정의된다.
• 군 Γ = G ⋊ ℤ 의 반직접곱 구성법을 사용하여 G 내의 φ-쌍대 호환성과 Γ 내의 일반 쌍대 호환성 간의 관계를 설정함으로써, 분리 가능성 성질을 이전할 수 있도록 한다.
• 프로파이트 위상과 유한차원 표현 이론을 적용하여 단위군 이중체의 구조와 그 위에 유도된 사상의 성질을 분석한다.
• Banach 공간의 대칭성과 ℓ¹(G), ℓ∞(G)의 구조를 활용하여, 비틀린-불변 함수해석의 여수차원과 Reidemeister 수 사이의 관계를 규명한다.
• Mal’cev의 쌍대 호환성 분리 가능성 증명 기법을 비틀린 경우로 변형하여 비틀린 Dehn 쌍대 호환성 문제의 해법 가능성을 증명한다.
• 복소수 군 대수 ℂ[F]의 행렬 대수로의 분해를 이용하여 이중체 위의 유도된 사상의 고정점 수를 계산하고, 이를 Reidemeister 수와 연결한다.

실험 결과

연구 질문

• RQ1 R(φ) < ∞ 인 군 G 와 자기형사상 φ에 대해, φ-쌍대 호환성 분리 가능성은 G 가 잔여 유한성을 띠게 하는가?
• RQ2 R(φ) < ∞ 인 자기형사상 φ 가 존재할 경우, 비틀린 쌍대 호환성 분리 가능성은 잔여 유한성을 유도하는가?
• RQ3 모든 유한 생성 잔여 유한 군은 Reidemeister 수가 유한한 자기형사상 φ 에 대해 φ-쌍대 호환성 분리 가능성을 갖는가?
• RQ4 다항식-유한 군에 대해 비틀린 Dehn 쌍대 호환성 문제를 해결할 수 있는가?
• RQ5 유한한 Reidemeister 수를 갖는 유한 생성 잔여 유한 군에 대해 비틀린 Burnside-Frobenius 정리는 성립하는가?

주요 결과

• 다항식-유한 군은 강한 비틀린 쌍대 호환성 분리 가능성을 갖는다. 즉, 모든 비틀린 쌍대 호환성 원소들이 유한 몫군을 통해 구별 가능하다.
• 다항식-유한 군에 대해 비틀린 Dehn 쌍대 호환성 문제가 해법 가능하다. 이는 그들의 강한 비틀린 쌍대 호환성 분리 가능성의 결과이다.
• R(φ) < ∞ 인 유한 생성 잔여 유한 군에 대해 비틀린 Burnside-Frobenius 정리가 성립한다. 즉, R(φ)는 유한차원 단위군 이중체 위의 유도된 사상의 고정점 수와 같다.
• 정규부분군이 유한 생성이자 특성이고 몫군이 유한 생성 FC군인 확장에서는 비틀린 쌍대 호환성 분리 가능성 성질이 유지된다.
• HNN, Ivanov, 그리고 Osin 군은 비틀린 쌍대 호환성 분리 가능성에 대한 반례를 제공하며, 이 성질이 항상 성립하지는 않음을 보여준다.
• R(φ) < ∞ 인 유한 생성 잔여 유한 군에 대해 φ-쌍대 호환성 분리 가능성의 증명은 비틀린-불변 함수해석의 유한 여수차원과 그 유한 몫군으로의 올림 기반에 의존한다.