[論文レビュー] Abstract Bergman kernel expansion and its applications

Chiung-ju Liu, Zhiqin Lu|arXiv (Cornell University)|May 1, 2011

Geometry and complex manifolds参考文献 13被引用数 4

ひとこと要約

本稿は、正のライン bundle を持つコンpact Kähler多様体上の漸近 Bergman 核展開について、新規の複素幾何的証明を提示する。$K$-座標と $K$-フレームを導入することで、より鋭い $\mathcal{C}^\mu$ 評価を確立する。メトリクスが実解析的である場合、剰余項が任意の多項式より速く減少すること、具体的には $m^n e^{-\varepsilon (\log m)^3}$ のように減少することを証明し、従来の境界を著しく改善するとともに、解析的ケースにおける完全な展開の収束を確認する。

ABSTRACT

We give a purely complex geometric proof of the existence of the Bergman kernel expansion. Our method provides a sharper estimate, and in the case that the metrics are real analytic, we prove that the remainder decays faster than any polynomial.

研究の動機と目的

• 漸近 Bergman 核展開の完全に複素幾何的な証明を提供することにより、パラメトリックス構成に依存しないこと。
• 特に $\mathcal{C}^\mu$ トポロジーにおいて、Bergman 核展開の剰余項に対するより鋭い評価を確立すること。
• 古典的展開定理を一般化し、漸近級数における項の数 $\alpha(m,\mu) \to \infty$ を許容すること。
• メトリクスが実解析的である場合、展開が $\mathcal{C}^\mu$ で収束し、剰余項が任意の多項式より速く減少すること、具体的には $m^n e^{-\varepsilon (\log m)^3}$ のように減少することを証明すること。
• 係数 $a_j(x)$ に対する一様な境界を導出することにより、$\|a_j(x)\|_{\mathcal{C}^\mu} \leq C^j$ を実解析性のもとで示すこと。

提案手法

• $K$-座標と $K$-フレームを導入し、展開における高階微分を体系的に制御する新しい幾何的枠組みを構築すること。
• $k = [\varepsilon (\log m)^2]$ 個のピークセクション $S_1, \dots, S_k$ を用いて、完全な核に収束する切り捨てられた Bergman 核 $\mathfrak{B}_{m,\text{peak}}^k$ を構成すること。
• $K$-フレームおよび $K$-座標の安定性を用いて、核の $\mathcal{C}^0$ 収束が $\mathcal{C}^\mu$ 収束を示すことを証明すること。
• メトリクスおよびヘルミートバンドルのデータの局所的展開を、$p$ 階までのテイラー級数を用いて構築し、誤差項における $p-1$ 階までの微分が消えるようにすること。
• $A_k(t)$ および $K$-座標近傍におけるメトリクスの境界に対する一様制御を保証するため、第一および第二の安定性補題を適用すること。
• $K$-フレームの構造を用いて局所正規直交基底を定義し、行列の逆行列および摂動評価を用いて Bergman 核のノルムを制御すること。

実験結果

リサーチクエスチョン

• RQ1 漸近 Bergman 核展開は、パラメトリックス手法に依存せずに、完全に複素幾何的技法を用いて証明可能か？
• RQ2 特に実解析的ケースにおいて、Bergman 核展開の剰余項の最適な減少率は何か？
• RQ3 メトリクスが実解析的である場合、完全な漸近級数は $\mathcal{C}^\mu$ トポロジーで収束するか？
• RQ4 各 $s$ に対して固定されるのではなく、$m$ と共に増加させることのできる展開の項数を増やすことは可能か？
• RQ5 実解析性のもとで、展開における係数 $a_j(x)$ に対してどのような一様な境界を確立できるか？

主な発見

• 本稿は、Bergman 核剰余項のより鋭い $\mathcal{C}^\mu$ 評価を確立し、古典的な $O(m^{n-s-1})$ の境界を改善した。
• 実解析的メトリクスの場合、$\|\mathfrak{B}_m(x) - \sum_{k=0}^\infty a_k(x)m^{n-k}\|_{\mathcal{C}^\mu} \leq m^n e^{-\varepsilon (\log m)^3}$ に対してある $\varepsilon > 0$ が存在し、超多項式的減少を証明した。
• 実解析的メトリクスの場合、$\sum_{j=0}^\infty a_j(x)m^{-j}$ の完全な漸近級数は、$m$ が十分に大きいとき $\mathcal{C}^\mu$ で収束する。
• 実解析性のもとで、ある $C > 1$ に対して、$\|a_j(x)\|_{\mathcal{C}^\mu} \leq C^j$ が $j$ に依存しない一様な境界として成り立つ。
• 展開における項数 $\alpha(m,\mu)$ を $m$ と共に増加させることができ、$\|\mathfrak{B}_m - \sum_{k=0}^{\alpha(m,\mu)} a_k m^{n-k}\|_{\mathcal{C}^\mu} \leq \frac{\beta(m,\mu)}{m^{\alpha(m,\mu)-n+1}}$ を満たし、$\alpha(m,\mu) \to \infty$ となる。
• $K$-フレームおよび $K$-座標の構築により、局所的安定性およびメトリクスおよび曲率展開の一様制御が保証され、鋭い剰余項評価が可能となった。