[論文レビュー] Gepner point and strong Bogomolov-Gieseker inequality for quintic 3-folds

Yukinobu Toda|arXiv (Cornell University)|May 2, 2013

Algebraic Geometry and Number Theory参考文献 12被引用数 7

ひとこと要約

本稿では、ミラー対称性およびゲプナー点における安定性条件を動機として、5次3次元超曲面上の安定層に対してより強いボゴモロフ＝ギエーゼッカー不等式を提案する。この予想は、ランク2の層でc₁ = −H/2の場合、正規化された判別式の下界が約1.5139であると予測しており、これはクリフォード型の不等式と層の安定性に関する議論を用いてランク2の場合に証明されている。

ABSTRACT

We propose a conjectural stronger version of Bogomolov-Gieseker inequality for stable sheaves on quintic 3-folds. Our conjecture is derived from an attempt to construct a Bridgeland stability condition on graded matrix factorizations, which should correspond to the Gepner point via mirror symmetry and Orlov equivalence. We prove our conjecture in the rank two case.

研究の動機と目的

• 5次3次元超曲面上の安定層に対して、ストリング的ケーラーmoduli空間におけるゲプナー点を動機として、より強いボゴモロフ＝ギエーゼッカー不等式を定式化すること。
• 順序付き行列因子化を介して、ゲプナー点におけるブリッジランド安定性条件と安定層のチエーン類との間の関係を確立すること。
• 提案されたより強い不等式のランク2の場合の証明を行い、この不等式の具体的なテストケースを提供すること。
• 5次曲面へのアプローチの拡張として、安定な一貫系に対して、3次元の場合と類似したクリフォード型の不等式を提示すること。

提案手法

• 5次3次元超曲面上の連接層の導来圏におけるゲプナー型安定性条件の期待から、予想される不等式を導出する。
• オルロフの同値性を用いて、導来圏を定義多項式の順序付き行列因子化と関連付ける。
• セイデル＝トーマスのねじり変換とテンソルシフトを用いて、ゲプナー点における候補となる安定性条件を構成する。
• 順序付き行列因子化の圏上で、一貫系のμ′-安定性を分析するための勾配関数μ′を定義する。
• 滑らかな5次曲線におけるクリフォードの定理を用いて、線分束の次数を評価し、不等式が成り立たない場合に矛盾を導く。
• c₁(F)·h ≥ 3 ならば、必要な判別式の下界1.5139…が得られることを示すことにより、ランク2の層に対して予想を証明する。

実験結果

リサーチクエスチョン

• RQ1 ゲプナー点における安定性条件を考慮した場合、5次3次元超曲面上の安定層に対してより強いボゴモロフ＝ギエーゼッカー不等式を定式化できるか。
• RQ2 ゲプナー点における安定性条件のもとで、正規化された判別式Δ(E)·H / rank(E)²の明確な数値的下界は何か。
• RQ3 順序付き行列因子化の構造は、5次3次元超曲面上のブリッジランド安定性条件の構成とどのように関係するか。
• RQ4 5次曲面上の安定な一貫系に対して、3次元の場合と類似したクリフォード型の不等式を確立できるか。
• RQ5 5次3次元超曲面上のランク2の層に対して、予想される不等式は、線分束および曲線の交差に関する幾何的制約を用いて証明可能か。

主な発見

• 提案されたより強いボゴモロフ＝ギエーゼッカー不等式は、5次3次元超曲面上のH-勾配安定なランク2の層でc₁(E)/rank(E) = −H/2の場合、正規化された判別式の下界が約1.5139であると予測している。
• 予想は、c₁(F)·h ≥ 3 である任意のμ′-安定な一貫系(𝒪_S^⊕2 → F)でrank(F) = 1の場合に、真であると証明されている。
• 証明は、滑らかな5次曲線C ∈ |h|への線分束の制限にクリフォードの定理を適用することに依拠しており、この操作により正則切断の次元が制限される。
• c₁(F)·h ≤ 2.7636…を仮定すると、h⁰(ℒ|C) ≤ 2 かつ厳密な不等号が成立し、μ′-安定性からh⁰(F) ≥ 2であるという要件に反するため、矛盾が生じる。
• 予想される不等式は、ゲプナー型安定性条件の中心的価値に関連しており、定数1.5139…はℚ(e²π√−i/5)に属する。
• 同様に、5次曲面上の安定な一貫系に対して、1.3818…の予想されるクリフォード型の不等式が提示され、ランク2の場合の証明が提供されている。