[论文解读] Configuration Spaces of Manifolds with Boundary

R Campos, Najib Idrissi+2 more|arXiv (Cornell University)|Feb 2, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 23被引用 3

一句话总结

该论文证明了，对于具有边界的紧致、单连通流形，其有序配置空间的实同伦类型仅依赖于配对 (M, ∂M) 的实同伦类型，前提是 dim M ≥ 4。作者通过三种方法——庞加莱-李斯蒂恩对偶性、紧化配置空间和图复形——构建了这些配置空间的显式实模型，并证明了其与瑞士奶酪操作律和小盘操作律等丰富代数结构的相容性。其核心贡献是关于具有边界的流形配置空间的同伦不变性结果。

ABSTRACT

We study ordered configuration spaces of compact manifolds with boundary. We show that for a large class of such manifolds, the real homotopy type of the configuration spaces only depends on the real homotopy type of the pair consisting of the manifold and its boundary. We moreover describe explicit real models of these configuration spaces using three different approaches. We do this by adapting previous constructions for configuration spaces of closed manifolds which relied on Kontsevich's proof of the formality of the little disks operads. We also prove that our models are compatible with the richer structure of configuration spaces, respectively a module over the Swiss-Cheese operad, a module over the associative algebra of configurations in a collar around the boundary of the manifold, and a module over the little disks operad.

研究动机与目标

• 确定具有边界的紧致流形的配置空间的实同伦类型是否仅依赖于配对 (M, ∂M) 的实同伦类型。
• 通过多种方法——庞加莱-李斯蒂恩对偶性、紧化配置空间和图复形——为这类流形的配置空间构建显式实模型。
• 证明这些模型与配置空间所携带的代数结构相容，包括瑞士奶酪操作律和小盘操作律的作用。
• 在底层流形-边界对的实同伦等价下，建立配置空间模型的同伦不变性。
• 计算所得模型的上同调，并将其与已知的图复形（尤其在高维及 H1 条件为零时）联系起来。

提出的方法

• 利用对角类和相对上同调数据，为配对 (M, ∂M) 构造庞加莱-李斯蒂恩对偶性模型。
• 将紧化配置空间形式化（通过 FMn、瑞士奶酪和纤维化操作律）适配到具有边界的流形上，为体部和边界配置定义紧化。
• 利用对角数据在紧化配置空间上构造传播子，并将其扩展到完整的配置空间模型。
• 引入图形式模型——特别是 SGraphsA,A∂ 和 mGraphsA——基于带有顶点标记为 M 和 ∂M 的同调类的装饰图复形。
• 使用图复形中的莫拉尔-卡特兰元素定义扭曲微分，并证明其与配置空间的实同伦类型之间的拟同构性。
• 应用按圈数、空中顶点数和度数进行过滤的谱序列，计算上同调并证明在 H1(M) = H1(∂M) = 0 且 dim M ≥ 5 时的同伦不变性。

实验结果

研究问题

• RQ1 对于具有边界的紧致、单连通流形 M，其配置空间 Confk(M) 的实同伦类型是否仅依赖于配对 (M, ∂M) 的实同伦类型？
• RQ2 能否为具有边界的流形的配置空间构建显式实模型，使其与瑞士奶酪操作律和小盘操作律的作用相容？
• RQ3 所得图形式模型的上同调是什么？它与配置空间的实同伦类型有何关系？
• RQ4 在何种条件下，模型的高阶圈部分的上同调集中于非正度数？
• RQ5 该模型是否与 Confk(M) 的实同伦类型拟同构？这与配置空间的同伦不变性有何关联？

主要发现

• 对于具有单连通边界的紧致、单连通流形 M 且 dim M ≥ 4 的情况，Confk(M) 的实同伦类型仅依赖于配对 (M, ∂M) 的实同伦类型。
• 作者为 Confk(M) 构建了三种显式实模型：通过庞加莱-李斯蒂恩对偶性、紧化配置空间（aFMN、mFMM、SFMM）以及图形式模型（SGraphsA,A∂、mGraphsA）。
• 图形式模型与 Confk(M) 的实同伦类型拟同构，其中莫拉尔-卡特兰元素通过 M 和 ∂M 的同调类编码其几何结构。
• 当 H1(M) = H1(∂M) = 0 且 dim M ≥ 5 时，模型的高阶圈部分的上同调集中于非正度数，从而简化了结构。
• 该模型与瑞士奶酪操作律、小盘操作律以及靠近 ∂M 的邻域中配置的结合代数作用相容。
• 谱序列分析表明，模型的上同调由其树部分控制，该部分编码了 M 和 ∂M 的实同伦类型，且该复形是毛发图复形的一种形变。