[論文レビュー] On the sharpness of Tian's criterion for K-stability

Yuchen Liu, Ziquan Zhuang|arXiv (Cornell University)|Mar 12, 2019

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

ひとこと要約

本稿では、TianのK安定性に関する基準の鋭さを示す。n次元の特異Fano多様体を構成し、そのα不変量がちょうど$\frac{n}{n+1}$であるがK-ポリ安定でないもの、およびα不変量が$\frac{n-1}{n}$であるがK不安定であるものを得ることで、Tianの基準における境界が滑らかさやより高いα値といった追加仮定なしには改善できないことを示した。

ABSTRACT

Tian's criterion for K-stability states that a Fano variety of dimension $n$ whose alpha invariant is greater than $\frac{n}{n+1}$ is K-stable. We show that this criterion is sharp by constructing singular Fano varieties with alpha invariants $\frac{n}{n+1}$ that are not K-polystable for sufficiently large $n$. We also construct K-unstable Fano varieties with alpha invariants $\frac{n-1}{n}$.

研究の動機と目的

• TianのK安定性基準におけるα不変量の閾値$\frac{n}{n+1}$の最適性を検証すること。
• Tianの基準における条件$\alpha(X) > \frac{n}{n+1}$がK安定性を失うことなく弱体化または削除可能かどうかを調査すること。
• K-ポリ安定でないが$\alpha(X) = \frac{n}{n+1}$であるFano多様体の具体的な反例を構成し、等号の場合における滑らかさ仮定の必要性を示すこと。
• K不安定なFano多様体が$\alpha(X) = \frac{n-1}{n}$を満たすかどうかを調査し、K安定性のα不変量の下限を検証すること。
• K安定性とα不変量に関する既存の結果を補完し、K半安定Fano多様体における最小の可能なα不変量を同定すること。

提案手法

• 次数$n+1$の$n$次元の超曲面$X \subset \mathbb{P}^{n+1}$および、2次超曲面と次数$n$の超曲面の完全交差$Y \subset \mathbb{P}^{n+2}$を構成し、それぞれが唯一の特異点を持つこと。
• 重み付きブLOW-UPを用いてKollár成分を抽出し、$\beta$-不変量を用いてK安定性を分析するための対数特異点の高さを計算すること。
• Pukhlikovの超接線分岐除数技術を適用し、一般の超曲面および完全交差のグローバル対数正則特異点閾値を推定すること。
• 付随の反転およびCalabi-Yau完全交差における付随を用いて、対$(Y, \alpha D)$の対数正則性を検証すること。
• Fujitaによる$\alpha(X) = \frac{n}{n+1}$であるが非K安定なFano多様体の特徴付けを用い、特異点を弱く例外的な特異点（対数特異点高さ$n$）と関連付けること。
• 固定次元$n$および固定体積$V$を有する$\mathbb{Q}$-Fano多様体で$\alpha(X) > \frac{1}{2}$を満たすもののモジュライ函手が、分離された有限型のDeligne-Mumfordスタックによって表され、その粗モジュライ空間が分離代数的空間であることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 Tianの基準における滑らかさ仮定は、$\alpha(X) = \frac{n}{n+1}$の場合に削除可能か？
• RQ2 K安定性のための境界$\alpha(X) > \frac{n}{n+1}$は鋭いか、それより低くできるか？
• RQ3 $\frac{1}{n+1} < \alpha(X) < \frac{1}{n}$を満たすK半安定$\mathbb{Q}$-Fano多様体は存在するか？
• RQ4 $\frac{n-1}{n} < \alpha(X) < \frac{n}{n+1}$を満たすK不安定$\mathbb{Q}$-Fano多様体は存在するか？
• RQ5 次元$n$のK半安定$\mathbb{Q}$-Fano多様体において、最小の可能な$\alpha$-不変量は何か？

主な発見

• 7以上の場合、$n \geq 7$、$\alpha(X) = \frac{n}{n+1}$を満たすGorenstein正則超曲面$X \subset \mathbb{P}^{n+1}$（次数$n+1$）が存在し、それはK-ポリ安定でない。
• 14以上の場合、$n \geq 14$、$\alpha(Y) = \frac{n-1}{n}$を満たすGorenstein正則完全交差$Y \subset \mathbb{P}^{n+2}$（2次超曲面と次数$n$の超曲面の交差）が存在し、それはK不安定である。
• これらの例から、Tianの基準は滑らかさやより高いα値といった追加仮定なしには改善できないことが示された。境界$\alpha(X) > \frac{n}{n+1}$は鋭く、等号の場合における滑らかさ条件は必要不可欠である。
• 一般の超曲面$X \subset \mathbb{P}^{n+1}$（次数$d \leq (2 - \epsilon)n$）に対して、$n \gg 0$のとき、$\mathrm{lct}(X; |H|_{\mathbb{Q}})$は正確に1に等しい。
• $\alpha(X) > \frac{1}{2}$、固定次元$n$、固定体積$V$を満たす$\mathbb{Q}$-Fano多様体のモジュライ函手は、分離された有限型のDeligne-Mumfordスタックによって表され、その粗モジュライ空間は分離代数的空間である。
• e = 2の場合、K不安定な$Y$のK-ポリ安定化$\mathcal{X}'_{0'}$に対して$\alpha(\mathcal{X}'_{0'}) \leq \frac{1}{n}$が成り立ち、K半安定Fano多様体における最小の$\alpha$-不変量が$\frac{1}{n}$にまで小さくなる可能性があることを示した。