[论文解读] Lie-Rinehart algebras, descent, and quantization

Johannes Huebschmann|ArXiv.org|Mar 2, 2003

Advanced Topics in Algebra参考文献 48被引用 34

一句话总结

本文确立了李-里内哈特代数作为范畴框架，以解决在奇异情形下凯勒量子化是否与辛约化交换的问题。它表明，通过使用共层化希尔伯特空间和预量子模，分层凯勒量子化可确保在约化后与约化前的量子化等价，即使约化空间是奇异的，且通过表示的对称幂显式实现了量子不变量。

ABSTRACT

A Lie-Rinehart algebra consists of a commutative algebra and a Lie algebra with additional structure which generalizes the mutual structure of interaction between the algebra of functions and the Lie algebra of smooth vector fields on a smooth manifold. Lie-Rinehart algebras provide the correct categorical language to solve the problem whether Kaehler quantization commutes with reduction which, in turn, may be seen as a descent problem.

研究动机与目标

• 解决长期以来关于在奇异情形下凯勒量子化是否与辛约化交换的问题。
• 将几何量子化推广至约化相空间非光滑流形的分层凯勒空间。
• 为处理量子化中的下降问题提供一个范畴框架——李-里内哈特代数，将经典结果推广至奇异情形。
• 通过共层化希尔伯特空间和分层极化，构建奇异相空间上的一致量子理论。

提出的方法

• 利用李-里内哈特代数作为编码奇异空间上光滑函数与向量场之间相互作用的代数结构。
• 将泊松代数上的预量子模概念应用于在奇异性存在时表示狄拉克条件。
• 引入共层化希尔伯特空间作为量子态空间，其层间线性映射与闭包上的量子化相容。
• 采用分层凯勒极化以确保跨层的量子表示不可约。
• 使用广义形式的肯普夫下降引理，建立约化与量子化顺序的等价性。
• 通过表示的对称幂构造量子不变量，例如 $(E_s^{2k})^H$，并将其与约化空间上线丛的截面相联系。

实验结果

研究问题

• RQ1 当约化空间为奇异时，凯勒量子化是否与辛约化交换？
• RQ2 能否在具有非光滑辛层的分层凯勒空间上构建一致的量子理论？
• RQ3 在奇异情形下，几何量子化中的下降问题如何通过范畴方式形式化？
• RQ4 当经典相空间为奇异时，约化后的量子可观测量结构是什么？
• RQ5 在群作用存在的情况下，约化空间上的量子不变量与未约化空间上的不变量有何关系？

主要发现

• 当经典系统为具有紧致李群作用的正凯勒流形时，约化后的量子化与量子化后的约化产生等价的量子相空间。
• 约化空间 $Q_s = \mathbb{P}^d\mathbb{C}$ 上 $k$ 次超平面丛的全纯截面空间同构于 $H$-不变子空间 $(E_s^{2k})^H$，其中 $H = \mathrm{O}(s,\mathbb{R})$。
• 约化空间上的表示 $\widetilde{E}_s^k$ 是最高权向量为单项式 $\delta_1^\alpha \delta_2^\beta \cdots \delta_s^\gamma$ 且满足 $\alpha + 2\beta + \cdots + s\gamma = k$ 的 $\mathrm{U}(\ell)$-不可约表示的直和。
• 从 $\widetilde{E}_s^k$ 到 $\widetilde{E}_{s-1}^k$ 的限制映射在不涉及 $\delta_s$ 的表示张成空间上是同构，而包含 $\delta_s$ 的表示张成空间为其核。
• 系统 $(\widetilde{E}_1^k, \widetilde{E}_2^k, \dots, \widetilde{E}_s^k)$ 构成一个共层化量子空间，编码了各层之间的量子结构。
• 当 $k \geq 1$ 时，奇数分次不变量 $(E_s^{2k-1})^H$ 为零，而偶数分次不变量则实现了约化层上的完整量子希尔伯特空间。