[論文レビュー] On Popa's Cocycle Superrigidity Theorem

Alex Furman|ArXiv.org|Aug 14, 2006

Advanced Operator Algebra Research参考文献 29被引用数 5

ひとこと要約

本稿は、カジダンの性質(T)を有する群の一般化されたベルヌーイ作用に対して、ポーパのコサイクル超剛性定理の自己完結的でエルゴディック理論的な証明を提供する。相対的バージョンの定理を確立し、剛性群（例えば性質(T)を有する群）の弱く混合するガウス型作用が、定理の仮定を満たすことを証明し、結果を測度的同値関係およびII₁同値関係に応用することで、被覆群に制限のない条件下でコサイクルがホモモーフィズムにコホモロジック的であることを示している。

ABSTRACT

These notes contain an Ergodic-theoretic account of the Cocycle Superrigidity Theorem recently discovered by Sorin Popa. We state and prove a relative version of the result, discuss some applications to measurable equivalence relations, and point out that Gaussian actions (of ``rigid'' groups) satisfy the assumptions of Popa's theorem.

研究の動機と目的

• 演算子代数の枠組みを用いずに、ポーパのコサイクル超剛性定理の簡潔で自己完結的なエルゴディック理論的証明を提供すること。
• 結果を同値な商作用に適用可能な相対的バージョンに拡張すること。
• 『剛性』群（例：性質(T)を有する群）の弱く混合するガウス型作用が、ポーパの定理の仮定を満たすことを示すこと。
• ポーパのコサイクル剛性結果とジンマーの先行するコサイクル剛性定理との関係を明確にし、代数的作用が可塑的（malleable）作用の商ではないことを示すこと。
• 超剛性結果を測度的同値関係、特にII₁同値関係の文脈に応用すること。

提案手法

• von ニューマン代数の技術を避けて、可測コサイクルと確率空間上の群作用に依存する完全にエルゴディック理論的な手法を採用する。
• 特に一般化されたベルヌーイ作用および弱く混合するガウス型作用としての『可塑的』作用の概念を定義・利用し、超剛性条件を満たす作用のクラスを特定する。
• 群 $ G $ の自己同型群 $ \text{Aut}(X,\mu)^G $ に属する自己同型 $ T $ におけるコサイクルのずれを測るための距離関数 $ f_T(g,x) = d(\alpha(g,x), \alpha(g,Tx)) $ を導入し、ポリッシュ群 $ L $ に左・右不変な距離を用いる。
• 群の乗法および合成における測度論的性質と関連する、基本的な不等式 (9)–(14) を確立する。
• フォビニ型の議論と群 $ G $ の部分集合のコンパクト性を用いて、コサイクルのずれが小さい群元の集合に対して一様な制御を得る。
• 絶対的ケースを一般化するために、相対的バージョンの定理を適用し、コサイクルが底面空間 $ Y $ 上のコサイクルによってねじれたホモモーフィズムにコホモロジック的であることを要求する。

実験結果

リサーチクエスチョン

• RQ1 ポーパのコサイクル超剛性定理は、演算子代数的道具に依存せずに、完全にエルゴディック理論的手法を用いて再証明可能か？
• RQ2 同値な商作用に対して、コサイクル超剛性の相対的バージョンは成立するか？ その同値関係への影響は何か？
• RQ3 性質(T)を有する群の弱く混合するガウス型作用は、コサイクル超剛性に必要な条件を満たすか？ これは一般化されたベルヌーイ作用を超える作用クラスへの拡張を示唆する。
• RQ4 ポーパの結果とジンマーの先行するコサイクル剛性定理とは、それぞれの適用対象となる作用のクラスの観点から、どのように関係しているか？
• RQ5 II₁同値関係の文脈において、コサイクル超剛性の測度的構造的帰結は何か？

主な発見

• 本稿は、ポーパのコサイクル超剛性定理の相対的バージョンを確立し、同値な商 $ G \curvearrowright (X,\mu) \to (Y,\nu) $ に対して、任意のコサイクル $ \alpha: G \times X \to L $ が、$ Y $ 上のコサイクルによってねじれたホモモーフィズムにコホモロジック的であることを示している。
• カジダンの性質(T)を有する群の弱く混合するガウス型作用は、ポーパの定理の仮定を満たしており、一般化されたベルヌーイ作用を超える作用クラスにおいて超剛性が成り立つことを拡張している。
• 証明により、任意の可測コサイクル $ \alpha: G \times X \to L $ に対して、可測写像 $ \phi: X \to L $ と群準同型 $ \varrho: G \to L $ が存在し、ほとんど everywhere で $ \alpha(g,x) = \phi(g.x) \varrho(g) \phi(x)^{-1} $ が成り立つことが示された。
• 主な技術的ステップは、任意のコンパクト集合 $ K \subset G $、$ \epsilon > 0 $、$ \delta > 0 $ に対して、$ K \subset \bigcap_{T \in U} A_{\epsilon,\delta}(T) $ を満たす $ \text{Aut}(X,\mu)^G $ の近傍 $ U \subset $ が存在することを示すことであり、これによりコサイクルのずれに対する一様な制御が保証される。
• 本稿は、代数的作用が可塑的作用の商ではないことを確認しており、ポーパの枠組みとジンマーの枠組みを明確に区別している。
• 結果として、特にII₁設定において、測度的同値関係に強い構造的制約が生じ、コサイクルが本質的に群準同型によって決定されることを示している。