[論文レビュー] 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作用素は、自由ループ空間内の同一のサイクルから生じており、パラメータ化の違いを除いて同一である。この性質を用いて、パラメータ化補正によりΔ(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.

研究の動機と目的

• チェーンによる定義がなされたループ括弧のホモトピー論的記述を提供すること。
• 自由ループ空間上のS¹作用を用いて、BV作用素Δのスペクトルレベルでの記述を示すこと。
• e⁻¹(φ(M))内の同一のサイクルからループ括弧とBV導来作用が統一的に起源を持つことを確立すること。
• ホモトピー論的転送写像とパラメータ化補正を用いてBV恒等式を証明すること。
• ループ積、括弧、BV作用素を統合するホモトピー論的枠組みを完成させること。

提案手法

• ループが基点を共有するための前像e⁻¹(φ(M))を定義するため、評価写像e: S¹ × LM × LM → M × M を用いる。
• ループ括弧とBV導来作用をそれぞれ表す2つの写像ι₁, ι₂: e⁻¹(φ(M)) → LM を定義する。これらはループの再パラメータ化の違いを除いて同一である。
• 正規バンドルのドーナツ類を用いた転送写像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)の正規バンドルのドーナツ類を用いて構成され、スペクトルレベルでの計算を可能にする。
• ホモロジー計算における符号の規則は、交差理論と転送写像からの符号則を厳密に導出している。