[論文レビュー] Hypercovers and simplicial presheaves

Daniel Dugger, Sharon Hollander+1 more|ArXiv.org|May 2, 2002

Algebraic structures and combinatorial models参考文献 11被引用数 8

ひとこと要約

この論文は、Jardineの単体的前層のモデル構造におけるファイブレーション対象が、より強いČech降下条件に代わるハイパーカバー降下を満たすものであることを確立している。ハイパーカバーで局所化することで、著者たちはファイブレーション対象およびファイブレーションの明示的特徴づけを降下条件を用いて与え、非アーベル層コホホロジーおよびA¹ホモトピー論における構成的でホモトピー論的な基礎を提供する。

ABSTRACT

We prove that Jardine's model category of simplicial presheaves can be obtained by localizing the `discrete' version at the collection of all hypercovers. One consequence is that the fibrant objects can be explicitly identified in terms of a hypercover descent condition. Another is a very simple approach to change-of-site functors. In an appendix, we discuss how this hypercover localization compares to the more naive process of localizing at the Cech complexes; the two are not the same in general, but agree in some cases of interest.

研究の動機と目的

• Jardineの単体的前層のモデルカテゴリにおけるファイブレーション対象およびファイブレーションの明示的で計算可能な特徴づけを提供すること。
• Jardineの元々の上昇に基づくファイブレーション基準に欠ける幾何的直観を、降下条件に置き換えること。
• ファイブレーション対象が、Čech被覆だけでなくすべてのハイパーカバーについて降下を満たすものであることを示すことにより、一般的な誤解を是正すること。
• Jardineの局所モデル構造がハイパーカバーにおけるBousfield局所化として生じることを確立し、そのホモトピー論的基礎を明確にすること。
• 新しい特徴づけを、ヴェルディエのサイトや内部ハイパーカバーといった具体的な設定に応用し、ホモトピー離散なファイブレーション置換に関する重要な結果を証明すること。

提案手法

• 反復被覆の交わりへの被覆から構成される一般化された被覆であるハイパーカバーを、局所的弱同値条件を定義するための主要な道具として用いる。
• 単体的前層のインジェクティブモデル構造をハイパーカバーでBousfield局所化することで、局所モデル構造を構成する。
• ファイブレーション対象を、すべてのハイパーカバーについて降下を満たすもの、すなわち任意のハイパーカバー $ U \to X $ に対して自然な写像 $ F(X) \to \operatorname{holim}_n F(U_n) $ が弱同値であるものとして特徴づける。
• ファイブレーションが、Čechの場合を一般化した相対的降下条件によって特徴づけられることを証明する。
• フィルトレーション $ L_n F $ を用いてファイブレーション置換関手 $ L_\infty F $ を分析し、それが安定化し、ホモトピー的に離散的になることを示す。
• 単体的集合および被覆シーブの性質を用いて、拡張および上昇の性質を検証し、$ L_\infty F $ がファイブレーションであり、かつ $ \pi_0 L_\infty F \cong \mathcal{A}F $ であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 Jardineの局所モデル構造における単体的前層のファイブレーション対象を特徴づける正しい降下条件は何か？
• RQ2 なぜČech降下はファイブレーション対象を特徴づけないのか？より強い条件は何か？
• RQ3 単体的前層の局所モデル構造を、ハイパーカバーにおけるBousfield局所化として明示的に記述できるか？
• RQ4 ファイブレーションを、抽象的な上昇性質ではなく、相対的降下条件によってどのように特徴づけられるか？
• RQ5 ハイパーカバーは、ホモトピー的に離散的で、関連する連結成分の層 $ \mathcal{A}F $ を代表するファイブレーション置換を構成する際に果たす役割は何か？

主な発見

• Jardineのモデルカテゴリ $ sPre(\mathcal{C})_{\mathcal{L}} $ におけるファイブレーション対象は、インジェクティブモデル構造でファイブレーションであり、かつすべてのハイパーカバーについて降下を満たす単体的前層に限り、一致する。
• 局所モデル構造におけるファイブレーションは、相対的降下条件によって特徴づけられ、Čechの場合を一般化する。
• ファイブレーション置換 $ L_\infty F $ はホモトピー的に離散的であり、$ \pi_0 L_\infty F \cong \mathcal{A}F $ を満たす。
• 自然な写像 $ F \to L_\infty F \to \mathcal{A}F $ は $ sPre(\mathcal{C})_{\mathcal{L}} $ において局所的弱同値である。これは $ L_\infty F $ が $ F $ のファイブレーション置換であることを示している。
• $ L_n F $ の構成は、次の性質を満たす：$ n $-スケルトン的であり、$ > n $ 次元で退化しており、$ \partial\Delta^n $ および $ \Lambda^{2,k} $ からの写像の拡張を可能にする。これによりファイブレーション性が保証される。
• 証明は、$ F \to L_{n-1}F $ がコフェイブルであり、従って単射であるという事実を用いて、$ \partial\Delta^n $ からの写像が被覆シーブ上で貼り合わせ可能であることを示すことに依存している。