[论文解读] The KO*-rings of BT^m, the Davis-Januszkiewicz Spaces and certain toric manifolds

L. Astey, Abbas Bahri+7 more|arXiv (Cornell University)|Jul 1, 2010

Advanced Combinatorial Mathematics参考文献 14被引用 4

一句话总结

本文利用稳定分裂和 $KO$-理论技术，计算了 $BT^m$、Davis-Januszkiewicz 空间以及具有平凡 $σ^2$-同调的某些 toric 流形的 $KO^*$-环结构。关键贡献在于：将 $KO^*(\mathcal{DJ}(K))$ 明确描述为 $KO^*(BT^m)$ 关于与 Stanley-Reisner 环相关的理想的商，从而将复 $K$-理论中的经典结果推广至 toric 设置下的实 $KO$-理论。

ABSTRACT

This paper contains an explicit computation of the KO*-ring structure of an m-fold product of CP^{\infty}, the Davis-Januszkiewicz spaces and toric manifolds which have trivial Sq^2-homology.

研究动机与目标

• 计算 $m > 2$ 时实 $m$-环丛的分类空间 $BT^m$ 的 $KO^*$-环结构，因为此类计算在文献中尚付之阙如。
• 将 Stanley-Reisner 环构造从复定向上同调理论推广至 $KO$-理论，为 toric 空间提供实 $KO$-理论版本的 Atiyah-Hirzebruch 族谱序列。
• 确定具有平凡 $σ^2$-同调的 Davis-Januszkiewicz 空间 $\mathcal{DJ}(K)$ 以及 toric 流形的 $KO^*$-环结构，将 Danilov-Jurkewicz 定理推广至实 $K$-理论。
• 阐明实化映射与复化映射在 $KO$-理论中的作用，特别是其非同态行为，并利用 Bott 正合序列分析环结构。

提出的方法

• 本文利用 [6] 中 Davis-Januszkiewicz 空间的稳定分裂，将 $\mathcal{DJ}(K)$ 分解为更简单的分量，从而实现 $KO^*$-环的显式计算。
• 提出两种不同的 $KO^*(BT^m)$ 表示方法：一种推广了 Dobson 的论文中针对 $m=2$ 的方法，另一种则利用 moment-angle 复形与谱序列。
• $\mathcal{DJ}(K)$ 的 $KO^*$-环被计算为 $KO^*(BT^m)/I$，其中 $I$ 是由对应于单纯复形 $K$ 的非面的平方自由单项式生成的理想，类似于 Stanley-Reisner 理想。
• 复化映射 $c: KO^*(X) \to KU^*(X)$ 与实化映射 $r: KU^*(X) \to KO^*(X)$ 贯穿全文使用，由于 Bott 周期性序列，$c$ 是单射而 $r$ 是满射。
• 作者分析了 toric 流形 $M$ 上的限制映射 $i^*: KO^*(\mathcal{DJ}(K)) \to KO^*(M)$ 的像与余核，证明在某些度数下 $\mathrm{Im}(i^*) \cong KO^*(\mathcal{DJ}(K))/r(J^{KU})$。
• 通过 $KO^*(\mathbb{CP}^1)$、$KO^*(\mathbb{CP}^{4k+1})$ 以及 Bott 层构造了例子，以说明 $KO^*$-类在 $\mathrm{Sq}^2$-无 torsion 条件下的行为，以及 $e$、$\alpha$、$\beta$ 和 $g$ 等生成元的作用。

实验结果

研究问题

• RQ1 在文献中尚无相关结果的情况下，如何显式计算 $m > 2$ 时 $BT^m$ 的 $KO^*$-环结构？
• RQ2 对于具有平凡 $σ^2$-同调的单纯复形 $K$，Davis-Januszkiewicz 空间 $\mathcal{DJ}(K)$ 的 $KO^*$-环结构是什么？
• RQ3 具有平凡 $σ^2$-同调的 toric 流形 $M^{2n}$ 的 $KO^*$-环如何与 $KO^*(BT^m)$ 关联？该商的理想的结构是怎样的？
• RQ4 在 $KO$-理论中，复化与实化映射在多大程度上保持环结构？其非同态行为在计算中如何处理？
• RQ5 对于 toric 流形，限制映射 $i^*: KO^*(\mathcal{DJ}(K)) \to KO^*(M)$ 的余核是什么？它与 $r(J^{KU})$ 的像有何关联？

主要发现

• $BT^m$ 的 $KO^*$-环被显式计算为 $\mathbb{Z}[e, \alpha, \beta, \beta^{-1}]/(2e, e^3, e\alpha, \alpha^2 - 4\beta)$，其中 $e \in KO^{-1}$，$\alpha \in KO^{-4}$，$\beta \in KO^{-8}$，该结果推广了 $m=1,2$ 时已知的结果。
• 对于 Davis-Januszkiewicz 空间 $\mathcal{DJ}(K)$，其 $KO^*$-环同构于 $KO^*(BT^m)/I_{SR}^{KO}$，其中 $I_{SR}^{KO}$ 是由对应于 $K$ 的非面的平方自由单项式生成的理想，从而将 Stanley-Reisner 构造推广至 $KO$-理论。
• 具有平凡 $σ^2$-同调的 toric 流形 $M^{2n}$ 的 $KO^*$-环同构于 $KO^*(\mathcal{DJ}(K))/J^{KO}$，其中 $J^{KO}$ 是由相关线丛的 Chern 类的实化生成的理想。
• 在 $d \not\equiv 3,4 \pmod{8}$ 的维度中，限制映射 $i^*: KO^*(\mathcal{DJ}(K)) \to KO^*(M)$ 的像同构于 $KO^*(\mathcal{DJ}(K))/r(J^{KU})$，表明了 $KO$-与 $KU$-理论商之间的精确联系。
• 对于 $\mathbb{CP}^1$，其 $KO^*$-代数为 $KO^*[g]/(g^2)$，其中 $g \in \widetilde{KO}^2(\mathbb{CP}^1)$，且 $e^2g = X_1 \in KO^0(\mathbb{CP}^1)$，$2\beta g = X_1^{(3)} \in KO^{-6}(\mathbb{CP}^1)$，展示了扭类的作用。
• 在 $\mathbb{CP}^{4k+1}$ 中，其 $KO^*$-环包含一个由 $h \in KO^{8k+2}$ 生成的分量 $KO^*(S^{8k+2})$，满足 $h^2 = 0$，且 $e^2\beta^k h = X_1^{2k+1} \in KO^0$，表明存在非平凡扭类与周期性。