[論文レビュー] Stability conditions on product varieties

Yucheng Liu|arXiv (Cornell University)|Jul 22, 2019

Algebraic Geometry and Number Theory参考文献 21被引用数 6

ひとこと要約

本稿は、任意の smooth な projective 多様体 $X$ と smooth な曲線 $C$ に対して、$D(X)$ 上の与えられた安定性条件の中心的質量が離散的像を持つという仮定の下で、$X \times C$ の導来カテゴリ−に連続的な1パラメータ族の Bridgeland 安定性条件を構成する。この構成は、Abramovich-Polishchuk 心の弱安定性条件と正値性補題に依拠し、最終的に任意の曲線の積、特にすべての因子が楕円曲線であるときの任意次元の Calabi-Yau 多様体における安定性条件の存在を証明する。

ABSTRACT

Given a stability condition on a smooth projective variety $X$, we construct a family of stability conditions on $X imes C$, where $C$ is a smooth projective curve. In particular, this gives the existence of stability conditions on arbitrary products of curves. The proof uses, by following an idea of Toda, the positivity lemma established by Bayer and Macrì and weak stability conditions on the Abramovich-Polishchuk heart of a bounded t-structure in $D(X imes C)$.

研究の動機と目的

• smooth な projective 多様体 $X$ と smooth な projective 曲線 $C$ に対して、$X \times C$ の導来カテゴリ−に Bridgeland 安定性条件の存在を確立すること。
• 曲線や曲面における既知の安定性結果を、特に曲線を含む高次元多様体に拡張すること。
• すべての因子が楕円曲線であるときの任意次元の Calabi-Yau 多様体に対して、次元 $\geq 4$ の安定性条件の構成という長年の未解決問題を、楕円曲線の積に注目することで解決すること。
• 任意次元の積多様体に対して、二次不等式を用いて Bogomolov-Gieseker 不等式を一般化すること。
• t-構造と多項式中心的質量を用いて、$D(X)$ からの安定性条件を $D(X \times C)$ に持ち上げる体系的な方法を提供すること。

提案手法

• Abramovich-Polishchuk の構成を用いて、$D(X \times C)$ 上の有界 t-構造のグローバルな心を構成する。
• 元の $D(X)$ 上の安定性条件から導かれる多項式中心的質量を用いて、この心における弱安定性条件を定義する。
• Bayer と Macrè の正値性補題を適用し、弱安定性条件における安定対象のための二次不等式を確立する。
• 中心的質量の虚部に関する帰納法を用いて、補題の支持性を示すより強い二次不等式を証明する。
• 有理数パラメータの近傍での中心的質量の変動を制御することで、$\mathbb{R}_{>0} \times \mathbb{R}_{>0}$ 上での安定性条件族の連続性を確立する。
• 中心的質量の離散的像と有理数近似を活用して、有理数パラメータから実数パラメータへの構成の拡張を実現する。

実験結果

リサーチクエスチョン

• RQ1 任意の smooth な projective 多様体 $X$ と smooth な projective 曲線 $C$ に対して、$D(X)$ 上に安定性条件が与えられたとき、$D(X \times C)$ 上に安定性条件を構成できるか？
• RQ2 構成された $D(X \times C)$ 上の安定性条件は、支持性を満たすか？ これにより連続族の存在が保証されるか？
• RQ3 この構成は、任意の曲線の積、特に次元 $\geq 4$ の Calabi-Yau 多様体に対しても拡張可能か？
• RQ4 任意次元の積多様体に対して、Bogomolov-Gieseker 不等式は二次不等式を用いて一般化可能か？
• RQ5 パラメータ空間 $\mathbb{R}_{>0} \times \mathbb{R}_{>0}$ 内での変形において中心的質量はどのように振る舞い、連続性は保たれるか？

主な発見

• 任意の smooth な projective 多様体 $X$ と smooth な曲線 $C$ に対して、$D(X \times C)$ 上に $\mathbb{R}_{>0} \times \mathbb{R}_{>0}$ でパrameter化された連続的な安定性条件族が構成される。これは、$D(X)$ 上の中心的質量の像が離散的であるという仮定の下で成り立つ。
• 構成は、Abramovich-Polishchuk 心における弱安定性条件と正値性補題に依拠し、支持性を示す二次不等式を導出する。
• 支持性は、初期構成で用いられたものよりも強い二次不等式を用いた帰納的検証により確認され、安定性条件が適切に振る舞うことが保証される。
• この方法により、任意次元の積多様体に対して Bogomolov-Gieseker 不等式が一般化され、$D(X \times C)$ 内の安定対象に対する新たな不等式が得られる。
• この構成により、任意の smooth な projective 曲線 $C_1, \dots, C_n$ に対して、$D(C_1 \times \cdots \times C_n)$ 上に安定性条件の存在が得られる。特に、楕円曲線の積としての Calabi-Yau 多様体の例が含まれる。
• $\eta: \text{RStab}(X) \times \mathbb{R}_{>0} \times \mathbb{R}_{>0} \to \text{Stab}(X \times C)$ は連続である。これにより、族が適切に定義されており、微小なパラメータ摂動に対しても安定であることが確認される。