[論文レビュー] Metric Mean Dimension for Algebraic Actions of Sofic Groups

Ben Hayes|arXiv (Cornell University)|Oct 15, 2013

Advanced Topology and Set Theory参考文献 20被引用数 3

ひとこと要約

本稿では、sofic群 Γ および有限生成 ℤ[Γ]-加群 A に対して、代数的作用 Γ↷Â のメトリック平均次元が A の von Neumann–Lück ランクに等しいことを確立する。証明はミクロ状態技術を用い、p-メトリック平均次元を導入することで、すべての p に対してそれが von Neumann–Lück ランクと一致することを示し、平均次元とメトリック平均次元が一般に等しくない可能性のある障害を提示する。

ABSTRACT

Recently Bingbing Liang and Hanfeng Li computed the mean dimension and metric mean dimension for algebraic actions of amenable groups. We show how to extend their computation of metric mean dimension to the case of sofic groups, provided that the dual module is finitely generated. Additionally, we show that when the dual module is finitely presented that the mean dimension is the von Neumann rank. The proof also goes through introducing \ell^{p}-analogues of metric mean dimension, which may be seen as an obstruction to the equality of mean dimension and metric mean dimension.

研究の動機と目的

• 可換群から sofic 群へのメトリック平均次元と von Neumann–Lück ランクの等式の拡張。
• sofic 群の代数的作用に対して、平均次元とメトリック平均次元が一致するか否かの調査。
• メトリック平均次元の強化としての p-メトリック平均次元の導入と分析。
• 代数的力学系における平均次元の加法性および不変性に及ぼす p-メトリック平均次元の影響の探求。
• 平均次元とメトリック平均次元が等しいかどうかの未解決問題を、p-メトリック変種の分析によって解決する。

提案手法

• 証明は、双対加群 Â を点ごとの収束位相で近似するためのミクロ状態技術を用い、コンパクトネスの議論により ε-ほぼ Γ-不変写像を構成する。
• 重要なステップとして、(𝕋ⁿ)Γ 上の連続擬距離 ρ に対して、作用の核の近傍 N が ρ に関して Â に ε-近いことを示す。これはコンパクトネスに基づく構成による。
• p ∈ [1, ∞) に対して、微状態集合における距離を ℓp-ノルムで測るという一般化として、p-メトリック平均次元を定義する。
• von Neumann–Lück ランクは L²-不変量と群の von Neumann 代数におけるトレースを用いて計算され、ヒルベルト空間技法の適用を可能にする。
• 証明は相対的平均次元フレームワークと、sofic 近似を用いた漸近的不変量の定義に依存する。
• p-メトリック平均次元の構成が、通常の平均次元よりも下から有界であることが示され、不等式の連鎖が得られる。

実験結果

リサーチクエスチョン

• RQ1 有限生成 ℤ[Γ]-加群 A に対して、可換群から sofic 群へのメトリック平均次元と von Neumann–Lück ランクの等式は拡張可能か？
• RQ2 すべての p ∈ [1, ∞) に対して、Γ↷Â の p-メトリック平均次元が A の von Neumann–Lück ランクに等しいことが示せるか？
• RQ3 p ≠ q のとき、p-メトリック平均次元と q-メトリック平均次元に差がある場合、これは平均次元とメトリック平均次元が等しくないことを示唆するか？
• RQ4 主定理における有限生成の仮定を外し、すべての ℤ[Γ]-加群をカバーできるか？
• RQ5 微状態集合から Â への連続的 ε-近い写像を構成できるか。これにより、平均次元の等式のより強い証明が可能になるか？

主な発見

• 任意の sofic 群 Γ および有限生成 ℤ[Γ]-加群 A に対して、代数的作用 Γ↷Â のメトリック平均次元は A の von Neumann–Lück ランクに等しい。
• A が有限生成表示可能で、Γ が残差有限かつ有限商からの sofic 近似を持つとき、Γ↷Â の平均次元は A の von Neumann–Lück ランクに等しい。
• p-メトリック平均次元はすべての p ∈ [1, ∞) に対して正しく定義され、代数的作用では双対加群の von Neumann–Lück ランクと一致する。
• p-メトリック平均次元は、すべての p に対して、平均次元 ≤ p-メトリック平均次元 ≤ メトリック平均次元という入れ子の不等式を形成する。
• p-メトリック平均次元の構成は、平均次元とメトリック平均次元が異なる場合の潜在的障害を提供する。
• 本稿では、sofic 群に対して von Neumann–Lück ランクがトップロジカル力学系 Γ↷Â の不変量であることが示され、以前は可換群に限られていた結果を拡張する。