[論文レビュー] Classifying theory for simplicial parametrized groups

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

Homotopy and Cohomology in Algebraic Topology参考文献 24被引用数 4

ひとこと要約

この論文は、基底空間 B 上の単体的群 G のファイバーewise幾何的実現によって与えられる構造群をもつパラメータ付き主バンドルの同型類を分類する理論を確立する。非可換コホロジー類 H(B, G) が、そのようなバンドルの同型類を分類することを示している。主な結果は、B および G に対して適切な条件下で H(B, G) とそのようなバンドルの同型類の集合との間に同型が存在することであり、これは古典的な主バンドルの分類をパラメータ付き空間における単体的群のホモトピー的設定に拡張するものである。

ABSTRACT

In this paper we describe a classifying theory for families of simplicial topological groups. If $B$ is a topological space and $G$ is a simplicial topological group, then we can consider the non-abelian cohomology $H(B,G)$ of $B$ with coefficients in $G$. If $G$ is a topological group, thought of as a constant simplicial group, then the set $H(B,G)$ is the set of isomorphism classes of principal $G$ bundles, or $G$ torsors, on $B$. For more general simplicial groups $G$, the set $H(B,G)$ parametrizes the set of equivalence classes of higher $G$ torsors on $B$. In this paper we consider a more general setting where $G$ is replaced by a simplicial group in the category of spaces over $B$. The main result of the paper is that under suitable conditions on $B$ and $G$ there is an isomorphism between $H(B,G)$ and the set of isomorphism classes of fiberwise principal bundles on $B$, with structure group $|G|$ given by the fiberwise geometric realization of $G$.

研究の動機と目的

• 古典的な主 G-バンドルの非可換コホロジーによる分類を、単体的パラメータ付き群の設定に拡張すること。
• 非可換コホロジー類 H(B, G) と、G のファイバーewise幾何的実現によって与えられる構造群をもつパラメータ付き主バンドルの同型類との間の対応を確立すること。
• B 上の単体的プレシェーヴの局所ホモトピー論を用いたホモトピー論的枠組みを提供し、ねじれ構造およびコサイクルを分析すること。
• B がパラコンパクトハウスドルフであり、G が適切に切断可能かつファイブレーション的であるなどの適切な条件下で、コホロジー集合 H(B, G) がパラメータ付き文脈における高次 torsor を分類することを証明すること。

提案手法

• B 上の単体的プレシェーヴのモデルカテゴリック構造を用い、茎ごとの弱ホモトピー同値性によって弱同値を定義する。
• B 上の単体的プレシェーヴの圏における内部的局所ホモトピー論を適用し、グロテンディーク位相および局所ファイブレーションを用いる。
• W-構成法を用いて単体的群の分類空間をモデル化し、ファイブレーション性とコホロロジー的分類との整合性を保証する。
• ファイバーewise幾何的実現関手 |·| を用いて、パラメータ付き空間内の単体的群から B 上の位相群へ移行し、バンドル分類を可能にする。
• 局所アセイクリック性の基準を適用し、d0 の核における余次元を構成し、重要な部分対象のファイバーewise コンパクト性を証明する。
• 写像 p: W|Dec G| → WG によって誘導されるファイブレーション系列を用い、対応する群系列の分解完全性を活用してコホロジーにおける長い完全系列を確立する。

実験結果

リサーチクエスチョン

• RQ1 G が B 上の空間の圏における単体的群であるとき、非可換コホロジー H(B, G) はどのようにして高次 G-torsor を分類するか？
• RQ2 基底空間 B および単体的群 G にどのような条件を課すと、H(B, G) がパラメータ付き主バンドルの同型類を分類するか？
• RQ3 G のファイバーewise 幾何的実現は、パラメータ付きバンドルの分類空間の構造をどのように捉えているか？
• RQ4 W-構成法はパラメータ付き設定において幾何的実現関手とどのように作用し、分類ファイブレーションを生成するか？
• RQ5 d0 の核のコンパクト性は、コホロジーとバンドル分類との同型を確立する上で果たす役割は何か？

主な発見

• 非可換コホロジー集合 H(B, G) と、G のファイバーewise 幾何的実現によって与えられる構造群をもつパラメータ付き主バンドルの同型類の集合との間に自然な同型が存在する。
• 写像 p: W|Dec G| → WG は、B 上の単体的プレシェーヴの圏における局所ファイブレーションであり、コホロジーにおける長い完全系列の適用を可能にする。
• 単体的群 Dec0G の微分 d0 の核は、ファイバーewise コンパクト的かつファイブレーション的であり、適切に切断可能である。これにより、特定のコホロジー類の自明性が保証される。
• B がパラコンパクトかつハウスドルフであり、各 Gn がファイバーewise コンパクトであるという仮定の下で、集合 [1, WG] は自明である。これは、すべての such バンドルが自明であることを示唆する。
• 写像 [1, W|Dec G|] ։ [1, WG] の全射性と [1, W|G|] の自明性を組み合わせることで、[1, WG] が自明であることが示され、これが主な同型を証明する上で不可欠である。
• ker(d0) に余次元が存在することは、そのファイバーewise 幾何的実現がファイバーewise コンパクトであることを保証し、証明における重要な技術的ステップとなる。