[論文レビュー] RELATIVE (NON-)FORMALITY OF THE LITTLE CUBES OPERADS AND TH E ALGEBRAIC SCHOENFLIES THEOREM

Victor Turchin, Thomas Willwacher|arXiv (Cornell University)|Aug 30, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 21被引用数 2

ひとこと要約

この論文は、k ≥ 2 のとき、実数上でのoperad写像 En → En+k が形式的であることを確立しているが、k = 1 のときは非形式的である。また、En → En+1 の変形複体のコホモロジーを計算し、little cubes operad の文脈における Schoenflies の定理の代数的表現を提示している。

ABSTRACT

It is shown that the operad maps En → En+k are formal over the reals for k≥ 2 and non-formal for k = 1. Furthermore we compute the cohomology of the deformation complex of the operad maps En → En+1, proving an algebraic version of the Schoenflies theorem.

研究の動機と目的

• すべての k ≥ 1 に対して、実数上での operad 写像 En → En+k の形式性を特定すること。
• En → En+1 の変形理論を、その変形複体を用いて調査すること。
• little cubes operad の文脈において、コホモロジー的方法を用いて Schoenflies の定理の代数的類似を確立すること。
• 高次元の operad における形式的構造と非形式的構造の違いを明確にすること。

提案手法

• 有理ホモトピー論を用いて、operad 写像 En → En+k の有理ホモトピー型を分析する。
• 変形複体の理論を適用し、operad 間の写像の空間を研究する。
• スペクトル系列の技法を用いて、En → En+1 の変形複体のコホモロジーを計算する。
• n ≥ 2 のとき、little n-cubes operad En が実数上ですでに形式的であるという事実に依拠する。
• Hochschild コチェイン複体の構造と、operad の変形理論との関係を用いる。
• コホモロジー計算と、Schoenflies の定理のような位相的結果との間の関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 k がどのような値のとき、operad 写像 En → En+k が実数上で形式的となるか？
• RQ2 operad 写像 En → En+1 の変形複体のコホモロジーは何か？
• RQ3 En → En+1 の非形式性は、Schoenflies の定理のような位相的不変量とどのように関係するか？
• RQ4 Schoenflies の定理は、operad の代数的変形理論から回復可能か？
• RQ5 k ≥ 2 と k = 1 の場合において、operad の形式性の文脈で、どのような構造的差が生じるか？

主な発見

• operad 写像 En → En+k は、実数上で形式的であるための必要十分条件が k ≥ 2 である。
• operad 写像 En → En+1 は実数上で非形式的であり、この場合に形式的でない根本的障害が存在することを示している。
• En → En+1 の変形複体のコホモロジーが明示的に計算され、非自明なコホモロジー的構造が明らかになった。
• このコホモロジー計算により、Schoenflies の定理の代数的版が得られた。
• 変形コホモロジーの非自明性は、En → En+1 の非形式性を裏付けている。
• 結果として、k = 1 における形式性の挙動にきわめて明確な転換点が存在し、k = 1 と k ≥ 2 が明確に区別されることを示している。