[論文レビュー] Thom-Sebastiani & Duality for Matrix Factorizations

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

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

ひとこと要約

本論文は、導来圏上の k[[β]]-線形構造を用いて、行列因子化のためのトム＝セバスチャンチの定理および双対性を確立する。テンソル積の行列因子化カテゴリは、和ポテンシャルの零点集合上の整合的複体に対応し、関手カテゴリは差ポテンシャルの零点集合に対応する。主たる貢献は、2周期的 Hochschild 不変量を回復し、整合的双対性を用いて行列因子化カテゴリの滑らかさおよび固有性を示す、幾何的かつ k[[β]]-線形な枠組みを提供することにある。

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周期的 dg 圏の文脈において、行列因子化のためのトム＝セバスチャンチの定理を確立すること。
• 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-整合的複体に同値であり、補助条件を満たす。
• 行列因子化の 2周期的 Hochschild コホモロジーは、Grothendieck 双対性を介して、完備複体の Hochschild コホモロジーに同型である。
• 行列因子化カテゴリは滑らかであり、臨界集合が固有であれば固有である。これは双対性および補助条件を用いて示された。
• 行列因子化における Calabi-Yau 構造は、全空間上の体積形式から生じる。これは既知の結果を特異的かつ非滑らか設定に一般化する。
• k[[β]]-線形枠組みを用いて、基底上での代数的二次束の除去を可能にする Kn"orrer 周期性のバージョンが確立された。