[論文レビュー] On the Goodwillie derivatives of the identity in structured ring spectra

Duncan A. Clark|arXiv (Cornell University)|Apr 6, 2020

Homotopy and Cohomology in Algebraic Topology参考文献 44被引用数 5

ひとこと要約

この論文は、スペクトラの射影的operad 𝒪-代数の圏における恒等関手のグッドウィル・微分に、非常にホモトピー的同調的なoperad構造を構成する。これら微分が、高次ホモトピー的同調的operadとして、元のoperad 𝒪 と弱同値であることを証明し、アロンとチンの予想を解決する。構成には、ボウスフィールド＝カンのコシンプレクス解体と、ストロング・カルテジアン性の推定を用い、微分をコシンプレクス図式の全射化と関連付ける。

ABSTRACT

The aim of this paper is three-fold: (i) we construct a naturally occurring highly homotopy coherent operad structure on the derivatives of the identity functor on structured ring spectra which can be described as algebras over an operad $\mathcal{O}$ in spectra, (ii) we prove that every connected $\mathcal{O}$-algebra has a naturally occurring left action of the derivatives of the identity, and (iii) we show that there is a naturally occurring weak equivalence of highly homotopy coherent operads between the derivatives of the identity on $\mathcal{O}$-algebras and the operad $\mathcal{O}$. Along the way, we introduce the notion of $\mathbf{N}$-colored operads with levels which -- by construction -- provides a precise algebraic framework for working with and comparing highly homotopy coherent operads, operads, and their algebras.

研究の動機と目的

• 𝒪-代数の圏における恒等関手のグッドウィル微分に、自然な非常にホモトピー的同調的operad構造を構成すること。
• すべての連結な𝒪-代数が、これらの微分による自然な左作用を持つこと。
• 恒等関手の微分と元のoperad 𝒪 が、非常にホモトピー的同調的operadとして弱同値であることの確立。
• レベル付きのN色付きoperadを導入し、ホモトピー的同調的operadとその代数の比較のための枠組みを提供すること。

提案手法

• 𝒪-代数の安定化随伴 (Q, U) を用いて、恒等関手をボウスフィールド＝カンのコシンプレクス解体に置き換える。
• ブロムクイストとチン＝ハーカーの強いカルテジアン性推定を用い、微分をコシンプレクス図式のホモトピー極限として表現する。
• 微分をモデル化する対称系列のコシンプレクス図式を構成する。
• operad 𝒪 から構築したコシンプレクスoperadの全射化を通じて、非常にホモトピー的同調的operad構造を定義する。
• コシンプレクス図式の全射化が、弱同値のズイガッジを介して 𝒪 と弱同値であることを証明する。
• ホモトピー的同調的operad、operad、およびそれらの代数の比較を形式化するため、レベル付きのN色付きoperadを導入する。

実験結果

リサーチクエスチョン

• RQ1 𝒪-代数上の恒等関手のグッドウィル微分に、自然な非常にホモトピー的同調的operad構造を導入できるか？
• RQ2 恒等関手の微分と元のoperad 𝒪 が、非常にホモトピー的同調的operadとして弱同値であるか？
• RQ3 恒等関手の微分が連結な𝒪-代数に自然な左作用を持つか？
• RQ4 ホモトピー的同調的operadとその代数の正確な比較を可能にする代数的枠組みは何か？
• RQ5 0-連結な𝒪-代数のTQ完備化は、恒等関手の微分の代数として記述可能か？

主な発見

• 𝒪-代数上の恒等関手の微分は、自然な非常にホモトピー的同調的operad構造を持つ。
• すべての連結な𝒪-代数は、自然に恒等関手の微分による左作用を持つ。
• 恒等関手の微分は、非常にホモトピー的同調的operadとして、元のoperad 𝒪 と弱同値である。
• この同値性は、operad 𝒪 及びその解体から構築したコシンプレクス図式の全射化を通じて確立される。
• 任意の0-連結な𝒪-代数のTQ完備化は、恒等関手の微分の代数と同値である。
• レベル付きのN色付きoperadの枠組みは、ホモトピー的同調的構造の正確な代数的設定を提供する。