Obstructions to Deformation Quantization of Bundles

技术摘要：丛的变形量子化的阻碍

问题陈述
本文研究了将光滑代数簇或复流形 $M$（配备辛形式或全纯形式 $\omega$）上的向量丛 $E$ 的阶数为 $k$ 的变形量子化扩展到更高阶 $\ell$（$\ell > k$）的问题。具体而言，给定一个阶数为 $k$ 的量子化 $E_k$（作为量子化结构层 $\mathcal{O}_\hbar / \hbar^{k+1}\mathcal{O}_\hbar$ 的局部自由层模），作者研究了寻找一个能扩展 $E_k$ 的阶数为 $\ell$ 的量子化 $E_\ell$ 时所存在的上同调阻碍。研究区分了两个区间：“阿贝尔”范围（即 $k+1 \leq \ell \leq 2k+1$）和“非阿贝尔”范围（即 $\ell \geq 2k+2$，包括无限阶情况 $\ell = \infty$）。

方法论
作者采用了一种基于 Harish-Chandra 挠子 (Harish-Chandra torsors) 和 形式达布定理 (formal Darboux theorems) 的几何方法。

1. 局部平凡化与挠子： 利用形式达布引理（定理 7），作者建立了一个局部性质，即对 $(\mathcal{O}_\hbar, E_k)$，其局部同构于涉及形式 Weyl 代数 $D$ 和自由模 $M_k = (D/\hbar^{k+1}D)^{\oplus e}$ 的标准对。所有此类局部同构的集合构成了 $M$ 上一个以 $F_k = \text{Aut}(D, M_k)$ 为结构群的挠子 $P(k)$。
2. Harish-Chandra 结构： 该挠子被升级为一个关于对 $(F_k, \mathfrak{g}_k)$ 的传递 Harish-Chandra 挠子，其中 $\mathfrak{g}_k$ 是该对的无穷小自同构的李代数。这种结构赋予了相关的向量丛平坦代数联络。
3. 李代数扩张： 将扩展量子化的问题转化为将挠子 $P(k)$ 提升到扩展 Harish-Chandra 对之上的挠子 $P(\ell)$ 的问题。这涉及分析李代数扩张 $\mathfrak{g}_k \to \mathfrak{g}_\ell$。
   • 对于 $k+1 \leq \ell \leq 2k+1$，扩张的核是阿贝尔的，导致一个标准的 $H^2$ 上同调阻碍。
   • 对于 $\ell \geq 2k+2$，核是非阿贝尔的。作者通过对交换子子代数取商来使核阿贝尔化，从而导出存在提升的必要条件（一个“阿贝尔影子”）。
4. Gelfand-Fuchs 映射： 作者利用 Gelfand-Fuchs 映射将李代数上同调类（代表扩张上同调元）与相关平坦丛的 de Rham 上同调类联系起来。
5. Fedosov 联络： 在全纯情形下，研究结果通过射流丛（jet bundles）上的 Fedosov 型联络进行重新解释，为阻碍类提供了一个具体的微分几何实现。

核心贡献与结果

• 定理 1（阿贝尔范围）： 对于 $k+1 \leq \ell \leq 2k+1$，作者定义了一个层 $\text{End}(E)^{(k, \ell]}$（$E_k$ 的自同构的商层）。他们证明了：

  • 存在一个位于 $H^2(M, \text{End}(E)^{(k, \ell]})$ 中的阻碍类。
  • 该类消失当且仅当扩展 $E_\ell$ 存在。
  • 如果阻碍消失，则此类扩展的同构类集是 $H^1(M, \text{End}(E)^{(k, \ell]})$ 上的一个挠子。
  • 该结果是通过扩张上同调元在 Gelfand-Fuchs 映射下的像的消失来确立的。

• 定理 2（非阿贝尔范围）： 对于 $\ell \geq 2k+2$，作者定义了一个与扩展的阿贝尔化核相关的层 $\text{End}^+_{\mathcal{O}_\hbar}(E_k)$。他们证明了：

  • 扩展 $E_\ell$ 的存在意味着 $H^2(M, \text{End}^+_{\mathcal{O}_\hbar}(E_k))$ 中的一个阻碍类消失。
  • 这是一个必要而非充分条件，因为完整的问题涉及非阿贝尔上同调。

• 定理 8： 确立了量子化 $E_k$ 与与 Harish-Chandra 挠子 $P(k)$ 相关的向量丛的平坦截面层之间的等价性。它提供了量子化层与相关丛的 de Rham 复形之间的拟同构。

• 关于存在性与唯一性的推论：

  • 如果 $H^2(M, \text{End}(E)) = 0$（例如 $M$ 是两个仿射开集的并集），则任何阶数为 $k$ 的量子化都可以扩展到所有阶数 $\ell \geq k+1$。
  • 如果 $H^1(M, \text{End}(E)) = 0$（例如 $M$ 是仿射的），则扩展是唯一的。
  • 如果 $M$ 是仿射的且 $E$ 是平凡的，则任何阶数 $k \geq 1$ 的量子化都是平凡的。

• 态射的提升（第 7 节）： 本文将分析扩展到将态射 $\phi_k: E_k \to F_k$ 提升到阶数 $\ell$ 的问题。识别出了一个阻碍 $O \in H^1(M, \text{Hom}_{\mathcal{O}_\hbar}(E_s, F_s))$。作者表明，即使 $O$ 不消失，也可以通过调整目标量子化 $E_\ell$ 和 $F_\ell$ 的选择（通过加上来自 $H^1$ 的元素），使得阻碍消失，从而允许态射的提升。

意义与主张
本文声称，通过 Harish-Chandra 挠子和平坦联络的视角，为扩展变形量子化的阻碍提供了完整的刻画，特别是在“阿贝尔”范围（$\ell \leq 2k+1$）内，阻碍是充分且必要的。对于更复杂的非阿贝尔范围，本文提供了一个通过阿贝尔化来识别必要条件的严谨框架。

作者强调，他们的方法通过 Harish-Chandra 挠子和平坦联络的视角统一了研究量子化阻碍的工作，提供了一种从相关的几何数据中恢复量子化丛的系统方法。这项工作将之前关于结构层量子化的结果推广到了向量丛的情形，并提供了一种谱序列方法来分析阻碍层的上同调。本文并未声称在一般情况下完全解决非阿贝尔存在性问题，而是分离出了必须消失的阿贝尔阻碍。