[论文解读] A Note on the Chas-Sullivan product

François Laudenbach|arXiv (Cornell University)|Mar 16, 2009

Geometric and Algebraic Topology参考文献 5被引用 3

一句话总结

本文提出了一种有限维、单纯化的方法来构造流形的自由环路空间上的查斯-沙利文积，利用横截性与局部系数的小单纯形，在链层面上定义该积。其主要贡献在于构造了一个同伦不变、几何直观的积，该方法可推广至非可定向流形，并通过谱序列与陈示性类映射恢复已知结果。

ABSTRACT

We give a finite dimensional approach to the Chas-Sullivan product on the free loop space of a manifold, orientable or not.

研究动机与目标

• 为流形的自由环路空间上的查斯-沙利文积提供一种有限维、几何直观的构造方法。
• 通过使用局部系数而非整数系数，将该积推广至非可定向流形。
• 利用横截性与小单纯形在链层面上定义该积，避免使用无限维方法。
• 证明该构造在同调层面上产生一个良定义的积，且同构于已知的弦拓扑谱序列。
• 通过这种单纯化、基于横截性的框架，重新获得并重新解释查塔尔-勒博格内等人的结果。

提出的方法

• 将自由环路空间 $ LM $ 视为单纯集，其中 $ k $-单纯形定义为光滑映射 $ \triangle^k \times S^1 \to M $，并定义评估映射 $ ev_0 $，将此类单纯形映射为其在 $ S^1 $ 的基点处的限制。
• 小单纯形被定义为图像完全位于给定图册中某一坐标图内的单纯形，以确保局部控制性并兼容局部系数。
• 在 $ LM \times LM $ 中对双单纯形应用横截性，特别针对映射到 $ M $ 中可复合环路的那些，以在链层面上定义交积。
• 在 $ LM \times_M LM $ 中，横截循环的交集产生一个光滑流形 $ W $，通过怀特黑德的三角剖分唯一性定理进行三角剖分，从而在 $ LM $ 中得到一个良定义的循环。
• 利用陈示性类映射将谱序列的 $ E^1 $-页与 $ M $ 及其单位法丛 $ UM $ 的交集同调联系起来，从而实现双分次环同构。
• 证明谱序列的 $ E^1 $-页同构于 $ \mathbb{H}_*(M;\mathbb{Z}_{or}) \oplus \mathbb{H}_*(UM;\mathbb{Z})[T]_{\geq 1} $，其中 $ d^1 = 0 $，意味着 $ E^\infty \cong E^1 $。

实验结果

研究问题

• RQ1 能否直接使用有限维、单纯化的方法而非无限维同伦理论，在链层面上定义查斯-沙利文积？
• RQ2 如何在不依赖可定向结构的前提下，将该积推广至非可定向流形？
• RQ3 横截性与小单纯形在确保积的良定义性与同伦不变性中起什么作用？
• RQ4 纤维丛 $ \Lambda M \to M $ 的谱序列如何与 $ UM $ 和 $ M $ 上的交集环结构相关联？
• RQ5 已知的弦拓扑结果（如查塔尔与勒博格内的工作）能否通过这种单纯化、基于横截性的框架被重新获得并重新解释？

主要发现

• 通过在 $ LM \times_M LM $ 中对横截交集进行三角剖分，并利用怀特黑德的三角剖分唯一性（在同伦与细分意义下），查斯-沙利文积在同调层面上是良定义的。
• 谱序列的 $ E^1 $-页同构于 $ \mathbb{H}_*(M;\mathbb{Z}_{or}) \oplus \mathbb{H}_*(UM;\mathbb{Z})[T]_{\geq 1} $，其中 $ T $ 的双次数为 $ (1, \alpha_1 + n - 2) $，环结构由陈示性类映射诱导。
• 微分 $ d^1 $ 恒为零，因为 $ \mathbb{H}_*(\Lambda_0) $ 是直和项，且 $ d^1 $ 是导子，故 $ d^1(T) = 0 $，从而 $ d^1 $ 处处为零。
• 谱序列在 $ E^1 $ 页崩溃，因此 $ E^\infty \cong E^1 $，最终的双分次环结构与初始结构一致。
• 该构造对可定向与非可定向流形均适用，通过使用局部系数 $ \mathbb{Z}_{or} $ 处理定向问题。
• 该方法重新获得并重新解释了查塔尔与勒博格内的结果，表明单纯化、基于横截性的方法在具体几何计算中与无限维方法同样高效。