[论文解读] Twisting structures and strongly homotopy morphisms

Kathryn Hess, Jonathan Scott|arXiv (Cornell University)|Jul 12, 2010

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

一句话总结

本文提出一个通用框架，利用扭曲结构定义扭曲复合产品，并构造 co-ring 以参数化在逐项投影、有限生成链复形范畴中操作者代数之间的强同伦（SH）态射。关键贡献在于证明：与操作者余态射 $\mathscr{Q} \to \mathbf{B}\mathscr{P}$ 关联的 $Π$-co-ring 的 Kleisli 类与 $Π$-代数及其 SH 态射的范畴同构，从而在单一操作者框架下统一了 bar、cobar 和 Koszul 构造。

ABSTRACT

In an application of the notion of twisting structures introduced by Hess and Lack, we define twisted composition products of symmetric sequences of chain complexes that are degreewise projective and finitely generated. Let Q be a cooperad and let BP be the bar construction on the operad P. To each morphism of cooperads g from Q to BP is associated a P-co-ring, K(g), which generalizes the two-sided Koszul and bar constructions. When the co-unit from K(g) to P is a quasi-isomorphism, we show that the Kleisli category for K(g) is isomorphic to the category of P-algebras and of their morphisms up to strong homotopy, and we give the classifying morphisms for both strict and homotopy P-algebras. Parametrized morphisms of (co)associative chain (co)algebras up to strong homotopy are also introduced and studied, and a general existence theorem is proved. In the appendix, we study the particular case of the two-sided Koszul resolution of the associative operad.

研究动机与目标

• 在逐项有限生成投影链复形范畴中，发展一个用于分类操作者代数之间强同伦态射的通用操作者框架。
• 通过与操作者余态射 $g: \mathscr{Q} \to \mathbf{B}\mathscr{P}$ 关联的新 co-ring 构造 $K(g)$，推广双侧 Koszul 与 bar 构造。
• 证明当 $K(g) \to \mathscr{P}$ 的余单位为拟同构时，$K(g)$ 的 Kleisli 类与 $\mathscr{P}$-代数及其 SH 态射的范畴同构。
• 将理论扩展至结合代数与余结合余代数的参数化 SH 态射，提供此类结构存在的定理。

提出的方法

• 本文利用链复形对称序列上的扭曲结构定义扭曲复合产品，推广了经典的扭曲 cochain 构造。
• 从一个态射 $g: \mathscr{Q} \to \mathbf{B}\mathscr{P}$ 构造一个 $\mathscr{P}$-co-ring $K(g)$，其中 $\mathbf{B}\mathscr{P}$ 是操作者 $\mathscr{P}$ 的 bar 构造。
• 该 co-ring 在 $\mathscr{P}$-代数范畴上诱导出一个 comonad，其 Kleisli 类参数化了 SH 态射。
• 该构造被应用于 Koszul 操作者 $\mathscr{P}$ 的双侧 Koszul 分解 $K(\mathscr{P})$，证明其自然地构成一个 $\mathscr{P}$-co-ring。
• 对于 $\mathscr{P}_{\infty}$-代数，本文构造了 $\mathbf{\Omega}\mathscr{P}^{\bot}$ 的分解 $K'(\mathscr{P})$，其构成一个 $\mathbf{\Omega}\mathscr{P}^{\bot}$-co-ring，并诱导出一个与 $\mathscr{P}_{\infty}$-代数及其 SH 态射范畴同构的 Kleisli 类。
• 通过在过滤子复形上利用消影性与自然性构造态射的自然扩张，证明了参数化 SH 态射的存在定理。

实验结果

研究问题

• RQ1 如何利用操作者结构系统地参数化 $\mathscr{P}$-代数之间的强同伦态射？
• RQ2 与态射 $g: \mathscr{Q} \to \mathbf{B}\mathscr{P}$ 关联的 co-ring $K(g)$ 在分类 SH 态射中起什么作用？
• RQ3 在何种条件下，$K(g)$ 的 Kleisli 类与 $\mathscr{P}$-代数及其 SH 态射的范畴同构？
• RQ4 该框架能否扩展至结合代数与余结合余代数的参数化 SH 态射？其存在的条件是什么？
• RQ5 双侧 Koszul 分解的结合操作者 $\mathscr{A}$（即 Alexander-Whitney co-ring）如何融入这一通用 co-ring 与 Kleisli 类框架？

主要发现

• Koszul 操作者 $\mathscr{P}$ 的双侧 Koszul 分解 $K(\mathscr{P})$ 自然构成一个 $\mathscr{P}$-co-ring，在 $\mathbf{dgProj}$ 中的 $\mathscr{P}$-代数范畴上诱导出一个 comonad。
• $K(\mathscr{P})$ 的 Kleisli 类与 $\mathscr{P}$-代数及其强同伦态射的范畴同构。
• 对于 $\mathscr{P}_{\infty}$-代数，$\mathbf{\Omega}\mathscr{P}^{\bot}$ 的分解 $K'(\mathscr{P})$ 构成一个 $\mathbf{\Omega}\mathscr{P}^{\bot}$-co-ring，其 Kleisli 类与 $\mathscr{P}_{\infty}$-代数及其 SH 态射的范畴同构。
• 与自然态射 $\mathscr{A}^{\perp} \to \mathbf{B}\mathscr{A}$ 关联的 co-ring 是 Alexander-Whitney co-ring，其实现了结合操作者的双侧 Koszul 分解。
• 通过在过滤子复形上对态射进行自然扩张并利用消影性，本文建立了结合代数与余结合余代数的参数化 SH 态射的一般存在定理。
• 通过在过滤层级上归纳构造态射 $\hat{\tau}$ 并使用消影分解，确保了其自然性与微分相容性。