结果族 289：Strong Kadison–Kastler stability and its spatial boundaries · 学科：Operator algebras · 验证状态：暂无形式化证明，请以社区核验为准
两栋楼的概略图纸完全相同，外墙也贴合到任意精度，但内部承重结构不同：不存在任何刚性搬移能把一栋原样叠到另一栋上。本文据此推翻了 C*-代数层面的 Kadison–Kastler 共轭猜想。”贴合到任意精度”指两代数单位球的 Hausdorff 距离可小于任何事先给定的 @@M@@\varepsilon@@；”刚性搬移”指整个 Hilbert 空间的一次酉旋转。
关键词卡片
@@M@@u@@ 使 @@M@@uAu^*=B@@@@M@@A''=B''@@：本文反例中两代数的弱闭包相同看个具体例子
数字版定理：一侧 @@M@@\bigl\|\sum_i p_iz_i\bigr\|\ge mt@@，另一侧 @@M@@\bigl\|\sum_i p_i\otimes z_i\bigr\|\le 2\sqrt m@@。取 @@M@@t=0.1,\ m=500@@：一侧至少 @@M@@50@@，另一侧至多 @@M@@2\sqrt{500}\approx 44.7@@——恒等式破裂，两代数不可能空间共轭；而与此同时，它们的 Kadison–Kastler 距离却可以压到任意小。这件”辨楼术”检查的是：把同一串元素分别放在原空间与张量空间中求和，范数是否恒相等——共轭必保持它，一旦破裂便无共轭。
为什么值得关心
它表明”任意接近”在 C* 世界并不保证共轭，除非补上核性；与姊妹篇合看，”接近即共轭”只在 von Neumann 双边世界成立，边界由此被精确画出。旧例中 Johnson 的构造仍可共轭、Choi–Christensen 的反例依赖不可分性，本文首次在可分且无核性假设下给出致命一击。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读的比喻是两栋楼：概略图纸（弱闭包）完全相同、外墙贴合到任意精度，但承重结构不同，不存在任何刚性搬移把一栋叠到另一栋上。翻译成半数学语言：对象是同一希尔伯特空间上两个范数闭的算子代数，接近程度用两单位球的 Hausdorff 距离衡量，”刚性搬移”指整个空间的一次保长度旋转；导读还提到”辨楼术”——共轭必须保持的一种张量范数恒等式。
第二级台阶
用本科术语精确化。C*-代数：对乘法、取伴随、范数都封闭的算子代数；其弱闭包是冯·诺依曼代数。Kadison–Kastler 距离：两单位球彼此逼近的最大缺口。空间共轭：存在酉算子 @@M@@u@@ 使 @@M@@uAu^*=B@@。核性：一种”张量只有一种合理范数”的温顺性，旧正定理的关键假设。张量范数恒等式：把同一串元素分别在原空间与张量空间求和，两个范数必须相等——它在坐标代数正规化子的共轭与范数极限下都不变，故是共轭的障碍物。
第三级台阶
定理在这样的语境下陈述：对任意 @@M@@\varepsilon>0@@，存在共单位元、范数可分的 C*-代数对，Kadison–Kastler 距离小于 @@M@@\varepsilon@@、冯·诺依曼闭包相同，却无任何酉算子共轭。构造不设核性——这挡住 CSSWW 正定理的适用；也不主张两代数抽象不同构——子代数本身可用接近恒等的酉元互变，障碍纯在它们嵌入坐标代数的位置。机制：收敛序列构造把”位置差异”放大为”任意空间共轭的不可能”，Pytlik–Szwarc 形变提供任意接近的一对子代数，一侧满足恒等式、另一侧因自由群范数估计 @@M@@mt@@ 对 @@M@@2\sqrt m@@ 破裂。
推翻可分 @@M@@C^*@@-代数形式的 Kadison–Kastler 空间共轭猜想：对任意 @@M@@\varepsilon>0@@，构造出共单位元、范数可分、@@M@@d_{\mathrm{KK}}(A,B)<\varepsilon@@ 且 von Neumann 闭包相同的 @@M@@C^*@@-代数对 @@M@@A,B@@，但不存在任何酉算子使 @@M@@uAu^*=B@@。
Kadison–Kastler 问题的 @@M@@C^*@@-版本问：范数足够接近的 @@M@@C^*@@-代数是否必被某酉算子（unitary）共轭（此处不要求 @@M@@u@@ 接近恒等算子）？已知图景分三块：Johnson 在 1982 年构造了任意接近的可分核代数，其实现酉元无法接近恒等算子，但共轭仍然存在；Choi 与 Christensen 在 1983 年给出任意接近却不同构的代数对，但范数不可分性是那些例子的本质成分；Christensen–Sinclair–Smith–White–Winter 于 2010 年证明：可分 Hilbert 空间上充分接近的可分核（nuclear）@@M@@C^*@@-代数必空间同构。悬而未决的是：去掉核性假设，仅凭”范数可分 + 任意接近”是否仍保证空间共轭？本文对此给出否定回答。
定理：对每个 @@M@@\varepsilon>0@@，存在可分复 Hilbert 空间 @@M@@H@@ 与共单位元 @@M@@I_H@@ 的幺正、范数可分 @@M@@C^*@@-代数 @@M@@A,B\subseteq\mathcal B(H)@@，使得 @@M@@d_{\mathrm{KK}}(A,B)<\varepsilon@@（Kadison–Kastler 距离，即单位球间的 Hausdorff 距离）、@@M@@A''=B''@@（von Neumann 闭包相同），但没有任何酉算子 @@M@@u\in\mathcal B(H)@@ 满足 @@M@@uAu^*=B@@。适用范围的边界同样重要：定理不设核性假设；它不主张两代数抽象不同构——构造中的子代数 @@M@@P_0,P_t@@ 本身可用接近恒等的酉元互相共轭，障碍仅在于它们在坐标代数 @@M@@D@@ 内的位置；它也不构成 von Neumann 代数层面的反例，故与本族第一篇的正定理相容。
证明组合两个机制：收敛序列归约与相对张量范数检验。归约：设 @@M@@D\subseteq\mathcal B(L)@@ 是中心为标量、范数可分的幺正代数，@@M@@P\subseteq D@@ 是共单位元的 @@M@@C^*@@-子代数，令 @@M@@\mathcal E_D(P)=\{(x_n):x_n\in D,\ x_n\to p\in P\ \text{依范数}\}@@ 在 @@M@@\bigoplus_{n\ge1}L@@ 上对角作用。此构造保持 Kadison–Kastler 距离，且坐标投影恰为其极小中心投影，因此任何共轭酉算子必置换坐标、并在每个坐标处正规化（normalize）@@M@@D@@，从而把 @@M@@Q@@ 中的常值序列拉回为”@@M@@P@@ 经 @@M@@D@@ 的正规化子共轭”的极限。检验：称 @@M@@P\subseteq D@@ 满足空间张量范数恒等式，若 @@M@@\|\sum_ip_iz_i\|_{\mathcal B(L)}=\|\sum_ip_i\otimes z_i\|_{\mathcal B(L\otimes L)}@@ 对一切 @@M@@p_i\in P@@、@@M@@z_i\in D'@@（交换子代数）成立；该性质在 @@M@@D@@ 的正规化子共轭下不变，且通过有限族的同步范数极限传递——因此它能区分 @@M@@\mathcal E_D(P)@@ 与 @@M@@\mathcal E_D(Q)@@：一个满足、一个不满足，则二者不可能空间共轭，哪怕距离任意小。具体代数来自自由群：与姊妹篇同源的树形 Pytlik–Szwarc 形变给出表示 @@M@@\pi_t@@，满足 @@M@@\langle\pi_t(s_i)\delta_e,\delta_e\rangle=t@@ 且 @@M@@\sup_{g}\|\pi_t(g)-\lambda(g)\|\le c(t)\to 0@@（与正则表示之差集中在一条测地路上）。在 @@M@@L=K\otimes K@@ 上取 @@M@@P_a=C^*(\lambda(g)\otimes\pi_a(g))@@，坐标代数 @@M@@D@@ 由 @@M@@\lambda(g)\otimes I@@、@@M@@I\otimes\pi_0(g)@@、@@M@@I\otimes\pi_t(g)@@ 及全部矩阵单元 @@M@@I\otimes E_{xy}@@ 生成（其中心为标量，靠自由群共轭类皆无穷的初等事实）。吸收公式 @@M@@W_\sigma(\lambda(g)\otimes I)W_\sigma^*=\lambda(g)\otimes\sigma(g)@@ 给出 @@M@@\|W-I\|\le c(t)@@ 的酉元使 @@M@@WP_0W^*=P_t@@，故两代数确实接近——甚至可共轭，但 @@M@@W@@ 不正规化 @@M@@D@@。@@M@@P_0@@ 满足恒等式：一个重排酉元把 @@M@@P_0@@ 变成 @@M@@I\otimes C^*(\lambda(G))@@，四重张量因子的置换把两侧化归为同一范数。@@M@@P_t@@ 破坏恒等式：取 @@M@@p_i=\lambda(s_i)\otimes\pi_t(s_i)@@、@@M@@z_i=\rho(s_i)\otimes I\in D'@@，乘积范数 @@M@@\ge mt@@（系数 @@M@@t@@ 在 @@M@@\delta_e\otimes\delta_e@@ 处显现），而张量范数经吸收化归为 @@M@@\|\sum_i\lambda(s_i)\|\le 2\sqrt m@@（Haagerup 型估计：以”以 @@M@@s_i^{-1}@@ 开头的词”上的两两正交投影分组）；选 @@M@@m>4/t^2@@ 即得严格不等式 @@M@@mt>2\sqrt m@@。最终取 @@M@@A=\mathcal E_D(P_0)@@、@@M@@B=\mathcal E_D(P_t)@@：公共理想 @@M@@c_0(\mathbb N,D)@@ 保证 von Neumann 闭包相同，而范数极限条件保留了两包含的区别，排除了任何酉共轭。
本反例与族内第一篇不矛盾：那里是 von Neumann 代数加双边距离，这里降为 @@M@@C^*@@-层面；与第二篇合看，说明”接近即共轭”只在 von Neumann 双边世界成立。Johnson 与 Choi–Christensen 的旧例都无法替代它：前者仍空间共轭，后者依赖范数不可分性。主结果暂无 Lean 形式化证明；OpenAI 官方声明未经形式化的结果可能有问题，请以社区核验为准。
问 1：证明的核心机制是什么，哪一步最关键？
答：收敛序列归约（命题 2.3）：@@M@@\mathcal E_D(P)=\{(x_n):x_n\to p\in P\}@@ 的坐标投影恰为极小中心投影，因此任何共轭酉元必须置换坐标并在每坐标正规化 @@M@@D@@，把 @@M@@Q@@ 中的常值序列拉回为”@@M@@P@@ 经 @@M@@D@@ 正规化子共轭”的范数极限。于是”嵌入位置”的差异被放大为对一切空间共轭的障碍——这一步把局部信息升级为全局不可能性，是全篇的枢纽。
问 2：张量范数检验为什么可靠？
答：恒等式 @@M@@\|\sum p_iz_i\|=\|\sum p_i\otimes z_i\|@@（@@M@@z_i@@ 取坐标代数的交换子）在 @@M@@D@@ 的正规化子共轭下不变（引理 2.5），且经同步范数极限传递。@@M@@P_0@@ 侧靠重排酉元化归四重张量因子的置换；@@M@@P_t@@ 侧取 @@M@@m>4/t^2@@ 个生成元，乘积范数在 @@M@@\delta_e\otimes\delta_e@@ 处显形为 @@M@@\ge mt@@，张量范数经吸收公式与自由群估计（引理 4.6，两两正交投影分组）@@M@@\le2\sqrt m@@，@@M@@mt>2\sqrt m@@ 即破裂。
问 3：与 Johnson、Choi–Christensen 旧例相比新意何在？
答：Johnson 1982 的核代数对虽任意接近、实现酉元无法近恒等，但共轭仍存在；Choi–Christensen 1983 的不同构例子本质上依赖范数不可分性。本文首次在可分、无核性假设下排除一切空间共轭（连 @@M@@\|u-I\|@@ 大的也不许），且两代数连冯·诺依曼闭包都相同——这正是 CSSWW 正定理之外残余的精确空隙。
问 4：为什么不与族内第一篇的正定理矛盾？
答：那里是冯·诺依曼代数加双边距离，此处降到 C*-层面：@@M@@\mathcal E_D(P)@@ 与 @@M@@\mathcal E_D(P_t)@@ 共享理想 @@M@@c_0(\mathbb N,D)@@ 与交换子，弱闭包相同；区分它们的恰是范数极限条件——弱闭会抹掉这层信息。定理自己声明”不给出冯·诺依曼层面的反例”。
问 5：哪个假设不能去掉？
答：源群的自由性（共轭类皆无穷）不可少：坐标代数 @@M@@D@@ 的中心为标量全靠它（引理 4.2 用共轭不变向量必支在 @@M@@e@@ 处的论证），而标量中心是归约中”极小中心投影恰为坐标投影”的前提。核性则是反向边界：CSSWW 证明可分核时共轭必然存在，所以反例必须非核——本文的 @@M@@P_t@@ 靠 @@M@@\pi_t@@ 与正则表示的差异做到这一点。
问 6：这类 AI 生成证明最可能在哪里出错？
答：好在全文仅十余页、证明自含，量化链短。仍需盯两处：Pytlik–Szwarc 形变的一致估计 @@M@@c(t)=2(1-r)+t/(1-t)+t\to0@@（测地路外的平凡性论证）；以及 @@M@@\|W-I\|=\sup_x\|\pi_t(x)-\lambda(x)\|@@ 的直和恒等式。这两处若常数算错，”任意接近”就只剩定量版本。
问 7：谁会用到？
答：C*-扰动理论：CSSWW 核性定理从此有了不可去除的标签；同时相对张量范数检验与序列归约是可移植的机器，可用来判别其他包含对的可共轭性。与姊妹篇合看，Kadison–Kastler”接近即共轭”的成立疆域被三面夹定。
总评
短小而锋利的反例：机制清晰、常数显式、页数克制，可信度在本族三篇中最高；最大风险仅在形变表示的一致估计，若核验通过即是定论。