[論文レビュー] Convergence of Bergman geodesics on CP^1

Jian Song, Steve Zelditch|arXiv (Cornell University)|Mar 17, 2007

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

ひとこと要約

本稿は、トーリック計量における $C^2$ 収束を、Bergman geodesics が Monge-Ampère geodesics に $\mathbf{CP}^1$ で収束することを、Bergman 計量の明示的公式とその2次微分の漸近解析を用いて確立する。主な結果は、Bergman 核の対角成分の正規化対数が $C^2$ でゼロに収束することであり、曲率およびモーメント写像の収束を示唆する。

ABSTRACT

The space of positively curved hermitian metrics on a positive holomorphic line bundle over a compact complex manifold is an infinite-dimensional symmetric space. It is shown by Phong and Sturm that geodesics in this space can be uniformly approximated by geodesics in the finite dimensional spaces of Bergman metrics. We prove a stronger C^2-approximation in the special case of toric (i.e. S^1-invariant) metrics on CP^1.

研究の動機と目的

• 複素射影直線 $\mathbf{CP}^1$ 上のラインバンドル上の正曲率計量の空間において、有限次元の Bergman geodesics と無限次元の Monge-Ampère geodesics の収束を調査すること。
• Kähler ポテンシャルの $C^2$ 収束を確立することで、以前の一様収束結果を強化すること。
• トランスセンドental計量（$\mathcal{H}$ 内）が代数的計量（$\mathcal{H}_N$ 内）によってどのように近似可能かを、標準的計量問題の文脈で分析すること。
• Bergman 核拡張の零点分布と熱力学的極限における収束度の関係を探索すること。

提案手法

• ホロモーフィック切断の正規直交基底 $H^0(\mathcal{O}(N))$ を用いて、$\mathbf{CP}^1$ 上の Bergman geodesics の Kähler ポテンシャル $\varphi_N(t,z)$ の明示的公式を用いる。
• Bergman 核の対角成分 $\mathcal{E}_N(t,z)$ に関する $\frac{1}{N}\log\mathcal{E}_N(t,z)$ の2階時間微分を分析し、$C^2$ 収束を検討する。
• 近傍 $B_x(\delta)$ 内の格子点 $\alpha, \beta$ における和の漸近解析を実行し、$v'(x)$ の代理として離散微分 $\frac{v(\alpha)-v(\beta)}{\alpha - \beta}$ を用いる。
• 2階微分を3つの項 $I_1^N, I_2^N, I_3^N$ に分解し、$N \to \infty$ のとき $I_1^N \to \frac{\partial^2}{\partial t^2}u_t(z)$ かつ $I_2^N, I_3^N \to 0$ であることを示す。
• $\varphi_N(t,\cdot) - \varphi_t(\cdot) = \frac{1}{N}\log\mathcal{E}_N(t,\cdot)$ を用いて、ポテンシャルの $C^2$ 収束を結論づける。
• トーリック設定において、Legendre 変換および線形化技術を用い、トーリックの場合の対称空間の平坦性を活用する。

実験結果

リサーチクエスチョン

• RQ1 $N \to \infty$ のとき、Bergman geodesics と Monge-Ampère geodesics 間の $C^2$ ノルムが $\mathbf{CP}^1$ 上でゼロに収束するか？
• RQ2 Bergman 核拡張の複素零点の分布は、$C^2$ 収束の速度にどのように関係するか？
• RQ3 Bergman geodesic は Toeplitz 演算子またはその Berezin 記号として解釈可能か？ そして、漸近解析にどのような含意をもたらすか？
• RQ4 $C^2$ 収束したポテンシャルは、geodesic 沿いでの曲率およびモーメント写像の収束をどの程度保証するか？

主な発見

• 正規化対数 $\frac{1}{N}\log\mathcal{E}_N(t,z)$ である Bergman 核対角成分は、$N \to \infty$ のとき $C^2$ でゼロに収束する。
• $\frac{1}{N}\log\mathcal{E}_N(t,z)$ の2階時間微分は一様にゼロに収束し、geodesic ポテンシャルの $C^2$ 収束を確認する。
• $\frac{1}{N}\log\mathcal{E}_N(t,z)$ の混合空間時間微分も一様にゼロに収束し、$C^2$ 収束結果を裏付ける。
• 項 $I_1^N(t,z)$ は $\frac{\partial^2}{\partial t^2}u_t(z)$ に収束する。これは、極限の Monge-Ampère geodesic の2階時間微分に対応する。
• $I_2^N(t,z)$ および $I_3^N(t,z)$ の項は極限で消えるため、2階微分の主要項に寄与しない。
• その結果、$\varphi_N(t,\cdot) - \varphi_t(\cdot) = \frac{1}{N}\log\mathcal{E}_N(t,\cdot)$ は $C^2$ でゼロに収束し、主定理が証明される。