[论文解读] Off-diagonal decay of Bergman kernels: On a conjecture of Zelditch

Michael Christ|arXiv (Cornell University)|Aug 26, 2013

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

一句话总结

本文为泽利奇奇的猜想提供了证据，即在紧致复流形上，Bergman核的指数型非对角衰减成立当且仅当正线丛上的Hermitian度量是实解析的。通过在仅依赖于实坐标、具有对称结构的 $\mathbb{C}^d$ 上进行分析，作者建立了精确的次指数衰减估计，并表明，除非满足解析性，否则对于 $C^\infty$ 度量，指数衰减不成立，从而在非平凡的几何设定中支持了该猜想。

ABSTRACT

Consider a complex line bundle over a compact complex manifold equipped with an infinitely differentiable metric with strictly positive curvature form. Assign to positive tensor powers of this bundle the associated product metrics and Bergman projection operators. Zelditch has conjectured that if the Bergman kernels, away from the diagonal, decay exponentially fast to zero as the power tends to infinity, then the metric must be real analytic. Moreover, this is conjectured even if exponential decay is assumed to hold merely for some arbitrarily sparse subsequence of powers tending to infinity. Previously the author has constructed examples in which the metric is infinitely differentiable, but exponential decay does not hold. These examples are within a framework in which a certain degree of symmetry is present. In the present paper we prove the conjecture for all structures within this framework, thus providing evidence in favor of the conjecture. The analysis is carried out for base manifolds of arbitrary dimensions, rather than only for dimension one as in the author's previous work.

研究动机与目标

• 研究逆问题：Bergman核的指数型非对角衰减是否意味着底层Hermitian度量的解析性。
• 在一种简化但非平凡的几何框架中检验泽利奇奇的猜想，该框架中偏对称性允许变量分离。
• 在 $C^\infty$ 设定下建立Bergman核的精确衰减估计，表明除非存在解析性，否则次指数衰减是最优的。
• 通过构造例子并证明在先前已知存在指数衰减反例的设定中衰减界，为该猜想提供证据。

提出的方法

• 分析在 $\mathbb{C}^d$ 上进行，Hermitian度量 $\phi$ 仅依赖于实部 $x$，通过对称性简化了几何结构。
• 通过加权 $L^2$ 空间中的全纯截面正交投影研究Bergman核，权重为 $e^{-2\lambda\phi(x)}$，利用 $\phi$ 为 $C^\infty$ 且严格强拟凸的性质。
• 关键步骤涉及通过相位空间中的驻相法和Laplace方法，对核进行参数构造和点态界估计。
• 作者通过积分表示和Hardy-Littlewood极大函数的控制以及高斯型衰减估计，推导出Bergman核的点态界。
• 分析利用了 $\phi$ 的Legendre变换 $\Phi^*$ 的严格凸性和凹性，以控制指数衰减率。
• 一个关键估计涉及将核用包含 $|Sg(x+u)|$ 的加权积分进行有界，其中 $S$ 为微分算子，并利用极大函数控制增长。

实验结果

研究问题

• RQ1 Bergman核的指数型非对角衰减是否意味着线丛上Hermitian度量的实解析性？
• RQ2 该猜想是否可在一种对称性简化分析并允许变量分离的几何框架中得到验证？
• RQ3 当度量为 $C^\infty$ 但非实解析时，Bergman核的衰减速率的精确值是什么？
• RQ4 对于 $C^\infty$ 度量，次指数衰减是否是最优的？能否以 $\lambda$ 为参数量化这一结果？
• RQ5 在缺乏解析性的情况下，是否可通过积分表示和极大函数估计控制核的结构？

主要发现

• 对于 $C^\infty$ Hermitian度量，非对角Bergman核以 $O(e^{-A\sqrt{\lambda\log\lambda}})$ 的速率衰减，对所有 $A<\infty$ 成立，且该速率是最优的。
• 在对称框架中支持了该猜想：若对任意稀疏序列 $\lambda$ 均存在指数衰减，则 $\phi$ 必须是实解析的。
• 本文建立了关键的点态界：$|B_\lambda(z,z^\prime)| \leq C\lambda^{d/2} \int_{\mathbb{R}^d} e^{\Phi^*(x)+2\Phi^*(y)-\Phi^*(tx+(1-t)y)} |x-y| |Sg(tx+(1-t)y)| \, dt \, dm(y)$。
• 通过极大函数估计控制核范数：$|g(x)| \leq C(1+|x-x^\dagger|)^d M(Sg)(x)$，其中 $M$ 为Hardy-Littlewood极大算子。
• 分析表明，除非 $\phi$ 是实解析的，否则衰减速率是次指数的，且 $|g(x)|$ 被涉及 $e^{-c|u|^2}$ 和 $|u|^{1-d}$ 的项所控制，反映出缺乏指数衰减。
• 分析确认了该猜想在这一对称设定中成立，为该猜想在一般情形下的有效性提供了强有力证据。