[论文解读] Thom-Sebastiani & Duality for Matrix Factorizations

Anatoly Preygel|arXiv (Cornell University)|Jan 30, 2011

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

一句话总结

本文通过导出范畴上的 k[[β]]-线性结构，建立了矩阵因子化上的 Thom-Sebastiani 定理与对偶性，表明矩阵因子化范畴的张量积对应于和势能零点集上的凝聚复形，而函子范畴则对应于差势能零点集上的复形。关键贡献在于构建了一个几何的、k[[β]]-线性框架，该框架恢复了2-周期的 Hochschild 不变量，并通过凝聚对偶性证明了矩阵因子化范畴的光滑性与有限性。

ABSTRACT

The derived category of a hypersurface has an action by "cohomology operations" k[t], deg t=-2, underlying the 2-periodic structure on its category of singularities (as matrix factorizations). We prove a Thom-Sebastiani type Theorem, identifying the k[t]-linear tensor products of these dg categories with coherent complexes on the zero locus of the sum potential on the product (with a support condition), and identify the dg category of colimit-preserving k[t]-linear functors between Ind-completions with Ind-coherent complexes on the zero locus of the difference potential (with a support condition). These results imply the analogous statements for the 2-periodic dg categories of matrix factorizations. Some applications include: we refine and establish the expected computation of 2-periodic Hochschild invariants of matrix factorizations; we show that the category of matrix factorizations is smooth, and is proper when the critical locus is proper; we show how Calabi-Yau structures on matrix factorizations arise from volume forms on the total space; we establish a version of Kn\"orrer Periodicity for eliminating metabolic quadratic bundles over a base.

研究动机与目标

• 在 2-周期微分graded范畴的背景下，建立矩阵因子化上的 Thom-Sebastiani 定理。
• 利用零点集上的几何数据，描述在矩阵因子化范畴的 Ind-完备化之间保持上确界的 k[[β]]-线性函子的 dg-范畴。
• 将 Hochschild 不变量与 Calabi-Yau 结构重新表述为凝聚对偶性与体积形式。
• 为 Kn"orrer 周期性及矩阵因子化范畴的光滑性提供几何基础。

提出的方法

• 通过上同调运算对 k[[β]]-线性结构进行导出几何描述，将 2-周期结构提升为 k[[β]]-线性 dg-范畴。
• 应用下降法与导出 Čech 神经技术，对范畴上的完备化与群作用进行建模。
• 使用积分变换处理 Ind-凝聚复形，将函子范畴与乘积上的层论数据相联系。
• 利用 DCoh 与 QC! 的张量积定理，将矩阵因子化范畴的张量积与和势能零点集上的凝聚层相联系。
• 借助 Grothendieck 对偶性与支集条件，将函子范畴识别为差势能零点集上的复形。
• 通过 Lunts 的结果及对导出与 Ind-凝聚范畴的推广，将问题约化为形式概形上的凝聚层设置。

实验结果

研究问题

• RQ1 如何从和势能零点集上的凝聚复形角度，几何地描述矩阵因子化范畴的张量积？
• RQ2 在矩阵因子化范畴的 Ind-完备化之间保持上确界的 k[[β]]-线性函子的 dg-范畴的几何表征是什么？
• RQ3 矩阵因子化的 Hochschild 不变量如何与凝聚对偶性及 Poincaré 对偶性相关联？
• RQ4 在何种意义上，矩阵因子化上的 Calabi-Yau 结构源于全空间上的体积形式？
• RQ5 能否通过该框架将 Kn"orrer 周期性推广，以消除基空间上的代谢二次丛？

主要发现

• 矩阵因子化范畴的 k[[β]]-线性张量积等价于和势能零点集上带有支集条件的凝聚复形范畴。
• 在矩阵因子化范畴的 Ind-完备化之间保持上确界的 k[[β]]-线性函子的 dg-范畴等价于差势能零点集上带有支集条件的 Ind-凝聚复形范畴。
• 通过 Grothendieck 对偶性，矩阵因子化的 2-周期 Hochschild 上同调与完美复形的 Hochschild 上同调同构。
• 矩阵因子化范畴是光滑的，当临界集为紧致时亦为有限的，此结论通过对偶性与支集条件得以证明。
• 矩阵因子化上的 Calabi-Yau 结构源于全空间上的体积形式，该结果将已知结论推广至奇异与非光滑情形。
• 通过 k[[β]]-线性框架，建立了消除基空间上代谢二次丛的 Kn"orrer 周期性版本。