[論文レビュー] Homotopy Transition Cocycles

James F. Wirth, Jim Stasheff|ArXiv.org|Sep 7, 2006

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

ひとこと要約

この論文は、構造群の代わりにファイバー $ F $ の自己ホモトピー同値のモノイド $ H(F) $ に値をとる移行コサイクルを用い、厳密なコサイクル恒等式の代わりに高次ホモトピー整合性条件を満たすものとして、局所的にホモトピー的に自明なファイブレーションを分類するホモトピー論的枠組みを構築する。移行関数を強いホモトピーの意味でのファンクター（ホモトピー整合的ファンクター）としてモデル化し、$ H(F) $ の分類空間を用いて実現することで、ファイバーのホモトピー同値類と $ BH(F) $ へのホモトピー類の間の1対1対応を確立し、古典的なバンドル分類をホモトピー圏へ一般化する。

ABSTRACT

For locally homotopy trivial fibrations, one can define transition functions $$ g\dab : U\da\cap U\db o H = H(F)$$ where $H$ is the monoid of homotopy equivalences of $F$ to itself but, instead of the cocycle condition, one obtains only that $g\dab g\dbgam$ is homotopic to $g\dagam$ as a map of $U\da\cap U\db\cap U\dgam$ into $H$. Moreover on multiple intersections, higher homotopies arise and are relevant to classifying the fibration. The full theory was worked out by the first author in his 1965 Notre Dame thesis \cite{wirth:diss}. Here we present it using language that has been developed in the interim. We also show how this points a direction `on beyond gerbes'.

研究の動機と目的

• 構造群 $ G $ を用いた古典的バンドルの分類を、構造写像がホモトピーの意味でのみ定義可能であるホモトピー論的設定に一般化し、コサイクル条件をホモトピー整合性に弱める。
• 複数重なり領域における高次ホモトピーがファイブレーションの分類に果たす役割を、補正としての役割ではなく、本質的データとして形式化する。
• ホモトピー整合的圏と分類空間の道具を用いて、Wirthの1965年の学位論文におけるファイブレーション理論を現代的で言語最適化された形で再構築する。
• この理論をゲルベと高次ゲージ理論と結びつけ、ゲルベが、整合性が切断された（可逆元による共役による）ホモトピー移行コサイクルの特別な場合であることを示す。
• ファイバー $ F $ の自己ホモトピー同値のモノイドの分類空間 $ BH(F) $ を用いた、ファイブレーションの分類定理を確立する。

提案手法

• ファイバー $ F $ の自己ホモトピー同値のモノイド $ H(F) $ への写像 $ g_{\alpha\beta} : U_\alpha \cap U_\beta \to H(F) $ として移行関数をモデル化し、古典的バンドルの構造群 $ G $ を置き換える。
• 厳密なコサイクル条件 $ g_{\alpha\beta}g_{\beta\gamma} = g_{\alpha\gamma} $ を、三重交わり上でのホモトピー整合性条件 $ g_{\alpha\beta}g_{\beta\gamma} \simeq g_{\alpha\gamma} $ に置き換える。
• 被覆 $ \{U_\alpha\} $ によって定義されるトポロジカル圏 $ \mathcal{U} $ から $ H(F) $ へのホモトピー整合的ファンクターの概念を用い、複数重なり領域における高次ホモトピーを符号化する。
• トポロジカル圏 $ \mathcal{U} $ を空間 $ |\mathcal{U}| $ として実現し、可数被覆に対しては、そのホモトピー型が基底空間 $ B $ と一致する。
• ホモトピー整合的ファンクターによって誘導される写像 $ B \simeq |\mathcal{U}| \to |H(F)| = BH(F) $ を通じて、分類写像 $ f: B \to BH(F) $ を構成する。
• Wirthの貼り合わせ／接着定理（マッピングシリンダー構成）を用いて、ホモトピー整合的移行データから真のファイブレーションを再構成し、得られる対象が正当なファイブレーションであることを保証する。

実験結果

リサーチクエスチョン

• RQ1 ファイバーバンドルにおける古典的移行コサイクル条件は、構造写像がホモトピーの意味でのみ定義可能であるファイブレーションにどのように一般化できるか？
• RQ2 複数重なり領域における高次ホモトピーはファイブレーションの分類にどのような役割を果たし、どのように体系的に符号化できるか？
• RQ3 ファイバー $ F $ の自己ホモトピー同値のモノイドの分類空間 $ BH(F) $ は、局所的にホモトピー的に自明なファイブレーションの普遍的分類空間として機能できるか？
• RQ4 ホモトピー移行コサイクルの理論はゲルベの理論とどのように関係し、どのような意味でゲルベがこの枠組みの特別な場合であるか？
• RQ5 Wirthが形式化したファイブレーション理論の公理は、幾何的およびホモトピー的文脈の間で分類結果を統一するために、どの程度まで利用可能か？

主な発見

• 可数被覆上で局所的にホモトピー的に自明なファイブレーション $ p: E \to X $ のファイバーのホモトピー同値類は、$ H(F) $ をファイバーの自己ホモトピー同値のモノイドとするとき、$ X \to BH(F) $ へのホモトピー類の1対1対応にある。
• 分類写像 $ f: X \to BH(F) $ は、被覆圏 $ \mathcal{U} $ のネスの実現と、普遍的ファイブレーション $ UE \to BH(F) $ の引き戻しを通じて構成され、元のファイブレーションはファイバーのホモトピー同値性の意味で再構成可能である。
• 移行データから分類写像を構成する手続きはホモトピーの意味で一意であり、逆の手続き（普遍的ファイブレーションの引き戻し）により、元のファイブレーションとホモトピー同値なファイブレーションが得られ、これにより分類が確立される。
• 複数重なり領域における高次ホモトピーは補正としての役割ではなく、ホモトピー整合的ファンクターを定義する本質的データであり、その整合性はファイブレーション構造の存在と同値である。
• ゲルベは、整合性データが厳密（可逆元による共役により）であるホモトピー移行コサイクルの特別な場合として現れ、高次ゲルベは移行データにおける整合性の高次レベルに対応する。
• この理論は『スタックを追い続ける』ことや代数幾何における高次構造の基礎を提供し、ホモトピー整合的ファンクターと分類空間の枠組みは、高次ゲージ理論や導来幾何における降下理論の自然な言語を提供する。