[论文解读] Brown-Peterson spectra in stable A^1-homotopy theory

Gabriele Vezzosi|ArXiv.org|Apr 9, 2000

Homotopy and Cohomology in Algebraic Topology参考文献 8被引用 26

一句话总结

本论文通过在局部化代数 cobordism 紧化谱 MGL_{(p)} 上定义一个 motivic Quillen 幂等元，构造了域 k 上的稳定 A¹-同伦范畴中的 Brown-Peterson 紧化谱，使得 BP 成为 MGL_{(p)} 的直和项。该构造依赖于拓扑子环 E^* = ⊕E^{2i,i} 中的形式群律对应关系，避免了在代数设定下依赖 Quillen 定理。

ABSTRACT

We characterize ring spectra morphisms from the algebraic cobordism spectrum $\QTR{Bbb}{MGL}$ (\QCITE{cite}{}{Vo1}) to an oriented spectrum $\QTR{Bbb}{E}$ (in the sense of Morel \QCITE{cite}{}{Mo}) via formal group laws on the ''topological'' subring $E^{*}=\oplus_iE^{2i,i}$ of $E^{**}$. This result is then used to construct for any prime $p$ a motivic Quillen idempotent on $\QTR{Bbb}{MGL}_{(p)}$. This defines the $BP$-spectrum associated to the prime $p$ as in Quillen's \QCITE{cite}{}{Q1} for the complex-oriented topological case.

研究动机与目标

• 在域 k 上的稳定 A¹-同伦范畴 SH(k) 中定义 Brown-Peterson 紧化谱，将 Quillen 的拓扑构造扩展至代数几何。
• 通过聚焦于拓扑子环 MGL^* = ⊕MGL^{2i,i}（其猜想同构于复 cobordism 环 MU^*），克服 MGL^{**} 尚无已知计算的局限。
• 在环谱映射 MGL → E 与 E^* = ⊕E^{2i,i} 上的形式群律之间建立对应关系，从而通过幂等分解构造 BP。
• 在不依赖 Quillen 定理（即 Lazard 环同构性）的前提下，于代数情形未知的情况下，提供 MGL_{(p)} 上纯 motivic 的 Quillen 幂等元定义。
• 通过 motivic Quillen 幂等元定义 BP 为 MGL_{(p)} → MGL_{(p)} → ... 的余极限，从而得到一个具有至 MGL_{(p)} 和来自 MGL_{(p)} 的典范映射的交换环谱。

提出的方法

• 利用 Morel 在 SH(k) 中关于定向谱的结果，建立稳定与非稳定形式下的 Thom 同构。
• 证明一个定向谱 E 的定向与拓扑子环 E^* = ⊕E^{2i,i} 上的形式群律之间存在双射，将 Quillen 定理推广至 motivic 设置。
• 在 MGL_{(p)}^* 上构造一个从 p-典型形式群律 F_{x_{(p)}^0} 到其 p-典型化 F_{x_{(p)}} 的典范严格同构 ε。
• 利用此同构，通过定理 4.5 诱导出一个环谱映射 e: MGL → MGL_{(p)}，其可上拉为映射 e_{(p)}: MGL_{(p)} → MGL_{(p)}。
• 通过 MGL_{(p)}^{**} 中 smash 积的余纤维论证与同构，证明 β∘μ_{(p)} − μ_{(p)}∘(β∧β) 消去，从而证明 e_{(p)} 是幂等且为环谱映射。
• 通过幂等 e_{(p)} 定义 Brown-Peterson 紧化谱 BP 为 MGL_{(p)} → MGL_{(p)} → ... 的余极限，使 BP 成为 MGL_{(p)} 的直和项。

实验结果

研究问题

• RQ1 是否可以在不依赖 Quillen 关于 MU^* 与 Lazard 环同构性的定理前提下，在稳定 A¹-同伦范畴 SH(k) 中构造 Brown-Peterson 紧化谱？
• RQ2 是否存在一种典范方式，将一个定向谱 E 的环谱映射 MGL → E 与 E^* = ⊕E^{2i,i} 上的形式群律相关联？
• RQ3 是否可在 MGL_{(p)} 上定义一个 motivic Quillen 幂等元，使其作为直和项产生一个良定义的 BP 紧化谱？
• RQ4 通过幂等 e_{(p)} 构造的 BP 是否在 SH(k) 中产生一个具有至 MGL_{(p)} 和来自 MGL_{(p)} 的典范映射的交换环谱？
• RQ5 整个构造是否可在 motivic 设置中完成，同时保持经典拓扑 BP 紧化谱的结构性质？

主要发现

• 通过 MGL_{(p)}^* 上形式群律的典范严格同构，构造了一个从 MGL → MGL_{(p)} 的典范环谱映射 e，其诱导出映射 e_{(p)}: MGL_{(p)} → MGL_{(p)}。
• 证明了 e_{(p)} 是幂等且为环谱映射，从而在 SH(k) 中确立了 motivic Quillen 幂等元。
• 定义 BP 为带幂等 e_{(p)} 的 MGL_{(p)} → MGL_{(p)} → ... 的余极限，使 BP 成为 SH(k) 中的交换环谱。
• 存在典范映射 u: BP → MGL_{(p)} 和 ẽ: MGL_{(p)} → BP，使得 ẽ∘u = id_{BP} 且 u∘ẽ = e_{(p)}，从而证明 BP 是 MGL_{(p)} 的直和项。
• 该构造在 motivic 与拓扑设定下均成立；在拓扑情形下，其提供了 BP 存在性的替代证明，且不依赖 Quillen 定理关于 Lazard 环的同构性。
• 该证明通过依赖 Cartier 定理与拓扑子环 MGL^* 上的形式群律结构，避免了使用 Quillen 定理，而 MGL^* 猜想同构于 MU^*。