[論文レビュー] 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

ひとこと要約

本稿は、優れたヘンゼル型離散評価リング上のLandau-Ginzburgモデルにおける特異カテゴリの$ι$-adic実現と消失サイクルの間の明確な関係を確立する。非可換モチーフとdgカテゴリのための新規$ι$-adic実現関手を用いて、著者たちは特異カテゴリの$ι$-adic実現が消失コホモロジーの推移不変部分に同型であることを証明し、$∞$-カテゴリー的かつlax対称モノイダルな枠組みにおいてオルロフの比較定理を拡張する。

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.

研究の動機と目的

• ヘンゼル型離散評価リング上のLandau-Ginzburgモデルにおける消失サイクルと特異カテゴリの間の明確な比較を確立すること。
• 非可換モチーフを用いてdgカテゴリのためのモチービスト的$ι$-adic実現関手を構成すること。
• 正則局所環の文脈においてオルロフの行列因子化と特異性の同型を、$∞$-カテゴリー的かつlax対称モノイダルな設定に一般化すること。
• 特異カテゴリの$ι$-adic実現が、インertia不変部分に一致することを示すこと。

提案手法

• 著者たちは、非可換モチーフから$\mathrm{B}\mathbb{U}_S$-加群への双対的実現関手$\mathcal{M}^\vee_S$を定義する。
• 非可換モチーフの$∞$-カテゴリー的枠組みと、モチービストホモトピー理論における6操作形式主義を用いる。
• 滑らかな$S$-スキーム$Y$に対して、$\mathrm{KH}(\mathrm{Perf}(Y) \otimes_A T)$を介したdgカテゴリの非連結ホモトピー代数的K理論に依拠する。
• 著者たちはアユーブの6操作形式主義とチシンスキー＝デグリスの安定性および局所化公理を適用して、6操作との整合性を保証する。
• 導来幾何学を通じて、行列因子化と特異性の間の比較にlax対称モノイダル構造を確立する。
• 鍵となる技術的道具は、穿孔付きディスクの作用を介して、特異カテゴリの$ι$-adic実現を消失コホモロジーのインertia不変部分に同定することである。

実験結果

リサーチクエスチョン

• RQ1 Landau-Ginzburgモデルの特異カテゴリの$ι$-adic実現は、消失サイクルなどの位相的不変量としてどのように記述できるか？
• RQ2 $∞$-カテゴリー的かつlax対称モノイダルな設定において、行列因子化の導来カテゴリと特異カテゴリの間の明確な関係は何か？
• RQ3 ヘンゼル型離散評価リングの文脈において、特異カテゴリの$ι$-adic実現は消失コホモロジーのインertia不変部分に一致するか？
• RQ4 オルロフの比較定理は、正則局所環の文脈においてlax対称モノイダルかつ$∞$-カテゴリー的枠組みへ拡張可能か？
• RQ5 モチービスト的実現関手は、非可換モチーフの文脈において6操作形式主義とどのように相互作用するか？

主な発見

• 完全な離散評価リング上のLandau-Ginzburgモデルの特異カテゴリの$ι$-adic実現は、消失コホモロジーのインertia不変部分に同型である。
• 著者たちは、正則局所環の文脈において、オルロフの行列因子化と特異性の間の同型のlax対称モノイダルかつ$∞$-カテゴリー的強化を構成した。
• モチービスト的$ι$-adic実現関手$\mathcal{M}^\vee_S$は、dgカテゴリの非連結ホモトピーK理論を介して定義され、$\mathrm{B}\mathbb{U}_S$-加群の圏に値をとる。
• 実現関手は、アユーブとチシンスキー＝デグリスの公理に基づき、6操作形式主義（特に基底変換および射影公式）を満たす。
• 適切なおよび滑らかな基底変換の下で、実現関手間の自然変換は同値であり、6操作との整合性が保証される。
• 穿孔付きディスク$\eta$の特異カテゴリへの作用は、消失コホモロジーのインertia不変部分を誘導し、これが$ι$-adic実現と一致する。