结果族 307：Failure of rational injectivity for maximal coarse assembly · 学科：Topology · 验证状态：暂无形式化证明，请以社区核验为准
把地图缩到千里之外看城市路网：单个红绿灯无关紧要，只看”大尺度形状”——这就是粗几何。粗几何里有一台”翻译器”（装配映射）：把空间的大尺度拓扑特征翻译成可计算的指标。大家曾希望这台翻译器忠实——不同的特征必译出不同的指标；这篇论文造出一串图，其中一个货真价实的无限阶特征译出来偏偏是零，而且换成最宽松的译法结果也一样。
关键词卡片
看个具体例子
构造一列有限图 @@M@@X_j@@：底座是边长不断加大的三维离散环面；每个顶点挂上”装饰”——矩阵群 @@M@@\mathrm{SL}_3@@ 模 @@M@@2^k@@ 的同余商，中段统一挂同一款，越靠两端越简单，两端只挂原环面；各图之间用越来越长的辅助边连成一串。数字版结论：
@@M@@D\alpha\in KX_1(X)\ \text{为无限阶},\qquad \mu_X^{\max}(\alpha)=0\in K_1\big(C^*_{\max}(X)\big).@@
类是真的（无限阶，粗化杀不死），指标却是零——有理化后的装配映射照样不单射。
为什么值得关心
粗 Novikov 型断言（非挠拓扑类的指标非零）此前的正面结果都需要某种嵌入型假设；本例说明即使配上最宽松的极大目标，光有界几何也不够。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里”缩到千里之外看路网”的就是粗几何：对象是一串有限图连成的度量空间，只承认有界尺度内可见的结构，单个红绿灯般的局部细节全部作废。”翻译器”是装配映射：把空间大尺度拓扑类送成算子的解析指标；”忠实”即单射——非平凡的类不该译成零。本文造出一串图，其中货真价实的无限阶类恰被译成零。
第二级台阶
精确化：设 @@M@@Z@@ 为一致离散、有界几何的度量空间（固定半径的球内点数一致有界）。以直径不超过 @@M@@r@@ 的有限子集为单形得 Rips 复形 @@M@@P_r(Z)@@，沿尺度取直极限定义粗 K-同调 @@M@@\KX_q(Z)=\varinjlim_r KK_q(C_0(P_r(Z)),\mathbb{C})@@。令 @@M@@\mathbb{C}[Z]@@ 为有限传播、局部紧算子的代数，其泛 C*-完备化为极大 Roe 代数 @@M@@C^*_{\max}(Z)@@，装配映射 @@M@@\mu^{\max}_Z:\KX_q(Z)\to K_q(C^*_{\max}(Z))@@ 把类送到指标。
第三级台阶
主定理：存在顶点度有一致公共上界的有限连通图 @@M@@X_j@@、其粗不交并 @@M@@X@@，与无限阶类 @@M@@\alpha\in\KX_1(X)@@，使 @@M@@\mu_X^{\max}(\alpha)=0@@，故有理化后仍不单射。”度一致有界”挡住了 Yu 反例无有界几何的缺陷；@@M@@\alpha@@ 属于真正的 Rips 直极限且非挠，挡住了 Dranishnikov–Ferry–Weinberger 类被粗化杀死的遗憾；而选”极大”这一最宽松的目标代数，则堵死”换更宽容的完备化即可恢复忠实”的退路。
本文构造了一致离散、有界几何的有限图粗不交并，其一度粗 K-同调中存在无限阶类，在极大 Roe 代数的粗装配映射下映为零——即使换用最”宽松”的极大目标代数，粗装配的有理单射性仍然失效。
粗几何（coarse geometry）研究度量空间只看大尺度时的形态。Roe 的粗指标理论（coarse index theory）把空间在有界尺度内可见的拓扑编码为粗 K-同调（coarse K-homology）：对一致离散、有界几何（bounded geometry）的空间 @@M@@Z@@ 取 Rips 复形（Rips complex）@@M@@P_r(Z)@@，再沿尺度取直极限（direct limit）@@M@@\KX_q(Z)=\varinjlim_r\KK_q(C_0(P_r(Z)),\mathbb{C})@@。装配映射（assembly map）@@M@@\mu@@ 把这样的类送到 Roe 代数的 K-理论，即类的解析指标（analytic index）；本文的目标是极大 Roe 代数（maximal Roe algebra）@@M@@C^*_{\max}(Z)@@——有限传播、局部紧算子代数 @@M@@\mathbb{C}[Z]@@ 的泛 C*-完备化。粗 Novikov 型问题问：非挠（non-torsion）拓扑类的指标能否为零？此前的正结果都需要嵌入型假设：Yu 对有限渐近维数、以及可粗嵌入希尔伯特空间的空间证明同构；Špakula–Willett 证明粗可嵌入希尔伯特空间时极大与约化 K-理论同构；Chen–Wang–Yu 等处理纤维化粗嵌入。已有的核类反例（Yu；Dranishnikov–Ferry–Weinberger）或无有界几何，或其类在粗化下消失；Higson–Lafforgue–Skandalis 的反例或属群论装配、或为非满射。本文给出首个把三件事同时做到的反例：有界几何的图并、无限阶核类、极大目标。
主定理：存在顶点度一致有界的有限连通图族 @@M@@(X_j)_{j\geq1}@@、其粗不交并（coarse disjoint union）@@M@@X=\bigsqcup_jX_j@@，以及无限阶类 @@M@@\alpha\in\KX_1(X)@@，使得
@@M@@D\mu_X^{\max}(\alpha)=0\in K_1(C^*_{\max}(X)).@@
由于 @@M@@\alpha@@ 非挠，@@M@@\alpha\otimes1@@ 是有理化装配映射的非零核元素，故 @@M@@\mu_X^{\max}\otimes\mathbb{Q}@@ 不单射。构造概要：基图为三维离散环面 @@M@@B_j=(\mathbb{Z}/l_j\mathbb{Z})^3@@，边长 @@M@@l_j=100(j+1)@@；在每个基点上放同余商（congruence quotient）@@M@@Q_k@@——@@M@@\SL_3(\mathbb{Z})@@ 模 @@M@@2^k@@ 约化的像——作纤维。中段（高度 @@M@@|t|\le j@@）纤维固定为 @@M@@Q_{2j}@@，形成长的乘积领（central collar）；向两端每次降低一级，直至平凡商，两端各为 @@M@@B_j@@ 的等距拷贝。逐级约化使顶点度有公共界 @@M@@|S|+6+2^{10}@@，尽管中段纤维基数随 @@M@@j@@ 急剧增长；各分量之间用长 @@M@@100+j^2@@ 的辅助边连成粗不交并。
全证明分三步：先在拓扑侧证明类非挠，再在极大范数中构造转移（transfer），最后”滑动”证明两端指标相等，合并即得指标为零。
拓扑侧的核心是一个 2-进整除计算。扭转元 @@M@@U_j=1+2^jE_{12}@@ 与 @@M@@V_j=1+2^jE_{23}@@ 的换位子是 @@M@@1+2^{2j}E_{13}@@：在 @@M@@Q_{2j}@@ 中交换而在 @@M@@Q_{3j}@@ 中可见。在连续环面上取线丛（line bundle）@@M@@\mathcal L_j@@ 使 @@M@@c_1(\mathcal L_j)=u_1\smile u_2@@，令 @@M@@\theta_j=([\mathcal L_j]-1)e_3\in K^1@@，它与对偶同调类 @@M@@\tau_j@@ 的配对为 1；定义 @@M@@\alpha=(i_+)_*\beta-(i_-)_*\beta@@。把边缘运输从 @@M@@Q_{2j}@@ 提升到 @@M@@Q_{3j}@@：核 @@M@@N@@ 中元素形如 @@M@@1+m^2D@@（@@M@@m=2^j@@），分量 @@M@@D_{13}@@ 给出同态 @@M@@d:N\to\mathbb{Z}/m\mathbb{Z}@@，且 @@M@@d(C)=1@@；比较三角形上两条运输路径得 @@M@@n_{02}=C^{a_{01}b_{12}}n_{01}n_{12}@@，即上积 @@M@@a\smile b@@ 模 @@M@@m@@ 是上边缘（coboundary），故拉回线丛存在 @@M@@2^j@@ 次根。再由 Rips 复形维数的一致界 @@M@@D_r@@ 与二项式系数的 2-进赋值，把这个根转化为 @@M@@K^1@@ 中被 @@M@@2^{j-\lfloor\log_2D_r\rfloor}@@ 整除的元素；Mayer–Vietoris 把 @@M@@P_r(X_j)@@ 分成上下两半、其交经中央领映到 @@M@@P_r(Y_j)@@，于是若 @@M@@n\alpha@@ 在尺度 @@M@@r@@ 消失，配对值 @@M@@n@@ 就必须被随 @@M@@j@@ 增长的 2 的幂整除，取 @@M@@j@@ 足够大即矛盾。
解析侧必须在极大完备化中重做全部算子论证，两块基石是范数控制：固定传播时极大范数与算子范数等价；有限顶点支撑的算子两范数相等，其闭包是紧算子理想。转移用 Kazhdan 性质 T（property (T)）：纤维常数向量的平均给出等距 @@M@@V@@，@@M@@\SL_3(\mathbb{Z})@@ 的谱隙使惰性平均幂 @@M@@(1-\Delta/2)^n@@ 在极大群范数中收敛到不变向量上的投影 @@M@@P@@；水平运输提升 @@M@@L(T)_{uv}=O_{uv}\otimes T_{uv}@@ 的乘法缺陷具有限支撑且被 @@M@@P@@ 消灭，故 @@M@@\Phi(T)=PL(T)@@ 是 @@M@@*@@-同态，且 @@M@@(f_A\Phi)_*=\id@@，即投影诱导的 @@M@@K_1@@ 映射是满射。最后滑动：在 @@M@@X_j@@ 的每个高度各放一份算子得堆叠 @@M@@S_0@@，与上移一格的堆叠 @@M@@S_1@@ 比较；模去紧算子后两者都是 @@M@@*@@-同态，在加倍模中用旋转等距 @@M@@W_\lambda@@ 连续连接，公共的内部副本相消，端点分别只剩两端的贡献，而 @@M@@K_1(\mathcal K)=0@@ 使商映射在 @@M@@K_1@@ 上单射，故 @@M@@(i_{+,A}f_A)_*=(i_{-,A}f_A)_*@@。自然性立即给出 @@M@@\mu_X^{\max}(\alpha)=0@@。
本文暂无形式化证明，请以社区核验为准；OpenAI 官方声明”未经形式化的结果可能有问题”。它与同族姊妹篇《A counterexample to the coarse Novikov conjecture》互相支撑：姊妹篇针对约化 Roe 代数推翻有理粗 Novikov 猜想，本文把同一思想（同余纤维 + 性质 T 平均）加强到极大目标——由于极大到约化有典范商映射，极大指标为零自动蕴含约化指标为零，反之不然，故转移与滑动都必须在泛范数中独立完成，这正是本文的技术增量。论文对范数控制与 Kazhdan 投影收敛等步骤给出完整证明；个别同余计算的细节技术性较强，此处从略。
问 1：证明中最脆弱的一步在哪里？
（答：转移映射的乘法性。水平运输把基图的矩阵项搬到纤维之间，天然不保乘积；证明靠 @@M@@\SL_3(\mathbb{Z})@@ 的 Kazhdan 谱隙让惰性平均幂在极大群范数中收敛到常值向量上的投影 @@M@@P@@，从而 @@M@@\Phi=PL@@ 成为 @@M@@*@@-同态并在 @@M@@K@@ 理论上分裂 @@M@@f_*@@。若平均收敛只在约化范数成立——这正是 HLS 型老技术的舒适区——全文即告失效，故此步是最大赌注。）
问 2：为什么纤维要从中间向两端逐级约化到平凡？
（答：中段纤维 @@M@@Q_{2j}@@ 的基数随 @@M@@j@@ 急剧增长，若直接接回基图，顶点度会爆炸、有界几何丧失，反例就退化成与 Yu 无有界几何反例同类；逐级降阶使顶点度有公共界，是”三件事同时做到”的关键一环。）
问 3：与 Higson–Lafforgue–Skandalis 的反例相比，新意是什么？
（答：HLS 的核构造属群/群团装配，用 Bott 类加 Kazhdan 投影，且其粗侧结论是约化非满射；本文给出的是非等变粗装配的无限阶核，空间是有界几何的图粗不交并，目标还是最宽松的极大代数——三个维度上都是首例。相对姊妹篇（约化目标），本文必须全部在泛范数中重做，因为约化指标为零推不出极大提升为零。）
问 4：类 @@M@@\alpha@@ 的非挠性凭什么成立？
（答：靠 2-进整除计算：@@M@@U_j=1+2^jE_{12}@@ 与 @@M@@V_j=1+2^jE_{23}@@ 的换位子是 @@M@@1+2^{2j}E_{13}@@，在 @@M@@Q_{2j}@@ 中交换而在 @@M@@Q_{3j}@@ 中可见，使线丛拉回 admit @@M@@2^j@@ 次根；Rips 复形的维数一致界把根转成整除性，Mayer–Vietoris 阻止 @@M@@\alpha@@ 的任何固定非零倍数在固定尺度消失。）
问 5：AI 生成这类证明最可能的出错模式是什么？
（答：典型风险是”范数层级混用”——极大范数与算子范数只在有限支撑或固定传播时可互换，长证明中一处悄悄按算子范数估计，结论就只对约化代数成立；此外 2-进赋值与二项式系数的整除转化若差一个 @@M@@\log_2@@ 量级，持久性论证即失效。论文以两块范数控制基石专门防御前者。）
问 6：谁会用到这个结果？
（答：大尺度几何与非交换几何研究者：它说明粗 Baum–Connes/Novikov 型单射必须有嵌入类假设（Yu、Špakula–Willett、Chen–Wang–Yu、GWZ25 的正结果边界由此显影），也警示”加宽目标代数”救不回忠实性；指标刚性方向的下游论文可直接引用该核类。）
总评
这是把粗装配失效推到最宽松目标的首个有界几何反例，技术执行（性质 T 平均进极大范数）干净利落；最大风险在泛范数中的算子论证——那正是文献中最少开垦的地带。