[論文レビュー] A Construction of stable bundles and reflexive sheaves on Calabi-Yau threefolds

Baosen Wu, Shing Tung Yau|arXiv (Cornell University)|May 22, 2014

Algebraic Geometry and Number Theory参考文献 10被引用数 4

ひとこと要約

この論文は、セール構成と変形理論を用いて、カルラヤ三様体上に勾配安定な反射的層および安定バンドルを構成する。$D$ をカルラヤ三様体 $X$ 上の非常に豊富な除数とするとき、$n \geq r$ であれば、$c_1 = 0$、$c_2 = n[D^2]$、$c_3 = 2nD^3$ を満たすランク $r$ の安定反射的層が存在することを証明しており、$\mathcal{O}_X \oplus \mathcal{I}_C$ の変形によって得られる以前の結果を拡張する。

ABSTRACT

We use Serre construction and deformation to construct stable bundles and reflexive sheaves on Calabi-Yau threefolds.

研究の動機と目的

• カルラヤ三様体上に所定のチャーン類を持つ安定バンドルおよび反射的層の一般存在結果の不足を補う。
• 変形理論的技法を用いて、ギーゼッカーおよびアラトミンの結果を、表面から三様体へ拡張する。
• 任意の射影的カルラヤ三様体上で $c_1 = 0$ を満たす安定反射的層を構成する方法を提供する。
• 明示的構成により、特別な場合における DRY 予想を検証する。
• 曲線の変形を用いて、$\mathcal{O}_X \oplus \Omega_X$ からのヒューブレヒトの変形法を、より高いランクの層へ一般化する。

提案手法

• カルラヤ三様体内の曲線の理想層を用いて、層の拡張をセール構成により構築する。
• 曲線 $C$ に適した条件下で、$\mathcal{O}_X \oplus \mathcal{I}_C$ の変形理論を適用し、安定反射的層を生成する。
• 非自明な拡張を保証するため、$H^1(T_X(-D)) \to H^1(T_X)$ および $H^0(\Omega_X(\log D)) = 0$ といったコhomological 準拠を用いる。
• ランクについての帰納法を用い、ランク 2 の安定反射的層から出発して、より高いランクの安定反射的層を構成する。
• 半安定性が変形において開性を示すという基準を用い、変形による安定性を保証する。
• 変形によって構成された安定層が、すべての極化に関して安定であるという事実に依拠する。

実験結果

リサーチクエスチョン

• RQ1 カルラヤ三様体 $X$ 上で、層 $\mathcal{O}_X \oplus \mathcal{I}_C$ が安定反射的層に変形可能となる条件は何か？
• RQ2 所定のチャーン類を持つ安定反射的層に関する DRY 予想は、特別な場合に検証可能か？
• RQ3 $c_1 = 0$ を満たす任意のランク $r$ の安定反射的層を、カルラヤ三様体上でどのように構成できるか？
• RQ4 このような層の $c_3$ を最小化するために、算術的 genus と曲線の変形は果たす役割は何か？
• RQ5 変形法を、反射的層に限らず、安定ベクトルバンドルを構成するために拡張可能か？

主な発見

• カルラヤ三様体 $X$ 上の非常に豊富な除数 $D$ と $n \geq r$ に対して、$c_1(\mathcal{E}) = 0$、$c_2(\mathcal{E}) = n[D^2]$、$c_3(\mathcal{E}) = 2nD^3$ を満たすランク $r$ の安定反射的層 $\mathcal{E}$ が存在する。
• この構成は、$\mathcal{O}_X \oplus \mathcal{I}_C$ が安定反射的層に変形可能となるように、$n[D^2]$ の類に属する曲線 $C$ の変形に依存する。
• この方法により、すべての極化に関して安定性が保証され、他の方法で構成された層と比較して顕著な利点を有する。
• 証明は、$\mathcal{O}_X \oplus \mathcal{I}_C$ の変形によって得られる安定ランク 2 層から出発するランクに関する帰納法を用いている。
• 非自明な拡張の存在に不可欠な、主要なコhomological 条件 $H^0(\Omega_X(\log D)) = 0$ と $H^1(T_X(-D)) \to H^1(T_X)$ の非自明性。
• 安定性を直接確認する必要を避け、半安定性の開性を活用することで、変形による安定性を保証する。