[论文解读] Descent properties of the topological chiral homology

Takuo Matsuoka|arXiv (Cornell University)|Sep 24, 2014

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

一句话总结

本文证明了拓扑手征同调——Lurie对配分代数的同调理论——满足Costello与Gwilliam所定义的配分覆盖下的下降性质。本文将Lurie的框架推广至同伦设定，推导出配分代数及其扭曲变体的∞1-范畴的乘积公式，证明在适当条件下沿纤维丛的限制函子为等价，从而统一了配分同调的层论方法与同伦论方法。

ABSTRACT

We study descent properties of Jacob Lurie's topological chiral homology. We prove that this homology theory satisfies descent for a factorizing cover, as defined by Kevin Costello and Owen Gwilliam. We also obtain a generalization of Lurie's approach to this homology theory, which leads to a product formula for the infinity $1$-category of factorization algebras, and its twisted generalization.

研究动机与目标

• 建立Costello与Gwilliam所定义的配分覆盖下，拓扑手征同调的下降性质。
• 在同伦设定下推广Lurie对拓扑手征同调的方法，以获得配分代数∞1-范畴的乘积公式。
• 将理论推广至纤维丛上的扭曲配分代数，证明在适当条件下，从全空间到基空间的限制函子为等价。
• 通过下降性质，统一Costello–Gwilliam的Čech风格方法与Lurie的奇异风格同调框架。

提出的方法

• 使用高阶范畴论与同伦代数，将配分代数定义为取值于对称张量∞1-范畴且对筛选同伦上积封闭的局部常值余层。
• 应用定理2.26，证明当纤维丛在圆盘上平凡时，通过纤维丛从全空间上的配分代数到基空间上的限制函子为等价。
• 通过将基空间中圆盘的原像分解为与纤维的乘积，将问题约化为局部平凡性，从而可应用定理3.14。
• 通过投影拉回全空间上的代数，构造基空间上配分代数的扭曲版本，利用纤维上的结构。
• 利用基空间中不相交开子集的极限表达配分代数的范畴，利用张量结构的一致性。
• 应用限制函子的自然性，并将全局等价性约化为在不相交圆盘上的平凡丛情形，此时由引理3.22可得结论。

实验结果

研究问题

• RQ1 拓扑手征同调是否在Costello与Gwilliam所定义的意义下对配分覆盖满足下降性质？
• RQ2 Lurie对拓扑手征同调的框架能否推广至同伦设定，以获得配分代数∞1-范畴的乘积公式？
• RQ3 通过纤维丛从全空间上的配分代数到基空间上的限制函子，在扭曲情形下是否为等价？
• RQ4 下降结果在更高目标范畴（如n-范畴或∞-范畴）下能推广到何种程度？

主要发现

• 拓扑手征同调满足配分覆盖下的下降性质，如定理2.11所证明，从而将Costello–Gwilliam的Čech方法与Lurie的奇异风格构造联系起来。
• 当代数为局部常值且基空间被圆盘覆盖时，通过纤维丛p: E → B，从流形E上的配分代数到流形B上的限制函子为等价。
• 对于E上取值于纤维代数范畴的局部常值预代数，限制函子在E与B上的配分代数∞1-范畴之间诱导出等价。
• 扭曲版本的限制函子同样为等价，如定理3.21所示，将结果推广至取值于范畴的代数。
• 结果可推广至更高目标范畴：当目标为n-范畴时，等价性在n-范畴层面成立；当目标为∞-范畴时，等价性在∞-范畴设定下成立。
• 证明依赖于将问题约化为不相交圆盘上的平凡丛情形，此时等价性由引理3.22得出，该引理确立了平凡纤维丛的情形。