[論文レビュー] Hyperbolic HHS I:Factor Systems and Quasi-convex subgroups

Davide Spriano|arXiv (Cornell University)|Nov 29, 2017

Geometric and Algebraic Topology参考文献 16被引用数 7

ひとこと要約

本稿では、任意の有限個の準凸部分群の族を用いて、ほぼ正規部分群条件を課さずに、双曲的群 $G$ に階層的双曲空間（HHS）構造を構成する方法を確立する。弱因子系を導入し、準凸部分群の共役の交わりから因子系を構成することで、各成分がコセットのコーン・オフであるような $G$ の HHS 構造が存在することを示し、Gromov境界をコーン・オフ空間の境界の商として明示的に記述する。これにより、相対的双曲性および境界に関する既存の結果が回復され、拡張される。

ABSTRACT

In this paper we provide a procedure to obtain a non-trivial HHS structure on a hyperbolic space. In particular, we prove that given a finite collection $\mathcal{F}$ of quasi-convex subgroups of a hyperbolic group $G$, there is an HHG structure on $G$ that is compatible with $\mathcal{F}$. We will use this to provide explicit descriptions of the Gromov Boundary of hyperbolic HHS and HHG, and we recover results from Hamenstädt, Manning, Trang for the case when $G$ is hyperbolic relative to $\mathcal{F}$. Further applications in the construction of new HHG will be presented in a subsequent paper.

研究の動機と目的

• 双曲的群に、任意の有限個の準凸部分群族を用いて、古典的な相対的双曲性の枠組みを超えて、階層的双曲群（HHG）理論を拡張すること。
• 従来の相対的双曲性および HHS 構造に関する結果で要請されていた「ほぼ正規部分群条件」を排除すること。
• 準凸部分群の共役の交わりから導かれる弱因子系に基づく、双曲的群上の HHS 構造の明示的構成を提供すること。
• HHS 構造が因子系から生じる双曲的 HHS の Gromov 境界を、コーン・オフ空間の境界の商として位相的に記述することにより、Bowditch や Manning、Tran の結果を一般化すること。
• 非相対的設定における新しい HHG の構成および境界の理解の基盤を築くこと。

提案手法

• 弱因子系の概念を導入：一様に準凸な部分群の有限族で、鎖長が有界で、粗い射影の閉包性および局所的準測地線密度を満たすもの。
• 元の族 $\mathcal{F}$ の共役の交わりからなる有限族 $\mathcal{F}'$ を構成し、弱因子系の公理を満たすように保証する。
• 群 $G$ に対する $\mathcal{F}'$ に関するコーン・オフ構成を用いて HHS の成分を定義し、各 $CU$ が $\mathcal{F}'$ の要素または $G$ のコセットのコーン・オフであることを示す。
• 階層的双曲空間の理論を応用し、得られた構造が HHS 公理を満たすことを示し、粗い幾何学に基づく射影および一貫性条件を導出する。
• 群 $G$ の Bowditch 境界と、$CX$（$\mathcal{F}'$ に関するコーン・オフ空間）の境界の商空間との間に、同相写像を確立する。
• 基本近傍および商写像の位相的性質を用いて、境界写像 $\phi$ がコンパクトハウスドルフ空間間の連続かつ全単射であることを示し、したがって同相写像であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 任意の有限個の準凸部分群族を用いて、ほぼ正規部分群条件を課さずに、双曲的群に階層的双曲構造を構成できるか？
• RQ2 HHS 構造が因子系から生じる場合、双曲的 HHS の Gromov 境界をどのように明示的に記述できるか？
• RQ3 コーン・オフ空間の境界と群の Bowditch 境界との間の位相的関係は何か？
• RQ4 弱因子系枠組みは、HHS 理論の文脈において、古典的相対的双曲性設定をどのように一般化するか？
• RQ5 共役の交わりを用いて正規性を置き換えることで、HHS 構造の構成を非相対的設定に拡張できるか？

主な発見

• 元の族 $\mathcal{F}$ を含む有限族 $\mathcal{F}'$ が構成可能であり、そのコセット空間 $\mathcal{F}'_{\mathrm{cos}}/_{\sim}$ が $G$ 上の階層的双曲構造をなす。各 $CU$ はコセットのコーン・オフである。
• 得られた HHS 構造は元の族 $\mathcal{F}$ と整合的であり、$\mathcal{F}$ がほぼ正規でない場合でも成立する。
• 双曲的 HHS の Gromov 境界は、$CX$ を $\mathcal{F}'$ に関するコーン・オフとし、$\partial X = \partial CX \cup_{F \in \mathcal{F}} \partial CF$ としたとき、各 $\partial CF$ を点に収縮させた商空間と同相である。
• 境界の記述は、Bowditch や Manning、Tran が示した相対的双曲群の境界の分解に関する結果を回復し、一般化する。
• 構成された $\mathcal{F}'$ は弱因子系公理を満たし、鎖長が有界で、粗い射影の閉包性を満たすため、HHS 構造が適切に定義される。
• 境界の同相写像の証明は、商写像 $\phi$ がコンパクトハウスドルフ空間間の連続かつ全単射であることを示すことに依拠しており、したがって同相写像である。