结果族 285：Counterexamples to Baum–Connes and Kadison–Kaplansky · 学科：Operator algebras · 验证状态：暂无形式化证明，请以社区核验为准
每个群都有两份档案：一份记它的”形状”（拓扑），一份记它生成的算子代数（分析）。两者之间有一座标准桥梁，叫装配映射；著名的 Baum–Connes 猜想断言这座桥不丢信息。本文造出一个有限生成、无挠的群：一块拓扑侧的无限阶”石块”过桥后竟消失得无影无踪——桥确实会丢东西。
关键词卡片
看个具体例子
石块来自大家熟悉的环面 @@M@@T^2@@：其自旋 Dirac 类 @@M@@[D_{T^2}]@@ 经嵌入映射推入大群 @@M@@G_{\mathrm{inj}}@@ 的拓扑侧，记作 @@M@@h@@。
公式卡（数字版定理）：@@M@@\langle(Bi)^*c,[T^2]\rangle=1@@（配对等于 1，保证 @@M@@h@@ 是无限阶元素），但 @@M@@\mu^r_{G_{\mathrm{inj}}}(h)=0@@——同一块石块，拓扑侧非零无限阶，过桥后归零。
为什么值得关心
这是首个”无系数、无挠群”情形的反例，动摇了 Baum–Connes 猜想最核心的版本；但注意经典 Novikov 猜想与最大装配版本并未被推翻。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读说每个群有”两份档案”：一份记形状，一份记它生成的算子代数，装配映射是两档之间的桥。翻译成半数学语言：对象是一个离散群、它分类空间的拓扑不变量、以及它通过左正则表示打包成的算子代数的不变量；操作是沿着这座标准的桥把拓扑侧的元素搬到分析侧，并追问搬运是否保真——有没有石块过桥后消失。
第二级台阶
用本科可及的术语精确化。约化群 @@M@@C^*@@-代数 @@M@@C_r^*(G)@@ 指群在 @@M@@\ell^2(G)@@ 上左平移算子生成的范数闭代数；@@M@@K@@-理论是给代数或空间记账的不变量（投影的等价类是其雏形）。无挠指群没有有限阶元素。约化装配映射 @@M@@\mu_G^r:K_*(BG)\to K_*(C_r^*(G))@@ 把分类空间的紧支撑 @@M@@K@@-同调送到代数的 @@M@@K@@-理论；Baum–Connes 猜想断言它是同构，其中”单射”这半句说拓扑信息过桥不丢。
第三级台阶
定理在此语境陈述：存在有限生成无挠群 @@M@@G_{\mathrm{inj}}@@、单同态 @@M@@i:\mathbb Z^2\to G_{\mathrm{inj}}@@ 与上同调类 @@M@@c@@，使环面定向配对 @@M@@\langle(Bi)^*c,[T^2]\rangle=1@@，而 Bott 生成元 @@M@@\beta@@ 的推前 @@M@@i_*(\beta)=0\in K_0(C_r^*G_{\mathrm{inj}})@@。”无挠、无系数、约化版本”这些限定各自对准猜想的经典核心：此前反例都带交换系数或只涉满射，@@M@@\mathbb C@@ 系数的单射性从未被否定。结论换用导读的话说：@@M@@h=(Bi)_*[D_{T^2}]@@ 在拓扑侧是无限阶石块，@@M@@\mu^r_{G_{\mathrm{inj}}}(h)=0@@——桥确实丢东西。另两点精细限定须随行：群有限生成但有限呈现不在结论之列；最大装配映射下同一类的像非零，经典 Novikov 猜想未被触动。
本文构造了一个有限生成无挠群 @@M@@G_{\mathrm{inj}}@@：环面 Dirac 类 @@M@@(Bi)_*[D_{T^2}]@@ 在拓扑侧是无限阶元素，经约化 Baum–Connes 装配映射（assembly map）后却变成零。这个无限阶核类推翻了无挠群、无系数情形约化 Baum–Connes 猜想的有理单射性。
对离散群 @@M@@G@@，约化 Baum–Connes 装配映射 @@M@@\mu_G^r\colon K_*(BG)\to K_*(C_r^*(G))@@ 从分类空间（classifying space）@@M@@BG@@ 的紧支撑 @@M@@K@@-同调指向约化群 @@M@@C^*@@-代数（reduced group @@M@@C^*@@-algebra）的 @@M@@K@@-理论；猜想断言它是同构。它由 Baum 与 Connes 于 1982 年提出（2000 年正式发表），是 Novikov 猜想与椭圆指标理论的算子代数化身。正结果丰厚：Higson–Kasparov 处理了在 Hilbert 空间上有真仿射等距作用的群（含可数顺群），Mineyev–Yu 与 Lafforgue 处理了双曲群。反例一侧，Higson–Lafforgue–Skandalis 2002 年给出的是带交换系数与 groupoid 情形，且只涉满射；系数恰为 @@M@@\mathbb C@@ 的离散群情形，单射性从未被否定。本文补上的正是这块最核心的空白。
定理：存在有限生成无挠离散群 @@M@@G_{\mathrm{inj}}@@、单同态 @@M@@i\colon\mathbb Z^2\to G_{\mathrm{inj}}@@ 与上同调类 @@M@@c\in H^2(BG_{\mathrm{inj}};\mathbb Z)@@，使得
@@M@@D\langle(Bi)^*c,[T^2]\rangle=1,\qquad i_*(\beta)=0\ \text{in}\ K_0(C_r^*G_{\mathrm{inj}}),@@
其中 @@M@@\beta@@ 是 @@M@@K_0(C_r^*\mathbb Z^2)\cong K_0(C(\mathbb T^2))@@ 的秩零 Bott 生成元（Bott generator），@@M@@[D_{T^2}]@@ 是环面的自旋 Dirac @@M@@K@@-同调类。于是 @@M@@h=(Bi)_*[D_{T^2}]@@ 在 @@M@@K_0(BG_{\mathrm{inj}})@@ 中有无限阶，而 @@M@@\mu^r_{G_{\mathrm{inj}}}(h)=0@@：核里有无限阶整元素，有理单射性随之失效。两点精细限定：群有限生成，但有限呈现不在结论之列；改用最大装配映射（maximal assembly）时同一类 @@M@@h@@ 的像非零（由 Hanke–Schick 的低度非零定理），故最大形式的强 Novikov 猜想与经典 Novikov 猜想（高阶符号的同伦不变性）均未被推翻。
全证分三块：造群、建检测子、做 Bott 消没。
先造群。把一个分层图塔用交错有限流标记（沿 Osajda 的图形小消去路线），随机标记以一致概率具有扩张隙（expansion gap），剪枝剔除会干扰重叠估计的短回流；随后给每条边赋整 Heisenberg 群 @@M@@\mathsf H=\langle x,y,z\mid[x,y]=z\rangle@@ 中的电压（voltage），作电压覆盖。@@M@@\mathsf H@@ 无挠且含交换对 @@M@@(z,x)@@，为最终环面埋下伏笔，而围长控制保证幸存的短路不是 @@M@@\mathsf H@@ 中的关系。几何实现把 @@M@@\mathsf H@@ 嵌入群 @@M@@\Gamma_\nu@@，借由”叶”（sheet，嵌入覆盖的平移）拼成的复形中的整闭链分解，既证无挠，又把嵌入环面的定向类延拓为整个群上的积分检测子 @@M@@c@@。
核心的解析步骤是 Bott 消没。模型空间按高度 @@M@@i\ge0@@ 分层，每层放一个环面上紧支撑的 Bott 差 @@M@@a_i@@。念头是 Eilenberg swindle 式的高度平移：在不相交对 @@M@@(0,1),(2,3),\dots@@ 上用”旋转＋再尺度化”的投影同伦把偶族移成奇族，再用 @@M@@(1,2),(3,4),\dots@@ 把奇族移成正偶族；两条同伦结合有限可加性，迫使高度零那一项的 @@M@@K_0@@ 类为零。难点在于这些族必须是真实有界算子、同伦须落在约化代数的范数序列商 @@M@@\mathcal Q_r=\prod_\nu A_\nu/\bigoplus_\nu A_\nu@@ 内：论文用扩散算子与载体投影（迹 @@M@@\le C2^{-700H_i}@@）、剪裁估计、森林范数估计，把每个指定轮廓以有限 Cayley 公式在完全正则算子范数下一致逼近；精度序列 @@M@@\nu@@ 取商后，近似化为精确等式。最后经”逐坐标相等”引理取充分晚的坐标，再用多项式逼近该等式的有限见证所涉的群元素，连同 @@M@@\mathsf H@@ 的生成元一起生成 @@M@@G_{\mathrm{inj}}@@——有限生成性由此获得，而非一开始就具备。
收尾把两条线缝合：由 Atiyah–Singer 指标定理，@@M@@h@@ 与线丛类 @@M@@[L]-[1]@@ 的指标配对等于 @@M@@1@@，故 @@M@@h@@ 无限阶；而装配像经子群自然性化为 @@M@@j_*\mu^r_{\mathbb Z^2}([D_{T^2}])=i_*(\beta)=0@@。
本文暂无形式化证明。结果族 285 三篇互补：本篇（无挠群）破单射，无理迹姊妹篇破满射，投影姊妹篇推翻 Kadison–Kaplansky 猜想，合起来宣告无系数约化 Baum–Connes 猜想对可数离散群不成立。按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。
问 1：证明中最精巧也最脆弱的一步是什么？
（答：Bott 消没。念头是 Eilenberg swindle 式高度平移：在不相交对 @@M@@(0,1),(2,3),\dots@@ 上把偶族同伦到奇族，再用 @@M@@(1,2),(3,4),\dots@@ 把奇族移到正偶族，有限可加性迫使高度零项的 @@M@@K_0@@ 类为零。难点全在落地：族必须是真实有界算子、同伦须落在约化代数的范数序列商 @@M@@\mathcal Q_r@@ 内——靠载体投影（迹 @@M@@\le C2^{-700H_i}@@）、剪裁与森林范数估计把近似做精，取商后才成精确等式。这一段是全文的解析心脏。）
问 2：为什么必须强调”无挠、无系数”，这两条拿掉一条会怎样？
（答：挠是装配映射失效的已知来源；无挠反例才是对猜想核心版本的打击。系数方面，Higson–Lafforgue–Skandalis 的既有反例全部带交换系数且只涉满射（或 groupoid 情形），@@M@@\mathbb C@@ 系数的离散群单射性从未被否定——本文补的正是这块空白。论文还明确与 BGW 的 exact 交叉积重述式划清界限，那个版本不受影响。）
问 3：既然桥丢信息，Novikov 猜想是不是也塌了？
（答：没有。由 Hanke–Schick 的低度非零定理，同一类 @@M@@h@@ 满足 @@M@@\mu^{\max}(h)\otimes1\ne0@@ 而 @@M@@\lambda_*(\mu^{\max}(h))=0@@——消失发生在从最大代数到约化代数的正则商那一步。经典 Novikov 猜想（高阶符号的同伦不变性）与最大形式的有理单射都未被推翻，倒掉的只是”约化版强 Novikov”。）
问 4：与 Higson–Kasparov、双曲群等正面结果如何相容？
（答：完全相容。那些定理覆盖的群类（顺群、Hilbert 空间仿射等距作用、双曲群）恰好是核不能出现的地带；本文的群是图形小消去加电压覆盖造出的病态对象，刻意站在所有已知正面方法的能力之外。Gromov–Osajda 路线提供几何先例，但不供给无系数核。）
问 5：这个证明最可能以什么方式出错？
（答：参数簿记与多阶段构造的组合。随机标记的扩张隙、剪枝、Heisenberg 电压、谱平均采样、几何实现、有限见证提取环环相扣，”高度”与”精度”两套指标并行，完整参数选取次序要到最后一节才锁定；@@M@@2^{-700H_i}@@ 这类极端常数任一处接不上，商代数里的精确等式就会退回近似。有限生成性也是事后从有限见证里抠出来的，不是先天属性——正是 AI 生成构造证明最难人工复核的形状。）
问 6：谁会引用这个结果、引用时要注意什么？
（答：算子代数与指标理论社区：它与族内姊妹篇（破满射、Kadison–Kaplansky 投影反例）合起来宣告无系数约化 Baum–Connes 猜想对可数离散群不成立。引用时须带两点限定：群有限生成但未必有限呈现；结论不触及最大装配、BGW exact 版本与经典 Novikov。）
总评
这是对 Baum–Connes 猜想核心版本的首次正面打击，构造野心大、与既有理论边界咬合清晰；最大风险在多阶段构造的参数一致性与商代数估计的细节，且无形式化证明，应视为重大但待核验的进展。