[論文レビュー] Openness results for uniform K-stability

Kento Fujita|arXiv (Cornell University)|Sep 24, 2017

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

ひとこと要約

この論文は代数幾何における一様K安定性の開性結果を確立し、プロジェクト型slc対$(X,\Delta)$と極化$L$が一様K安定で、かつ$L$が正規化可能または反正規化可能である場合、$L$に十分近い任意の$\mathbb{Q}$-ラインバンドル$L'$について$((X,\Delta),L')$が依然として一様K安定であることを証明する。証明は境界とテスト構成の摂動技法を組み合わせ、評価基準とドナルドソン＝フタキ不変量を用いる。

ABSTRACT

Assume that a projective variety together with a polarization is uniformly K-stable. If the polarization is canonical or anti-canonical, then the projective variety is uniformly K-stable with respects to any polarization sufficiently close to the original polarization.

研究の動機と目的

• プロジェクト型slc対における極化の小さな摂動の下で一様K安定性の開性を確立すること。
• 一様K安定性が極化の小さな変形の下で保存されることを示す長年の予想を解決すること、特に正規化可能および反正規化可能の場合に焦点を当てる。
• 一様K安定性がN\'eron-Severi空間において開条件であるかどうかという問いに部分的な肯定的解答を与えること。
• 洗練された解析的および代数的技法を用いて、半正規および対数Fano対のより広いクラスへのK安定性の結果の拡張を図ること。

提案手法

• 一様K安定性を保つために、有効な$\mathbb{Q}$-除算子を用いて境界$\Delta$と極化$L$を同時に摂動すること。
• Fujita, Li, Odakaによる対数Fano対の一様K安定性の評価基準を用いて反正規化可能な場合を扱うこと。
• あるノルムで割ったドナルドソン＝フタキ不変量の一様有界性を用いて正規化可能な場合を扱うこと。
• 半正則な半正規テスト構成を用いて、ドナルドソン＝フタキ不変量とネフ除算子のノルムの間の新しい不等式を確立すること。
• 半正則な半正規テスト構成に対して、$ n\mu_N(L)J^{\operatorname{NA}}(\mathcal{X},\mathcal{L}) \geq \operatorname{DF}_{\Delta+N}(\mathcal{X},\mathcal{L}) - \operatorname{DF}_{\Delta}(\mathcal{X},\mathcal{L}) $ という重要な不等式を証明すること。
• 摂動結果と正則性の開性の組み合わせにより、元の極化の近傍における局所的安定性を導出すること。

実験結果

リサーチクエスチョン

• RQ1 プロジェクト型slc対において、正規化可能または反正規化可能極化をもつ場合、一様K安定性はN\'eron-Severi空間において開条件か？
• RQ2 特に極化が$K_X + \Delta$または$-(K_X + \Delta)$である場合、一様K安定性は極化の小さな摂動の下でも保存されるか？
• RQ3 極化と境界除算子にどのような条件を課すと、$L$に近い任意の$L'$について$((X,\Delta), L')$が一様K安定に保たれるか？
• RQ4 半正則な設定において、境界および極化の摂動の下でテスト構成とドナルドソン＝フタキ不変量はどのように振る舞うか？
• RQ5 正規化可能でない場合、$K_X + \Delta$の正則性を仮定しないで、一様K安定性の開性を確立できるか？

主な発見

• 対数Fano対$(X,\Delta)$で$L = -(K_X + \Delta)$のとき、$((X,\Delta), L)$が一様K安定であれば、任意の有効な$\mathbb{Q}$-除算子$B$について$((X,\Delta + B), L - B)$も一様K安定である。ただし$\varepsilon L - B$が正則であるとし、$\varepsilon = \frac{\delta(X,\Delta) - 1}{n \cdot \delta(X,\Delta) + n + 1}$である。
• 極化$L = K_X + \Delta$のとき、$L$が正則で、かつ$\frac{n^2}{n^2 - 1}\mu_{K_X + \Delta}(L)L - (K_X + \Delta)$が正則であれば、$L$の近傍にあるすべての$L'$について$((X,\Delta), L')$は一様K安定である。
• 任意の半正則な半正則テスト構成$(\mathcal{X},\mathcal{L})$と任意の有効なネフ$\mathbb{Q}$-除算子$N$について、$ n\mu_N(L)J^{\operatorname{NA}}(\mathcal{X},\mathcal{L}) \geq \operatorname{DF}_{\Delta+N}(\mathcal{X},\mathcal{L}) - \operatorname{DF}_\Delta(\mathcal{X},\mathcal{L}) $ が成り立つ。
• 正規化可能および反正規化可能極化の両方について、一様K安定性の開性が確立された：$L = K_X + \Delta$または$L = -(K_X + \Delta)$のとき、$L$のユークリッド近傍内のすべての$L'$について$((X,\Delta), L')$は一様K安定である。
• 任意の$\operatorname{N}^1(X)_{\mathbb{R}}$上のノルム$\|\cdot\|$に対して、ある$\varepsilon' > 0$が存在し、$\|L' - L\| \leq \varepsilon'$を満たすすべての$\mathbb{Q}$-ラインバンドル$L'$について$((X,\Delta), L')$は一様K安定である。
• 定理6.5は一様K安定性の十分条件を提供する：$\mu_{K_X + \Delta}(L) > 0$かつ$\frac{n^2}{n^2 - 1}\mu_{K_X + \Delta}(L)L - (K_X + \Delta)$が正則であれば、$((X,\Delta), L)$は一様K安定である。