[論文レビュー] Hypercovers in topology

Daniel Dugger, Daniel C. Isaksen|ArXiv.org|Nov 27, 2001

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用数 9

ひとこと要約

本稿では、任意の位相的空間のハイパーカバーのホモトピー余極限が、元の空間と弱同値であることを確立している。これは、Čechカバーに関する古典的結果を一般化するものである。著者らは、組合せ的かつ幾何的な議論により一般のハイパーカバーの場合をČechカバーの場合に還元し、ストロムモデル構造におけるコフェイブルでないホモトピー余極限定理を用いることで、ハイパーカバーが正しいホモトピー型を計算することを証明した。これにより、スキームのA¹ホモトピー理論における位相的実現関手の構成が可能になる。

ABSTRACT

We show that if U is a hypercover of a topological space X then the natural map from hocolim U to X is a weak equivalence. This fact is used to construct topological realization functors for the A^1-homotopy theory of schemes over real and complex fields.

研究の動機と目的

• 位相的空間におけるČechカバーに関するセガールの結果をハイパーカバーへ一般化すること。
• 任意のハイパーカバーのホモトピー余極限が、元の空間と弱同値であることを確立すること。
• スキームのA¹ホモトピー理論における位相的実現関手を構成するための基盤的道具を提供すること。
• 位相的空間のホモトピー余極限計算におけるコフェイブル性の問題を解消すること。
• ホワイトヘッドの定理や局所係数系といった複雑なホモトピー的道具を避ける、洗練された初等的証明を提供すること。

提案手法

• 組合せ的かつ幾何的な議論により、一般のハイパーカバーの場合をČechカバーの場合に還元する。
• すべての対象がコフェイブルであるストロムモデル構造を用いることで、ホモトピー余極限構成におけるコフェイブル性の仮定を回避する。
• 付録Aに示された新しい定理（付録A）を適用し、位相的空間におけるホモトピー余極限がコフェイブル補完を必要としないことを示す。
• 単体的空間のスケルトン的フィルトレーションと、幾何的実現のプッシュアウト構造を用いてホモトピー群を制御する。
• コンパクト空間（例：球面）から幾何的実現への写像が、有限スケルトンを通して因数分解可能であるという事実を用いることで、帰納的議論を可能にする。
• 補題A.6を活用：自由な退化をもつ単体的空間の写像が各次元で弱同値を誘導するならば、その幾何的実現も弱同値である。

実験結果

リサーチクエスチョン

• RQ1 ハイパーカバーのホモトピー余極限から元の空間への自然な写像は弱同値か？
• RQ2 位相的空間のホモトピー余極限を計算する際、コフェイブル性の条件を除くことは可能か？
• RQ3 ハイパーカバーの幾何的実現は、被覆する空間の正しいホモトピー型を計算するか？
• RQ4 A¹ホモトピー理論における位相的実現関手は、ホモトピー圏からモデル圏の段階に持ち上げられるか？
• RQ5 ハイパーカバーのホモトピー余極限は、被覆のČech複体とどのように関係するか？

主な発見

• 任意の開ハイパーカバーのホモトピー余極限から元の空間への自然な写像は弱同値であり、これはセガールのČechカバーに関する結果を一般化する。
• ストロムモデル構造のおかげで、すべての対象がコフェイブルであるため、位相的空間の単体的空間のホモトピー余極限は、コフェイブルでない場合でもその幾何的実現と弱同値である。
• コンパクト空間から単体的空間の幾何的実現への写像は、有限スケルトンを通して因数分解可能であり、これによりホモトピー群の帰納的制御が可能になる。
• ストロムモデル圏におけるホモトピー余極限は、標準的な位相的空間のモデル圏におけるそれと同一の弱ホモトピー型を持つ。
• この結果により、R上の空間の圏からZ₂-可換位相的空間へのQuillen写像を、実解析的実現を介して構成することが可能になる。
• 補題1.3では、任意の局所的に分解可能な写像に対して、そのČech複体のホモトピー余極限が、基本空間と弱同値であることが示されている。