[논문 리뷰] An (FA)-group that is not (FR)

M. J. Dunwoody, Ashot Minasyan|arXiv (Cornell University)|2012. 03. 15.

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

한 줄 요약

이 논문은 R-나무 위에서 비자명하게 작용하지만 임의의 단순형 나무 위에서 고정점이 없는 작용을 허용하지 않는 유한생성군 L을 구성하여, (FA)-군과 (FR)-군 사이의 차이를 입증한다. 이는 L 자체가 어떤 단순형 나무 위에서도 자유롭게 작용할 수 없지만, L로의 전상사상이 존재하는 임의의 유한형성군은 그러한 작용을 가질 수 있음을 보여준다.

ABSTRACT

We construct examples of finitely generated groups L that have non-trivial actions on $\mathbb{R}$-trees but which cannot act, without fixing a vertex, on any simplicial tree. Moreover, any finitely presented group mapping onto L does have a fixed point-free action on some simplicial tree.

연구 동기 및 목표

• 유한생성군이 R-나무 위에서 비자명하게 작용할 수는 있지만, 어떤 단순형 나무 위에서도 고정점이 없는 작용을 허용하지 않는 경우가 존재함을 보여주는 것.
• 군의 나무 위 작용 맥락에서 (FA)와 (FR) 성질 간의 구분을 명확히 하는 것.
• 그러한 (FA)-군으로의 사상이 존재하는 유한형성군의 행동을 조사하는 것.
• 고정점이 없는 단순형 나무 위 작용이 군 몫에 미치는 영향을 탐구하는 것.

제안 방법

• 기하군론 기법을 사용하여 비자명한 R-나무 위 작용을 갖는 유한생성군 L을 구성하는 것.
• 형식적이고 위상적 제약 조건을 통해 L이 어떤 단순형 나무 위에서도 고정점이 없는 작용을 가지지 못함을 증명하는 것.
• L로의 전사사상이 존재하는 유한형성군의 몫 구조를 분석하여, 고정점이 없는 단순형 나무 위 작용을 가질 수 있음을 보여주는 것.
• 군의 R-나무 위 작용 이론과 하이퍼볼릭 군의 성질을 이용하여 L이 자유롭게 단순형 나무 위에서 작용할 수 없음을 입증하는 것.
• JSJ 분해의 개념과 나무 위 작용에서 고정점의 부재를 적용하여, 그러한 작용이 존재할 경우 모순을 이끌어내는 것.

실험 결과

연구 질문

• RQ1 유한생성군이 어떤 단순형 나무 위에서도 고정점이 없는 작용을 하지 않더라도 R-나무 위에서 비자명하게 작용할 수 있는가?
• RQ2 군의 나무 위 작용 맥락에서 (FA)와 (FR) 성질 간의 관계는 무엇인가?
• RQ3 (FR)가 아니지만 (FA)인 (FA)-군의 유한형성 몫은 반드시 고정점이 없는 단순형 나무 위에서 작용할 수 있는가?
• RQ4 R-나무 위에서 비자명한 작용을 할 수는 있지만, 단순형 나무 위에서 자유롭게 작용할 수 없는 군의 구조적 성질은 무엇인가?

주요 결과

• R-나무 위에서 비자명하게 작용할 수는 있지만, 어떤 단순형 나무 위에서도 고정점이 없는 작용을 허용하지 않는 유한생성군 L이 존재한다.
• 군 L은 (FA) 성질을 만족한다—모든 단순형 나무 위 작용에서 고정점이 존재하지만, (FR)은 아니며 따라서 어떤 단순형 나무 위에서도 자유롭게 작용하지 않는다.
• L로의 전상사상이 존재하는 임의의 유한형성군은 어떤 단순형 나무 위에서 고정점이 없는 작용을 가질 수 있다.
• (FA)와 (FR) 사이의 구분은 비트리비알이다: 어떤 군이 (FR)이 아니더라도 (FA)일 수 있으며, 그 유한형성 몫은 (FR)일 수 있다.