[論文レビュー] Bernoulli actions of amenable groups with weakly mixing Maharam extensions

Michael Björklund, Zemer Kosloff|arXiv (Cornell University)|Aug 17, 2018

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

ひとこと要約

本稿は、可算なアーメン群の非特異なベルヌーイ作用が弱混合マハラム拡張を持つための簡単な基準を確立し、すべてのこのような群がベース空間 $\{0,1\}^G$ を持つ安定型 $III_1$ ベルヌーイ作用をもつことを証明することで、ヴァースとウォールの最近の未解決問題に答えを提示した。これにより、ベースをカントール集合に置き換える必要がなくなった。

ABSTRACT

We provide a simple criterion for a non-singular and conservative Bernouilli action to have a weakly mixing Maharam extension. As an application, we show that every countable amenable group admits a stable type III_1 Bernoulli action, answering a recent question by Vaes and Wahl.

研究の動機と目的

• 可算なアーメン群がベース空間 $\{0,1\}^G$ を用いて非特異なベルヌーイ作用をもち、そのマハラム拡張が弱混合であるかどうかというヴァースとウォールによる最近の未解決問題を解決すること。
• 群の技術的枯渇条件を排除し、族 $(\mu_g)$ の漸近的性質と保存性だけがマハラム拡張の弱混合性を保証することを示すこと。
• アーメン群の非特異ベルヌーイ作用におけるマハラム拡張の弱混合性に関する一般基準を確立し、群の構造的仮定に依存しないこと。
• 保存的で非特異なベルヌーイ作用が、マージナル $\mu_g(0)$ に対して特定の漸近的条件を満たす場合、必ず弱混合マハラム拡張をもつことを示すこと。

提案手法

• 測度 $\mu_g$ の漸近的挙動に基づく新しい基準を導入し、特にすべての $g \in G$ に対して $\sum_{h\in G}(\mu_{gh}(0) - \mu_h(0))^2 < \infty$ を要求することで、非特異性を保証する。
• ベルヌーイ作用の保存性を主要仮定として、マハラム拡張の弱混合性を示すために、マハラム拡張の文脈におけるハルモス再帰定理の新しい応用を行う。
• 保存的かつ本質的に自由な作用のマハラム拡張に対して、ハルモス再帰定理の変種を適用し、小さなラドン＝ニコディムコサイクル値を持つ帰還時間の密度条件を導出する。
• 任意の $\varepsilon > 0$ に対して、集合 $C \cap \bigcup_{g \notin F} g^{-1}C \cap \{|r_\xi(g,\cdot)| < \varepsilon\}$ が $C$ において $\xi$-全測度をもつことを示し、これにより弱混合性が導かれる。
• フビニの定理とマハラム拡張 $\widetilde{\mu} = \mu \otimes e^t dt$ の構造を用いて、帰還時間の無限和とコサイクルの大きさを関連付ける。
• 差 $\mu_g(0) - \lambda(0)$ の $\ell^2(G)$-減衰性が、積測度 $\prod_g \lambda$ と測度同値であることを示し、非アーメンな状況では型 $III$ が成り立たないことを排除する。

実験結果

リサーチクエスチョン

• RQ1 すべての可算なアーメン群が、ベース空間 $\{0,1\}^G$ を用いて非特異なベルヌーイ作用をもち、そのマハラム拡張が弱混合である可能性はあるか？
• RQ2 ヴァースとウォールの基準における群の枯渇条件は、マハラム拡張の弱混合性に必要か？
• RQ3 非特異ベルヌーイ作用の保存性に加え、マージナル $\mu_g(0)$ に対する特定の漸近的条件が、マハラム拡張の弱混合性を保証するか？
• RQ4 すべての可算なアーメン群に対して、型 $III_1$ ベルヌーイ作用を構成するために、ベース空間 $\{0,1\}$ を普遍的に使用できるか、それともカントール集合が必要か？
• RQ5 アーメン性は、非特異ベルヌーイ作用における等価な不変 $\sigma$-有限測度の存在を防ぐ役割を果たすのか？

主な発見

• すべての可算なアーメン群 $G$ は、非特異ベルヌーイ作用 $G \curvearrowright (\{0,1\}^G, \mu)$ をもち、そのマハラム拡張が弱混合であることを示し、ヴァースとウォールの疑問に肯定的に答えを提示した。
• マハラム拡張の弱混合性の基準は、すべての $g \in G$ に対して $\sum_{h\in G}(\mu_{gh}(0) - \mu_h(0))^2 < \infty$ と作用の保存性に還元され、群 $G$ に対する追加の構造的仮定は不要である。
• 著者らは、漸近的条件を満たす保存的非特異ベルヌーイ作用に対して、マハラム拡張が弱混合であることを証明した。$G$-不変な枯渇や $\lambda$-無関係集合の仮定は不要であった。
• 群 $G$ が非アーメンで $\mu_g(0) \to \lambda(0)$ ならば、$\mu$ は積測度 $\prod_g \lambda$ と測度同値であるため、このような作用は型 $III$ にはなり得ない。
• 証明は、マハラム拡張へのハルモス再帰定理の洗練された応用に依拠しており、正の測度をもつ集合が、小さなコサイクル値を持つ帰還を無限回繰り返すことを示し、これにより弱混合性が導かれる。
• 本研究は、すべての可算なアーメン群に対して、ベース $\{0,1\}^G$ を用いた安定型 $III_1$ ベルヌーイ作用が存在することを確立し、ベース空間の一般性に関する疑問を解決した。