[論文レビュー] N-step energy of maps and fixed-point property of random groups

Hiroyasu Izeki, Takefumi Kondo+1 more|arXiv (Cornell University)|Oct 22, 2012

Geometric and Algebraic Topology参考文献 14被引用数 4

ひとこと要約

この論文は、拡張子を用いたグラフモデルによって構成されるランダム群が、すべての次元が一様に有界なユークリッドビルディングを含む広範なクラスのCAT(0)空間に対して、固定点性質を有することを確立する。Gromovのnステップエネルギー成長に関する基準を精緻化し、これらのビルディングにおける接錐のWang不変量（δ）を推定することで、δ < 1 であるすべてのCAT(0)空間において、このような群がグローバルな固定点を固定することを証明する。これは、ヒルバート空間や性質(T)に関する先行結果を拡張するものである。

ABSTRACT

We prove that a random group of the graph model associated with a sequence of expanders has fixed-point property for a certain class of CAT(0) spaces. We use Gromov's criterion for fixed-point property in terms of the growth of n-step energy of equivariant maps from a finitely generated group into a CAT(0) space, to which we give a detailed proof. We estimate a relevant geometric invariant of the tangent cones of the Euclidean buildings associated with the groups PGL(m,Q_r), and deduce from the general result above that the same random group has fixed-point property for all of these Euclidean buildings with m bounded from above.

研究の動機と目的

• ランダム群がヒルバート空間を超える広範なクラスのCAT(0)空間に対し、固定点性質を有することを確立すること。
• シルバーマンの性質(T)の証明技法を一般化し、大偏差不等式の代わりに中心極限定理を用いることで、次数が2の頂点を含むグラフに対しても取り扱えるようにすること。
• ヒルバート空間をターゲットとするスペクトルギャップ不等式を、一般のCAT(0)空間への応用に拡張し、適用範囲を広げること。
• PGL(m, Q_r)に関連するユークリッドビルディングの接錐の幾何的不変量δ（Wang不変量）を計算または上界で評価し、有界なmに対しては1より厳密に小さいことを示すこと。
• nステップエネルギー成長に関する一般基準とδの有界性から、これらのビルディングにおける固定点性質が導かれることが示されること。

提案手法

• Gromovの固定点性質に関する基準を適応し、等変写像のnステップエネルギーの成長とグローバル固定点の存在を結びつける。
• ベルヌーイ運動のためのシルバーマンの大偏差不等式を、原点付近に留まる確率を推定するための中心極限定理に置き換える。
• ランダムウォークから導かれる重み付き測度P_G^n(l)を用いた確率的枠組みを導入し、等変写像のエネルギーを上界で評価する。
• グラフGのターゲット空間Yに関するスペクトルギャップλ_1(G,Y)を用いて、等変写像のnステップエネルギーE_μ(f)を推定する。
• メトリックコーンの径方向歪みを定義・計算し、Wang不変量δの代理として用いる。これは接錐のδ不変量を制御する。
• 一般固定点基準をPGL(m, Q_r)に関連するユークリッドビルディングに適用し、すべてのpおよび有界なmに対してδ(TC_pY) < 1 が一様に成り立つことを示す。

実験結果

リサーチクエスチョン

• RQ1 グラフモデルにおけるランダム群は、ヒルバート空間を超えるCAT(0)空間に対しても固定点性質を有するか？
• RQ2 Gromovのnステップエネルギー基準は、ヒルバート空間でないCAT(0)空間に作用するランダム群の固定点性質を示すために効果的に適用可能か？
• RQ3 素数rおよび有界なmに対して、PGL(m, Q_r)に関連するユークリッドビルディングの接錐のWang不変量δの値は何か？
• RQ4 有界な次元のユークリッドビルディングにおける固定点性質は、δの有界性とnステップエネルギー成長基準から導かれるか？
• RQ5 ヒルバート空間の確率的議論を、大偏差不等式の代わりに中心極限定理を用いることで、CAT(0)ターゲットに適応可能か？

主な発見

• 等変写像のnステップエネルギーは、固定点基準のもとで、部分線形的に成長し、グローバル固定点の存在を示唆する。
• グラフモデルによる拡張子を用いたランダム群に対しては、すべてのδ ≤ δ₀ < 1 であるCAT(0)空間において、nステップエネルギー成長条件が一様に満たされる。
• PGL(m, Q_r)に関連するユークリッドビルディングの接錐のWang不変量δは、mが上から有界な範囲で、1より厳密に小さい定数で上界が与えられる。
• 次元が上から有界なすべてのユークリッドビルディングにおいて、δの上界の一様性から固定点性質が成り立つ。
• 大偏差不等式の代わりに中心極限定理を用いることで、確率的議論が簡素化され、次数が2の頂点を含むグラフに対しても扱えるようになった。
• 結果はヒルバート空間や性質(T)を越えて、非対称的かつ局所コンパクトでないものを含む、CAT(0)空間のより広いクラスに対し固定点性質を示しており、これは真に拡張された結果である。