上海师范大学副教授陈晓煜与湖南大学副教授胡泓昇合作，在卡兹丹—卢斯蒂格（Kazhdan–Lusztig）理论领域取得重要进展。相关研究成果9月23日发表于《数学新进展》（Inventiones Mathematicae）。

陈晓煜 上海师范大学供图

卡兹丹—卢斯蒂格理论由著名数学家大卫·卡兹丹（David Kazhdan）和乔治·卢斯蒂格（George Lusztig）于1979年创立，是研究代数群与李代数表示中模分解深层结构的重要组合理论。考克斯特（Coxeter）群是刻画对称性的一类重要群，n个文字的对称群是典型例子。在卡兹丹—卢斯蒂格理论中，考克斯特群的胞腔分解是一个核心概念，编码了赫克（Hecke）代数表示以及旗流形几何结构中的重要信息。1985年，卢斯蒂格引入a-函数，该函数是研究胞腔分解、赫克代数表示及卢斯蒂格基环的重要工具。长期以来，有限秩考克斯特群的a-函数是否有界，一直是该领域悬而未决的基本问题。

陈晓煜与胡泓昇对这一问题给出了肯定回答。卢斯蒂格已证明，a-函数的有界性等价于赫克代数标准基的结构常数次数具有一致上界。因此，问题的关键转化为证明这些结构常数的次数一致有界。

陈晓煜与胡泓昇进一步引入“相交集”概念，并证明两个核心结论：任意两个标准基元素乘积的展开式中，每一项都对应一个相交集；所有相交集的大小具有统一上界。其中，第一个结论是整个证明中最具挑战性的部分，需要建立精细的归纳框架；第二个结论则可借助Ramsey定理和基本线性代数证明。由此，他们证明了赫克代数标准基结构常数次数具有一致上界，进而得到a-函数的有界性。

相关论文信息：https://doi.org/10.1007/s00222-026-01453-1