9月23日，国际数学界公认的四大顶级学术期刊之一《数学新进展》（Inventiones Mathematicae）在线发表了一项来自中国学者的重磅研究成果。上海师范大学数理学院陈晓煜副教授与湖南大学胡泓昇副教授合作，成功破解了Kazhdan-Lusztig（卡兹丹-卢斯蒂格）理论领域中一个悬而未决四十余年的基本问题：“a-函数”有界性猜想。
这不仅是数学界的一大突破，更是上海师范大学建校以来迎来首篇数学“四大顶刊”论文，标志着其在基础数学研究领域的国际影响力迈上了新台阶。基础研究是科技创新的源头，此次突破也展现了中国青年一代数学家敢于挑战世界级难题的探索和能力。
陈晓煜
为什么要研究a函数的有界性？
代数群和李代数主要用来严密地描述和研究多维空间中的“连续对称性”和“几何变换”。因为代数群和李代数非常抽象，难以直接计算。数学家就发展了“表示论”，即将这些抽象的代数元素，转化为线性代数中具体的“矩阵”。通过研究这些矩阵的加法、乘法等运算，来反推那个抽象代数结构的性质。而在运算中，将复杂的作用空间精确拆解为不可进一步分割的基本单元，这一过程在数学上被称为“模分解”。
1979年，著名数学家David Kazhdan（大卫·卡兹丹）和George Lusztig（乔治·卢斯蒂格）共同创立了Kazhdan-Lusztig（卡兹丹-卢斯蒂格）理论。这个理论正是用来研究代数群、李代数表示中“模分解”深层结构的重要组合理论。也就是说，两位数学家引入了一种基于Coxeter群胞腔以及Kazhdan—Lusztig多项式的组合算法，精确解答了代数群与李代数表示中极难计算的“模分解”问题。
在这套理论框架下，1985年，Lusztig（卢斯蒂格）又引入了一个极为重要的代数工具：a-函数。它是研究Coxeter（考克斯特）群的胞腔分解、Hecke（赫克）代数表示及基环的核心数学工具。
然而，随着研究的深入，一个基础难题挡在了所有数学家面前：对于有限秩的Coxeter群，这个a-函数的取值到底有没有界限，即是否存在一个一致的上界？
四十多年来，数学家们试图对“a-函数是否有界”作出确切的解答，但始终未能如愿。
引入“相交集”完成核心论证
面对这个长期悬而未决的“数学悬案”，陈晓煜与胡泓昇另辟蹊径，创造性地引入了一个名为“相交集”的新数学概念。
此前，Lusztig（卢斯蒂格）已经证明，要确认a-函数有界，等价于证明Hecke（赫克）代数标准基的结构常数次数具有一个一致的上界。但这在庞大的代数计算中面临着极高的复杂性。
两位中国学者通过建立精细的归纳框架和逻辑推演，证明了两个核心结论：第一，任意两个标准基元素乘积的展开式中，每一项都能对应到一个“相交集”，这是整个证明中最具挑战性的部分，需要建立精细的归纳框架；第二，借助经典的Ramsey（拉姆齐）定理和基础线性代数，他们证明了所有“相交集”的大小都存在一个统一的上界。
由此，他们完成了严密的推导：Hecke代数标准基结构常数次数确实具有一致上界，a-函数是有界的。
这个成果具有重要意义，解决了Kazhdan–Lusztig理论中长期悬而未决的基本问题，可以给代数群研究带来“连锁反应”。Hecke代数的许多重要性质都可由“a-函数有界性被证实”这一结论直接推出。比如，在等参情形下，Lusztig（卢斯蒂格）曾经提出的15个著名猜想（P1–P15）全部成立，也让相关的Lusztig基环从此具有了良好的定义。
陈晓煜和学生们
上海本土培养的青年数学家崭露头角
记者今天从上海师范大学了解到，取得这一历史性突破的陈晓煜副教授，是一位名副其实的“本土派”青年学者。他在硕博士就读期间，师从华东师范大学数学科学学院的胡乃红教授与王建磐教授，博士后期间的合作导师为席南华院士。
2019年，陈晓煜加入上海师范大学，扎根数理学院，长期潜心于代数群与量子群等基础数学领域的研究，主要研究兴趣包括简约代数群的抽象表示的分类与结构问题、双参数量子群PBW Lyndon基、代数群Weyl模的张量积分解等。
近年来，陈晓煜已经在Kazhdan-Lusztig（卡兹丹-卢斯蒂格）理论以及代数群的无限维表示方面取得了一系列突出的成果，直至此次一举登顶国际数学界“四大顶刊”。