近日，南方科技大学量子科学与工程研究院副研究员李勤联合粤港澳大湾区优势力量，与香港中文大学教授梁迺聪、陈国威合作，在数学物理中的几何量子化与形变量子化领域取得了重大进展。他们提出了非形式化量子化(non-formal quantization)的概念，在凯莱流形上构造了此类量子化的具体实例，为几何量子化及高维量子场论相关问题的进一步研究奠定了基础。相关结果以“Quantizable functions on Kähler manifolds and non-formal quantization”为题被国际数学领域顶级期刊Advances in Mathematics正式接收。

在数学物理中，量子力学的数学基础建立在满足Dirac-von Neumann公理体系的希尔伯特空间及相应的算子代数上。由于经典力学中的相空间(phase space)对应于几何中的辛流形，量子化成为了辛几何研究中的中心问题之一。受Dirac-von Neumann公理指引，辛流形量子化的研究主要包括了几何量子化与形变量子化这两个分支，分别聚焦于公理体系中的希尔伯特空间H与算子构成的代数A。由于几何量子化与形变量子化这两类理论在发展过程中相对独立，代数A如何作用在希尔伯特空间H上是一个未知的问题。这其中的一个技术难题是由于形变量子化代数A在其定义中包含了对应于物理中普朗克常量的形式变量h。

课题团队从2016年开始围绕这一问题进行了长期的研究。解决此前技术难题并取得突破的关键是在代数A中找到一个稠密的子代数D使得可以在其中将形式变量h进行赋值。团队将突破点放在一类几何性质较好的辛流形即凯莱流形中，并首次提出了非形式量子化(non-formal quantization)的概念。在研究过程中，团队利用了一系列新的技术和方法：首先凯莱流形上的具有一种特殊的L无穷代数结构，通过将这种代数结构进行形变扩张，构造了这类几何对象上的一种平坦联络(Fedosov abelian connection). 这种特殊的平坦联络出人意料的满足极好的对称性质，使得其不仅可以用于构造带形式变量h的形变代数A，更可以在其中的子代数D中将形式变量赋值h=1/k，并得到团队所提出的非形式量子化代数D的具体实现。接着，团队将过去的Fedosov量子化方法推广用于构造希尔伯特空间H。在前两步的基础上，研究团队发现当k取为正整数时，这一代数D在希尔伯特空间H上具有Bargmann-Fock作用，并严格证明这一作用给出了非形式化代数与希尔伯特空间上的微分算子同构。这一系列成果完整地解决和回答了辛流形量子化中的关键问题，并为高维量子场论中的相关问题带来了启示。

在该研究成果中，李勤与梁迺聪为论文共同第一作者，通讯作者为陈国威教授。该研究工作得到了广东省科技厅、深圳市科创委国家自然科学基金委、南方科技大学和河套深港科技创新合作区的大力支持。

论文链接：https://doi.org/10.1016/j.aim.2023.109293