[論文レビュー] A survey of Measured Group Theory

Alex Furman|arXiv (Cornell University)|Jan 6, 2009

Advanced Operator Algebra Research参考文献 111被引用数 38

ひとこと要約

本調査は、測度同値（ME）と軌道同値（OE）を中核的な枠組みとして、無限可換群およびそのエルゴディック作用の分類に焦点を当てた、測度群論の包括的概説を提示する。最近の剛性結果、コスト、ℓ²ベッチ数、基本群といった不変量、およびコサイクルスーパー剛性やMEカップリングといった技術を統合し、基本群と外部自己同型群が自明な同値関係の構成といった主要な貢献を強調する。

ABSTRACT

The title refers to the area of research which studies infinite groups using measure-theoretic tools, and studies the restrictions that group structure imposes on ergodic theory of their actions. The paper is a survey of recent developments focused on the notion of Measure Equivalence between groups, and Orbit Equivalence between group actions. We discuss known invariants and classification results (rigidity) in both areas.

研究の動機と目的

• 測度同値（ME）と軌道同値（OE）に特に焦点を当てた、測度群論における最近の進展を体系化し、サーベイすること。
• 群構造が群作用のエルゴディック理論をどのように制約するかを明確にすること。
• MEおよびOEの文脈において、コスト、ℓ²ベッチ数、基本群といった不変量を提示すること。
• ランキングやマッピングクラス群の分類結果を含む、スーパー剛性や分類現象を調査すること。
• 特にコサイクルスーパー剛性定理に関する深い結果の理解を助ける、アクセス可能な証明と概念的洞察を提供すること。

提案手法

• 群の比較を測度空間上の有限体積作用を通じて可能にする、準等距の一般化たる測度同値カップリングを用いる。
• 特にOE-コサイクルとME-コサイクルを用いて、群作用を関連付け、軌道構造を分類するコサイクル技術を適用する。
• 基本領域構成を介して、有限被覆を持つ離散コサイクルの概念を用いてMEカップリングを特徴付ける。
• 単純なリー群および積群からのスーパー剛性定理を活用し、MEおよびOE設定における剛性を導出する。
• コhomological道具およびコサイクルスーパー剛性（例えばポーパの定理）を用いて、同値関係の分類結果を証明する。
• MEおよびOEフレームワーク内でのアメニタリティ、性質(T)、木構造性、単体的体積といった不変量を導入・分析する。

実験結果

リサーチクエスチョン

• RQ1 群および同値関係のどの不変量が測度同値（ME）または軌道同値（OE）のもとで保存されるか？
• RQ2 群構造は、その作用のエルゴディック性質をどの程度決定づけるか？
• RQ3 コスト、ℓ²ベッチ数、またはCowling-HaagerupのΛ不変量といった不変量を用いて、測度同値のもとで群を分類できるか？
• RQ4 高ランクランキング、双曲的類似群、マッピングクラス群に対して、MEまたはOEのもとでどのような剛性結果が成立するか？
• RQ5 本質的に自由群作用から生じない同値関係は存在するか？ それらを特徴付ける不変量は何か？

主な発見

• コサイクルスーパー剛性を用いて、基本群が自明でかつ外部自己同型群が自明な剛性同値関係が構成された。
• 同値関係の基本群が自明であっても、それが任意の群の自由作用によって生成されるとは限らない。
• 群のコストは測度同値のもとで不変であり、MEカップリングのもとでも保存される。
• ℓ²ベッチ数およびCowling-HaagerupのΛ不変量はME不変量であり、強力な分類ツールを提供する。
• 単純なリー群内のランキングに対しては、MEカップリングが関連するリー群の同型を誘導する。これは強い剛性を反映している。
• コサイクルスーパー剛性定理により、特定の可測コサイクルが準同型にコホモロジック的であることが導かれる。これにより、作用の分類が可能になる。