[論文レビュー] Classifying spaces and fibrations of simplicial sheaves

Matthias Wendt|arXiv (Cornell University)|Sep 15, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 39被引用数 7

ひとこと要約

本稿は、サイト上の単体的層のファイブレーションの2つの分類枠組みを確立する。1つは、点付きファイブレーションにおけるブラウン表現を用い、点付き分類空間 $B^fF$ を得る。もう1つは、ホモトピー自己同型のモノイド上のバーバー構成を用い、非点付き分類空間 $B(*, \operatorname{hAut}_\bullet(F), *)$ を得る。主な結果は、単体的層 $X$ 上の局所的に自明なファイブレーションの同値類と、それぞれの分類空間へのホモトピー類の間の自然な全単射である。

ABSTRACT

In this paper, we discuss the construction of classifying spaces of fibre sequences in model categories of simplicial sheaves. One construction proceeds via Brown representability and provides a classification in the pointed model category. The second construction is given by the classifying space of the monoid of homotopy self-equivalences of a simplicial sheaf and provides the unpointed classification.

研究の動機と目的

• 単体的層のホモトピー圏におけるファイブレーションの分類理論を構築すること。
• 元来単体的集合や位相空間に対して考案された古典的な分類空間構成を、単体的層の設定に拡張すること。
• 異なるホモトピー的技法（ブラウン表現とバーバー構成）を用いて、点付きおよび非点付きの両方の分類結果を確立すること。
• 単体的集合に限らない、単体的層による内部的分類を提供することにより、$Α^1$-ホモトピー理論への応用を可能にすること。
• 局所的に自明なファイブレーションが、2つの手法で構成された分類空間へのホモトピー類と自然に全単射対応することを証明すること。

提案手法

• 単体的層の点付きモデル圏におけるブラウン表現を用い、ファイバーが $F$ のファイブレーションの点付き分類空間 $B^fF$ を構成する。
• ホモトピー自己同型の単体的層 $\operatorname{hAut}_\bullet(F)$ 上のバーバー構成 $B(*, \operatorname{hAut}_\bullet(F), *)$ を用い、非点付き分類空間を構成する。
• グロテンディーク位相における局所自明性の概念を導入し、すべてのファイバーが $F$ とホモトピー同値であるという条件を一般化する。
• 元来レツクによるものであるホモトピー分配性を適用し、ファイブレーションの貼り合わせを正当化し、表現性の条件を満たす。
• 超被覆を用いてホモトピー圏内の写像を表現し、主化を用いて与えられたファイブレーションから分類写像を構成する。
• ホモトピー類の写像とファイブレーションの同値類との間の自然変換を確立し、明示的構成とホモトピー不変性を用いて全単射を証明する。

実験結果

リサーチクエスチョン

• RQ1 古典的な単体的集合におけるファイブレーションの分類は、サイト上の単体的層へどのように一般化できるか？
• RQ2 固定されたファイバー $F$ を持つファイブレーションに関連するファイバー関手が、単体的層のホモトピー圏において表現可能であるための条件は何か？
• RQ3 ファイバー $F$ のホモトピー自己同型のモノイド上のバーバー構成は、単体的層の圏における非点付きファイブレーションをどのように分類するか？
• RQ4 ホモトピー分配性は、単体的層の設定におけるファイブレーションの貼り合わせと分類空間の構成を可能にする上で果たす役割は何か？
• RQ5 点付きおよび非点付きの分類理論は、特に $\pi_0\operatorname{hAut}_\bullet(F)$ が点付きファイブレーションの集合に作用するという観点から、どのように関係しているか？

主な発見

• 点付き分類空間 $B^fF$ は、根付き同値類の意味で、ファイバーが $F$ の局所的に自明なファイブレーションを分類する。これは、$X$ 上のそのようなファイブレーションの同値類と、$[X, B^fF]$ の点付きホモトピー類との間の自然な全単射によって実現される。
• 非点付き分類空間 $B(*, \operatorname{hAut}_\bullet(F), *)$ は、ファイバーが $F$ の局所的に自明なファイブレーションを同値類の意味で分類する。これは、$X$ 上のファイブレーションの同値類と、$[X, B(*, \operatorname{hAut}_\bullet(F), *)]$ の非点付きホモトピー類との間の自然な全単射によって実現される。
• 2つの分類空間は、$\pi_0\operatorname{hAut}_\bullet(F)$ の作用によって関係している：点付き分類集合をこの作用による商集合に取ることで、非点付き分類集合が得られる。
• 構成はホモトピー分配性に強く依存しており、これはホモトピー極限と余極限の交換を可能にし、超被覆上のファイブレーションの貼り合わせを可能にする。
• 分類写像は、超被覆の自明化と主化を用いて構成され、交わりにおける遷移データが $\operatorname{hAut}_\bullet(F)$ への写像を生じさせ、結果としてバーバー構成への写像を導く。
• ファイブレーションと分類空間への写像の間の全単射は、2つの自然変換の合成が両方向で恒等写像であることを示すことにより確立され、超被覆のホモトピー不変性が用いられる。