Linear sofic representations of amenable algebras

技术摘要：可迁代数的线性 Sofic 表示

问题陈述
本文研究了 Elek 和 Szabó 在群论中观察到的刚性现象的线性代数类比。具体而言，它探讨了有限生成代数的可迁性与线性 sofic 表示唯一性之间的关系。虽然 Elek 和 Szabó 已确立，对于有限生成的 sofic 群，可迁性等价于所有 sofic 表示的共轭性，但本研究旨在确定对于域 $K$ 上的结合代数是否存在类似的刻画。本研究聚焦于无零因子的代数，利用矩阵代数 $M_n(K)$ 上的归一化秩度量 $d(A, B) = \frac{1}{n}\text{rank}(A-B)$ 作为群论中归一化汉明度量的线性对应物。

方法论
作者开发了一种“线性平铺”技术来分析线性 sofic 表示。这种方法类似于 Ornstein 和 Weiss 针对可迁群提出的经典准平铺方法，该方法此前已被 Elek 改编用于 sofic 群表示。然而，线性版本依赖于一项独特的代数工具：Brešar、Meshulam 和 Šemrl 关于局部线性相关算子的定理。

关键的方法步骤包括：

1. 定义：将“线性 sofic 表示”形式化为渐近同态 $\phi_k: A \to M_{n_k}(K)$，这些同态能最大程度地分离元素（即对于所有非零 $a$，$\lim \text{rk}(\phi_k(a)) = 1$）。
2. 线性单调铺：证明对于线性 sofic 表示，任何有限维子空间都可以被根向量“平铺”。具体而言，引理 4.2 展示了由子空间 $W$ 作用于特定向量所生成的独立子空间的存在性，这些子空间覆盖了大部分环境空间。这依赖于 Brešar-Meshulam-Šemrl 定理来确保存在算子线性独立作用的向量。
3. 共轭论证：利用线性单调铺性质构造一个可逆矩阵 $M_k$，将两个任意的线性 sofic 表示 $\phi_k$ 和 $\psi_k$ 在大部分子空间上共轭，从而证明它们在极限意义下是共轭的。
4. 稳定性分析：将唯一性结果应用于弱稳定性问题，弱稳定性定义为每个线性 sofic 表示都渐近接近于一个真实表示的性质。

主要贡献与结果

• 定理 1.1（表示的唯一性）：核心结果表明，对于任何无零因子的有限生成可迁 $K$-代数 $A$，存在唯一的线性 sofic 表示共轭类。这确立了可迁性意味着线性 sofic 表示的刚性，与群论中的 Elek-Szabó 定理相呼应。

  • 注：逆命题（唯一共轭类是否意味着可迁性）仍然未决。

• 线性单调铺（引理 4.2 与推论 4.3）：本文引入了一条“线性单调铺”引理，表明在线性 sofic 表示中，任何有限维子空间都可以平铺表示空间，仅留下一个小余维数。作者在备注 4.4 中指出，这种线性版本比经典的群平铺更高效且灵活；例如，线性设定中的每个 Følner 序列都由单调铺组成，而这一性质并不能保证对一般可迁群成立。

• 弱稳定性刻画（定理 6.4）：

  • 对于一般的无零因子可迁代数 $A$，$A$ 是弱稳定的，当且仅当存在一个构成线性 sofic 表示的真实表示序列。
  • 对于群代数 $K\Gamma$，其中 $\Gamma$ 是无挠可迁群且 $K\Gamma$ 无零因子，$K\Gamma$ 是弱稳定的，当且仅当 $\Gamma$ 是剩余有限的。

• 反例（第 6.1 节）：本文提供了一个弱稳定但不稳定的代数示例。通过考虑 Abels 群 $A_p$（一个有限生成、无挠、初等可迁群）的群代数 $K A_p$，作者表明，尽管该代数是弱稳定的（由于 $A_p$ 的剩余有限性），但它并不是稳定的。这与稳定群的行为形成对比，并突显了秩度量下弱稳定性与强稳定性之间的区别。

意义与主张
本文声称提供了 Elek-Szabó 定理的严格代数类比，弥合了有限逼近的渐近性质与代数结构可迁性之间的差距。其意义在于：

1. 统一：将 sofic 性和可迁性刚性的概念从群设定（置换）扩展到代数设定（矩阵/秩度量）。
2. 方法论创新：源自算子理论的“线性单调铺”技术被呈现为比用于群论的准平铺技术更强大的线性设定工具。
3. 稳定性理论：结果阐明了群代数为弱稳定的条件，将这一性质直接与底层群的剩余有限性联系起来。

作者对定理 1.1 的逆命题持谨慎态度，明确指出目前尚不清楚具有唯一线性 sofic 表示共轭类的代数是否必然可迁。此外，本文并未声称所有线性 sofic 代数（无零因子）都承认线性 sofic 表示，并指出群论中使用的“放大技巧”在线性设定中表现不佳。