[论文解读] Chains(R) does not admit a geometrically meaningful properadic homotopy Frobenius algebra structure

Theo Johnson-Freyd|arXiv (Cornell University)|Aug 15, 2013

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

一句话总结

本文证明了，尽管 Chains(ℝ) 支持唯一的拟局部双端代数作用，但其并不允许存在一个几何上有意义的恰当化同伦弗罗贝尼乌斯代数结构。虽然非单位元移位弗罗贝尼乌斯代数的双端代数的 cofibrant 余化在同伦唯一、几何自然的意义下作用于 Chains(ℝ)，但该结构无法通过同调障碍扩展至恰当化余化，该障碍源于拟局部范畴中乘法 −1/12 的非精确性。

ABSTRACT

The embedding Chains(R) into Cochains(R) as the compactly supported cochains might lead one to expect Chains(R) to carry a nonunital commutative Frobenius algebra structure, up to a degree shift and some homotopic weakening of the axioms. We prove that under reasonable "locality" conditions, a cofibrant resolution of the dioperad controlling nonunital shifted-Frobenius algebras does act on Chains(R), and in a homotopically-unique way. But we prove that this action does not extend to a homotopy Frobenius action at the level of properads or props. This gives an example of a geometrically meaningful algebraic structure on homology that does not lift in a geometrically meaningful way to the chain level.

研究动机与目标

• 确定 ℝ 的同调是否具有非单位元移位弗罗贝尼乌斯代数结构，并可提升为链层面上具有几何意义的结构。
• 研究此类提升是否在恰当化范畴中存在，该范畴允许图式复合（而双端代数仅允许树式复合）。
• 阐明在链复形上具有几何意义的代数结构背景下，双端代数与恰当化余化之间的区别。
• 解决与 [Wil07] 中先前主张的矛盾：即此类恰当化结构应在 Chains(ℝ) 上存在。
• 确立即使同伦传递理论保证了形式上的提升，也并非所有具有几何意义的同调结构都能提升至链层。

提出的方法

• 引入拟局部性作为最小几何性条件，确保运算能从紧支集链自然延拓至非紧支集链。
• 定义控制非单位元移位弗罗贝尼乌斯代数（Frob₁）的双端代数与恰当化余化，并证明其科兹乌尔性，从而构造一个小型的 cofibrant 余化。
• 构造一个合同可缩的拟局部、平移不变的双端代数余化作用于 Chains(ℝ) 的空间，证明其唯一性与几何自然性。
• 利用同伦传递理论，通过双端代数余化将 H•(ℝ) 上的同调弗罗贝尼乌斯结构提升至 Chains(ℝ)。
• 通过分析生成元在 Thom 形式上的作用，以及拟局部范畴中乘法 −1/12 的非精确性，研究将双端代数作用扩展为恰当化作用的障碍。
• 证明任何试图通过链的交集强制标准乘法的操作都会导致非拟局部作用，从而违反几何意义。

实验结果

研究问题

• RQ1 给定 Chains(ℝ) 在双端代数层面上支持此类结构，它是否允许存在一个几何上有意义的恰当化同伦弗罗贝尼乌斯代数结构？
• RQ2 H•(ℝ) 上的同伦弗罗贝尼乌斯结构能否以保持局部性与几何复合规则的方式提升至 Chains(ℝ)？
• RQ3 为何尽管存在唯一的拟局部双端代数作用，恰当化余化却无法作用于 Chains(ℝ)？
• RQ4 乘法 −1/12 的非精确性在阻碍恰当化扩展中起什么作用？
• RQ5 恰当化提升的失败如何说明从同调到链层提升代数结构的根本局限性？

主要发现

• 控制非单位元移位弗罗贝尼乌斯代数的双端代数的 cofibrant 余化以唯一、拟局部、平移不变的方式作用于 Chains(ℝ)。
• 该双端代数作用扩展了紧支集德拉姆形式上的严格结合与交换乘法（次数 −1）以及余交换复合乘法（次数 0）。
• 同一结构的恰当化余化无法以拟局部方式作用于 Chains(ℝ)，且无法在同调上诱导出复合乘法与标准乘法。
• 障碍源于在拟局部范畴中乘法 −1/12 不是精确的，从而阻止了从恰当化余化到端点恰当化余化的良好定义的同态。
• 任何试图通过链的交集强制标准乘法的操作都会导致非拟局部定义的作用，违反几何性条件。
• 该结果通过表明即使双端代数提升具有几何意义，恰当化提升却无几何意义，从而解决了与 [Wil07] 的矛盾。