[論文レビュー] Openness of uniform K-stability in families of $\mathbb{Q}$-Fano varieties

Harold Blum, Yuchen Liu|arXiv (Cornell University)|Aug 28, 2018

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

ひとこと要約

この論文は、安定性閾値（または $\mathrm{delta}$-不変量）の下半連続性を分析することにより、$\mathbb{Q}$-Fano多様体の族において、一様K安定性がザリスキ開条件であることを確立している。値の評価基準と対数正則特異点閾値に基づく代数的技法を用いて、著者たちは$\mathbb{Q}$-ゴレンシュタイン族の底空間において、一様K安定なファイバーの集合がザリスキ開部分集合をなすことを証明した。これは、従来の解析的結果を完全に代数的設定に拡張し、特異的かつ非滑らか可能でない多様体を含む。

ABSTRACT

We show that uniform K-stability is a Zariski open condition in Q-Gorenstein families of Q-Fano varieties. To prove this result, we consider the behavior of the stability threshold in families. The stability threshold (also known as the delta-invariant) is a recently introduced invariant that is known to detect the K-semistability and uniform K-stability of a Q-Fano variety. We show that the stability threshold is lower semicontinuous in families and provide an interpretation of the invariant in terms of the K-stability of log pairs.

研究の動機と目的

• モジュライ空間の構成に向けた重要なステップとして、$\mathbb{Q}$-Fano多様体の族における一様K安定性のザリスキ開性を確立すること。
• 滑らかまたは滑らか可能でないFano多様体に関する先行研究で用いられた解析的道具を避けて、開性を完全に代数的証明で示すこと。
• 特異的$\mathbb{Q}$-Fano多様体および対数Fano対にまで結果を拡張し、非滑らか可能ケースを含めること。
• 安定性閾値（$\mathbb{R}$-delta不変量）を用いたK安定性および一様K安定性の特徴付けを行い、対数正則特異点閾値および値の評価基準と結びつけること。
• 家族全体における安定性閾値の下半連続性を証明し、開性結果を可能にする。

提案手法

• 安定性閾値 $\mathbb{R}$-delta$(X;L)$ を、$m$-基本型 divisor における対数正則特異点閾値の下界の極限として定義する。
• FujitaとLiによるK安定性の値の評価基準を用い、$\mathbb{R}$-delta$(X) > 1$ が一様K安定性に、$\mathbb{R}$-delta$(X) \to 1$ がK半安定性に対応することを関連付ける。
• 基本的分岐集合の構造と対数正則特異点閾値の極限挙動を用いて、安定性閾値が家族全体で下半連続であることを証明する。
• 多面体 $P_{-K_X - \mathbb{R}\text{Delta}}$ を用いて、トーリック対数Fano対における$\mathbb{R}$-deltaの挙動を、重心と対数特異点高さの計算で分析する。
• 非常に一般の $D$ に対して、$\mathbb{R}$-delta$(X,\mathbb{R}\text{Delta} + (1-\beta)D)$ が $\mathbb{R}\beta$ に関して減少し、その微分係数が下から $-(m-1)/m \cdot \mathbb{R}\text{delta}(X,\mathbb{R}\text{Delta})/\mathbb{R}\beta^2$ で抑えられることを用いる。
• 安定性閾値の下半連続性と可算交差の議論を応用し、K半安定な部分集合が底空間における可算個の開集合の共通部分であることを示す。

実験結果

リサーチクエスチョン

• RQ1 一様K安定性は、$\mathbb{Q}$-Fano多様体の族において開条件であるか？
• RQ2 解析的道具を用いずに、一様K安定性の開性を完全に代数的手段で証明できるか？
• RQ3 家族全体における安定性閾値（$\mathbb{R}$-delta不変量）は、$\mathbb{Q}$-Fano多様体の族においてどのように振る舞うか？
• RQ4 安定性閾値は、家族におけるK半安定性および一様K安定性を特徴付けるために使用できるか？
• RQ5 退化や基点自由線形系の文脈において、安定性閾値と対数正則特異点閾値の関係は何か？

主な発見

• 一様K安定性は、$\mathbb{Q}$-ゴレンシュタイン族における$\mathbb{Q}$-Fano多様体の族においてザリスキ開条件である。
• 安定性閾値 $\mathbb{R}$-delta$(X;L)$ は、$\mathbb{Q}$-Fano多様体の族全体で下半連続である。
• トーリック対数Fano対 $(X,\mathbb{R}\text{Delta})$ で $\mathbb{R}$-delta$(X,\mathbb{R}\text{Delta}) < 1$ である場合、$\mathbb{R}$-因子 $D^*$ が存在し、$(X,\mathbb{R}\text{Delta} + (1-\mathbb{R}\text{delta}(X,\mathbb{R}\text{Delta}))D^*)$ はK半安定であり、$\mathbb{R}$-delta = 1 を満たす。
• 十分に可除な $m$ および非常に一般の $H \to |-m(K_X + \mathbb{R}\text{Delta})|$ に対して、すべての $\mathbb{R}\beta \to (0, \mathbb{R}\text{delta}(X,\mathbb{R}\text{Delta}))$ に対して、$(X,\mathbb{R}\text{Delta} + (1-\beta)m^{-1}H)$ は一様K安定である。
• 安定性閾値 $\mathbb{R}$-delta$(X,\mathbb{R}\text{Delta} + (1-\beta)D)$ は、$\mathbb{R}\beta$ に関して微分可能かつ減少する関数であり、その微分係数は下から $-(m-1)/m \cdot \mathbb{R}\text{delta}(X,\mathbb{R}\text{Delta})/\mathbb{R}\beta^2$ で抑えられる。
• K半安定な部分集合は、族の底空間における可算個のザリスキ開集合の共通部分である。これは、モジュライ空間構成に向けた重要なステップを確認する。