[論文レビュー] Orientation data for coherent sheaves on the local projective plane

Yun Shi|arXiv (Cornell University)|Sep 6, 2018

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

ひとこと要約

本稿では、局所的射影平面 $Y = \mathrm{Tot}(\mathcal{O}_{\mathbb{P}^2}(-3))$ 上の連接層のモジュライスタックに対する標準的配置データを確立する。これは、クーヴァー心 $\mathrm{Mod}\text{-}A^n$ 上の標準的配置データが自己同値 $\otimes \pi^*\mathcal{O}(1)$ に関して整合的であることを示し、幾何的配置データと一致することを証明することで達成される。この結果により、$Y$ 上でのグローバルなモチーフ的ドナルドソン＝トーマス不変量の定義が可能になる。

ABSTRACT

In this note, we show that the canonical orientation data on the quiver hearts are compatible under the autoequivalence $\_\otimesπ^*O(1)$, and hence glue to give an orientation data for the stack of coherent sheaves on local P2.

研究の動機と目的

• 局所的射影平面 $Y = \mathrm{Tot}(\mathcal{O}_{\mathbb{P}^2}(-3))$ 上の連接層のモジュライスタックに対するグローバルな配置データを確立すること。
• クーヴァー心 $\mathrm{Mod}\text{-}A^n$ 上の標準的配置データが自己同値 $\otimes \pi^*\mathcal{O}(1)$ に関して整合的であることを示し、貼り合わせを可能にすること。
• クーヴァー心から得られる貼り合わせられた配置データが、$Y$ の導来圏から生じる幾何的配置データと一致することを証明すること。
• $Y$ 上でのモチーフ的ドナルドソン＝トーマス不変量を一貫性のある配置データを用いて定義するための基盤を提供すること。

提案手法

• クーヴァーとポテンシャルのジャコビ代数を用いた、$D^b(Y) \simeq D^b(\mathrm{Mod}\text{-}A)$ の導来同値を用いる。
• Davison [Dav] で定義されたクーヴァー心 $\mathrm{Mod}\text{-}A^n$ 上の標準的配置データを適用する。
• 確定線束の自然同型を用いて、$\otimes \pi^*\mathcal{O}(1)$ による自己同値の下でのこれらの配置データの整合性を証明する。
• 整合性条件を用いて、$L_{A^n}$ を貼り合わせることで、$\bigcup \mathrm{Mod}\text{-}A^n$ 上のグローバルな線束 $L_a$ を構成する。
• $A^0_{\mathbb{P}^2}$ の明示的分解と行列式の計算を用いて、貼り合わせたクーヴァー由来の配置データ $L_a$ と幾何的配置データ $L_g$ を比較する。
• $\det(R\mathcal{H}om(F,F))$ と $L_a|_{\mathrm{Coh}_Y}$ の自然同型を用いて、$L_g \simeq L_a|_{\mathrm{Coh}_Y}$ を示す。

実験結果

リサーチクエスチョン

• RQ1 クーヴァー心 $\mathrm{Mod}\text{-}A^n$ 上の標準的配置データは、自己同値 $\otimes \pi^*\mathcal{O}(1)$ に関して整合的か？
• RQ2 $\mathrm{Mod}\text{-}A^n$ 上の整合的配置データは、$Y$ 上の連接層のスタック上のグローバルな配置データに貼り合わせられるか？
• RQ3 クーヴァー心から構成された配置データは、$Y$ 上の幾何的配置データと一致するか？
• RQ4 $Y$ のモチーフ的 DT 不変量と、$A$-加群を用いたクーヴァー側の構成との関係は何か？

主な発見

• クーヴァー心 $\mathrm{Mod}\text{-}A^n$ 上の標準的配置データは、自己同値 $\otimes \pi^*\mathcal{O}(1)$ に関して整合的であり、定理5で示された。
• $\mathrm{Mod}\text{-}A^n$ 上の整合的配置データは、$Y$ 上の連接層のスタック $\mathrm{Coh}_Y$ 上のグローバルな配置データ $L_a$ に貼り合わせられる。
• $\mathrm{Coh}_Y$ 上の幾何的配置データ $L_g$ は、貼り合わせたクーヴァー由来の配置データの制限と同型である：$L_g \simeq L_a|_{\mathrm{Coh}_Y}$、定理6で証明された。
• $L_g \simeq L_a|_{\mathrm{Coh}_Y}$ の同型は自然であり、すべての $n$ に対して整合的であるため、全モジュライスタックにわたる一貫性が保証される。
• この構成により、$\mathrm{Coh}_Y$ 上に標準的かつグローバルに定義された配置データが得られ、$Y$ 上でのモチーフ的ドナルドソン＝トーマス不変量の定義が可能になる。
• 結果として、クーヴァー側の配置データと幾何的配置データが一致することが確認され、$Y$ 上でのモチーフ的 DT フレームワークの一貫性が裏付けられた。