[论文解读] Shukla cohomology and additive track theories

Hans-Joachim Baues, Teimuraz Pirashvili|ArXiv.org|Jan 14, 2004

Homotopy and Cohomology in Algebraic Topology参考文献 17被引用 10

一句话总结

本文使用链代数而非单纯方法，为Shukla上同调建立了新基础，简化了其计算，并实现了与Mac Lane上同调的直接比较。关键贡献在于证明了在ℤ/p²ℤ上的Shukla上同调在度数0–2内同构于𝔽_p上的Shukla上同调，并在度数3中识别出核为H⁰(A, M)，其在加法轨道范畴的障碍理论中有应用。

ABSTRACT

The approach of Quillen to the cohomology of general algebraic systems is based on simplicial methods, which are usually quite hard to deal with. The aim of this work is to give the foundation of Shukla cohomology (of algebras over a commutative ring) based on chain algebras. We also give an application to the problem of strengthening additive track theories, which is based on the comparison homomorphism between Shukla and Mac Lane cohomology theories.

研究动机与目标

• 开发一种基于链代数的更简洁的Shukla上同调基础，避免先前工作中使用的单纯方法的复杂性。
• 阐明在域上代数的背景下，Shukla上同调与Mac Lane上同调之间的关系，特别是在度数3时。
• 将Shukla上同调应用于加强加法轨道理论的问题，通过上同调比较识别障碍。
• 利用基于张量的构造，为在域上代数上取值的Shukla上同调构造一个典范上链复形。
• 证明从ℤ/p²ℤ上的Shukla上同调到ℤ上的基变换映射在度数0–2内是同构，并确定其在度数3中的核。

提出的方法

• 将Shukla上同调定义为在基环上的链代数范畴上的导出Hochschild上同调。
• 利用附录中建立的链代数上的闭模型范畴结构，推导上同调性质。
• 使用张量积构造一种新的上链复形用于Shukla上同调，与Shukla原始的显式但繁琐的复形形成对比。
• 分析ℤ/p²ℤ上Shukla上同调与ℤ上Shukla上同调之间的基变换映射，证明其为满射并计算其核。
• 利用交叉双模与轨道理论结构之间的等价性，将障碍解释为上同调的表达。
• 在≤2度数内利用Shukla与Mac Lane上同调之间的比较同构，并将其扩展至域上代数的度数3。

实验结果

研究问题

• RQ1 能否使用链代数而非单纯方法重新定义Shukla上同调，以简化计算？
• RQ2 在域上代数的背景下，Shukla上同调与Mac Lane上同调在度数3时的精确关系是什么？
• RQ3 从ℤ/p²ℤ上的Shukla上同调到ℤ上的基变换映射在低度数下的行为如何？
• RQ4 哪些障碍阻止加法轨道理论被加强为同时具有强积与强余积？
• RQ5 在何种条件下，一个加法轨道理论可被等价地替换为同时具有强积与强余积的理论？

主要发现

• 从ℤ/p²ℤ上的Shukla上同调到ℤ上的基变换映射在所有度数中均为满射。
• 对于𝔽_p上代数取值在双模上的Shukla上同调，该基变换映射在度数0、1和2中为同构。
• 在度数3中，基变换映射的核同构于H⁰(A, M)，即双模M的零阶上同调。
• 对于域上代数，Shukla上同调与Mac Lane上同调在度数3中同构，扩展了已知在≤2度数中的同构性。
• 将加法轨道理论加强为同时具有强积与强余积的障碍存在于第三Shukla上同调群中。
• 该障碍通过关联第三Shukla上同调与Mac Lane上同调的正合序列被显式描述，为可加强性提供了上同调准则。