[论文解读] Rieffel induction as generalized quantum Marsden-Weinstein reduction

N.P. Landsman|ArXiv.org|May 19, 1993

Magnetism in coordination complexes参考文献 27被引用 4

一句话总结

本文将黎菲格尔诱导确立为广义经典辛约化之量子类比，以算子代数结构取代辛群胚。通过在希尔伯特C*-模上以算子值内积表述矩映射，证明黎菲格尔的诱导程序精确对应经典Marsden-Weinstein约化，从而解决了狄拉克与BRST量子化中长期存在的问题。

ABSTRACT

A new approach to the quantization of constrained or otherwise reduced classical mechanical systems is proposed. On the classical side, the generalized symplectic reduction procedure of Mikami and Weinstein, as further extended by Xu in connection with symplectic equivalence bimodules and Morita equivalence of Poisson manifolds, is rewritten so as to avoid the use of symplectic groupoids, whose quantum analogue is unknown. A theorem on symplectic reduction in stages is given. This allows one to discern that the `quantization' of the generalized moment map consists of an operator-valued inner product on a (pre-) Hilbert space (that is, a structure similar to a Hilbert $C^*$-module). Hence Rieffel's far-reaching operator-algebraic generalization of the notion of an induced representation is seen to be the exact quantum counterpart of the classical idea of symplectic reduction, with imprimitivity bimodules and strong Morita equivalence of $C^*$-algebras falling in the right place. Various examples involving groups as well as groupoids are given, and known difficulties with both Dirac and BRST quantization are seen to be absent in our approach.

研究动机与目标

• 在不依赖辛群胚的前提下，为广义经典辛约化提供一个量子对应物。
• 通过以算子代数工具替代有问题的几何结构，解决狄拉克与BRST量子化中的基础性问题。
• 证明黎菲格尔诱导自然源于通过希尔伯特C*-模对广义矩映射进行量子化的过程。
• 通过强莫里塔等价建立经典辛约化与量子诱导表示之间的精确对应关系。
• 通过算子值内积与实现性双模，将Marsden-Weinstein约化过程推广至量子系统。

提出的方法

• 通过聚焦于矩映射与分阶段约化，重写米卡米-韦因斯坦-徐的广义辛约化，避免使用辛群胚。
• 将量子矩映射表示为预希尔伯特空间上的算子值内积，其结构等价于希尔伯特C*-模。
• 将黎菲格尔的诱导构造作为经典辛约化的量子类比，其中实现性双模编码了约化数据。
• 应用分阶段约化定理，将复杂约化分解为更简单、顺序进行的步骤。
• 确立C*-代数的强莫里塔等价与经典情形下辛等价之间的精确对应关系。
• 构建涉及李群与群胚的具体例子，以说明该框架的普遍性与一致性。

实验结果

研究问题

• RQ1 广义辛约化如何在不使用辛群胚（其量子类比尚不明确）的情况下重新表述？
• RQ2 在约束系统背景下，经典Marsden-Weinstein约化过程的精确量子对应物是什么？
• RQ3 黎菲格尔诱导如何与经典矩映射约化及算子值内积相关联？
• RQ4 通过以算子代数结构替代几何结构，能否克服狄拉克与BRST量子化中的问题？
• RQ5 在何种意义上，实现性双模与强莫里塔等价自然地浮现于该量子约化框架之中？

主要发现

• 量子矩映射被实现为希尔伯特C*-模上的算子值内积，为黎菲格尔诱导提供了直接联系。
• 黎菲格尔诱导被确认为广义经典辛约化的精确量子类比，即使在无辛群胚的情形下亦成立。
• 分阶段约化定理使复杂约化得以系统性分解，增强了计算与概念上的清晰度。
• 该框架自然地将C*-代数的强莫里塔等价作为泊松流形辛等价的量子对应物。
• 由于其代数基础，该方法避免了狄拉克与BRST量子化中已知的困难（如约束处理不一致）。
• 涉及群与群胚的示例验证了该方法在不同对称结构下的一致性与广泛适用性。