实盘炒股模式 悬置41年“a函数有界”难题被中国数学家攻克，登上四大数学顶刊

一个困扰代数表示论学界四十余年的基本问题，终于有了答案。

上海师范大学数理学院陈晓煜副教授与湖南大学胡泓昇副教授合作，在卡兹丹-卢斯蒂格理论领域取得重要进展，证明了有限秩考克斯特群的a函数是有界的。

这项成果于2026年8月26日被国际数学界公认的四大数学期刊之一《数学新进展》正式接受，并于9月23日在线发表。这也是上海师范大学建校以来发表的首篇数学四大顶刊论文，实现了学校的历史性突破。

对许多读者来说，这些名词也许有些陌生，但它们背后是现代数学中关于“对称性”最深刻的一套理论。

从对称性说起

考克斯特群是刻画对称性的一类重要的群。

最典型的例子，是n个文字的对称群，也就是把n个物体所有可能的排列方式放在一起形成的数学结构。正多面体的旋转和反射、晶体的对称结构，背后都能找到考克斯特群的身影。

1979年，著名数学家戴维·卡兹丹（David Kazhdan）和乔治·卢斯蒂格（George Lusztig）创立了卡兹丹-卢斯蒂格理论，简称KL理论。

这是一套研究代数群与李代数表示中模分解深层结构的组合理论，此后深刻影响了表示论、代数几何和代数组合学等多个领域。

在这套理论中，考克斯特群的“胞腔分解”是一个核心概念。它像一张精密的地图，把群里的元素划分成一个个区域，编码了赫克代数表示以及旗流形几何结构中的重要信息。

1985年，卢斯蒂格引入了一个被称为“a函数”的工具。它是研究胞腔分解、赫克代数表示以及卢斯蒂格渐近环的重要利器。

然而，一个看似朴素的问题从此悬而未决：对于有限秩的考克斯特群，a函数的取值是否有一个统一的上界？

对于一些特殊类型的考克斯特群，比如有限的外尔群和仿射外尔群，数学家已经知道答案，但一般情形始终无人能够证明。

这个问题一悬就是四十余年，成为KL理论中一块“绕不过去的石头”，许多相关结论都不得不以它为前提假设。

“相交集”撬开难题

陈晓煜与胡泓昇给出了肯定的回答。

他们的出发点是卢斯蒂格早年证明的一个等价关系：a函数有界，等价于赫克代数标准基结构常数的次数具有一致的上界。

这样一来，问题就从“a函数有没有上界”转化成了“结构常数的次数是否一致有界”。转化本身并不能直接给出答案，真正的难点在于找到控制这些次数的办法。

打个比方，这就像要证明一座迷宫无论怎么走都不会走得太深，数学家先把问题翻译成另一种语言，再去寻找可以统一衡量深度的尺子。

两位数学家找到的这把“尺子”，是他们创造性引入的“相交集”概念。围绕它，他们证明了两个核心结论。

第一个结论是，任意两个标准基元素相乘后，展开式中的每一项都对应着一个相交集。

第二个结论是，所有相交集的大小具有一个统一的上界。

前者负责把“无穷多种乘法结果”纳入同一个框架，后者负责给这个框架封顶，两步环环相扣，缺一不可。

其中，第一个结论是整个证明中最具挑战性的部分，需要建立一套精细的归纳框架。第二个结论则可以借助组合数学中的拉姆齐定理和基本的线性代数来完成。

两者合在一起，就证明了赫克代数标准基结构常数的次数一致有界，进而得出a函数有界的结论。

拉姆齐定理有一个通俗的表述：在足够大的人群中，总能找到一群彼此都认识或彼此都不认识的人。这个“大到一定程度就必然出现秩序”的思想，恰好帮助两位作者控制住了相交集的规模。

一块基石带动一片理论

这项成果的意义，并不止于回答了一个问题。在数学中，一个基础性问题的解决，常常意味着一整片理论从“有条件成立”变成“无条件成立”。

赫克代数的许多重要性质，都可以由a函数的有界性直接推出。例如在等参数情形下，卢斯蒂格提出的15个猜想，也就是著名的P1至P15，可以因此成立，卢斯蒂格渐近环也因此具有良好的定义。

换句话说，a函数有界就像一块地基，许多更高层的理论大厦都需要建立在它之上。地基被夯实，上面的建筑才能真正稳固。

《数学新进展》与《数学年刊》《数学发明》《美国数学会杂志》并称数学界四大顶级期刊，在这些刊物上发表论文，历来被视为数学研究的最高认可之一。

值得一提的是，这项突破来自两位副教授，分别任职于上海师范大学和湖南大学，而非传统意义上的数学重镇。

这也从一个侧面说明，近年来中国数学研究的力量正在向更多高校扩散，青年学者在基础数学前沿问题上越来越有话语权。

在“卡脖子”问题备受关注的今天，基础数学看似离产业很远，却是一切科学技术的源头。真正的原始创新，往往就孕育在这些看似“无用”的纯粹问题之中。

基础数学的研究往往寂寞而漫长，一个问题可能要等待几代人才能迎来答案。四十余年后实盘炒股模式，这个悬案由两位中国数学家画上了句号。