[論文レビュー] Flexible sheaves

Carlos Simpson|arXiv (Cornell University)|Aug 29, 1996

Homotopy and Cohomology in Algebraic Topology被引用数 8

ひとこと要約

本稿は、グロテンディーク・サイト上でホモトピー整合的プレシャーブを満たし、準ずるまたはnスタックと同等の下降条件を満たす、柔軟なシャーヴァーを導入する。この論文では、自然な作用をn+2回繰り返すことで、柔軟なシャーヴァー化関手を構成し、イルシューの導来圏における準同型とホモトピー整合的写像のホモトピー類を同一視するヴォグトの定理の類似を確立する。

ABSTRACT

We look at homotopy-coherent diagrams of spaces (after Segal, Leitch, Vogt, Mather, Cordier) over a Grothendieck site; we call these ``flexible presheaves''. After some preliminary materiel, we define the ``flexible sheaf'' condition. This descent condition (known to Thomason) is the same as what Jardine called being ``flasque'' with respect to the presheaves representable by objects in the site; and it is more recently known as the condition of being an $n$-stack. We construct the flexible sheaf associated to a flexible presheaf in the $n$-truncated case, as an application of a certain natural operation $n+2$ times. We prove an analogue of Vogt's theorem for the case where the Grothendieck topology is nontrivial, identifying the set of morphisms in Illusie's derived category as the set of homotopy classes of homotopy-coherent morphisms between flexible sheaves. The homotopy-coherent point of view allows one easily to define the flexible mapping sheaf $Hom (R,T)$ between two flexible sheaves. This revision fills major gaps in the bibliography. References to the additional items are inserted in the text. A new introduction and abstract are added (the old ones are retained as comments in the source file). A few other minor changes in the exposition include arrangement of internal references.

研究の動機と目的

• グロテンディーク・サイト上の空間のホモトピー整合的図式として柔軟なプレシャーブを形式化すること。
• 柔軟なシャーヴァー条件を定義・分析し、それが既知の概念（例えば準ずる性質やnスタック）と一致することを示すこと。
• n-切断された状況において、柔軟なプレシャーブに対し、自然な作用をn+2回繰り返すことで、柔軟なシャーヴァーを構成すること。
• ホモトピー整合的写像のホモトピー類と、イルシューの導来圏における準同型を同一視するヴォグトの定理の類似を確立すること。
• マッピング・シャーヴァーのための整合的枠組みを提供し、文献における大きな欠落を是正すること。

提案手法

• セガール、ヴォグト、コルディエの手法に従い、グロテンディーク・サイト上のホモトピー整合的図式として柔軟なプレシャーブをモデル化する。
• 柔軟なシャーヴァー条件を、準ずる性質やnスタックと同等の下降条件として定義する。
• n-切断された設定において、自然な作用をn+2回繰り返すことで、柔軟なシャーヴァー化関手を構成する。
• ホモトピー整合的視点を用いて、二つの柔軟なシャーヴァー間の柔軟なマッピング・シャーヴァー$\mathrm{Hom}(R,T)$を定義する。
• ホモトピー整合的写像のホモトピー類$\mathrm{Hom}_{\text{ho}}(R,T)$とイルシューの導来圏における準同型を同一視することで、ヴォグトの定理の類似を証明する。
• 参考文献を再編集・拡充し、重要な参照文献を統合し、説明の明瞭さと整合性を向上させる。

実験結果

リサーチクエスチョン

• RQ1 ホモトピー整合的手法を用いて、グロテンディーク・サイト上での柔軟なプレシャーブを体系的に定義・特徴づける方法は何か？
• RQ2 柔軟なシャーヴァー条件と、準ずる性質やnスタックといった既存の概念との明確な関係は何か？
• RQ3 n-切断された状況において、柔軟なシャーヴァー化関手を構成できるか？ もしそうなら、そのメカニズムは何か？
• RQ4 ホモトピー類に関するヴォグトの定理が、柔軟なシャーヴァーと導来圏の文脈にどの程度まで拡張可能か？
• RQ5 柔軟なマッピング・シャーヴァー$\mathrm{Hom}(R,T)$は、この枠組みの中でどのように自然に定義され、利用されるべきか？

主な発見

• 柔軟なシャーヴァー条件は、古典的な準ずる性質やnスタックの概念と同等である。
• n-切断された状況において、柔軟なプレシャーブに対し、自然な作用をn+2回適用することで、対応する柔軟なシャーヴァーが構成される。
• 柔軟なシャーヴァー間のホモトピー整合的写像のホモトピー類は、イルシューの導来圏における準同型と自然に同一視される。
• 柔軟なマッピング・シャーヴァー$\mathrm{Hom}(R,T)$は、適切に定義されており、ホモトピー整合的構造から自然に導かれる。
• 見直された枠組みにより、文献における主要な欠落が是正され、分野の基礎的結果の明瞭さと整合性が向上した。