[論文レビュー] On the Yau-Tian-Donaldson conjecture for singular Fano varieties

Chi Li, Gang Tian+1 more|arXiv (Cornell University)|Nov 27, 2017

Geometry and complex manifolds参考文献 45被引用数 28

ひとこと要約

本稿は、滑らかでない ${\mathbb{Q}}$-Fano 多様体の広いクラス—特に許容的特異点をもつもの—に対して、Yau-Tian-Donaldson 予想を証明する。具体的には、K-多様体的安定性がKähler-Einstein 計量の存在を示すことを確立する。証明では、対数解体上のコーン型Kähler-Einstein 計量の族を構成し、そのGromov-Hausdorff極限が特異多様体上の真のKähler-Einstein 計量に収束することを示す。これにより、滑らかな場合から特異な ${\mathbb{Q}}$-Fano 多様体へと、制御された特異点と例外的除集合の相対的正則性をもつ場合への一般化が達成される。

ABSTRACT

We prove the Yau-Tian-Donaldson's conjecture for any $\mathbb{Q}$-Fano variety that has a log smooth resolution of singularities such that the discrepancies of all exceptional divisors are non-positive. In other words, if such a Fano variety is K-polystable, then it admits a Kähler-Einstein metric. This extends the previous result for smooth Fano varieties to this class of singular $\mathbb{Q}$-Fano varieties, which include those admitting crepant log resolutions.

研究の動機と目的

• 滑らかなFano多様体から、制御された特異点をもつ広いクラスの特異 ${\mathbb{Q}}$-Fano 多様体へ、Yau-Tian-Donaldson 予想を拡張すること。
• 特異であってもK-多様体的安定性を満たす ${\mathbb{Q}}$-Fano 多様体に対して、Kähler-Einstein 計量の存在を確立すること。
• ${\mathbb{Q}}$-滑らかでない多様体へと存在結果を一般化し、特定の正則性および不変量条件を満たす対数解体をもつ多様体を含むこと。
• コーン型計量とGromov-Hausdorff極限を用いた、特異Fano多様体上のKähler-Einstein 計量の構成の均一な枠組みを提供すること。

提案手法

• 許容的 ${\mathbb{Q}}$-Fano 多様体 $X$ の対数解体 $\mu: Y \to X$ 上に、$\epsilon \in [0,1]$ をパrameterとするコーン型Kähler-Einstein 計量の族を構成する。
• Monge-Ampère方程式の枠組みを用いて、例外的除集合 $E = \sum E_i$ 沿いのコーン特異点をもつKähler-Einstein 計量を解く。
• 一様な $L^\infty$-推定と勾配推定を用いて、コーン型計量のポテンシャルを制御し、その正則性を保証する。
• コーン型計量の族のGromov-Hausdorffコンパクト性を確立し、極限計量が元の特異多様体 $X$ に等長であることを証明する。
• 代数的極限と特別なテスト配置を用いて、極限計量が弱くKähler-Einsteinであることを示し、乗数イデアルと対数不変量の連続性を活用する。
• 非アーベル関数の漸近的解析と非アーベル $L^\infty$-ノルムを用いた背理法により、極限計量が実際にKähler-Einsteinであることを確認する。

実験結果

リサーチクエスチョン

• RQ1 K-多様体的安定性は、許容的特異点をもつ特異 ${\mathbb{Q}}$-Fano 多様体上にKähler-Einstein 計量の存在を示すか？
• RQ2 Yau-Tian-Donaldson 予想は、滑らかなFano多様体から、制御された対数解体をもつ特異 ${\mathbb{Q}}$-Fano 多様体へ拡張可能か？
• RQ3 対数解体の例外的除集合にどのような条件を課すと、特異Fano多様体上にKähler-Einstein 計量の存在が保証されるか？
• RQ4 解体上のコーン型Kähler-Einstein 計量をどのように用いて、元の特異基底多様体上に真のKähler-Einstein 計量を構成できるか？
• RQ5 K-多様体的安定性のもとで、解体上のコーン型計量の列のGromov-Hausdorff極限が、元の特異Fano多様体に等長であるか？

主な発見

• 許容的特異点をもつ任意の ${\mathbb{Q}}$-Fano 多様体に対してYau-Tian-Donaldson 予想が成立する：K-多様体的安定性はKähler-Einstein 計量の存在を示す。
• 対数解体 $Y$ 上のコーン型Kähler-Einstein 計量の族は、Gromov-Hausdorff位相で特異多様体 $X$ 上の真のKähler-Einstein 計量に収束する。
• 極限計量は $X$ に等長であり、勾配推定、Gromov-Hausdorffコンパクト性、およびコーン型設定におけるゲージ固定を用いて収束が確立される。
• 証明は非アーベル関数 $L_B^{\rm NA}$ 及びその漸近的挙動に依存し、極限計量がKähler-Einsteinでなければならぬという背理法による矛盾を導く。
• 以前の ${\mathbb{Q}}$-滑らかでないFano多様体に関する研究を一般化し、特異的でない ${\mathbb{Q}}$-因子Fano多様体にすべて含む。
• 主な技術的ステップは、非アーベル $L^\infty$-ノルムの極限関数が $\lim_{m\to\infty} L_B^{\rm NA}(\phi_m) = \lim_{s\to\infty} \frac{L_B(\varphi_s)}{s}$ を満たすことを示すことであり、これは背理法の根幹をなす。