[论文解读] Quantum observables, Lie algebra homology and TQFT

Albert Schwarz|ArXiv.org|Apr 25, 1999

Homotopy and Cohomology in Algebraic Topology被引用 5

一句话总结

本文建立了李代数同调类与Batalin-Vilkovisky（BV）形式化中量子可观测量之间的对应关系，证明了对于由张量 $ c^{\alpha_1\dots\alpha_k} $ 表示的任意同调类，其收缩 $ c^{\alpha_1\dots\alpha_k}T_{\alpha_1}\dots T_{\alpha_k} $ 均生成一个量子可观测量。该构造被应用于BV σ-模型，并用于解释Kontsevich关于哈密顿向量场同调与流形拓扑不变量之间关系的结果。

ABSTRACT

Let us consider a Lie (super)algebra $G$ spanned by $T_α$ where $T_α$ are quantum observables in BV-formalism. It is proved that for every tensor $c^{α_1...α_k}$ that determines a homology class of the Lie algebra $G$ the expression $c^{α_1...α_k}T_{α_1}...T_{α_k}$ is again a quantum observables. This theorem is used to construct quantum observables in BV sigma-model. We apply this construction to explain Kontsevich's results about the relation between homology of the Lie algebra of Hamiltonian vector fields and topological invariants of manifolds.

研究动机与目标

• 建立李（超）代数同调类与BV形式化中量子可观测量之间的一般对应关系。
• 提供一种系统化方法，从李代数上同调数据构造量子可观测量。
• 将该构造应用于BV σ-模型，以在拓扑量子场论中生成物理可观测量。
• 利用该框架解释Kontsevich关于哈密顿向量场同调与流形拓扑不变量之间关系的结果。
• 阐明李代数同调在拓扑场论中量子可观测量代数结构中的作用。

提出的方法

• 考虑在BV形式化中由量子可观测量 $ T_\alpha $ 张成的李（超）代数 $ \mathfrak{G} $。
• 利用Chevalley-Eilenberg复形，识别表示 $ \mathfrak{G} $ 同调类的张量 $ c^{\alpha_1\dots\alpha_k} $。
• 构造算符 $ \mathcal{O} = c^{\alpha_1\dots\alpha_k} T_{\alpha_1} \dots T_{\alpha_k} $，其中 $ c^{\dots} $ 为同调类的代表。
• 通过证明 $ \mathcal{O} $ 与BV微分对易（模精确项），证明其为量子可观测量。
• 将该构造应用于流形上哈密顿向量场的李代数，以恢复拓扑不变量。
• 利用BV σ-模型框架，将构造出的可观测量实现为拓扑量子场论中的物理算符。

实验结果

研究问题

• RQ1 如何利用李代数同调类在BV形式化中生成量子可观测量？
• RQ2 对称收缩量子可观测量生成另一量子可观测量的代数条件是什么？
• RQ3 从同调类构造量子可观测量与流形的拓扑不变量之间有何关系？
• RQ4 Kontsevich关于哈密顿向量场同调与流形不变量之间联系的结果能否从一般BV框架中导出？
• RQ5 Chevalley-Eilenberg复形在表征拓扑场论中量子可观测量方面起什么作用？

主要发现

• 任何表示李代数 $ \mathfrak{G} $ 同调类的张量 $ c^{\alpha_1\dots\alpha_k} $ 均可通过 $ c^{\alpha_1\dots\alpha_k} T_{\alpha_1} \dots T_{\alpha_k} $ 生成一个量子可观测量。
• 所构造的可观测量在BV微分下不变（模精确项），确保其量子一致性。
• 该方法成功重现了Kontsevich关于哈密顿向量场李代数同调与流形拓扑不变量之间联系的结果。
• 该构造可在BV σ-模型中实现，为拓扑可观测量提供了物理实现。
• 该框架在李代数同调与拓扑场论中量子可观测量之间建立了直接的代数桥梁。
• 该结果证实，拓扑不变量可系统地从对称李代数的上同调数据中生成。