[论文解读] Ten lectures on jet manifolds in classical and quantum field theory

G. Sardanashvily|ArXiv.org|Mar 20, 2002

Black Holes and Theoretical Physics参考文献 42被引用 7

一句话总结

本文全面综述了经典与量子场论中喷射流形技术的应用，统一了有限阶与无限阶喷射形式与变分双复形及可 graded 流形。研究证明，短变分复形的上同调同调于 de Rham 上同调，且在 x-无关拉格朗日量的 BRST 模型中，上同调捕捉到常值形式，揭示了在 x-无关形式子复形中精确性的障碍。

ABSTRACT

These Lectures summarize the relevant material on existent applications of jet manifold techniques to classical and quantum field theory. The following topics are included: 1. Fibre bundles, 2. Jet manifolds, 3. Connections, 4. Lagrangian field theory, 5. Gauge theory of principal connections, 6. Higher order jets, 7. Infinite order jets, 8. The variational bicomplex, 9. Geometry of simple graded manifolds, 10. Jets of ghosts and antifields.

研究动机与目标

• 系统化喷射流形技术在经典与量子场论中的应用。
• 通过引入无限阶喷射流形与可 graded 流形，扩展现有形式体系，尤其适用于 BRST 量化。
• 阐明变分双复形的上同调结构及其与 de Rham 上同调的关系。
• 分析 BRST 理论中 x-无关可 graded 形式子复形的精确性失败问题，识别常值形式作为上同调障碍。

提出的方法

• 利用有限阶喷射流形，通过纤维丛截面的喷射延拓，形式化经典场论。
• 将无限阶喷射丛定义为有限阶喷射的逆极限，从而支持形式幂级数解的研究。
• 应用变分双复形，利用 $d_H$ 与 $ar{d}$ 将喷射空间上的微分形式分解为水平与垂直分量。
• 通过水平微分 $d_H$ 与 Koszul-Tate 微分 $ar{d}$ 构造短变分复形，其上同调同调于 de Rham 上同调。
• 通过在 $(X, ilde{rak{Q}}^0_ u ilde{rak{A}})$ 上引入可 graded 交换外形式，将形式体系扩展至可 graded 流形，以建模 BRST 理论中的反场与鬼场。
• 分析 x-无关形式的子复形，证明其上同调在度数 $k < n$ 时同调于 $X$ 上常值外形式空间，这是由于在某些度数上精确性不成立。

实验结果

研究问题

• RQ1 无限阶喷射丛与变分双复形如何为经典与量子场论提供严谨的框架？
• RQ2 短变分复形的上同调结构是什么？其与 de Rham 上同调有何关系？
• RQ3 在无限阶喷射空间上，可 graded 交换形式如何建模场-反场 BRST 形式体系？
• RQ4 在 BRST 理论中，x-无关形式的作用是什么？该子复形中会出现何种上同调障碍？
• RQ5 在何种条件下，x-无关可 graded 形式复形是精确的？这对物理可观测量有何影响？

主要发现

• 在 $J^ u Y$ 上，短变分复形的上同调通过 de Rham 复形的自然单射，同调于底流形 $X$ 的 de Rham 上同调。
• 在无限阶喷射空间上，任意非零的 $d_H$-闭可 graded 形式 $ heta$（度数 $m < n$）可分解为 $ heta = heta_{ ext{cl}} + d_H heta_{ ext{pot}}$，其中 $ heta_{ ext{cl}}$ 是 $X$ 上的闭外 $m$-形式。
• 在 $J^ u Y$ 上，任意 $ar{d}$-闭可 graded 形式 $ heta$（度数 $n$）可分解为 $ heta = heta_{ ext{cl}} + d_H heta_{ ext{pot}}$，其中 $ heta_{ ext{cl}}$ 是 $X$ 上的闭外 $n$-形式。
• 在 x-无关可 graded 形式子复形中，度数 $k < n$ 处的上同调同调于 $X$ 上常值外 $k$-形式空间 $S^k_X(X)$，表明由于这些障碍导致精确性不成立。
• x-无关形式复形不精确，其在度数 $k < n$ 处的障碍为常值 $k$-形式层 $S^k_X$，且在度数 $n$ 处的上同调同调于 $S^n_X(X)$。
• x-无关形式子复形存在一个短正合列，涉及 $ ext{Im}ar{d}$、$ ext{Ker}ar{d}$ 与 $S^k_X$，确认上同调非平凡且具有物理意义。