[论文解读] Erratum to "Homological algebra of homotopy algebras"

Vladimir Hinich|arXiv (Cornell University)|Sep 28, 2003

Algebraic structures and combinatorial models参考文献 3被引用 27

一句话总结

此勘误更正了关于链复形上交换环上操作律的模型结构定理中的缺陷，指出 B. Fresse 提供的反例：向操作律添加一个可缩复形并不总能保持 quasi-同构。更正后的结果表明，在操作律的 0-元操作平凡或基环特征为零时，操作律范畴上存在模型结构，该结论基于对由移位锥生成的自由操作律及基于树的分解的精细分析。

ABSTRACT

Theorem 6.1.1 of [H.A.H.A.] on the existence of a model structure on the category of operads is not valid in the generality claimed. We present here a counter-example (due to B. Fresse) and a corrected version of the theorem.

研究动机与目标

• 识别并更正 Hinich（2003）定理 6.1.1 中的错误，该定理声称在链复形中的操作律上存在一个模型范畴结构，其弱等价与纤维化为逐分量定义。
• 提供一个反例，表明在正特征下，向操作律添加一个可缩复形通常不会保持 quasi-同构。
• 确立在操作律具有平凡 0-元操作或基环包含 ℚ 时，链复形中操作律的模型结构成立的更正后充分条件。
• 证明原始证明中的关键步骤——验证某类包含映射为 quasi-同构——在一般情况下不成立，但在更正后的条件下成立。
• 确认先前基于原始定理的应用仍然有效，因其依赖于不依赖于有缺陷的模型结构的替代分解性质。

提出的方法

• 使用一个涉及交换操作律 COM 和由可缩复形 M 扩展的自由操作律的反例，表明在正特征下，结果操作律与原操作律不 quasi-同构。
• 通过标记的约化树描述 O ⊗ F(M,n) 的操作律分量，分析由移位锥 M = cone(id_k)[s] 生成的自由操作律。
• 通过标记树的自同构群的群胚商来计算自由操作律扩展的张量积分解。
• 证明当 O(0) = 0 且 n > 0，或当基环 k 包含 ℚ 时，包含映射 O → O ⊗ F(M,n) 是逐分量 quasi-同构，原因在于可缩性与自同构的缺失。
• 利用 Berger-Moerdijk 在单一路径范畴中操作律模型结构的一般框架，表明更正后的条件与他们的存在性定理一致。
• 通过独立于有缺陷模型结构的分解系统，验证了可换的余锥存在性，从而确保先前结果仍然有效。

实验结果

研究问题

• RQ1 在什么条件下，包含映射 O → O ⊗ F(M,n) 成为逐分量 quasi-同构？
• RQ2 为何原始定理 6.1.1 在正特征下失效？其反例的精确性质是什么？
• RQ3 当 0-元分量非平凡时，链复形中操作律的模型结构是否仍可建立？
• RQ4 基于树的分解与自同构商如何帮助验证自由操作律扩展中的 quasi-同构？
• RQ5 在修正之后，依赖于原始有缺陷模型结构的先前结果在多大程度上仍然有效？

主要发现

• 提供了一个反例：向交换操作律 COM 添加可缩复形 M 后，结果操作律不再 quasi-同构，从而在一般情况下否定了定理 6.1.1。
• 当 O(0) = 0 且 n > 0，或基环 k 包含 ℚ 时，包含映射 O → O ⊗ F(M,n) 是逐分量 quasi-同构。
• 当基环 k 包含 ℚ 时，链复形中操作律范畴上存在模型结构，其中弱等价为逐分量 quasi-同构，纤维化为逐分量满射。
• 对于任意交换环 k 上满足 O(0) = 0 的操作律，同样在相同的弱等价与纤维化条件下存在模型结构。
• 更正后的结果与 Berger 和 Moerdijk 的一般框架一致，且原始定理的应用仍有效，因其依赖于不依赖于有缺陷模型结构的替代分解性质。
• 原始定理的失效仅限于非平凡 0-元操作在正特征的情形，不影响可换余锥或分解系统。