结果族 285：Counterexamples to Baum–Connes and Kadison–Kaplansky · 学科：Operator algebras · 验证状态：暂无形式化证明，请以社区核验为准
在无挠群的算子代数里有一杆”公平秤”（典范迹）：把任何投影（量子世界里的开关键）放上去，读数应当是整数——于是开关只许全关（0）或全开（1），这正是 Kadison–Kaplansky 猜想。本文造出一个有限生成无挠群，里面有一个读数介于 0 与 1/2 之间的开关：猜想被推翻。
关键词卡片
@@M@@e^2=e=e^*@@ 的算子，像一档量子开关看个具体例子
数字版定理：存在投影 @@M@@e\in C_r^*(G_{\mathrm{proj}})@@ 使 @@M@@0<\tau(e)<\tfrac12@@——秤的读数不是整数，开关停在”半开”的位置。
为什么值得关心
它与同族另两篇（分别破装配映射的单射与满射）拼在一起，宣告无系数的约化 Baum–Connes 猜想对可数离散群不成立——拓扑与分析之间的桥比想象中脆弱。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读把典范迹比作”公平秤”、投影比作”量子开关键”：读数应是接通比例，猜想说读数只能是 0 或 1。翻译成半数学语言：对象是一个无挠群的约化算子代数、其上的平均秤，以及代数里的开关键；操作是把开关放到秤上称量，并追问是否存在停在半开位置的开关——猜想说没有，本文造出一个有。
第二级台阶
用本科可及的术语精确化。投影是满足 @@M@@e^2=e=e^*@@ 的算子，相当于只许开或关的键。约化群 @@M@@C^*@@-代数 @@M@@C_r^*(H)@@ 是群在 @@M@@\ell^2(H)@@ 上左平移算子的范数闭包。典范迹 @@M@@\tau@@ 是代数上的平均泛函：单位元读数为 @@M@@1@@，投影的读数像接通比例。Kadison–Kaplansky 猜想断言：无挠群的 @@M@@C_r^*(H)@@ 只有 @@M@@0@@ 与 @@M@@1@@ 两个投影。一条主路线是积分性：若 @@M@@\tau@@ 在 @@M@@K_0@@ 上取整值则无半开开关，而 Baum–Connes 满射蕴含整值——这解释了顺群与双曲群为何安全。
第三级台阶
定理在此语境陈述：存在有限生成无挠离散群 @@M@@G_{\mathrm{proj}}@@ 与投影 @@M@@e\in C_r^*(G_{\mathrm{proj}})@@ 使 @@M@@0<\tau(e)<\frac12@@，故 @@M@@e@@ 既非零亦非单位元。”无挠、约化代数、标量代数”这些限定对准猜想的原始形式；论证分两步——先在矩阵代数上造出谱带分离、小迹的投影，再用与自由群的自由积把它压缩成标量投影，压缩公式 @@M@@e=(Up_0)(p_0U^*Up_0)^{-1}(Up_0)^*@@ 保证迹不变。论文同时声明：所有参数有限但不寻求规模界；姊妹篇证明群环 @@M@@\mathbb C[G_{\mathrm{proj}}]@@ 无非平凡幂等元，故这个半开开关只在完备化里，不在群环本身——与导读”停在半开”的图景互补而不复读。
本文构造了一个有限生成无挠群 @@M@@G_{\mathrm{proj}}@@，其约化群 @@M@@C^*@@-代数中有投影 @@M@@e@@ 满足 @@M@@0<\tau(e)<\tfrac12@@，既非零也非单位元——Kadison–Kaplansky 投影猜想由此被否定。
Kadison–Kaplansky 投影猜想断言：无挠离散群 @@M@@H@@ 的约化群 @@M@@C^*@@-代数 @@M@@C_r^*(H)@@（左正则群代数的算子范数闭包）不含 @@M@@0@@ 与 @@M@@1@@ 之外的投影（projection）。问题可溯至 Kaplansky 关于单 @@M@@C^*@@-代数幂等元的提问；Pimsner–Voiculescu 通过计算自由群约化交叉积的 @@M@@K@@-理论证明了自由群情形。一条主路线是积分性：若典范迹 @@M@@\tau_H@@ 在 @@M@@K_0@@ 上取整值则必无投影，而对无挠群，Lück 证明迹在装配像上整值，故 Baum–Connes 满射蕴含无投影。这解释了猜想为何对顺群（Higson–Kasparov）与双曲群（Mineyev–Yu、Lafforgue）成立，也意味着反例必须出自装配失效、几何全新的群。此前 Austin 曾造出无理 von Neumann 核维数，但核投影未必落在 @@M@@C^*@@-代数里；本文靠”一致分离谱带＋连续泛函演算”跨过这道门槛。
定理：存在有限生成无挠离散群 @@M@@G_{\mathrm{proj}}@@ 与投影 @@M@@e\in C_r^*(G_{\mathrm{proj}})@@，使 @@M@@0<\tau_{G_{\mathrm{proj}}}(e)<\tfrac12@@；特别地 @@M@@e\ne0,1@@。群由无限图形呈现再与有限生成自由群作自由积得到，所有参数有限（不寻求规模界），标记表与边电压由有限分布经”同时存在”命题选取。附带两个推论：非整迹把矩阵投影类 @@M@@[p_0]@@ 排除出 @@M@@G_{\mathrm{base}}@@ 的无系数约化装配像；同伴论文另证 @@M@@\mathbb C[G_{\mathrm{proj}}]@@ 无非平凡幂等元，故 @@M@@e@@ 属于完备化而不属于群环本身。
分两步走：先造一个未归一化迹严格介于 @@M@@0@@ 与 @@M@@1/2@@ 的矩阵投影（矩阵目标），再用自由积把它压缩成标量投影。
矩阵目标要”分离谱带与小迹兼得”。先造二部塔：层 @@M@@A_i,B_i@@（@@M@@i\in\mathbb Z@@）只在相邻层间有二部关联，归一化关联算子把常向量映为常向量、在正交补上以 @@M@@\rho<1@@ 收缩。塔备两份：@@M@@Y^0@@ 供扩张、@@M@@Y^\#@@ 供长路的有限字母恢复，删去一致小比例顶点后二者一致；幸存图 @@M@@Y@@ 上作电压覆盖 @@M@@P@@。电压群取整上单位三角矩阵群的仿射扩张再取中心积所得的可数幂零群 @@M@@F@@，它一身二任：闭路上读出的短 holonomy 字（和乐字）经 Magnus 展开的矩阵截断检测，保证呈现的大围长与无挠；其中心 Fourier 纤维上又有 Schwartz 卷积幂等元（Rieffel 式核实现），加权的 Riemann 和格点化给出离散扭曲投影 @@M@@p_\theta@@，迹 @@M@@\le C|\theta|^{n_{\mathrm f}}@@。以中心 Fourier 变量 @@M@@t@@ 为参数，两因子的有效扭曲分别是 @@M@@t@@ 与 @@M@@t-\delta@@（后者靠一个 @@M@@N@@ 维有限磁表示吸收，模 @@M@@q@@ 约化使其在格上平凡），故 @@M@@0<t<\delta@@ 时纤维投影非零且迹 @@M@@\le CNt^{n_{\mathrm f}}(\delta-t)^{n_{\mathrm f}}@@：@@M@@t@@ 趋向任一端点时支撑层都逃向塔的一端，迹在两端同时变小。相邻层常向量的归一化组合给出特征值 @@M@@+1@@，扩张性分离其余正谱。几何侧用公共根排序把每个 copy 与更早 copy 的交限制进一个有限树球，删去后剩互斥域、其余 Cayley 边成森林；删球损失由迹估计控制，森林范数估计控制剩余边，分离谱带遂保持到有限矩阵 @@M@@T\in M_N(\mathbb C[G_{\mathrm{base}}])@@，连续泛函演算给出上投影 @@M@@p_0@@。
标量压缩则是干净的一步：取 @@M@@G_{\mathrm{proj}}=G_{\mathrm{base}}*\mathbb F_N@@，令 @@M@@U=(\lambda(t_1),\dots,\lambda(t_N))@@ 为自由生成元的行算子，则
@@M@@De=(Up_0)\,(p_0U^*Up_0)^{-1}\,(Up_0)^*\in C_r^*(G_{\mathrm{proj}})@@
是标量投影且 @@M@@\tau(e)=\tau_{G_{\mathrm{base}},N}(p_0)@@。关键下界 @@M@@\|U\xi\|\ge c_a\|\xi\|@@ 用自由积正规形把”坏位置”的电荷全部记到迹 @@M@@a<1/2@@ 的账上；自由积保持有限生成与无挠。
本文暂无形式化证明，论证横跨图形小消去、幂零群调和分析与自由积迹估计，核验成本高。族内姊妹篇分别破装配的单射与满射，本篇的非平凡投影正是满射失效的直接表征。按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。
问 1：证明里最难兼顾的两件事是什么？
（答：”谱带分离”与”小迹”天然打架：要投影落在约化 @@M@@C^*@@-代数里，需一致分离的谱带加连续泛函演算；要迹小于 @@M@@1/2@@，支撑要小。论文的解法是把谱带架在相邻层常向量的归一化组合（特征值 @@M@@+1@@）上、用扩张性分离其余正谱，再让中心 Fourier 参数 @@M@@t@@ 与 @@M@@t-\delta@@ 的两个扭曲卷积投影在 @@M@@t@@ 趋向任一端点时把支撑层推向塔端、迹两端同时变小——那个吸收 @@M@@t-\delta@@ 的有限磁表示是两端都小的关键。）
问 2：为什么反例必须绕开积分性路线？
（答：对无挠群，Lück 与 BGW 的结果保证典范迹在无系数约化装配像上取整值，故 Baum–Connes 满射即得无投影——顺群、双曲群因此安全。反例只能来自装配失效、几何全新的群；本文的无限图形呈现加幂零群电压覆盖正是站在这些方法之外，非整迹类 @@M@@[p_0]@@ 随之落在装配像外面。）
问 3：与 Austin 的无理核维数相比，跨过的门槛是什么？
（答：Austin 的算子有无理 von Neumann 核维数，但核投影未必属于约化 @@M@@C^*@@-代数——差的就是从冯·诺依曼代数降到 @@M@@C^*@@-代数这一步。本文用有限矩阵群代数算子在正则表示下的一致分离谱带，经连续泛函演算先得到矩阵投影 @@M@@p_0@@，标量压缩放在其后，次序不可颠倒。）
问 4：标量压缩这一步为什么干净、又依赖什么？
（答：取 @@M@@G_{\mathrm{proj}}=G_{\mathrm{base}}*\mathbb F_N@@，公式 @@M@@e=(Up_0)(p_0U^*Up_0)^{-1}(Up_0)^*@@ 直接给出同迹标量投影；下界 @@M@@\|U\xi\|\ge c_a\|\xi\|@@ 用自由积正规形把坏位置记到迹 @@M@@a<1/2@@ 的账上。引言对比了 Sauers 的条件性归约（需要先有非整矩阵投影）——本文恰好补上那块缺失的输入，压缩本身是相对常规的一步。）
问 5：这个证明最可能以什么方式出错？
（答：构造的自洽性。塔要备两份——@@M@@Y^0@@ 管扩张、@@M@@Y^\#@@ 管有限字母长路恢复——删去一致小比例顶点后须仍一致；电压群一身二任（Magnus 展开截断保围长与无挠、中心 Fourier 纤维给 Rieffel 式投影）；标记表与电压靠有限分布的”同时存在”命题选取。参数链条上任何一环（删球损失、森林范数、几何权重）失控，分离谱带就保不住。论文自认不寻求规模界，AI 生成此类无界构造的核验成本极高。）
问 6：谁会引用、引用时要附带什么？
（答：算子代数与 @@M@@K@@-理论社区：它否定 Kadison–Kaplansky 投影猜想，与族内另两篇合围无系数约化 Baum–Connes。引用时须注明：投影 @@M@@e@@ 只在约化完备化中——同伴论文证明 @@M@@\mathbb C[G_{\mathrm{proj}}]@@ 无非平凡幂等元且代数 @@M@@K_0@@ 上迹仍整值，故幂等元版本的 Kaplansky 问题对这个群安然无恙。）
总评
这是对又一个教科书级猜想的否定性终结，矩阵投影加自由积压缩的两段式设计干净利落；风险与 Baum–Connes 姊妹篇同源——巨型参数化构造无形式化核验，且结论横跨图形小消去与幂零群调和分析两个技术大陆，社区分块复核前宜按重大待验证结果对待。