[论文解读] On the algebraic cobordism spectra MSL and MSp

Ivan Panin, Charles Walter|arXiv (Cornell University)|Nov 2, 2010

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

一句话总结

本文在对称 T^∧2-谱的范畴中将代数 cobordism 谱 MSL 和 MSp 构造为交换幺半群，确立了 MSp 作为动机稳定同伦范畴中辛定向上同调理论的普遍对象。关键结果是：从 MSp 到目标 A 的交换幺半群同态与 A 上的典型辛 Thom 类序列之间存在自然双射，证明了 MSp 在动机稳定同伦范畴中的普遍性。

ABSTRACT

We construct algebraic cobordism spectra MSL and MSp. They are commutative monoids in the category of symmetric T^{2}- spectra. The spectrum MSp comes with a natural symplectic orientation given either by a tautological Thom class th^{MSp} in MSp^{4,2}(MSp_{2}), a tautological Borel class b_{1}^{MSp} in MSp^{4,2}(HP^{\infty}) or any of six other equivalent structures. For a commutative monoid E in the category SH(S) we prove that assignment g -> g(th^{MSp}) identifies the set of homomorphisms of monoids g : MSp -> E in the motivic stable homotopy category SH(S) with the set of tautological Thom elements of symplectic orientations of E. A weaker universality result is obtained for MSL and special linear orientations.

研究动机与目标

• 在对称 T^∧2-谱的范畴中构造代数 cobordism 谱 MSL 和 MSp 作为交换幺半群。
• 在动机稳定同伦范畴 SH(S) 中确立 MSp 作为辛定向上同调理论的普遍对象。
• 证明 SH(S) 中从 MSp 到交换幺半群 A 的同态与 A 上典型辛 Thom 类序列之间存在自然双射。
• 为代数 cobordism 中的特殊线性和辛定向提供同伦框架，扩展 Voevodsky 的 MGL 构造。

提出的方法

• 通过分类空间 BSp_{2n} 和 MSp_n 在 Sp_{2n} 和 Σ_n ⊂ Sp_{2n} 上的相容作用，构造 MSp，确保其具有对称 T^∧2-谱结构。
• 通过 Thom 类 th^MSp ∈ MSp^{4,2}(MSp_2)，或等价地通过 Borel 类 b_1^MSp ∈ MSp^{4,2}(HP^∞)，为 MSp 赋予典型辛定向。
• 利用四元数射影丛定理计算 BSp_{2r} 和 MSp_{2r} 的上同调，使 A^{*,*}(MSp) 中的逆极限计算成为可能。
• 证明自然映射 A^{0,0}(MSp) → lim^1 A^{4r,2r}(MSp_{2r}) 是同构，从而在同态分类中消除了障碍项。
• 应用对称 T^∧2-谱的普遍性质，证明映射 φ ↦ φ(th^MSp) 诱导了同态与辛 Thom 类之间的双射。
• 利用逆系统结构及连接映射的满射性，证明 lim^1 项消失，从而得到同构 A^{*,*}(MSp) ≅ A^{*,*}(pt)[[b_1,b_2,...]]^hom。

实验结果

研究问题

• RQ1 在动机同伦理论中，是否存在辛定向的代数 cobordism 谱的普遍对象？
• RQ2 MSp 的构造能否扩展为对称 T^∧2-谱范畴中的交换幺半群结构？
• RQ3 将同态 φ: MSp → A 映射到其典型 Thom 类的拉回，是否能与 A 上的辛定向形成自然双射？
• RQ4 逆极限结构在计算辛定向上同调理论的 A^{*,*}(MSp) 时起到什么作用？
• RQ5 对于已知理论如埃尔米特 K-理论或 Witt 群，障碍群 lim^1 A^{2n-1,n}(MSL_n^{⟨n⟩}) 和 lim^1 A^{8r-1,4r}(MSp_{2r} ∧ MSp_{2r}) 是否为零？

主要发现

• 谱 MSp 是对称 T^∧2-谱范畴中的交换幺半群，其自然辛定向由典型 Thom 类 th^MSp ∈ MSp^{4,2}(MSp_2) 给出。
• 在 SH(S) 中，从 MSp 到交换幺半群 A 的同态与 A 上满足辛定向普遍性质的典型辛 Thom 类序列 (θ_1, θ_2, ...) 之间存在自然双射。
• MSp 的上同调满足 A^{*,*}(MSp) ≅ lim^1 A^{*,*}(MSp_{2r}) ≅ A^{*,*}(pt)[[b_1, b_2, ...]]^hom，其中 lim^1 项因连接映射的满射性而消失。
• 对 MSp ∧ MSp 同样成立：A^{*,*}(MSp ∧ MSp) ≅ A^{*,*}(pt)[[b'_1, b'_2, ..., b''_1, b''_2, ...]]^hom。
• φ 为幺半群同态的障碍消失，因为映射 A^{0,0}(MSp ∧ MSp) → lim^1 A^{8r,4r}(MSp_{2r} ∧ MSp_{2r}) 是同构。
• 对于 MSL，存在较弱的普遍性结果：同态 φ: MSL → A 对应于特殊线性定向，但存在 lim^1 障碍，该障碍位于 Hom_{SH(S)}(MSL ∧ MSL, A) 的子群中。