结果族 294：Kaplansky’s quasitrace conjecture and failure of tensor-product stable finiteness · 学科：Operator algebras · 验证状态：主结果已 Lean 形式化
会计界有两套记账法：严格版处处线性，宽松版只要求在”互不纠缠”的账目上线性。Kaplansky 七十多年前猜想：宽松版终究装不出严格版做不到的账。本文造出反例——一家”宽松账本”存在、”严格账本”却怎么也立不起来的公司；更惊人的是，两本各自永不超支的账合并后，竟能无限超支。
关键词卡片
@@M@@\tau(x^*x)=\tau(xx^*)@@ 的严格记账。看个具体例子
数字版定理：@@M@@\sum_{i=1}^{24}x_i^*x_i=1@@ 而 @@M@@\sum_{i=1}^{24}x_ix_i^*\le\tfrac{2}{3}\cdot 1@@ @@M@@\Rightarrow@@ 迹态不存在。
若有严格账本 @@M@@\tau@@，交换性给 @@M@@\tau(\sum x_ix_i^*)=\tau(\sum x_i^*x_i)=1@@，而不等式给 @@M@@\le 2/3@@——@@M@@1\le 2/3@@，荒谬。构造的灵感来自几何：24 个生成元其实是向量丛之间的一组”移位”映射，靠拓扑障碍（陈类）证明它一切矩阵放大都不真无限，存在性定理随即送来 2-拟迹；放大成 48 阶矩阵后便是主角 @@M@@A@@：某对正元 @@M@@a,b@@ 上一切拟迹都满足 @@M@@\tau(a+b)-\tau(a)-\tau(b)\ge\frac{1}{144}@@，宽松记账连可加性都保不住。注意这里的关键在”2-拟迹”：它还要求能延拓到二阶矩阵上记账，这条矩阵条件正是构造的症结所在。
为什么值得关心
它推翻了 Kaplansky 的拟迹猜想，回答了 1951 年以来的 AW* 代数老问题，并证明”稳定有限”经张量积不保持（一个因子可取 @@M@@C_r^*(\mathbb F_2)@@）。
已 Lean 形式化
第一级台阶
导读里的”记账”是给代数元素的量度：严格账本处处线性，宽松账本只在互不纠缠的账目间线性。Kaplansky 猜想宽松终究装不出严格装不出的账；论文造出反例——一家宽松账本立得起来、严格账本却无处安放的公司，而且两本各自永不超支的账合并后会无限超支。”永不超支”的精确含义是：无论放进多大的矩阵放大，都不会出现一变二的膨胀。
第二级台阶
精确化：拟迹 τ 保持正性、满足 τ(xx)=τ(xx)，且在每个交换子代数内线性；2-拟迹还须延拓到二阶矩阵上记账——这条矩阵条件是症结。迹态是完全线性的拟迹。稳定有限指任何矩阵放大都不含非酉等距元；真无限指含一对值域正交的等距元。最小张量积是两个 C*-代数的标准合并。Haagerup 已证精确代数上 2-拟迹必为迹，故反例只能在非精确代数里找。
第三级台阶
主定理：存在可分含单位的 A，拥有正规化 2-拟迹，且有一对正压缩元 a,b 使每个拟迹都满足 τ(a+b)−τ(a)−τ(b)≥1/144——非可加性直接否定”拟迹皆迹”。构造先立 B：24 个生成元满足列和为 1、行和至多 2/3（Haagerup 迹障碍），同时用向量丛的陈类障碍排除一切矩阵放大的真无限，存在性定理随即送来 2-拟迹；放大到 M₄₈(B) 后望远镜求和给出非可加对。推论：两个单稳定有限代数的最小张量积可真无限，一个因子可取 C_r*(F₂)。
构造出一个可分单位复 @@M@@C^*@@-代数：它拥有正规化 2-拟迹（2-quasitrace）却没有任何迹态，且所有拟迹在一对固定正元上非可加，从而推翻 Kaplansky 拟迹猜想；进而两个单的稳定有限代数之最小张量积可以真无限，一个因子可取 @@M@@C_r^*(\mathbb F_2)@@。
1951 年，Kaplansky 引入 AW-代数（AW-algebra），希望脱离 Hilbert 空间表示、仅凭内在代数条件刻画 von Neumann 代数。已知类型 I 的 AW*-因子必为 @@M@@W^*@@-代数、类型 III 存在反例，唯独有限的 @@M@@\mathrm{II}_1@@ 情形悬置七十余年。这个问题等价于拟迹问题（quasitrace problem）：单位 @@M@@C^*@@-代数上每个正规化 2-拟迹是否都是迹态（tracial state）？拟迹只要求在交换子代数上线性并满足 @@M@@\tau(x^*x)=\tau(xx^*)@@，2-拟迹还需延拓到 @@M@@M_2@@，这条矩阵延拓条件正是症结。Haagerup 证明精确（exact）代数上 2-拟迹必为迹，故反例只能是非精确代数，极难构造。Milhøj–Rørdam 进而证明：两个单位单稳定有限（stably finite）@@M@@C^*@@-代数的最小张量积是否仍稳定有限，与拟迹问题等价。
主定理：存在可分单位复 @@M@@C^*@@-代数 @@M@@A@@，它拥有正规化 2-拟迹，且存在正压缩元（positive contraction）@@M@@a,b\in A@@，使 @@M@@A@@ 上每个正规化 2-拟迹 @@M@@\tau@@ 都满足 @@M@@\tau(a+b)-\tau(a)-\tau(b)\ge\frac{1}{144}@@。迹态必须可加，故此不等式否定”凡 2-拟迹皆迹”的猜想，并给 Kaplansky 的 @@M@@\mathrm{II}_1@@ AW*-因子问题以否定回答；由 Haagerup 定理，@@M@@A@@ 必然非精确。
推论（均为最小张量积）：(i) 两个单位单的稳定有限 @@M@@C^*@@-代数之最小张量积可以真无限（properly infinite），一个因子可取二生成自由群的既约群代数 @@M@@C_r^*(\mathbb F_2)@@；(ii) 存在拥有正规化 2-拟迹的可分单位代数 @@M@@B@@，使 @@M@@B\otimes_{\min}C_r^*(\mathbb F_2)@@ 真无限且不再有 2-拟迹；(iii) 存在可分、单位、稳定有限却没有迹态的 @@M@@C^*@@-代数。矩阵延拓条件不可去：Kirchberg 2006 年有 1-拟迹非迹的未发表例子，但缺少所需的 @@M@@M_2@@ 延拓。
一切围绕 @@M@@B=C^*(1,x_1,\ldots,x_{24})@@ 展开，生成元满足 @@M@@\sum_{i=1}^{24}x_i^*x_i=1@@、@@M@@\sum_{i=1}^{24}x_ix_i^*\le\tfrac23\cdot1@@。迹态作用两式会得 @@M@@1\le 2/3@@，故 @@M@@B@@ 无迹态；另一面要证每个 @@M@@M_m(B)@@ 都不含值域正交的等距对，即不真无限，Cuntz–Blackadar–Handelman 存在性定理随即给出 2-拟迹。
生成元是向量丛之间的移位。先对每对参数 @@M@@(m,R)@@ 搭建一个有限”拓扑测试”：紧基是若干复射影空间之积，丛 @@M@@E_j@@ 由超平面线丛（hyperplane line bundle）直和而成，重数经设计使被测丛 @@M@@G=(\bigoplus_{j=0}^{R}E_j)^{\oplus m}@@ 的最高陈类（Chern class）@@M@@\prod_i z_i^{K_i}\ne0@@，从而 @@M@@G@@ 容不下秩 @@M@@2md_0@@ 的平凡子丛。相邻层之间的 24 个映射分两组：16 个进入旧线丛的缩减副本，负责维数 @@M@@\le m@@ 的小子空间；8 个通用映射进入新区块，负责大子空间；存在性靠 Sard 型维数计数引理，保证每个源子空间的联合像维数至少翻倍。再由”连续规范化”引理逐纤维最小化行列式势 @@M@@g_y(P)=\log\det(I+D_y(P))-\tfrac32\log\det P@@：沿正定测地线用 Gram 行列式展开证严格凸，得唯一极小点；唯一性保证它随基点连续、可在非平凡丛上粘合，由极小条件解出 @@M@@X_i@@，使列和为 @@M@@I@@、行和 @@M@@\le 2/3@@（与 Gurvits 算子尺度化 operator scaling 同源）。由于映射个数与范数界关于 @@M@@(m,R)@@ 一致，可把所有测试的移位放进同一个有界直积一次性定义 @@M@@x_i@@；有理系数多项式使 @@M@@B@@ 可分。
排除真无限时，设 @@M@@M_m(B)@@ 有等距 @@M@@s_1,s_2@@，拼成 @@M@@W=[s_1\ s_2]@@，@@M@@W^*W=I_{2m}@@；用多项式矩阵 @@M@@P@@ 逼近使 @@M@@P^*P\ge\tfrac12 I@@。取 @@M@@R@@ 不小于 @@M@@P@@ 中词长，则 @@M@@P@@ 限制在零层得丛映射 @@M@@E_0^{\oplus 2m}\to G@@，规范化后是纤维等距，其像是秩 @@M@@2md_0@@ 的平凡子丛，与陈类障碍矛盾。最后令 @@M@@A=M_{48}(B)@@：用部分和构造对角正元对 @@M@@a,b@@，仅凭交换线性和角点等式 @@M@@\tau(t^*t)=\tau(tt^*)@@ 做望远镜求和，得非可加量 @@M@@\ge\frac{1-c}{2N}=\frac1{144}@@；此步对一切 1-拟迹成立，无需拟迹的显式公式。
任务元信息标明主结果已获 Lean 形式化证明，可信度较高。构造融合 Haagerup 迹障碍、Villadsen–Rørdam 式陈类障碍与逐纤维尺度化，各引理自成闭环；作为结果族 294 的核心篇，它直接产出族概述强调的张量积推论。依 OpenAI 官方声明，未经形式化的结果可能存在问题，未入形式化范围的细节仍请以社区核验为准。
问 1：构造里最脆弱的一步是什么？
（答：行列式势的连续规范化——g_y(P)=log det(I+D_y(P))−(3/2)log det P 沿正定测地线严格凸，给出唯一极小点；唯一性保证它随基点连续、能在非平凡丛上粘合成整体截面，再由极小条件解出列和为 1、行和 ≤2/3 的移位。凸性若有反例或极小点不连续，24 个生成元的关系式立不起来。）
问 2：矩阵延拓条件（2-拟迹）为什么是症结？
（答：Haagerup 报告过 Kirchberg 2006 年未发表的 1-拟迹非迹的例子，但它缺 M₂ 延拓；Cuntz–Blackadar–Handelman 存在性定理恰好补位——任何矩阵放大都不真无限的单酉代数必有正规化 2-拟迹。本文的全部几何工作就是为套用这条定理铺路。）
问 3：陈类障碍怎么排除真无限？
（答：反设 M_m(B) 有值域正交等距对，拼成 W=[s₁ s₂] 并用多项式矩阵 P 逼近使 P*P≥½I；取 R 不小于 P 的词长，P 限制到零层得丛映射，规范化后其像是秩 2md₀ 的平凡子丛——但被测丛的最高陈类 ∏z_i^{K_i}≠0 恰好禁止这个，矛盾。）
问 4：与前人相比真正的新意是什么？
（答：Milhøj–Rørdam 把张量积稳定有限性化归于拟迹问题并提出”固定生成元个数+逐级延迟矩阵排除”的路线图（其评注 4.7）；Villadsen 与 Rørdam 的陈类技术只用于其他目的。本文首次实现该路线：生成元个数固定为 24、关系一致有界，而所有有限多项式候选被逐一测试排除，同时推翻 Kaplansky II₁ AW*-因子问题。）
问 5：AI 生成证明最可能在哪里出错？
（答：三处簿记——”映射个数与范数界关于 (m,R) 一致”使所有测试能塞进同一个有界直积，若某参数其实随 (m,R) 增长则同时定义失效；Sard 型维数计数保证联合像维数翻倍（16 个小空间映射+8 个通用大空间映射）；最后 M₄₈ 放大中望远镜求和算出 (1−c)/(2N)=1/144 的常数链。）
问 6：谁会用到它？
（答：C-结构理论所有引用拟迹的工作——分类纲领里”有迹 ⟺ 稳定有限”的等价链须重新审视；AW-代数与张量积理论社区；推论 (iii) 的”稳定有限却无迹态”代数也直接影响 Blackadar–Handelman 维数函数理论。本篇主结果已 Lean 形式化，可信度较高。）
总评
对七十余年老猜想的干净否定，兼破张量积稳定有限性，且已形式化，分量极重；残余风险在未入形式化范围的几何构造细节（凸性、Sard 计数、一致界）。