[논문 리뷰] Transitivity degrees of countable groups and acylindrical hyperbolicity

Michael Hull, Denis Osin|arXiv (Cornell University)|2015. 01. 17.

Geometric and Algebraic Topology참고 문헌 56인용 수 6

한 줄 요약

이 논문은 모든 가산 적으로 초평면적인 군이 유한 핵을 가진 고도로 전치적인 충실한 작용을 갖는다는 것을 증명하며, 기존의 고도로 전치적인 군에 관한 결과들을 통합하고 확장한다. 핵심 기여는 이와 같은 군들이 정규적으로 무한 대칭군의 사본을 포함하거나 모형 이론적으로 자유군과 유사한 성질을 갖는다는 이분법적 성질이다. 이는 초평면적인 군에서의 보편 이론과 혼합 항등식에 응용된다.

ABSTRACT

We prove that every countable acylindrically hyperbolic group admits a highly transitive action with finite kernel. This theorem uniformly generalizes many previously known results and allows us to answer a question of Garion and Glassner on the existence of highly transitive faithful actions of mapping class groups. It also implies that in various geometric and algebraic settings, the transitivity degree of an infinite group can only take two values, namely $1$ and $\infty$. Here by transitivity degree of a group we mean the supremum of transitivity degrees of its faithful permutation representations. Further, for any countable group $G$ admitting a highly transitive faithful action, we prove the following dichotomy: Either $G$ contains a normal subgroup isomorphic to the infinite alternating group or $G$ resembles a free product from the model theoretic point of view. We apply this theorem to obtain new results about universal theory and mixed identities of acylindrically hyperbolic groups. Finally, we discuss some open problems.

연구 동기 및 목표

• 무한 가산 군의 전치도에 관한 열린 질문을 해결하는 것, 특히 이러한 군들이 매개변수 k ∈ ℕ에 대해 전치도 k를 가질 수 있는지 여부를 밝히는 것.
• 매핑 클래스 군과 기타 기하학적 군이 고도로 전치적인 충실한 작용을 갖는지 여부를 확인하는 것.
• 무한 군의 전치도가 가질 수 있는 가능한 값을 분류하여, 많은 설정에서 전치도가 1 또는 ∞일 수밖에 없다는 것을 보이는 것.
• 고도로 전치적인 작용을 갖는 군에 대한 구조적 이분법을 설정하는 것: 또는 무한 대칭군의 정규부분군을 포함하거나, 모형 이론적으로 자유군과 유사한 성질을 갖는다.
• 결과들을 보편 이론과 초평면적인 군에서의 혼합 항등식에 적용하는 것.

제안 방법

• 초평면적인 군을 특징짓기 위해 초평면 거리공간 위에서의 초평면적 군 작용을 사용하는 것.
• 가장자기군 Sym(ℕ)에의 임베딩을 통해 고도로 전치적인 작용을 구성하고, 유한 핵을 갖도록 하며, 초평면적인 군의 구조를 활용하는 것.
• 혼합 항등식과 이러한 군의 보편 이론을 분석하기 위해 모형 이론 기법을 적용하는 것.
• 유한 뿌리 K(G)와 정규부분군의 구조를 사용하여 이분법 정리를 도출하는 것.
• 자유군, 표면군, 하이퍼볼릭 군 등의 특수한 경우에 대해 알려진 결과를 활용하여 그들의 전치도 성질을 일반화하는 것.
• 순열군 이론과 유한성 대칭군 이론(예: FSym(ℕ), Alt(ℕ))을 사용하여 전치도를 분석하는 것.

실험 결과

연구 질문

• RQ1 모든 가산 초평면적인 군이 고도로 전치적인 충실한 작용을 갖는가?
• RQ2 무한 군의 전치도는 임의의 유한한 k ∈ ℕ가 될 수 있는가, 아니면 1 또는 ∞로 제한되는가?
• RQ3 매핑 클래스 군은 Garion과 Glassner가 제기한 바와 같이 고도로 전치적인 충실한 작용을 갖는가?
• RQ4 고도로 전치적인 작용을 갖는 군에 대해 성립하는 구조적 이분법은 무엇인가?
• RQ5 초평면적인 군에서 혼합 항등식과 보편 이론은 어떻게 행동하는가?

주요 결과

• 모든 가산 초평면적인 군은 유한 핵을 가진 고도로 전치적인 충실한 작용을 갖는다.
• 많은 기하학적 및 대수적 설정에서 어떤 무한 군의 전치도는 1 또는 ∞일 수밖에 없다.
• 고도로 전치적인 충실한 작용을 갖는 임의의 가산 군은 정규부분군으로서 무한 대칭군과 동형인 부분군을 포함하거나, 모형 이론적으로 자유군과 유사한 성질을 갖는다.
• 이 결과는 Garion와 Glassner의 질문을 해결하며, 매핑 클래스 군이 고도로 전치적인 충실한 작용을 갖는다는 것을 확인한다.
• 논문은 초평면적인 군의 보편 이론과 혼합 항등식에 관한 새로운 결과를 제공한다.
• PGL(2,F)의 전치도는 알려져 있지 않으며, ∞일 가능성이 낮으며, BS(2,3)는 고도로 전치적이지 않을 수 있음을 보여주며, 해소되지 않은 문제들을 해결하는 데 있어 가해군의 클래스에서 중요한 문제들을 드러낸다.