[论文解读] 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.

研究动机与目标

• 将度量均维数与von Neumann–Lück秩相等性从可约群推广至sofic群。
• 研究sofic群的代数作用下，均维数与度量均维数是否一致。
• 引入并分析p-度量均维数作为度量均维数的改进形式。
• 探讨p-度量均维数对代数动力系统中均维数的可加性与不变性的影响。
• 通过分析p-度量变体，解决均维数是否等于度量均维数的开放问题。

提出的方法

• 证明使用微状态技术，在逐点收敛拓扑下逼近对偶模Â，依赖紧致性论证构造ε-几乎等变映射。
• 关键步骤包括：对(𝕋ⁿ)Γ上的任意连续伪度量ρ，利用基于紧致性的构造，证明ρ下该作用核的某个邻域N与Â的ε-接近性。
• 作者为p ∈ [1, ∞)定义了p-度量均维数，作为度量均维数的推广，使用ℓp-范数来度量微状态集中的距离。
• von Neumann–Lück秩通过群C*-代数中的L²-不变量与迹来计算，从而可应用希尔伯特空间技术。
• 证明依赖于相对均维数框架，并利用sofic逼近来定义渐近不变量。
• 证明显示p-度量均维数下界为通常的均维数，形成一个不等式链。

实验结果

研究问题

• RQ1 该等式是否可从可约群推广至sofic群，对有限生成的ℤ[Γ]-模A成立？
• 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 ∈ [1, ∞)，p-度量均维数均有良好定义，且对代数作用而言，其与对偶模的von Neumann–Lück秩一致。
• p-度量均维数形成一个嵌套的不等式链：对所有p，有均维数 ≤ p-度量均维数 ≤ 度量均维数。
• p-度量均维数的构造为均维数与度量均维数的不等性提供了潜在障碍，若二者在不同p下不一致。
• 本文表明，对sofic群而言，von Neumann–Lück秩是拓扑动力系统Γ↷Â的不变量，扩展了此前仅对可约群成立的结果。