[论文解读] On the AKSZ formulation of the Poisson sigma model

Alberto S. Cattaneo, Giovanni Felder|ArXiv.org|Feb 14, 2001

Nonlinear Waves and Solitons参考文献 9被引用 36

一句话总结

本文建立了AKSZ形式化与带边界的流形上泊松σ模型的巴蒂林-维利科夫斯基（BV）作用量之间的直接联系，表明先前通过微扰路径积分推导出的BV作用量自然源自AKSZ构造。它展示了经典作用量泛函及其规范固定后的微扰量子化——导致康特绍维奇的星积——可通过AKSZ方法重建，且在经典与量子层面均明确处理了边界条件与目标微分同胚不变性。

ABSTRACT

We review and extend the Alexandrov-Kontsevich-Schwarz-Zaboronsky construction of solutions of the Batalin-Vilkovisky classical master equation. In particular, we study the case of sigma models on manifolds with boundary. We show that a special case of this construction yields the Batalin-Vilkovisky action functional of the Poisson sigma model on a disk. As we have shown in a previous paper, the perturbative quantization of this model is related to Kontsevich's deformation quantization of Poisson manifolds and to his formality theorem. We also discuss the action of diffeomorphisms of the target manifolds.

研究动机与目标

• 将AKSZ构造扩展至带边界的流形，特别是针对拓扑σ模型。
• 证明先前通过微扰路径积分推导出的在圆盘上泊松σ模型的BV作用量泛函，自然源自AKSZ形式化。
• 阐明AKSZ框架中边界条件的作用及其对最终BV作用量的影响。
• 分析模型在经典与量子层面下对目标微分同胚的不变性，解决与康特绍维奇公式之间的明显矛盾。

提出的方法

• 利用超流形 $Π T\Sigma$ 及其积分测度 $μ$ 构造BV主方程的AKSZ解。
• 在目标空间 $Π T^*M$ 上赋予一个奇辛结构，并关联一个与泊松二阶张量相关的奇哈密顿向量场 $Q$。
• 在映射空间 $\Pi T\Sigma \to \Pi T^*M$ 上定义总奇向量场 $\hat{D} + \check{Q}$，其哈密顿量即为BV作用量。
• 在 $\partial\Sigma$ 上施加边界条件 $\eta^+_{n'}=0$, $\beta^+_{n't}=0$ 作为第一类约束，进而实施哈密顿约化。
• 应用AKSZ方法，推导出在满足这些边界条件的圆盘上泊松σ模型的BV作用量泛函。
• 通过将微分同胚在 $\Pi T^*M$ 上的典范提升来分析其作用，并证明BV作用量在这些变换下保持不变。

实验结果

研究问题

• RQ1 AKSZ形式化能否被扩展至带边界的流形，以描述泊松σ模型？
• RQ2 AKSZ框架中的边界条件如何再现先前工作中推导出的泊松σ模型BV作用量泛函？
• RQ3 目标泊松流形的微分同胚在AKSZ构造中起什么作用？其不变性在量子层面如何保持？
• RQ4 为何康特绍维奇的星积看似在微分同胚下被破坏，而这一现象如何与路径积分中的经典不变性相协调？

主要发现

• 在边界条件为平凡的圆盘上，泊松σ模型的BV作用量泛函 $\eta^+_{n'}=0$, $\beta^+_{n't}=0$ 可通过 $\Pi T\Sigma \to \Pi T^*M$ 上的AKSZ构造重现。
• AKSZ方法通过在测度 $\mu$ 下对 $\Pi T^*M$ 上的辛形式进行积分，得到正确的BV作用量，该作用量满足经典主方程。
• 边界条件为第一类约束，经哈密顿约化后得到正确的作用量，与先前微扰量子化方法导出的BV作用量一致。
• 该模型在经典层面下对目标微分同胚保持不变，表现为BV作用量在微分同胚的典范提升下满足 $\check{\Phi}^* \mathsf{S}_{\phi_*\alpha} = \mathsf{S}_\alpha$。
• 在量子层面，若相应哈密顿量属于BV拉普拉斯算子的核，则无穷小微分同胚保持路径积分测度不变，这在合理正则化下对相关函数成立。
• 康特绍维奇公式中微分同胚不变性的表观破缺被归因于路径积分中的边界插入项，且变形作用量由边界项 $S^C_\xi$ 的期望值所控制，与 $L^\infty$-同态一致。