[論文レビュー] On properness of K-moduli spaces and optimal degenerations of Fano varieties

Harold Blum, Daniel Halpern-Leistner+2 more|arXiv (Cornell University)|Nov 3, 2020

Geometry and complex manifolds参考文献 47被引用数 10

ひとこと要約

本稿は、Fano多様体のモジュライスタックに$Θ$-層別を構成することにより、K-polystable Fano多様体のK-モジュライ空間の固有性を示す代数的戦略を確立する。K-不安定なFano多様体の安定性閾値$δ(X)$が除数的価値によって計算されることを仮定すれば、正規化されたFutaki不変量の辞書的最小化により定義される一意の最適不安定化テスト配置によって、固有性が従う。

ABSTRACT

We establish an algebraic approach to prove the properness of moduli spaces of K-polystable Fano varieties and reduce the problem to a conjecture on destabilizations of K-unstable Fano varieties. Specifically, we prove that if the stability threshold of every K-unstable Fano variety is computed by a divisorial valuation, then such K-moduli spaces are proper. The argument relies on studying certain optimal destabilizing test configurations and constructing a Theta-stratification on the moduli stack of Fano varieties.

研究の動機と目的

• K-polystable Fano多様体のK-モジュライ空間の固有性を、解析的手法に依存せずに代数的アプローチで証明すること。
• 固有性問題を、K-不安定なFano多様体の不安定化に関する予想に還元すること、特に安定性閾値$δ(X)$が除数的価値によって計算されるかどうか。
• Fano多様体のモジュライスタックに最適不安定化テスト配置を用いて$Θ$-層別を構成すること。
• 辞書的最小化による正規化されたFutaki不変量の順序付けにより、家族と整合する一意でwell-orderedな不安定化プロセスを定義すること。
• 非一意性を解消するための形式的摂動を導入することで、Fano多様体のモジュライスタックへのLangton型アルゴリズムの一般化を図ること。

提案手法

• Fano多様体のモジュライスタック${\mathcal{M}}^{Τ\text{-Fano}}_{n,V}$に$Θ$-層別フレームワークを適用し、最適不安定化写像によって不安定点を層別する。
• 辞書的順序$\mathbb{R}[\![\epsilon]\!]^2$の下で、二値不変量$\left(\frac{\mathrm{Fut}({\mathcal{X}})}{\|{\mathcal{X}}\|_{\rm m}}, \frac{\mathrm{Fut}({\mathcal{X}})}{\|{\mathcal{X}}\|_{2}}\right)$を最小化することで、最適不安定化テスト配置を定義する。
• Futaki不変量比の最小化における非一意性を解消するために、形式的摂動$\bm{\mu}^\prime({\mathcal{X}},{\mathcal{D}}) = \frac{\mathrm{Fut}({\mathcal{X}},{\mathcal{D}})}{\|{\mathcal{X}},{\mathcal{D}}\|_{\rm m} + \epsilon\|{\mathcal{X}},{\mathcal{D}}\|_{2}}$を導入する。
• AHLH18の$Θ$-層別理論をFano多様体のモジュライスタックに適用し、一意の最適不安定化テスト配置の存在に依存する。
• 固有性問題を、$δ(X)$が除数的価値によって計算されることの予想に還元する。この予想により、辞書的順序における一意の最小化子の存在が保証される。
• 予想が成り立つ場合、形式的形式ベキ級数の比較により、$\bm{\mu}^\prime$の最小化が$\bm{\mu}$の最小化と同値であることを用いる。

実験結果

リサーチクエスチョン

• RQ1 K-polystable Fano多様体のK-モジュライ空間の固有性は、解析的手法に依存しない代数的手法によって確立可能か？
• RQ2 K-不安定なFano多様体$X$の安定性閾値$δ(X)$が、除数的価値の集合内で最小化子をもつのはどのような条件下か？
• RQ3 Futaki不変量比の最小化における非一意性を解消する、一意で標準的な最適不安定化テスト配置の定義法は存在するか？
• RQ4 辞書的最小化による正規化された数値不変量の最小化を用いて、Fano多様体のモジュライスタックに$Θ$-層別を構成可能か？
• RQ5 一意の最適不安定化テスト配置の存在が、K-モジュライ空間$M_{n,V}^{\rm Kps}$の固有性を示唆するか？

主な発見

• K-polystable Fano多様体のK-モジュライ空間$M_{n,V}^{\rm Kps}$の固有性は、$δ(X)$が除数的価値によって計算されることの予想に依存する。
• K-不安定なFano多様体$X$について、$δ(X)$が除数的価値によって計算されるならば、非一意性を解消する一意の最適不安定化テスト配置が存在する。
• 正規化されたFutaki不変量$\left(\frac{\mathrm{Fut}({\mathcal{X}})}{\|{\mathcal{X}}\|_{\rm m}}, \frac{\mathrm{Fut}({\mathcal{X}})}{\|{\mathcal{X}}\|_{2}}\right)$の辞書的最小化により、モジュライスタック${\mathcal{M}}^${\text{Fano}}_{n,V}$にwell-orderedな$Θ$-層別が得られる。
• 摂動$\bm{\mu}^\prime({\mathcal{X}},{\mathcal{D}}) = \frac{\mathrm{Fut}({\mathcal{X}},{\mathcal{D}})}{\|{\mathcal{X}},{\mathcal{D}}\|_{\rm m} + \epsilon\|{\mathcal{X}},{\mathcal{D}}\|_{2}}$は、元の不変量と同じ半安定性条件を定め、最小化子の一意性を保証する。
• この方法による$Θ$-層別の構成は家族と整合し、Langton型アルゴリズムの適用に必要な性質を満たす。
• 補題8.7は、予想が成り立つ下で、$\bm{\mu}^\prime$に基づく層別が定理7.3のものと一致することを確認しており、このアプローチの妥当性を裏付けている。