[論文レビュー] Group actions with commensurated subsets, wallings and cubings

Yves Cornulier|arXiv (Cornell University)|Feb 25, 2013

Geometric and Algebraic Topology参考文献 57被引用数 27

ひとこと要約

本稿は、共役部分集合を用いた群作用の統一的枠組みを提示し、ウォーリング、中央化グラフ、CAT(0)キュービングと結びつける。Property FW（すべての共役部分集合が固定的である）が、CAT(0)キュービングにおける有界な軌道を持つ群と同値であることを確立し、既知の結果を拡張するとともに、整数ヒルベルト空間およびコホモロジーを用いた新たな特徴付けを提供する。

ABSTRACT

We study commensurating actions of groups and the associated properties FW and PW, in connection with wallings, median graphs, CAT(0) cubings and multi-ended Schreier graphs.

研究の動機と目的

• CAT(0)キュービングの異なる視点—中央化グラフ、ウォール空間、群作用—を、共役部分集合という基本的概念を通じて統一する。
• 離散的および位相的群に対するProperty FWおよびその双対であるProperty PWの定義と性質を明確化・一般化する。
• コホモロジー、整数ヒルベルト空間、シュレーマー・グラフを用いたProperty FWの新たな特徴付けを確立する。
• キュービングにおける有限性、巡回部分群の非歪曲性、および適切な作用の構造に関する新たな結果を提供する。
• Property FWがProperty FAを含むが、Property FHよりは厳密に弱いことを示し、より組み合わせ論的性質を有することを示す。

提案手法

• 群作用における離散集合上での共役部分集合の概念を導入・形式化し、基数的明確関数 ℓ_M(g) = #(M Δ gM) を定義する。
• Property FWを、すべての共役部分集合が固定的（すなわち、有限対称差を除いて不変集合と一致する）であるという条件として定義する。
• G 上のすべての基数的明確関数が有界であることとProperty FWが同値であることを確立する。
• 共役部分集合とウォーリングの対応（命題 3.A.2）を用い、群作用をウォールを持つ空間に翻訳する。
• Chepoiの中央化グラフとCAT(0)キュービングの対応を応用し、中央化グラフ上の作用をキュービング上の作用に結びつける。
• Gerasimov らの結果を用い、Property FWがCAT(0)キュービングにおける固定点性質と中央化グラフ上の有界軌道と同値であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 群作用における共役部分集合は、CAT(0)キュービングおよびウォール空間の幾何学的性質とどのように関係するか？
• RQ2 離散的および位相的群に対するProperty FWの完全な特徴付けは何か？
• RQ3 Property FWはProperty FA や Property FH をどのように一般化または精緻化するか？
• RQ4 非有限生成設定において、Property FWとProperty PWの双対性を完全に特徴付けられるか？
• RQ5 共役部分集合およびそれに対応するウォーリングに関する有限性結果から、どのような新たな構造的洞察が得られるか？

主な発見

• Property FWは、G 上のすべての基数的明確関数が有界であることと同値であり、純粋に組み合わせ論的特徴付けを提供する。
• Property FWは、CAT(0)キュービングにおけるすべてのセルラ作用が ℓ¹-距離で有界な軌道を持つことを意味し、実際には固定点を持つ。
• 連結な中央化グラフ上のすべての作用が有界な軌道を持つことと、G がProperty FWをもつことは同値である。
• 有限生成群において、Property FWはすべてのシュレーマー・グラフが高々1つのエンドを持つことと同値である。
• すべてのG-集合 X に対して H¹(G, ℤX) = 0 が成り立つコホモロジー的条件は、Property FWと同値である。
• Property FWはProperty FA（木上の有界軌道）より強いが、Property FH（ヒルベルト空間上の有界軌道）よりは厳密に弱い。