[论文解读] Koszul duality for locally constant factorization algebras

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

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

一句话总结

本文在对称单子稳定 ∞-范畴中建立了局部常数因子代数的 Koszul 对偶框架，通过基于完备化的途径，推广了 Lurie 的非交换 Poincaré 对偶性，克服了对可交换列极限的限制。关键贡献是在 E_n-代数完备性假设下，通过紧支集因子同调，建立了因子代数与其 Koszul 对偶余代数之间的 Verdier 型等价关系。

ABSTRACT

Generalising Jacob Lurie's idea on the relation between the Verdier duality and the iterated loop space theory, we study the Koszul duality for locally constant factorisation 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 depends on our earlier study of the Koszul duality for E_n-algebras. As a consequence, we obtain a Verdier type equivalence for factorisation algebras by a Koszul duality construction.

研究动机与目标

• 将 Lurie 的非交换 Poincaré 对偶性推广至因子代数的 Koszul 对偶框架。
• 解决因子同调中因单子运算无法保持可交换同伦极限而产生的技术障碍。
• 在完备滤子设定下，建立因子代数与其 Koszul 对偶余代数之间的 Verdier 型对偶等价关系。
• 通过局部化与紧支集同调，将对偶性从局部 E_n-代数推广至流形上的全局因子代数。
• 利用滤子结构，为非稳定情形下的拓扑 chiral 同调提供同伦基础。

提出的方法

• 利用 John Francis 的局部化概念，定义并分析因子代数在开覆盖下的行为。
• 引入紧支集因子同调作为函子，将每个开子流形 U 映射为同调 ∫_U^c A，形成预余代数。
• 应用 [12] 中发展的完备滤子 E_n-代数理论，其中 Koszul 对偶在完备化下表现良好。
• 证明共余代数滤子代数通过自然映射 K⊗_A(L□_C X) → (K⊗_A L)□_C X 满足 Poincaré 对偶型同构。
• 将微分分次李代数的 Chevalley–Eilenberg 复形作为关键例子，精炼为保持对称单子结构的滤子结构。
• 证明流形 M 上局部常数分次李代数 sheaf 𝔤 的滤子 Chevalley–Eilenberg 复形 F_*C_•(𝔤) 满足局部化，从而实现全局对偶性。

实验结果

研究问题

• RQ1 能否将 E_n-代数的 Koszul 对偶性推广至非稳定设定下流形上的因子代数？
• RQ2 在因子同调中，当单子运算无法保持可交换同伦极限时，应如何克服这一障碍？
• RQ3 在何种条件下，紧支集因子同调能给出因子余代数？
• RQ4 在非稳定、滤子设定下，因子代数与其 Koszul 对偶之间是否存在 Verdier 对偶等价？
• RQ5 该对偶框架能否应用于通过其 Chevalley–Eilenberg 解析的分次李代数层？

主要发现

• 在流形 M 上，局部常数因子代数 A 的紧支集因子同调 ∫_U^c A 在完备性条件下定义了一个满足局部化的预余代数。
• 对于共余代数滤子 A-模，自然映射 K⊗_A(L□_C X) → (K⊗_A L)□_C X 是一个同构，从而在滤子设定下实现 Poincaré 对偶性。
• 流形 M 上局部常数分次李代数层 𝔤 的滤子 Chevalley–Eilenberg 复形 F_*C_•(𝔤) 是一个滤子因子代数，且满足局部化。
• 构造 F_*C_•(𝔤) 给出一个负滤子分次李代数因子余代数，其对偶同构于 Koszul 对偶的紧支集同调。
• 通过紧支集同调，在完备滤子因子代数的 ∞-范畴与其 Koszul 对偶余代数之间建立了 Verdier 型等价关系。
• 该理论适用于自然例子，如特征为零的域上的分次李代数，其中滤子 Chevalley–Eilenberg 复形保持对称单子结构并满足所需的对偶性质。