结果族 286：Rigidity and arithmetic of lattice von Neumann algebras · 学科：Operator algebras · 验证状态：暂无形式化证明，请以社区核验为准
上一篇说”浓汤能追溯回原料”，本篇是兑现：若两台代数机器在允许套”矩阵外壳”的意义下等价，则外壳尺寸必须分毫不差，且群、扭曲系数、连映射本身都能反查出来——像扫码溯源，机器等价当且仅当原料与工艺一一对应。所谓”稳定”等价，指允许先把两台机器分别装进大小为 @@M@@t@@、@@M@@s@@ 的矩阵”集装箱”再比较；定理断言集装箱必须一样大，且出厂设置全部可复原。
关键词卡片
@@M@@t,s>0@@看个具体例子
数字版定理：@@M@@L_\omega(\Lambda)^t\cong L_\nu(\Pi)^s\Rightarrow t=s@@。取 @@M@@t=2,\ s=3@@：绝无可能，尺寸 2 的外壳配不上尺寸 3 的。特别地基本群 @@M@@\mathcal F=\{1\}@@，连自己的”半个角”都不同构。推论还有 @@M@@\operatorname{Out}(L(\Gamma))\cong\operatorname{Hom}(\Gamma,\mathbb T)\rtimes\operatorname{Out}(\Gamma)@@，以及 @@M@@L(\mathrm{SL}_3(\mathbb Z))@@ 的有限指标 *-自同态必满射。此外论文还把所有”翻译通道”当成一个范畴完整算了一遍：通道之间的有界映射、共轭与首尾相接（Connes 融合）都有显式公式。
为什么值得关心
它把 Connes–Popa 重构问题在格点类上推到终点：这类代数完整记住了群的全息信息。姊妹篇的几何穷尽加上本文的范畴演算，合成一条完整闭环：几何告诉你有哪些零件，代数告诉你零件怎么组装，两半严丝合缝。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读把放大比作套”矩阵集装箱”、把恢复比作”扫码溯源”。翻译成半数学语言：对象是两台由群（带相位系数）生成的代数机器，各自先装进一个指定尺寸的矩阵外壳再比较；要证的断言是——若两台装箱后的机器等价，则外壳尺寸必须分毫不差，而且群、相位系数、连同这个等价本身都能反查出来。
第二级台阶
用本科术语精确化。放大：对有限因子 @@M@@Q@@，取矩阵代数与 @@M@@Q@@ 的张量积中一个迹值为 @@M@@t>0@@ 的投影，所得的角 @@M@@Q^t@@ 就是”尺寸 @@M@@t@@ 的集装箱”；稳定同构即两个放大后的同构。上链：把两份相位系数联系起来的函数 @@M@@b@@，模掉上链意义下的相位等价就是上同调。虚同构芽：两个群各自有限指标子群之间的同构，再模去公共更小子群上的相同。Connes 融合：把两条翻译通道首尾相接的相对张量积。
第三级台阶
定理的语境：源群 @@M@@\Lambda@@ 取与性质 (T) 格点交换的 ICC 群类，比较群 @@M@@\Pi@@ 只需可数 ICC——ICC 保证是因子，格点类的刚性挡住”同构却不同源”的病态（仅性质 (T) 不够，已有反例）。主定理说 @@M@@L_\omega(\Lambda)^t\cong L_\nu(\Pi)^s@@ 当且仅当 @@M@@t=s@@ 且存在群同构与上链把两份相位系数对上；给定的同构在矩阵角上被显式实现。整数码头的做法是：一切双有限对应先被范畴定理分解成整数维的芽轨道丛，而等价对应的双维数互倒，正整数互倒只能是 1，于是放大尺度相等、纤维一维、上链现形——基本群平凡由此免费得到。
本文证明格点扭群因子的”稳定典范恢复”：稳定同构强迫放大尺度相等，并恢复群、cocycle 与映射本身（相差共轭与上链）；此类因子基本群平凡，且一切有限对应的映射级演算被完整算出。
群因子同构不必保持群单位向量，Connes 与 Popa 的重构问题由此而来（背景详见姊妹篇解读）。此前的障碍在于：姊妹篇的穷尽定理只说对应被初等模型覆盖，并未识别全部闭和项与有界交缠子；要把几何输入变成”恢复群与映射”的定理，还需要一套完整的对应范畴 (correspondence category) 演算。Cowling–Haagerup 不变量只能从因子读出 @@M@@\Sp(n,1)@@ 型格点的参数；Vaes、Donvil–Vaes 与 CFOT 分别在广义 Bernoulli、左右 wreath 积与 wreath-like 群类中建立过类似分类，但局部域格点类加上任意源 cocycle 的情形此前空缺。
沿用姊妹篇的类 @@M@@\mathscr K@@（与特征零局部域半单群乘积中性质 (T) 格子抽象交换的 ICC 群）。定理一（稳定典范恢复）：对 @@M@@\Lambda\in\mathscr K@@、任意可数 ICC 群 @@M@@\Pi@@ 与任意正规标量 cocycle @@M@@\omega,\nu@@，有 @@M@@L_\omega(\Lambda)^t\cong L_\nu(\Pi)^s@@（@@M@@t,s>0@@ 为放大尺度）当且仅当 @@M@@t=s@@，且存在群同构 @@M@@\delta:\Lambda\to\Pi@@ 与正规上链 (cochain) @@M@@b@@ 使 @@M@@\omega(g,h)=b(g)b(h)b(gh)^{-1}\nu(\delta g,\delta h)@@；给定的同构在矩阵角上必形如 @@M@@\theta(x)=z\varphi^{(n)}(x)z^*@@，其中 @@M@@\varphi(u_g)=b(g)v_{\delta(g)}@@，@@M@@z@@ 为实现偏等距。特别地，此类因子的基本群 (fundamental group) 平凡，且被比较群 @@M@@\Pi@@ 也必落回 @@M@@\mathscr K@@。定理二（全部因子端点）：可分 @@M@@\mathrm{II}_1@@ 因子 @@M@@P@@ 与 @@M@@L_\mu(\Gamma)@@ 存在非零双有限对应，当且仅当 @@M@@P\cong L_\omega(\Lambda)^t@@，其中 @@M@@\Lambda\in\mathscr K@@，且匹配的子群同构上 cocycle 比值 @@M@@\mu|_A/\delta^*\omega|_B@@ 容许非零有限维射影表示。定理三（全部有限对应）：每个对应有到”全芽轨道丛” @@M@@H(d,\sigma_d)@@ 的有限正交分解（@@M@@d@@ 是虚同构芽 (virtual-isomorphism germ)，@@M@@\sigma_d@@ 是其全稳定化子上关于联合乘子 @@M@@\alpha@@ 的有限维射影表示），全部有界双模映射逐纤维为 @@M@@\oplus_d\Hom_{C_d,\alpha}(\sigma_d,\tau_d)@@，两个模维数恒为正整数；共轭与 Connes 融合 (Connes fusion) 对应于双陪集诱导。推论包括 @@M@@\operatorname{Out}(L(\Gamma))\cong\Hom(\Gamma,\mathbb T)\rtimes\operatorname{Out}(\Gamma)@@、唯一迹条件下从约化 C*-代数恢复群，以及 @@M@@L(\mathrm{SL}_3(\mathbb Z))@@ 的有限指标 *-自同态必满射。
代数演算分三步。第一步建立映射级分类：图模型按陪集分解为正交的有限维纤维，具有同一虚同构芽的纤维必须先归组——全稳定化子在芽空间只有一个有限轨道，而有界交缠子的每一列平方可和，迫使映射保持每个归组纤维；由此得到 Hom 公式，并使两个模维数成为”纤维维数乘子群指标”的整数和。第二步恢复未知因子：双有限对应先经交换子实现为有限指标扩张 @@M@@M\subset Q=P^r@@；算术穷尽把 @@M@@L^2(Q)@@ 按芽分次为子空间 @@M@@K_d@@。关键一击是 Pimsner–Popa 有限指标不等式：对 @@M@@\xi\in K_d@@ 的平方做谱截断并单调收敛，证得 @@M@@K_d@@ 全由有界算子组成，且乘法满足 @@M@@K_dK_f\subset K_{df}@@——分次与真实乘法相容。恒等次 @@M@@K_1@@ 是有限维单位 *-代数；取其极小投影压缩角 @@M@@pQp@@，每个非零次 @@M@@pK_dp@@ 成为一维酉线，这些线的乘法系数定义出群 @@M@@\Lambda@@ 与 cocycle @@M@@\omega@@，使 @@M@@pQp\cong L_\omega(\Lambda)@@；恒等矩阵块给出 cocycle 比值的射影表示，芽的论证再证 @@M@@\Lambda@@ 含有限指标子群同构于 @@M@@\Gamma@@ 的子群且为 ICC。第三步处理稳定同构：其等价对应的双维数互倒 @@M@@(t/s,s/t)@@，而定理三断言它们是正整数，故同为 @@M@@1@@——放大尺度相等、只剩一条全图与一维纤维，纤维正给出上链 @@M@@b@@；最后在给定矩阵角中比较投影得到矩形偏等距 @@M@@z@@，对应识别把 @@M@@z@@ 校正为所给映射的实现。@@M@@L(\mathrm{SL}_3(\mathbb Z))@@ 的满射性另需 Prasad 强刚性加经典协体积论证：有限指标像格点与原格点在 @@M@@\mathrm{SL}_3(\mathbb R)@@ 中同协体积，故指标必为 @@M@@1@@。
本文暂无形式化证明，按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。本文的模型演算部分不依赖几何输入，但恢复类定理以姊妹篇的算术穷尽定理为前提，两文合成完整链条；方法上改造了 Vaes 的射影诱导演算与 Donvil–Vaes 的齐次积—极小角构造。文中亦自陈这些是结构性分类，并不给出对任意群表示或 cocycle 类的判定程序。
问 1：把”尺度相等”钉死的关键一步是什么？
答：是整数维数论证。范畴定理（定理 3(ii)）先证每个非零对应的双模维数都是正整数——这依赖全芽归组：虚同构芽的全稳定化子在芽空间只有一个有限轨道，有界交缠子每一列平方可和，迫使映射保持归组纤维，维数遂成”纤维维数乘子群指标”之和。稳定同构的等价对应双维数互倒 @@M@@(t/s,s/t)@@，正整数互倒只能同为 1，故 @@M@@t=s@@。归组若漏掉混合投影的纤维，积分性即告失效。
问 2：为什么比较群可以完全不设几何假设？
答：@@M@@\Pi@@ 只需可数 ICC，因为它不是被拿来用的而是被恢复出来的：有限指标扩张中 @@M@@L^2@@ 空间按芽分次，Pimsner–Popa 不等式经谱截断把各次向量变成有界算子，极小角里一维酉线的真实乘法直接造出 @@M@@\Pi@@ 与 cocycle。反过来，源群必须落在格点类 @@M@@\mathscr K@@：仅性质 (T) 不够——OpenAI 与 Zhou 各自造出因子同构的非同构 ICC 性质 (T) 群。
问 3：与 Vaes、Donvil–Vaes、CFOT 相比，新意究竟在哪？
答：Vaes 的射影诱导与双陪集融合规则、Donvil–Vaes 的齐次积—极小角构造都是现成零件，CFOT 只处理源 cocycle 在交换基上平凡的情形。本文的新组合是：用芽的全稳定化子识别每个有界交缠子与每个（可混合小纤维的）投影和项，配任意源 cocycle，再把这一切接到姊妹篇对局部域格点类的穷尽定理上——这一类此前完全空缺。
问 4：哪一个假设去掉后结论立即崩塌？
答：源群的格点刚性。引言特意对比：自由群因子满足 @@M@@L(\mathbb F_2)\cong L(\mathbb F_3)@@ 且基本群是整个 @@M@@\mathbb R_{>0}@@——正是本文”基本群平凡”的全盘反面。没有穷尽定理提供的模型覆盖，范畴演算只能对已知群论数据的模型自说自话，恢复无从谈起。
问 5：这类 AI 生成证明最可能在哪里出错？
答：模型演算部分是线性代数式的，风险低；高危在恢复一节——谱截断的单调收敛论证、@@M@@K_dK_f\subset K_{df}@@ 的乘法相容、以及”每个非零次 @@M@@pK_dp@@ 都是一维酉线”这一步，涉及无界算子的域问题。论文自陈这些是结构性分类、不提供判定程序，未形式化前上述分析细节应逐行核验。
问 6：@@M@@L(\mathrm{SL}_3(\mathbb Z))@@ 的自同态满射是怎么来的？
答：这不是范畴演算的直接推论，而是另加一段经典论证：Prasad 强刚性把有限指标像逼成格点，协体积比较迫使指标为 1。审稿时应把它当独立引理核查，它的失败不影响主定理。
问 7：谁会用这个结果？
答：做 Popa 刚性纲领与 @@M@@W^*@@-超刚性的人：@@M@@\operatorname{Out}(L(\Gamma))@@ 的公式、从约化 C*-代数（唯一迹时）恢复群、以及任意有限指标邻居的完全列表，都是可直接引用的落点；与姊妹篇合起来构成格点类重构问题的完整闭环。
总评
若姊妹篇的几何穷尽成立，本文的代数演算把它兑换成”全息恢复”的终局定理，分量极重；最大风险不在本文自身，而在它对穷尽定理的单点依赖——地基一松，恢复定理全部悬空。