[論文レビュー] A simple counterexample to the Jordan-Hölder property for derived categories

Alexander Kuznetsov|arXiv (Cornell University)|Apr 3, 2013

Algebraic structures and combinatorial models参考文献 3被引用数 15

ひとこと要約

本稿では、$\mathbb{P}^3$ の blown-up の導来カテゴリ−にボンダのクイバー代数を半直交成分として実現することにより、滑らかで射影的多様体の導来カテゴリ−におけるジョルダン・ホルダー性質の簡略化された反例を提示する。主な結果は、同型でない成分を持つ2つの異なる半直交分解が存在することを示し、ジョルダン・ホルダー性質が要求する「置換を除いて一意性」を破ることを示している。

ABSTRACT

A counterexample to the Jordan-Hölder property for semiorthogonal decompositions of derived categories of smooth projective varieties was constructed by Böhning, Graf von Bothmer and Sosna. In this short note we present a simpler example by realizing Bondal's quiver in the derived category of a blowup of the projective space.

研究の動機と目的

• 滑らかで射影的多様体の導来カテゴリ−におけるジョルダン・ホルダー性質のより単純な反例を提供すること。
• 導来カテゴリ−の半直交分解が成分の置換を除いて一意でないことを示すこと。
• ボンダのクイバー代数を $\mathbb{P}^3$ の blown-up の導来カテゴリ−内の部分カテゴリとして実現すること。
• この blown-up の導来カテゴリ−がジョルダン・ホルダー性質を満たさないことを示すこと。

提案手法

• 有理曲線 $C$ に沿って $\mathbb{P}^3$ を blown-up する $Y$ を構成し、その正規束が $\mathcal{O}_C(-1) \oplus \mathcal{O}_C(-2)$ であることを仮定する。
• 導来カテゴリ $\mathbf{D}(Y)$ を例外的対象 $\mathcal{E}_1, \mathcal{E}_2[1], \mathcal{E}_3[1]$ を含む半直交分解として特定する。
• 関係式 $\beta_1\alpha_2 = \beta_2\alpha_1 = 0$ を持つボンダのクイバーのパス代数を、これらの対象の自己準同型代数として実現する。
• 随伴およびプッシュフォワードの技法を用いて、例外的 divisor 上の構造層およびラインバンドルのプッシュフォワード間の $\mathop{\mathsf{Hom}}$ および $\mathop{\mathsf{Ext}}^1$ 群を特定する。
• 乗法写像 $m: \mathop{\mathsf{Hom}}({\mathcal{O}}_X, i_*{\mathcal{O}}_E(1,0)) \otimes \mathop{\mathsf{Ext}}^1(i_*{\mathcal{O}}_E(1,0), j_*{\mathcal{O}}_C(-3)) \to \mathop{\mathsf{Ext}}^1({\mathcal{O}}_X, j_*{\mathcal{O}}_C(-3))$ が非自明な核を持つことを示す。
• 評価写像および $\mathcal{O}_C(-1)$ の非巡回性を用いて埋め込みにより $m(\alpha_i \otimes \beta_i)$ の線形独立性を証明する。

実験結果

リサーチクエスチョン

• RQ1 滑らかで射影的多様体の導来カテゴリ−において、ジョルダン・ホルダー性質のより単純な反例を構成できるか？
• RQ2 $\mathbb{P}^3$ の blown-up の導来カテゴリ−は、同型でない成分を持つ半直交分解を許容するか？
• RQ3 ボンダのクイバー代数を幾何的導来カテゴリ−内のフル部分カテゴリとして実現できるか？
• RQ4 導来カテゴリ−の $\mathop{\mathsf{Ext}}$ 代数における乗法写像が、ジョルダン・ホルダー性質を破るような非退化性を示すか？
• RQ5 幾何的実現において、関係式 $\beta_1\alpha_2 = \beta_2\alpha_1 = 0$ が成立するか？

主な発見

• 有理曲線 $C$ に沿って $\mathbb{P}^3$ を blown-up した $Y$ の導来カテゴリ $\mathbf{D}(Y)$ は、ジョルダン・ホルダー性質を満たさない。
• 対象 $\mathcal{E}_1, \mathcal{E}_2[1], \mathcal{E}_3[1]$ の自己準同型代数は、関係式 $\beta_1\alpha_2 = \beta_2\alpha_1 = 0$ を持つボンダのクイバーのパス代数と同型である。
• 乗法写像 $m$ は $\alpha_1 \otimes \beta_2$ および $\alpha_2 \otimes \beta_1$ に沿って消えるが、$\alpha_1 \otimes \beta_1$ および $\alpha_2 \otimes \beta_2$ に沿って非ゼロかつ線形独立である。
• $m(\alpha_i \otimes \beta_i)$ の像は $\mathop{\mathsf{Ext}}^1({\mathcal{O}}_X, j_*{\mathcal{O}}_C(-3))$ 内で線形独立であり、クイバー構造の非退化性を証明する。
• $\mathbf{D}(Y)$ は、同型でない成分を持つ2つの異なる半直交分解を許容し、ジョルダン・ホルダー性質を破る。
• ボンティング、グラーフ・フォン・ボトメール、ソスナの以前の構成とは異なり、高次元的またはより複雑な幾何的設定を避けるため、本反例はより単純である。