[論文レビュー] Bridgeland Moduli spaces for Gushel-Mukai threefolds and Kuznetsov's Fano threefold conjecture

Shizhuo Zhang|arXiv (Cornell University)|Dec 22, 2020

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

ひとこと要約

本稿は、Gushel-Mukaiおよび四次二重被覆三様体のKuznetsov成分におけるBridgeland安定性条件を調査し、安定対象のモジュライ空間を構成し、その幾何構造を分析する。これらの三様体のKuznetsov成分が同値でないことを証明することで、Kuznetsovのファノ三様体予想の主要なケースを、モジュライ空間の接空間構造における根本的障害を示すことによって反証する。

ABSTRACT

We study the Hilbert scheme $\mathcal{H}$ of twisted cubics on a special smooth Gushel-Mukai threefolds $X_{10}$. We show that it is a smooth irreducible projective threefold if $X_{10}$ is general among special Gushel-Mukai threefolds, while it is singular if $X_{10}$ is not general. We construct an irreducible component of a moduli space of Bridgeland stable objects in the Kuznetsov component of $X_{10}$ as a divisorial contraction of $\mathcal{H}$. We also identify the minimal model of Fano surface $\mathcal{C}(X_{10}')$ of conics on a smooth ordinary Gushel-Mukai threefold with moduli space of Bridgeland stable objects in the Kuznetsov component of $X_{10}'$. As a result, we show that the Kuznetsov's Fano threefold conjecture is not true

研究の動機と目的

• 特別なGushel-Mukai三様体上のねじれ立方曲線のヒルベルトスキームの幾何構造とBridgelandモジュライ空間との関係を調査すること。
• 四次二重被覆三様体とGushel-Mukai三様体のKuznetsov成分がカテゴリカルに同値であるかどうかを特定すること。
• 導来カテゴリにおける安定対象のモジュライ空間を分析することで、Kuznetsovのファノ三様体予想の主要なケースを解決すること。
• 四次二重被覆三様体の直線のファノ表面が、Gushel-Mukai三様体上の円錐のモジュライ空間と同型でないことを確立すること。

提案手法

• 特別なGushel-Mukai三様体$X_{10}$上のねじれ立方曲線のヒルベルトスキーム$\mathcal{H}$を構成し、二重被覆$\pi: X_{10} \to Y_5$の分岐集合$\mathcal{B}$に基づいてその滑らかさを分析する。
• Kuznetsov成分$\mathcal{K}u(X_{10})$上にBridgeland安定性条件$\sigma'$を定義し、$\mathcal{H}$から得られる$s = 1 - 3L + \frac{1}{2}P$に対してモジュライ空間$\mathcal{M}_{\sigma'}(\mathcal{K}u(X_{10}), s)$を構成する。
• モジュライ空間における安定対象の接空間構造を$\mathcal{K}u(Y_2)$および$\mathcal{K}u(X_{10})$で分析し、特異点における次元の不一致を示す。
• Fourier-Mukai関手と数値Grothendieck群間の等長写像を用いてモジュライ空間を比較し、同値性の仮定の下で矛盾を導出する。
• $\mathcal{H}$に層状分離技術を適用し、ねじれ立方曲線が$Y_5$上のねじれ立方曲線または円錐へ写される場合を区別し、その特異部分集合を研究する。
• 仮想同値$\widetilde{\Phi}$によって誘導される準同型$\gamma: \Sigma(Y) \to p(\mathcal{C}(X'))$を用い、モジュライ空間の同型が滑らかさおよび接空間次元の矛盾を引き起こすことを示す。

実験結果

リサーチクエスチョン

• RQ1 Gushel-Mukai三様体のKuznetsov成分が四次二重被覆三様体のそれと同値である可能性はあるか？
• RQ2 分岐集合に直線または円錐を含む場合、特別なGushel-Mukai三様体上のねじれ立方曲線のヒルベルトスキームは滑らかのままであるか？
• RQ3 四次二重被覆三様体の直線のファノ表面は、Gushel-Mukai三様体上の円錐のモジュライ空間と同型であるか？
• RQ4 仮想同値の下で、$\mathcal{K}u(Y_2)$および$\mathcal{K}u(X_{10})$におけるBridgelandモジュライ空間の接空間が一致するか？
• RQ5 Kuznetsov成分$\mathcal{K}u(Y_2)$と$\mathcal{K}u(X_{10})$の間のFourier-Mukai同値性が存在しない幾何的障害は何か？

主な発見

• 一般な$X_{10}$、すなわち分岐集合$\mathcal{B}$が直線や円錐を含まない場合、特別なGushel-Mukai三様体$X_{10}$上のねじれ立方曲線のヒルベルトスキーム$\mathcal{H}$は滑らかでかつ既約である。
• 一般でない$X_{10}$の場合、$\mathcal{H}$は特異的となり、特異部分集合は、共通の直線成分を持つ可約ねじれ立方曲線をパラメトライズする有限個の孤立点および有限個の有理曲線からなる。
• モジュライ空間$\mathcal{M}_{\sigma'}(\mathcal{K}u(X_{10}), s)$は$\mathcal{H}$の除法的収縮として構成され、Kuznetsov成分におけるBridgeland安定対象の幾何的実現を提供する。
• 滑らかで通常のGushel-Mukai三様体$X_{10}'$上の円錐のファノ表面$\mathcal{C}_m(X_{10}')$の最小モデルは、$\mathcal{K}u(X_{10}')$におけるBridgeland安定対象のモジュライ空間と一致する。
• 特異点や次元のジャンプが生じる場合を含め、すべてのケースで、対応するモジュライ空間における接空間次元が一致しないことから、$\mathcal{K}u(Y_2) \not\simeq \mathcal{K}u(X_{10})$が証明される。
• 同値性の仮定の下で、$Y_2$と$X_{10}'$がともに一般、片方が特異、あるいは両方が非一般の場合に、すべてのケースで矛盾が生じる。したがって、このような同値性は存在し得ない。