[论文解读] On the homology of open-closed string field theory

Eric Harrelson|arXiv (Cornell University)|Dec 13, 2004

Black Holes and Theoretical Physics参考文献 4被引用 6

一句话总结

本文计算了描述亏格 0 开-闭弦场论的二色双操作数的同调，引入了一个开-闭版本的Cacti操作数——OC Cacti，该操作数作用于流形中自由环路空间与路径空间的同调。关键贡献在于构造了 $ H_*(OC\text{Cacti}) $ 在 $ (H_*(LM), H_*(PM_K)) $ 上的几何作用，通过庞特里亚金-托姆构造与对应图，建立了与开-闭弦拓扑相容的同调代数结构。

ABSTRACT

The homology of a 2-colored dioperad of decorated Riemann surfaces, relevant to open-closed string field theory, is computed. The structure it describes is realized in an open-closed setting of string topology via an action at the level of topological spaces.

研究动机与目标

• 完整描述开-闭弦场论 PROP 中最大亏格 0 结构的同调，特别是带装饰的黎曼曲面的二色双操作数。
• 通过定义 OC Cacti（亏格 0 双操作数的同伦等价模型），将伏罗诺夫的瑞士奶酪与 Cacti 操作数推广至开-闭设置。
• 构建 $ H_*(OC\text{Cacti}) $ 在配对 $ (H_*(LM), H_*(PM_K)) $ 上的几何作用，实现在同调中开-闭弦拓扑的代数结构。
• 通过将黑色区间与圆周标记为子流形 $ K_\nu $，将构造推广至多个 D-膜的情形，从而得到一个着色操作数结构。

提出的方法

• 本文从带边界的亏格 0 黎曼曲面出发，通过单位圆盘与上半圆盘的双全纯映射参数化，构造了二色双操作数 $ OC(n,m) $，其上带有开与闭的穿孔。
• 通过分析闭穿孔与边界分量上开穿孔的循环分组，利用穿孔的标记方法，计算了 0 阶同调 $ H_0(OC) $ 的路径连通分支。
• 利用双操作数的极小模型，通过拓扑缝合操作导出的生成元与关系，描述了同调 $ H_*(C) $ 与 $ H_*(OC) $。
• 通过对应图定义了几何作用：对 OC Cacti 中的每个图，构建其在映射空间之间的对应关系，庞特里亚金-托姆构造由此诱导出同调中的上拉映射。
• 通过验证庞特里亚金-托姆构造在拉回图上的自然性与函子性，证明了该作用与复合运算可交换。
• 通过为黑色区间与圆周分配来自集合 $ \Lambda $ 的标签，将构造推广至多个 D-膜的情形，得到一个着色操作数，其中开输入与输出必须在 D-膜标签上匹配。

实验结果

研究问题

• RQ1 用于描述亏格 0 开-闭弦场论的二色双操作数的完整同调结构是什么？
• RQ2 如何将 Cacti 操作数推广至开-闭设置，以在环路空间与路径空间上实现弦拓扑作用？
• RQ3 开-闭双操作数的同调如何作用于配对 $ (H_*(LM), H_*(PM_K)) $，其背后的几何机制是什么？
• RQ4 空边界分量（无开穿孔）在同调结构中的作用是什么，其贡献如何在作用中编码？
• RQ5 能否通过将组件标记为子流形 $ K_\lambda $，将构造推广至多个 D-膜？这如何影响操作数结构？

主要发现

• 开-闭双操作数的同调被完全描述为生成元与关系的形式，其中 $ H_0(OC) $ 由闭穿孔与开穿孔的标记及边界分量上开穿孔的循环分组决定。
• 同调 $ H_*(OC) $ 同构于 OC Cacti 操作数的同调，后者为亏格 0 开-闭弦场论结构提供了有限维、几何化的模型。
• 通过对应图构造，$ H_*(OC\text{Cacti}) $ 在 $ (H_*(LM), H_*(PM_K)) $ 上的作用被实现，同调中的上拉映射由庞特里亚金-托姆横截性构造得出。
• 该作用与复合运算可交换，这是通过庞特里亚金-托姆构造在拉回图上的自然性验证的，确保与操作数结构的一致性。
• 同调中的运算 $ φ_{o\mapsto c}(e_o) $ 对应于在 $ K $ 中横截相交路径的端点，其结果为度数 $ -m $ 的运算，与在 $ H_*(LM) $ 上的几何作用一致。
• 通过将黑色区间与圆周标记为 $ \Lambda $ 中的元素，该框架可推广至多个 D-膜，得到一个着色操作数，其同调作用于所有 $ PM_{(K_\lambda, K_{\lambda'})} $ 的同调。