[論文レビュー] K-stability of log Fano hyperplane arrangements

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

Geometry and complex manifolds参考文献 32被引用数 26

ひとこと要約

本稿は、射影空間内のlog Fano超平面配置のK安定性を完全に分類し、次元と係数和に基づく組合せ的基準を確立することで、その分類を達成している。uniform K安定性、K安定性、K多様体安定性、K半安定性は、すべての関連する線形部分空間 $W$ に対して $\frac{c^X(W)}{d_{(X,\Delta)}(W)}$ が $\frac{n+1}{d_{(X,\Delta)}}$ より大きい、等しい、または厳密に大きいという条件に依存しており、K多様体安定性には、ペアがクラス $\mathcal{P}$ に属していることが要求される。

ABSTRACT

In this article, we completely determine which log Fano hyperplane arrangements are uniformly K-stable, K-stable, K-polystable, K-semistable or not.

研究の動機と目的

• log Fano超平面配置が一様K安定性、K安定性、K多様体安定性、K半安定性を満たすための完全な条件の特定。
• 超平面配置の組合せ的不変量を用いて、既知の1次元のK安定性基準を任意次元に拡張すること。
• K多様体安定性を、新しいクラス $\mathcal{P}$ のlog Calabi-Yau超平面配置を用いて特徴付けること。
• 超平面配置の文脈において、K安定性とGIT安定性の関係を明確にすること。
• smooth Fanoの場合を超えて、$\alpha$-不変量の閾値がK安定性を示すかという問題を解決すること。

提案手法

• 本稿は、K安定性の値札的基準を用い、特に $\hat{\beta}$-不変量と対数正則特異点閾値の技法を用いる。
• 関数 $d_{(X,\Delta)}(W) = \sum_{W \subset H_i} d_i$ および $c^X(W) = \operatorname{codim}_X W$ を導入し、超平面配置の組合せ的データを符号化する。
• 鍵となる基準は、すべての $W \in \mathbb{L}'(X,\Delta)$ に対して $\frac{c^X(W)}{d_{(X,\Delta)}(W)}$ を $\frac{n+1}{d_{(X,\Delta)}}$ と比較することである。
• log Calabi-Yau超平面配置のクラス $\mathcal{P}$ を定義・分析し、K多様体安定性を特徴付ける。
• $\alpha$-不変量基準を適用し、一般に $\alpha(X,\Delta) = n/(n+1)$ がK安定性を示さない反例を構成する。
• 点に沿った吹き上げと付随を用いて特異点を分析し、$\alpha(X,\Delta) < n/(n+1)$ を仮定した場合の矛盾を導出する。

実験結果

リサーチクエスチョン

• RQ1 どのlog Fano超平面配置に対して、一様K安定性とK安定性が同値となり、その正確な組合せ的条件は何か？
• RQ2 配置の幾何学的・組合せ的性質を用いて、K多様体安定性の正確な基準は何か？
• RQ3 smooth Fanoの場合と同様に、$\alpha$-不変量の閾値 $n/(n+1)$ が、特異な場合でもK安定性を保証できるか？
• RQ4 非自明な特異点を持つlog Fano超平面配置に対して、$\alpha$-不変量はK安定性とどのように関係するか？
• RQ5 クラス $\mathcal{P}$ は、K多様体安定なlog Fano超平面配置を特徴付けるために果たす正確な役割は何か？

主な発見

• 一様K安定性とK安定性は同値であり、すべての $W \in \mathbb{L}'(X,\Delta)$ に対して $\frac{c^X(W)}{d_{(X,\Delta)}(W)} > \frac{n+1}{d_{(X,\Delta)}}$ が成り立つ場合に限り成立する。
• K半安定性は、すべての $W \in \mathbb{L}'(X,\Delta)$ に対して $\frac{c^X(W)}{d_{(X,\Delta)}(W)} \geq \frac{n+1}{d_{(X,\Delta)}}$ が成り立つ場合に限り成立する。
• K多様体安定性は、$(X, \Gamma)$ が $\Gamma = \frac{n+1}{d_{(X,\Delta)}}\Delta$ を満たすペアとして、クラス $\mathcal{P}$ のlog Calabi-Yau超平面配置である場合に限り成立する。
• $\alpha$-不変量が $n/(n+1)$ に正確に等しくても、ペアがK安定でない場合があるため、$\alpha$-不変量基準は一般には十分ではない。
• K半安定だがK多様体安定でないlog Fano超平面配置が存在し、$\alpha(X,\Delta) = n/(n+1)$ を満たすため、smooth Fanoの場合の自然な一般化は誤りである。