这不仅是数学界的一大突破，更是上海师范大学建校以来迎来首篇数学“四大顶刊”论文，标志着其在基础数学研究领域的国际影响力迈上了新台阶。基础研究是科技创新的源头，此次突破也展现了中国青年一代数学家敢于挑战世界级难题的探索和能力。
陈晓煜
为什么要研究a函数的有界性？
在这套理论框架下，1985年，Lusztig（卢斯蒂格）又引入了一个极为重要的代数工具：a-函数。它是研究Coxeter（考克斯特）群的胞腔分解、Hecke（赫克）代数表示及基环的核心数学工具。
然而，随着研究的深入，一个基础难题挡在了所有数学家面前：对于有限秩的Coxeter群，这个a-函数的取值到底有没有界限，即是否存在一个一致的上界？
四十多年来，数学家们试图对“a-函数是否有界”作出确切的解答，但始终未能如愿。
引入“”完成核心论证
面对这个长期悬而未决的“数学悬案”，陈晓煜与胡泓昇另辟蹊径，创造性地引入了一个名为“相交集”的新数学概念。
此前，Lusztig（卢斯蒂格）已经证明，要确认a-函数有界，等价于证明Hecke（赫克）代数标准基的结构常数次数具有一个一致的上界。但这在庞大的代数计算中面临着极高的复杂性。
两位中国学者通过建立精细的归纳框架和逻辑推演，证明了两个核心结论：第一，任意两个标准基元素乘积的展开式中，每一项都能对应到一个“相交集”，这是整个证明中最具挑战性的部分，需要建立精细的归纳框架；第二，借助经典的Ramsey（拉姆齐）定理和基础线性代数，他们证明了所有“相交集”的大小都存在一个统一的上界。
标准基结构常数次数确实具有一致上界，a-函数是有界的。从此具有了良好的定义。
陈晓煜和学生们
上海本土培养的青年数学家崭露头角
记者今天从上海师范大学了解到，取得这一历史性突破的陈晓煜副教授，是一位名副其实的“本土派”青年学者。他在硕博士就读期间，师从华东师范大学数学科学学院的胡乃红教授与王建磐教授，博士后期间的合作导师为院士。
2019年，陈晓煜加入上海师范大学，扎根数理学院，长期潜心于代数群与量子群等基础数学领域的研究，主要研究兴趣包括简约代数群的抽象表示的分类与结构问题、双参数量子群PBW Lyndon基、代数群Weyl模的张量积分解等。
近年来，陈晓煜已经在Kazhdan-Lusztig（卡兹丹-卢斯蒂格）理论以及代数群的无限维表示方面取得了一系列突出的成果，直至此次一举登顶国际数学界“四大顶刊”。
来源：新民晚报 作者：马丹