[论文解读] On the deformation quantization of coadjoint orbits of semisimple Lie groups

R. Fioresi, M. A. Lledó|ArXiv.org|Jun 15, 1999

Homotopy and Cohomology in Algebraic Topology参考文献 21被引用 14

一句话总结

该论文通过将李代数的普遍包络代数模去一个合适的理想，实现了对半单李群的正则余伴随轨道上多项式函数的坐标无关形变量子化，得到一个关于形变参数 $ h $ 解析依赖的正式星积。该构造在 $ SU(2) $ 情况下与几何量子化一致，且对实数 $ h $ 具有收敛性，从而在这些轨道上实现了量子可观测量的非微扰实现。

ABSTRACT

In this paper we consider the problem of deformation quantization of the algebra of polynomial functions on coadjoint orbits of semisimple lie groups. The deformation of an orbit is realized by taking the quotient of the universal enveloping algebra of the Lie algebra of the given Lie group, by a suitable ideal. A comparison with geometric quantization in the case of SU(2) is done where both methods agree.

研究动机与目标

• 构建半单李群的正则余伴随轨道上多项式函数代数的形变量子化。
• 提供一个关于形变参数 $ h $ 解析依赖的正式星积，从而允许将 $ h $ 取实数值。
• 建立一个坐标无关的框架，保持对称性并支持表示论分析。
• 在 $ SU(2) $ 情况下证明与几何量子化的一致性，此时两种方法得到等价结果。
• 通过将星积限制在多项式函数上，将已知的泊松流形形变量子化（Kontsevich）推广至子流形，特别是余伴随轨道。

提出的方法

• 通过将复半单李代数 $ rak{g} $ 的普遍包络代数 $ ext{U}(rak{g}) $ 模去由 $ C - rac{m}{2}ig(rac{m}{2} + 1ig) ext{Id} $ 生成的双边理想，实现形变量子化，其中 $ C $ 为卡西米尔算子。
• 该构造利用了 $ ext{U}(rak{g}) $ 是 $ rak{g}^* $ 上多项式代数的形变量子化这一事实，并通过模去对应于正则轨道的最大理想，将限制作用于余伴随轨道。
• 对生成元进行缩放 $ ilde{X} = ar{h}X $, $ ilde{Y} = ar{h}Y $, $ ilde{H} = ar{h}H $, $ ilde{D} = ar{h}D $，以将形式形变与物理参数 $ ar{h} $ 关联，从而实现对实数 $ h $ 的取值。
• 星积被证明在 $ h $ 上是解析的，并通过投影映射 $ p $ 的单射性及滤子代数中的次数分析，证明了在多项式函数上形变乘积的收敛性。
• 该方法通过直接代数商化构造星积，避免了任意排序规定，从而在轨道上产生一整个星积类。
• 通过实与复轨道对应关系，将该框架扩展至紧致半单群，并证明构造在群作用下不变。

实验结果

研究问题

• RQ1 能否以坐标无关的方式构造半单李群的余伴随轨道上多项式函数的形变量子化？
• RQ2 通过模去普遍包络代数所得到的形变量子化是否产生一个关于形变参数 $ h $ 解析依赖的星积，从而允许将 $ h $ 取实数值？
• RQ3 该构造与几何量子化相比如何，特别是在 $ SU(2) $ 情况下？
• RQ4 所得到的形变代数能否被实现为希尔伯特空间上截面空间上的微分算子代数，特别是对 $ SU(2) $ 和 $ SL(2, bC) $？
• RQ5 卡西米尔算子在定义模去普遍包络代数以获得正确轨道代数的理想中起什么作用？

主要发现

• 将普遍包络代数 $ ext{U}(rak{g}) $ 模去理想 $ (C - rac{m}{2}(rac{m}{2} + 1) ext{Id}) $，可得到正则余伴随轨道上多项式函数代数的形变量子化。
• 所得星积关于形变参数 $ h $ 解析依赖，且在轨道上的多项式函数上形变乘积收敛。
• 在 $ SU(2) $ 情况下，该构造与几何量子化一致，且形变代数同构于在轨道上某线丛的全纯截面空间上的微分算子代数。
• 由于商的内在代数结构，该方法无需选择排序，从而在轨道上产生一整个星积类。
• 该构造在群作用下不变，并保持余伴随轨道的辛结构，从而为量子可观测量提供了自然的表示理论。
• 证明了代数 $ ext{U}/(C - rac{m}{2}(rac{m}{2} + 1) ext{Id}) $ 同构于 $ ext{D}_m $，即轨道上微分算子代数，当 $ m $ 为整数时。