[论文解读] 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

一句话总结

本文证明了所有与亏格至少为一的定向曲面相关的弦拓扑运算恒为零，原因在于可缩圈的度数-d同调之外，环路上积是平凡的。环路上积仅在可缩圈分量上非平凡，且其像仅由常值圈类构成，其值被流形的欧拉示性数缩放，从而导致高亏格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.

研究动机与目标

• 理解弦拓扑中环路上积的结构与行为。
• 研究环路上积对高亏格拓扑量子场论（TQFT）弦运算的影响。
• 确定与亏格 g ≥ 1 的曲面相关的弦运算在何种条件下消失。
• 阐明欧拉示性数在这些运算消失中的作用。
• 明确环路上积在同调中的精确定义域与像域。

提出的方法

• 通过分析自由圈空间同调类上环路上积的作用，特别是聚焦于可缩圈分量。
• 论文利用Cap积的Frobenius相容性与余导子性质，推导出环路上积的结构约束。
• 应用环路积的同伦理论定义，并通过短裤分解将其推广至上积。
• 关键方程为 Ψ(a₁⋯aₚ) = χ(M)[c₀]a₁⋯aₗ ⊗ [c₀]aₗ₊₁⋯aₚ，该式以欧拉示性数和常值圈类定义了环路上积。
• 通过证明当 x 不在度数 0 时，χ(M)[c₀]·x = 0，特别是当 χ(M) = 0 或在无挠设定下，推导出消失结果。
• 证明利用了常值圈上 S¹ 作用的平凡性，以及 Δ([c₀]) = 0 的事实。

实验结果

研究问题

• RQ1 环路上积是否在自由圈空间的所有分量上都为零，除了可缩圈分量？
• RQ2 在何种条件下，与亏格 g ≥ 1 的曲面相关的弦运算会消失？
• RQ3 欧拉示性数 χ(M) 如何影响环路上积的行为？
• RQ4 环路上积是否以非平凡方式与BV算子及Cap积相容？
• RQ5 涉及 Δ 和 Ψ 的图中非交换性的失败是什么？它是否消失？

主要发现

• 所有与亏格 g ≥ 1 的曲面或具有 q ≥ 3 个输出边界相关的弦运算恒为零。
• 环路上积 Ψ 仅在 H_d((LM)_[1]) 上非平凡，即可缩圈分量的度数-d同调。
• Ψ 的像完全位于 H₀((LM)_[1]) ⊗ H₀((LM)_[1]) ≅ ℤ[c₀] ⊗ [c₀]，即常值圈的同调。
• 对于欧拉示性数为零的流形（如奇维流形），环路上积恒为零。
• 对所有 a ∈ H_*(LM)，恒等式 (Δ×1 + 1×Δ)Ψ(a) = 0 成立，表明上积与BV算子相容性为平凡。
• 当 a ∈ H_*(M) 时，环路括号 {a,b} 的环路上积消失：Ψ({a,b}) = 0。