[论文解读] Descent and the Koszul Duality for Locally Constant Factorisation Algebras

Takuo Matsuoka|arXiv (Cornell University)|Jan 1, 2014

Advanced Topics in Algebra被引用 3

一句话总结

该论文通过对称单子稳定 ∞-范畴中的 Koszul 对偶性构造，建立了局部常数因子化代数的 Verdier 型等价，利用局部性切除和拓扑手性同调，推广了 Lurie 的非交换 Poincaré 对偶性。论文证明了因子化覆盖的下降性，并推导出因子化代数及其扭曲变体的 ∞-范畴的乘积公式。

ABSTRACT

Generalizing Jacob Lurie's idea on the relation between the Verdier and the iterated loop space theory, we study the Koszul for locally constant factorization algebras. We formulate an analogue of Lurie's nonabelian Poincare duality theorem (which is closely related to earlier results of Graeme Segal, of Dusa McDuff, and of Paolo Salvatore) in a symmetric monoidal stable infinity category carefully, using John Francis' notion of excision. Its proof is done by first studying the Koszul for E_n-algebras in detail. As a consequence, we obtain a Verdier type equivalence for factorization algebras by a Koszul construction. At a foundational level, we study descent properties of 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 category of factorization algebras, and its twisted generalization.

研究动机与目标

• 将 Lurie 的非交换 Poincaré 对偶性推广至对称单子稳定 ∞-范畴中的局部常数因子化代数。
• 通过 Koszul 对偶性建立因子化代数的 Verdier 型等价。
• 证明拓扑手性同调满足 Costello 和 Gwilliam 定义的因子化覆盖的下降性。
• 通过推广 Lurie 的手性同调方法，得到因子化代数及其扭曲版本的 ∞-范畴的乘积公式。

提出的方法

• 将 John Francis 的切除概念适配至对称单子稳定 ∞-范畴的语境中，精确地形式化 Lurie 的非交换 Poincaré 对偶性的类比。
• 研究 E_n-代数的 Koszul 对偶性，作为主要对偶结果的基础步骤。
• 使用 Lurie 的拓扑手性同调框架，并证明其关于因子化覆盖的下降性。
• 通过推广 Lurie 的手性同调方法，构建因子化代数的 ∞-范畴的乘积公式。
• 通过相同的同调与范畴论工具，将框架扩展至扭曲因子化代数。
• 运用 ∞-范畴技术处理导出代数几何中的对称单子结构与对偶性。

实验结果

研究问题

• RQ1 如何将 Lurie 的非交换 Poincaré 对偶性适配至对称单子稳定 ∞-范畴中局部常数因子化代数的语境？
• RQ2 在此语境下，E_n-代数的 Koszul 对偶性的精确表述与证明为何？
• RQ3 拓扑手性同调是否满足 Costello 和 Gwilliam 定义的因子化覆盖的下降性？
• RQ4 能否通过广义手性同调方法推导出因子化代数的 ∞-范畴的乘积公式？
• RQ5 在此框架中，因子化代数的 Verdier 型等价如何从 Koszul 构造中浮现？

主要发现

• 通过对称单子稳定 ∞-范畴中的 Koszul 对偶性构造，建立了局部常数因子化代数的 Verdier 型等价。
• 拓扑手性同调满足因子化覆盖的下降性，将 Lurie 的结果推广至更广泛的覆盖类。
• 因子化代数的 ∞-范畴具有由广义手性同调方法导出的乘积公式。
• 通过将 Koszul 对偶性与下降框架扩展至扭曲因子化代数，获得了乘积公式的扭曲推广。
• 对 E_n-代数的 Koszul 对偶性的研究为主要对偶结果提供了基础步骤。
• 该框架成功通过切除方法将 Lurie 的非交换 Poincaré 对偶性推广至局部常数因子化代数的语境。