[论文解读] Poisson bracket, deformed bracket and gauge group actions in Kontsevich deformation quantization

Dominique Manchon|ArXiv.org|Mar 1, 2000

Advanced Topics in Algebra参考文献 1被引用 8

一句话总结

本文通过分析形式性准同构的二阶导数，精确建立了科茨涅维奇形变量子化中泊松括号与形变星积之间的关系。研究发现，泊松结构的规范变换通过将规范群嵌入形式性星积空间上的形式微分同胚群，对形式性星积施加非平凡作用，揭示了几何、同调代数与形变量子化之间的非平凡相互作用。

ABSTRACT

We express the difference between Poisson bracket and deformed bracket for Kontsevich deformation quantization on any Poisson manifold by means of second derivative of the formality quasi-isomorphism. The counterpart on star products of the action of formal diffeomorphisms on Poisson formal bivector fields is also investigated.

研究动机与目标

• 阐明科茨涅维奇形式体系中泊松括号如何通过几何与代数机制形变为星积括号。
• 分析形式性准同构的二阶导数及其在联系切映射与形变括号中的作用。
• 研究形式微分同胚如何作用于泊松二阶张量场，以及该作用如何提升至星积空间。
• 构建形式微分同胚群到形式性星积空间上形式微分同胚群的非平凡嵌入。
• 证明星积上的诱导作用并非源自底流形上微分同胚的拉回，凸显形式性映射的非线性特性。

提出的方法

• 本文使用多向量场的微分格李代数与多微分算子的微分格李代数之间的 $L_∞$-准同构理论。
• 分析形式性准同构在点 $\hbar\gamma$ 处的二阶导数，通过关键公式将之与切映射 $\Phi$ 和二阶导数 $\Psi$ 关联，从而关联泊松括号与形变括号的差异。
• 引入余自由余交换分次余代数中超级群状元素的概念，以描述形式微分同胚及其作用的结构。
• 在多向量与多微分设定中，分别构造了马乌雷-卡特兰元素模空间上的向量场 $\mathcal{V}_Y^1$ 与 $\mathcal{V}_Y^2$。
• 证明形式性映射 $\mathcal{U}$ 与这些向量场的作用相容，即满足 $\mathcal{U} \circ \mathcal{V}_Y^1 = \mathcal{V}_Y^2 \circ \mathcal{U}$。
• 构造嵌入 $\iota: G_1 \to \mathcal{G}$，其中 $G_1$ 为流形 $M$ 上的形式微分同胚的规范群，$\mathcal{G}$ 为形式性星积空间上形式微分同胚群，使得 $*_{g.\gamma} = \iota(g).{*}_\gamma$。

实验结果

研究问题

• RQ1 形式性准同构的二阶导数如何将泊松括号与形变星积括号联系起来？
• RQ2 在形变量子化背景下，形式微分同胚对泊松二阶张量场的精确作用是什么？
• RQ3 规范群对泊松结构的作用能否提升至形式性星积空间上的作用？若能，如何实现？
• RQ4 为何形式性星积空间上的诱导作用是非平凡的，且不包含于第二规范群 $G_2$ 中？
• RQ5 星积空间上诱导向量场的代数结构是什么？它们与流形上原始向量场有何关联？

主要发现

• 泊松括号与形变括号之间的差异通过形式性准同构的二阶导数表达：$\Psi(H_f, H_g) = \frac{1}{\hbar}\left( \Phi(\{f,g\}) - \frac{\Phi(f)*\Phi(g) - \Phi(g)*\Phi(f)}{\hbar} \right)$。
• 切映射 $\Phi = \mathcal{U}'_{\hbar\gamma}$ 满足关系 $[\mathcal{U}'_{\hbar\gamma}(Y), *_{\gamma}] = \hbar \mathcal{U}'_{\hbar\gamma}([Y, \gamma])$，对任意向量场 $Y$ 成立。
• 形式性映射 $\mathcal{U}$ 与向量场 $\mathcal{V}_Y^1$ 和 $\mathcal{V}_Y^2$ 相容，满足 $\mathcal{U} \circ \mathcal{V}_Y^1 = \mathcal{V}_Y^2 \circ \mathcal{U}$，从而确保诱导作用的一致性。
• 流形 $M$ 上的形式微分同胚的规范群 $G_1$ 通过 $\iota(g) = e^{\mathcal{V}_Y^2}$ 非平凡地嵌入至形式性星积空间上形式微分同胚群 $\mathcal{G}$ 中。
• 星积上的诱导作用满足 $*_{g.\gamma} = \iota(g).{*}_\gamma$，表明与 $g.\gamma$ 关联的星积是 $*_{\gamma}$ 在形式微分同胚 $\iota(g)$ 下的像。
• 该嵌入 $\iota$ 是非平凡的，因为向量场 $\mathcal{V}_Y^2$ 是非线性的，且不包含于第二规范群 $G_2$ 中，尽管 $G_1 \subset G_2$。