[论文解读] Coloured Koszul duality and strongly homotopy operads

P. van der Laan|ArXiv.org|Dec 7, 2003

Homotopy and Cohomology in Algebraic Topology参考文献 7被引用 30

一句话总结

本文通过彩色 Koszul 对偶性，引入了强同伦操作符，作为操作符的同伦不变推广，实现了在同伦等价下代数结构的拟同构传递。证明了单位圆盘中点的配置空间上的奇异 $\mathbb{Q}$-链构成一个强同伦操作符，其与小圆盘操作符的链复形拟同构，从而解决了操作符同伦理论中的一个关键同伦障碍。

ABSTRACT

This paper proves Koszul duality for coloured operads and uses it to introduce strongly homotopy operads as a suitable homotopy invariant version of operads. It shows that rational chains on configuration spaces of points in the plane form a strongly homotopy operad quasi isomorphic to the chains on the little disks operad.

研究动机与目标

• 解决经典操作符理论中的局限性，即拟同构的操作符可能在任一方向上均不具有拟同构。
• 为通过微分分次向量空间的同伦等价传递强同伦代数结构，提供一个同伦不变的框架。
• 建立单位圆盘中点的配置空间上的奇异 $\mathbb{Q}$-链复形构成一个强同伦操作符，且其与小圆盘操作符的链复形拟同构。
• 将 Koszul 对偶性推广至彩色操作符，并将其应用于 $\mathbb{N}$-彩色操作符“非对称伪操作符”$\mathrm{PsOpd}$，从而为操作符提供精确的同伦理论模型。

提出的方法

• 将 Koszul 对偶性推广至彩色操作符，使用其代数为非对称伪操作符的 $\mathbb{N}$-彩色操作符 $\mathrm{PsOpd}$。
• 将强同伦操作符定义为 $\mathrm{PsOpd}$ 上的等变同伦代数，其结构编码于余自由伪余操作符 $T'_{\mathbb{N}}(P[-1])$ 上的微分。
• 通过收缩映射和包含映射 $i: F(n) \to D_2(n)$，$r: D_2(n) \to F(n)$，显式构造 $S_*(F)$ 与 $S_*(D_2)$ 之间的链同伦等价，满足 $r \circ i = \mathrm{id}$ 且 $\mathrm{id} \sim i \circ r$。
• 应用 $A_\infty$-代数的同伦传递定理，诱导出 $\mathrm{End}_{S_*(D_2)} \leadsto \mathrm{End}_{S_*(F)}$ 的拟同构，进而提升为强同伦操作符之间的同态。
• 将该理论应用于证明：配置空间上的奇异 $\mathbb{Q}$-链复形构成一个强同伦操作符，且其与小圆盘操作符拟同构。

实验结果

研究问题

• RQ1 能否构造一种同伦不变的操作符版本，使得拟同构的操作符在两个方向上均存在拟同构？
• RQ2 能否通过同伦等价，将强同伦代数结构从一个 dg 向量空间传递到另一个？
• RQ3 单位圆盘中点的配置空间上的奇异 $\mathbb{Q}$-链复形是否构成一个同伦不变操作符，且其与小圆盘操作符拟同构？
• RQ4 能否将 Koszul 对偶性推广至彩色操作符，以结构化的方式建模强同伦结构？

主要发现

• 每个强同伦操作符之间的拟同构均存在拟逆，确保在增强操作符之间，拟同构关系是对称的。
• 给定两个 dg 向量空间 $V$ 和 $W$ 之间的同伦等价，存在一个显式构造的强同伦操作符之间的拟同构 $\mathrm{End}_W \leadsto \mathrm{End}_V$，从而实现强同伦 $P$-代数结构的传递。
• 配置空间 $F(n)$ 上的奇异 $\mathbb{Q}$-链复形构成一个强同伦操作符，其结构由 $F(n)$ 与 $D_2(n)$ 之间的 $S_n$-等变同伦诱导。
• 包含映射 $i: F(n) \to D_2(n)$ 与收缩映射 $r: D_2(n) \to F(n)$ 满足 $r \circ i = \mathrm{id}$ 且 $\mathrm{id} \sim i \circ r$，由此诱导出链同伦，从而产生操作符之间的拟同构。
• 在 $S_*(F)$ 上得到的强同伦操作符结构是等变的，使其成为 $\mathbb{N}$-彩色操作符 $\mathrm{PsOpd}$ 的同伦代数，因此是小圆盘操作符在同伦意义下的有效模型。