[論文レビュー] Derived equivalences for cotangent bundles of Grassmannians via categorical sl(2) actions

Sabin Cautis, Joel Kamnitzer+1 more|arXiv (Cornell University)|Feb 11, 2009

Algebraic structures and combinatorial models参考文献 10被引用数 26

ひとこと要約

本稿は、カテゴリカルな $\mathfrak{sl}_2$ アクションを用いて、補数的グリスマンニアンの余接 bundle 上の連接層の導来圏の明示的同型 $D(T^*\text{Gr}(k,N)) \xrightarrow{\sim} D(T^*\text{Gr}(N-k,N))$ を構成する。チャウ＝ルーケィアの構成を、ファンクターが正確でない三角化圏へ一般化するため、カテゴリカルな $\mathfrak{sl}_2$ 生成子とその随伴を用いて複体のファンクターを定義し、その畳み込みが三角化同型を与えることを証明する。主な結果は、自然で幾何的に意味のある同型であり、ムカイのフロップにおける既知の結果を回復し、特定のカーネルが同型を誘導しない理由を説明する。

ABSTRACT

We construct an equivalence of categories from a strong categorical sl(2) action, following the work of Chuang-Rouquier. As an application, we give an explicit, natural equivalence between the derived categories of coherent sheaves on cotangent bundles to complementary Grassmannians.

研究の動機と目的

• ファンクターが正確でない三角化圏への、チャウ＝ルーケィアのカテゴリカルな $\mathfrak{sl}_2$-に基づく同型の拡張。
• 補数的グリスマンニアンの余接 bundle 上の連接層の導来圏の間の自然な同型の確立。
• $k \neq 0,1$ のとき、$\mathcal{O}_{Z(k)}$ のような特定のカーネルが同型を誘導しない理由の幾何的説明の提供。
• カテゴリカルな $\mathfrak{sl}_2$ アクションによって構成されたカーネルがコhen＝マカウレイ的であることを示し、それが同型を誘導する理由の説明。

提案手法

• 三角化圏に強いカテゴリカルな $\mathfrak{sl}_2$ アクションを構成し、量子群 $U_q(\mathfrak{sl}_2)$ の除法冪をカテゴリファイするための次数付きファンクター $\mathsf{E}^{(r)}$ と $\mathsf{F}^{(r)}$ を導入する。
• 微分を随伴写像として用いて、項 $\Theta_s := \mathsf{F}^{(\lambda+s)}(s) \circ \mathsf{E}^{(s)}(\lambda+s)\langle -s \rangle$ を持つ複体 $\Theta_*$ を定義する。
• この複体の畳み込みが、三角化同型 $\mathsf{T}: \mathcal{D}(\lambda) \xrightarrow{\sim} \mathcal{D}(-\lambda)$ を与えることを証明し、$SL_2$表現論における反射ファンクターを三角化圏へ一般化する。
• グリスマンニアンの余接 bundle 上の連接層の導来圏にこの構成を適用し、$\mathcal{D}(k)$ を $D(T^*\text{Gr}(k,N))$ と同一視する。
• 結果として得られるカーネル $\mathcal{T} = \text{Cone}(\Theta_*)$ が、ムカイのフロップの場合（$k=1$）において $\mathcal{O}_{Z(k)}$ と線分束のねじれを除いて同型であることを示し、既知の同型を回復する。
• $\mathcal{T}$ がコヘン＝マカウレイ的である一方、$k \neq 0,1$ のとき $\mathcal{O}_{Z(k)}$ はそうではないことを示し、一般に $\mathcal{O}_{Z(k)}$ が同型を誘導しない理由を説明する。

実験結果

リサーチクエスチョン

• RQ1 チャウ＝ルーケィアのカテゴリカルな $\mathfrak{sl}_2$-に基づく同型の構成を、ファンクターが正確でない三角化圏へ拡張することは可能か？
• RQ2 $D(T^*\text{Gr}(k,N))$ と $D(T^*\text{Gr}(N-k,N))$ の間に自然で幾何的に意味のある同型が存在するか？
• RQ3 $T^*\text{Gr}(k,N)$ の場合、$k \neq 0,1$ のとき $\mathcal{O}_{Z(k)}$ が自然な候補であるにもかかわらず、なぜ同型を誘導しないのか？
• RQ4 同型を誘導する成功の背後にある、幾何的またはホモロジー的性質として、カーネル $\mathcal{T}$ と $\mathcal{O}_{Z(k)}$ を区別するものは何か？
• RQ5 カーネル $\mathcal{T}$ は、ファイバー積の開部分集合からの線分束の押し出しとして明示的に記述可能か？

主な発見

• 複体 $\Theta_*$ の畳み込みは、三角化同型 $\mathsf{T}: \mathcal{D}(\lambda) \xrightarrow{\sim} \mathcal{D}(-\lambda)$ を与える。これは、$SL_2$表現論における反射ファンクターを三角化圏へ一般化する。
• 構成された同型は、すべての $k,N$ に対して、明示的で自然な同型 $D(T^*\text{Gr}(k,N)) \xrightarrow{\sim} D(T^*\text{Gr}(N-k,N))$ を誘導する。
• $k=1$ の場合、カーネル $\mathcal{T}$ は線分束のねじれを除いて $\mathcal{O}_{Z(1)}$ と同型であり、カワマタとナミカワによって構成された同型を回復する。
• $k=2$, $N=4$ の場合、カーネル $\mathcal{T}$ はカワマタの修正されたカーネルと同型であり、それが自己同型として正当であることを確認する。
• $\mathcal{T}$ はコヘン＝マカウレイ的であるが、$k \neq 0,1$ のとき $\mathcal{O}_{Z(k)}$ はそうではないため、$\mathcal{O}_{Z(k)}$ が一般に同型を誘導しない理由が説明される。
• $k \neq 0,1$ のとき、$Z(k)$ の成分が余次元 $\geq 2$ で交わることにより、$Z(k)$ はコヘン＝マカウレイ的でないことが生じ、セールのS2条件を満たさない。