[論文レビュー] The topological realization of a simplicial presheaf

Carlos Simpson|ArXiv.org|Sep 3, 1996

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

ひとこと要約

本稿では、スペクトラム(C)上のスキームにおけるエタールまたはザリスキ位相を備えたサイトのような単体的プレシェーブのための位相的実現関手を導入し、イユーズィ弱同値に関してホモトピー的不変性であることを証明する。この構成により、デリーニュ＝ムーディー スタックの位相的実現が計算可能となり、$n$-トポスへの理論の拡張への道筋が示唆される。

ABSTRACT

The purpose of this article is to define the topological realization of a simplicial presheaf and to prove (under appropriate conditions) that it is homotopy-invariant under Illusie weak equivalence. In particular this applies to the site of schemes over $Spec (\cc)$ with the etale or Zariski topologies. As an application we show how to calculate the topological realization of a Deligne-Mumford stack. At the end we speculate on how to extend this to the case of $n$-topoi.

研究の動機と目的

• サイト（例：$\mathrm{Spec}(\mathbb{C})$ 上のスキームでエタールまたはザリスキ位相を備えたもの）における単体的プレシェーブのための位相的実現関手を定義すること。
• この実現関手がイユーズィ弱同値に関してホモトピー的不変であること、すなわちホモトピー的構造と整合することを確立すること。
• 提案された関手を用いてデリーニュ＝ムーディー スタックの位相的実現を計算可能なツールとして提供すること。
• $n$-トポスの文脈への実現関手の拡張を検討し、将来の一般化への方向性を示すこと。

提案手法

• 位相的実現は、各スキームにおけるプレシェーブ値に単体的複体関手を適用し、サイトの圏を走る余極限を取ることで構成される。
• この構成は、サイトがグローテンディーク位相を備えていることを利用し、ホモトピー型をモデル化するセーチェ型分解の使用を可能にする。
• ホモトピー不変性は、イユーズィ弱同値が実現された空間上で弱ホモトピー同値を誘導することを示すことによって証明される。
• 証明は、単体的プレシェーブの適切なモデル構造の存在と、実現がファイブランス補完と整合することに依存する。
• 実現が有限極限と可換であり、適切な条件下で弱同値を保存することを示した。
• デリーニュ＝ムーディー スタックへの適用は、その分類単体的プレシェーブを実現し、得られる位相空間を計算することで行われる。

実験結果

リサーチクエスチョン

• RQ1 グローテンディーク位相を備えたサイトにおける単体的プレシェーブのための位相的実現関手をどのように定義できるか？
• RQ2 イユーズィ弱同値に関して、位相的実現関手がいつホモトピー的不変性を満たすか？
• RQ3 この関手を用いてデリーニュ＝ムーディー スタックの位相的実現を計算できるか？
• RQ4 実現関手が、極限やファイブランス補完とどのように整合するかといった構造的性質は何か？
• RQ5 この構成をどの程度まで $n$-トポスに一般化できるか？

主な発見

• エタールまたはザリスキ位相を備えた $\mathrm{Spec}(\mathbb{C})$ 上のサイトにおける単体的プレシェーブの位相的実現は、well-defined かつ関手的である。
• 実現関手はイユーズィ弱同値を保存する。これは、全空間上で弱ホモトピー同値を誘導することを意味する。
• デリーニュ＝ムーディー スタックの場合、位相的実現は関連する群ガロア群の分類空間と一致し、明示的な計算が可能になる。
• この構成は、特にファイブランス補完において、単体的プレシェーブのホモトピー論と整合する。
• 本稿は、高次のカテゴリカル構造の使用を通じて、位相的実現を $n$-トポス理論へ拡張する基盤を提供する。
• 実現プロセスは有限極限と可換であり、基礎となるサイト構造を尊重するため、異なる幾何的文脈間で一貫性が保たれる。