[論文レビュー] Orthofibrations and monoidal adjunctions

Fabian Hebestreit, Sil Linskens+1 more|arXiv (Cornell University)|Nov 22, 2020

Homotopy and Cohomology in Algebraic Topology参考文献 3被引用数 4

ひとこと要約

この論文は、∞-圏の積上のファイブレーションを関連付けるためにスパンを用いた双対化構成を導入し、モノイド的随伴における右随伴へのラックスモノイド構造と左随伴へのオプレイクモノイド構造の間の対応を可能にする。主な貢献は、明示的なスパンに基づく双対性を通じて、これらの双対モノイド構造の形式的同値性を示すことである。

ABSTRACT

We study various types of fibrations over a product of two $\infty$-categories, and show how they can be dualised over one of the two factors via an explicit construction in terms of spans. Among other things, we use this to prove that given an adjunction between monoidal $\infty$-categories, there is an equivalence between lax monoidal structures on the right adjoint and oplax monoidal structures on the left adjoint functor.

研究の動機と目的

• 2つの∞-圏の積上のファイブレーションに、1つの因子について双対化を施すことによって双対性を確立すること。
• モノイド的随伴における右随伴へのラックスモノイド構造と左随伴へのオプレイクモノイド構造の関係を明確にすること。
• ∞-圏の文脈で、この双対性を実現する明示的なスパンを用いた構成を提供すること。
• 古典的なモノイド的随伴に関する結果を、整合的な高階構造を持つ∞-圏の設定に一般化すること。

提案手法

• ∞-圏的設定においてスパンを用いて、∞-圏の積の1つの因子について双対化関手を構成する。
• ∏-圏上のファイブレーションにスパン構成を適用して双対ファイブレーションを導出する。
• ∞-圏の理論とグロテンディーク構成を用いて、ファイブレーションを∞-群コホモに値をとる関手として解釈する。
• 右随伴へのラックスモノイド構造の∞-圏と左随伴へのオプレイクモノイド構造の∞-圏の間の同値性を確立する。
• スパンの普遍性を用いて、双対化構成における自然性と整合性を保証する。
• スパン構成によって誘導される自然同型を通じて、双対化がモノイド構造を保存することを示す。

実験結果

リサーチクエスチョン

• RQ1 ∞-圏の積上のファイブレーションを、1つの因子について体系的にどのように双対化できるか。
• RQ2 モノイド的随伴における右随伴へのラックスモノイド構造と左随伴へのオプレイクモノイド構造の間の明確な関係は何か。
• RQ3 ∞-圏的設定において、スパンを用いてこのモノイド構造の双対性を明示的に構成できるか。
• RQ4 この双対性は、モノイド的∞-圏における整合性データをどの程度保存するか。
• RQ5 この構成は、古典的なモノイド的随伴に関する結果を高階圏へどのように一般化するか。

主な発見

• 右随伴関手へのラックスモノイド構造の∞-圏と左随伴関手へのオプレイクモノイド構造の∞-圏の間には、標準的な同値性が存在する。
• 双対化は、∞-圏の積上のファイブレーションを体系的に変換するスパンに基づく構成によって実現される。
• 構成はモノイドの整合性データを保存し、同値性がテンソル構造を尊重することを保証する。
• 双対化プロセスは自然かつファンクター的であり、随伴の射へと拡張可能である。
• この結果は、モノイド圏における古典的随伴対応の高階圏的一般化を提供する。
• スパン構成は、ラックス構造とオプレイク構造の間の双対性を誘導する普遍的メカニズムとして機能する。