[论文解读] Genuine equivariant factorization homology

Asaf Horev|arXiv (Cornell University)|Oct 16, 2019

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

一句话总结

本文为有限群 $G$ 构造了因子化同调的真正 $G$-等变推广，将真正的 $G$-谱赋予具有 $G$-作用的流形。该理论与 Hill-Hopkins-Ravenel 范数及 $\otimes$-excision 兼容，并通过 $G$-范畴与 $G$-对称张量结构提供了公理化表征，其应用涵盖实拓扑霍尔兹赫尔德同调与 $C_n$-环谱。

ABSTRACT

We construct a genuine $G$-equivariant extension of factorization homology for $G$ a finite group, assigning a genuine $G$-spectrum to a manifold with $G$-action. We show that $G$-factorization homology is compatible with Hill-Hopkins-Ravenel norms and satisfies equivariant $\otimes$-excision. Following Ayala-Francis we prove an axiomatic characterization of genuine $G$-factorization homology. Applications include a description of real topological Hochschild homology and relative topological Hochschild homology of $C_n$-rings using genuine $G$-factorization homology.

研究动机与目标

• 将因子化同调扩展为真正的 $G$-等变理论，为 $G$-流形赋予真正的 $G$-谱，而非仅朴素的 $G$-作用。
• 通过构建具有完整真正 $G$-谱结构的理论，解决标准因子化同调仅产生同伦意义下 $G$-作用的局限性。
• 建立该理论与 Hill-Hopkins-Ravenel 范数及 $\otimes$-excision 的兼容性，确保与等变稳定同伦理论的一致性。
• 通过 $G$-范畴与 $G$-对称张量结构，对真正的 $G$-因子化同调提供公理化表征。
• 将该理论应用于描述实拓扑霍尔兹赫尔德同调及 $C_n$-环谱的相对拓扑霍尔兹赫尔德同调。

提出的方法

• 通过 $G$-对称张量结构与参数化 $Π$-范畴，构造 $G$-流形与 $G$-圆盘的 $G$-范畴。
• 利用对称张量包络构造，将 $G$-圆盘的 $G$-范畴上的函子定义为 $G$-圆盘代数，取值于真正的 $G$-谱。
• 通过沿 $f$-框架 $G$-流形的 $G$-范畴取左凯南扩张，将因子化同调扩展为 $G$-函子。
• 利用边缘分解与 $G$-范畴上的 $G$-柯里斯蒂安纤维丛，实现 $G$-等变 $ϴ$-excision。
• 应用 Ayala-Francis 公理框架，在 $G$-等变设定下通过普遍性质表征该理论。
• 利用 Hill-Hopkins-Ravenel 范数构造，将 $G$-因子化同调与有限 $G$-集合上的索引 smash 积联系起来。

实验结果

研究问题

• RQ1 如何将因子化同调扩展为为 $G$-流形赋予真正 $G$-谱的理论，而非仅朴素 $G$-作用？
• RQ2 真正的 $G$-等变因子化同调理论的正确公理是什么？如何通过普遍性质进行表征？
• RQ3 该理论在 $G$-等变设定下如何与 Hill-Hopkins-Ravenel 范数及 $\otimes$-excision 相互作用？
• RQ4 实拓扑霍尔兹赫尔德同调能否作为真正 $G$-因子化同调的一个特例被恢复？
• RQ5 $G$-圆盘与 $G$-框架流形在构造 $G$-等变因子化同调函子中起什么作用？

主要发现

• 真正的 $G$-因子化同调为任意 $G$-流形赋予一个真正的 $G$-谱，且在不相交并集下结构保持不变。
• 该理论满足 $G$-等变 $\otimes$-excision，即对开分解 $M = M' \cup M''$，流形 $M$ 的因子化同调等价于 $M'$ 与 $M''$ 同调的 smash 积。
• 该构造与 Hill-Hopkins-Ravenel 范数兼容：$G$-流形的因子化同调同构于其子群上因子化同调的范数。
• 该理论可通过 $G$-范畴与 $G$-对称张量函子实现公理化表征，推广了 Ayala-Francis 框架至真正等变设定。
• 实拓扑霍尔兹赫尔德同调被实现为平凡 $C_2$-作用下一点的真正 $C_2$-因子化同调。
• 通过 $G = C_n$ 的真正 $G$-因子化同调，相对拓扑霍尔兹赫尔德同调的 $C_n$-环谱获得了新的几何解释。