[論文レビュー] Openness of K-semistability for Fano varieties

Harold Blum, Yuchen Liu+1 more|arXiv (Cornell University)|Jul 4, 2019

Geometry and complex manifolds被引用数 8

ひとこと要約

本稿では、Q-ゴレンシュタイン族の基底上での安定性閾値（δ不変量）が構成的かつ下半連続的関数であることを示すことにより、対数ファノ対の族におけるK-半安定性の開性を証明する。主な結果は、K-半安定なファイバーの集合がザリスキ開であることを示し、K-多項式安定なQ-ファノ多様体の分類空間を構成する上で主要な一歩を完了する。

ABSTRACT

In this paper, we prove the openness of K-semistability in families of log Fano pairs by showing that the stability threshold is a constructible function on the fibers. We also prove that any special test configuration arises from a log canonical place of a bounded complement and establish properties of any minimizer of the stability threshold.

研究の動機と目的

• K-多項式安定なファノ多様体の分類空間を構成する上で不可欠な、対数ファノ対の族におけるK-半安定性の開性を確立すること。
• Q-ゴレンシュタイン族の基底上での安定性閾値 δ(X,Δ) およびチエンのα不変量が構成的かつ下半連続的関数であることを証明すること。
• 安定性閾値の最小化子が、有界補完の対数特異点として実現されることを示し、グローバル幾何と安定性不変量を結びつけること。
• K安定性が開条件であること、K-多項式安定性が構成的であることを証明し、分類論における基礎的性質を完成させること。
• 特殊退化理論と双有理幾何における補完の有界性を組み合わせることで、K安定性における局所的・グローバル的手法を統一すること。

提案手法

• Birkarの対数ファノ対に対する有界グローバル補完の定理を用い、有界補完の対数特異点における対数正則リムーン形式の近似により、安定性閾値 δ(X_b, Δ_b) を近似する。
• HMX13の定理1.8（対数正則リムーン形式の不変性）を用いて、基底B上でのδ不変量関数の構成性を導出する。
• 特殊退化理論（LX14, Fuj19）を適用し、δの計算を、退化から生じる特別な値関数に限定する。
• 弱対数正則モデルの構成とBirkarの有界性結果を用いて、このような特別な値関数が有界補完の対数特異点として実現されることを示す。
• 錐構成と正規化体積の局所不変性を用いて、局所的結果をグローバルな族へ拡張する。
• 対数解体と因子的値関数の収束性を用い、N-補完の対数特異点が極限において安定することを示し、一様有界性を保証する。

実験結果

リサーチクエスチョン

• RQ1 Q-ゴレンシュタイン族の対数ファノ対の族において、K-半安定ファイバーの集合はザリスキ開集合か？
• RQ2 安定性閾値 δ(X,Δ) は、有界補完の対数特異点における値で近似可能か？
• RQ3 正規基底B上で、b ↦ min{δ(X_b, Δ_b), 1} は構成的かつ下半連続的か？
• RQ4 安定性閾値のすべての最小化子は、有界補完族の対数特異点として実現可能か？
• RQ5 K-安定性の開性およびK-多項式安定性の構成性は、ケーラー＝アインシュタイン計量に依存せずに、純代数的幾何的に確立可能か？

主な発見

• Q-ゴレンシュタイン族の対数ファノ対の族において、K-半安定ファイバーの集合はザリスキ開集合である。K-半安定性の開性が確認された。
• 基底B上で関数 b ↦ min{α(X_b, Δ_b), 1} および b ↦ min{δ(X_b, Δ_b), 1} は構成的かつ下半連続的である。
• 安定性閾値 δ(X,Δ) のすべての最小化子は、次元および係数集合にのみ依存する一様有界な補完の対数特異点として実現可能である。
• 体k上、体積Vおよび次元nのK-半安定Q-ファノ多様体の分類函手 𝔛^Kss_{V,n} は、有限型のアーチンスタックである。
• 分類スタック 𝔛^Kss_{V,n} は、K-多項式安定Q-ファノ多様体をパラメトライズする、分離可能でよい分類空間 𝔛^Kps_{V,n} を持つ。
• K安定性は開条件であり、K-多項式安定性はQ-ゴレンシュタイン族の対数ファノ対の族において構成的である。これは主結果の帰結である。