[論文レビュー] Derived categories of Quot schemes of locally free quotients via categorified Hall products

Yukinobu Toda|arXiv (Cornell University)|Oct 6, 2021

Algebraic structures and combinatorial models参考文献 21被引用数 4

ひとこと要約

本稿は、Grassmannianのフリップに分類されたHall積を適用することで、局所自由な商へのQuotスキームの導来カテゴリの半直交分解に関するQingyuan Jiangの予想を証明する。主な結果は、$ D^b(\mathbf{Quot}_{X,d}(\mathscr{G})) $ が $ \binom{\delta}{i} $ 個の $ D^b(\mathbf{Quot}_{X,d-i}(\mathscr{H})) $ のコピーに半直交分解されることを示し、Kapranovの例外的コレクションやプロジェクト化の公式といった既知の公式を一般化する。

ABSTRACT

We prove Qingyuan Jiang's conjecture on semiorthogonal decompositions of derived categories of Quot schemes of locally free quotients. The author's result on categorified Hall products for Grassmannian flips is applied to prove the conjecture.

研究の動機と目的

• 局所自由な商へのQuotスキームの導来カテゴリの半直交分解に関するQingyuan Jiangの予想を証明すること。
• Grassmannianのプロジェクト化の公式やKapranovの例外的コレクションといった既知の結果を一般化すること。
• 分類されたHall積とGrassmannianのフリップを用いて、Quotスキームに導来カテゴリカル構造を確立すること。
• 超ポテンシャル付きクオーバー表現のモジュライスタックの族へその枠組みを拡張すること。

提案手法

• Koszul双対性を用いて$(-1)$-シフトされた余接導来スタック上で構成された、Grassmannianフリップの族に対する分類されたHall積を用いる。
• d-臨界的Grassmannianフリップの理論を適用し、導来Quotスキームを超ポテンシャル付き表現のモジュライとして解釈する。
• 重み列に辞書式順序を導入し、導来カテゴリにおける半直交成分を定義する。
• 分類されたHall積によって誘導される完全忠実関手を用いて、$ D^b(\mathbf{Quot}_{X,d-i}(\mathscr{H})) $ を $ D^b(\mathbf{Quot}_{X,d}(\mathscr{G})) $ に埋め込む。
• 右随伴を持つ分類されたHall積のグローバル構成に依拠し、形式的局所的議論により半直交分解を保証する。
• 行列式特性 $ \chi_0 $ を用いて、モジュライスタック上のラインバンドルを定義し、和成分の重みに基づく分類を可能にする。

実験結果

リサーチクエスチョン

• RQ1 導来カテゴリ $ D^b(\mathbf{Quot}_{X,d}(\mathscr{G})) $ は、Jiangが予想したように $ D^b(\mathbf{Quot}_{X,d-i}(\mathscr{H})) $ のコピーに半直交分解可能か？
• RQ2 分類されたHall積形式的は、基底スキーム $ X $ 上のGrassmannianフリップの族へ拡張可能で、半直交構造を保つか？
• RQ3 適切な条件下で、導来Quotスキーム $ \mathbf{Quot}_{X,d}(\mathscr{G}) $ はd-臨界的スタックとして、Grassmannianフリップをモデル化するか？
• RQ4 導来Quotスキーム $ \mathbf{Quot}_{X,d}(\mathscr{G}) $ の仮想次元は、$ \mathscr{E}^0 $ のランク $ \delta $ と整数 $ d $ とどのように関係するか？
• RQ5 $ \delta \geq 0 $ のとき、$ D^b(\mathbf{Quot}_{X,d}(\mathscr{G})) $ は $ \binom{\delta}{i} $ 個の $ D^b(\mathbf{Quot}_{X,d-i}(\mathscr{H})) $ に分解可能か？

主な発見

• 導来カテゴリ $ D^b(\mathbf{Quot}_{X,d}(\mathscr{G})) $ は、$ 0 \leq i \leq \min\{d, \delta\} $ に対して $ \binom{\delta}{i} $ 個の $ D^b(\mathbf{Quot}_{X,d-i}(\mathscr{H})) $ のコピーに半直交分解可能であり、Jiangの予想が証明された。
• $ X $ を点に、$ \mathscr{G} $ をランク $ \delta $ の局所自由なファイバーにとると、Kapranovの例外的コレクションの一般化が得られる。
• $ d=1 $ のとき、主定理の特別な場合としてプロジェクト化の公式が回復される。
• $ \mathscr{G} $ がホモロジー次元 $ \leq 1 $ であるとき、Tor独立性の下で導来Quotスキーム $ \mathbf{Quot}_{X,d}(\mathscr{G}) $ と $ \mathbf{Quot}_{X,d}(\mathscr{H}) $ はそれらの古典的同型に同値である。
• 分類されたHall積の構成により、完全忠実関手 $ D^b(\mathbf{Quot}_{X,d-i}(\mathscr{H})) \hookrightarrow D^b(\mathbf{Quot}_{X,d}(\mathscr{G})) $ が得られ、核は明示的に記述されていない。
• 分解は $ \mathbb{C}^* $-作用と行列式特性 $ \chi_0 $ と整合的であり、モジュライスタック上の重み付き構造を保証する。