[論文レビュー] Combinatorial $N_\infty$ operads

Jonathan E. Rubin|arXiv (Cornell University)|May 10, 2017

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

ひとこと要約

この論文は、$N_∞$ 操作のホモトピー理論が離散的操作のそれと同値であることを示し、$N_∞$ 操作の組み合わせ的分類を確立する。また、すべてのインデキシングシステムに対して自由および結合的実現を構成し、Blumberg と Hill の予想を解決する。主な結果は、グラフ部分群から構成される離散的かつコフリーブな操作を用いて、インデキシングシステムと $N_∞$ 操作の完全かつ明示的な対応を確立することである。

ABSTRACT

We prove that the homotopy theory of $N_\infty$ operads is equivalent to a homotopy theory of discrete operads, and we construct free and associative operadic realizations of every indexing system. This resolves a conjecture of Blumberg and Hill in the affirmative.

研究の動機と目的

• 「$N_\infty$ 操作のホモトピー理論は離散的操作のそれと同値である」という予想を解決すること。
• すべてのインデキシングシステムに対して明示的な自由および結合的代数的実現を構成すること。
• すべての-equivariantホモトピー的可換構造を捉える組み合わせ的モデルを $N_\infty$ 操作に提供すること。
• インデキシングシステムと $N_\infty$ 操作の間のホモトピー圏における全射的かつ忠実な対応を確立すること。

提案手法

• グラフ部分群の集合 $\mathcal{T}$ 上に自由 $G$-操作 $\mathbf{F}_{\mathcal{T}}$ を構成し、これらは離散的かつコフリーブである。
• 積のテクニックを用いて、$N_\infty$ 操作のホモトピー圏が離散的 $G$-操作のそれと同値であることを示す。
• 各 $N_\infty$ 操作からその関連するインデキシングシステムへの写像 $A: \textnormal{Ho}(N_\infty\textnormal{-}\mathbf{Op}^G) \to \mathbf{Ind}(G)$ を定義する。
• 写像 $A$ が全射的かつ忠実であり、したがってカテゴリの同値であることを証明する。
• 小さな対象の手続きと超限列挙を用いて、終端操作 $\mathbf{Com}$ の $\mathcal{I}$-コフリーブな置換を $N_\infty$ 操作として実現する。
• モナド的バー構成と単体的モデルを比較することで、既存の $N_\infty$ 操作と同値であることを示す。

実験結果

リサーチクエスチョン

• RQ1 「$N_\infty$ 操作のホモトピー理論は離散的操作のそれと同値であるか？
• RQ2 すべてのインデキシングシステムが、自由または結合的構成により $N_\infty$ 操作のインデキシングシステムとして実現可能か？
• RQ3 Gutiérrez-White と Bonventre-Pereira の構成は、ここでの自由 $N_\infty$ 操作とどのように関係しているか？
• RQ4 ホモトピー圏において、$N_\infty$ 操作からインデキシングシステムへの写像が全射的かつ本質的に全射的か？
• RQ5 積のテクニックを用いて、$N_\infty$ 操作のホモトピー圏における全射性を証明できるか？

主な発見

• 「$N_\infty$ 操作のホモトピー理論は離散的 $G$-操作のそれと同値である」ことが示され、その分類の組み合わせ的基盤が確立された。
• すべてのインデキシングシステム $\mathcal{I}$ に対して、終端操作 $\mathbf{Com}$ の $\mathcal{I}$-コフリーブ置換である自由 $N_\infty$ 操作 $\mathbf{F}_{\mathbf{O}(\mathcal{I})}$ が存在する。
• ホモトピー圏からインデキシングシステムの圏への写像 $A$ はカテゴリの同値である。
• 自由 $N_\infty$ 操作 $\mathbf{F}_{\mathbf{N}(\mathcal{I})}$ および $\mathbf{F}_{\mathbf{O}(\mathcal{I})}$ は $\mathcal{I}$-コフリーブであり、$\mathcal{I}$-可縮被覆を介して $\mathbf{Com}$ へ写像される。
• Gutiérrez と White、および Bonventre と Pereira の構成は、コフリーブ置換およびバー構成の技法を用いて、自由 $N_\infty$ 操作と同値であることが示された。
• 分類の証明は、$N_\infty$ 操作と離散的 $N$ 操作の同値性にのみ依存し、すべての位相的入力がこの核心的同値性に還元された。