谁偷走了无限？寻找第一个"不守规矩"的群

用一个客厅赌局的画面开场：桌上压着的是"每个无限群都能被有限置换假装"这句话。

• sofic 群：能用越来越大的有限置换阵近似出来的无限群
• sofic 性猜想：所有可数群都是 sofic
• 数学家 Weiss 把它写成正式猜想，悬而未决二十多年

在揭晓答案之前，让观众先选一边站队。

• 直觉派：无限群太多太乱，肯定有例外
• 秩序派：置换阵是万金油，应当能覆盖

让观众亲手拖动滑块，看看一个群被一层层近似成越来越大的有限置换矩阵。

• 拖动阶数滑块：近似矩阵的边长 n 不断增大
• 近似度越接近 1，假装就越逼真
• 可观察矩阵格点上哪些点被搬动、哪些几乎不动

解释为什么某些群天生"刚硬"，它们的 sofic 近似会被性质 T 强行拆成一块块膨胀图。

• 性质 T：所有酉表示都有统一谱隙，群在有限视角里极难被扭曲
• Kun 的分解定理：sofic 近似会被切成有限个互不相连的有界度膨胀图
• 膨胀常数沿整列近似保持一致，但组件数量可以无限增长

用一道题测试观众：把 Thompson 群 V 强行塞进一个膨胀图会发生什么？

• Thompson 群 V 是无限、有限生成、且没有非平凡正规子群
• 无限单群永远不能 LEF（局部可嵌入有限群）
• 若 sofic 近似迫使 V 进入单一膨胀图，则 V 就 LEF，矛盾

澄清一个常见误解：Leavitt 代数本身不直接有限性的失败，并不自动意味着它的可逆元群不是 sofic。

• 代数里 t₀s₀=1 ≠ s₀t₀ 涉及非可逆元，不能当 sofic 性的反例
• 需要的是可逆元群 G 内部的刚性与纠缠
• 真正的工作发生在单位群之间，不在代数乘法表里

介绍二进制 Leavitt 代数 R = LF2(1,2) 的可逆元群 G，以及它内部纠缠的子群 Γ、J。

• R 由生成元 s₀, s₁, t₀, t₁ 以及关系 t_i s_j = δ_ij 和 s₀t₀+s₁t₁=1 定义
• G ≅ EL₉(R) 是 R 的可逆元群的一个性质 T 子群
• 存在 Γ×J ≤ G，且有 uJu⁻¹ ≤ Γ，G 由 Γ, u, v 生成

让观众玩一个匹配游戏：把多个膨胀组件通过共轭运送，重新组合成一个完整的膨胀图。

• 拖动组件到目标位置，模拟共轭搬运
• 正确的嵌套：uJu⁻¹ ≤ Γ 把 J 藏进 Γ
• 若匹配成功，就得到 Γ×J 在单一膨胀图上的 sofic 近似

把整个故事收束成一锤定音的结论。

• 若 G 是 sofic，膨胀匹配判据会把 J ≅ V 塞进一个膨胀图
• 但无限单群 V 不能 LEF，矛盾
• 因此 G 不是 sofic，sofic 性猜想被推翻