[論文レビュー] Proper actions on finite products of quasi-trees

Mladen Bestvina, Kenneth Bromberg+1 more|arXiv (Cornell University)|May 26, 2019

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

ひとこと要約

この論文は、残余有限な双曲群および写像類群が、擬等長な軌道写像を持つ有限個の擬ツリーの積上に等長的に作用することを確立し、それによって新しい性質（QT）を定義する。射影複体技術と残余有限群における分離性を用いて、このような作用を構成し、これらの群が有限な漸近次元を持つことを証明するとともに、ハーゲルプ性質や性質（T）とは異なる強力な幾何的有限性条件を提供する。

ABSTRACT

We say that a finitely generated group $G$ has property (QT) if it acts isometrically on a finite product of quasi-trees so that orbit maps are quasi-isometric embeddings. A quasi-tree is a connected graph with path metric quasi-isometric to a tree, and product spaces are equipped with the $\ell^1$-metric. As an application of the projection complex techniques, we prove that residually finite hyperbolic groups and mapping class groups have (QT).

研究の動機と目的

• 有限生成群が擬ツリーの有限個の積上に等長的に作用し、軌道写像が擬等長であるような性質（QT）を定義し、確立すること。
• 残余有限な双曲群が性質（QT）を満たすことを証明し、自由群や曲面群に対する既知の結果を拡張すること。
• 写像類群が性質（QT）を満たすことを確立し、それらの構造に対する新しい幾何的特徴付けを提供すること。
• 性質（QT）がハーゲルプ性質やカジランの性質（T）とは明確に異なる強力な有限性条件であることを、$Sp(n,1)$ 上の格子のような例を用いて示すこと。
• 構成が分離性と射影複体技術に依存しており、擬等長埋め込みを擬ツリーの積へと可能にすることを示すこと。

提案手法

• 【BBF15】および【BBFS20】の射影複体フレームワークを用い、曲線図形内の擬測地線の族から擬ツリーを構成するように適応する。
• 一様な射影定数 $\chi$ を用いた強力な射影公理を適用し、距離公式が閾値 $K = 4\chi$ で成り立つことを保証する。
• 残余有限群における中心化子と二重コセットの分離性を用いて、軸測地線への射影を制御する有限指数部分群を構成する。
• 各 $H$-軌道ごとに1つずつ、固定長 $\hat{T}$ の厚みのある測地線分 $\gamma_i$ を選ぶことで、曲線図形内に優先軸の集合 $\gamma_i$ を構成する。
• 有限指数部分群 $H < MCG(\Sigma)$ を選び、$H$-軌道の軸が横断的であり、安定化子が分離可能であるように、軸集合 $\mathcal{A}$ を色分けする。
• 各成分に $\ell^1$-距離を備えた積空間 $\mathcal{X} = \prod_{i=1}^m \mathcal{C}_K(\mathcal{A}_i)$ を構成し、厚みのある距離公式と有界な射影制御を用いて、$H \to \mathcal{X}$ の軌道写像が擬等長埋め込みであることを証明する。

実験結果

リサーチクエスチョン

• RQ1 残余有限な双曲群が幾何的構成により、擬ツリーの有限個の積上に適切に作用させられるか。
• RQ2 写像類群は擬等長埋め込みを有限個の擬ツリーの積へ持つことができるか。そのような埋め込みを可能にする構造的性質は何か。
• RQ3 性質（QT）はハーゲルプ性質やカジランの性質（T）とどのように異なるのか。特に $Sp(n,1)$ 上の格子が示す事例から見てどうか。
• RQ4 残余有限群における分離性を活用して、射影複体における射影を制御し、像が有界な有限指数部分群を構成できるか。
• RQ5 厚みのある測地線分と優先軸は、距離公式が語る語長に対する線形下界を保証するために果たす役割は何か。

主な発見

• 残余有限な双曲群は性質（QT）を満たす。これは、擬ツリーの有限個の積上に等長的に作用し、軌道写像が擬等長であることを意味する。
• 写像類群も性質（QT）を満たし、擬等長埋め込みを用いた擬ツリーの積への埋め込みによって、それらの構造に対する新しい幾何的特徴付けが得られる。
• この構成は、残余有限群における中心化子と二重コセットの分離性に依存しており、軸測地線への射影を制御する有限指数部分群の構成を可能にする。
• 厚みのある距離公式と有界な射影制御を用いて、語長に対する $\ell^1$-距離の線形下界を確立する。
• $\ell^1$-距離を備えた積空間 $\mathcal{X} = \prod_{i=1}^m \mathcal{C}_K(\mathcal{A}_i)$ は、$MCG(\Sigma)$ の有限指数部分群 $H$ の擬等長埋め込みを支持しており、$MCG(\Sigma)$ が性質（QT）を満たすことを示唆する。
• この結果により、性質（QT）は有限な漸近次元よりも厳密に強い性質であることが示され、ハーゲルプ性質を意味しないことが、$Sp(n,1)$ 上の格子が性質（T）を有するが依然として（QT）を満たす例によって裏付けられる。