[論文レビュー] Moduli of semistable sheaves as quiver moduli

Andrea Maiorana|arXiv (Cornell University)|Sep 16, 2017

Algebraic structures and combinatorial models参考文献 23被引用数 5

ひとこと要約

この論文は、$\ mathbb{P}^1 \times \mathbb{P}^1$ 上のギーゼッカー半安定な torsion-free 好ましい層のモジュライ空間と、関係を持つクーヴィエの半安定表現のモジュライ空間との間の対応を、t-構造と導来カテゴリ−の例外的集合を用いて確立する。主な結果は、同型 $\ operatorname{M}^{\ textup{ss}}_{X,A}(v) \simeq \u005c operatorname{M}^{\ textup{ss}}_{Q_4,J,\theta_{\ operatorname{G},v}}(d^v)$ であり、ドレジェとル・ポティエの $\ mathbb{P}^2$ 上の構成を $\ mathbb{P}^1 \times \mathbb{P}^1$ に一般化する。これは、GIT 商構成を用いた、層のモジュライ空間のクーヴィエ理論的実現を提供する。

ABSTRACT

In the 1980s Drézet and Le Potier realized moduli spaces of Gieseker-semistable sheaves on $\mathbb{P}^2$ as what are now called quiver moduli spaces. We discuss how this construction can be understood using t-structures and exceptional collections on derived categories, and how it can be extended to a similar result on $\mathbb{P}^1 imes\mathbb{P}^1$.

研究の動機と目的

• $\ mathbb{P}^2$ 上の半安定層のモジュライ空間のクーヴィエ理論的構成を、$\ mathbb{P}^1 \times \mathbb{P}^1$ の曲面へ拡張すること。
• 導来カテゴリ−的手法を用いて、$\ mathbb{P}^1 \times \mathbb{P}^1$ 上の半安定層のモジュライを、関係を持つクーヴィエの表現のモジュライとして解釈すること。
• GIT 商構成を用いて、半安定層のモジュライ空間とクーヴィエモジュライ空間との間の明確な同型を確立すること。
• Kronecker複体に基づく層の構成を、4頂点のクーヴィエ $Q_4$ と特定の安定性条件を用いて、$\ mathbb{P}^1 \times \mathbb{P}^1$ 上に一般化すること。

提案手法

• 曲面 $X = \mathbb{P}^1 \times \mathbb{P}^1$ 上の完全な強例外的集合を用いて、$D^b(X)$ と関係を持つクーヴィエの導来カテゴリ−との導来同値を定義する。
• ラインバンドル $\mathcal{O}_X$, $\mathcal{O}_X(1,0)$, $\mathcal{O}_X(0,-1)$, $\mathcal{O}_X(1,-1)$ に対応する4頂点を持つクーヴィエ $Q_4$ を構成し、ベイリノン型分解からの関係を記録する理想 $J$ を定義する。
• 数値的不変量 $v \in K_0(X)$ に基づいて、クーヴィエ表現上の安定性条件 $\theta_{\operatorname{G},v} \in \mathbb{Z}^I$ を定義し、ギーゼッカー半安定性と整合性を保証する。
• GIT を用いて、関係 $J$ を持つクーヴィエ $Q_4$ の $\theta_{\operatorname{G},v}$-半安定表現のモジュライ空間を構成し、射影的スキームを得る。
• t-構造と $D^b(X)$ 上の $t$-構造のハートを用いて、導来カテゴリ−とクーヴィエ表現カテゴリ−を関連づけ、モジュライ空間の構成を可能にする。
• 得られたクーヴィエモジュライ空間が、Kronecker複体と層コホホロジーの対応により、古典的な半安定層のモジュライ空間と同型であることを検証する。

実験結果

リサーチクエスチョン

• RQ1 $\ mathbb{P}^1 \times \mathbb{P}^1$ 上のギーゼッカー半安定な torsion-free 層のモジュライ空間は、クーヴィエモジュライ空間として実現可能か？
• RQ2 特に完全な例外的集合を通じて、$\ mathbb{P}^1 \times \mathbb{P}^1$ の導来カテゴリ−構造が、このようなクーヴィエモジュライの構成をどのように支援するか？
• RQ3 ギーゼッカー半安定性に対応するクーヴィエ表現上の明確な安定性条件は何か？
• RQ4 クーヴィエ理論的構成は、$\ mathbb{P}^1 \times \mathbb{P}^1$ 上の点のヒルベルトスキームといった既知の例を回復するか？
• RQ5 チェルンキャラクターにどのような条件下でクーヴィエモジュライ空間が安定領域と一致し、普遍ファミリーが存在するか？

主な発見

• すべての $v \in \mathpzc{R}_A$（適切な範囲内の正のランクと勾配を持つ領域）に対して、$\ mathbb{P}^1 \times \mathbb{P}^1$ 上のギーゼッカー半安定層のモジュライ空間 $\operatorname{M}^{\textup{ss}}_{X,A}(v)$ は、クーヴィエモジュライ空間 $\operatorname{M}^{\textup{ss}}_{Q_4,J,\theta_{\operatorname{G},v}}(d^v)$ と同型である。
• $v \in \mathpzc{R}_A$ で $\gcd(\operatorname{rk}v, \deg_A v, \chi(v)) = 1$ を満たす場合、モジュライ空間 $\operatorname{M}^{\textup{ss}}_{X,A}(v)$ は滑らかであり、安定領域に一致し、普遍ファミリーをもつ。
• 安定層のモジュライ空間の次元は $\dim \operatorname{M}^{\textup{st}}_{X,A}(v) = 1 - \operatorname{rk}v^2 + \Delta(v)$ であり、クーヴィエモジュライの公式から得られる期待次元と一致する。
• この構成により、$d^v = (\ell, \ell+1, \ell, \ell)$ のとき、$\operatorname{Hilb}^\ell(X) \simeq \operatorname{M}^{\textup{ss}}_{Q_4,J,\theta_{\operatorname{G},v}}(\ell, \ell+1, \ell, \ell)$ として、$X$ 上の $\ell$ 個の点のヒルベルトスキームが回復される。
• $d^v_{0,-1}$ または $d^v_{1,0}$ のいずれかが 0 である場合、クーヴィエはクレシュォフが研究したより小さなクーヴィエに簡約され、先行結果と整合する。
• 安定性条件 $\theta_{\operatorname{G},v}$ は $\operatorname{rk}v$, $\deg_A v$, $\chi(v)$ の関数として明示的に計算可能であり、GIT 商構成が正しいモジュライ空間をもたらすことを保証する。