[論文レビュー] A note on stable recollements

Clark Barwick, Saul Glasman|arXiv (Cornell University)|Jul 7, 2016

Homotopy and Cohomology in Algebraic Topology参考文献 1被引用数 11

ひとこと要約

この論文は、安定な ∞-圏が再構成可能構造を備えるための必要十分条件を示しており、その条件は、その圏に反射的かつコリフレクティブな全部分圏が存在することである。このとき、再構成可能構造全体が最小限のデータから再構成可能であることが示され、左および右の直交補完の間の対称的双対性が、閉じた補完に沿って完全な対象の ∞-圏とその上に台を持つ対象の ∞-圏との間の同値性によって確立される。

ABSTRACT

In this short étude, we observe that the full structure of a recollement on a stable infinity-category can be reconstructed from minimal data: that of a reflective and coreflective full subcategory. The situation has more symmetry than one would expect at a glance. We end with a practical lemma on gluing equivalences along a recollement.

研究の動機と目的

• 安定な ∞-圏における再構成可能構造が、反射的かつコリフレクティブな全部分圏によって完全に決定されることを示す。
• 再構成可能構造の背後にある隠れた対称性を、双対的な直交補完の特定によって明確化する。
• 二つの再構成可能構造の間の関手が、その周囲の圏の同値性を誘導する条件を実用的に特定する。
• 再構成可能構造全体が最小限のデータから再構成可能であることを確立し、導来代数的幾何学および高階圏論における構造的理解を強化する。

提案手法

• 随伴関手の使用：全部分圏 U ⊆ X が反射的かつコリフレクティブであると仮定し、j⁎, j∗, j× を定義し、それらを用いて直交補完 Z∧ と Z∨ を構成する。
• Z∧ を U の右直交補完、Z∨ を左直交補完として定義し、写像空間を用いて直交性を強制する。
• コボル型系列と随伴性を用いて、Z∧ が反射的で Z∨ がコリフレクティブであることを証明し、包含関手に対する左および右随伴の存在を示す。
• j⁎j∗ と i∧i∨ を含むフレーチャー正方形を構成し、それがカルテジアンであることを示すことで、層状構造を確立する。
• 反射的／コリフレクティブな部分圏、Δ¹ 沿いの層状構造、再構成可能構造という三つの構造の同値性を用い、それらの本質的同値性を示す。
• i∧i∨ と i∨i∧ の合成を用いて、Z∧ と Z∨ の間の逆同値を確立し、構造における対称性を証明する。

実験結果

リサーチクエスチョン

• RQ1 安定な ∞-圏における再構成可能構造は、反射的かつコリフレクティブな全部分圏のみから再構成可能か？
• RQ2 安定な ∞-圏におけるこのような部分圏の左および右直交補完の間の明確な関係は何か？
• RQ3 二つの再構成可能構造の間の関手が、周囲の圏の同値性を誘導する条件は何か？
• RQ4 再構成可能構造において、閉じた部分圏に沿って完全な対象の ∞-圏とその上に台を持つ対象の ∞-圏の間に、内在的な対称性があるか？
• RQ5 U, Z∧, Z∨ の部分圏を保存する関手が、全体の ∞-圏上で同値を誘導する条件は何か？

主な発見

• 安定な ∞-圏 X は、反射的かつコリフレクティブな全部分圏 U が存在する場合に限り、再構成可能構造を備える。
• 右直交補完 Z∧ は反射的であり、左直交補完 Z∨ はコリフレクティブであり、それぞれ随伴 i∧ および i∨ を持つ。
• i∧i∨ と i∨i∧ の合成が、Z∧ と Z∨ の間の逆同値を定義し、再構成可能構造における深い対称性を明らかにする。
• X における再構成可能構造全体は、0, 1 および全単体における層を持つ Δ¹ に沿った層状構造と同値である。
• X から X′ への再構成可能構造間の関手 F: X → X′ は、U, Z∧, Z∨ の部分圏を保存し、U および Z∧ または Z∨ の少なくとも一方で同値を誘導する場合、同値である。
• ∞-圏 X は、ファイバーが Z∧ × {0} および U × {1} である Δ¹ 上のコカルテジアンファイブレーションのセクションの ∞-圏と同値であり、再構成可能構造の幾何的モデルを提供する。