[論文レビュー] 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 譜面は、N > 2 の場合に第 E2 ページで収束するか？
• RQ3 E2 ページと浸漬みを除いた長さ付き結びの有理ホモロジー間の同型は、N > 3 の場合にパオソン代数構造と整合するか？
• RQ4 中間の図式近似を経由せずに、シンハのモデルの形式的性質を直接的に確立できるか？
• RQ5 譜面の E2 ページに明確な代数的構造が存在するか？ そしてそれは長さ付き結び空間のホモロジーとどのように関係するか？

主な発見

• シンハが構成したコサイミリカル空間は、有理数上で形式的である。これは、その空間が長さ付き結びをモデル化するにあたり、直接的なホモトピー論的根拠を与える。
• N > 2 のすべてのケースにおいて、シンハのモデルに関連する有理 Bousfield-Kan 譜面は第 E2 ページで収束する。これは、従来 N > 3 を要件としていた結果を拡張するものである。
• N > 3 の場合、E2 ページと浸漬みを除いた長さ付き結びの有理ホモロジー間の同型は、パオソン代数の同型である。
• 中間の図式近似に依存せずに、形式的性質の直接的証明が達成され、従来の手法と比較して議論が簡略化された。
• E2 ページに構成されたパオソン代数構造は、既知の長さ付き結びの有理ホモロジーにおける代数的構造と一致し、幾何的期待と整合することが確認された。