[論文レビュー] Orbifolds and stable homotopy groups

Johann Leida|ArXiv.org|May 20, 2005

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用数 3

ひとこと要約

この論文は、リー群ガロアと固定点セクターを用いて、内在的安定オルビフォールドホモトピー群および拡張された不安定オルビフォールドホモトピー群を導入し、古典的なオルビフォールドホモトピー不変量を一般化する。トム・ディエックの等変安定ホモトピーに関する定理を活用することで、固定点データと異性構造を捉えるモリタ不変不変量を定義し、これらがオルビフォールド不変量であることを証明している。特に、グローバル商の場合には、異なる表現の間での安定ホモトピー群の同型が確立される。

ABSTRACT

Lie groupoids generalize transformation groups, and so provide a natural language for studying orbifolds and other noncommutative geometries. In this paper, we investigate a connection between orbifolds and equivariant stable homotopy theory using such groupoids. A different sort of twisted sector, along with a classical theorem of tom Dieck, allows for a natural definition of stable orbifold homotopy groups, and motivates defining extended unstable orbifold homotopy groups generalizing previous definitions.

研究の動機と目的

• 分類空間が同型でも異性構造が異なるオルビフォールドを区別できない古典的オルビフォールドホモトピー群の不十分さに対処すること。
• 等変安定ホモトピー理論にインspiredされ、すべての異性部分群にわたる固定点データを組み込んだ安定オルビフォールドホモトピー群を定義すること。
• これらの新しい不変量がモリタ不変であること、したがってオルビフォールド構造に本質的に内在することを確立すること。
• グローバル商オルビフォールドの場合に、全安定等変ホモトピー群がオルビフォールド不変量であることを証明し、オルビフォールドK理論からの結果を一般化すること。

提案手法

• オルビフォールド群ガロア $\mathcal{G}$ から得られる固定点セクターの群ガロア $\widetilde{\mathcal{G}}$ を用いて、$\varpi^{\mathrm{orb}}_{n}(\mathfrak{X}) := \varpi_{n}(B\widetilde{\mathcal{G}}_{+})$ として安定オルビフォールドホモトピー群を定義する。
• 固定点セクター内の基点を用いて、$\hat{\pi}^{\mathrm{orb}}_{n}(\mathfrak{X},(x,H)) := \pi_{n}(B\widetilde{\mathcal{G}},[x,H])$ として拡張された不安定オルビフォールドホモトピー群を定義する。
• 等変安定ホモトピーとオルビフォールド不変量を関係付けるために、トム・ディエックの同型 $\varpi_{n}^{G}(X) \cong \bigoplus_{(H)} \varpi^{W_{G}H}_{n}(EW_{G}H_{+} \wedge X^{H})$ を適用する。
• 分類空間の等変ホモトピー型と関連付けるために、ボレル構成 $EG \times_G M \simeq B(G \ltimes M)$ を用いる。
• 単体的群ガロアモデルを用いて、$B(G \ltimes M)$ と $EG \times_G M$ の間のホモトピー同値を構成し、セガールの議論を一般化する。
• 有限群における $d(H)$ の消失を用いて、同じオルビフォールドの異なるグローバル商表現間での安定ホモトピー群の同型を確立する。

実験結果

リサーチクエスチョン

• RQ1 固定点データに依存するが、特定の群作用や表現に依存しない、オルビフォールドの安定ホモトピー群を内在的に定義できるか？
• RQ2 固定点セクターと異性部分群は、モデル理論的観点からオルビフォールドのホモトピー型をどの程度決定するか？
• RQ3 同じオルビフォールドの異なるグローバル商表現の安定等変ホモトピー群は同型であるか？
• RQ4 新しい安定オルビフォールドホモトピー群の定義は、古典的オルビフォールドホモトピーと等変安定ホモトピー理論とどのように関係するか？
• RQ5 これらの新しいホモトピー群が弱同値を検出できるように、$\mathtt{Gpd}$ や $\mathtt{Orb}$ の圏にモデル構造を構成できるか？

主な発見

• 安定オルビフォールドホモトピー群 $\varpi^{\mathrm{orb}}_{n}(\mathfrak{X})$ および拡張された不安定オルビフォールドホモトピー群 $\hat{\pi}^{\mathrm{orb}}_{n}(\mathfrak{X},(x,H))$ がモリタ不変であることが証明され、したがってオルビフォールドに本質的に内在している。
• グローバル商オルビフォールド $\mathfrak{X} = M/G$ の場合、全安定等変ホモトピー群 $\varpi^{G}_{\mathrm{tot}}(M_{+})$ はオルビフォールド不変量である。
• 有限群商の場合、同じオルビフォールド $\mathfrak{X}$ の任意の2つのグローバル商表現について、同型 $\varpi^{G}_{n}(M_{+}) \cong \varpi^{G'}_{n}(M'_{+})$ が成り立つ。
• 固定点セクターを有限群から群ガロアへのホモモーフィズムの写像空間と同一視することで、スタックやスキームとの類似性を生かした構成が行われる。
• 有限群の場合の同型の証明は、直接的にトム・ディエックの定理と有限群における次元関数 $d(H)$ の消失に依存する。
• 今後の $\mathtt{Gpd}$ や $\mathtt{Orb}$ の圏におけるモデル構造は、これらの不変量を用いてオルビフォールド間のホモトピー同値を形式化できる可能性を示唆している。