[论文解读] Higher string topology operations

Véronique Godin|ArXiv.org|Nov 30, 2007

Algorithms and Data Compression参考文献 12被引用 48

一句话总结

该论文将查斯与沙利文在闭合定向流形 $LM$ 的自由环路空间上的弦拓扑运算推广为一个度数为 $d$ 的完整同调共形场论（HCFT），其参数空间为带边黎曼曲面模空间的扭曲同调。通过使用带边开-闭 cobordism 的映射类群的扭曲系数，构造了 $H_*LM$ 上的运算，并证明了 $H_*LM$ 装备有一个度数为 $d$ 的带正边界开-闭 HCFT，从而解决了文献 [5] 中的猜想。

ABSTRACT

Chas and Sullivan have defined an intersection-type product on the homology of the free loop space LM of an oriented manifold M. In this paper we show how to extend this construction to a topological conformal field theory of degree d. In particular, we get operations on the homology of LM which are parameterized by the homology of the moduli space of open-closed Riemann surfaces.

研究动机与目标

• 将查斯与沙利沃的 $H_*LM$ 上的环路乘积推广为由拓扑数据参数化的更丰富的代数结构。
• 形式化弦拓扑运算源于带边黎曼曲面模空间同调这一思想。
• 在对 $(H_*LM, H_*M)$ 上构造一个度数为 $d$ 的开-闭同调共形场论（HCFT），从而解决文献 [5] 中的猜想。
• 通过开-闭 cobordism 的映射类群的扭曲同调定义 $H_*LM$ 上的运算。
• 通过带扭曲系数的交换图条件，确保运算在 cobordism 拼接下的相容性。

提出的方法

• 将开-闭 cobordism 定义为带有入射、出射和自由边界分量的紧致定向曲面，并配备到区间与圆周有序并集的参数化微分同胚。
• 引入保持入射和出射边界逐点固定的定向微分同胚群 $\mathit{Mod}^{\mathit{oc}}(S)$。
• 利用虚拟向量空间 $\chi_S = H_*(S, \partial_{\mathit{in}}S)$ 构造行列式线丛 $\det(\chi_S)$，该丛提供系数系统中的扭曲 $\det(\chi_S)^{\otimes d}$。
• 从 $B\mathit{Mod}^{\mathit{oc}}(S)$ 的同调（系数为 $\det(\chi_S)^{\otimes d} \otimes H_*LM^{\otimes p} \otimes H_*M^{\otimes q}$）构造映射 $\mu_S$ 至 $H_*LM^{\otimes m} \otimes H_*M^{\otimes n}$，并保持度数。
• 通过同构 $\det(\chi_{S_1})^{\otimes d} \otimes \det(\chi_{S_2})^{\otimes d} \cong \det(\chi_{S_1 \# S_2})^{\otimes d}$，确保拼接下的相容性，即满足交换图 $\mu_{S_1} \cdot \mu_{S_2} = \mu_{S_1 \# S_2}$。
• 建立嵌入与复合的兼容管状邻域空间的单连通性，以保证构造中使用的 Thom 降维映射的良定义性与同伦不变性。

实验结果

研究问题

• RQ1 能否将 $H_*LM$ 上的环路乘积扩展为一个度数为 $d$ 的完整开-闭同调共形场论（HCFT）？
• RQ2 如何系统地通过带边黎曼曲面模空间的同调来参数化弦拓扑运算？
• RQ3 扭曲系数——特别是 $\det(\chi_S)^{\otimes d}$——在确保 cobordism 拼接下运算的一致性中起什么作用？
• RQ4 开-闭 cobordism 的映射类群如何作用于 $H_*LM$ 以生成一致的场论结构？
• RQ5 该构造能否通过包含运算复合的交换图条件实现与拼接的相容性？

主要发现

• 定理 1 声明，$(H_*LM, H_*M)$ 装备有一个度数为 $d$ 的带正边界开-闭同调共形场论。
• 对 $H_*LM$ 的运算由系数为 $\det(\chi_S)^{\otimes d} \otimes H_*LM^{\otimes p} \otimes H_*M^{\otimes q}$ 的 $B\mathit{Mod}^{\mathit{oc}}(S)$ 的同调参数化，产生保持度数的作用。
• 扭曲 $\det(\chi_S)^{\otimes d}$ 源于虚拟向量空间 $\chi_S = H_*(S, \partial_{\mathit{in}}S)$，该空间自然地作用于 $\mathit{Mod}^{\mathit{oc}}(S)$。
• cobordism 的拼接诱导自然同构 $\det(\chi_{S_1})^{\otimes d} \otimes \det(\chi_{S_2})^{\otimes d} \cong \det(\chi_{S_1 \# S_2})^{\otimes d}$，从而保证场论结构的一致性。
• 复合嵌入的兼容管状邻域空间是单连通的，从而保证了 Thom 降维构造的同伦不变性与良定义性。
• 该构造通过实现弦拓扑为一个带正边界的完整 HCFT，解决了文献 [5] 中的猜想，将环路乘积推广为由模空间参数化的更高阶运算。