[论文解读] Deformation quantization of a Kaehler-Poisson structure vanishing on a Levi nondegenerate hypersurface

Alexander Karabegov|ArXiv.org|Aug 2, 2006

Advanced Topics in Algebra参考文献 10被引用 3

一句话总结

本文为复流形上具有凯勒-泊松结构的形变量子化提供了初等证明，该结构在勒维非退化超曲面上消失，而在其他地方非退化。通过在提升空间上构造形式形变的星积并将其投影回去，作者将标准星积从超曲面的补集扩展到整个流形，保持变量分离并确保在奇点处的光滑性。

ABSTRACT

We give an elementary proof of the result by Leichtnam, Tang, and Weinstein that there exists a deformation quantization with separation of variables on a complex manifold endowed with a Kaehler-Poisson structure vanishing on a Levi nondegenerate hypersurface and nondegenerate on its complement.

研究动机与目标

• 为在勒维非退化超曲面上泊松结构消失、而在其他地方非退化的凯勒-泊松流形上，提供形变量子化与变量分离存在的初等、自包含证明。
• 将超曲面非退化补集上的标准变量分离星积扩展到整个流形，确保在奇点处的光滑性与一致性。
• 证明此类量子化可不依赖于如勒赫特南、唐与韦恩斯坦先前工作中使用的高级工具（如拟凯勒李代数丛）来构造。
• 建立一个全局构造，尊重星积的局部性质，并允许在群作用下不变，如在复射影空间 $\mathbb{C}P^n$ 的例子中所示。

提出的方法

• 利用超曲面 $S$ 的定义函数 $\psi$，将流形局部提升至乘积空间 $\tilde{U} = U \times \mathbb{C}^\times$，引入新坐标 $u$。
• 从 $\psi$ 的二阶导数构造一个赫米特矩阵 $\Gamma$，并假设其可逆，以在 $\tilde{U}$ 上构造一个拟凯勒结构。
• 在形式洛朗级数空间 $\mathcal{F}(\tilde{U})$ 上引入一个形式星积 $*$，使用提升空间上的标准变量分离形变量子化。
• 定义 $\frac{h}{u\bar{u}}$ 的非负幂次子代数 $\mathcal{F}_{\geq 0}(\tilde{U})$，并通过 $\sigma(\sum_r (\frac{h}{u\bar{u}})^r f_r) = \sum_r N_r(\nu) \psi^r f_r$ 构造一个到 $C^\infty(U)[[\nu]]$ 的投影 $\sigma$，其中 $N_r(\nu)$ 为归一化因子。
• 证明星积 $*$ 通过 $\sigma$ 的拉回在 $U$ 上定义了一个新的星积 $\star$，其在 $U \setminus S$ 上与原始标准星积一致，并在 $S$ 上光滑延拓。
• 通过要求局部定义函数 $\psi$ 满足 $\log|\psi|$ 是 $M \setminus S$ 上的拟凯勒形式 $\omega$ 的势函数，实现构造的全局化，确保重叠图册之间的相容性。

实验结果

研究问题

• RQ1 能否在凯勒-泊松流形上构造形变量子化与变量分离，使得泊松结构在勒维非退化超曲面上消失，而在其他地方非退化？
• RQ2 在非退化补集上标准的变量分离星积是否能光滑地延拓到整个流形，同时保持变量分离性质？
• RQ3 该延拓能否在不使用如拟凯勒李代数丛等高级几何工具的情况下实现，如先前工作中所用？
• RQ4 是否存在一种规范方式，将星积从基流形提升到更高维空间，使得泊松结构变为非退化，从而实现构造性延拓？
• RQ5 此类量子化是否能全局定义，并在群作用下不变，如 $\mathbb{C}P^n$ 在 $SU(n,1)$ 对称性下的情形？

主要发现

• 在伪凯勒流形 $M \setminus S$ 上的标准形变量子化与变量分离，可延拓为在完整凯勒-泊松流形 $M$ 上的良定义形变量子化与变量分离，即使泊松结构在勒维非退化超曲面 $S$ 上消失。
• 该延拓通过从提升空间 $\tilde{U} = U \times \mathbb{C}^\times$ 上的形式星积出发，经投影 $\sigma$ 实现，确保在 $U$ 上得到的星积 $\star$ 光滑且在 $U \setminus S$ 上与原始星积一致。
• 星积展开中双微分算子 $C_r(f,g)$ 满足 $f \star g - fg = 0$ 在 $S$ 上成立，确认星积在奇点处一阶消失，符合要求。
• 该构造为局部构造，且在重叠图册间相容，只要 $\log|\psi|$ 是 $M \setminus S$ 上拟凯勒形式 $\omega$ 的局部势函数，即可实现全局延拓。
• 该方法为 [LTW] 中使用的拟凯勒李代数丛方法提供了一种初等替代，仅依赖形式幂级数与坐标提升技术。
• 在 $\mathbb{C}P^n$ 与单位球面 $S$ 的例子中，该构造给出了一个全局的 $SU(n,1)$-不变星积，其在 $\mathbb{C}^n \setminus S$ 上与标准变量分离星积一致，展示了该方法在对称情形下的有效性。