[论文解读] Six model structures for DG-modules over DGAs: Model category theory in homological action

Tobias Barthel, May, J. P.+1 more|arXiv (Cornell University)|Oct 4, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 29被引用 45

一句话总结

本文为交换环 R 上的微分分次（DG）代数上的微分分次（DG）模建立了六种模型结构，引入了新颖的相对与混合模型结构，推广了经典同调代数。通过发展增强型与代数型的小对象构造，构建了非经典共纤维生成的模型范畴，并证明经典巴尔构造在其中一种结构中可给出共纤维化逼近，从而在拓扑与代数设定下实现显式计算，借助特定的分辨方法。

ABSTRACT

In Part 1, we describe six projective-type model structures on the category of differential graded modules over a differential graded algebra A over a commutative ring R. When R is a field, the six collapse to three and are well-known, at least to folklore, but in the general case the new relative and mixed model structures offer interesting alternatives to the model structures in common use. The construction of some of these model structures requires two new variants of the small object argument, an enriched and an algebraic one, and we describe these more generally. In Part 2, we present a variety of theoretical and calculational cofibrant approximations in these model categories. The classical bar construction gives cofibrant approximations in the relative model structure, but generally not in the usual one. In the usual model structure, there are two quite different ways to lift cofibrant approximations from the level of homology modules over homology algebras, where they are classical projective resolutions, to the level of DG-modules over DG-algebras. The new theory makes model theoretic sense of earlier explicit calculations based on one of these constructions. A novel phenomenon we encounter is isomorphic cofibrant approximations with different combinatorial structure such that things proven in one avatar are not readily proven in the other.

研究动机与目标

• 通过模型范畴理论对微分同调代数进行现代化，尤其针对一般交换环 R 上的 DG-模与 DG-代数。
• 通过提供一致的模型论框架，解决早期关于微分挠积与谱序列工作的基础性模糊问题。
• 通过小对象构造的新变体，构建新型模型结构（尤其是相对与混合结构），这些结构在经典意义上并非共纤维生成。
• 将抽象的模型范畴工具与代数拓扑中的具体计算相连接，尤其在艾伦伯格-莫尔谱序列的语境下。
• 阐明古根海姆与梅的工作中“特定分辨”的角色，作为模型范畴意义下的共纤维逼近。

提出的方法

• 在交换环 R 上的 DG-代数 A 上的 DG-模上引入六种投影型模型结构，其区别在于三种弱等价关系：准同构、底层 DG-R-模的同伦等价，以及 DG-A-模的同伦等价。
• 发展增强型与代数型的小对象构造变体，以构建在经典意义下非共纤维生成的模型结构，从而实现新相对与混合模型结构的构造。
• 使用多重复形（multicomplexes）而非双复形（bicomplexes）作为模型范畴细胞结构的底层细胞复形，以反映从双分次到多分次微分的推广。
• 应用经典巴尔构造，以在相对模型结构中获得共纤维逼近，表明其在标准模型结构中不成立。
• 通过两种不同的构造，将同调中的经典投影分辨提升为 DG-模分辨，证明同构的共纤维逼近可能具有不同的组合结构。
• 证明古根海姆与梅的“特定分辨”等价于模型范畴意义下的共纤维逼近，从而为其在显式计算中的使用提供依据。

实验结果

研究问题

• RQ1 如何系统地将模型范畴理论应用于一般交换环 R 上的微分同调代数，而非仅限于域上？
• RQ2 在 DG-模上的给定模型结构中，经典巴尔构造在何种精确条件下可产生共纤维化分辨？
• RQ3 为何从同调分辨构造出的两种不同共纤维逼近，会得到同构的 DG-模但具有不同的组合结构？这对证明同伦性质有何影响？
• RQ4 古根海姆与梅的“特定分辨”在何种意义上对应于模型范畴结构下的共纤维替换？这如何阐明其计算实用性？
• RQ5 如何利用模型论基础证明艾伦伯格-莫尔谱序列在无非平凡加法扩张问题下收敛，超越谱序列论证本身所能揭示的内容？

主要发现

• 在交换环 R 上的 DG-代数上的 DG-模上存在六种模型结构，当 R 为域时，其中三种退化为已知结构。
• 相对模型结构可通过经典巴尔构造获得共纤维逼近，而标准模型结构则不能。
• 通过两种不同的构造，将同调中的投影分辨提升为 DG-模分辨，得到同构的 DG-模但具有不同的组合结构。
• 古根海姆与梅的“特定分辨”被证明为模型范畴意义下的共纤维逼近，从而为其在显式计算中的使用提供正当性。
• 艾伦伯格-莫尔谱序列 $H^*(Ff; R)$ 满足 $E^2 = E^lat$ 且无非平凡加法扩张，这通过同构 $H^*(Ff; R) \to \text{Tor}^{*}_{H^*(BG;R)}(H^*(BH;R), R)$ 得到证明，该同构借助模型论的共纤维分辨建立。
• 悬停映射 $ ilde{H}^*(Y; R) \to H^{*-1}( ext{Map}_*(Y, \text{pt}); R)$ 的核等于 $DH^*(Y; R)$，对偶地对同调也成立，从而证实了拓扑 K-理论中的一个猜想。