结果族 291：Cuntz comparison, nuclear dimension, and equivariant Jiang–Su stability · 学科：Operator algebras · 验证状态：暂无形式化证明，请以社区核验为准
给一条无限长的项链涂色，要求相邻珠子颜色不同：直线项链两种颜色就够，网面项链则要更多。数学家给抽象代数也定义了类似的”最少颜色数”，叫核维数。这篇论文证明：只要代数内部不暗藏”过于简单的碎片”，”颜色数有限”与”能兑入无味填充物”完全是同一回事——而且一旦有限，两种颜色就封顶。
关键词卡片
@@M@@A\cong A\otimes\mathcal Z@@，兑入无味填充后仍与原代数等价。看个具体例子
一维的线只需两种颜色：红、蓝交替，同色珠子之间永远隔着别人。
主定理：对无处散射的可分核代数，”核维数有限””@@M@@\mathcal Z@@-稳定”“核维数 @@M@@\le 1@@“三者等价。排除条件不可省——矩阵代数核维数为 0，却不吸收 @@M@@\mathcal Z@@。另一个最优界同样漂亮：任何可分核代数 @@M@@A_0@@ 都满足 @@M@@\dim_{\mathrm{nuc}}(A_0\otimes\mathcal Z)\le 1@@；由于核维数为 0 的可分代数必是 AF，而 @@M@@\mathcal Z@@ 本身维数为 1，这个界无法再降。
为什么值得关心
它解决了悬置多年的 Robert–Tikuisis 猜想，并把分类纲领的正则性等价推广到非单代数。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里的”项链涂色”对应这件事：用有限维的小块去逼近整个代数时，逼近方案需要分成几类互不打架的部分——”最少颜色数”就是这种分类复杂度的度量。”内部不暗藏过于简单的碎片”则是说：沿着理想的层层嵌套往下挖，任何一层商都不会塌缩成最平凡的那种代数。定理断言：在这种排除之下，”颜色数有限”与”能兑入无味填充物”是同一回事，而且一旦有限，两种颜色封顶。
第二级台阶
精确地说，核维数计量的是有限维完全正逼近所需的零阶序映射的份数：一个正映射称为零阶序（order-zero），若它保持正元素的正交性；把恒等映射分解成若干份零阶序映射之和，最少份数减一即核维数。Jiang–Su 稳定性指同构 A≅A⊗Z，Z 是那个无穷维却”无味”的强自吸收代数。”无处散射”（nowhere scattered）排除任何理想商 I/J 是紧算子代数的情形——矩阵代数核维数为零却不吸收 Z，说明排除必须贯穿全部理想结构。
第三级台阶
主定理的语境：A 是可分、核、无处散射的复 C*-代数。可分性支撑序列逼近与超幂论证，核性保证有限维完全正逼近存在，无处散射挡住”有限维碎片伪装成正则”的反例。结论是三条等价：核维数有限、A≅A⊗Z、核维数不超过 1。配套的第二定理不需散射假设：任何可分核代数张量 Z 后核维数至多 1，且此界因 Z 自身维数为 1 而无法再降。
证明可分核 C*-代数只要没有非零初等理想子商，”有限核维数”“Jiang–Su 稳定”“核维数 @@M@@\le1@@“三者等价，解决 Robert–Tikuisis 猜想 (C1) 及非单 Toms–Winter 正则性问题的核维数等价，并对一切可分核 @@M@@A_0@@ 给出最优界 @@M@@\dim_{\mathrm{nuc}}(A_0\otimes\mathcal Z)\le1@@。
核维数（nuclear dimension）由 Winter–Zacharias 引入，计数有限维完全正逼近所需的零阶序（order-zero）颜色数，是非交换的覆盖维数；Jiang–Su 稳定性（@@M@@A\cong A\otimes\mathcal Z@@）是分类纲领的中心正则性。单代数情形两者等价已由 Winter、CETWW、Castillejos–Evington 等完成，非单情形悬置多年，原因有二。其一，矩阵代数核维数为零却不吸收 @@M@@\mathcal Z@@，说明排除条件必须贯穿整个理想结构——这引出”无处散射”（nowhere scattered）假设：没有任何理想商 @@M@@I/J@@ 是初等代数 @@M@@\mathcal K(H)@@。其二，非单代数中迹可在一个理想上有界、在另一处无穷，稳定有限与纯无限的理想商可以共存，须用 Elliott–Robert–Santiago 的下半连续扩迹（extended traces）锥。Robert–Tikuisis（2017）把吸收问题化归为中心序列代数中两个满（full）正交正元素的存在性，即其猜想 (C1)；Winter–Zacharias 的有限覆盖数界又排除该代数的特征标（character）。剩下的缺口正是 Kirchberg–Rørdam 问题 6.2 所问的张量分裂。
主定理（论文 Theorem 1.1）：设 @@M@@A@@ 是可分核复 C-代数且无非零初等理想子商，则 @@M@@\dim_{\mathrm{nuc}}(A)<\infty@@、@@M@@A\cong A\otimes\mathcal Z@@ 与 @@M@@\dim_{\mathrm{nuc}}(A)\le1@@ 三条等价。这证明 Robert–Tikuisis 猜想 (C1)，并确立非单 Toms–Winter 正则性问题中的核维数等价；配套推论 1.2 把两条 Cuntz 半群判据（典范映射 @@M@@\Cu(\iota_A)@@ 是同构、或 @@M@@\Cu(A)\cong\Cu(A\otimes\mathcal Z)@@ 抽象同构）并入等价列表。第二定理给出一致最优界：对每个可分核 @@M@@A_0@@，@@M@@\dim_{\mathrm{nuc}}(A_0\otimes\mathcal Z)\le1@@；因核维数为零的可分代数必为 AF 而 @@M@@\mathcal Z@@ 无非常值投影，@@M@@\dim_{\mathrm{nuc}}(\mathcal Z)=1@@，故此界不可再降。第三定理独立成立：每个无非零特征标的单酉复 C-代数 @@M@@D@@，存在有限 @@M@@n@@ 使极大张量幂（maximal tensor power）@@M@@D^{\otimes_{\max}n}@@ 含两个满的正交正元素，不假设可分与核——把 Kirchberg–Rørdam 问题 6.2 的无穷张量幂版本一并肯定回答。
两个方向独立推进，最后合流。维数界方向：先把模型安放进 @@M@@A\otimes\mathcal Z_1\otimes\mathcal Z_2\otimes\mathcal Z_3@@，第一因子承载模型；拟中心理想切割给出有限多族两两正交的遗传碎片。关键在次序——先固定碎片与比较界、后选内逼近误差，使范数误差全部化为相对谱切割支撑秩（support rank）的界，对所有使该秩有限的扩迹一致；秩无穷时改用理想包含论证逼出比较目标的无穷秩。再把 Hirshberg–Kirchberg–White 与 Brown–Carrión–White 的凸零阶序逼近局部化到遗传角，凸权取整成单个矩阵值零阶序返回映射；在超幂的支撑相对交换子中，用 Gabe 的零阶序版 Kirchberg–Rørdam 锥判据得到有限压缩和并打包成比较，复以 BBSTWW 的酉等价判据化为两次加权共轭；第三个 @@M@@\mathcal Z@@ 因子提供满谱正压缩 @@M@@k@@，对 @@M@@k@@ 与 @@M@@1-k@@ 的共轭恰好给出两种颜色；稳定化、遗传持久性与单理化收尾。
吸收方向始于高斯符号引理：以 Gilbert 的 Hamming 填充选出指数多个两两汉明距离 @@M@@\ge n/4@@ 的字，相应的高斯评估因协方差近对角而弱相关，失效概率按 @@M@@q^N@@ 衰减，联合界加紧空间网格论证便产生一个实张量 @@M@@G@@，它在所有充分分离的二元组（各因子内积绝对值 @@M@@\le r@@）配置上一致取到 @@M@@>1/2@@ 与 @@M@@<-1/2@@ 两个值。再用一个有限交换子见证把”@@M@@D@@ 无特征标”转化为纯态期望向量的一致分离，并以 Akemann–Anderson–Pedersen 纯态切除（pure-state excision）把张量评估转移到极大张量积的每个不可约表示，所得自伴元的正、负部分因此皆满。最后看中心序列代数 @@M@@F(A)@@：有限覆盖界排除特征标，取含单位的可分无特征标子代数套用分裂定理，得有限张量幂中的满正交对；交换重指标给出到 @@M@@F(A)@@ 的单酉同态且满性存活，Robert–Tikuisis 判据随即给出吸收。
本文主结果尚无 Lean 形式化证明，请以社区核验为准。它是结果族 291 的维数支柱：姊妹篇 Cuntz 比较论文提供 Cuntz 半群判据（本文推论 1.2 即援引之），等变稳定性论文再把正则性推向顺从群作用。高斯符号引理与纯态切除等组件在文内自含证明（后者附基于 Kadison 传递定理的短证明）。按 OpenAI 官方声明，未经形式化的结果可能有问题。
问 1：维数界方向最关键、也最易出错的一步是什么？
（答：次序安排——先用拟中心理想切割固定遗传碎片与比较界，之后才选内逼近误差，使范数误差全部化为相对谱切割支撑秩的界，对一切使该秩有限的扩迹一致（Elliott–Robert–Santiago 下半连续扩迹锥）。秩无穷时另用理想包含论证。若”先固定后选误差”的次序被颠倒，一致性即失去，两种颜色拼不出来。）
问 2：无处散射假设为什么绝对不能省？
（答：矩阵代数核维数为零却不吸收 Z（引言明确指出），且一处初等碎片可通过理想商污染全局，所以排除条件必须对一切理想商 I/J 生效——这正是”无处”二字的含义。）
问 3：与前人相比真正的新意在哪里？
（答：单代数情形已由 CETWW、Castillejos–Evington 完成，非单情形 Tikuisis 只处理有限多条理想、Robert–Tikuisis 需限制本原理想空间；本文给出非单无条件等价，另以”极大张量幂的满符号”定理（高斯符号加纯态切除）正面回答 Kirchberg–Rørdam 问题 6.2 的有限版本。）
问 4：吸收方向的高斯符号引理在做什么，赌注有多大？
（答：用 Gilbert 的 Hamming 填充选指数多个两两汉明距离至少 n/4 的字，相应高斯评估因协方差近对角而弱相关，失效概率指数衰减，联合界覆盖所有充分分离二元组构成的空间网格，产出一个在每处同时取到正负两号的一致实张量。这是全文最非平凡的概率性构造，若相关性估计有误，”满正交对”不存在。）
问 5：这类 AI 生成证明最可能的出错模式？
（答：把逐表示成立当作一致成立——纯态切除把张量评估转移到极大张量积的每个不可约表示后，”正负部分皆满”需要在所有表示间有一致分离常数；以及第三因子谱切割 k 与 1-k 的两次加权共轭中，完全正性与正交性的相容性簿记。）
问 6：第二定理的界为什么不能再降？
（答：可分代数核维数为零当为 AF，而 Z 无非常值投影且无穷维，故其维数为 1；于是 A_0⊗Z 的上界 1 已被 A_0=C 情形逼到等号。）
问 7：谁会用到这个结果？
（答：非单核代数分类与 Cuntz 半群研究者——姊妹篇的 Cuntz 判据（推论 1.2）直接并入等价列表；Kirchberg–Rørdam 张量分裂问题的关注者；以及需要”两色逼近”作为引理的后续维数估计工作。）
总评
把 Toms–Winter 正则性等价完整推进到非单情形的维数支柱，兼答 Kirchberg–Rørdam 老问题，分量很重；最大风险集中在概率性符号构造与多层一致性估计的接口处，亟需独立核验。