[论文解读] Local BRST cohomology for AKSZ field theories: a global approach I

Giulio Bonavolontà, Alexei Kotov|arXiv (Cornell University)|Oct 1, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 3被引用 3

一句话总结

本文通过证明局部 BRST上同调的上同调群与基流形的德拉姆上同调及目标空间的 $Q$-上同调的张量积同构，建立了 AKSZ 拓扑场论中局部 BRST 上同调的全局公式。该结果通过全局水平复形与兼容性复形的正式可积性，将先前针对收缩基流形的局部计算推广至任意连通基流形。

ABSTRACT

We study the Lagrangian antifield BRST formalism, formulated in terms of exterior horizontal forms on the infinite order jet space of graded fields for topological field theories associated to $Q$-bundles. In the case of a trivial Q-bundle with a flat fiber and arbitrary base, we prove that the BRST cohomology are isomorphic to the cohomology of the target space differential "twisted" by the de Rham cohomology of the base manifold. This generalizes the local result of G. Barnich and M. Grigoriev, computed for a flat base manifold.

研究动机与目标

• 将 AKSZ 场论的局部 BRST 上同调计算推广至任意连通基流形上的全局设定。
• 利用无穷阶喷层空间上格子场的外水平形式，形式化 BRST 公式。
• 证明局部 BRST 上同调群同构于基流形的德拉姆上同调与目标空间的扭曲上同调。
• 将先前依赖于基流形收缩性的结果推广至更一般的几何设定。

提出的方法

• 本研究采用喷层空间的形式化方法，并利用格子场丛无穷阶喷层延拓上的微分形式水平复形。
• 利用由 BRST 微分 $\mathbf{s}$ 与水平微分 $\mathrm{d}_h$ 定义的双复形结构，聚焦于相关谱序列的 $E_2$-项。
• 关键技术工具是与 $L$-扭曲德拉姆算子及目标空间上的 $Q$-结构相关的兼容性复形的正式可积性。
• 证明过程分为两步：首先，证明 $H^{g,n}(\mathbf{s}|\mathrm{d}_h)$ 同构于总上同调 $H^{g+n}(\mathbf{s} + \mathrm{d}_h)$；其次，通过凯伦斯型分解计算该总上同调。
• 作者使用 $\mathcal{D}$-模与 $\mathcal{D}$-代数来描述喷层空间与水平形式的层论结构。
• 一个关键步骤是利用滤子的正则性与双复形中某些序列的正合性，证明谱序列在 $E_2$ 处退化。

实验结果

研究问题

• RQ1 当基流形不收缩但仅连通时，AKSZ 场论的局部 BRST 上同调行为如何？
• RQ2 BRST 上同调的全局结构如何通过基流形与目标流形的几何不变量来刻画？
• RQ3 能否利用全局微分几何框架，将巴尼奇与格里戈里耶夫的局部结果推广至非收缩基流形？
• RQ4 在 $Q$-丛的背景下，BRST 上同调与德拉姆上同调及 $Q$-上同调之间的确切关系为何？
• RQ5 喷层空间上的水平复形结构如何编码 AKSZ 理论中的物理可观测量与对称性？

主要发现

• 局部 BRST 上同调 $H^{g,n}(\mathbf{s}|\mathrm{d}_h)$ 同构于张量积 $H^\bullet_{\mathrm{DR}}(X) \otimes H^\bullet_Q(L)$ 的第 $g+n$ 个分次部分，其中 $X$ 为基流形，$L$ 为 $Q$-丛的目标空间。
• 该同构对任意连通基流形 $X$ 成立，推广了先前要求 $X$ 为收缩流形的结果。
• 证明依赖于表明迭代上同调 $H^{g,n}(\mathbf{s}|\mathrm{d}_h)$ 同构于总上同调 $H^{g+n}(\mathbf{s} + \mathrm{d}_h)$，后者通过凯伦斯型公式计算得出。
• 与双复形相关的谱序列在 $E_2$ 处退化，意味着 $E_2^{p,q} = H^p(H^q(\mathbf{s}+\mathrm{d}_h))$ 完全捕捉了上同调信息。
• 该结果通过由 $L$-扭曲德拉姆算子与目标空间上的 $Q$-结构构建的兼容性复形的正式可积性建立。
• 一个关键的技术引理表明，某类 $\mathcal{D}$-模复形的上同调在负度上为零，且同构于平坦丛对偶空间中的对称张量空间，从而确认了谱序列中高阶上同调的消失。