[論文レビュー] Minimizing normalized volumes of valuations

Chi Li|arXiv (Cornell University)|Nov 25, 2015

Geometry and complex manifolds参考文献 56被引用数 14

ひとこと要約

本稿は、${\mathbb{Q}}$-Gorenstein klt特異点における実値関数の正規化体積関数を導入し、Izumi型推定を用いてそれが一様に正の下界を持つことを証明する。主な結果は、正規化体積の下限が特異点にのみ依存する正の定数によって下から抑えられることを示しており、正規化体積の最小化問題における最小化子の存在の基礎的推定を確立する。

ABSTRACT

For any $\mathbb{Q}$-Gorenstein klt singularity $(X,o)$, we introduce a normalized volume function $\widehat{ m vol}$ that is defined on the space of real valuations centered at $o$ and consider the problem of minimizing $\widehat{ m vol}$. We prove that the normalized volume has a uniform positive lower bound by proving an Izumi type estimate for any $\mathbb{Q}$-Gorenstein klt singularity. Furthermore, by proving a properness estimate, we show that the set of real valuations with uniformly bounded normalized volumes is compact, and hence reduce the existence of minimizers for the normalized volume functional $\widehat{ m vol}$ to a conjectural lower semicontinuity property. We calculate candidate minimizers in several examples to show that this is an interesting and nontrivial problem. In particular, by using an inequality of de-Fernex-Ein-Mustaţă, we show that the divisorial valuation associated to the exceptional divisor of the standard blow up is a minimizer of $\widehat{ m vol}$ for a smooth point. Finally the relation to Fujita's work on divisorial stability is also pointed out.

研究の動機と目的

• ${\mathbb{Q}}$-Gorenstein klt特異点$(X,o)$における実値関数$v$の正規化体積関数$\widehat{\rm vol}(v) = A(v)^n \cdot {\rm vol}(v)$を定義し、その性質を研究すること。
• すべてのこのような値関数に対して$\widehat{\rm vol}(v)$が一様に正の下界を持つことを証明し、正の下限の存在を示すこと。
• $\widehat{\rm vol}$の空間における下半連続性の予想的性質に依存して、最小化子の存在を帰着させること。
• 正規化体積最小化問題をFujitaの除法的安定性の理論と結びつけ、最小化子を明示的に計算可能な例を提示すること。

提案手法

• 正規化体積関数$\widehat{\rm vol}(v) = A(v)^n \cdot {\rm vol}(v)$を導入し、ここで$A(v)$は対数的不恰好度、${\rm vol}(v)$は値関数$v$の体積である。
• Izumi型推定：$v \leq c_1 \cdot A(v) \cdot {\rm ord}_o$を証明し、これが$\widehat{\rm vol}(v)$の一様な下界を示す。
• 技術的健全性推定を確立：$\mathrm{vol}(v) \geq c_2 \left( \sup_{\mathfrak{m}} \frac{v}{{\rm ord}_o} \right)^{1-n} \frac{1}{v(\mathfrak{m})}$を示し、体積と対数的不恰好度および順序の関係を結ぶ。
• 上記の推定を用いて、正規化体積が一様に有界な値関数の集合がコンパクトであることを示し、最小化子の存在を下半連続性に帰着可能とする。
• de Fernex-Ein-Mustaćićの不等式を適用し、滑らかな点における標準的 blown-up の例外除部分の除法的値関数が$\widehat{\rm vol}$の最小化子であることを証明する。
• 正規化体積最小化問題をFujitaの除法的安定性の概念と関連づけ、構造的な類似性を強調する。

実験結果

リサーチクエスチョン

• RQ1 ${\mathbb{Q}}$-Gorenstein klt特異点における実値関数の正規化体積関数$\widehat{\rm vol}(v)$は、一様に正の下界を持つか？
• RQ2 $\widehat{\rm vol}(v)$の最小化子の存在は、$\widehat{\rm vol}$の空間における予想的下半連続性の性質に帰着可能か？
• RQ3 滑らかな点における標準的 blown-up の例外除部分に対応する除法的値関数は、$\widehat{\rm vol}(v)$の最小化子か？
• RQ4 正規化体積最小化問題はFujitaの除法的安定性理論とどのように関係しているか？
• RQ5 与えられたklt特異点に対して、$\widehat{\rm vol}(v)$の下限の正確な値は何か？

主な発見

• ${\mathbb{Q}}$-Gorenstein klt特異点$(X,o)$における任意の実値関数$v$に対して、正規化体積関数$\widehat{\rm vol}(v)$は、値関数$v$に依存しない一様な正の下界$K > 0$を持つ。
• すべての値関数$v$に対して、Izumi型推定$v \leq c_1 \cdot A(v) \cdot {\rm ord}_o$が成り立ち、$c_1 = c_1(X,o) > 0$である。このことから、$\widehat{\rm vol}(v) \geq \mathfrak{e}(\mathfrak{m}) / c_1^n > 0$が導かれる。
• 健全性推定とIzumi推定のおかげで、正規化体積が一様に有界な実値関数の集合はコンパクトである。
• $\widehat{\rm vol}(v)$の下限は、$K \cdot \frac{A(v)}{v(\mathfrak{m})}$によって下から抑えられ、ここで$K = K(X,o) > 0$である。これは一様に正の下界が存在することを確認する。
• 滑らかな点に対して、標準的 blown-up からの除法的値関数は、de Fernex-Ein-Mustaćićの不等式により$\widehat{\rm vol}(v)$の最小化子であることが示された。
• 正規化体積最小化問題はFujitaの除法的安定性理論と深く関係しており、幾何学的・代数的意味の広がりを示唆している。