[論文レビュー] Quantitative upper bounds for Bergman kernels associated to smooth Kähler potentials

Hamid Hezari, Hang Xu|arXiv (Cornell University)|Jun 30, 2018

Geometry and complex manifolds参考文献 20被引用数 5

ひとこと要約

本稿では、滑らかなケーラー潜在関数のテイラー係数の成長率と関連付けて、コンパクトなケーラー多様体上のベルグマン核に対する定量的上界を確立する。ケーラー潜在関数の微分のためのメジャーント関数 M(N) を導入し、解析的・準解析的・ゲヴレークラスの計量に対して、正規性クラスに応じた明示的なレートを伴う、改善された非対角項の崩壊推定を得る。

ABSTRACT

We give upper bounds for the Bergman kernels associated to tensor powers of a smooth positive line bundle in terms of the rate of growth of the Taylor coefficients of the Kähler potential. As applications, we obtain improved off-diagonal rate of decay for the classes of analytic, quasi-analytic, and more generally Gevrey potentials.

研究の動機と目的

• 滑らかなケーラー潜在関数のテイラー係数の成長率に基づいて、ベルグマン核に対する定量的上界を導出すること。
• クリストのアグモン型推定を、計量の正則性と関連付けることで精緻化すること。
• 解析的・準解析的・ゲヴレークラスの計量に対して、改善された非対角項の崩壊推定を提供すること。
• ケーラー潜在関数の2次微分のための一般枠組みを、メジャーント関数 M(N) を用いて確立すること。

提案手法

• Taylor係数 ∂²φ が M(|α|) でメジャーントされる Kähler 潜在関数のクラス 𝒞_M を定義する。ここで M は ℝ>0 上の正の C² 関数である。
• J(N) = M(N)^{1/N} を導入し、方程式 N²J(N)J′(N)e^{2NJ′(N)/J(N)} = k を解いて N(k) を定義し、これにより関数 f(k) を定める。
• f(k) を用いて距離スケール d(z,w) を二つの領域に分割する： d(z,w) ≤ f(k)√(log k/k) および d(z,w) ≥ f(k)√(log k/k)。
• 局所的グリーン核推定とソボレフ埋め込みを用いて、グリーン作用素の C² ノルムを制御し、非対角領域で指数的崩壊を導出する。
• 反復的議論と被覆技術を用いて、点ごとの推定を、ベルグマン核のグローバル L² および C² ノルムへの拡張する。
• ゲヴレークラスにおける s→1⁺ の一様極限を活用し、解析的ケースを回復する。このとき f(k) ~ k^{1/2}/√log k となる。

実験結果

リサーチクエスチョン

• RQ1 ベルグマン核の非対角項の崩壊レートは、ケーラー潜在関数のテイラー係数の正則性にどのように依存するか？
• RQ2 クリストのアグモン型推定における崩壊レートは、計量の微分の成長率に基づいて定量的に記述可能か？
• RQ3 計量が解析的・準解析的・ゲヴレークラスである場合、ベルグマン核の正確な崩壊レートは何か？
• RQ4 ∂²φ のテイラー係数のためのメジャーント関数 M(N) は、ベルグマン核の崩壊にどのように影響するか？
• RQ5 解析的ケースは、ゲヴレークラス推定の極限として回復可能か？

主な発見

• s > 1 のゲヴレークラス計量に対して、d(z,w) ≤ k^{-(s-1)/(2s-1)} のとき、ベルグマン核は Ck^n e^{-c k d(z,w)^2} として崩壊し、d(z,w) ≥ k^{-(s-1)/(2s-1)} のとき、Ck^n e^{-c k^{s/(2s-1)} d(z,w)} として崩壊する。
• 解析的計量 (s=1) の場合、ベルグマン核はすべての z,w に対して |B_k(z,w)|_{h^k} ≤ Ck^n e^{-c k d(z,w)^2} を満たし、対数補正がない。
• M(N) = (log N)^N の準解析的計量に対して、d(z,w) ≥ 1/log k のとき、崩壊は Ck^n e^{-c k d(z,w)/log k} となる。
• 関数 f(k) = N(k)√(J′(N(k))/J(N(k))) / √log k は、方程式 N²J(N)J′(N)e^{2NJ′(N)/J(N)} = k を解いて得られ、二つの崩壊領域間の遷移スケールを決定する。
• 本手法により、解析的ケースでは f(k) ~ k^{1/2}/√log k が得られ、正則性が低い計量では f(k) はより小さくなる。
• M(N) の成長が速くなるように選べば、f(k) を任意に小さくできるため、結果は正則性に敏感であり、鋭い上界であることが示される。