[論文レビュー] Examples of K-unstable Fano manifolds with the Picard number one

Kento Fujita|arXiv (Cornell University)|Aug 18, 2015

Geometry and complex manifolds参考文献 24被引用数 5

ひとこと要約

本稿では、オダカとオカダの予想を反証するため、ピカール数1のK不安定なファノ多様体の明示的例を構成する。5次デル・ペッツォ多様体の特別な平面から導かれる半テスト配置を用い、ドナルドソン＝フタカイ不変量を計算することで、その値が負であることを示し、K不安定性を証明する。これは、除因子的安定性があるにもかかわらず、K不安定である事例を示している。

ABSTRACT

We show that the pair $(X, -K_X)$ is K-unstable for a del Pezzo manifold $X$ of degree five with dimension four or five. This disprove a conjecture of Odaka and Okada.

研究の動機と目的

• オダカとオカダの予想5.1を反証すること。この予想は、ピカール数1のすべてのファノ多様体がK半安定であると主張している。
• ピカール数1のK不安定なファノ多様体の最初の既知の例を提供すること。
• 4次元または5次元の5次デル・ペッツォ多様体のK安定性を、幾何学的およびコhomologicalな技法を用いて分析すること。
• ファノ幾何におけるK安定性が除因子的安定性よりも厳密に強いことを示すこと。

提案手法

• 4次元または5次元の5次デル・ペッツォ多様体 $ X $ における特別な平面 $ S \to X $ から、フラッグイデアルに沿ったブ lows-up を用いて半テスト配置を構成する。
• ブロー・アップ $ \tilde{X} $ と特異除因子 $ E_S $ 上のラインバンドルの体積を含む積分公式を用いて、ドナルドソン＝フタカイ不変量 $ \text{DF}(\tilde{X}, \tilde{L}) $ を計算する。
• アーモニクスモデル列 $ \tilde{X} = X_1 \to X_2 = \bbP^n $ を用いて、安定性パラメータの異なるチャネルに沿った積分に不変量を分解する。
• 積分 $ \frac{(n-1)^n}{n+1} \big( 2c_2(\nu_{S/X}^\text{vee}) + (n-4)(9-n) - 2n \big) $ を評価し、$ \text{DF} $ の符号を特定する。
• デル・ペッツォ多様体の幾何について既知の結果（特にその標準バンドルおよび正規バンドルの構造）を用いて、特徴的クラスを計算する。
• レフシェッツ定理およびベッチ数の計算を用いて、研究対象の多様体の位相的設定を確認する。

実験結果

リサーチクエスチョン

• RQ1 ピカール数1のK不安定なファノ多様体は存在するか。これは、オダカとオカダの予想に反する。
• RQ2 デル・ペッツォ多様体における特別な部分多様体（例：平面）から半テスト配置を構成できるか。K安定性の検出に有効か。
• RQ3 4次元または5次元の5次デル・ペッツォ多様体におけるドナルドソン＝フタカイ不変量の符号は何か。
• RQ4 K安定性が除因子的安定性よりも厳密に強いことは、K安定性の失敗にもかかわらず除因子的安定性が成立するという事実から示唆されるか。

主な発見

• 5次デル・ペッツォ多様体 $ X $ について、$ n = 4 $ または $ n = 5 $ のとき、ペア $ (X, -K_X) $ はK不安定である。これは、ドナルドソン＝フタカイ不変量 $ \text{DF}(\tilde{X}, \tilde{L}) $ が負であるためである。
• 不変量 $ \text{DF}(\tilde{X}, \tilde{L}) $ は $ \frac{(n-1)^n}{n+1} \big( 2c_2(\nu_{S/X}^\text{vee}) + (n-4)(9-n) - 2n \big) $ に比例し、この式は $ n = 4 $ および $ n = 5 $ で負である。
• $ n = 6 $ のとき、不変量は0に等しく、$ X \to \bbG(5,2) $ がK半安定かつ有理型同型であることに整合する。
• 考察対象の多様体は除因子的安定性を満たす（[Fjt15, Corollary 9.3] より）が、K不安定であるため、K安定性が除因子的安定性よりも厳密に強いことを示している。
• 4次元および5次元、6次元の両方で、第4ベッチ数 $ b_4(X) = 2 $ である。これは、これらの多様体の位相的複雑性を確認する。
• 本研究は、$ \rho(X) = 1 $ であるファノ多様体のK安定性に関するオダカとオカダの予想5.1に対する最初の反例を提供している。