[論文レビュー] Transitivity degrees of countable groups and acylindrical hyperbolicity

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

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) が高次元的でない可能性があることから、可解群のクラスにおける未解決問題が浮き彫りになった。