[論文レビュー] Hyperbolic HHS II: Graphs of hierarchically hyperbolic groups

Davide Spriano|arXiv (Cornell University)|Jan 5, 2018

Geometric and Algebraic Topology参考文献 9被引用数 6

ひとこと要約

本稿では、グラフの階層的双曲群（HHG）の基本群が、自然なクラスの構成においてもHHGのままであることを確立している。具体的には、新しい頂点に双曲的頂点群を追加し、辺群をその頂点群に階層的に双曲的埋め込みされた部分群とする場合に、その基本群がHHGのままであることを示している。主な技術的進展は、階層的に双曲的埋め込まれた部分群のHHG構造が、周囲の群のHHG構造に組み込まれることを示したことである。これは、先行研究を一般化し、幾何的群論における群の構成に広範な応用を可能にする。

ABSTRACT

In this paper we consider a large family of graphs of hierarchically hyperbolic groups (HHG) and show that their fundamental groups admit HHG structures. To do that, we will investigate the notion of hierarchical quasi convexity and show that for a hyperbolic HHS it coincides with the notion of quasi-convexity. The main technical result, for which we expect further applications, is that it is possible to incorporate the HHG structure of a hierarchically hyperbolically embedded subgroup into the HHG structure of the ambient group. This generalizes and provides some additional details to a procedure described in [DHS17].

研究の動機と目的

• 階層的双曲群（HHG）のグラフの組み合わせ定理を、その基本群がHHGのままであるような広範なクラスのグラフに拡張すること。
• 新しい頂点群が双曲的で、辺群が階層的に双曲的埋め込みされた部分群であるような頂点および辺の追加において、HHG構造の安定性を調査すること。
• 階層的に双曲的埋め込まれた部分群のHHG構造が、周囲の群にどのように組み込まれるかを一般化し、先行研究で欠落していた技術的詳細を提供すること。
• 双曲的HHSにおける階層的準凸性が、標準的な準凸性と一致することを示し、構造的解析を単純化すること。

提案手法

• 双曲的獲得可能（hyperbolic-obtainable）な群のグラフの概念を導入し、双曲的頂点群と階層的に双曲的埋め込みされた辺群をもつ有限な頂点および辺の追加列によって定義する。
• 新しいHHS構造の構成を通じて、階層的に双曲的埋め込まれた部分群のHHG構造が、周囲の群のHHG構造に組み込まれることを証明する。
• コーン・オフとファクター・システムを用いて、特に埋め込み部分群の陪集合の文脈において、射影と一様な準凸性を分析する。
• 距離公式と複数のHHS構造にわたる射影の有界性を用い、辺写像の階層的準凸性を検証する。
• コーン・オフとファクター・システムにおける階層的準凸部分空間に関する命題3.5を活用し、新しいHHS構造における距離を制御する。
• 射影とコーン・オフの精密な制御を通じて、新しいHHS構造における有界な補助、完全性、直交性の公理を慎重に構築し、帰納的推論によって確認する。

実験結果

リサーチクエスチョン

• RQ1 新しい頂点に双曲的群と階層的に双曲的埋め込みられた辺群が追加された場合、HHGのグラフの基本群がHHGのままである条件は何か？
• RQ2 階層的に双曲的埋め込まれた部分群のHHG構造を、周囲の群のHHG構造に体系的に組み込むことは可能か？
• RQ3 双曲的HHSにおける階層的準凸性は、双曲的距離における標準的準凸性と一致するか？
• RQ4 HHGの組み合わせ定理を、双曲的頂点群と階層的に埋め込まれた辺群をもつ構成に一般化することは可能か？
• RQ5 HHS構造を変更した後でも、HHGのグラフにおける辺写像が階層的に準凸のままであるための構造的条件は何か？

主な発見

• グラフが有限個の有限なHHGのグラフの有限和から、双曲的頂点群とその頂点群に階層的に双曲的埋め込まれた辺群をもつ頂点および辺の追加によって得られる「双曲的獲得可能」である限り、HHGのグラフの基本群はHHGのままである。
• 双曲的HHSにおける階層的準凸性は、標準的準凸性と一致するため、この設定における部分空間の解析が単純化される。
• 階層的に双曲的埋め込まれた部分群のHHG構造を組み込むことができる新しいHHS構造を、頂点群上に構成することが可能であり、これは[DHS17]の手続きを一般化するものである。
• 構造の変更後も、辺写像の像は階層的に準凸のままであることが、複数のHHS構造にわたる射影の有界性とファクター・システムを用いた解析により示された。
• 射影とコーン・オフの精密な制御を通じて、新しいHHS構造においてHHS公理（有界な補助、完全性、直交性）が保持される。
• この結果により、特定の頂点および辺の追加に関して閉じたHHGのグラフのクラスが安定的であることが確立され、既知のHHGのクラスが顕著に拡張された。