[论文解读] BRST model applied to symplectic geometry

Jaap Kalkman|ArXiv.org|Aug 27, 1993

Matrix Theory and Algorithms被引用 25

一句话总结

本文为上同调场论建立了BRST模型，表明在具有哈密顿群作用的有限维辛流形上，BRST代数同余于等变上同调的Cartan模型。关键贡献在于推导出具有边界的流形上等变形式的局部化公式，从而能够显式计算辛商的上同调环，包括圆作用下复射影空间的上同调环。

ABSTRACT

Two local macros are included (gothic.sty and fleqn.sty)

研究动机与目标

• 建立一个基于BRST形式的有限维数学模型，用于上同调场论。
• 通过Cartan模型建立BRST上同调与等变上同调之间的对应关系。
• 推导在哈密顿群作用下具有边界的流形上等变微分形式的局部化公式。
• 计算辛商的上同调环，特别是圆作用下CP^n的上同调环。
• 证明BRST代数源自半直积G ⋉ Diff(M)的李代数上同调，且通过双胞胎反粒子完成复形结构。

提出的方法

• 形式化构造BRST微分 d_W ⊗ 1 + 1 ⊗ d + ω^a ⊗ ℒ_ a − φ^b ⊗ ι_b 于 W(g) ⊗ Ω(M) 上，将其与Weil模型和Cartan模型联系起来。
• 将傅里叶变换推广至向量空间上的微分形式，以分析路径积分与关联函数。
• 识别出BRST代数源自G ⋉ Diff(M)的李代数上同调，双胞胎反粒子完成复形结构。
• 将Weil模型与Cartan模型视为同一上同调的不同基依赖实现，仅在李代数基的选择上有所不同。
• 将形式化应用于具有哈密顿群作用的辛流形，特别是圆作用。
• 通过双线性型与映射ε_l的核分析，推导出具有边界的流形上等变形式的不动点公式。

实验结果

研究问题

• RQ1 在有限维流形上，上同调场论的BRST上同调如何与等变上同调的Cartan模型相关联？
• RQ2 双胞胎反粒子在将BRST代数实现为李代数上同调复形中起什么作用？
• RQ3 能否在具有边界的流形上推导出等变形式的局部化公式？其与辛商上同调的关系如何？
• RQ4 CP^n在圆作用下辛商的上同调环结构为何？
• RQ5 非孤立不动点集如何影响局部化公式与上同调计算？

主要发现

• 在具有群G作用的有限维流形M上，BRST代数同余于等变上同调的Cartan模型。
• 当 l < k 时，辛商X的贝蒂数 b_l(X) 等于 l+1；当 k ≤ l ≤ n−k 时，b_l(X) = k。
• 当 l > n−k 时，由于庞加莱对偶性，贝蒂数随l每增加1而减小1。
• CP^n在圆作用下辛商的上同调环由两个多项式生成：p_k = ∏_j(τ − μ_jφ)（次数为k）和 q_{n−k+1} = ∏_j(τ + ν_jφ)（次数为n−k+1）。
• 上同调环中的关系理想I由p_k与q_{n−k+1}生成，二者无公因式，且在次数大于n+1时生成所有关系。
• 局部化公式可推广至非孤立不动点集，此时双线性型中出现来自不动点子流形上同调类的三角块。