[論文レビュー] Day convolution for infinity-categories

Saul Glasman|arXiv (Cornell University)|Aug 22, 2013

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

ひとこと要約

この論文は、対称的モノイダル ∞-圏に対して、Dayの畳み込み積の ∞-カテゴリカルな類似物を構成する。D が余極限を備えるとき、関手圏 Fun(C,D) 上に対称的モノイダル構造を定義する。主な結果は、この畳み込み積に関する E∞-代数が、正確に C から D へのラックス対称的モノイダル関手に一致することであり、古典的なDay畳み込みを ∞-カテゴリカルな設定に一般化する。

ABSTRACT

Given symmetric monoidal infinity-categories C and D, subject to mild hypotheses on D, we define an infinity-categorical analog of the Day convolution symmetric monoidal structure on the functor category Fun(C, D). An E_infinity monoid for the Day convolution product is a lax monoidal functor from C to D.

研究の動機と目的

• ∞-カテゴリの文脈において、Dayの畳み込み積の高階カテゴリカルな類似物を開発すること。
• Day畳み込み積に関する E∞-代数が、C から D へのラックス対称的モノイダル関手に正確に一致することを確立すること。
• Day畳み込み圏への対称的モノイダルYoneda埋め込みを構成し、Lurieの構成と整合性を検証すること。
• 関手圏上の強固なモノイダル構造を提供することにより、高階カテゴリカルなMackey関手およびK理論における基礎的問題を解決すること。

提案手法

• 有限点付き集合の圏 F を用いて、∞-カテゴリにおける対称的モノイダル構造をモデル化する。
• 写像 k:K→F 沿っての引き戻しを用いて、F 上の普遍性により ∞-圏 Fun(C,D)⊗ を定義する。
• C におけるモノイダル積に沿った左Kan拡張として畳み込み積を構成し、D における余極限を用いる。
• 得られた構造が F 上の局所コカーティシアングラフであることを確立し、これにより対称的モノイダル ∞-圏が得られることを示す。
• ∞-カテゴリ的Yoneda補題を適用するため、対称的モノイダル関手 Y⊗:C⊗→Fun(Cop,Top)⊗ を構成する。
• ホモトピー引き戻しとKan拡張を用いて余極限の整合性を確認することで、Yoneda関手が対称的モノイダル構造を保存することを検証する。

実験結果

リサーチクエスチョン

• RQ1 Dayの古典的な畳み込み積は、どのように ∞-カテゴリの設定に一般化できるか？
• RQ2 Fun(C,D)⊗ におけるDay畳み込み圏における E∞-代数の正確な特徴づけは何か？
• RQ3 対称的モノイダル ∞-圏のYoneda埋め込みは、Day畳み込み圏への対称的モノイダル関手に拡張可能か？
• RQ4 この構成は、∞-カテゴリの文脈におけるLurieのYoneda埋め込みとどのように関係するか？
• RQ5 この枠組みを用いて、高階カテゴリカルなMackey関手および乗法的K理論構造をモデル化できるか？

主な発見

• D がすべての余極限を備える限り、Fun(C,D) 上のDay畳み込み積は、F×G から ⊗C に沿った左Kan拡張として定義される。
• Day畳み込み積に関する E∞-代数は、∞-オペラッドを用いて定義されたラックス対称的モノイダル関手 C→D に同値である。
• Yoneda埋め込み Y⊗:C⊗→Fun(Cop,Top)⊗ は対称的モノイダルであり、その像は Fun(Cop,Top) 上のDay畳み込み構造に含まれる。
• この構成は [Lur12, 系6.3.1.12] におけるLurieのYoneda埋め込みと一致し、既存理論との整合性を確認する。
• Fun(C,D)⊗ 上の対称的モノイダル構造は、コカーティシアングラフおよび余極限の保存性と整合しており、高階カテゴリカルな設定における整合性を保証する。
• 証明は、ホモトピー引き戻しとKan拡張技法を用いて、写像空間上の誘導写像が弱同値であることを確認することに依拠する。