[論文レビュー] Simplicial principal bundles in parametrized spaces

David Roberts, Danny Stevenson|arXiv (Cornell University)|Mar 12, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 35被引用数 10

ひとこと要約

この論文は、固定された基底空間 $B$ 上のパラメトリズド設定において、単体的アプローチを用いて主バンドルを分類するものであり、ファイバーごとの幾何的実現を用いて、パラメトリズド群の積を保存する分類空間関手を構成する。主な結果は、パラメトリズド主 $G$-バンドルの同型類と、分類空間 $BG$ へのファイバーごとのホモトピー類の間の全単射を確立し、古典的な単体的分類空間理論をパラメトリズド文脈に拡張する。

ABSTRACT

In this paper we study the classifying theory of principal bundles in the parametrized setting, motivated by recent interest in higher gauge theory. Using simplicial techniques, we construct a product-preserving classifying space functor for groups in the category of spaces over a fixed space B. Additionally, we prove that the fiberwise geometric realization functor sends a large class of simplicial parametrized principal bundles to ordinary parametrized principal bundles. As an application we show that the fiberwise geometric realization of the universal simplicial principal bundle for a simplicial group G in the category of spaces over B gives rise to a parametrized principal bundle with structure group |G|.

研究の動機と目的

• 固定された基底空間 $B$ 上のパラメトリズド設定に、単体的分類空間理論を拡張すること。
• パラメトリズド群のための分類空間関手 $B(-)$ を、積を保存するように構成すること。
• 適切な条件下で、単体的パラメトリズド主バンドルのファイバーごとの幾何的実現が、通常のパラメトリズド主バンドルをもたらすことを示すこと。
• 構築した分類空間を用いて、パラメトリズド主バンドルの分類定理を確立すること。
• 理論が、標準的なホモトピー理論における仮定と一致するように、よく切断された、ファイブレーション的パラメトリズド群に適用可能であることを保証すること。

提案手法

• 著者たちは、固定された基底空間 $B$ 上の空間の圏 $\mathscr{K}_{/B}$ で作業し、May と Sigurdsson が導入した $f$-モデル構造を用いる。
• パラメトリズド群および単体的パラメトリズド群を、それぞれ $\mathscr{K}_{/B}$ および $s\mathscr{K}_{/B}$ 内部の群として定義する。
• パラメトリズド群 $G$ の標準的な単体的モデルとしての分類空間が構成され、そのファイバーごとの幾何的実現が $BG$ を与える。
• ファイバーごとの幾何的実現関手が、ファイブレーション性および適切な正規性の条件下で、主バンドルの構造を保存することを示す。
• $L$-条件と $\bar{f}$-コフェイブル性が $\mathscr{K}_{/B}$ で成立することを確認するため、ファイバーごとの NDR 対とプッシュアウト・プロダクト定理を用いる。
• 主な技術的道具は、$\mathscr{K}_{/B}$ 内の良い単体的対象が正規であることを検証することであり、これにより幾何的実現と単体的構造の整合性が保証される。

実験結果

リサーチクエスチョン

• RQ1 古典的な単体的分類空間構成を、基底空間 $B$ 上のパラメトリズド設定にどのように一般化できるか？
• RQ2 単体的パラメトリズド主バンドルのファイバーごとの幾何的実現が、適切に扱える通常のパラメトリズド主バンドルとなるための条件は何か？
• RQ3 パラメトリズド群のための分類空間関手 $B(-)$ が、パラメトリズド文脈において積を保存するか？
• RQ4 分類定理がパラメトリズド設定で成り立つために必要なファイブレーション性および切断条件は何か？
• RQ5 単体的パラメトリズド群 $G$ の普遍的単体的主バンドルのファイバーごとの幾何的実現は、$|G|$ のための分類バンドルをもたらすか？

主な発見

• よく切断された、ファイブレーション的なパラメトリズド群 $G$ に対して、分類空間関手 $B(-)$ は圏 $\mathscr{K}_{/B}$ において積を保存する。
• 正規な単体的対象 $M$ 上の単体的パラメトリズド主バンドル $P$ に対して、各レベルで $G_n$-バンドルが可算的である場合、そのファイバーごとの幾何的実現は、局所的に自明なパラメトリズド主 $|G|$-バンドルをもたらす。
• 単体的パラメトリズド群 $G$ の普遍的単体的主バンドルの幾何的実現は、$|G|$ のための分類バンドルをもたらす。これは古典理論と整合することを確認する。
• $\mathscr{K}_{/B}$ 内の良い単体的対象はすべて正規であるため、幾何的実現と単体的構造の整合性が保証される。
• $\mathscr{K}_{/B}$ において $\bar{f}$-コフェイブルに対して $L$-条件が成り立つため、正規性と主な分類結果の証明が可能になる。
• 主な分類定理は、パラコンパクトな $M$ およびファイブレーション的でよく切断された $G$ に対して、$H^1(M,G)_{\mathscr{K}_{/B}} \simeq [M,BG]_{\mathscr{K}_{/B}}$ の全単射を確立する。