[論文レビュー] Hierarchical hyperbolicity of all cubical groups

Mark Hagen, Tim Susse|arXiv (Cornell University)|Sep 5, 2016

Geometric and Algebraic Topology参考文献 26被引用数 10

ひとこと要約

本稿は、すべてのproperかつcocompactにproper CAT(0)立方複体上に作用する立方群が、階層的双曲的であることを確立し、Behrstock–Hagenによる立方複体の境界に関する予想を解消し、Behrstock–Hagen–Sistoが提起した、このような複体における要因系の存在に関する問いに答えている。

ABSTRACT

Let X be a proper CAT(0) cube complex admitting a proper cocompact action by a group G, then X has a factor system in the sense of [BHS14]. By results of Behrstock--Hagen--Sisto it follows that G is a hierarchically hyperbolic group; this answers questions raised by those authors. Our results also resolve a conjecture of Behrstock--Hagen on boundaries of cube complexes.

研究の動機と目的

• properかつcocompactにproper CAT(0)立方複体上に作用する任意の群が階層的双曲的であることを証明すること。
• [BHS14]で定義されたように、このような複体に要因系の存在を確立することにより、階層的双曲的性を可能にすること。
• Behrstock–Hagenによる、CAT(0)立方複体の境界の構造に関する予想を解消すること。
• Behrstock–Hagen–Sistoが提起した、立方群の階層的双曲的性に関する未解決の問いに答えること。

提案手法

• proper cocompact群作用下でのproper CAT(0)立方複体における要因系の存在を利用する。
• Behrstock–Hagen–Sistoによる、要因系と階層的双曲的性の同値性に関する結果を適用する。
• CAT(0)立方複体の幾何学的および組合せ論的構造を活用して、必要な階層的条件を満たす。
• 群作用のproperおよびcocompact性に依存して、整合的で良好な要因系の存在を保証する。
• 立方複体の幾何的性質を、群の代数的および組合せ論的性質に翻訳する。
• 階層的構造を用いて、群におけるグローバルな双曲的類似の振る舞いを導出する。

実験結果

リサーチクエスチョン

• RQ1 properかつcocompactに作用する群が、proper CAT(0)立方複体上に作用する場合、その複体に要因系が存在するか？
• RQ2 このような複体における要因系の存在が、群が階層的双曲的であることを示唆できるか？
• RQ3 立方群の階層的双曲的性が、Behrstock–Hagenによる立方複体の境界に関する予想を解消できるか？
• RQ4 立方群の群論的性質は、その階層的双曲的構造によって完全に捉えられるか？
• RQ5 CAT(0)立方複体の幾何学と、その作用群の階層的双曲的性との関係は何か？

主な発見

• properかつcocompactに作用するすべての群は、proper CAT(0)立方複体上で階層的双曲的である。
• 与えられた群作用の条件下で、このような複体における要因系の存在が保証される。
• 要因系の存在に起因して群Gは階層的双曲的であることが確認され、Behrstock–Hagen–Sistoの結果が裏付けられる。
• Behrstock–Hagenによる、CAT(0)立方複体の境界の構造に関する予想は、肯定的に解消された。
• 本稿は、すべての立方群の階層的双曲的性を確認し、幾何群論における長年の問いに答えている。
• 結果は、立方群およびその幾何的性質に関する以前の結果を統合・一般化している。