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

Ricardo Campos, Julien Ducoulombier+2 more|arXiv (Cornell University)|Jul 22, 2018

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

一句话总结

本文通过使用编码点配置与切向量帧数据的装饰图复形，为紧致光滑流形上点的框架化配置空间构建了一个真实的组合模型。关键结果是，该图模型与框架化 Fulton–MacPherson 紧化上的分段半代数微分形式之间存在一个弱等价的锯齿形结构，且该结构与框架化 little $n$-圆盘操作族的作用相容。

ABSTRACT

We study configuration spaces of framed points on oriented closed smooth manifolds. Such configuration spaces admit natural actions of the framed little discs operads, that play an important role in the study of embedding spaces of manifolds and in factorization homology. We construct real combinatorial models for these operadic modules, for orientable closed smooth manifolds.

研究动机与目标

• 计算由紧致光滑流形上框架化点的配置空间给出的框架化 little $n$-圆盘操作族右模的实同伦类型。
• 为框架化 Fulton–MacPherson 紧化上的微分形式提供一个组合的、图形化的模型。
• 通过使用 $\mathrm{SO}(n)$ 的模型对现有非框架化配置空间的图模型进行装饰，将其扩展以包含框架数据。
• 建立所得图模型正确编码框架化 little $n$-圆盘操作族的拓扑作用。

提出的方法

• 通过在每个外部顶点处附加一个 $\mathrm{SO}(n)$ 的模型副本，将非框架化配置空间的图模型 $\mathsf{Graphs}_M$ 扩展为 $\mathsf{Graphs}_M^{\mathrm{fr}}$。
• 在 $\mathsf{Graphs}_M^{\mathrm{fr}}(k)$ 与分段半代数微分形式 $\Omega_{\mathrm{PA}}(\mathsf{FM}_M^{\mathrm{fr}}(k))$ 之间构造一个拟同构的锯齿形结构。
• 在 $\mathsf{Graphs}_M^{\mathrm{fr}}$ 上定义一个 $\mathsf{Graphs}_n$ 图形模型对 $E_n^{\mathrm{fr}}$ 的余操作代数作用，以建模紧化配置空间上的拓扑作用。
• 利用弯曲 $L_\infty$-代数中的规范理论构造，关联扭模块并构造霍普夫余操作族之间映射的同伦。
• 利用微分形式 $\mathsf{FM}_M^{\mathrm{fr}}$ 与图复形之间通过费曼规则存在拟同构的事实。
• 通过证明诱导映射在同伦范畴上的等价性，验证模型与操作族作用的相容性。

实验结果

研究问题

• RQ1 能否为紧致光滑流形上点的框架化配置空间构建一个真实组合模型，以同时捕捉点的位置与切向量帧数据？
• RQ2 是否存在一个图形模型，能拟同构地表示框架化 Fulton–MacPherson 紧化上的分段半代数微分形式？
• RQ3 所提出的图复形是否自然携带一个框架化 little $n$-圆盘操作族图形模型的余作用，以建模其拓扑操作族作用？
• RQ4 该模型是否能在实或有理设置下有效计算嵌入空间 $\operatorname{Emb}(M,N)$ 的同伦类型？
• RQ5 如何利用弯曲 $L_\infty$-代数中的规范理论技术，构造图复形之间映射的同伦？

主要发现

• 映射锯齿形 $\mathsf{Graphs}_M^{\mathrm{fr}}(k) \leftarrow \cdot \to \Omega_{\mathrm{PA}}(\mathsf{FM}_M^{\mathrm{fr}}(k))$ 是弱等价，确立了该模型的正确性。
• $\mathsf{Graphs}_M^{\mathrm{fr}}$ 图形模型携带一个与 $\mathsf{Graphs}_n$ 相容的余操作代数作用，该作用与 $\mathsf{FM}_n^{\mathrm{fr}}$ 在 $\mathsf{FM}_M^{\mathrm{fr}}$ 上的拓扑作用一致。
• 该模型通过使用 $\mathrm{SO}(n)$ 的模型对顶点进行装饰，扩展了先前关于 $\mathsf{Graphs}_M$ 的工作，以包含框架数据。
• 通过利用 Mauer–Cartan 元素的规范等价性，构造了霍普夫余操作族之间映射的同伦，其中规范流由一个取值于 $\mathfrak{g}$ 的时间依赖 1-形式编码。
• $\mathsf{BGraphs}_n$ 到 $\mathsf{BGBGraphs}_n^{\mathrm{bi}}$ 的映射 $F_0$ 与 $F_1$ 是同伦的，通过规范理论积分得以证明。
• 映射 $F_0$ 与 $F_1$ 之间的同伦与单纯流形模型上微分形式的总化结构相容，确认了图中复合映射的等价性。