[論文レビュー] Hierarchically hyperbolic groups and uniform exponential growth

Carolyn Abbott, Thomas Ng+3 more|arXiv (Cornell University)|Sep 1, 2019

Geometric and Algebraic Topology被引用数 5

ひとこと要約

本稿は、幾何的条件下が緩い場合でも、ほとんど捩れのない高次元的双曲的群に対して一様指数的成長を確立する。この結果により、このような群は一様指数的成長を示すか、あるいはほとんどアーベル群であることが示される。主な結果は、因子系を備えた高次元のCAT(0)立方複体へ一様指数的成長を拡張し、従来の証明に見られる次元の低さや孤立した平坦部への依存性の欠落を解消する。

ABSTRACT

We give several sufficient conditions for uniform exponential growth in the setting of virtually torsion-free hierarchically hyperbolic groups. For example, any hierarchically hyperbolic group that is also acylindrically hyperbolic has uniform exponential growth. In addition, we provide a quasi-isometric characterization of hierarchically hyperbolic groups without uniform exponential growth. To achieve this, we gain new insights on the structure of certain classes of hierarchically hyperbolic groups. Our methods give a new unified proof of uniform exponential growth for several examples of groups with notions of non-positive curvature. In particular, we obtain the first proof of uniform exponential growth for certain groups that act geometrically on CAT(0) cubical spaces of dimension 3 or more. Under additional hypotheses, we show that a quantitative Tits alternative holds for hierarchically hyperbolic groups.

研究の動機と目的

• 高次元的双曲的群における一様指数的成長の十分条件を確立すること。
• 従来の証明が次元の低さや孤立した平坦部に依存するのを克服し、高次元のCAT(0)立方複体へ一様指数的成長の結果を拡張すること。
• 一様指数的成長を示さない高次元的双曲的群の群の同値的特徴づけを提供すること。
• 線形群、双曲的群、および立方群といった既存のクラスにおける一様指数的成長の証明を統一的に扱うフレームワークを構築すること。
• 追加の仮定のもとで高次元的双曲的群に対して定量的ティーツ代替を証明すること。

提案手法

• 著者たちは、インデックス集合のドメインに関連する双曲的空間への射影を活用する、高次元的双曲的空間（HHS）の構造を利用する。
• 群の要素がこれらのグラフに作用する様子を、立方複体の接触グラフを通じて幾何的に分析する。
• 証明は、CAT(0)立方複体に因子系が存在することに依存しており、これにより群が高次元的双曲的であることが保証され、階層的構造を制御できる。
• 主要な議論は、特定の射影が有界でなく、準凸でもない場合、群は一様指数的成長を示さなければならないことを示すことである。
• 接触グラフが準直線であると仮定した場合に矛盾を導くために、二重のずらし補題（double skewering lemma）を適用する。これにより、特定の構造的配置が排除される。
• CAT(0)立方複体の本質的コア分解を用いて、問題を非ユークリッド的で不可約な因子に還元し、そこでは成長基準を適用できる。

実験結果

リサーチクエスチョン

• RQ1 高次元的双曲的群がいつ一様指数的成長を示すか。
• RQ2 孤立した平坦部を仮定せず、3次元以上のCAT(0)立方複体に対しても一様指数的成長を確立できるか。
• RQ3 一様指数的成長を示さない高次元的双曲的群の群の同値的特徴づけは何か。
• RQ4 CAT(0)立方複体上の因子系の構造をどのように活用して成長に関する結果を証明できるか。
• RQ5 適切な仮定のもとで、高次元的双曲的群に対して定量的ティーツ代替が成り立つか。

主な発見

• すべての高次元的双曲的群で、かつアシリンジックに双曲的である群は、一様指数的成長を示す。
• 局所的に有限で、有限次元のCAT(0)立方複体に因子系を備えた自由かつ共通的（cocompact）作用をもつ群は、ほとんどアーベル群でない限り、一様指数的成長を示す。
• 不可約で非ユークリッド的なCAT(0)立方複体の接触グラフは、群が本質的にかつ共通的に作用する限り、有界でなく、準直線でもない。
• 接触グラフが準直線であるならば、立方複体自体も準直線であるが、これは因子が不可約かつ非ユークリッド的であることに矛盾する。
• 証明により、線形群、双曲的群、およびマッピングクラス群に対する既存の結果を回復・拡張する、新しい統一的フレームワークが確立された。
• 付録では、Out(F_n)の線形成長部分群および2次元の立方群について、階層的構造を用いて一様指数的成長の新しい証明が提供されている。