[论文解读] The mod 2 homology of free spectral Lie algebras

Omar Antolín Camarena|arXiv (Cornell University)|Nov 27, 2016

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

一句话总结

本文通过引入并分析一类新型的类似 Dyer-Lashof 的同调运算，计算了在单连通空间的悬垂谱上自由谱李代数的模 2 同调，表明该同调由这些运算作用于输入空间同调上的自由李代数生成。关键结果是该同调的完整代数描述，即作为这些运算代数上的自由模。

ABSTRACT

The Goodwillie derivatives of the identity functor on pointed spaces form an operad in spectra. Adapting a definition of Behrens, we introduce mod 2 homology operations for algebras over this operad and prove these operations account for all the mod 2 homology of free algebras on suspension spectra of simply-connected spaces.

研究动机与目标

• 理解由 Goodwillie 微分计算导出的谱李操作族 ∂∗(Id) 上自由代数的模 2 同调。
• 为谱李操作族上的代数在特征 2 下定义并研究新的同调运算，推广 Behrens 在 Goodwillie 层上的运算。
• 建立在单连通空间的悬垂谱上自由谱李代数的模 2 同调的完整代数描述。
• 阐明 Koszul 对偶性与除幂代数在通过拓扑 André-Quillen 同调将 E∞-环谱与谱李代数联系起来时的作用。

提出的方法

• 将 Behrens 在 Goodwillie 层上的模 2 同调运算适配，以定义谱李操作族 ∂∗(Id) 上代数的运算。
• 引入一个平移后的李括号与单变量类似 Dyer-Lashof 的运算，记为 ḞQj，特征为 2。
• 利用 Goodwillie 层次的谱序列以及分划复形 Pn 的结构，计算自由代数的同调。
• 应用交换操作族与谱李操作族之间的 Koszul 对偶性，将 E∞-环谱与除幂谱李代数联系起来。
• 建立自由谱李代数的同调与由运算 ḞQj 作用于 H∗(X;𝔽2) 上的自由李代数所生成的自由模之间的同构。
• 利用已知的 Dn(Id)(X) 及其同调的计算，通过在 n 上取直和构建完整的自由代数结构。

实验结果

研究问题

• RQ1 如何在特征 2 下为谱李操作族 ∂∗(Id) 上的代数定义同调运算？
• RQ2 在单连通空间的悬垂谱上，自由谱李代数的模 2 同调的完整代数结构是什么？
• RQ3 新定义的类似 Dyer-Lashof 的运算 ḞQj 如何与 Goodwillie 层同调中的经典 Steenrod 代数及 Nishida 关系相关联？
• RQ4 运算 ḞQj 之间的关系在多大程度上完全描述了自由谱李代数的同调？
• RQ5 交换操作族与谱李操作族之间的 Koszul 对偶性在自由代数的同调中如何体现？

主要发现

• 在单连通空间的悬垂谱上，自由谱李代数的模 2 同调同构于由运算 ḞQj 作用于 H∗(X;𝔽2) 上的自由李代数所生成的自由模。
• 同调仅在运算 ḞQj 的过剩至少为 k 的度数上非零，对应于 Arone-Mahowald 计算中的完全非可允许序列。
• 证明了运算 ḞQj 满足与 Nishida 关系一致的关系，推广了 Goodwillie 层同调中观察到的结构。
• 计算结果确认，对于球面的楔和，其自由谱李代数的同调由对球面基本类的 ḞQj 运算的迭代应用生成。
• 该结果建立了自由谱李代数同调与通过 Koszul 对偶性在拓扑 André-Quillen 同调上体现的除幂代数结构之间的精确对偶性。
• 通过谱序列论证并对比 TAQ(R) 上的滤过结构，建立了自由代数同调与运算代数上自由模之间的同构。