[論文レビュー] Loop coproducts in string topology and triviality of higher genus TQFT operations

Hirotaka Tamanoi|ArXiv.org|Jun 8, 2007

Logic, programming, and type systems参考文献 5被引用数 3

ひとこと要約

本稿は、可縮ループのホモロジーの次数外でループコプロダクトが自明であることによる、 genus 1 以上の向き付け可能曲面に関連するすべてのストリングトポロジー作用が恒等的に消えることを確立している。ループコプロダクトは、可縮ループの成分でのみ非自明であり、定数ループクラスへの写像に限られ、その値は多様体のオイラー特性数に比例する。これにより、高 genus の TQFT 作用が消えることが導かれる。

ABSTRACT

Cohen and Godin constructed positive boundary topological quantum field theory (TQFT) structure on the homology of free loop spaces of oriented closed smooth manifolds by associating a certain operations called string operations to orientable surfaces with parametrized boundaries. We show that all TQFT string operations associated to surfaces of genus at least one vanish identically. This is a simple consequence of properties of the loop coproduct which will be discussed in detail. One interesting property is that the loop coproduct is nontrivial only on the degree $d$ homology group of the connected component of $LM$ consisting of contractible loops, where $d=\dim M$, with values in the degree 0 homology group of constant loops. Thus the loop coproduct behaves in a dramatically simpler way than the loop product.

研究の動機と目的

• ストリングトポロジーにおけるループコプロダクトの構造と挙動を理解すること。
• ループコプロダクトが高 genus のトポロジカル量子場理論 (TQFT) ストリング作用に与える影響を調査すること。
• ストリング作用が genus g ≥ 1 の曲面に関連して消える条件を特定すること。
• オイラー特性数がこれらの作用の消滅に果たす役割を明確にすること。
• ループコプロダクトの正確な定義域と像を同定すること。

提案手法

• 自由ループ空間のホモロジー類への作用を通じてループコプロダクトを分析し、特に可縮ループの成分に注目する。
• Frobenius の整合性およびキャップ積のコデリバティブ性質を用いて、ループコプロダクトの構造的制約を導出する。
• パンツ分解を用いて、ホモトピー論的定義のループ積をコプロダクトへ拡張する。
• 重要な式は Ψ(a₁⋯aₚ) = χ(M)[c₀]a₁⋯aₗ ⊗ [c₀]aₗ₊₁⋯aₚ であり、これはオイラー特性数と定数ループクラスを用いてループコプロダクトを定義する。
• χ(M)[c₀]·x = 0 (x が次数 0 でないとき) を示すことにより、消滅結果を導出する。特に χ(M) = 0 あるいは torsion-free の設定において有効である。
• 定数ループ上での S¹ 行動の自明性と、Δ([c₀]) = 0 である事実を用いて証明を進める。

実験結果

リサーチクエスチョン

• RQ1 ループコプロダクトは、可縮ループ成分以外の自由ループ空間のすべての成分で消えるか？
• RQ2 g ≥ 1 の genus-g 表面に関連するストリング作用が、どのような条件下で消えるか？
• RQ3 オイラー特性数 χ(M) はループコプロダクトの挙動にどのように影響を与えるか？
• RQ4 ループコプロダクトは非自明に BV 演算子およびキャップ積と整合するか？
• RQ5 Δ と Ψ を含む図式における可換性の失敗は何か？そしてそれは消えるか？

主な発見

• genus g ≥ 1 または出力境界が q ≥ 3 個ある曲面に関連するすべてのストリング作用は恒等的に消える。
• ループコプロダクト Ψ は、可縮ループ成分のホモロジー H_d((LM)_[1]) のみで非自明である。
• Ψ の像は完全に H₀((LM)_[1]) ⊗ H₀((LM)_[1]) ≅ ℤ[c₀] ⊗ [c₀] に含まれ、これは定数ループのホモロジーである。
• 奇数次元多様体など、オイラー特性数が 0 である多様体では、ループコプロダクトは恒等的に 0 である。
• すべての a ∈ H_*(LM) に対して (Δ×1 + 1×Δ)Ψ(a) = 0 が成り立つ。これは、コプロダクトが BV 演算子と自明に整合することを示す。
• a ∈ H_*(M) のとき、ループ括弧 {a,b} のループコプロダクトは消える：Ψ({a,b}) = 0。