[论文解读] The homology of the little disks operad

Dev Sinha|arXiv (Cornell University)|Oct 6, 2006

Advanced Topics in Algebra参考文献 19被引用 23

一句话总结

本论文通过利用森林构造同调类、图构造上同调类的几何方法，证明了小圆盘操作律的非等变同调与分次泊松操作律同构。论文引入了这些类之间的典范配对，该配对编码了泊松操作律的代数关系（如雅可比恒等式和莱布尼茨恒等式），并通过操作律结构映射的上同调拉回分析与形变重取向论证，证明了同构关系。

ABSTRACT

In this expository paper we give an elementary, hands-on computation of the homology of the little disks operad, showing that the homology of a $d-fold loop space is a Poisson algebra. One aim is to familiarize a greater audience with Euclidean configuration spaces, using tools accessible to second-year graduate students. We also give a brief introduction to the theory of operads. New results include identifying the pairing between homology and cohomology of these spaces as a pairing of graphs and trees, and treating the cooperad structure on cohomology.

研究动机与目标

• 为具备基础同调知识的读者，提供关于配置空间与小圆盘操作律同调的几何化、基础性的介绍。
• 在由森林表示的同调类与通过图从环面拉回的上同调类之间，建立典范配对，证明其编码了泊松操作律的代数结构。
• 通过分析操作律结构映射下上同调生成元的拉回，证明小圆盘操作律的同调与分次泊松操作律同构。
• 通过将配置配对作为核心对象，阐明悬垂操作律上的余操作律结构与泊松操作律上的操作律结构之间的对偶性。

提出的方法

• 将配置空间中的同调类构造为与森林参数化的环面微分同胚的子流形的基本类。
• 通过到环面的映射拉回，定义与图相关的上同调类，利用配置空间的拓扑结构。
• 引入图与树之间的图示配对，用于在同调类上评估上同调类，其结果与先前工作的组合定义一致。
• 使用形变重取向论证，分析操作律结构映射下上同调生成元的拉回，证明其与悬垂操作律上的余操作律结构一致。
• 仅在必要时使用谱序列技术获得上界，以保持代数拓扑初学者可理解的叙述清晰性。
• 通过配对与上同调拉回的对偶性，建立小圆盘操作律同调与泊松操作律之间的同构关系。

实验结果

研究问题

• RQ1 配置空间中的同调类如何实现几何化？它们满足何种关系？
• RQ2 配置空间上同调的代数结构是什么？它与图和树有何关联？
• RQ3 图与树之间的配置配对如何从同调与上同调的拓扑对偶性中自然产生？
• RQ4 小圆盘操作律的同调与泊松操作律之间的确切关系是什么？
• RQ5 悬垂操作律上的余操作律结构如何对偶化为泊松操作律上的操作律结构？

主要发现

• 小圆盘操作律的同调作为向量空间与操作律，与分次泊松操作律同构。
• 图与树之间的配置配对自然地表现为上同调类在同调类上的取值，为纯粹组合的配对提供了拓扑实现。
• 泊松操作律上的操作律结构与悬垂操作律上的余操作律结构对偶，后者因无递归约化而更易计算。
• 操作律结构映射下上同调生成元的拉回恰好对应于悬垂操作律上的余操作律结构，该结论通过同伦形变重取向得到证明。
• d重环路空间同调上的布朗德括号源于球面在代表同调类的流形上的几何作用，括号编码了高阶交换性。
• 反对称性、雅可比恒等式、莱布尼茨恒等式与阿诺德恒等式自然地作为配置配对核中的关系出现，表明其具有拓扑起源。