[论文解读] Chern classes, K-theory and Landweber exactness over nonregular base schemes

Niko Naumann, Markus Spitzweck+1 more|ArXiv.org|Sep 1, 2008

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

一句话总结

本文建立了任意诺特基 schemes（有限克鲁尔维数）上的 motivic Landweber 精确函子定理，以及代数 cobordism 精度谱 MGL 的普遍性质，消除了对正则性的假设。证明了 motivic 同伦代数 K-理论谱 KGL 同构于通过 Bott 元素的 MGL 的 Landweber-精确扩张，从而为 KGL 作为 Landweber-精确理论的实现提供了简洁证明。

ABSTRACT

The purpose of this paper is twofold. First, we use the motivic Landweber exact functor theorem to deduce that the Bott inverted infinite projective space is homotopy algebraic $K$-theory. The argument is considerably shorther than any other known proofs and serves well as an illustration of the effectiveness of Landweber exactness. Second, we dispense with the regularity assumption on the base scheme which is often implicitly required in the notion of oriented motivic ring spectra. The latter allows us to verify the motivic Landweber exact functor theorem and the universal property of the algebraic cobordism spectrum for every noetherian base scheme of finite Krull dimension.

研究动机与目标

• 将 motivic Landweber 精确函子定理扩展至非正则基 schemes，消除在定向 motivic 环谱中常见的隐含正则性假设。
• 证明 motivic K-理论谱 KGL 同构于通过 Bott 元素的 MGL 的 Landweber-精确扩张。
• 在任意诺特基 schemes（有限克鲁尔维数）上确立 MGL 的普遍性质，无需正则性要求。
• 通过 Landweber 精确性，提供一个简短而概念性的证明，说明 Bott 反演无限射影空间与同伦代数 K-理论之间的同构。

提出的方法

• 将 motivic Landweber 精确函子定理应用于构造 motivic 稳定同伦范畴 SH(S) 中的 Tate 对象 LK，表示通过 Bott 元素的 MGL 的 Landweber-精确扩张。
• 利用 KGL 是 Tate 对象且具有乘法形式群律的典范定向的事实，构造 MGL-模谱之间的映射 Φ: LK → KGL。
• 在 Brown 范畴 SH(S)T 中应用 Brown 表示性定理，证明若 Φ 在 motivic 稳定同伦群上诱导同构，则 Φ 为同构。
• 利用同伦群上诱导映射通过 MGL-同调因子分解的事实，通过截影论证将同构性归约为同伦群的比较。
• 利用 Thom 同构定理和 MGL 的普遍性质，将 motivic 环谱 E 上的定向与从 MGL 到 E 的映射联系起来。
• 应用 MGL 的普遍性质，证明将一个定向分配给一个映射 φ: MGL → E 的过程是双射，其逆由拉回通用 Thom 类给出。

实验结果

研究问题

• RQ1 motivic Landweber 精确函子定理能否在不依赖正则性假设的前提下，推广至非正则基 schemes？
• RQ2 在任意诺特基 schemes（有限克鲁尔维数）上，motivic K-理论谱 KGL 是否同构于通过 Bott 元素的 MGL 的 Landweber-精确扩张？
• RQ3 代数 cobordism 精度谱 MGL 的普遍性质是否在非正则基 schemes 上依然成立？
• RQ4 能否通过 Landweber 精确性以更短、更概念化的方式建立 Bott 反演无限射影空间与同伦代数 K-理论之间的同构？

主要发现

• motivic Landweber 精确函子定理在任意诺特基 schemes（有限克鲁尔维数）上成立，即使该 schemes 不是正则的。
• 通过 Bott 元素构造的 Landweber-精确扩张谱 LK，在 SH(S) 中同构于 motivic K-理论谱 KGL。
• 映射 Φ: LK → KGL 在 SH(S) 中是同构，因为其在 motivic 稳定同伦群上诱导同构，该结论通过 MGL-同调的截影论证得到验证。
• MGL 的普遍性质在任意诺特基 schemes（有限克鲁尔维数）上成立：motivic 环谱 E 上的定向集合与从 MGL 到 E 的映射之间存在双射。
• 该构造提供了一个简短证明，表明 Bott 反演无限射影空间实现了同伦代数 K-理论，其依据为 Landweber 精确性。
• LK 与 KGL 之间的同构在基变换的拉回下保持兼容，因为两个谱在射影 motivic 模型结构中均与导出拉回兼容。