[論文レビュー] Some remarks on Fano threefolds of index two and stability conditions

Laura Pertusi, Song Yang|arXiv (Cornell University)|Apr 6, 2020

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

ひとこと要約

この論文は、ピカール数が1でインデックスが2のファノ3次元多様体における直線の理想層が、Bayer, Lahoz, Macr\={i}, Stellari によって構成されたブリジゲルド安定性条件のもとで、Kuznetsov部品において安定であることを確立する。また、ヒルベルトスキームを安定対象のモジュライ空間としてのモジュラー解釈を提供し、立方体3次元多様体における非空のモジュライ空間の滑らかさを証明し、四重被覆の3次元多様体の安定性マニフォールドの連結成分を記述する。

ABSTRACT

We prove that ideal sheaves of lines in a Fano threefold $X$ of Picard rank one and index two are stable objects in the Kuznetsov component $\mathsf{Ku}(X)$, with respect to the stability conditions constructed by Bayer, Lahoz, Macrì and Stellari, giving a modular description to the Hilbert scheme of lines in $X$. When $X$ is a cubic threefold, we show that the Serre functor of $\mathsf{Ku}(X)$ preserves these stability conditions. As an application, we obtain the smoothness of non-empty moduli spaces of stable objects in $\mathsf{Ku}(X)$. When $X$ is a quartic double solid, we describe a connected component of the stability manifold parametrizing stability conditions on $\mathsf{Ku}(X)$.

研究の動機と目的

• ピカール数が1でインデックスが2のファノ3次元多様体における直線のヒルベルトスキームを、ブリジゲルド安定性条件を用いてモジュラー記述すること。
• 立方体3次元多様体におけるKuznetsov部品の安定対象の非空モジュライ空間の滑らかさを確立すること。
• 四重被覆の3次元多様体のKuznetsov部品における安定性マニフォールドの連結成分を記述すること。
• 立方体3次元多様体の場合に、セレフファンクターが関連する軌道における安定性条件を保存することを示すこと。
• 安定性条件の性質を用いて、立方体3次元多様体のカテゴリカルTorelli定理の別証明を提示すること。

提案手法

• Kuznetsov部品 $\operatorname{Ku}(X)$ を、$\operatorname{D}^b(X)$ における $\mathcal{O}_X$ と $\mathcal{O}_X(H)$ の右直交補空間として用いる。ここで $H = -\frac{1}{2}K_X$ である。
• Bayer, Lahoz, Macr\={i}, Stellari によって構成された安定性条件 $\sigma(\alpha, \beta)$ をKuznetsov部品に適用する。
• 安定性構造をパラメトライズする $\widetilde{\mathrm{GL}}^+_2(\mathbb{R})$ の作用による軌道 $\mathcal{K}$ を特定する。
• 弱いムカイ補題とセレフ双対性を用いて、対象の安定性を分析し、$\hom^1$次元に関する制約を導出する。
• 境界におけるサポート性と中心的係数の退化を用いて、厳密に半安定な対象が存在しないことを排除する。
• Kuznetsov部品における完全列を用いた図式走査の議論により、非自明な拡張の仮定のもとで矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 インデックスが2のファノ3次元多様体における直線の理想層が、構成された安定性条件のもとでKuznetsov部品において安定であるか？
• RQ2 このようなファノ3次元多様体における直線のヒルベルトスキームが、$\operatorname{Ku}(X)$ における安定対象のモジュライ空間として実現可能か？
• RQ3 立方体3次元多様体における $\operatorname{Ku}(X)$ の安定対象の非空モジュライ空間が、$\mathcal{K}$ に属する安定性条件のもとで滑らかであるか？
• RQ4 軌道 $\mathcal{K}$ は、四重被覆の3次元多様体の $\operatorname{Ku}(X)$ の安定性マニフォールドにおいて、最大次元の連結成分か？
• RQ5 $X$ が立方体3次元多様体である場合、$\operatorname{Ku}(X)$ のセレフファンクターが $\mathcal{K}$ 内の安定性条件を保存するか？

主な発見

• インデックスが2で次数が $\neq 1$ のファノ3次元多様体に対して、直線のヒルベルトスキーム $\Sigma(X)$ は、クラス $[\mathcal{I}_\ell]$ を持つ $\sigma$-安定対象のモジュライ空間 $M_\sigma(\operatorname{Ku}(X), [\mathcal{I}_\ell])$ に同型である。
• $X$ の次数が1のとき、$\Sigma(X)$ は $M_\sigma(\operatorname{Ku}(X), [\mathcal{I}_\ell])$ の既約成分である。
• 立方体3次元多様体に対して、$\sigma \in \mathcal{K}$ に関する $\operatorname{Ku}(X)$ の安定対象の非空モジュライ空間はすべて滑らかである。
• 立方体3次元多様体の場合、$\operatorname{Ku}(X)$ のセレフファンクターは、軌道 $\mathcal{K}$ 内の安定性条件を保存する。
• 四重被覆の3次元多様体に対して、軌道 $\mathcal{K}$ は $\operatorname{Ku}(X)$ の安定性マニフォールドにおいて最大次元の連結成分である。
• セレフファンクターによる $\mathcal{K}$ の保存と $\mathcal{I}_\ell$、$\mathcal{J}_\ell$ の安定性解析を用いて、立方体3次元多様体のカテゴリカルTorelli定理の別証明が得られる。