[論文レビュー] Functors on Posets Left Kan Extend to Cosheaves: an Erratum

Justin Curry|arXiv (Cornell University)|Jul 22, 2019

Homotopy and Cohomology in Algebraic Topology参考文献 16被引用数 8

ひとこと要約

この論文は、偏順序集合からcocomplete圏への関手の左カルタン拡張が、その下集合の偏順序集合への埋め込みに沿って行われるとき、それがコシェーブとなるという修正済みで自己完結的な証明を提供する。証明は、このようなカルタン拡張が基本的被覆に関してコシェーブ条件を満たすことを示しており、誤った以前の議論を是正し、偏順序集合上のコシェーブ理論における重要な結果の有効性を回復する。

ABSTRACT

In this note we give a self-contained proof of a fundamental statement in the study of cosheaves over a poset. Specifically, if a functor has domain a poset and co-domain a co-complete category, then the left Kan extension of that functor along the embedding of the domain poset into its poset of down-sets is a cosheaf. This proof is meant to replace the mistaken proofs published in the author's thesis and an article on dualities exchanging cellular sheaves and cosheaves.

研究の動機と目的

• 偏順序集合上の関手の左カルタン拡張がコシェーブを生じるとして主張した過去の研究における誤った証明を是正すること。
• 偏順序集合をその下集合の偏順序集合に埋め込むことによる左カルタン拡張がコシェーブを生じることを、自己完結的かつ厳密に証明すること。
• 特にカルタン拡張を用いてコシェーブを構成する際に依存する、コシェーブ理論における主要な結果の有効性を回復すること。
• コシェーブ定義に特に関連する二つの被覆の概念——基本的被覆とČech被覆——を導入し、明確化すること。
• シェーブの証明を双対化し、シェーブとコシェーブの間の双対性の対称性と明確さを保証すること。

提案手法

• カルタン拡張の定義域として、元の偏順序集合の下集合の偏順序集合を用い、元の偏順序集合からこの圏への包含関手を定義する。
• 基本的被覆を、対ごとの交わりが被覆要素の和集合であるような被覆として定義し、位相空間の基底の性質に由来する。
• 左カルタン拡張の構成を適用し、拡張が基本的被覆に関してコシェーブ条件を満たすことを示す。
• 余帰納性の議論を圏の圏に適用し、カルタン拡張の余極限を計算することで、元の関手の値と同型であることを示す。
• 繰り返しカルタン拡張と合成の性質を用い、被覆上の余極限と元の関手との間の自然同型を関係づける。
• 関手が圏 (π₂↓p) の上での余極限が F(p) と同型であることを示し、コシェーブ条件が成立することを証明する。

実験結果

リサーチクエスチョン

• RQ1 偏順序集合 P から cocomplete 圏 C への関手 F: P → C の、P をその下集合の偏順序集合に埋め込むことによる左カルタン拡張は、アレクサンドロフ位相に関してコシェーブとなるか？
• RQ2 偏順序集合上でのコシェーブを定義するにあたり、正しい被覆の概念とは何か？また、基本的被覆とČech被覆の違いは何か？
• RQ3 以前の証明がなぜ失敗したのか、そしてその代わりに正しい議論は何か？
• RQ4 コシェーブの証明を自然に双対化することで、シェーブに関する対応する証明が得られるか？
• RQ5 不完全な被覆の細分議論に依存せずに、カルタン拡張の構成を用いてコシェーブ条件を回復できるか？

主な発見

• 偏順序集合 P から cocomplete 圏 C への関手 F: P → C の、P をその下集合の偏順序集合に埋め込むことによる左カルタン拡張は、基本的被覆に関してコシェーブである。
• 証明により、関手 F が圏 (π₂↓p) の上での余極限が F(p) と同型であることが示され、コシェーブ条件が満たされることを確認した。
• 文献[3]および[4]における以前の証明は、被覆の細分に依存しており誤りであり、代わりに余帰納性と基本的被覆に基づく正しい議論に置き換えられた。
• この構成は自然に双対可能であるため、同様の議論により右カルタン拡張がシェーブを生じることを示し、シェーブとコシェーブの双対性が回復された。
• この結果により、恒常的ホモロジーとリーブ・グラフなどの応用分野でカルタン拡張を用いてコシェーブを構成する手法の有効性が裏付けられた。
• 本論文は、対ごとの交わりが被覆要素の和集合であるような基本的被覆——これがこの文脈でのコシェーブを定義するにふさわしい概念である——が、Čech被覆よりも適切であることを明確にした。