[论文解读] Krieger's finite generator theorem for actions of countable groups II

Brandon Seward|arXiv (Cornell University)|Jan 14, 2015

Mathematical Dynamics and Fractals被引用 5

一句话总结

该论文将Rokhlin熵理论扩展至可数群作用，证明了具有有限Rokhlin熵的自由遍历作用 admits 几乎Bernoulli生成划分。在假设每个可数群均存在正Rokhlin熵的自由遍历作用的前提下，该文证明了Bernoulli移位的Rokhlin熵等于其底空间的Shannon熵，并证实了Gottschalk的满射性猜想和Kaplansky的直接有限性猜想。

ABSTRACT

We continue the study of Rokhlin entropy, an isomorphism invariant for probability-measure-preserving actions of countable groups introduced in the previous paper. We prove that every free ergodic action with finite Rokhlin entropy admits generating partitions which are almost Bernoulli, strengthening the theorem of Abért--Weiss that all free actions weakly contain Bernoulli shifts. We then use this result to study the Rokhlin entropy of Bernoulli shifts. Under the assumption that every countable group admits a free ergodic action of positive Rokhlin entropy, we prove that: (i) the Rokhlin entropy of a Bernoulli shift is equal to the Shannon entropy of its base; (ii) Bernoulli shifts have completely positive Rokhlin entropy; and (iii) Gottschalk's surjunctivity conjecture and Kaplansky's direct finiteness conjecture are true.

研究动机与目标

• 将Krieger的有限生成器定理推广至可数群作用的Rokhlin熵。
• 研究Bernoulli移位的Rokhlin熵及其与Shannon熵的关系。
• 建立基于底熵的Bernoulli移位同构的条件。
• 在所有可数群均存在正Rokhlin熵自由遍历作用的假设下，证明Gottschalk的满射性猜想和Kaplansky的直接有限性猜想。
• 通过证明有限Rokhlin熵作用中存在几乎Bernoulli生成划分，强化了Abért–Weiss关于Bernoulli移位弱包含的结果。

提出的方法

• 使用Rokhlin熵不变量，定义为所有生成划分中Shannon熵的下确界。
• 应用第一部分的有限生成器定理，构造具有预设概率的生成划分。
• 通过Rokhlin度量 $d^{ ext{Rok}}_{ u}$ 的度量收敛来控制划分的逼近。
• 利用Rokhlin度量与有限划分上的标准 $L^1$ 度量 $d_{ u}$ 之间的统一等价性。
• 应用逼近引理，将划分从有限群集提升至群平移的粗化。
• 依赖于存在正Rokhlin熵的自由遍历作用的事实，推导出关于Bernoulli移位的结构性结果。

实验结果

研究问题

• RQ1 每个具有有限Rokhlin熵的自由遍历作用是否都存在一个几乎Bernoulli的生成划分？
• RQ2 Bernoulli移位的Rokhlin熵是否等于其底空间的Shannon熵？
• RQ3 若假设每个可数群均存在正Rokhlin熵的自由遍历作用，是否意味着Bernoulli移位由底熵分类？
• RQ4 能否从Rokhlin熵的正性推导出Gottschalk的满射性猜想？
• RQ5 Bernoulli移位的Rokhlin熵在任意可数群上是否在同构下保持不变？

主要发现

• 每个具有有限Rokhlin熵的自由遍历作用都存在一个几乎Bernoulli的生成划分，强化了Abért–Weiss的弱包含结果。
• 在假设每个可数群均存在正Rokhlin熵自由遍历作用的前提下，Bernoulli移位的Rokhlin熵等于其底空间的Shannon熵。
• 在相同假设下，Bernoulli移位具有完全正Rokhlin熵，即所有非平凡因子均具有正熵。
• 该假设意味着Gottschalk的满射性猜想对所有可数群成立。
• 该假设还意味着Kaplansky的直接有限性猜想对所有可数群成立。
• Rokhlin度量 $d^{ ext{Rok}}_{ u}$ 与有限划分上的标准 $L^1$ 度量 $d_{ u}$ 之间存在统一等价性，从而支持逼近技术。