[论文解读] Motivic Realizations of Singularity Categories and Vanishing Cycles

Anthony Blanc, Marco Robalo+2 more|arXiv (Cornell University)|Jul 11, 2016

Commutative Algebra and Its Applications参考文献 38被引用 9

一句话总结

该论文在优秀 Henselian 离散赋值环上的 Landau-Ginzburg 模型中，建立了奇点范畴的 $ι$-adic 实现与消失上同调之间的精确联系。通过非交换动机理论及一种针对 dg-范畴的新 $ι$-adic 实现函子，作者证明了奇点范畴的 $ι$-adic 实现同构于消失上同调的扭量不变部分，将 Orlov 的比较定理在 $∞$-范畴、拟对称张量范畴的框架下进行推广。

ABSTRACT

In this paper we establish a precise comparison between vanishing cycles and the singularity category of Landau-Ginzburg models over a complete discrete valuation ring. By using noncommutative motives, we first construct a motivic $\ell$-adic realization functor for dg-categories. Our main result, then asserts that, given a Landau-Ginzburg model over a complete discrete valuation ring with potential induced by a uniformizer, the $\ell$-adic realization of its singularity category is given by the inertia-invariant part of vanishing cohomology. We also prove a functorial and $\infty$-categorical version of Orlov's comparison theorem between the derived category of singularities and the derived category of matrix factorizations for a Landau-Ginzburg model over a noetherian regular local ring.

研究动机与目标

• 在优秀 Henselian 离散赋值环上的 Landau-Ginzburg 模型中，建立消失循环与奇点范畴之间的精确比较。
• 利用非交换动机，构造 dg-范畴的动机性 $ι$-adic 实现函子。
• 将 Orlov 关于矩阵因子化与奇点之间等价关系的结论推广至 $∞$-范畴、拟对称张量范畴的设定。
• 证明奇点范畴的 $ι$-adic 实现与消失上同调的扭量不变部分完全一致。

提出的方法

• 作者在非交换动机到 $\mathrm{B}\mathbb{U}_S$-模的稳定 $∞$-范畴（动机谱的范畴）中，定义了一个对偶实现函子 $\mathcal{M}^\vee_S$。
• 他们采用非交换动机的 $∞$-范畴框架，以及动机同伦论中的六操作形式系统。
• 该构造依赖于 dg-范畴的非连通同伦代数 K-理论，通过 $\mathrm{KH}(\mathrm{Perf}(Y) \otimes_A T)$ 表达，其中 $Y$ 为光滑的 $S$-概形。
• 作者应用 Ayoub 的六操作形式系统，以及 Cisinski-Deglise 的稳定性与局部化公理，以确保与六操作的兼容性。
• 他们通过导出几何方法，在矩阵因子化与奇点之间建立了拟对称张量结构的比较。
• 关键技术工具是通过穿孔圆盘作用，将奇点范畴的 $ι$-adic 实现与消失上同调的扭量不变部分相等化。

实验结果

研究问题

• RQ1 如何用拓扑不变量（如消失循环）来描述在完备离散赋值环上 Landau-Ginzburg 模型奇点范畴的 $ι$-adic 实现？
• RQ2 在 $∞$-范畴与拟对称张量范畴的设定下，矩阵因子化导出范畴与奇点导出范畴之间的精确关系是什么？
• RQ3 在 Henselian 离散赋值环的背景下，奇点范畴的 $ι$-adic 实现是否与消失上同调的扭量不变部分一致？
• RQ4 Orlov 的比较定理能否被推广至正则局部环的拟对称张量、$∞$-范畴框架？
• RQ5 动机实现函子在非交换动机的背景下，如何与六操作相互作用？

主要发现

• 在完备离散赋值环上，Landau-Ginzburg 模型奇点范畴的 $ι$-adic 实现同构于消失上同调的扭量不变部分。
• 作者构造了 Orlov 比较定理在正则局部环上的拟对称张量、$∞$-范畴增强版本，用于矩阵因子化与奇点之间的关系。
• 动机性 $ι$-adic 实现函子 $\mathcal{M}^\vee_S$ 通过 dg-范畴的非连通同伦 K-理论定义，并取值于 $\mathrm{B}\mathbb{U}_S$-模。
• 该实现函子尊重六操作形式系统，包括基变换与投影公式，其成立基于 Ayoub 与 Cisinski-Deglise 的公理。
• 在适当基变换（如正规与光滑）下，实现函子之间的自然变换为等价，确保与六操作的兼容性。
• 穿孔圆盘 $\eta$ 在奇点范畴上的作用，诱导出消失上同调的扭量不变部分，该部分与 $ι$-adic 实现完全匹配。