[論文レビュー] Asymptotics of Bergman kernels

Robert J. Berman, Bo Berndtsson+1 more|ArXiv.org|Jun 18, 2005

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

ひとこと要約

この論文は、局所化と重み付き $L^2$-射影を用いて、コンpact複素多様体上の正のラインバンドルのベルグマン核の漸近展開について、直接的で素朴な証明を提示する。この手法により、実解析的および滑らかな計量の両方に対して、展開の係数を計算可能なアルゴリズムが得られ、$k^{-N}$ の形でグローバル核の誤差項を鋭く評価する。微局所解析に基づく構成的アプローチにより、先行研究を拡張する。

ABSTRACT

We give an elementary proof of the existence of an asymptotic expansion in powers of $k$ of the Bergman kernel associated to $L^k$, where $L$ is a positive line bundle. We also give an algorithm for computing the coefficients in the expansion.

研究の動機と目的

• フーリエ積分作用素や境界漸近論の深い結果に依存せずに、正のラインバンドルのベルグマン核の漸近展開を直接的かつ素朴に証明すること。
• ベルグマン核 $K_k(x,y)$ の漸近展開における係数 $b_m(x,y)$ を計算する有効なアルゴリズムを開発すること。
• 局所モデルとの漸近的同値性を、局所化と $L^2$-推定を用いてグローバルベルグマン核に確立すること。
• 実解析的でない滑らかな計量に対しても、漸近展開を拡張し、係数がほとんど正則的（すなわち、$\bar{\partial}_{xz}b_m$ が $z=\bar{x}$ で無限次の零点を持つ）であり、誤差項が制御されることを示すこと。
• 複素幾何と解析における微局所的手法への自己完結的でアクセス可能な紹介を提供すること。

提案手法

• 局所正則座標と自明化を用いて、単位球上で重み $e^{-k heta}$ を持つ正則関数の重み付き $L^2$-空間に問題を還元すること。
• 係数 $b_m$ の再帰的公式を用いて、$O(k^{-N})$ の誤差で正則関数を再現する局所的漸近ベルグマン核 $K_k^{(N)}$ を構成すること。
• グローバル核と局所核の差における $\bar{\partial}$-方程式の誤差を制御するために、Hörmander の $L^2$-推定を適用すること。
• 局所化された再現性を保証し、小さな近傍で一様収束を達成するために、切断関数 $\chi$ を用いること。
• 形式的べき級数展開と正則性の制約を用いて、係数 $b_m(x,z)$ の再帰式 (2.15) を導出すること。
• 正則性の欠如がある滑らかな場合でも、$\bar{\partial}$-誤差の減衰を活用し、コーシー積分推定を用いて点ごとの推定と微分推定を確立すること。

実験結果

リサーチクエスチョン

• RQ1 正のラインバンドルのベルグマン核の漸近展開は、Boutet de Monvel–Sjöstrand の境界漸近論に依存せずに導けるか？
• RQ2 展開 $K_k(x,y) \sim \frac{k^n}{\pi^n} e^{k\psi(x,y)} \left(1 + \sum_{m=1}^\infty \frac{b_m(x,y)}{k^m}\right)$ における係数 $b_m(x,y)$ を計算可能なアルゴリズムで求められるか？
• RQ3 滑らかな（解析的でない）計量の場合、漸近展開の誤差項はどのように振る舞い、鋭い推定が得られるか？
• RQ4 局所的漸近核がグローバルベルグマン核をどの程度近似できるか、そしてどのような幾何的条件下で成立するか？
• RQ5 解析的でない場合でも、微分の収束を制御できるか、特に正則性の欠如がある場合に。

主な発見

• 任意の $N$ に対して、正の曲率をもつ点の近傍で、グローバルベルグマン核 $K_k(x,y)$ は $K_k(x,y) = K_k^{(N)}(x,y) + O(k^{n-N-1})e^{k(\phi(x)/2 + \phi(y)/2)}$ の漸近展開を持つ。この展開は $x,y$ に関して一様である。
• 計量 $\phi$ が実解析的であれば、展開における係数 $b_m(x,y)$ は正則的である。滑らかな場合、$b_m(x,y)$ はほとんど正則的（すなわち、$\bar{\partial}_{xz}b_m$ が $z=\bar{x}$ で無限次の零点を持つ）である。
• この手法により、ジェット空間における微分方程式を逐次的に解くことで、式 (2.15) を用いた再帰的アルゴリズムにより $b_m(x,y)$ を明示的に計算可能である。
• 局所核 $K_k^{(N)}$ の再現性における誤差は $O(e^{-\delta k})$ であり、グローバル核は $L^2$-ノルムおよび点ごとの収束において $O(k^{-N})$ の誤差で局所核と一致する。
• 微分の差 $K_k - K_k^{(N)}$ について、任意の多重指数 $\alpha$（その位数 $\leq m$）に対して、$D^\alpha(K_k - K_k^{(N)}) = O(k^{m+n-N-1})e^{k(\phi(x)/2 + \phi(y)/2)}$ の一様推定が成り立つ。
• この証明により、$\bar{\partial}$-誤差の減衰とコーシー推定のおかげで、滑らかな計量に対しても、漸近展開が点ごとの収束だけでなく、$C^m$-位相においても成り立つことが示された。