[論文レビュー] On asymptotic dimension of groups acting on trees

G. Bell, Alexander Dranishnikov|ArXiv.org|Nov 7, 2001

Advanced Operator Algebra Research参考文献 3被引用数 5

ひとこと要約

本稿では、有限グラフの群の基本群の漸近次元が、その有限生成頂点群の漸近次元の最大値より1つ大きいことを確立している。幾何的群論と木上の被覆技法を用いて、著者らは、すべての頂点群について asdim(Gᵥ) ≤ n であれば、任意のこのような群に対して asdim(π) ≤ n + 1 を証明している。この上限は、HNN拡大および結合積に対して最良（sharp）である。

ABSTRACT

We prove the following theorem: Let $π$ be the fundamental group of a finite graph of groups with finitely generated vertex groups $G_v$ having asdim $G_v\le n$ for all vertices $v$. Then asdim$π\le n+1$. This gives the best possible estimate for the asymptotic dimension of an HNN extension and the amalgamated product.

研究の動機と目的

• 有限グラフの群の基本群の漸近次元を特定すること。
• 結合自由積およびHNN拡大の既存の漸近次元推定値を改善すること。
• HNN拡大および一般結合積に対して最良である上界を確立すること。
• 群が木に作用する際、漸近次元が粗い不変量であることを示すこと。
• 群の拡張に関する先行研究における有限漸近次元の一般化を、群のグラフの設定に拡張すること。

提案手法

• Gromovの定義（一様有界かつd-非連結な被覆による）を用いて、距離空間の漸近次元を定義する。
• 有限被覆定理および無限被覆定理を適用し、群構造における集合の合併の漸近次元を制御する。
• Bass-Serre理論を用いて、木に作用する群を群のグラフの基本群として表現する。
• 語の長さとCayley図形における経路長を用いて、頂点群構造と辺安定化部分群を用いて群の被覆を構成する。
• 粗い同値性および近傍構成（例：Nᵣ(φᵧ(Gᵧ))) を用いて、群内の集合と頂点群との関係を確立し、次元を制御する。
• Cayley図形における経路長に関する帰納法を用い、固定長の語からなる集合が有界な漸近次元を持つことを示す。

実験結果

リサーチクエスチョン

• RQ1 頂点群の漸近次元が有界である有限グラフの群の基本群の漸近次元は何か？
• RQ2 HNN拡大または結合積の漸近次元は、入力群の次元で抑えられるか？
• RQ3 HNN拡大および一般結合積に対して、境界 asdim(π) ≤ n + 1 は最良か？
• RQ4 木に作用する群の漸近次元は、その頂点群の漸近次元にのみ依存するか？
• RQ5 頂点群の次元の最大値に1を加えた式を用いて、グラフの群の漸近次元を計算できるか？

主な発見

• 頂点群 Gᵥ について asdim(Gᵥ) ≤ n を満たす有限グラフの群の基本群 π の漸近次元は、n + 1 以下である。
• HNN拡大に対して境界 n + 1 は最良であり、クラインのボーラーの基本群（asdim = 2）の例によって示されている。
• A = B = C = ℤ で包含写像が2倍写像である結合積 A ∗C B に対して、漸近次元は正確に2であり、境界と一致する。
• 本結果は、結合積およびHNN拡大における有限漸近次元に関する先行研究を一般化している。
• 著者らは、C → A および C → B の包含写像が同型でない場合、asdim(A ∗C B) = max{asdim A, asdim B, asdim C + 1} であると予想している。
• 証明は、語の長さに関する帰納的制御と、頂点群およびその積への粗い同値性に基づいている。