[論文レビュー] Assouad-Nagata dimension of tree-graded spaces

N. Brodskiy, J. Higes|ArXiv.org|Oct 13, 2009

Geometric and Algebraic Topology参考文献 10被引用数 5

ひとこと要約

この論文は、木的グレーディングされた距離空間の漸近的アッソウド・ナガタ次元を計算するための制御関数に基づく手法を確立し、各部分空間がn次元の制御関数fを持つ場合、全体の空間が300·fというn次元の制御関数を持つことを証明している。主な応用として、2つの有限生成無限群の自由積の漸近的アッソウド・ナガタ次元に関する公式が導かれる：asdim_AN(G*H) = max{asdim_AN(G), asdim_AN(H)}。

ABSTRACT

Given a metric space $X$ of finite asymptotic dimension, we consider a quasi-isometric invariant of the space called dimension function. The space is said to have asymptotic Assouad-Nagata dimension less or equal $n$ if there is a linear dimension function in this dimension. We prove that if $X$ is a tree-graded space (as introduced by C. Drutu and M. Sapir) and for some positive integer $n$ a function $f$ serves as an $n$-dimensional dimension function for all pieces of $X$, then the function $300\cdot f$ serves as an $n$-dimensional dimension function for $X$. As a corollary we find a formula for the asymptotic Assouad-Nagata dimension of the free product of finitely generated infinite groups: $asdim_{AN} (G*H)= max\{asdim_{AN} (G), asdim_{AN} (H)\}.$

研究の動機と目的

• 制御関数を用いて、木的グレーディングされた距離空間の漸近的アッソウド・ナガタ次元を特定すること。
• 既知の漸近的次元に関する結果を、自由積の文脈においてより強いアッソウド・ナガタ次元へと拡張すること。
• 自由積操作における漸近的アッソウド・ナガタ次元の挙動に関して、[4, 問題8.8]を解決すること。
• その漸近的コーンが木的グレーディングである相対的双曲的群に一般化可能な枠組みを提供すること。
• 各部分空間の制御関数に基づき、全体空間の制御関数に対する定量的バインド（300·f）を確立すること。

提案手法

• Xのn次元制御関数f_X(s)を、Xがn+1個の集合からなる被覆を持ち、そのrスケール接続成分がM有界であるような最小のMとして定義する。
• rスケール接続成分の概念を導入し、それを用いて木的グレーディング空間の構造を分析する。
• 測地線と部分空間への射影を用いて、同じ部分空間内または異なる部分空間にある点間の距離を分析する。
• 木的グレーディング性質（T1およびT2''）を適用する：部分空間の交わりは高々1点であり、任意の単純なループは1つの部分空間に含まれる。
• r鎖と射影を用いて距離の上限を確立し、部分空間の構造を活用して直径の成長を制御する。
• 同じ部分空間内、異なる部分空間、共有される交点といった、さまざまな幾何的配置からの境界を統合し、制御関数における最終的な乗法的係数300を導出する。

実験結果

リサーチクエスチョン

• RQ1 各部分空間が与えられたn次元制御関数を持つ木的グレーディング空間Xの漸近的アッソウド・ナガタ次元は何か？
• RQ2 全体空間の制御関数が、その部分空間の制御関数の関数として有界化可能か？
• RQ3 有限生成無限群の自由積において、漸近的アッソウド・ナガタ次元はどのように振る舞うか？
• RQ4 部分空間の制御関数から全体の制御関数へ変換する一様な乗法的定数が存在するか？
• RQ5 2つの群の自由積の漸近的アッソウド・ナガタ次元は、因子の次元の最大値に等しいか？

主な発見

• 木的グレーディング空間Xの各部分空間がn次元制御関数fを持つならば、Xはn次元制御関数300·fを持つ。
• 定数300は、点の配置と部分空間への射影に関する距離の境界を統合することによって生じる。
• 任意の2つの有限生成無限群GとHに対して、自由積の漸近的アッソウド・ナガタ次元は、asdim_AN(G*H) = max{asdim_AN(G), asdim_AN(H)}を満たす。
• この結果は、ある予想を裏付け、[4, 問題8.8]における自由積における漸近的アッソウド・ナガタ次元の挙動に関する疑問に答えている。
• この手法は、その漸近的コーンが木的グレーディングである相対的双曲的群にも適用可能であり、したがってこの次元の公式は同様の群へ拡張可能である。
• r鎖と部分的射影に基づく証明技法は、大規模幾何的状況における次元解析のための強固な枠組みを提供する。