[論文レビュー] Constructing group actions on quasi-trees and applications to mapping class groups

Mladen Bestvina, Kenneth Bromberg+1 more|arXiv (Cornell University)|Jun 10, 2010

Geometric and Algebraic Topology参考文献 36被引用数 27

ひとこと要約

本稿は、射影複体と距離空間の擬木への応用を通じて、群の作用を新たな方法で構成し、写像類群がδ-双曲空間の有限個の直積上に作用すること、およびその軌道写像が準等長的であることを証明する。主な貢献は、写像類群の漸近次元が有限であることを確立したことであり、これは幾何的群論およびトーラス理論における長年の未解決問題を解決する。

ABSTRACT

A quasi-tree is a geodesic metric space quasi-isometric to a tree. We give a general construction of many actions of groups on quasi-trees. The groups we can handle include non-elementary (relatively) hyperbolic groups, rank 1 CAT(0) groups, mapping class groups and Out(Fn). As an application, we show that mapping class groups act on finite products of δ-hyperbolic spaces so that orbit maps are quasi-isometric embeddings. We prove that mapping class groups have finite asymptotic dimension.

研究の動機と目的

• 射影性が制御された距離空間の族から、一般化された擬木への群作用の構成法を確立すること。
• この構成法を写像類群に適用し、それらがδ-双曲空間の有限個の直積上に作用し、軌道写像が準等長的であることを証明すること。
• 写像類群の漸近次元が有限であることを確立し、幾何的群論における中心的未解決問題を解決すること。
• 類似の射影に基づく構成を用いて、ランク1の要素をもつCAT(0)群やOut(F_n)に対しても同様の方法を拡張すること。
• 射影複体と距離空間の擬木の統一的枠組みを提供し、非双曲的群における双曲的性質に類似する挙動を一般化・強化すること。

提案手法

• 軌道的距離空間の族と、公理(P0)–(P2)を満たす粗い射影写像を用いて射影複体を定義する。これには、射影の有界性と、互いの射影の有限性が含まれる。
• 各空間Yの等長コピーを含み、射影構造を一様誤差の範囲で保つ、距離空間の擬木C(Y)を構成する。
• 射影公理を保つ群作用が、この構成に可換になるようにし、結果として得られる擬木上での群作用を可能にする。
• ボトルネック基準を用いて、構成された空間C(Y)が擬木であることを確認する。これは、射影複体の双曲性に依存する。
• 漸近次元の積公式と和集合定理を用い、テイコフ空間および写像類群の漸近次元を帰納的に上から抑える。
• ミンスキーの積定理とマスール＝ミンスキーの距離推定を活用し、パンツ複体および曲線複体の幾何と、積空間内での軌道写像の関係を明らかにする。

実験結果

リサーチクエスチョン

• RQ1 写像類群のような非双曲的群に対して、一般化された擬木への群作用の構成法を開発できるか？
• RQ2 写像類群は、δ-双曲空間の有限個の直積上に作用し、その軌道写像が準等長的であるか？
• RQ3 写像類群の漸近次元は有限であり、射影に基づく幾何的構成によって証明可能か？
• RQ4 射影複体の枠組みを、ランク1の要素をもつCAT(0)群およびOut(F_n)に拡張可能か？
• RQ5 テイコフ空間の漸近次元と、その部分空間分解の漸近次元との関係は何か？

主な発見

• 写像類群は、δ-双曲空間の有限個の直積上に作用し、その軌道写像が準等長的埋め込みである。これは、強い意味での双曲的性質に類似した挙動を確認するものである。
• 写像類群の漸近次元は有限であり、幾何的群論における主要な未解決問題が解決された。
• 距離空間の擬木C(Y)の構成により、測地的距離空間が得られ、これは木と準等長的であり、一様定数を用いたボトルネック基準を満たす。
• 射影複体の構成は、射影公理を保つ群作用に対して可換であり、擬木上での群作用を体系的に可能にする。
• ウェイ・ペテルソン計量を備えたテイコフ空間の漸近次元は有限であり、これはパンツ複体と準等長的であり、その漸近次元が有限であるためである。
• この方法は、非自明な相対的双曲的群、ランク1の要素をもつCAT(0)群、およびOut(F_n)に一様に適用可能であり、広範な適用可能性を示している。