[论文解读] Formality of Sinha's cosimplicial model for long knots spaces

Paul Arnaud Songhafouo-Tsopméné|arXiv (Cornell University)|Oct 9, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用 1

一句话总结

本文直接建立了辛哈关于长绳结空间的余单纯模型的形式性，提供了一个简洁的证明，表明当 N > 2 时，有理同调 Bousfield-Kan 族谱序列在第 2 页崩溃。此外，当 N > 3 时，E2 页与长绳结空间模浸入的有理同调之间的同构是李代数同构。

ABSTRACT

Sinha has constructed a cosimplicial space X for a fixed integer N. One of his main result states that for N > 3, X is a cosimplicial model for the space of long knots (modulo immersions). On the other hand, Lambrechts, Turchin and Volic showed that for N > 3 the homology Bousfield-Kan spectral sequence associated to Sinha's cosimplicial space collapses at the page 2 rationally. Their approach consists first to prove the formality of some other diagrams approximating X and next deduce the collapsing result. In this paper, we prove directly the formality of Sinha's cosimplicial space and this allows us to construct a very short proof of the collapsing result for N > 2. Moreover, we prove that the isomorphism between the page 2 and the rational homology of the space of long knots modulo immersions is of Poisson algebras, when N > 3.

研究动机与目标

• 直接建立辛哈关于长绳结的余单纯空间的形式性，不依赖于中间图示。
• 为当 N > 2 时，有理 Bousfield-Kan 族谱序列在第 2 页崩溃，提供更短且更直接的证明。
• 表明当 N > 3 时，E2 页与长绳结空间模浸入的有理同调之间的同构保持李代数结构。

提出的方法

• 使用有理同伦论技术，直接验证辛哈余单纯空间的形式性。
• 将形式性结果应用于推导有理 Bousfield-Kan 族谱序列在 E2 页的崩溃。
• 利用图示近似和比较映射，将余单纯模型与长绳结的同伦型联系起来。
• 在 E2 页上构造一个李代数结构，并将其与长绳结空间模浸入的有理同调相识别。
• 利用已知的有理同伦论结果，在混合霍奇结构的导出范畴中建立同构。
• 利用形式性在有理设定下蕴含族谱序列崩溃的事实。

实验结果

研究问题

• RQ1 辛哈关于长绳结的余单纯模型在有理同伦论的意义下，是否与它的有理同调形式等价？
• RQ2 与辛哈模型相关的有理 Bousfield-Kan 族谱序列是否在 E2 页崩溃，当 N > 2 时？
• RQ3 当 N > 3 时，E2 页与长绳结空间模浸入的有理同调之间的同构是否与李代数结构相容？
• RQ4 是否可以不经过中间图示近似，直接建立辛哈模型的形式性？
• RQ5 族谱序列 E2 页上的精确代数结构是什么？它与长绳结空间同调之间有何关系？

主要发现

• 辛哈构造的余单纯空间在有理数上是形式的，为其在建模长绳结中的使用提供了直接的同伦论依据。
• 当所有 N > 2 时，与辛哈模型相关的有理 Bousfield-Kan 族谱序列在 E2 页崩溃，扩展了以往需要 N > 3 的结果。
• 当 N > 3 时，E2 页与长绳结空间模浸入的有理同调之间的同构是李代数同构。
• 通过不依赖中间图示近似，实现了形式性的直接证明，与先前方法相比简化了论证。
• E2 页上的李代数结构与长绳结有理同调上已知的代数结构一致，确认了与几何预期的一致性。