[论文解读] Calculating with topological André-Quillen theory, I: Homotopical properties of universal derivations and free commutative $S$-algebras

Andrew Baker|ENLIGHTEN (Jurnal Bimbingan dan Konseling Islam)|Aug 9, 2012

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

一句话总结

本文利用拓扑安德烈-奎伦理论，研究了普遍导数和自由交换 $S$-代数的同伦性质，重点关注其在乘法同调理论中的行为。通过在模 $p$ 同调中使用 Dyer-Lashof 运算，建立了关于交换 $S$-代数同调的公式，特别是通过约化自由代数函子 $\widetilde{\mathbb{P}}_R$，为代数拓扑中的计算提供了超越稳定化的直接方法。

ABSTRACT

We adopt the viewpoint that topological Andé-Quillen theory for commutative $S$-algebras should provide usable (co)homology theories for doing calculations in the sense traditional within Algebraic Topology. Our main emphasis is on homotopical properties of universal derivations, especially their behaviour in multiplicative homology theories. There are algebraic derivation properties, but also deeper properties arising from the homotopical structure of the free algebra functor $\mathbb{P}_R$ and its relationship with extended powers of spectra. In the connective case in ordinary $\bmod{\,p}$ homology, this leads to useful formulae involving Dyer-Lashof operations in the homology of commutative $S$-algebras. Although many of our results could no doubt be obtained using stabilisation, our approach seems more direct. We also discuss a reduced free algebra functor $ ilde{\mathbb{P}}_R$.

研究动机与目标

• 在交换 $S$-代数的背景下，发展对普遍导数的同伦理解。
• 利用同伦与幂运算结构，分析自由代数函子 $\mathbb{P}_R$ 及其约化形式 $\widetilde{\mathbb{P}}_R$。
• 为交换 $S$-代数同调中的 Dyer-Lashof 运算提供显式公式，尤其关注连通情形。
• 为未来在拓扑安德烈-奎伦理论中的谱序列计算奠定基础工具。
• 为计算拓扑安德烈-奎伦同调提供一种直接替代于基于稳定化的计算方法。

提出的方法

• 将导出余切复形 $\Omega_A(B)$ 和普遍导数 $\delta_{(B,A)}$ 作为同伦框架中的核心对象。
• 通过与 $M$ 的张量积以及映射到 $F_B(-,M)$，应用 $\operatorname{TAQ}_*$ 和 $\operatorname{TAQ}^*$ 同调与上同调理论。
• 在 $R$-模的可约化替换下，利用约化自由代数函子 $\widetilde{\mathbb{P}}_R$，建立 Quillen 伴随关系。
• 借助自由代数函子与谱的扩展幂之间的关系，推导其同伦性质。
• 利用 $H_*(-;\mathbb{F}_p)$ 中的 Dyer-Lashof 运算，计算 $H_*(MU)$ 生成元（特别是 $b_n$）上的作用。
• 应用模 $p$ 的二项式系数同余式，推导 Dyer-Lashof 运算非零的条件。

实验结果

研究问题

• RQ1 在乘法同调理论中，特别是模 $p$ 同调中，普遍导数的行为如何？
• RQ2 自由交换 $S$-代数函子 $\mathbb{P}_R$ 及其约化形式 $\widetilde{\mathbb{P}}_R$ 的同伦结构是什么？
• RQ3 能否利用拓扑安德烈-奎伦理论显式计算交换 $S$-代数同调中的 Dyer-Lashof 运算？
• RQ4 谱的扩展幂在决定导数的同伦性质中起什么作用？
• RQ5 模 $p$ 的二项式系数同余式如何决定 Dyer-Lashof 运算在同调生成元上的非零性？

主要发现

• 当 $p$ 为奇素数时，Dyer-Lashof 运算满足 $\operatorname{Q}^r b_n \approx (-1)^{r+n+1}(n,r-n-1)b_{n+r(p-1)}$ 在 $H_*(MU;\mathbb{F}_p)$ 中。
• 当 $p=2$ 时，运算满足 $\operatorname{Q}^{2r} b_n \approx (n,r-n-1)b_{n+r}$ 在 $H_*(MU;\mathbb{F}_2)$ 中。
• 不可分解商 $\mathrm{Q}_{\mathrm{DL}}H_*(MU)$ 的基由 $b_{np^t}$ 构成，其中 $p \nmid n$，且当 $p$ 为奇素数时，对 $n$ 的 $p$-进数字施加特定约束。
• 当 $p=2$ 时，$\mathrm{Q}_{\mathrm{DL}}H_*(MU)$ 的基由 $b_{2^t}$（$t \geq 0$）给出，表明 Dyer-Lashof 不可分解性。
• 当 $p$ 为奇素数且 $n$ 具有 $p$-进展开式满足 $n_s \neq 0$，$n_{s+t} \neq 0$，$t > 0$ 时，有 $\operatorname{Q}^{n - n_s p^s} b_{n_s p^s} \not\approx 0$ 在 $H_*(MU;\mathbb{F}_p)$ 中成立，这是由于模 $p$ 下二项式系数非零。
• 类似地，当 $p=2$ 时，若 $n$ 的二进展开满足 $n_s \neq 0$，$n_{s+t} \neq 0$，$t > 0$，则 $\operatorname{Q}^{2n - 2^{s+1}} b_{2^s} \not\approx 0$ 在 $H_*(MU;\mathbb{F}_2)$ 中成立，原因同样是模 2 下二项式系数非零。