[论文解读] On the motivic commutative ring spectrum BO

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

Homotopy and Cohomology in Algebraic Topology参考文献 15被引用 37

一句话总结

该论文构建了一个动机(commutative)环谱 $\mathbf{BO}$，其为稳定纤维化且具有 $(8,4)$-周期性，将施利希廷的埃尔米特 $K$-理论实现为在含 $1/2$ 的基上光滑概形上的上同调理论。它建立了 $\mathbf{BO}^{p,q}(X_+/U_+)$ 与 $KO^{[q]}_{2q-p}(X,U)$ 之间的典范同构，并通过格拉斯曼诺夫与 $KSp$ 的等价性，为 $\mathbf{BO}$ 赋予唯一一个与格罗滕迪克-惠特群张量积相容的交换幺半群结构。

ABSTRACT

We construct an algebraic commutative ring T- spectrum BO which is stably fibrant and (8,4)- periodic and such that on SmOp/S the cohomology theory (X,U) -> BO^{p,q}(X_{+}/U_{+}) and Schlichting's hermitian K-theory functor (X,U) -> KO^{[q]}_{2q-p}(X,U) are canonically isomorphic. We use the motivic weak equivalence Z x HGr -> KSp relating the infinite quaternionic Grassmannian to symplectic $K$-theory to equip BO with the structure of a commutative monoid in the motivic stable homotopy category. When the base scheme is Spec Z[1/2], this monoid structure and the induced ring structure on the cohomology theory BO^{*,*} are the unique structures compatible with the products KO^{[2m]}_{0}(X) x KO^{[2n]}_{0}(Y) -> KO^{[2m+2n]}_{0}(X x Y). on Grothendieck-Witt groups induced by the tensor product of symmetric chain complexes. The cohomology theory is bigraded commutative with the switch map acting on BO^{*,*}(T^{2}) in the same way as multiplication by the Grothendieck-Witt class of the symmetric bilinear space <-1>.

研究动机与目标

• 构建一个动机(commutative)环谱 $\mathbf{BO}$，使其将施利希廷的埃尔米特 $K$-理论实现为上同调理论。
• 为在含 $1/2$ 的基上光滑概形上，建立 $\mathbf{BO}^{p,q}(X_+/U_+)$ 与 $KO^{[q]}_{2q-p}(X,U)$ 之间的典范同构。
• 通过动机弱等价 $\mathbb{Z} \times HGr \xrightarrow{\sim} \mathbf{KSp}$，在动机稳定同伦范畴中为 $\mathbf{BO}$ 赋予一个交换幺半群结构。
• 证明 $\mathbf{BO}^{*,*}$ 上诱导的环结构，通过对称链复形与格罗滕迪克-惠特群上的张量积唯一相容。
• 将莫雷尔与沃耶沃茨基的格拉斯曼诺夫定理推广至辛情形，证明在动机不稳定同伦范畴中 $\mathbb{Z} \times HGr \simeq \mathbf{KSp}$。

提出的方法

• 将 $\mathbf{BO}$ 构造为一个 $T$-谱，其空间为施利希廷的埃尔米特 $K$-理论空间（针对带移位对偶性的有界复形）的纤维化替换。
• 利用动机弱等价 $\mathbb{Z} \times HGr \xrightarrow{\sim} \mathbf{KSp}$，在动机稳定同伦范畴中为 $\mathbf{BO}$ 赋予一个交换幺半群结构。
• 通过谱的结构与陈类（Thom classes）建立同构 $KO^{[n]}_i(X,U) \cong \mathbf{BO}^{2n-i,n}(\Sigma_T^\infty(X_+/U_+))$。
• 应用辛上同调中的博雷尔类理论，为辛丛定义 $b_i(E,\phi) \in KO^{[2i]}_0(X)$，利用同构 $KSp \cong KO^{[2]}$。
• 利用 $CP^{1+}$-谱框架与仿射格拉斯曼诺夫簇 $CGr(m,n)$，构造 $CP^{1+}$-谱 $\mathbf{BGL}^{\text{fin}}$ 与 $\mathbf{BGL}^{\text{geom}}$，作为代数 $K$-理论的类比。
• 采用同伦论技术，包括 $\varprojlim^1$ 论证与 $\mathbf{A}^1$-同伦，以验证相容性与表示性。

实验结果

研究问题

• RQ1 能否构造一个动机(commutative)环谱 $\mathbf{BO}$，使其将施利希廷的埃尔米特 $K$-理论实现为具有 $(8,4)$-周期性的上同调理论？
• RQ2 在含 $1/2$ 的基上光滑概形上，是否存在 $\mathbf{BO}^{p,q}(X_+/U_+)$ 与 $KO^{[q]}_{2q-p}(X,U)$ 之间的典范同构？
• RQ3 动机弱等价 $\mathbb{Z} \times HGr \simeq \mathbf{KSp}$ 是否能为 $\mathbf{BO}$ 赋予一个与格罗滕迪克-惠特群张量积相容的唯一交换幺半群结构？
• RQ4 辛上同调中的博雷尔类如何与 $\mathbf{BO}$ 及其上同调群的结构相关联？
• RQ5 莫雷尔–沃耶沃茨基关于格拉斯曼诺夫的定理能否推广至辛情形，从而在动机不稳定同伦范畴中建立 $\mathbb{Z} \times HGr \simeq \mathbf{KSp}$？

主要发现

• 谱 $\mathbf{BO}$ 为稳定纤维化且具有 $(8,4)$-周期性，其上同调群 $\mathbf{BO}^{p,q}(X_+/U_+)$ 与施利希廷的埃尔米特 $K$-理论 $KO^{[q]}_{2q-p}(X,U)$ 之间存在典范同构。
• $\mathbf{BO}^{*,*}$ 上的环结构由格罗滕迪克-惠特群上的张量积唯一确定，该张量积通过对称链复形诱导。
• $\mathbf{BO}^{*,*}$ 上的上同调理论为双分次交换，其交换映射通过乘以对称双线性空间 $\langle -1 \rangle$ 的格罗滕迪克-惠特类实现。
• 动机弱等价 $\mathbb{Z} \times HGr \xrightarrow{\sim} \mathbf{KSp}$ 为在动机稳定同伦范畴中为 $\mathbf{BO}$ 赋予交换幺半群结构提供了关键输入。
• 通过埃尔米特 $K$-理论空间的纤维化替换构造 $\mathbf{BO}$，确保了对所有权重的统一处理，并自然地处理非仿射概形与开对。
• 将莫雷尔与沃耶沃茨基的格拉斯曼诺夫定理推广至辛情形已得到验证，证明了在 $H_\bullet(S)$ 中 $\mathbb{Z} \times HGr \simeq \mathbf{KSp}$，这构成了 $\mathbf{BO}$ 构造的基础。