从 1979 到 2026 ，这个数学难题终于被中国学者破解

luyuanhong

从 1979 到 2026 ，这个数学难题终于被中国学者破解

原创   科衍象限  科衍象限  2026 年 9 月 28 日 18:06  河南

国际数学界公认的四大顶级学术期刊之一《数学新进展》（Inventiones Mathematicae）在线发表了一项来自中国学者的重磅研究成果。上海师范大学数理学院陈晓煜副教授与湖南大学胡泓昇副教授合作，成功破解了 Kazhdan–Lusztig 理论中一个悬而未决四十余年的基本问题——“ a-函数”有界性猜想。这是上海师范大学建校以来首篇数学四大顶刊论文，实现了历史性突破。

01  一个让数学家等了四十年的问题

要理解这项成果的分量，需要先回到 1979 年。

那一年，著名数学家 David Kazhdan 和 George Lusztig 共同创立了 Kazhdan–Lusztig 理论。这套理论的核心目标，是研究代数群和李代数表示中“模分解”的深层结构。所谓“模分解”，就是将复杂的作用空间精确拆解为不可进一步分割的基本单元——这听起来抽象，但它是理解对称性数学结构的基础工具。

在这套理论框架下，Coxeter 群的“胞腔分解”是一个核心概念。它编码了 Hecke 代数表示以及旗流形几何结构中的重要信息。1985 年，Lusztig 引入了一个极为重要的代数工具—— a-函数，用来研究胞腔分解、Hecke 代数表示及 Lusztig 基环。

但一个问题随之浮现：对于有限秩的 Coxeter 群，这个 a-函数的取值到底有没有一个统一的上界？

四十多年来，数学家们试图回答这个问题，但始终未能如愿。

这个问题之所以重要，是因为 Lusztig 本人已经证明：a-函数的有界性，等价于 Hecke 代数标准基的结构常数次数具有一致上界。换句话说，如果 a-函数有界，那么 Hecke 代数中一整套关键的结构常数就被“锁”在了一个统一的范围内。而 Hecke 代数的许多重要性质，都可以从这一有界性直接推出。

但正因为它如此核心，证明它也异常困难。

02 “相交集”：一把打开新路径的钥匙

陈晓煜与胡泓昇的证明，走的是一条前人没有走过的路。他们没有直接去攻结构常数本身，而是创造性地引入了一个新的数学概念：“相交集”。


来源：Inventiones Mathematicae

基于这个概念，他们证明了两个核心结论：

第一，任意两个标准基元素乘积的展开式中，每一项都对应一个“相交集”。 这是整个证明中最具挑战性的部分，需要建立精细的归纳框架来完成。

第二，所有“相交集”的大小都具有统一的上界。 这一步则可以借助经典的 Ramsey 定理和基础线性代数来完成证明。

两个结论合在一起，就完成了严密的逻辑链条：结构常数的次数一致有界，因此 a-函数有界。Lusztig 四十年前提出的猜想，得到了肯定回答。

值得注意的是，这项工作并非孤立的技巧性突破。“相交集”这一概念的引入，为 Kazhdan–Lusztig 理论提供了一种新的分析工具。后续研究者如果要在这一框架下处理类似的结构性问题，这条路径可能具有可复用性。

03  连锁反应：15 个猜想同时成立

a-函数有界性被证明之后，一系列此前悬而未决的命题随之落地。

最直接的结果是：在等参情形下，Lusztig 曾经提出的 15 个著名猜想（P1–P15）全部成立。这些猜想覆盖了 Hecke 代数表示论中多个核心方向，此前一直缺乏统一的证明基础。同时，Lusztig 基环也因此具有了良好的定义。

这项成果解决的是 Kazhdan–Lusztig 理论中长期悬而未决的基本问题，对整个代数群与李代数表示论领域都具有基础性意义。

04  两位年轻数学家的“本土路径”

论文的两位作者，都是中国本土培养的青年数学家。


来源：上海师范大学

陈晓煜本科就读于上海大学，研究生期间就读于华东师范大学，硕士博士分别师从胡乃红教授与王建磐教授。博士毕业后，他在中国科学院数学与系统科学研究院从事博士后研究，合作导师为席南华院士，2019 年加入上海师范大学。他在 Kazhdan–Lusztig 理论以及代数群的无限维表示方面已经取得了一系列突出成果，此次登顶四大顶刊，是长期积累的结果。


来源：湖南大学

胡泓昇，1994 年生于福建漳州，2024 年起任湖南大学数学学院助理教授，研究方向涵盖代数、表示论、李理论和 Coxeter 群。他担任这篇论文的通讯作者，湖南大学为通讯单位。

两位学者都没有海外长期研究经历，他们的合作成果完全在中国本土的学术环境中完成。这本身就传递了一个信号：中国的基础数学研究，正在从“跟跑”向“并跑”甚至“领跑”转变。

真正的突破，往往发生在最基础的地方。

a-函数有界性猜想不是一个“应用数学”问题，它不直接解决工程或产业中的具体难题。但正是这类关于数学结构最底层性质的追问，构成了整个学科继续向前的基础。当一个四十年的基本问题被回答，后续的研究者就可以站在一个更稳固的地基上，去追问更深的问题。

这或许就是基础研究的价值所在：它不急于回答“有什么用”，而是先回答“是什么”和“为什么”。

科衍象限