[论文解读] A model for configuration spaces of points

Ricardo Campos, Thomas Willwacher|arXiv (Cornell University)|Apr 7, 2016

Homotopy and Cohomology in Algebraic Topology被引用 7

一句话总结

本文构建了一个针对无边界紧致光滑定向流形上点配置空间的真实组合模型 $^{*} \mathsf{Graphs}_M$，表明这些配置空间的真实同伦型仅依赖于流形本身的真实同伦型及其配分函数。该模型捕捉了框架流形上小 $D$-圆盘操作族的自然右同伦作用，为研究配置空间同伦型提供了一个计算上可处理的代数框架。

ABSTRACT

We construct a real combinatorial model for the configuration spaces of points of compact smooth oriented manifolds without boundary. We use these models to show that the real homotopy type of configuration spaces of a simply connected such manifold only depends on the real homotopy type of the manifold. Moreover, we show that for framed $D$-dimensional manifolds these models capture a natural right homotopy action of the little $D$-disks operad.

研究动机与目标

• 为无边界紧致光滑定向流形上点的配置空间构建一个计算上可处理的真实组合模型。
• 证明这些配置空间的真实同伦型仅依赖于流形本身的真实同伦型及其配分函数。
• 证明对于框架流形，该模型能够捕捉小 $D$-圆盘操作族的右同伦作用。
• 提供一个将有理同伦论与微扰拓扑场论不变量统一起来的框架，用于配置空间。

提出的方法

• 该模型 $^{*}\mathsf{Graphs}_M$ 使用 Cattaneo-Felder-Mnev 图复形的扭曲版本构建，整合了流形上同调及其配分函数的数据。
• 配分函数 $Z_M$ 定义为仅依赖于上同调 $V = H^\bullet(M)$ 及其庞加莱对偶配对的图复形中的 Mauer-Cartan 元素。
• 该模型被构造为 Kontsevich Hopf 协操作族 $^{*}\mathsf{Graphs}_D$ 上的右余模，以组合方式编码小 $D$-圆盘作用。
• 该构造使用图复形 $\mathsf{Gra}_M$ 的扭曲版本，其微分通过插入运算和图收缩定义。
• 证明该模型通过在树图分量上限制时在 $E^2$-页崩溃的谱序列，可计算配置空间的真实上同调。
• 该框架利用半代数德拉姆理论和平凡化丛上的纤维积分，将几何微分形式与代数模型联系起来。

实验结果

研究问题

• RQ1 对于紧致光滑定向流形，其上点配置空间的真实同伦型是否仅依赖于流形本身的真实同伦型？
• RQ2 能否为配置空间构建一个组合的、真实微分分次代数模型，以完整捕捉其真实同伦型？
• RQ3 在框架流形的模型中，小 $D$-圆盘操作族作用如何在代数上体现？
• RQ4 微扰不变量如配分函数 $Z_M$ 在多大程度上编码了配置空间的真实同伦型？
• RQ5 该模型能否被简化为仅使用树图分量计算上同调？高阶环路贡献的作用是什么？

主要发现

• 对于单连通紧致光滑定向流形 $M$，$\operatorname{Conf}_\bullet(M)$ 的真实同伦型仅依赖于 $M$ 的真实同伦型及其配分函数 $Z_M$。
• $^{*}\mathsf{Graphs}_M$ 是 $^{*}\mathsf{Graphs}_D$ 上的右 Hopf $E_D$-余模，捕捉了框架流形上配置空间的小 $D$-圆盘操作族的拓扑右作用。
• $\operatorname{Conf}_\bullet(M)$ 的真实上同调可完全由 $Z_M$ 的树图分量计算得出，而高阶环路项则指示了同伦型仅由 $M$ 决定的障碍。
• 配分函数 $Z_M$ 是仅依赖于上同调 $V = H^\bullet(M)$ 及其庞加莱对偶配对的图复形中的 Mauer-Cartan 元素。
• 该模型在配置空间的真实上同调与组合微分分次代数的上同调之间建立了拟同构，从而实现显式计算。
• 该构造建立了一个不变量的层级结构：(1) $M$ 的真实同伦型，(2) $\mathsf{FM}_M$ 的真实同伦型，(3) $\mathsf{FM}_M$ 作为右 $\mathsf{FM}_D$-模的真实同伦型，其中后者是更强的不变量。