[论文解读] An explicit formula for a star product with separation of variables

Alexander Karabegov|arXiv (Cornell University)|Jun 21, 2011

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

一句话总结

本文提出了一类伪凯勒流形上标准分离变量星积中左星乘法算子 $ L_f $ 的总符号的显式闭式公式。通过在余切丛上采用改进的微分算子框架，公式 $ F = e^D (1 - \Gamma_1^{-1}Q)^{-1}f $ 实现了从 $ L_f $ 的符号直接计算星积 $ f \ast g $，为具有分离变量的形变量子化提供了构造性解法。

ABSTRACT

For a star product with separation of variables * on a pseudo-Kaehler manifold we give a simple closed formula of the total symbol of the left star multiplication operator L_f by a given function f. The formula for the star product f * g can be immediately recovered from the total symbol of L_f.

研究动机与目标

• 推导伪凯勒流形上标准分离变量星积中左星乘法算子 $ L_f $ 的总符号的闭式表达式。
• 提供一种直接从 $ L_f $ 的总符号重构星积 $ f \ast g $ 的方法。
• 通过修改算子 $ \Gamma_r $、$ D $ 和 $ Q $，将公式推广至伪凯勒形式 $ \omega_{-1} $ 的任意形式形变。
• 在符号空间上的滤子拓扑下，建立总符号的收敛级数表示。

提出的方法

• 该方法在伪凯勒流形上的坐标图 $ U $ 的余切丛 $ T^*U $ 上采用形式微分算子框架。
• 引入算子 $ D = G^{\bar{l}k} \zeta_k \frac{\partial}{\partial \bar{z}^l} $，其由形变凯勒形式的正式势 $ \Phi $ 导出。
• 算子 $ \Gamma_r = G_{k_1\ldots k_r \bar{l}} G^{\bar{l}k} \zeta_k \frac{\partial^r}{\partial \zeta_{k_1} \ldots \partial \zeta_{k_r}} $ 编码星积的形变结构。
• 关键组成部分是算子 $ Q = -e^{-D} \left( \sum_{r=2}^\infty \frac{1}{r!} \Gamma_r \right) e^D $，其将符号映射至更高滤子层级。
• 通过恒等式 $ F = e^D (1 - \Gamma_1^{-1}Q)^{-1}f $ 推导出解，其中 $ F $ 为 $ L_f $ 的总符号，且逆算子为收敛的诺伊曼级数。
• 通过使用形变形式 $ \omega $ 的正式势 $ \Phi $ 重新定义 $ \Gamma_r $ 和 $ D $，将公式推广至非平凡的 $ \omega_{-1} $ 形变。

实验结果

研究问题

• RQ1 能否为标准分离变量星积中左星乘法算子 $ L_f $ 的总符号推导出闭式表达式？
• RQ2 如何直接从 $ L_f $ 的总符号重构星积 $ f \ast g $？
• RQ3 为将公式推广至伪凯勒形式的任意形式形变，对微分算子 $ \Gamma_r $、$ D $ 和 $ Q $ 需作何种修改？
• RQ4 总符号的级数表达式在符号空间的滤子拓扑下是否收敛？

主要发现

• 左星乘法算子 $ L_f $ 的总符号 $ F $ 显式给出为 $ F = e^D (1 - \Gamma_1^{-1}Q)^{-1}f $，提供了一个闭式解。
• 该公式适用于对应于平凡形变 $ \omega = \frac{1}{\nu}\omega_{-1} $ 的标准分离变量星积。
• 逆算子 $ (1 - \Gamma_1^{-1}Q)^{-1} $ 存在，且由收敛的诺伊曼级数表示，确保在滤子拓扑下的收敛性。
• 该方法允许通过计算 $ f \ast g = L_f g $ 从总符号 $ F $ 直接重构星积 $ f \ast g $。
• 通过使用 $ \omega $ 的正式势 $ \Phi $ 重新定义 $ \Gamma_r $ 和 $ D $，该公式可推广至 $ \omega_{-1} $ 的任意形式形变。
• 由此得到的 $ F $ 的表达式在符号空间的滤子拓扑下仍为收敛级数。