[論文レビュー] A Homotopy Theory of Orbispaces

Weimin Chen Chen|ArXiv.org|Feb 2, 2001

Homotopy and Cohomology in Algebraic Topology参考文献 32被引用数 29

ひとこと要約

この論文は、局所的な群作用を持つ一般化された空間（オーロビスパイス）のホモトピー理論を、それらの間の準同型と、ベースドループ空間を用いたホモトピー群の構成によって確立する。オーロリフォールドの自由ループ空間を、プレヒルバートオーロビスパイスとして定義し、弦理論におけるねじれセクターを一般化するとともに、ストリング的不変量を新たな枠組みで精緻化し、サトゥルの基本群構成を拡張する。

ABSTRACT

In 1985, physicists Dixon, Harvey, Vafa and Witten studied string theories on Calabi-Yau orbifolds (cf. [DHVW]). An interesting discovery in their paper was the prediction that a certain physicist's Euler number of the orbifold must be equal to the Euler number of any of its crepant resolutions. This was soon related to the so called McKay correspondence in mathematics (cf. [McK]). Later developments include stringy Hodge numbers (cf. [Z], [BD]), mirror symmetry of Calabi-Yau orbifolds (cf. [Ro]), and most recently the Gromov-Witten invariants of symplectic orbifolds (cf. [CR1-2]). One common feature of these studies is that certain contributions from singularities, which are called ``twisted sectors'' in physics, have to be properly incorporated. This is called the ``stringy aspect'' of an orbifold (cf. [R]). This paper makes an effort to understand the stringy aspect of orbifolds in the realm of ``traditional mathematics''.

研究の動機と目的

• 等変位相の自然な拡張としてオーロビスパイスの圏を形式化し、グローバルなホモトピー的枠組みの中で局所的な群作用を捉える。
• 相対ホモトピー群、被覆空間、ファイブレーションといった古典的構成を一般化する、オーロビスパイスのためのホモトピー理論を構築する。
• 自由ループ空間にプレヒルバートオーロビスパイス構造を導入することで、オーロリフォールドの「ストリング的側面」（ねじれセクターおよびオイラー特徴量）の数学的基盤を提供する。
• 物理学（例：弦理論におけるねじれ境界条件）および幾何学（例：メイケル対応）の先行概念を、位相的枠組みの中で統合・精緻化する。

提案手法

• 局所的に連結な位相空間に、SatakeのV多様体を一般化する、互換性のある局所G空間構造系を備えたオーロビスパイスの定義。
• 互換性のある局所等変換写像の同値類として、オーロビスパイス間の準同型を導入し、整合的な圏を形成する。
• オーロビスパイスのベースドループ空間を用いたホモトピー群の構成により、位相空間におけるループ空間構成を一般化する。
• オーロリフォールドの自由ループ空間を、S¹からオーロビスパイスへのすべての滑らかな準同型の空間として定義し、自然なプレヒルバートオーロビスパイス構造を備える。
• 連続な遷移写像と局所的自明化を用いて、チャート間でのループデータを関連付け、ホモトピー下で一貫性を保証する。
• 重複するチャートにおけるループ系と遷移データの分析を通じて、オーロビスパイスのSeifert–van Kampen型定理を確立する。

実験結果

リサーチクエスチョン

• RQ1 相対ホモトピー群やファイブレーションといった古典的ホモトピー不変量を拡張するため、オーロビスパイスのホモトピー理論を体系的に構築する方法は何か？
• RQ2 カーリ・ヤウオーロリフォールド上の弦理論における「ねじれセクター」の正確な位相的意味は何か？ そして、幾何的位相的設定でどのように形式化できるか？
• RQ3 オーロリフォールドの自由ループ空間は、物理学で用いられるねじれループ空間の概念をどのように一般化するか？ また、どのような構造を備えているか？
• RQ4 オーロリフォールドの基本群は、ストリング的オイラー特徴量を捉え、メイケル対応に関連づける形で、どのように精緻化可能か？
• RQ5 局所的な群作用と遷移データは、ループ空間およびそのホモトピー類の構成において、どのように相互作用するか？

主な発見

• ベースドループ空間を用いて構成されたオーロビスパイスのホモトピー群は、対応するG空間のボレル構成のホモトピー群と自然に同型である。
• オーロリフォールドの自由ループ空間には、自然なプレヒルバートオーロビスパイス構造が備わり、弦理論で用いられるねじれループ空間を一般化する。
• 一貫した遷移写像を備えた重複するチャートにおけるループ系の分析を通じて、オーロビスパイスのSeifert–van Kampen定理が確立される。
• 群Hの要素にホモトピー類を割り当てる写像ρによる割り当ては、チャートに依存せずwell-definedであり、ループ系のρ像の積はHにおいて1に等しい。
• この枠組みにより、ストリング的オイラー特徴量の位相的解釈が得られ、それは基本群族におけるρ像の積の消滅と関連づけられる。
• この論文は、グローバルなループデータと遷移構造を組み込むことで、スチュールトのオーロリフォールドの基本群の概念を精緻化し、オーロリフォールド不変量のより深い理解をもたらす。