[論文レビュー] Relative Ding and $K$-stability of toric Fano manifolds in low dimensions

Yasufumi Nitta, Shunsuke Saito+1 more|arXiv (Cornell University)|Dec 4, 2017

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

ひとこと要約

この論文は、ミナルチ定数を用いて、モーメントポリトープの組合せ的データから計算された、一様に相対的ドゥイング安定なトーリックファノ3次元多様体および4次元多様体を分類している。3次元多様体では18体中12体が安定であると特定し、4次元においては安定／不安定なケースを完全に列挙しており、$M_X > 1$ である明示的反例を通じて、相対的 $K$-安定性と相対的ドゥイング安定性が異なることを示している。

ABSTRACT

The purpose of this paper is to clarify all of the uniformly relatively Ding stable toric Fano threefolds and fourfolds as well as unstable ones. The key player in our classification result is the Mabuchi constants, which can be calculated by combinatorial data of the associated moment polytopes due to the work of Yao [33]. In Tables 1-3, we give the list of uniform relative Ding stability of all toric Fano manifolds in dimension up to four with the values of the Mabuchi constants. As an application of our main theorem (Theorem 1.1), we clarify the difference between relative $K$-stability and relative Ding stability by considering some specific toric Fano manifolds (Corollaries 1.6 and 1.9). In the proof of Corollary 1.9, we used Bott tower structure of relatively Ding unstable toric Fano manifolds.

研究の動機と目的

• 3次元および4次元における一様に相対的ドゥイング安定なすべてのトーリックファノ多様体を分類すること。
• モーメントポリトープの組合せ的データを用いて、各トーリックファノ多様体のミナルチ定数 $M_X$ を特定すること。
• トーリックファノ設定における相対的 $K$-安定性と相対的ドゥイング安定性の違いを明確にすること。
• ボットタワー構造を用いて、相対的 $K$-安定であるが相対的ドゥイング安定でない明示的反例を構成すること。

提案手法

• 公式 $\theta_P = \sum_{i,j} c_{ij}^{-1} b_i b_j$ を用いて、モーメントポリトープ $P$ 上での積分によりミナルチ定数 $M_X = \max_P \theta_P$ を計算する。
• Yao の結果を用い、トーリックファノ多様体において $M_X < 1$ は一様相対的ドゥイング安定性と同値であることを用いる。
• 非アーキメデス的汎関数枠組みを適用：一様相対的ドゥイング安定性は、すべての $T$-不変テスト配置について $D_v^{NA} \geq \delta J_T^{NA}$ の不等式によって定義される。
• デルクロアおよびリ＝リの対応関係を活用：$T$-不変テスト配置は、モーメントポリトープ上の有理数値の分離的凸関数に対応する。
• 直接的な数値計算により $b_k = \int_P x_k \, dx$ および $c_{ij} = \int_P x_i x_j \, dx$ をポリトープ上で評価し、$\theta_P$ を計算する。
• ボットタワー構造を用いて、相対的ドゥイング不安定だが相対的 $K$-安定なトーリックファノ多様体の具体例を構成する。

実験結果

リサーチクエスチョン

• RQ1 どのトーリックファノ3次元多様体および4次元多様体が一様に相対的ドゥイング安定であるか？
• RQ2 各トーリックファノ多様体のミナルチ定数 $M_X$ の正確な値は何か？（3次元および4次元において）
• RQ3 トーリックファノ設定において、相対的 $K$-安定性と相対的ドゥイング安定性を区別できるか？
• RQ4 ボットタワー構造は、相対的ドゥイング安定性を満たさないが相対的 $K$-安定性を満たす例の構成にどのように寄与するか？
• RQ5 モーメントポリトープの組合せ的不変量は、トーリックファノ多様体の安定性タイプをどのように決定するか？

主な発見

• 3次元では、18体のトーリックファノ多様体のうち12体が一様に相対的ドゥイング安定であり、$M_X < 1$ である。
• 4次元では、124体のすべてのトーリックファノ多様体について、$M_X$ の値を列挙し、そのうちどの多様体が一様に相対的ドゥイング安定であるかを特定している。
• トーリックファノ多様体 A.3.123 ($Z_2$) については $M_X = \frac{3418840588}{2592694163} > 1$ であり、相対的ドゥイング不安定であることが示された。
• トーリックファノ多様体 A.3.124 ($W$) については $M_X = 0 < 1$ であり、一様に相対的ドゥイング安定であることが確認された。
• 補題 1.9 は、$M_X > 1$ であるが相対的 $K$-安定であるが相対的ドゥイング安定でないボットタワー構造を持つトーリックファノ多様体を構成しており、2つの概念が同値でないことを示している。
• ミナルチ定数 $M_X$ はケーラー計量に依存せず、ヤオ [33] が示したように、モーメントポリトープの組合せ的データのみから計算可能である。