[論文レビュー] A study of the Hilbert-Mumford criterion for the stability of projective varieties

Julius Ross, Richard Thomas|ArXiv.org|Dec 29, 2004

Geometry and complex manifolds参考文献 22被引用数 7

ひとこと要約

本稿は、極付加された射影的多様体の安定性のヒルベルト＝ムーディー基準について、幾何的解釈を展開し、正規被覆への変形を用いたスロープ安定性の概念を導入する。滑らかな genus $ g \geq 1 $ の曲線が K-安定であることを示し、ヒルベルト多項式とイデアル層のフィルトレーションから得られる数値不変量を用いた直接的な代数的証明を提供する。

ABSTRACT

We make a systematic study of the Hilbert-Mumford criterion for different notions of stability for polarised algebraic varieties $(X,L)$; in particular for K- and Chow stability. For each type of stability this leads to a concept of slope $μ$ for varieties and their subschemes; if $(X,L)$ is semistable then $μ(Z)\leμ(X)$ for all $Z\subset X$. We give examples such as curves, canonical models and Calabi-Yaus. We prove various foundational technical results towards understanding the converse, leading to partial results; in particular this gives a geometric (rather than combinatorial) proof of the stability of smooth curves.

研究の動機と目的

• 極付加多様体の安定性に関するヒルベルト＝ムーディー基準の幾何的で組合せ的でない解釈を展開すること。
• イデアル層の正規被覆への変形における挙動に基づき、層理論におけるスロープ安定性に類似した多様体のスロープ安定性の概念を定義すること。
• 捩れたイデアル層のヒルベルト多項式の係数の積分を用いた K-安定性の数値的基準を確立すること。
• 滑らかな曲線の genus $ g \geq 1 $ が K-安定であることを、代数的手法により証明すること。また、$ \mathbb{P}^1 $ が厳密に K-多安定であることを示すこと。
• スロープ不変量を通じて、 canonical モデルおよびカーライ・ヤウ多様体の安定性を理解するための基礎的枠組みを提供すること。

提案手法

• 幾何的不変量理論 (GIT) における 1 パrameter 群作用の幾何的実現として、正規被覆への変形構成を用いる。
• K-スロープ $ \mu_c(\mathcal{I}_Z) $ を、$ c \leq \epsilon(Z) $ の範囲で $ x \in [0,c] $ 上の重み付き平均 $ a_1(x) + \frac{1}{2}a_0'(x) $ として定義する。
• ヒルベルト＝ムーディー基準を適用する際、重み計算をブロー・アップの中心ファイバーに還元し、スキーム的中心ファイバー上の和への簡略化を実現する。
• 不安定化を特定するための不変量 $ e(Z) - 2\rho(Z) $ を導入する。負の符号は不安定性を示す。
• ヒルベルト多項式 $ \chi(L^r \otimes \mathcal{I}_Z^{xr}) $ を用いて $ a_0(x), a_1(x) $ を定義し、これらを実数 $ x $ に拡張することで、スロープ式における積分が可能になる。
• 曲線に応用する際、部分スキーム $ Z $ に対して $ \chi(L^k \otimes \mathcal{I}_Z^{xk}) $ を分析し、滑らかな点および多重度 $ \leq 2 $ の特異点に対して $ \mu_c(\mathcal{I}_Z) < \mu(X) $ が成り立つことを示す。

実験結果

リサーチクエスチョン

• RQ1 ヒルベルト＝ムーディー基準を、多様体に対して体系的に簡略化し、組合せ的ではなく幾何的な安定性基準を得ることは可能か？
• RQ2 層理論におけるスロープ安定性に類似した、極付加多様体のための適切なスロープ安定性の概念は何か？
• RQ3 部分スキーム $ Z \subset X $ が $ (X,L) $ を不安定化する条件は何か？ そして、その条件をどのように数値的に捉えることができるか？
• RQ4 ヒルベルト多項式不変量を用いた直接的な代数的証明により、滑らかな曲線の K-安定性を示すことは可能か？
• RQ5 特異点（例えば、通常の二重点や高次多重度の点）は、曲線の K-安定性にどのように影響を与えるか？

主な発見

• 本稿は、genus $ g \geq 1 $ の滑らかな極付加曲線 $ (\Sigma, L) $ が K-安定であることを確立し、すべての真の部分スキーム $ Z \subset \Sigma $ に対してスロープ条件 $ \mu_c(\mathcal{I}_Z) < \mu(X) $ が成り立つ、直接的な代数的証明を提供する。
• $ \mathbb{P}^1 $ に対しては、厳密に K-多安定であることを証明し、$ \mu_c(\mathcal{I}_Z) \geq \mu(X) $ が成り立ち、等号は $ Z $ が一点で $ c = \epsilon(Z) $ のときのみ成立し、これは非自明な $ \mathbb{C}^\times $-作用に対応する。
• 多重度 $ e \geq 3 $ の点をもつ曲線は、不等式 $ 2\rho \geq 2e - 2 > e $ により、厳密に K-不安定であることが示され、$ e(Z) - 2\rho(Z) < 0 $ となる。
• 至るところ通常の二重点をもつ曲線に対しては、局所モデル $ \operatorname{Spec} \mathbb{C}[X,Y]/(XY) $ を用い、$ \rho \leq 1 $ を評価することで、すべての $ Z $ に対して $ \mu_c(\mathcal{I}_Z) < \mu(X) $ が成り立つことから、スロープ安定性を証明する。
• スロープ式における補正項 $ \frac{1}{2}a_0'(x) $ は、2成分の正規交叉と滑らかな多様体との間のヒルベルト多項式の差に起因する。
• 本稿は、マブーチ関数やケーラー＝アインシュタイン計量といった解析的手法を避けて、滑らかな曲線の K-安定性の幾何的証明を提供する。