[論文レビュー] 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エントロピーをもつ自由で推移的な作用がほぼBernoulli型の生成分割をもつことを証明する。すべての可算群が正のRokhlinエントロピーをもつ自由で推移的な作用をもつという仮定のもとで、BernoulliシフトのRokhlinエントロピーがそのベースのシャノンエントロピーに等しくなることが示され、Gottschalkのsurjunctivity予想と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.

研究の動機と目的

• 可算群作用におけるRokhlinエントロピーのKriegerの有限生成子定理への拡張。
• BernoulliシフトのRokhlinエントロピーとシャノンエントロピーとの関係の調査。
• ベースのエントロピーに基づくBernoulliシフトの同型条件の確立。
• すべての可算群が正のRokhlinエントロピーをもつ自由で推移的な作用をもつという仮定のもとで、Gottschalkのsurjunctivity予想とKaplanskyの直接有限性予想の証明。
• Abért–WeissのBernoulliシフトの弱包含に関する結果を強化し、有限Rokhlinエントロピー作用においてほぼBernoulli型の生成分割が存在することを示すこと。

提案手法

• 生成分割のシャノンエントロピーの下界として定義されるRokhlinエントロピー不変量を用いる。
• 第I部の有限生成子定理を応用し、所望の確率分布をもつ生成分割を構成する。
• Rokhlin距離 $d^{ ext{Rok}}_{ u}$ を用いた距離的収束を用いて、分割の近似を制御する。
• 有限分割上でのRokhlin距離と標準的 $L^1$ 距離 $d_{ u}$ の一様同値性を用いる。
• 近似補題を用いて、有限群集合からの分割を群の平行移動の粗化に持ち上げる。
• すべての可算群が正のRokhlinエントロピーをもつ自由で推移的な作用の存在に依拠し、Bernoulliシフトに関する構造的結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 すべての有限Rokhlinエントロピーをもつ自由で推移的な作用は、ほぼBernoulli型の生成分割をもつか？
• RQ2 BernoulliシフトのRokhlinエントロピーは、そのベース空間のシャノンエントロピーに等しいか？
• RQ3 すべての可算群が正のRokhlinエントロピーをもつ自由で推移的な作用をもつという仮定は、Bernoulliシフトがベースのエントロピーによって分類可能であることを示唆するか？
• RQ4 Gottschalkのsurjunctivity予想とKaplanskyの直接有限性予想は、Rokhlinエントロピーの正の性質から導けるか？
• RQ5 任意の可算群上のBernoulliシフトに関して、Rokhlinエントロピーは同型写像のもとで不変か？

主な発見

• すべての有限Rokhlinエントロピーをもつ自由で推移的な作用は、ほぼBernoulli型の生成分割をもつ。これはAbért–Weissの弱包含結果を強化する。
• すべての可算群が正のRokhlinエントロピーをもつ自由で推移的な作用をもつという仮定のもとで、BernoulliシフトのRokhlinエントロピーはそのベース空間のシャノンエントロピーに等しい。
• 同じ仮定のもとで、Bernoulliシフトは完全に正のRokhlinエントロピーをもつ。これは、すべての非自明な因子が正のエントロピーをもつことを意味する。
• この仮定は、Gottschalkのsurjunctivity予想がすべての可算群について成り立つことを示唆する。
• この仮定は、Kaplanskyの直接有限性予想がすべての可算群について成り立つことを示唆する。
• 有限分割上でのRokhlin距離 $d^{ ext{Rok}}_{ u}$ と標準的 $L^1$ 距離 $d_{ u}$ は一様同値であり、近似技術の実行を可能にする。