[論文レビュー] The Space of Actions, Partition Metric and Combinatorial Rigidity

Miklós Abért, Gábor Elek|arXiv (Cornell University)|Aug 10, 2011

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

ひとこと要約

本稿では、有限生成群の測度を保全する作用の空間上の擬距離である分割距離を導入し、その零集合が正確に弱同値類に一致することを示す。この距離の同一化はコンパクトであり、各弱同値類には、近似的に満たすすべての組合せ的条件を正確に満たす作用が含まれることを示し、組合せ的剛性および自由で非アーベルな作用における可測バージョンのフォン・ノイマン問題の解を確立する。

ABSTRACT

We introduce a natural pseudometric on the space of actions of d-generated groups. In this pseudometric, the zero classes correspond to the weak equivalence classes defined by Kechris, and the metric identification is compact. We achieve this by employing symbolic dynamics and an ultraproduct construction which also facilitates the extension of our results to unitary representations. As a byproduct, we show that the weak equivalence class of every free non-amenable action contains an action that satisfies the measurable von Neumann problem.

研究の動機と目的

• d生成の群の作用の空間に自然な擬距離を定義し、その零集合が弱同値類に正確に一致するようにすること。
• この擬距離の距離的同一化がコンパクトであることを示し、作用の収束解析を可能にする。
• 各弱同値類に、近似的に満たすすべての組合せ的条件を正確に満たす作用が含まれることを証明すること。
• 自由で非アーベルな作用が、可測フォン・ノイマン問題を満たす弱同値な作用を含むことを確立すること。
• ユニタリ表現の設定へと枠組みを拡張し、表現論的設定において類似の結果を得ること。

提案手法

• 作用空間上のボレル分割によって誘導されるk頂点彩色シュライエル図の集合間のハウスドルフ距離の重み付き和として分割距離を定義する。
• ルート付きシュライエル図と不変確率的部分群（IRS）を用いて、作用の局所的自由性と群構造を符号化する。
• 弱同値を弱位相における収束として特徴付け、共役類の閉包を用いて弱包含を定義する。
• 超極限と作用の逆極限を用いて、近似的に満たす条件を正確に満たす作用を構成する。
• グラフ極限理論の結果（例えば、ボロボーシュ＝リオルダン、ハタミ＝ロヴァーシュ＝ツェゲディ）を応用し、局所的・グローバル的収束を定義する。
• ガボリアウ＝ライオンズの定理とアベルト＝ヴォイスの結果を用い、ベルヌーイ作用を埋め込み、可測フォン・ノイマン問題を満たす自由作用を構成する。

実験結果

リサーチクエスチョン

• RQ1 作用の空間に、その零集合が正確に弱同値類に一致するような擬距離を定義できるか？
• RQ2 この擬距離の距離的同一化はコンパクトか。これにより作用の収束解析が可能になるか？
• RQ3 各弱同値類には、近似的に満たすすべての組合せ的条件を正確に満たす作用が含まれるか？
• RQ4 自由で非アーベルな作用は、可測フォン・ノイマン問題を満たす弱同値な作用と同値か？
• RQ5 ユニタリ群表現の設定においても類似の結果が成り立つか？

主な発見

• 分割距離は、作用の空間上の適切に定義された擬距離であり、その零集合は正確に弱同値類に一致する。
• 弱同値による作用の空間の距離的同一化はコンパクトであり、作用の列の収束を保証する。
• 各弱同値類には、任意の小さな誤差で満たすすべての組合せ的条件を正確に満たす作用が含まれる。
• すべての自由で非アーベルな作用は、可測フォン・ノイマン問題を満たす作用と弱同値である。
• 任意の不変確率的部分群（IRS）における分割距離のファイバーはコンパクトであり、構造的剛性を反映している。
• 結果はユニタリ表現の世界に対しても直接的な類似が成立し、測度を保全する作用の枠組みを超えて拡張可能である。