[論文レビュー] A Hurewicz-type theorem for asymptotic dimension and applications to geometric group theory

G. Bell, Alexander Dranishnikov|ArXiv.org|Jul 25, 2004

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

ひとこと要約

本稿は、漸近次元における漸近的Hurewicz型定理を確立し、測地的距離空間から別の空間へのリプシッツ連続写像が一様に有界な漸近次元の纤维を持つ場合、定義域の漸近次元は被域の漸近次元に纤维次元を加えたもの以下であることを証明している。主な貢献は、群の拡大における漸近次元の一般拡張定理であり、これはノルム群および多可解群の鋭い上界を、それらのヒルシュ長さを用いて得る。

ABSTRACT

We prove an asymptotic analog of the classical Hurewicz theorem on mappings which lower dimension. This theorem allows us to find sharp upper bound estimates for the asymptotic dimension of groups acting on finite dimensional metric spaces and allows us to prove a useful extension theorem for asymptotic dimension. As applications we find upper bound estimates for the asymptotic dimension of nilpoltent and polycyclic groups in terms of their Hirsch length. We are also able to improve the known upper bounds on the asymptotic dimension of fundamental groups of complexes of groups, amalgamated free products and the hyperbolization of metric spaces possessing the Higson property.

研究の動機と目的

• 漸近次元の次元低下写像に関する古典的Hurewicz定理の漸近的類似を確立すること。
• 有限生成群の漸近次元の群の拡大に関する一般拡張定理を構築し、境界を改善すること。
• 定理を用いて、ノルム群、多可解群、および結合自由積群の漸近次元を計算または上界で評価すること。
• ハイパボライズド距離空間にHigson性を満たすものおよび群の複体へと結果を拡張すること。
• 代数的不変量（例：ヒルシュ長さ）を用いて、漸近次元の鋭い上界を提供すること。

提案手法

• 漸近的Hurewicz定理の証明：$ f: X \to Y $ を測地的距離空間間のリプシッツ連続写像とし、$ \operatorname{asdim} f^{-1}(B_R(y)) \leq n $ が $ y $ に関して一様に成り立つならば、$ \operatorname{asdim}X \leq \operatorname{asdim}Y + n $ が成り立つ。
• この定理を用いて拡張定理を導出：全射 $ \phi: G \to H $ で核が $ K $ であるとき、$ \operatorname{asdim}G \leq \operatorname{asdim}H + \operatorname{asdim}K $ が成り立つ。
• 多可解群に対しては、中心的系列を用いて再帰的に適用し、$ \operatorname{asdim}\mathbb{Z} = 1 $ および $ \operatorname{asdim}\mathbb{R}^n = n $ を利用する。
• 等長的計量とユークリッド空間への粗同型を用いて、ノルムリー群に一般化する。
• 写像 $ \pi: \mathcal{H}(X) \to \mathbb{R} $、$ \pi(B_t(x)) = \ln t $ の射影にHurewicz定理を適用し、$ X $ がHigson性を満たすとき $ \operatorname{asdim}\mathcal{H}(X) = \operatorname{asdim}X + 1 $ を示す。
• Higson性を用いて、一様に有界で多重度が有界であり、メッシュが制御された被覆の存在を保証する。

実験結果

リサーチクエスチョン

• RQ1 粗幾何的設定において、漸近次元のHurewicz型定理を定式化できるか？
• RQ2 ファイバー次元と被域次元を用いて、群の拡大の漸近次元にどのような上界を確立できるか？
• RQ3 結合自由積の漸近次元は、因子の漸近次元と結合部分群の漸近次元とどのように関係するか？
• RQ4 Higson性を満たすハイパボライズド距離空間の漸近次元は何か？
• RQ5 ノルム群および多可解群の漸近次元は、それらのヒルシュ長さによって正確に上界で抑えられるか？

主な発見

• 漸近的Hurewicz定理が成立する：$ f: X \to Y $ を測地的距離空間間のリプシッツ連続写像とし、$ \operatorname{asdim} f^{-1}(B_R(y)) \leq n $ が $ y $ に関して一様に成り立つならば、$ \operatorname{asdim}X \leq \operatorname{asdim}Y + n $ が成り立つ。
• 全射群準同型 $ \phi: G \to H $ で核が $ K $ であるとき、拡張定理により $ \operatorname{asdim}G \leq \operatorname{asdim}H + \operatorname{asdim}K $ が成り立つ。
• 有限生成多可解群 $ \Gamma $ に対して、$ \operatorname{asdim}\Gamma \leq h(\Gamma) $ が成り立ち、ここで $ h(\Gamma) $ はヒルシュ長さを表す。
• 有限生成ノルム群 $ \Gamma $ に対して、$ \operatorname{asdim}\Gamma \leq h(\Gamma) $ が成り立ち、単連結ノルムリー群の場合は等号が成り立つ。
• Higson性を満たす距離空間 $ X $ に対して、$ \operatorname{asdim}\mathcal{H}(X) = \operatorname{asdim}X + 1 $ が成り立つ。ここで $ \mathcal{H}(X) $ は特定の計量を備えた $ X $ の球の空間を表す。
• 双曲空間 $ \mathbb{H}^n $ の漸近次元は $ n $ である。なぜなら $ \mathbb{H}^n \cong O(n,1)_+ / O(n) $ であり、連結リー群 $ G $ と最大コンpakト部分群 $ K $ に対して $ \operatorname{asdim}(G/K) = \dim(G/K) $ が成り立つからである。