[论文解读] 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)$ 必然导致弱混合的马勒姆扩展。

提出的方法

• 基于 $\{0,1\}$ 上测度 $\mu_g$ 的渐近行为提出新判据，具体要求对所有 $g \in G$，有 $\sum_{h\in G}(\mu_{gh}(0) - \mu_h(0))^2 < \infty$，以确保非奇异性质。
• 将伯努利作用的保守性作为关键假设，通过在马勒姆扩展背景下对哈姆斯递归定理的创新应用，推导出马勒姆扩展的弱混合性。
• 将哈姆斯递归定理的一个变体应用于保守且本质上自由作用的马勒姆扩展，以导出返回时间在小 Radon-Nikodym 余循环值下的密度条件。
• 证明：对任意 $\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$ 的结构，将返回时间的无穷级数与余循环大小关联起来。
• 利用 $\ell^2(G)$-衰减性条件 $\mu_g(0) - \lambda(0)$ 暗示与乘积测度 $\prod_g \lambda$ 的测度等价性，该性质在非渐近平凡情形下用于排除型 $III$。

实验结果

研究问题

• RQ1 每个可数渐近平凡群是否都能通过基空间 $\{0,1\}^G$ 拥有一个非奇异伯努利作用，其马勒姆扩展为弱混合？
• RQ2 瓦埃斯与沃厄尔判据中关于群穷竭的技巧性条件是否对马勒姆扩展的弱混合性为必要？
• RQ3 非奇异伯努利作用的保守性，结合对边际 $\mu_g(0)$ 的特定渐近条件，是否必然导致马勒姆扩展的弱混合性？
• RQ4 基空间 $\{0,1\}$ 是否可普遍用于所有可数渐近平凡群以构造型 $III_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$-不变穷竭或 $\lambda$-无足轻重集。
• 本文表明：若 $G$ 为非渐近平凡群且 $\mu_g(0) \to \lambda(0)$，则 $\mu$ 与乘积测度 $\prod_g \lambda$ 测度等价，因此此类作用不可能为型 $III$。
• 证明依赖于对哈姆斯递归定理在马勒姆扩展上的精细化应用，表明正测度集合以小余循环值无限次返回，从而蕴含弱混合性。
• 结果表明：所有可数渐近平凡群均存在稳定型 $III_1$ 伯努利作用，基空间为 $\{0,1\}^G$，从而解决了基空间普适性问题。