[论文解读] (Non-)formality of the extended Swiss Cheese operads

Thomas Willwacher|arXiv (Cornell University)|Jun 9, 2017

Advanced Topics in Algebra参考文献 20被引用 11

一句话总结

本文研究了扩展瑞士奶酪操作律的有理同伦类型，该操作律通过将一种颜色的圆盘中心限制在 n 维单位圆盘内的 m 平面中，推广了小圆盘操作律。利用有理同伦理论及与包含映射 Dₘ → Dₙ 的联系，作者证明当 n > m−1 时，这些操作律在有理意义下形式化，但当 n = m−1 时则不形式化，从而解决了操作律有理同伦理论中的一个关键问题。

ABSTRACT

We study two colored operads of configurations of little $n$-disks in a unit $n$-disk, with the centers of the small disks of one color restricted to an $m$-plane, $m

研究动机与目标

• 确定扩展瑞士奶酪操作律 ESCₘ,ₙ 的有理同伦类型，其用于建模两种颜色的 n 维圆盘配置，其中一种颜色的圆盘中心被限制在 m 平面内。
• 理解 ESCₘ,ₙ 的有理同伦类型如何与小圆盘操作律的包含映射 Dₘ → Dₙ 相关联。
• 解决 ESCₘ,ₙ 在有理数域 Q 或实数域 R 上是否形式化的问题，特别是在临界情形 n = m−1 时。
• 通过 Fresse 的函子 Ωₚₗ 和 dgca 值余操作律，扩展有理同伦理论在操作律中的框架。
• 通过其上同调与同构映射，对扩展瑞士奶酪操作律进行同伦分类。

提出的方法

• 作者使用 Sullivan 的有理同伦理论，特别是从拓扑空间到 dg 交换代数的函子 Ωₚₗ，为操作律 ESCₘ,ₙ 分配一个 dgca。
• 他们应用 Fresse 的构造，将 Ωₚₗ 提升为 ESCₘ,ₙ 的有理链上的 dg Λ-霍普夫余操作律结构。
• 关键技术在于通过 zigzag 同构链将 ESCₘ,ₙ 的有理同伦类型与包含映射 Dₘ → Dₙ 的有理同伦类型联系起来。
• 证明依赖于 [11] 和 [22] 中关于映射 Dₘ → Dₙ 的（非）形式化结果，这些结果被证明控制了 ESCₘ,ₙ 的形式化性质。
• 作者利用操作律的形式化等价于多项式形式的 dgca 与其上同调之间存在 zigzag 同构链的事实。
• 他们通过小圆盘操作律在框架嵌入与浸入上的作用分析操作律结构，借鉴了 Budney 和 Turchin 的构造。

实验结果

研究问题

• RQ1 在何种条件下，扩展瑞士奶酪操作律 ESCₘ,ₙ 是有理形式化的？
• RQ2 ESCₘ,ₙ 的有理同伦类型如何与包含映射 Dₘ → Dₙ 相关联？
• RQ3 在 n = m−1 的情形下，形式化的主要同伦障碍是什么？
• RQ4 有理同伦理论是否可以推广至具有受限配置的双色操作律？
• RQ5 是否存在一个连接 ESCₘ,ₙ 上多项式形式的 dgca 与其上同调的典范 zigzag 同构链？

主要发现

• 对于所有 m ≥ 1 且 n > m−1，扩展瑞士奶酪操作律 ESCₘ,ₙ 是有理形式化的。
• 当 n = m−1 且 m ≥ 1 时，实链操作律 C(ESCₘ,ₙ) 不是形式化的。
• ESCₘ,ₙ 的形式化由包含映射 Dₘ → Dₙ 的（非）形式化决定，这一结论已有先前工作支持。
• ESCₘ,ₙ 的有理同伦类型由包含映射 Dₘ → Dₙ 的上同调控制，建立了配置空间与操作律形式化之间深层联系。
• 该构造提供了 Ωₚₗ(ESCₘ,ₙ) 与其上同调之间的典范 zigzag 同构链，确认了在指定范围内的有理形式化。
• 该结果可推广至有色操作律有理同伦理论的更广泛框架，尤其在框架嵌入与浸入的背景下。