[論文レビュー] Quasi-actions on trees II: Finite depth Bass-Serre trees

Lee Mosher, Michah Sageev+1 more|ArXiv.org|May 13, 2004

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

ひとこと要約

この論文は、有限深さのバス-セールツリーを持つ粗いポincare双対性群の有限グラフの基本群に対して、準等長的剛性を確立する。交差グラフ条件—各頂点におけるcodimension-1エッジ群の交差を記述するグラフが連結または空であることを要請する—のもとで、このような群に準等長的同型である任意の有限生成群は、再び粗いポincare双対性群の有限グラフの基本群であることが示され、任意の準等長写像はバス-セールツリーの頂点空間およびエッジ空間を粗く保存する。

ABSTRACT

This paper addresses questions of quasi-isometric rigidity and classification for fundamental groups of finite graphs of groups, under the assumption that the Bass-Serre tree of the graph of groups has finite depth. The main example of a finite depth graph of groups is one whose vertex and edge groups are coarse Poincare duality groups. The main theorem says that, under certain hypotheses, if G is a finite graph of coarse Poincare duality groups then any finitely generated group quasi-isometric to the fundamental group of G is also the fundamental group of a finite graph of coarse Poincare duality groups, and any quasi-isometry between two such groups must coarsely preserves the vertex and edge spaces of their Bass-Serre trees of spaces. Besides some simple normalization hypotheses, the main hypothesis is the ``crossing graph condition'', which is imposed on each vertex group G_v which is an n-dimensional coarse Poincare duality group for which every incident edge group has positive codimension: the crossing graph of G_v is a graph e_v that describes the pattern in which the codimension~1 edge groups incident to G_v are crossed by other edge groups incident to G_v, and the crossing graph condition requires that e_v be connected or empty.

研究の動機と目的

• 頂点群およびエッジ群が粗いポincare双対性群である有限グラフの群の基本群に対する準等長的剛性を確立すること。
• このような群の準等長写像が、そのバス-セールツリーにおける頂点およびエッジ空間の分解構造を保存するかどうかを調査すること。
• 準等長的写像が同型または共通部分群をもつグラフの群の分解をもつようにする条件を同定すること。
• これまでの準等長的剛性に関する結果を、非一様的（次元が異なる）頂点群をもつグラフの群へと拡張すること。
• 多様体に類似した群のアービトランスフォーマーションやHNN拡張によって得られる群の準等長型の分類を提供すること。

提案手法

• グラフの群の幾何的構造を分析するために、バス-セールツリーの空間構成を用いる。
• 「交差グラフ条件」を導入する—各頂点におけるcodimension-1エッジ群の交差を記述するグラフが連結または空であることを要請する。
• 粗いポincare双対性理論を適用して、頂点群を多様体に類似した形でモデル化し、一様的でない設定へ一般化する。
• 準等長写像技術を用いて、このような群の間の任意の準等長写像が、バス-セールツリーの頂点およびエッジ空間の分解を粗く保存することを示す。
• 解析的接続の議論を用いて、深さ1のラフトにおける局所的な準等長写像の制御を、バス-セールツリー全体へのグローバル制御へと拡張する。
• ファルブ＝モシヤーおよびカポビッチ＝クラインナーによる、表面-自由群や表面-自由群の準等長写像に関する結果を応用し、深さ1のラフトの剛性を確立する。

実験結果

リサーチクエスチョン

• RQ1 有限深さのバス-セールツリーを持つ粗いポincare双対性群のグラフの基本群の分解が、準等長写像のもとでいつ保存されるか。
• RQ2 各頂点における交差グラフの構造が、群の準等長的剛性にどのように影響するか。
• RQ3 このような群の間の準等長写像が、バス-セールツリーの頂点およびエッジ空間の分解を粗く保存することが示せるか。
• RQ4 一様的でない場合（すべての頂点群が同じ次元をもつ場合）を除いて、結果がどの程度拡張可能か。
• RQ5 表面-自由群や双曲的3次元多様体群の最大巡回部分群をもつアービトランスフォーマーション群のような群の準等長群にどのような意味があるか。

主な発見

• 有限深さのバス-セールツリーを持つ粗いポincare双対性群の有限グラフの基本群に準等長的同型である任意の有限生成群は、再び粗いポincare双対性群の有限グラフの基本群である。
• このような群の間の任意の準等長写像は、それぞれのバス-セールツリーの空間における頂点空間およびエッジ空間を粗く保存する。
• 交差グラフ条件—各頂点におけるcodimension-1エッジ群の交差を記述するグラフが連結または空である—が、この剛性を保証する十分条件である。
• 表面-自由群や双曲的3次元多様体群の最大巡回部分群をもつアービトランスフォーマーション群のような群では、準等長型が剛性をもち、分解が保存される。
• このような群の準等長群は、群自体の有限指数拡張であり、深さ1のラフトの構造が全準等長群を制御する。
• 表面群などの高次元エッジ群をもつ場合にも、剛性は拡張され、分解は準等長写像のもとで保存される。