[論文レビュー] Projective embedding of log Riemann surfaces and K-stability

Jingzhou Sun, Song Sun|arXiv (Cornell University)|May 3, 2016

Geometry and complex manifolds参考文献 26被引用数 7

ひとこと要約

本稿では、$X$ を滑らかなリーマン面、$D$ を尖り特異点をもつ除数とする対 $(X,D)$ の $L^2$ 射影埋め込みが、$k \to \infty$ のとき重み付き意味で漸近的にほぼバランスの取れたものであることを確立する。主な結果として、$ \lambda$-バランスの取り方の条件が、$O(k^{-3/2} (\log k)^{121})$ のオーダーで減少する誤差項を伴って成り立つことが示され、特異点をもつ extremal ケーラー計量の K-安定性を理解するための基盤的段階を提供する。

ABSTRACT

Given a smooth polarized Riemann surface (X, L) endowed with a hyperbolic metric $ω$ with cusp singularities along a divisor D, we show the L^2 projective embedding of (X, D) defined by L^k is asymptotically almost balanced in a weighted sense. The proof depends on sufficiently precise understanding of the behavior of the Bergman kernel in three regions, with the most crucial one being the neck region around D. This is the first step towards understanding the algebro-geometric stability of extremal Kähler metrics with singularities.

研究の動機と目的

• cusp 特異点をもつ log リーマン面の $L^k$-射影埋め込みの漸近的ほぼバランスの性質を確立すること。
• 特に除数 $D$ のまわりのネック領域において、ベルグマン核の振る舞いを分析し、断面の $L^2$-ノルムを制御すること。
• $X \setminus D$ 上の完全な双曲計量の微分幾何学と、量子化技法を通じた代数幾何的 K-安定性を結びつけること。
• 特異点を指定された extremal ケーラー計量の代数幾何的安定性を理解するための第一歩を提供すること。

提案手法

• $L = \mathcal{O}_X(D)$ を用いて $H^0(X, L^k)$ を通じた $(X,D)$ の $L^2$-射影埋め込みを用い、$\mathbb{C}\mathbb{P}^N$ 内での対 $(X,D)$ の重み付き重心を定義する。
• Kempf-Ness の定理を適用し、$ \lambda$-重心の消失が、log 対の $ \lambda$-Chow (半)安定性に等価であることを関係づける。
• ベルグマン核を、$D$ から遠く離れた領域、$D$ に近い領域、およびネック領域の三つの領域に分けて、それぞれについて明確な漸近展開を分析する。
• $D$ の近傍での局所座標と partition of unity を用い、特に計量が退化するネック領域における正則断面の $L^2$-ノルムを制御する。
• 展開を $k^{-1}$ と $k^{-2}$ のオーダーで用い、重心の誤差項を導出し、全体の誤差が $O(k^{-3/2} (\log k)^{121})$ であることを示す。
• $\mathbb{P}^1$ に $d$ 個の点を持つ場合の $ \lambda_k$-安定性を、帰納法と幾何的構成（例えば $\mathbb{P}^N$ 内の有理正規曲線と直線）を用いて証明する。

実験結果

リサーチクエスチョン

• RQ1 除数 $D$ 沿いに標準的な尖り特異点をもつ双曲計量を持つ log リーマン面 $(X,D)$ の $L^k$-射影埋め込みは、$k \to \infty$ のとき重み付き意味で漸近的にほぼバランスの取れたものになるか？
• RQ2 ネック領域におけるベルグマン核の振る舞いは何か？ また、これは埋め込みの漸近的バランスにどのような役割を果たすか？
• RQ3 量子化技法を用いることで、$X \setminus D$ 上の完全な双曲計量の存在と、log 対 $(X,D)$ の K-安定性とを結びつけられるか？
• RQ4 $\mathbb{P}^1$ に $d$ 個の相異なる点を持つ場合の、$L^k$-埋め込みの $ \lambda$-Chow 半安定性の正確な閾値 $\lambda_k$ は何か？

主な発見

• 除数 $D$ 沿いに標準的な尖り特異点をもつ双曲計量を持つ log リーマン面 $(X,D)$ の $L^2$-射影埋め込みは、$k \to \infty$ のとき重み付き意味で漸近的にほぼバランスの取れたものである。
• $ \lambda$-重心の誤差は $O(k^{-3/2} (\log k)^{121})$ のオーダーで消えるため、漸近的ほぼバランスの条件が確立される。
• $X = \mathbb{P}^1$ かつ $D$ の次数が $d$ の場合、対 $(X,D)$ は $ \lambda$-半安定であるための必要十分条件は $\lambda \in [\lambda_k, 1]$ であり、$k \geq 2$ のとき $\lambda_k = \frac{2kd+2}{3kd+d+1}$ である。
• $k=1$ のとき $\lambda_k = \frac{2}{d+1}$ であり、この場合、対は厳密に $ \lambda_k$-半安定であるが、$ \lambda_k$-バランスではない。
• 有理正規曲線と $\mathbb{P}^N$ 内の直線を用いた $ \lambda_k$-バランスの崩壊の構成により、$k \geq 2$ の場合の安定性閾値が帰納法で確認される。
• ネック領域におけるベルグマン核の分析が最も重要であり、正確な漸近展開が重心計算における誤差制御を可能にする。