[论文解读] The homotopy type of the cobordism category

Søren Galatius, Ib Madsen+2 more|arXiv (Cornell University)|May 10, 2006

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用 7

一句话总结

本文建立了嵌入d维cobordism范畴的分类空间与MTO(d)谱的无限循环空间之间的弱同伦等价，为cobordism范畴提供了同伦论分类。主要结果将d=2时的广义Mumford猜想推广，通过同伦论方法与层论技术提供了新的证明。

ABSTRACT

The embedded cobordism category under study in this paper generalizes the category of conformal surfaces, introduced by G. Segal in order to formalize the concept of field theories. Our main result identifies the homotopy type of the classifying space of the embedded d-dimensional cobordism category for all d. For d=2, our results lead to a new proof of the generalized Mumford conjecture, somewhat different in spirit from the original one.

研究动机与目标

• 确定所有d的嵌入d维cobordism范畴的分类空间的同伦类型。
• 通过嵌入cobordism推广Segal的共形曲面范畴至高维。
• 建立cobordism范畴的分类空间与MTO(d)谱的无限循环空间之间的弱同伦等价。
• 利用层论与参数化手术技术，为d=2时的广义Mumford猜想提供新的同伦论证明。
• 将Harer型稳定性结果推广至具有切结构的cobordism范畴背景。

提出的方法

• 将嵌入cobordism范畴𝒞_d构造为一个拓扑范畴，其对象与态射由R^{n+d-1} × [a0,a1]中的带边嵌入流形给出。
• 通过Pontrjagin-Thom坍塌映射与法丛的分类映射，定义从𝒞_d到Ω^{∞−1}MT O(d)的路径范畴的函子。
• 利用Phillips的浸入定理来建模嵌入空间，并将其与Thom谱MT O(d)关联。
• 应用层论技术与同伦上极限构造，分析分类空间的同伦类型。
• 利用参数化手术与同调笛卡尔图，建立相关纤维丛纤维之间同调同构关系。
• 利用映射类群的Harer型稳定性定理，证明在稳定范围内诱导的同调映射为同构。

实验结果

研究问题

• RQ1 对于任意d，嵌入d维cobordism范畴的分类空间的同伦类型是什么？
• RQ2 嵌入cobordism范畴与MTO(d)谱的无限循环空间之间有何关系？
• RQ3 能否通过同伦论与层论方法重新证明d=2时的广义Mumford猜想？
• RQ4 cobordism上的切结构在多大程度上影响分类空间的同伦类型？
• RQ5 参数化手术在建立cobordism范畴中纤维化构造之间的同伦等价中起什么作用？

主要发现

• 映射α: B𝒞_d → Ω^{∞−1}MT O(d)是弱同伦等价，确立了嵌入cobordism范畴分类空间的同伦类型。
• 当d=2时，该结果为广义Mumford猜想提供了新证明，表明ℤ × BΓ_∞,n与Ω^∞MT(2)^+之间存在同调等价。
• 证明表明分类空间B𝒞_d同伦等价于MTO(d)谱的无限循环空间，即正交补丛在Grassmannian上的Thom空间的直接极限。
• 证明依赖于表明相关函子到路径范畴为同调笛卡尔函子，利用Fibres与同伦上极限在稳定曲面族上的构造。
• 该构造利用了 genus 递增的曲面族与相容的θ-结构，以稳定映射类群的同调。
• 关键技术创新在于使用函子F_i(c) = 𝒞_θ,∂(c, b_i)的同伦上极限来建模环路空间结构，其极限空间同伦等价于所期望的无限循环空间。