[论文解读] The Baker-Richter spectrum as cobordism of quasitoric manifolds

Jack Morava, Nitu Kitchloo|arXiv (Cornell University)|Jan 15, 2012

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

一句话总结

本文通过证明 $M\Xi$ 通过其特征数分类拟环丛流形，而这些特征数由非交换对称函数编码，建立了 Baker-Richter 环 $M\Xi$ 的 cobordism 理论解释。关键贡献在于将 $M\Xi$ 识别为与复线丛的分类空间相关的 $A_\infty$ 映射的 Thom 环谱，通过特征类与 $\mathsf{NSymm}_*$ 上的 Hopf 代数结构，将环丛拓扑与稳定同伦论联系起来。

ABSTRACT

Baker and Richter construct a remarkable $A_\infty$ ring-spectrum $MΞ$ whose elements possess characteristic numbers associated to quasisymmetric functions; its relations, on one hand to the theory of noncommutative formal groups, and on the other to the theory of omnioriented (quasi)toric manifolds [in the sense of Buchstaber, Panov, and Ray], seem worth investigating.

研究动机与目标

• 通过拟环丛流形作为其 cobordism 类的几何代表，建立 Baker-Richter 环谱 $M\\Xi$ 的同伦论解释。
• 将全向拟环丛流形的特征数与非交换对称函数环 $\mathsf{NSymm}_*$ 联系起来。
• 研究 Hurewicz 同态 $M\Xi_* \to \mathsf{NSymm}_*$ 是否可延拓为 $M\Xi_* \otimes \mathsf{NSymm}_*$ 上的 Hopf 代数结构。
• 通过其 $A_\infty$ 环谱结构诱导的余单纯结构，研究 $M\Xi$ 的 Adams 余谱序列。
• 通过 moment 映射构造，为 Thom 环谱 $M\Xi$ 提供稳定切丛的分类空间的几何实现。

提出的方法

• 将 Thom 环谱 $M\Xi$ 构造为从 $BU$ 上的万有丛沿阿贝尔化映射 $\Omega^2\Sigma B\mathbb{T} \to BU$ 的拉回。
• 使用 Davis-Januszkiewicz 构造，将一个简单多面体 $P$ 与一个拟环丛流形 $M$ 关联，其数据由原始特征权重 $\lambda_i \in \pi_1(T)$ 给出。
• 将 moment 角复形 $Z(P)$ 定义为 moment 映射 $\varphi: \mathbb{C}^F \to \mathfrak{h}^*$ 的正则值的原像，并令 $M = Z(P)/H$，其中 $H = \ker \lambda$。
• 证明 $M$ 的稳定切丛由复合映射 $Z(P)/H \to BH \to B\hat{T} \to BU(F) \to BU$ 分类，其中 $B\hat{T} \to \Omega\Sigma BU(1)$ 通过 James 分层实现。
• 证明 $-\varphi$ 的 Thom 环谱等价于 $M\Xi$，意味着 $M$ 代表 $\pi_{2m}(M\Xi)$ 中的一个类。
• 证明 $M$ 的特征数通过单射同态 $\lambda_{BR}: M\Xi^*B\mathbb{T} \to \mathsf{NSymm}_*[[c]]$ 映射到非交换对称函数。

实验结果

研究问题

• RQ1 Baker-Richter 环谱 $M\Xi$ 能否作为与拟环丛流形相关的 Thom 环谱被几何实现？
• RQ2 全向拟环丛流形的特征数如何与非交换对称函数环 $\mathsf{NSymm}_*$ 相关联？
• RQ3 Hurewicz 同态 $M\Xi_* \to \mathsf{NSymm}_*$ 是否与 $\mathsf{NSymm}_*$ 上的 Hopf 代数结构相容？
• RQ4 $M\Xi_*$ 的余单纯结构是什么？它是否能产生类似于 $MU$ 情况的球谱的分解？
• RQ5 映射 $\varphi: \Omega\Sigma BU(1) \to BU$ 是否诱导出与 $M\Xi$ 同伦的 Thom 环谱？这与 moment 映射构造有何关系？

主要发现

• 该环谱 $M\Xi$ 同构于 $A_\infty$ 映射 $\varphi: \Omega\Sigma BU(1) \to BU$ 的 Thom 环谱，确立了其 cobordism 类的几何模型。
• 任意 $2m$ 维拟环丛流形 $M$ 的 cobordism 类属于 $\pi_{2m}(M\Xi)$，且该类由其特征数决定。
• Hurewicz 同态 $M\Xi_* \to \mathsf{NSymm}_*$ 是单射，且在有理化后成为同构，将 $M\Xi_*$ 与非交换对称函数联系起来。
• 在同态 $\lambda_{BR}$ 的像中编码了 $M$ 的特征数，该同态将 $M\Xi^*B\mathbb{T}$ 映射到 $\mathsf{NSymm}_*[[c]]$，并作为 Hopf 代数同态。
• 两个拟环丛流形 $M \times N$ 的乘积对应于非交换对称函数 $\mathbf{M} \bullet \mathbf{N}$，多面体的并操作在 $\mathsf{NSymm}_*$ 中诱导出乘法结构。
• $M\Xi \otimes \mathbb{Z}_p$ 是 $BP$ 的若干个副本的楔和，表明其与在素数 $p$ 处的 Brown-Peterson 同调有密切关系。