结果族 168：Combinatorial invariance of Kazhdan–Lusztig polynomials · 学科：Combinatorics · 验证状态：暂无形式化证明，请以社区核验为准
两所学校用完全不同的方式给干部编号，但只要”谁归谁管”的层级结构一模一样，两校算出的”管理复杂度成绩单”就该完全相同。这篇论文证明的正是这种”只认结构、不认标签”的现象：表示论中重要的 Kazhdan–Lusztig 多项式，其实只由区间的偏序结构决定，与生成元、根系等一切附加记号无关。
关键词卡片
看个具体例子
定理的”数字版”：只要 @@M@@[u,b]\cong[u',b']@@（仅保序同构），两个系统的多项式就逐系数相等：@@M@@P^W_{u,b}(q)=P^{W'}_{u',b'}(q)@@——不管多项式恰好是 @@M@@1@@ 还是 @@M@@1+2q+q^2@@，两边的答案都完全同步。定理覆盖任意 Coxeter 系统，包括无限群与不可晶体化的情形，而此前只有低秩或特殊类型的部分结果。
为什么值得关心
这个由 Lusztig 与 Dyer 提出的猜想三十余年只有零星进展；本文给出覆盖一切情形的完整证明。
暂无形式化证明（AI 结果待核验）
第一级台阶
入门导读用”两所学校编号不同、层级结构相同，成绩单就该相同”作比。翻译成半数学语言：对象是一个带等级结构的有限集合——区间，元素之间只有”谁比谁高”的关系；操作是给每个区间配一串系数（一个多项式），作为其复杂程度的成绩单。要问的是：这串系数是否只由等级结构的形状决定，而与元素叫什么名字、结构如何生成无关。
第二级台阶
用本科语言精确化：Coxeter 系统 @@M@@(W,S)@@ 是由一组反射生成元 @@M@@S@@ 生成的群，配有长度函数 @@M@@\ell@@ 与 Bruhat 序 @@M@@\le@@；两个元素之间的 Bruhat 区间 @@M@@[u,b]=\{x:u\le x\le b\}@@ 是秩为 @@M@@\ell(b)-\ell(u)@@ 的分次偏序集。Kazhdan–Lusztig 多项式 @@M@@P_{u,b}(q)@@ 经 Hecke 代数典范基递归定义，约定 @@M@@P_{u,u}=1@@、次数小于区间秩的一半；递归要用生成元，几何解释要用根系标签。
第三级台阶
主定理断言：若 @@M@@\iota:[u,b]\to[u',b']@@ 只是保序且反映序的双射——不携带任何生成元或根系数据——则 @@M@@P^W_{u,b}(q)=P^{W'}_{u',b'}(q)@@，且对任意 Coxeter 系统成立，包括无限群与不可晶体化群。”任意系统”挡住了以往按群类型逐一处理的路径；结论限制到子区间即得区间上所有 @@M@@P_{x,y}@@ 均由序结构决定，互反公式进而恢复全部 @@M@@R@@-多项式。证明走矩图层的路线：多项式相等被转化为 Braden–MacPherson 层在各顶点处分次自由模分次秩的相等。
本文彻底证明了 Kazhdan–Lusztig 多项式的”组合不变性猜想”：在任意 Coxeter 系统中，两个仅作为抽象偏序集同构的 Bruhat 区间拥有完全相同的等参数（equal-parameter）Kazhdan–Lusztig 多项式——多项式只由区间的序结构决定。
Kazhdan–Lusztig 多项式 @@M@@P_{u,b}(q)@@ 由 Kazhdan 与 Lusztig 于 1979 年通过 Hecke 代数（Hecke algebra）的典范基引入，随后被解释为 Schubert 簇局部交上同调的组合编码，是表示论与组合学交汇处的核心不变量。它的定义递归依赖 Coxeter 系统的单反射生成元，几何与范畴化构造又依赖根系（root system）标记，而抽象的 Bruhat 区间（Bruhat interval）偏序集两者都不保留。由此产生归功于 Lusztig 与 Dyer 的组合不变性猜想：这些看似必要的数据其实是冗余的，同构的区间偏序集给出相同的多项式。此前所有结果都是部分的：主下区间 @@M@@[1,b]@@ 情形由 du Cloux、Brenti、Brenti–Caselli–Marietti 与 Delanoy 解决；Patimo 及 Barkley–Gaetz–Lam 证明 @@M@@q@@ 系数不变性并由此得到秩至多六的完整结论；Esposito–Marietti–Stella 推进到有限 Weyl 群秩十、@@M@@A@@ 型秩十二；BBDVW 受机器学习模型启发提出对称群中的超立方体分解递归，后由 Barkley–Gaetz 部分证实。任意底部元素、任意（含无限与不可晶体化的）Coxeter 系统的一般情形始终悬而未决。
主定理（组合不变性）：设 @@M@@(W,S)@@、@@M@@(W',S')@@ 为任意 Coxeter 系统，@@M@@u\le b@@、@@M@@u'\le b'@@。若 @@M@@\iota:[u,b]\to[u',b']@@ 是抽象偏序集的同构——仅是保序且反映序的双射，不携带任何生成元或根系标记——则等参数 Kazhdan–Lusztig 多项式满足
@@M@@DP^W_{u,b}(q)=P^{W'}_{u',b'}(q).@@
定理对无限群与不可晶体化（noncrystallographic）群同样成立。把 @@M@@\iota@@ 限制到子区间，即得区间上所有 @@M@@P_{x,y}@@ 均由序结构决定；再由互反公式（reciprocity）@@M@@q^{d(x,y)}P_{x,y}(q^{-1})=\sum_{x\le z\le y}R_{x,z}(q)P_{z,y}(q)@@ 可归纳恢复全部 @@M@@R@@-多项式。
总体框架是矩图（moment graph）上的层论。对顶部为 @@M@@b@@ 的区间取 Braden–MacPherson 层 @@M@@B(b)@@：每个顶点 @@M@@x@@ 挂一个实多项式环 @@M@@A@@ 上的分次自由模（graded free module）@@M@@B^x@@，其分次秩恰为 @@M@@\operatorname{grk} B^x=P_{x,b}(q)@@（论文自证了实现与分次约定的相容性）。于是多项式相等等价于分次秩相等，问题转化为层的比较。
先做图重构：证明偏序集同构保持有向 Bruhat 图的全部反射边（不止覆盖）。方法是四层六点的闭包规则——若 @@M@@\{a\}|\{p,q\}|\{r,s\}|\{c\}@@ 相邻两层间全部八条有向边已收入，则加入 @@M@@(a,c)@@——配合二面体（dihedral）反射子群与二面体区间形状的分析，把 Dyer 的有限群结论推广到任意 Coxeter 系统。由此可在第二个系统中取几何反射序（reflection order），借 @@M@@\iota@@ 给第一个区间的边排出”搬运时刻表”（transported schedule），并定义每个顶点处的末端段。
核心局部步骤比较一条边 @@M@@e:x\to y@@ 两端”更晚边”核的像 @@M@@I_e=\operatorname{res}_{x,e}L_x(F)@@ 与 @@M@@J_e=\operatorname{res}_{y,e}L_y(G)@@。在根平面的素理想处局部化（localization）后，层分解为秩一的二面体结构层 @@M@@\mathcal O_c@@ 的直和（下降归纳 + Nakayama 引理），核条件化为边标签之积（唯一分解）。关键组合输入是：相对二面体区间经 @@M@@\iota@@ 搬运后保持，且二面体区间内两端”更晚出边数”之差 @@M@@h_x-h_y=k_\Pi(e)@@；对平面求和恰得 @@M@@\sum_\Pi k_\Pi(e)=\frac{d(x,y)-1}{2}@@。由高度一素理想的交运算得到分次包含 @@M@@I_e\subseteq f_e J_e@@，其中 @@M@@\deg f_e=\frac{d(x,y)-1}{2}@@。
最后做全局比较：固定 @@M@@0<q<1@@、@@M@@T=q^{-1/2}-q^{1/2}@@，按时刻表逐边撤去核条件，跟踪核 Hilbert 级数（Hilbert series）向量。上述包含把每步增量控制在 @@M@@T\cdot D_y@@；各步矩阵 @@M@@\mathrm{id}+TE_{xy}@@ 元素非负，其乘积按 Dyer 路径公式统计递减标签路径，即第二系统的规范化 @@M@@R@@-矩阵，故 @@M@@p(q)\le\widetilde R'(T)\,p(q^{-1})@@，而第二系统由互反性对该式精确取等。对区间秩作归纳：上部各点已相等，相减得 @@M@@\Delta(q)\le\Delta(q^{-1})@@；交换两系统得反向不等；再由 @@M@@P@@ 的次数界迫使 @@M@@\Delta=0@@，多项式相等。端点相等加上矩阵非负、对角为一，迫使每步盈余为零，即 @@M@@I_e=f_eJ_e@@ 全局成立；在底部逆向加回条件，配合分次 Schanuel 引理与分次 Nakayama 得到所有末端核的自由性，闭合”多项式不变 + 自由性”的同时归纳。
本文是独立完整的一般性证明，单独覆盖猜想的全部情形（任意底部元素、无限与不可晶体化系统），是结果族 168 的支柱；此前的低秩与系数级结果（BGL、EMS 等）可视为其结论的独立部分印证。按任务元数据，主结果暂无 Lean 形式化证明，且 OpenAI 官方声明”未经形式化的结果可能有问题”，请以社区核验为准。证明依赖的外部输入——Dyer 的反射序与路径公式、Deodhar–Dyer 反射子群理论、Braden–MacPherson/Fiebig 的矩图层构造、Elias–Williamson 特征标定理——均为已发表的标准结果，论文对引用约定逐项核对。
问 1：证明最关键、也最脆弱的一步在哪？
（答：局部边包含 @@M@@I_e\subseteq f_e J_e@@，其中 @@M@@\deg f_e=(\ell(y)-\ell(x)-1)/2@@。它在根平面的素理想处局部化，把层分解为秩一的二面体模型，靠”搬运后的相对二面体区间保持，且两端更晚出边数之差对平面求和恰为 @@M@@(d-1)/2@@“这一精确计数支撑。这一步若差一个常数，互反比较两侧不再对齐，全局归纳即塌。）
问 2：猜想拖了三十多年，缺失的标签到底卡在哪？
（答：@@M@@P_{u,b}@@ 的递归要用单反射生成元，几何解释要用根系标签，抽象区间偏序集两者都不保留。Dyer 能从序结构重构有向 Bruhat 图的全部反射边，但引言明言重构不供应根标签；Lanini 的拉回比较又要求同构携带标签空间的自守。本文必须绕开两条现成路：保留两个系统的实现各自不动，靠”搬运时刻表”比较层中的像。）
问 3：与已有工作相比，真正的新意是什么？
（答：覆盖面从部分到全部。此前只有主下区间 @@M@@[1,b]@@（du Cloux、Brenti、BCM、Delanoy）、@@M@@q@@ 系数不变性与秩至多六（BGL）、有限 Weyl 群秩十/A 型秩十二（EMS）、对称群超立方体递归（BBDVW、Barkley–Gaetz）等部分结果；本文处理任意底部元素与任意（含无限、不可晶体化）Coxeter 系统。机制亦新：多项式不变与末端核自由性的同时归纳。）
问 4：搬运时刻表在第一个系统中不是反射序，矩阵乘积凭什么还能识别成 @@M@@R@@-矩阵？
（答：这是设计巧妙处。时刻表取自第二个系统的反射序经 @@M@@\iota@@ 搬运，逐边撤条件产生元素非负、对角为一的初等矩阵 @@M@@\mathrm{id}+TE_{xy}@@，其乘积按 Dyer 路径公式统计的是第二个系统中递减标签路径——恰是第二系统的规范化 @@M@@R@@-矩阵，于是互反性给出精确取等，反过来迫使每步包含取等。）
问 5：这个证明最可能以什么模式出错？
（答：AI 生成证明在这类长链分次模论证中的典型风险是约定漂移：分次秩的正负指数约定、实现与分次的相容性、@@M@@R@@-多项式递归的归一化，任何一处符号或移位出错，互反公式两侧便不等。论文自证约定相容并逐项核对引用，但全文未形式化，这是最大软肋。）
问 6：定理只覆盖等参数情形，多参数 Hecke 代数怎么办？
（答：论文未讨论。定理与全部证明都在等参数（equal-parameter）框架内，多参数版本的组合不变性论文未展开，应视为仍然开放。）
问 7：谁会用到它？
（答：Schubert 簇局部交上同调的计算者与 Soergel 双模社区直接受益——区间序结构现在足以决定 IC 不变量，推论还恢复全部 @@M@@R@@-多项式；对 BBDVW 开启的机器学习引导路线也是一个回应：最终证明不靠超立方体分解，而靠矩图层论。）
总评
三十余年猜想的完整解决，机制全新且覆盖一切 Coxeter 系统，分量极高；最大风险是长链分次模论证未经形式化，任何一处约定漂移都可能致命。