[論文レビュー] A Minimizing Valuation is Quasi-monomial

Chenyang Xu|arXiv (Cornell University)|Jul 2, 2019

Geometry and complex manifolds参考文献 24被引用数 6

ひとこと要約

この論文は、klt特異点における正規化体積関数の最小化子が常に準単項的であることを証明し、K安定性理論における重要な予想を確認した。補完の有界性とKollár成分による近似を用いて、klt特異点の族における体積関数が構成的であることを確立し、K半安定な対数Fano対が任意の族においてザリスキ開集合をなすことを示した。その結果、K多様体的Fano多様体は分離された良いモジュライ空間によってパラメトライズ可能であることが導かれる。

ABSTRACT

We prove a version of Jonsson-Mustaţǎ's Conjecture, which says for any graded sequence of ideals, there exists a quasi-monomial valuation computing its log canonical threshold. As a corollary, we confirm Chi Li's conjecture that a minimizer of the normalized volume function is always quasi-monomial. Applying our techniques to a family of klt singularities, we show that the volume of klt singularities is a constructible function. As a corollary, we prove that in a family of klt log Fano pairs, the K-semistable ones form a Zariski open set. Together with [Jia17], we conclude that all K-semistable klt Fano varieties with a fixed dimension and volume are parametrized by an Artin stack of finite type, which then admits a separated good moduli space by [BX18, ABHLX19], whose geometric points parametrize K-polystable klt Fano varieties.

研究の動機と目的

• klt特異点における正規化体積関数の最小化子が常に準単項的であるというChi Liの予想を確認すること。
• klt特異点の族における体積関数がザリスキ位相において構成的であることを証明すること。
• 体積関数の構成可能性と円錐構成法を用いて、K半安定な対数Fano対が任意の族においてザリスキ開部分集合をなすことの確立。
• 固定された次元と体積をもつK多様体的klt Fano多様体が、Artinスタックによるパラメトライズを経て分離された良いモジュライ空間をもつことの示唆。

提案手法

• 準単項的値関数による対数特異点閾値の計算に関するJonsson-Mustaţăの予想を基盤として用いる。
• Bir-BABIからの補完の有界性を応用し、族内のKollár成分の幾何を制御する。
• LX-SDCIからの近似技術を用いて、最小化値関数をスケーリングされたKollár成分の極限として実現する。
• 円錐構成法を用いて、対数Fano対の体積とklt特異点を関連させ、構成可能性の結果を移行可能にする。
• BL-volumelowerからの体積の下方連続性と構成可能性を組み合わせ、K半安定性の開性を導出する。
• BX-uniquenessとABHX-reductivityの結果と組み合わせ、K多様体的Fano多様体の分離された良いモジュライ空間の存在を結論づける。

実験結果

リサーチクエスチョン

• RQ1 klt特異点における正規化体積関数のすべての最小化子は準単項的か？
• RQ2 滑らかな基底上のklt特異点の族における正規化体積関数は、ザリスキ位相で構成的か？
• RQ3 klt対数Fano対の族において、K半安定な対数Fano対の集合はザリスキ開部分集合をなすか？
• RQ4 固定された次元と体積をもつK多様体的klt Fano多様体は、分離された良いモジュライ空間によってパラメトライズ可能か？
• RQ5 体積の構成可能性は、klt Fano対の族におけるK半安定性の開性を示唆するか？

主な発見

• この論文は、klt特異点における正規化体積関数の任意の最小化子が準単項的であることを確認し、Chi Liの予想を解決した。
• Q-ゴレンシュタイン族として与えられるklt特異点の族における正規化体積関数は、ザリスキ位相で構成的である。
• K半安定な対数Fano対の集合は、任意のklt対数Fano対の族においてザリスキ開集合をなす。これは体積の構成可能性と円錐構成法の結果から導かれる。
• 固定された次元と体積をもつK多様体的klt Fano多様体は、有限型のArtinスタックによってパラメトライズ可能であり、そのスタックは分離された良いモジュライ空間をもつ。
• この結果により、族におけるK半安定性の開性が確立され、Fano多様体のモジュライ理論における主要な要素が完成した。