[论文解读] String operations on rational Gorenstein spaces

Takahito Naito|arXiv (Cornell University)|Jan 9, 2013

Algebraic structures and combinatorial models参考文献 13被引用 7

一句话总结

本文证明了在有理Gorenstein空间的自由环路空间上，其有理同调在弦操作下构成一个非单位元、非余单位元的Frobenius代数，通过有理同伦论解决了‘至多相差常数’的问题。证明了环路乘积与余乘积满足扭曲结合律与Frobenius相容性，并提供了具体例子，表明这些运算在具有混合次数生成元的纯Sullivan模型中非平凡。

ABSTRACT

Félix and Thomas developed string topology of Chas and Sullivan on simply-connected Gorenstein spaces. In this paper, we prove that the degree shifted homology of the free loop space of a simply-connected ${\mathbb Q}$-Gorenstein space with rational coefficient is a non-unital and non-counital Frobenius algebra by solving the up to constant problem. We also investigate triviality or non-triviality of the loop product and coproduct of particular Gorenstein spaces.

研究动机与目标

• 解决有理Gorenstein空间弦拓扑中的‘至多相差常数’问题，确保严格的代数关系成立。
• 确定在单连通有理Gorenstein空间的自由环路空间上，弦操作是否构成无余单位元的二维TQFT。
• 利用最小Sullivan模型研究有理Gorenstein空间中环路乘积与余乘积的平凡性或非平凡性。
• 提供明确的计算例子，表明环路余乘积 $(L_{\text{cop}} \times 1)L_{\text{cop}}$ 非平凡，从而反驳经典结果。

提出的方法

• 利用Eilenberg-Moore同构及环路乘积/余乘积映射的对偶，定义有理同调上的运算。
• 通过最小Sullivan模型 $(\Lambda V, d)$ 应用有理同伦论，分析 $H_*(LM; \mathbb{Q})$ 的代数结构。
• 采用[12]中的挠函子描述，以链级图示和拉回方式计算弦操作。
• 推导出扭曲结合律恒等式：$L_p(L_p \otimes 1) = (-1)^d L_p(1 \otimes L_p)$ 与 $(L_{\text{cop}} \otimes 1)L_{\text{cop}} = (-1)^d (1 \otimes L_{\text{cop}})L_{\text{cop}}$。
• 采用[5]和[16]中的符号约定，定义乘积 $m(a \otimes b) = (-1)^{d(|a|+d)} L_p(a \otimes b)$ 以保证分次结合律。
• 在纯Sullivan模型中进行显式的链级计算，证明 $Dlp$ 与 $Dlcop$ 的非平凡性，包括 $Dlcop(Dlcop \otimes 1)((1 \otimes su_2) \otimes (1 \otimes 1) \otimes (1 \otimes su_2)) = u_2^4 \otimes 1 \neq 0$。

实验结果

研究问题

• RQ1 单连通有理Gorenstein空间的自由环路空间上，环路乘积与余乘积是否满足扭曲结合律？
• RQ2 在有理设定下，弦拓扑中的‘至多相差常数’问题是否可被解决，从而得到严格的Frobenius代数结构？
• RQ3 在最小Sullivan模型满足何种条件下，环路乘积或余乘积为平凡或非平凡？
• RQ4 是否存在一个有理Gorenstein空间，使得 $(L_{\text{cop}} \otimes 1)L_{\text{cop}}$ 非平凡，从而与流形情形下Tamanoi的结果矛盾？
• RQ5 Sullivan模型中生成元的次数如何影响弦操作的非平凡性？

主要发现

• 在移位后，有理同调 ${\mathbb{H}}_*(LM; \mathbb{Q}) = H_{*+d}(LM; \mathbb{Q})$ 在环路乘积与余乘积下构成一个非单位元、非余单位元的Frobenius代数。
• 环路乘积满足 $L_p(L_p \otimes 1) = (-1)^d L_p(1 \otimes L_p)$，证明了扭曲结合律。
• 环路余乘积满足 $(L_{\text{cop}} \otimes 1)L_{\text{cop}} = (-1)^d (1 \otimes L_{\text{cop}})L_{\text{cop}}$，确立了扭曲共结合律。
• Frobenius相容性条件成立：$L_{\text{cop}} \circ L_p = (-1)^d (L_p \otimes 1)(1 \otimes L_{\text{cop}}) = (-1)^d (1 \otimes L_p)(L_{\text{cop}} \otimes 1)$。
• 对于仅含奇数次生成元的最小Sullivan模型，环路乘积非平凡，而余乘积平凡。
• 对于同时包含偶数次与奇数次生成元且 $\dim V^{\text{odd}} > \dim V^{\text{even}}$ 的纯Sullivan模型，环路余乘积平凡；若 $d=0$，则两项运算均平凡。