[论文解读] A Homotopy Theoretic Proof of the BV Identity in Loop Homology

Hirotaka Tamanoi|ArXiv.org|Jun 8, 2007

Advanced Topics in Algebra参考文献 3被引用 4

一句话总结

本文通过谱映射和转移同态显式描述了环路括号与BV算子，给出了环路同调中BV恒等式的同伦理论证明。它表明环路括号与BV导子源自自由环路空间中的同一循环，仅因环路参数化不同而异，并利用此关系通过参数化修正得到Δ(a·b)，从而推导出BV恒等式。

ABSTRACT

Chas and Sullivan proved the existence of a Batalin-Vilkovisky algebra structure in the homology of free loop spaces on closed finite dimensional smooth manifolds using chains and chain homotopies. This algebraic structure involves an associative product called the loop product, a Lie bracket called the loop bracket, and a square 0 operator called the BV operator. Cohen and Jones gave a homotopy theoretic description of the loop product in terms of spectra. In this paper, we give an explicit homotopy theoretic description of the loop bracket and, using this description, we give a homological proof of the BV identity connecting the loop product, the loop bracket, and the BV operator. The proof is based on an observation that the loop bracket and the BV derivation are given by the same cycle in the free loop space, except that they differ by parametrization of loops.

研究动机与目标

• 提供环路括号的同伦理论描述，此前该结构仅通过链复形定义。
• 以谱层次描述BV算子Δ，基于自由环路空间上的S¹作用。
• 通过e⁻¹(φ(M))中的同一循环，统一建立环路括号与BV导子的几何起源。
• 利用同伦理论的转移映射与参数化修正，证明BV恒等式。
• 通过统一环路乘积、括号与BV算子，完成环路同调的同伦理论框架。

提出的方法

• 使用评估映射e: S¹ × LM × LM → M × M，定义预像e⁻¹(φ(M))，其中环路共享基点。
• 定义两个映射ι₁, ι₂: e⁻¹(φ(M)) → LM，分别表示环路括号与BV导子，二者仅因环路重参数化而异。
• 通过法丛的Thom类应用转移映射jₚ!，在同调中定义环路乘积与括号。
• 利用恒等式ι₂ = Δ ∘ (π, ι₁)，通过S¹作用将BV导子与环路括号关联。
• 构建一个涉及(π, ι₁)与(h × 1)的同调图，以计算(π, ι₁)ₚ!([S¹] × a × b)的同调行为。
• 通过比较ι₁*与ι₂*作用于[S¹] × a × b的同调类，并引入参数化偏移修正，推导出BV恒等式。

实验结果

研究问题

• RQ1 如何利用谱与转移映射，以同伦理论术语描述环路同调中的环路括号？
• RQ2 BV算子Δ与环路括号在谱层次上的关系为何？其与环路参数化的关联如何？
• RQ3 是否能通过自由环路空间中仅因参数化不同而异的统一循环，证明BV恒等式？
• RQ4 在环路空间的背景下，同调类(Δa)·b + (-1)^(|a|-d)a·Δb与{a,b}之间存在何种几何关系？
• RQ5 LM上的S¹作用在同伦理论推导BV恒等式的过程中起到何种作用？

主要发现

• 环路括号与BV导子均由e⁻¹(φ(M))中的同一循环表示，仅因环路参数化不同而异。
• 同调类(π, ι₁)ₚ!([S¹] × a × b)可分解为[S¹] × (-1)^(d|a|)a·b + [0] × (-1)^(|a|+d(|a|-d)) {a,b}，从而将环路乘积与括号联系起来。
• 通过证明从ι₁到ι₂的参数化偏移可导出Δ(a·b)，完成BV恒等式的证明。
• 恒等式Δ(a·b) = (Δa)·b + (-1)^(|a|-d)a·Δb - (-1)^(|a|-d){a,b}成立，其依据为关系式ι₂ = Δ ∘ (π, ι₁)。
• 转移映射jₚ!通过M×M中φ(M)的法丛的Thom类构造，使谱层次计算成为可能。
• 同调计算中的符号约定通过交点理论与转移映射的符号规则严格推导得出。