[論文レビュー] Alpha invariants and K-stability for general polarisations of Fano varieties

Ruadhaí Dervan|arXiv (Cornell University)|Jul 24, 2013

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

ひとこと要約

本稿は、Fano多様体の一般化された極化のK安定性の十分条件を、Tianのアルファ不変量を用いて確立し、反Canonical極化の状況におけるOdaka-Sanoの結果を一般化する。主な貢献は、アルファ不変量と勾配条件を含む基準であり、これは1次度のデル・ペッツォ表面の新しい極化のK安定性を証明する。特に、$L_\lambda = 3H - \sum_{i=1}^7 E_i - \lambda E_8$ に対して $\frac{19}{25} < \lambda < \sqrt{10} - 2$ の範囲でK安定性が成立する。この結果は、円錐特異点を含む対数K安定性へも拡張可能である。

ABSTRACT

We provide a sufficient condition for polarisations of Fano varieties to be K-stable in terms of Tian's alpha invariant, which uses the log canonical threshold to measure singularities of divisors in the linear system associated to the polarisation. This generalises a result of Odaka-Sano in the anti-canonically polarised case, which is the algebraic counterpart of Tian's analytic criterion implying the existence of a Kähler-Einstein metric. As an application, we give new K-stable polarisations of a general degree one del Pezzo surface. We also prove a corresponding result for log K-stability.

研究の動機と目的

• Fano多様体の一般極化に対するK安定性の代数的基準を、反Canonical極化の場合にOdaka-Sanoが得た結果を一般化すること。
• 極化Fano多様体のアルファ不変量と勾配不変量に基づくK安定性の十分条件を確立すること。
• 一般の1次度のデル・ペッツォ表面におけるK安定極化の明示的例を提示すること。
• K安定性基準を、除数に沿った円錐特異点を含む対数設定へ拡張すること。

提案手法

• 極化の正規化のための位相的不変量として、$\mu(X,L) = \frac{-K_X \cdot L^{n-1}}{L^n}$ を定義する。
• $|L|$ 内の $\mathbb{Q}$-除算の対数正則閾値の下限として、アルファ不変量 $\alpha(X,L)$ を導入する。
• 十分条件を確立：$\alpha(X,L) > \frac{n}{n+1}\mu(X,L)$ かつ $-K_X \geq \frac{n}{n+1}\mu(X,L)L$ ならばK安定性が成立する。
• アルファ不変量の連続性を証明し、$L$ の小さな変形においてK安定性条件が開であることを示す。
• 対数K安定性の枠組みを、対数勾配 $\mu_\beta((X,D);L)$ と対数アルファ不変量 $\alpha((X,D);L)$ を用いて拡張する。
• 吹き上げの形式的記法と付随の反転を用い、テスト配置上の不変量と乖離度を用いて、対数アルファ不変量の上界を評価する。

実験結果

リサーチクエスチョン

• RQ1 Tianのアルファ不変量によるK安定性の基準を、Fano多様体の反Canonical極化を超えて一般化できるか？
• RQ2 極化$L$にどのような条件を課すと、Fano多様体のK安定性が保証されるのか、既知の反Canonicalの場合を超えて？
• RQ3 Fano多様体、特にデル・ペッツォ表面において、非トロピカルなK安定極化の新しい例は存在するか？
• RQ4 アルファ不変量基準を、円錐特異点を含む対数設定にどのように拡張できるか？
• RQ5 K安定性は極化の族において開条件であるか？そして、これを代数的に示せるか？

主な発見

• 本稿は、$\alpha(X,L) > \frac{n}{n+1}\mu(X,L)$ かつ $-K_X \geq \frac{n}{n+1}\mu(X,L)L$ ならば $(X,L)$ はK安定であると証明する。
• 一般の1次度のデル・ペッツォ表面 $X$ に対して、極化 $L_\lambda = 3H - \sum_{i=1}^7 E_i - \lambda E_8$ は $\frac{19}{25} < \lambda < \sqrt{10} - 2 \approx 0.12$ の範囲でK安定である。
• 第二の不等式が厳密に成立する場合、アルファ不変量の連続性により、極化$L$においてK安定性条件は開である。
• 対数K安定性基準は、円錐特異点を持つ対$(X,D)$へ拡張可能である：$\alpha((X,D);L) > \frac{n}{n+1}\mu_\beta((X,D);L)$ かつ $-(K_X + (1-\beta)D) \geq \frac{n}{n+1}\mu_\beta((X,D);L)L$ ならば、角度$\beta$の円錐特異点を伴う対数K安定性が成立する。
• 証明ではテスト配置と乖離度解析を用い、上記の条件下で対数ドナルドソン＝フタカインバリアントが正であることを示した。
• 本手法により、一般の極化Fano多様体に対する非トロピカルなK安定性の初の代数的基準が得られ、K安定極化の明示的代数的構成が可能になった。