结果族 291：Cuntz comparison, nuclear dimension, and equivariant Jiang–Su stability · 学科：Operator algebras · 验证状态：暂无形式化证明，请以社区核验为准
搬家时判断一个箱子能否塞进另一个箱子：拿几把不同的尺子去量，如果每把尺子都量出小箱更”瘦”，那它就真能装进去。这篇论文证明：一个代数只要具备这种”尺寸说了算”的性质，就自动可以兑入一种”无味的填充物”（Jiang–Su 代数）——两个看似不相干的要求，其实是同一枚硬币的两面。
关键词卡片
@@M@@a\precsim b@@。@@M@@a@@ 不超过 @@M@@b@@，则真的 @@M@@a\precsim b@@。@@M@@Nu\le x\le(N+1)u@@。@@M@@A\cong A\otimes\mathcal Z@@，兑入无味填充后仍与原代数等价。看个具体例子
设正元 @@M@@x@@ 在所有尺子下的读数是 3.2：定理保证它能按同一单位 @@M@@u@@ 整份拆分——@@M@@3u\le x\le 4u@@，像量出 3.2 米的木料恰好夹在 3 根与 4 根标准杆之间。这种三明治一旦成立，填充物 @@M@@\mathcal Z@@ 就能被逐段装进代数。
更一般的结论：只要 Cuntz 半群几乎无穿孔且完全几乎可除，可分核代数就吸收 @@M@@\mathcal Z@@——非单、非酉、带无界迹的情形一并解决。
为什么值得关心
它补上了 Toms–Winter 正则性问题中”严格比较推出 @@M@@\mathcal Z@@-稳定”这条最缺的蕴含，是代数分类纲领的一块承重梁。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里的”箱子”对应代数中的正元素，”能否塞进”是元素之间的一种次序关系，”几把尺子”则是一族给元素量尺寸的数值方式。定理要说的有两层：若所有量法一致判定一个元素不大于另一个，这种”装下”就是真实的；而且一个系统只要普遍具备这种”尺寸说了算”的性质，它就能兑入那种无味的填充物而不改变自身。
第二级台阶
精确化：对正元 a、b，Cuntz 次序 a≾b 指 a 可经 b 的放大一致逼近，这是比范数更细的”容积”比较。全体正元对这种次序构成的完备化对象记作 Cuntz 半群 Cu(A)，其上的线性泛函 φ 就是”尺子”。”一切尺子读数一致便真装得下”称为严格比较；正元 x 能夹在三明治 Nu≤x≤(N+1)u 中（u 为某个单位型元素）称为几乎可除。而”兑入填充物”精确为同构 A≅A⊗Z，Z 即 Jiang–Su 代数。
第三级台阶
主定理在可分、单、核、非初等的假设下陈述：若比较在扩迹泛函（含无界与取无穷值者）意义下严格，则 A≅A⊗Z——这正是 Toms–Winter 正则性问题里最缺的一条蕴含，非酉代数与无界迹一并覆盖。核性提供完全正逼近机器，可分性保证超幂序列论证，非初等排除有限维退化的情形。更一般的版本把”单”换成 Cuntz 半群几乎无穿孔加完全几乎可除：结论仍是吸收 Z。
证明 Toms–Winter 正则性问题”严格比较推出 Jiang–Su 吸收”方向：可分单核非初等 C*-代数只要在扩展泛函意义下严格比较就 @@M@@\mathcal Z@@-稳定；更一般地，Cuntz 半群几乎无穿孔且完全几乎可除的可分核代数吸收 @@M@@\mathcal Z@@，非单、非酉、无界迹一并解决。
Cuntz 比较（Cuntz comparison）问：正元素之间的次序 @@M@@a\precsim b@@ 是否由数值尺寸决定？可除性（divisibility）问：正元素能否拆成近似等份？对核 C*-代数，这两个纯序论问题与张量吸收 Jiang–Su 代数 @@M@@\mathcal Z@@（即 @@M@@A\cong A\otimes_{\min}\mathcal Z@@）深刻相连，构成 Toms–Winter 正则性问题（Toms–Winter regularity problem）的三条等价线之一。比较推出吸收这一方向的历史结果均带迹边界限制：Matui–Sato 处理有限个极值迹，Sato、Kirchberg–Rørdam、Toms–White–Winter 推广到紧有限维极值边界，CETW（2022）把剩余条件归结为一致 Γ 性质。本文取消迹边界与一致 Γ 假设，并覆盖非酉代数、含理想代数与无界迹。非单情形另有两大障碍：正元素可以在每个相关表示中都大，却没有统一整数控制全部理想比较；迹可能只在遗传局部化之后才有限。
论文给出四条定理。其一（单代数定理）：可分、单、核、非初等（non-elementary）的 C*-代数若满足扩展泛函严格比较（strict comparison）——对 Cuntz 半群 @@M@@\Cu(A)@@ 的全体泛函 @@M@@\varphi@@，由 @@M@@\varphi(x)\le\varphi(y)@@ 且在正有限值处严格不等可推出 @@M@@x\le y@@——则 @@M@@A\cong A\otimes_{\min}\mathcal Z@@；这解决 Toms–Winter 问题的该方向蕴含，含稳定无投影代数与无界迹。其二（条件 (C) 吸收定理）：可分核代数若满足条件 (C)，即 Cuntz 半群几乎无穿孔（almost unperforation）加完全几乎可除（full almost divisibility，对每个 @@M@@x@@ 与 @@M@@N@@ 存在同一 @@M@@u@@ 使 @@M@@Nu\le x\le(N+1)u@@），则存在单酉 *-同态 @@M@@\mathcal Z\to F_\omega(A)@@，从而 @@M@@A\cong A\otimes\mathcal Z@@。其三：典范映射 @@M@@\Cu(A)\to\Cu(A\otimes\mathcal Z)@@ 是同构即保证吸收。其四：@@M@@A\cong A\otimes\mathcal Z@@ 当且仅当 @@M@@\Cu(A)\cong\Cu(A\otimes\mathcal Z)@@ 在 Cu 范畴中抽象同构（不必由任何 *-同态诱导）。后两条分别肯定回答非单 Toms–Winter 问题的 (iii)@@M@@\Rightarrow@@(ii) 与 Problems 2025 的问题 XXVI。
布局是两条进路汇入同一构造。单代数进路只需精确性（exactness），不需可分与核：先把迹值逐级转移到越来越小的遗传支撑（hereditary support）中、在整数水平取整（rounding），再把各级碎片装进一个范数收敛的稳定块直和；所有误差相对一个固定的非零谱切割度量并做成可和，故原类的泛函值为无穷亦无妨；零泛函与在每个非零类上恒取无穷的泛函由一条三分类引理单独处理，使整个扩迹锥都可用而无需公共归一化——这正是非酉代数没有统一迹空间时的替代方案；比较假设最后提供三明治 @@M@@Nu\le x\le(N+1)u@@ 的两侧，得到完全几乎可除，汇入条件 (C)。
公共吸收进路用可分性与核性，目标是中心矩阵锥（matrix cone，即 @@M@@M_p@@ 的 c.p.c. 零阶序映射）@@M@@\alpha:M_p\to F_\omega(A)@@ 加缺陷填充元 @@M@@s@@，满足 @@M@@s^*s=1-\alpha(1)@@、@@M@@\alpha(e_{11})s=s@@——这恰是素维数坠落代数（prime dimension-drop algebra）@@M@@I(p,p+1)@@ 的酉表示。先由支撑收缩（support shrinking）与纯态词模型构造范数可见的中心矩阵锥，用以固定坐标理想重数；再由 Hirshberg–Kirchberg–White 与 Brown–Carrión–White 的凸零阶序（order-zero）核逼近构造迹锥，其精度在重数固定之后才选取。随后谱余量先产生精确的坐标 Cuntz 不等式、再控制比较见证使之与矩阵大小无关，从而允许一列缓慢增长的正交等价”中心槽位”；对角化时用 Choi–Effros 提升与 Arveson 扩张保住映射的完全正性；Gabe 的近似支配定理把有限次同时压缩打包进槽位，把维数坠落关系升格为单一的中心拷贝 @@M@@\mathcal Z\to F_\omega(A)@@；最后按 Nawata 的非幺判据做提升与缠绕，完成 @@M@@A\cong A\otimes\mathcal Z@@。
本文主结果尚无 Lean 形式化证明，请以社区核验为准。它是结果族 291 的序论支柱：姊妹篇核维数论文把本文推论引为其 Cuntz 半群判据，等变稳定性论文在其铺就的 @@M@@\mathcal Z@@-稳定地基上处理群作用。文中大量使用经典工具（Winter–Zacharias 零阶序结构定理、Choi–Effros 提升、Arveson 扩张、Jiang–Su 及 Rørdam–Winter 关于 @@M@@\mathcal Z@@ 的结构性定理），新构造集中于中心锥与打包步骤。按 OpenAI 官方声明，未经形式化的结果可能有问题。
问 1：证明里最脆弱的一环在哪里？
（答：装配段。要把一列近似零阶序映射经 Choi–Effros 提升与 Arveson 扩张保完全正性地对角化，再用 Gabe 的近似支配定理把有限次压缩打包进增长缓慢的中心槽位，最后升格为单一中心拷贝 Z→F_ω(A)。这条链上任一”近似升精确”的量化常数算错，槽位正交性即告吹。）
问 2：为什么核性不能去掉？
（答：中心矩阵锥与迹锥的构造分别依赖 Hirshberg–Kirchberg–White 与 Brown–Carrión–White 的零阶序核逼近，本质用的是完全正逼近——没有核性这套机器不存在。论文未讨论非核替代路线。）
问 3：与 Matui–Sato、CETW 等前人相比，新意究竟是什么？
（答：旧结果全带迹边界或一致 Γ 条件（有限极值迹射线、紧极值边界等），本文把这些假设全部取消，比较条件只对扩迹泛函陈述；同时覆盖非单、非酉、无界迹，并额外证明 Cu(A)与 Cu(A⊗Z)的抽象同构已强迫吸收。）
问 4：非单情形新添的两大障碍，论文怎么绕的？
（答：其一，正元素在每个相关表示中都大却无统一整数控制理想比较——用谱余量先固定坐标理想重数、再选迹锥精度来化解；其二，迹只在遗传局部化后有限——用扩迹锥的三分类引理（零泛函与恒无穷泛函单独处理）替代统一迹空间。）
问 5：AI 生成证明最可能出错的模式？
（答：整数水平取整与可和误差的簿记——把迹值逐级转移到越来越小的遗传支撑时，”每级误差可和”若在某处只对固定泛函成立而非一致成立，范数收敛的稳定块直和就拼不起来；这类多层极限顺序交换正是机器证明的高发事故区。）
问 6：谁会用到它？
（答：结果族 291 的另两篇直接引用：核维数论文把本文推论当作 Cuntz 半群判据，等变稳定性论文在其铺就的 Z-稳定地基上处理群作用；更广地，Elliott 分类与 Cuntz 半群范畴（Cu 范畴）研究者都会引用。）
总评
这是分类纲领承重梁级别的蕴含，把 Toms–Winter 三角中最缺的一边补齐并大幅放宽前提；最大风险在于装配段对十余条经典定理的串联使用，任何接口处常数失配都可能致命。