[论文解读] 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.

研究动机与目标

• 解决经典轨道丛同伦群在区分具有同构分类空间但不同向同性结构的轨道丛时的不足。
• 基于等变稳定同伦理论，定义包含所有向同性子群固定点数据的稳定轨道丛同伦群。
• 建立这些新不变量的莫里塔不变性，从而真正体现轨道丛结构的内在性。
• 证明对于整体商轨道丛，总稳定等变同伦群是轨道丛不变量，推广了轨道丛K-理论中的结果。

提出的方法

• 将稳定轨道丛同伦群定义为 $\varpi^{\mathrm{orb}}_{n}(\mathfrak{X}) := \varpi_{n}(B\widetilde{\mathcal{G}}_{+})$，其中 $\widetilde{\mathcal{G}}$ 是由轨道丛群胚 $\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})$，将等变稳定同伦与轨道丛不变量关联。
• 利用Borel构造 $EG \times_G M \simeq B(G \ltimes M)$，将平移群胚的分类空间与等变同伦类型关联。
• 通过单纯群胚模型构造 $B(G \ltimes M)$ 与 $EG \times_G M$ 之间的同伦等价，推广了塞加尔的论证。
• 利用有限群的 $d(H)$ 函数消失性，建立同一轨道丛不同整体商表示之间稳定同伦群的同构关系。

实验结果

研究问题

• RQ1 能否基于固定点数据，以独立于特定群作用或表示的方式，内在地定义轨道丛的稳定同伦群？
• RQ2 在模型论意义上，固定点分支与向同性子群在多大程度上决定了轨道丛的同伦类型？
• RQ3 同一轨道丛的不同整体商表示的稳定等变同伦群是否同构？
• RQ4 新定义的稳定轨道丛同伦群与经典轨道丛同伦及等变稳定同伦理论之间有何关系？
• RQ5 能否在轨道丛或李群胚范畴上构造一个模型结构，使得这些新同伦群能检测弱等价？

主要发现

• 稳定轨道丛同伦群 $\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}$ 的任意两个整体商表示，同构 $\varpi^{G}_{n}(M_{+}) \cong \varpi^{G'}_{n}(M'_{+})$ 成立。
• 该构造依赖于将固定点分支识别为从有限群到群胚的同态映射空间，与层与概形的类比。
• 有限群情形下同构关系的证明可直接由托姆·迪克定理及有限群的维数函数 $d(H)$ 消失性推出。
• 本文建议未来可在 $\mathtt{Gpd}$ 或 $\mathtt{Orb}$ 上构造模型结构，以这些不变量为基础形式化轨道丛之间同伦等价的概念。