[論文レビュー] (Non-)formality of the extended Swiss Cheese operads

Thomas Willwacher|arXiv (Cornell University)|Jun 9, 2017

Advanced Topics in Algebra参考文献 20被引用数 11

ひとこと要約

この論文は、n次元単位円板内のm次元平面に制限された1色の円板の中心を持つ、リトルディスク・オペラッドの一般化である拡張されたスイス・チーズ・オペラッドの有理ホモトピー型を調査する。有理ホモトピー論と包含写像 Dₘ → Dₙ との関連を用いて、n > m−1 のときこれらのオペラッドは有理的に形式的であるが、n = m−1 のときはそうでないことが証明され、オペラッド的有理ホモトピー論における重要な問いが解決される。

ABSTRACT

We study two colored operads of configurations of little $n$-disks in a unit $n$-disk, with the centers of the small disks of one color restricted to an $m$-plane, $m

研究の動機と目的

• 2色のn次元円板の配置をモデル化する、中心がm次元平面に制限された拡張されたスイス・チーズ・オペラッド ESCₘ,ₙ の有理ホモトピー型を特定すること。
• ESCₘ,ₙ の有理ホモトピー型がリトルディスク・オペラッドの包含写像 Dₘ → Dₙ とどのように関係するかを理解すること。
• 特に臨界的ケース n = m−1 において、ESCₘ,ₙ が Q や R 上で形式的かどうかを解明すること。
• Fresseの関手 Ωₚₗ と dgca 値のコオペラッドを用いて、オペラッドのための有理ホモトピー論の枠組みを拡張すること。
• そのコホモロジーと quasi-isomorphism を通じて、拡張されたスイス・チーズ・オペラッドのホモトピー的分類を提供すること。

提案手法

• 著者たちは、Sullivanの有理ホモトピー論、特に位相空間からdg可換代数への関手 Ωₚₗ を用いて、オペラッド ESCₘ,ₙ にdgcaを割り当てる。
• Fresseの構成を適用して、Ωₚₗ を ESCₘ,ₙ の有理的チェインに、dg Λ-Hopf コオペラッド構造へと持ち上げる。
• 主な技術的アプローチは、ESCₘ,ₙ の有理ホモトピー型を、包含写像 Dₘ → Dₙ の有理ホモトピー型と、準同型のズイガットを介して関連付けることである。
• 証明は、[11] および [22] における Dₘ → Dₙ の (非)形式性に関する既知の結果に依存しており、これらが ESCₘ,ₙ の形式性を支配することが示された。
• 形式性は、多項式形式のdgcaとそのコホモロジーの間の、準同型のズイガットの存在と同値であるという事実を用いる。
• Budney や Turchin の構成を参照しながら、フレームド埋め込みおよび浸漬へのリトルディスク・オペラッドの作用を通じて、オペラッド構造を分析する。

実験結果

リサーチクエスチョン

• RQ1 拡張されたスイス・チーズ・オペラッド ESCₘ,ₙ がどのような条件下で有理的に形式的となるか。
• RQ2 ESCₘ,ₙ の有理ホモトピー型は包含写像 Dₘ → Dₙ とどのように関係するか。
• RQ3 n = m−1 の場合における形式性の正確なホモトピー的障害は何か。
• RQ4 制約付き配置を持つ2色のオペラッドに、有理ホモトピー論を拡張することは可能か。
• RQ5 ESCₘ,ₙ 上の多項式形式のdgcaとそのコホモロジーを結ぶ、標準的な準同型のズイガットが存在するか。

主な発見

• すべての m ≥ 1 および n > m−1 に対して、拡張されたスイス・チーズ・オペラッド ESCₘ,ₙ は有理的に形式的である。
• n = m−1 かつ m ≥ 1 のとき、実チェインのオペラッド C(ESCₘ,ₙ) は形式的ではない。
• ESCₘ,ₙ の形式性は、既存の研究で知られている Dₘ → Dₙ の (非)形式性に依存しており、これにより決定される。
• ESCₘ,ₙ の有理ホモトピー型は、包含写像 Dₘ → Dₙ のコホモロジーによって支配され、配置空間とオペラッド的形式性の間に深い関係を確立する。
• Ωₚₗ(ESCₘ,ₙ) とそのコホモロジーの間の標準的な準同型のズイガットが構成され、指定された範囲での有理的形式性が確認された。
• この結果は、特にフレームド埋め込みおよび浸漬の文脈において、色付きオペラッドのための有理ホモトピー論のより広範な枠組みに一般化可能である。