[论文解读] Deformation Quantization of Hermitian Vector Bundles

Henrique Bursztyn, Stefan Waldmann|ArXiv.org|Sep 18, 2000

Algebraic structures and combinatorial models参考文献 33被引用 7

一句话总结

该论文通过有序环上的∗-代数，建立了在泊松流形上对厄米向量丛的形变量子化之存在性与唯一性。证明了对于基流形上固定的厄米星积，厄米向量丛的截面在等距等价意义下存在唯一的形变，且相应的形变代数在形式上是莫里塔等价的，将里夫埃尔的强莫里塔等价推广至形式设定。

ABSTRACT

Motivated by deformation quantization, we consider in this paper $^*$-algebras $\mathcal A$ over rings $ ing C = ing{R}(i)$, where $ ing R$ is an ordered ring and $i^2 = -1$, and study the deformation theory of projective modules over these algebras carrying the additional structure of a (positive) $\mathcal A$-valued inner product. For $A=C^\infty(M)$, M a manifold, these modules can be identified with Hermitian vector bundles E over M. We show that for a fixed Hermitian star-product on M, these modules can always be deformed in a unique way, up to (isometric) equivalence. We observe that there is a natural bijection between the sets of equivalence classes of local Hermitian deformations of $C^\infty(M)$ and $Γ^\infty(\End(E))$ and that the corresponding deformed algebras are formally Morita equivalent, an algebraic generalization of strong Morita equivalence of $C^*$-algebras. We also discuss the semi-classical geometry arising from these deformations.

研究动机与目标

• 开发一种针对配备A-值内积的∗-代数上投影模的形变量子化框架。
• 将形式形变量子化扩展至包含厄米向量丛，以在几何量子化中建模量子可观测量。
• 在C∞(M)与Γ∞(End(E))的局部厄米形变之间建立自然双射。
• 证明厄米向量丛截面的形变代数与光滑函数的形变代数在形式上是莫里塔等价的。
• 将形变的代数结构与半经典几何及WKB近似相联系。

提出的方法

• 作者在C=R(i)上的∗-代数范畴中工作，其中R为有序环且i² = -1，从而实现一种形式化的GNS型构造。
• 他们定义并研究了∗-代数上矩阵代数中的强全投影，以确保非退化的等价双模。
• 通过λ的正式幂级数构造了带内积的投影模的形变，同时保持厄米结构与正定性。
• 关键技术工具是迹条件：若存在τ ∈ A使得tr(P₀) = (ττ*)⁻¹，则投影P₀为强全投影。
• 通过等价双模E = P⋆Aⁿ建立形式莫里塔等价，并利用迹恒等式验证内积的正定性与全性。
• 在[35]的意义下分析形变的半经典几何，将形式形变与经典极限相联系。

实验结果

研究问题

• RQ1 在泊松流形上，厄米向量丛是否能通过形式星积唯一地形变，同时保持其厄米结构？
• RQ2 C∞(M)与Γ∞(End(E))的局部厄米形变等价类之间是否存在自然双射？
• RQ3 厄米向量丛截面的形变代数与基流形上光滑函数的形变代数是否仍保持形式莫里塔等价？
• RQ4 投影的强全性概念如何与形变下莫里塔等价的保持相关？
• RQ5 半经典极限在这些形变模的几何中起什么作用？

主要发现

• 对于任意配备厄米星积的泊松流形M上的厄米向量丛E → M，其光滑截面模Γ∞(E)存在唯一的形变，至等距等价为止。
• 在命题3.3中已确立C∞(M)与Γ∞(End(E))的局部厄米形变等价类之间存在自然双射。
• 定理4.4与推论4.5表明，E的截面形变代数与M上函数的形变代数在形式上是莫里塔等价的。
• 强全投影的形变仍保持强全性，从而确保所得双模非退化并保持莫里塔等价。
• 形式莫里塔等价意味着在ℂ[[λ]]上的预希尔伯特空间上，形变代数的∗-表示理论是等价的。
• 形变的半经典几何与[35]的形式体系相容，暗示其与几何量子化及WKB展开之间存在更深层的联系。