[論文レビュー] Helly groups

Jérémie Chalopin, Victor Chepoi+3 more|arXiv (Cornell University)|Feb 17, 2020

Geometric and Algebraic Topology被引用数 12

ひとこと要約

この論文は、すべてのペアワイズに交わる組合せ的球が共通の交点を持つようなグラフであるヘリーグラフに幾何的に作用する群、すなわちヘリーグループを定義し、体系的に研究する。著者らは、双曲的、CAT(0)立方体的、および特定のスモールキャンセレーション群を含む多数の古典的群がヘリーグループであることを示し、ヘリーグループが双自動性、適切な作用のための有限次元分類空間の存在、可縮な漸近的コーン、およびファーラン＝ジョーンズ予想と粗いボーム＝コンヌス予想の満たす強力な幾何的・代数的性質を有することを証明する。

ABSTRACT

Helly graphs are graphs in which every family of pairwise intersecting balls has a non-empty intersection. This is a classical and widely studied class of graphs. In this article we focus on groups acting geometrically on Helly graphs -- Helly groups. We provide numerous examples of such groups: all (Gromov) hyperbolic, CAT(0) cubical, finitely presented graphical C(4)$-$T(4) small cancellation groups, and type-preserving uniform lattices in Euclidean buildings of type $C_n$ are Helly; free products of Helly groups with amalgamation over finite subgroups, graph products of Helly groups, some diagram products of Helly groups, some right-angled graphs of Helly groups, and quotients of Helly groups by finite normal subgroups are Helly. We show many properties of Helly groups: biautomaticity, existence of finite dimensional models for classifying spaces for proper actions, contractibility of asymptotic cones, existence of EZ-boundaries, satisfiability of the Farrell-Jones conjecture and of the coarse Baum-Connes conjecture. This leads to new results for some classical families of groups (e.g. for FC-type Artin groups) and to a unified approach to results obtained earlier.

研究の動機と目的

• ヘリーグループを定義し、ヘリーグラフに幾何的に作用する群を体系的に研究すること。
• 双曲的、CAT(0)立方体的、および特定のスモールキャンセレーション群を含む広範な群のクラスがヘリーグループであることを同定すること。
• ヘリーグループに強い幾何的・代数的性質が存在することを確立し、古典的群族に関する既知の結果を統合・拡張すること。
• CAT(0)空間のような非正曲率の設定と同様に、ヘリーグラフへの群作用を理解するための枠組みを提供すること。
• ヘリーグループの構造と性質に関する未解決問題を提示すること、特に部分群構造や相対的双曲性に関するもの。

提案手法

• メトリック空間およびグラフをインジェクティブメトリック空間に埋め込むために、ヘリーカイゼーションおよび単射核の構成を用いる。
• 単射空間における測地的バイコムビングを応用し、双自動性および同伴旅⾏性の性質を導出する。
• 厚さを付けること、クリークハイパーグラフのネ Soy およびδ-ボールハイパーグラフのリプス複体を用いたヘリーグラフの構成。
• ヘリーゲンスの性質を活用して、有限群作用における固定点定理および固定点集合の可縮性を証明する。
• 抽象的セル複体およびハイパーグラフ構造を用いて、ヘリーグラフおよびそのフラッグ完備化を特徴付ける。
• 群論的性質（例：ファーラン＝ジョーンズ、粗いボーム＝コンヌス）をヘリーグラフ作用の幾何的性質に還元する。

実験結果

リサーチクエスチョン

• RQ1 写像類群、アーティン群、コクセター群などの古典的群は（本質的に）ヘリーであるか？
• RQ2 無限巡回部分群を共有する自由積のアーマルガメーションに関する組み合わせ定理は、ヘリーグループに対しても確立可能か？
• RQ3 ヘリーグループのスモールキャンセレーション商は、自身もヘリーグループであるか？
• RQ4 ヘリーグループのアーベル部分群は常に有限生成でなければならないか？また、ヘリーグループに対して可解部分群定理が成り立つか？
• RQ5 ヘリーグループにおける準フラットの構造および無限位数要素の中心化部分群の構造はいかなるものか？

主な発見

• (グロモフ)双曲的群、CAT(0)立方体的群、および有限生成のグラフィカルC(4)-T(4)スモールキャンセレーション群はすべてヘリーグループである。
• 有限部分群を共有するヘリーグループの自由積、グラフ積、および特定の図形積はヘリーグループである。
• ヘリーグループの有限正規部分群による商群はヘリーグループである。
• ヘリーグループは双自動的である。これは、同伴旅⾏する正規クリークパスの存在によって示される。
• ヘリーグループは、適切な作用のための有限次元モデルを有する。
• ヘリーグループの漸近的コーンは可縮であり、有限群作用における固定点集合もヘリーグラフ的かつ可縮である。