[論文レビュー] Dualizing cartesian and cocartesian fibrations

Clark Barwick, Saul Glasman+1 more|arXiv (Cornell University)|Sep 7, 2014

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

ひとこと要約

この論文は、∞-圏の文脈において、カルテジアンおよびコカルテジアンファイブレーションの双対化プロセスを導入し、元のファイブレーションの方向を反転させつつ本質的な構造を保つ、標準的な双対ファイブレーションを構成する。主な貢献は、二重双対が元のファイブレーションと同値であることを実現する双対ペアリングであり、ファイブレーションの∞-圏における自己双対構造を確立する。

ABSTRACT

In this technical note, we proffer a very explicit construction of the "dual cocartesian fibration" $p^{\vee}$ of a cartesian fibration $p$, and we show they are classified by the same functor to $\mathbf{Cat}_{\infty}$.

研究の動機と目的

• クーライティカル理論におけるカルテジアンファイブレーションに対する明示的な双対構成の長年の欠如を解決すること。
• 与えられたカルテジアンファイブレーションに対して、その方向を反転させつつホモトピー的構造を保つ標準的な双対ファイブレーションを定義すること。
• ファイブレーションとその双対の間の双対ペアリングを確立し、二重双対が元のファイブレーションを回復することを示すこと。
• 古典的な関手とその反対の間の双対性を一般化し、ファイブレーションの双対化を体系的かつ一貫した枠組みで提供すること。
• ねじれ矢の∞-圏の構成を用いて、カルテジアンファイブレーション、コカルテジアンファイブレーション、およびそれらの双対の関係を明確にすること。

提案手法

• 著者たちは、ベース圏のねじれ矢∞-圏を用いて、双対構造を符号化することで、カルテジアンファイブレーションの双対を定義する。
• 普遍性を活用して、分類関手の反対関手に沿ったプルバックとして双対ファイブレーションを構成する。
• 双対ペアリングは、∞-対応の圏における対応として定義され、ねじれ矢圏を用いてファイブレーションとその双対を関連付ける。
• 二重双対構成が自然に元のファイブレーションと同値であることが示され、自己双対性が確立される。
• 最大ケン複体関手が∞-圏からその基本空間を抽出するという事実に依拠しており、これは右ファイブレーションおよび左ファイブレーションの分類に用いられる。

実験結果

リサーチクエスチョン

• RQ1 与えられたカルテジアンファイブレーションに対して、∞-圏的設定において明示的に双対ファイブレーションを構成する方法は何か？
• RQ2 カルテジアンファイブレーションの双対と、反対のベース圏上のコカルテジアンファイブレーションとの関係は何か？
• RQ3 ファイブレーションの二重双対が、同値性の意味で元のファイブレーションを回復するか？
• RQ4 カルテジアンおよびコカルテジアンファイブレーションの双対性は、対応の∞-圏におけるペアリングとして形式化可能か？
• RQ5 双対ファイブレーションは、分類関手の最大ケン複体とどのように関係するか？

主な発見

• Sのねじれ矢圏を用いて、カルテジアンファイブレーションp: X → Sの双対は、p∨: X∨ → S^opというコカルテジアンファイブレーションとして構成される。
• 双対ファイブレーションは、pの分類関手と最大ケン複体関手の合成によって分類され、これは∞-圏の基本空間を抽出する。
• 二重双対構成は、同値性の意味で元のファイブレーションを回復し、ファイブレーションの∞-圏における自己双対性を確立する。
• 双対ペアリングは、S上のカルテジアンファイブレーションの∞-圏と、S^op上のコカルテジアンファイブレーションの∞-圏の反対圏との間に同値を誘導する。
• この構成は、Cat_∞への関手によるファイブレーションの分類と整合しており、∞-圏値関手の双対化の標準的な方法を提供する。