[论文解读] Semiclassical Geometry of Quantum Line Bundles and Morita Equivalence of Star Products

Henrique Bursztyn|ArXiv.org|May 1, 2001

Advanced Topics in Algebra参考文献 33被引用 12

一句话总结

该论文建立了皮卡德群 $\mathrm{Pic}(M) \cong H^2(M,\mathbb{Z})$ 在泊松流形 $M$ 上微分星积模空间上的典范作用，其中轨道分类了莫里塔等价类。该作用的半经典极限显示，通过形变线丛的泊松-陈类扭曲星积的特征类，从而通过反变联络提供了一种几何机制来实现莫里塔等价。

ABSTRACT

In this paper we show how deformation quantization of line bundles over a Poisson manifold $M$ produces a canonical action $Φ$ of the Picard group $\Pic(M)\cong H^2(M,\mathbb Z)$ on the moduli space of equivalence classes of differential star products on $M$, $\Def(M)$. The orbits of $Φ$ characterize Morita equivalent star products on $M$. We describe the semiclassical limit of $Φ$ in terms of the characteristic classes of star products by studying the semiclassical geometry of deformed line bundles.

研究动机与目标

• 理解泊松流形上星积在莫里塔等价下的分类。
• 在微分星积模空间上定义皮卡德群的典范作用。
• 通过形变线丛的半经典极限表征莫里塔等价。
• 引入并研究反变联络，作为量子线丛形变的半经典极限。
• 通过皮卡德群的作用将星积的特征类与泊松-陈类联系起来。

提出的方法

• 在 $\mathrm{Def}_{\mathrm{diff}}(M,\pi)$，即微分星积模空间上构造 $\mathrm{Pic}(M)$ 的典范作用 $\Phi$。
• 利用费多索夫-德利涅和康采维奇的特征类理论，在辛和一般泊松情形下描述 $\mathrm{Def}_{\mathrm{diff}}(M,\pi)$。
• 分析形变线丛的半经典极限，表明其在经典线丛上定义了反变联络。
• 引入泊松-陈类 $\mathrm{c}_1^\pi(L) \in H^2_\pi(M)$，作为泊松流形上线丛上反变联络的曲率类。
• 计算 $\Phi$ 的半经典极限，其作用为通过泊松-陈类扭曲特征类：$[\alpha] \mapsto [\alpha] - \frac{2\pi}{i} \pi^* \mathrm{c}_1(L)$。
• 证明当 $M$ 为辛流形且 $H^2(M,\mathbb{Z})$ 自由时，作用 $\Phi$ 是忠实的，从而轨道参数化了与某一固定星积莫里塔等价的所有星积。

实验结果

研究问题

• RQ1 如何几何地表征泊松流形上星积的莫里塔等价性？
• RQ2 皮卡德群在分类微分星积等价类中起什么作用？
• RQ3 形变线丛的半经典极限与经典线丛上联络的关系是什么？
• RQ4 在莫里塔等价下，星积的特征类具有何种几何意义？
• RQ5 泊松-陈类如何作为莫里塔等价星积分类中的障碍或不变量出现？

主要发现

• 作用 $\Phi$ 对 $\mathrm{Def}_{\mathrm{diff}}(M,\pi)$ 的分类实现了莫里塔等价：两个星积莫里塔等价当且仅当它们的类属于同一 $\Phi$-轨道。
• $\Phi$ 的半经典极限通过泊松-陈类扭曲特征类：$[\alpha] \mapsto [\alpha] - \frac{2\pi}{i} \pi^* \mathrm{c}_1(L)$。
• 在半经典极限下，形变线丛定义了反变联络，其曲率生成泊松-陈类 $\mathrm{c}_1^\pi(L) = \pi^* \mathrm{c}_1(L)$。
• 当 $M$ 为辛流形且 $H^2(M,\mathbb{Z})$ 自由时，作用 $\Phi$ 是忠实的，且轨道参数化了与某一固定星积莫里塔等价的所有星积。
• 泊松-陈类的整数性提供了莫里塔等价的障碍，与后续工作 [5] 中狄拉克的量子化条件相联系。
• 该构造可推广至强莫里塔等价的酉星积情形，在酉设定下也得到类似结果。