[論文レビュー] A quantization proof of the uniform Yau-Tian-Donaldson conjecture

Kewei Zhang|arXiv (Cornell University)|Feb 4, 2021

Geometry and complex manifolds参考文献 48被引用数 5

ひとこと要約

この論文は、Fujita-Odakaの代数的 $δ$-不変量とDing汎関数の強制性を規定する解析的 $δ^A$-不変量の等価性を証明することにより、任意の（無理数を含む）偏光に対して、ねじれケーラー・アインシュタイン計量の存在に関する一様 Yau-Tian-Donaldson 猜想を確立した。Cheeger-Colding-Tian理論や非アーケメデス幾何学に依存せず、量子化技術と複素ポテンシャル論を用いて、任意の正の $×$-線束に対する標準的計量の存在を簡潔に証明した。

ABSTRACT

Using quantization techniques, we show that the $δ$-invariant of Fujita-Odaka coincides with the optimal exponent in certain Moser-Trudinger type inequality. Consequently we obtain a uniform Yau-Tian-Donaldson theorem for the existence of twisted Kähler-Einstein metrics with arbitrary polarizations. Our approach mainly uses pluripotential theory, which does not involve Cheeger-Colding-Tian theory or the non-Archimedean language. A new computable criterion for the existence of constant scalar curvature Kähler metrics is also given.

研究の動機と目的

• 任意の（無理数を含む）偏光を持つ射影多様体上でのねじれケーラー・アインシュタイン計量の存在に関する一様 Yau-Tian-Donaldson 猜想を確立すること。
• Fujita-Odakaの代数的 $δ$-不変量と、Moser-Trudinger型不等式における最適指数として定義される解析的 $δ^A$-不変量の等価性を証明すること。この等価性はDing汎関数の強制性を特徴付ける。
• 非アーケメデス的またはCheeger-Colding-Tianの手法を避けて、複素ポテンシャル論と量子化の解析的道具のみを用いて、一様YTD予想に対する新たな簡略化された証明を提供すること。
• $δ$-不変量に基づく、定スカラー曲率ケーラー（cscK）計量の存在に関する新たな計算可能な基準を導出すること。
• この手法を結合ケーラー・アインシュタインおよびソリトンの場合にまで拡張し、標準的設定を超えて一般化可能であることを示すこと。

提案手法

• 有限次元のBergman空間における量子化技術を用い、各レベル $m$ において代数的 $δ_m$-不変量と解析的 $δ_m^A$-不変量を関連づけ、$\delta_m = \delta_m^A$ を証明する。
• Berndtssonによる量子化された最大原理を用いて、Bergman空間内での $L^\infty$-ノルム推定を制御する。
• TianのBergman核の漸近挙動とDemailly-Kollárの下半連続性を用いて、$\delta_m$ をグローバルな $\delta$-不変量に結びつける。
• Berman-Boucksom-Eyssidieux-Guedj-Zeriahiの変分的アプローチを用い、Ding汎関数の強制性と解析的 $\delta^A$-不変量を結びつける。
• ケーラー計量空間内での弱geodesicの存在と、結合系における重み付きBergman核の漸近展開に依拠する。
• 命題4.2で、Bergman射影を用いて指数的重みの $L^1$-ノルムを評価する重要な推定を確立し、有限次元から無限次元への拡張を可能にする。

実験結果

リサーチクエスチョン

• RQ1 Fujita-Odakaの代数的 $\delta$-不変量は、Moser-Trudinger型不等式によって定義される解析的 $\delta^A$-不変量と一致するか？
• RQ2 非アーケメデス幾何学やCheeger-Colding-Tian理論に依存せずに、解析的および量子化的手法のみを用いて一様Yau-Tian-Donaldson予想を証明できるか？
• RQ3 偏光の摂動（無理数を含むものも含めて）に対して、$\delta = \delta^A$ の等価性は安定か？
• RQ4 Kエネルギーの強制性の閾値は、代数的 $\delta$-不変量によって特徴付けられるか？
• RQ5 この手法は、関数形や核の漸近挙動をわずかに修正するだけで、結合ケーラー・アインシュタインおよびソリトンの場合にまで拡張可能か？

主な発見

• 任意の正の $\mathbb{R}$-線束 $L$ に対して $\delta(L) = \delta^A(L)$ が成り立つ。これは著者の予想を解決し、以前の研究で始まったプログラムを完全に完了する。
• 従来の手法よりも著しく簡潔な方法で、ねじれケーラー・アインシュタイン計量のための一様Yau-Tian-Donaldson予想を、複素ポテンシャル論と量子化にのみ依拠して証明した。
• 解析的 $\delta^A$-不変量がMoser-Trudinger型不等式における最適指数であることが示され、Ding汎関数の強制性を特徴づけ、したがってねじれケーラー・アインシュタイン計量の存在を規定する。
• 定スカラー曲率ケーラー計量の存在に関する新たな計算可能な基準を導出した：$\delta(L) = \sup\left\{\lambda > 0 \mid \exists C_\lambda > 0 \text{ s.t. } H(\phi) \geq \lambda(I-J)(\phi) - C_\lambda \text{ for all } \phi \in \mathcal{H}(X,\omega)\right\}$。
• この手法は、関数形や核の漸近挙動をわずかに修正するだけで、結合ケーラー・アインシュタインおよびソリトンの場合にまで拡張可能であり、量子化フレームワークの強靭性を確認する。
• 非アーケメデス幾何学やねじれKエネルギーの凸性の使用を回避したため、安定性閾値がネフ閾値 $s$ を超える場合にも適用可能である。