[論文レビュー] Basis divisors and balanced metrics

Yanir A. Rubinstein, Gang Tian+1 more|arXiv (Cornell University)|Aug 20, 2020

Geometry and complex manifolds参考文献 51被引用数 8

ひとこと要約

本稿は、Fujita–Odakaが導入した代数的 $δ_m$-不変量を、Bergman空間上の量子化されたDing汎関数の強制性閾値として特定することにより、解析的解釈を確立する。これにより、バランスの取れた計量の存在が特徴づけられる。主な結果は、$δ_m(L) = \delta_m^A(L)$ であり、代数的安定性不変量と解析的計量を直接結びつける。

ABSTRACT

Using log canonical thresholds and basis divisors Fujita--Odaka introduced purely algebro-geometric invariants $δ_m$ whose limit in $m$ is now known to characterize uniform K-stability on a Fano variety. As shown by Blum-Jonsson this carries over to a general polarization, and together with work of Berman, Boucksom, and Jonsson, it is now known that the limit of these $δ_m$-invariants characterizes uniform Ding stability. A basic question since Fujita-Odaka's work has been to find an analytic interpretation of these invariants. We show that each $δ_m$ is the coercivity threshold of a quantized Ding functional on the $m$-th Bergman space and thus characterizes the existence of balanced metrics. This approach has a number of applications. The most basic one is that it provides an alternative way to compute these invariants, which is new even for $\mathbb{P}^n$. Second, it allows us to introduce algebraically defined invariants that characterize the existence of Kähler-Ricci solitons (and the more general $g$-solitons of Berman-Witt Nyström), as well as coupled versions thereof. Third, it leads to approximation results involving balanced metrics in the presence of automorphisms that extend some results of Donaldson.

研究の動機と目的

• Fujita–Odakaが導入した代数的 $δ_m$-不変量の解析的解釈を提供すること。これらは一様K安定性を特徴づけることが知られている。
• 代数的安定性不変量と解析的計量（特にバランスの取れた計量およびケーラー–リッチソリトン）の間のギャップを埋めること。
• 歪み付きおよび結合された標準計量、$g$-ソリトンおよび結合ケーラー–アインシュタイン計量を含む、フレームワークの拡張を行うこと。
• 特に $\mathbb{P}^n$ のような場合に、$δ_m$-不変量の代数的計算が以前は未知であったが、計算に適した代替手法を提供すること。
• Yau–Tian–Donaldson対応を用いて、強制性を有する量子化汎関数を通じて、安定性の解析的および代数的アプローチを統一すること。

提案手法

• 第 $m$ ベルグマン空間 $\mathcal{B}_m$ 上に、古典的Ding汎関数を有限次元設定に一般化した量子化Ding汎関数 $F_m^\theta(\varphi)$ を定義する。
• 量子化Ding汎関数 $F_m^{\theta,\delta}$ の強制性閾値として、解析的 $\delta_m^A(L)$-不変量を定義し、$\delta_m^A(L) = \delta_m(L)$ を示す。
• Darvas–Rubinsteinの凸性原理とBerndtssonの擬・サブハーモニック拡張を用い、$F_m^{\theta,\delta}$ の強制性を $\theta$-カレントを含む指数的重みの可積分性と関連付ける。
• 多円板における局所的モデル計算を用い、特定の重み関数の $L^2$-ノルムに対する下界を確立する。この際、除法に沿ったLelong数と零点の位数を用いる。
• $klt$ カレントおよび特異計量の理論を適用し、特異な偏極および歪み付き計量への結果の拡張を行う。
• $(\theta,\delta)$-バランスの取れた計量の存在が $\delta < \delta_m(L;\theta)$ と同値であり、等号が成り立つ唯一の場合には厳密不等号が成り立つことを証明する。

実験結果

リサーチクエスチョン

• RQ1 代数的 $δ_m$-不変量は、量子化された汎関数の強制性に関して、解析的解釈を与えられるか？
• RQ2 第 $m$ ベルグマン空間上での量子化Ding汎関数の強制性閾値は、バランスの取れた計量の存在に対応するか？
• RQ3 このフレームワークは、代数的に定義された不変量を用いて、ケーラー–リッチソリトンおよび $g$-ソリトンを特徴づけるために拡張可能か？
• RQ4 自己同型や特異計量の存在下で $δ_m$-不変量はどのように振る舞い、バランスの取れた計量による近似は可能か？
• RQ5 安定性、標準計量の存在、バランスの取れた計量を結ぶ統一された解析的・代数的フレームワークは存在するか？

主な発見

• 第 $m$ ベルグマン空間上での量子化Ding汎関数の強制性閾値として定義される解析的 $\delta_m^A(L)$-不変量は、正確に代数的 $\delta_m(L)$-不変量と一致する。
• レベル $m$ の $\theta$-バランスの取れた計量の存在は $\delta_m(L;\theta) \geq 1$ と同値であり、一意性は $\delta_m(L;\theta) > 1$ を意味する。
• $\delta = 1$ の場合、汎関数 $F_m^\theta$ が強制的であることは、$\delta_m(L;\theta) > 1$ であることと同値であり、これは $\theta$-バランスの取れた計量の存在を特徴づける。
• このフレームワークは $g$-ソリトンおよび結合計量へと拡張可能であり、それらの標準計量の存在を特徴づける代数的不変量を提供する。
• この手法により、$\mathbb{P}^n$ のような従来は取り扱いが困難であった場合でさえ、$δ_m$-不変量の新たな計算的手法が可能となり、解析的閾値を用いて計算可能になった。
• 結果は $klt$ カレントおよび特異計量へ一般化され、$\delta_m$-不変量の適用範囲が滑らかな偏極を超えて拡張された。