[論文レビュー] Graded tilting for gauged Landau-Ginzburg models and geometric applications

Christian Okonek, Andrei Teleman|arXiv (Cornell University)|Jul 23, 2019

Advanced Measurement and Metrology Techniques被引用数 6

ひとこと要約

本稿は、射影的多様体上のベクトルバンドル内の正則切断の零点集合上の連接層の導来カテゴリと、非可換商代数の重み付き特異カテゴリの間で重み付きティルティング同値性を確立する。ゲージ化されたランダウ＝ジンブルグ模型と ${\mathbb{C}}^*$-等配導来カテゴリを用いて、完全交差、等配グラスマン多様体、およびベイユヴィル＝ドナギのIHS 4次元多様体の導来カテゴリを、不変環の非可換解消を介して代数的に記述する。

ABSTRACT

In this paper we develop a graded tilting theory for gauged Landau-Ginzburg models of regular sections in vector bundles over projective varieties. Our main theoretical result describes - under certain conditions - the bounded derived category of the zero locus $Z(s)$ of such a section $s$ as a graded singularity category of a non-commutative quotient algebra $\\Lambda/\\langle s\ angle$: $D^b(\\mathrm{coh} Z(s))\\simeq D^{\\mathrm{gr}}_{\\mathrm{sg}}(\\Lambda/\\langle s\ angle)$. Our geometric applications all come from homogeneous gauged linear sigma models. In this case $\\Lambda$ is a non-commutative resolution of the invariant ring which defines the $\\mathbb{C}^*$-equivariant affine GIT quotient of the model. We obtain purely algebraic descriptions of the derived categories of the following families of varieties: - Complete intersections. - Isotropic symplectic and orthogonal Grassmannians. - Beauville-Donagi IHS 4-folds.

研究の動機と目的

• 射影的多様体上のベクトルバンドル内の正則切断に関連するゲージ化されたランダウ＝ジンブルグ模型の重み付きティルティング理論を構築すること。
• 零点集合 $Z(s)$ 上の連接層の有界導来カテゴリ $D^b(\mathrm{coh} Z(s))$ を、非可換商代数 $\Lambda / \langle s \rangle$ の重み付き特異カテゴリとして記述すること。
• この枠組みを同次的GLSMに適用し、特定のカーバイ・ヤウおよびハイパーケーラー多様体族の導来カテゴリを代数的に記述すること。
• ${\mathbb{C}}^*$-等配ティルティングとGIT商構成を介して、幾何的不変量（導来カテゴリ）と非可換代数的構造との間の関係を確立すること。
• イシク＝シッパントの定理を重み付きティルティングの文脈に一般化し、特異性および非可換解消の文脈での導来同値性を可能にすること。

提案手法

• イシク＝シッパントの定理を用いて、$D^b(\mathrm{coh} Z(s))$ を潜在関数 $s^\vee$ の重み付き特異カテゴリ $D^{\mathrm{gr}}_{\mathrm{sg}}(Z(s^\vee))$ と関連付ける。
• ベクトルバンドルの全空間 $E$ 上に重み付きティルティング生成子 $\mathcal{T}$ を構成し、代数 $\Lambda = \mathrm{End}_E(\mathcal{T})$ を得る。
• $R = \mathbb{C}[C(E)]$ を $E$ の射影的像のアフィン錐の座標環として定義し、$D^b(\mathrm{coh} Z(s))$ と $D^{\mathrm{gr}}_{\mathrm{sg}}(\Lambda / \langle s \rangle)$ の導来同値性を確立する。
• 同次的GLSMに理論を適用し、$\Lambda$ が ${\mathbb{C}}^*$-等配GIT商を定義する不変環の重み付き非可換解消であることを示す。
• ケンプフの崩壊とランクの層化を用いて、カタリスカンティ多様体 $S^dV^\vee_{\leq k}$ の幾何を分析し、特異点集合と余次元を同定する。
• $\rho^{-1}(S^dV^\vee_r)$ が $S^dV^\vee_r$ 上のファイバー束としての構造を持つことを利用して、次元と余次元を計算する。特に $\rho^{-1}(\mathrm{Exc}(\rho))$ に対して計算を行う。

実験結果

リサーチクエスチョン

• RQ1 ゲージ化されたランダウ＝ジンブルグ模型に対して重み付きティルティング理論を構築し、正則切断の零点集合の導来カテゴリを記述することは可能か？
• RQ2 $D^b(\mathrm{coh} Z(s))$ が重み付き特異カテゴリ $D^{\mathrm{gr}}_{\mathrm{sg}}(\Lambda / \langle s \rangle)$ に同値となる条件は何か？
• RQ3 同次的GLSMにおける不変環の非可換解消を用いて、完全交差や等配グラスマン多様体の導来カテゴリをどのように記述できるか？
• RQ4 ケンプフの崩壊 $\rho: S^d T_k \to S^d V^\vee_{\leq k}$ における例外的集合 $\mathrm{Exc}(\rho)$ の余次元は何か？また、ランクと次数に応じてどのように変化するか？
• RQ5 ベイユヴィル＝ドナギのIHS 4次元多様体の導来カテゴリは、このティルティング枠組みを用いて代数的に記述可能か？

主な発見

• 導来カテゴリ $D^b(\mathrm{coh} Z(s))$ は、重み付きグローバル次元が有限である重み付きネーター代数 $\Lambda$ の重み付き特異カテゴリ $D^{\mathrm{gr}}_{\mathrm{sg}}(\Lambda / \langle s \rangle)$ に同値である。
• 同次的GLSMの場合、$\Lambda$ は不変環 $R = \mathbb{C}[C(E)]$ の重み付き非可換解消であり、これは ${\mathbb{C}}^*$-等配GIT商を定義する。
• $C(S^d T_k)$ はカタリスカンティ多様体 $S^d V^\vee_{\leq k}$ に一致し、これは既約的で、正規的で、コhen＝マカウル再帰的であり、$S^d V^\vee_{\leq k-1}$ に沿って有理的特異点を持つ。
• $\rho^{-1}(\mathrm{Exc}(\rho))$ の $S^d T_k$ における余次元は $\min_{0 \leq r < k} \left\{ \binom{k+d-1}{d} - \binom{r+d-1}{d} - r(k-r) \right\}$ で与えられ、$d=2$ のとき常に 1 である。
• $q \in S^d V^\vee_r$ における $\rho$ のファイバーは $\mathrm{Gr}_{k-r}(V^\vee / L_q)$ に同型であり、各層 $S^d V^\vee_r$ 上でのファイバー束構造を確認する。
• $\rho^{-1}(S^d V^\vee_r)$ の次元は $\binom{r+d-1}{d} + r(N-r) + (k-r)(N-k)$ で与えられ、ケンプフ崩壊の明確な層化を提供する。