2025-11-11T11:07:08.799740

Bergman kernels over polarized KÃ¤hler manifolds, Bergman logarithmic flatness, and a question of Lu-Tian

Ebenfelt, Xiao, Xu

Let $M$ be a complete KÃ¤hler manifold, and let $(L, h) \to M$ be a positive line bundle inducing a KÃ¤hler metric $g$ on $M$. We study two Bergman kernels in this setting: the Bergman kernel of the disk bundle of the dual line bundle $(L^*, h^*)$, and the Bergman kernel of the line bundle $(L^k, h^k)$, $k\geq 1$, twisted by the canonical line bundle of $(M, g)$. We first prove a localization result for the former Bergman kernel. Then we establish a necessary and sufficient condition for this Bergman kernel to have no logarithmic singularity, expressed in terms of the Tian-Yau-Zelditch-Catlin type expansion of the latter Bergman kernel. This result, in particular, answers a question posed by Lu and Tian. As an application, we show that if $(M, g)$ is compact and locally homogeneous, then the circle bundle of $(L^*, h^*)$ is necessarily Bergman logarithmically flat.

academic

Bergman kernels over polarized Kähler manifolds, Bergman logarithmic flatness, and a question of Lu-Tian

基本信息

论文ID: 2510.22169
标题: Bergman kernels over polarized Kähler manifolds, Bergman logarithmic flatness, and a question of Lu-Tian
作者: Peter Ebenfelt, Ming Xiao, Hang Xu
分类: math.CV (复分析), math.DG (微分几何)
发表时间: 2025年10月25日
论文链接: https://arxiv.org/abs/2510.22169

摘要

本文研究在完备Kähler流形 $M$ 上，由正线丛 $(L, h) \to M$ 诱导Kähler度量 $g$ 的情况下的两类Bergman核：对偶线丛 $(L^*, h^*)$ 的圆盘丛的Bergman核，以及线丛 $(L^k, h^k)$ （ $k\geq 1$ ）与 $(M, g)$ 标准线丛张量积的Bergman核。文章首先证明了前者的局部化结果，然后建立了该Bergman核无对数奇点的充要条件，该条件用后者的Tian-Yau-Zelditch-Catlin型展开来表达。这一结果特别回答了Lu和Tian提出的一个问题。作为应用，证明了当 $(M, g)$ 是紧致局部齐性时， $(L^*, h^*)$ 的圆丛必然是Bergman对数平坦的。

研究背景与动机

核心问题

本文要解决的核心问题是理解极化Kähler流形上Bergman核的渐近行为，特别是：

对偶线丛圆盘丛的Bergman核的Fefferman型展开
Bergman对数平坦性的几何刻画
Lu-Tian问题：用Tian-Yau-Zelditch-Catlin展开系数刻画对数奇点

问题重要性

几何意义：Bergman对数平坦性是强伪凸实超曲面的重要几何性质，与CR几何密切相关
分析意义：Bergman核的渐近展开揭示了复几何结构的深层信息
理论价值：连接了复分析、微分几何和代数几何的多个重要概念

现有方法局限性

经典的Fefferman理论主要适用于有界域，对一般流形上的情况处理有限
现有的局部化结果要求流形紧致，无法处理非紧情况
Lu-Tian问题的一个方向（充分性）一直未得到解决

研究动机

推广Engliš-Zhang关于Hermitian对称空间上Bergman对数平坦性的结果
发展处理非紧流形的新技术
建立Bergman核理论与Kähler几何的深层联系

核心贡献

局部化定理：证明了对偶线丛圆盘丛Bergman核的局部化性质（定理1.2），推广到非紧流形情况
Fefferman型展开：建立了圆盘丛Bergman核的完整渐近展开（推论1.4）
核心等价性定理：证明了Bergman对数平坦性与Tian-Yau-Zelditch-Catlin展开系数消失的等价性（定理1.11）
Lu-Tian问题完整解答：给出了紧致情况下的充要条件（推论1.12）
应用结果：证明了紧致局部齐性Kähler流形上圆丛的Bergman对数平坦性（推论1.13）

方法详解

任务定义

研究极化流形 $(M, g; L, h)$ 上两类Bergman核的关系：

输入：极化Kähler流形 $(M, g; L, h)$ ，其中 $(L, h)$ 是正线丛
输出：Bergman对数平坦性的几何刻画
约束： $M$ 需承认某个完备Kähler度量

核心架构

1. 标准顶形式构造

定义对偶线丛 $(L^*, h^*)$ 的标准顶形式： $T(z, \xi) = (\sqrt{-1})^{(n+1)^2}e^{\phi(z)} \det g(z) dz \wedge d\xi \wedge d\bar{z} \wedge d\bar{\xi}$

其中 $e^{\phi(z)} = h^*(e_{L^*}(z), e_{L^*}(z))$ 。

2. 两类Bergman核的关联

建立圆盘丛 $D$ 的Bergman核 $K_D$ 与线丛 $L^k \otimes C_M$ 的Bergman核 $B_k$ 的关系： $K_D = \left(\sum_{k=0}^{\infty} \frac{k+1}{2^{n+1}\pi}(1-\rho)^k B_{k+1}\right)T$

其中 $\rho(v) = 1 - |v|_{h^*}^2$ 是圆丛的定义函数。

3. 渐近展开分析

通过复杂的渐近分析，将 $K_D$ 的Fefferman展开： $K_D = \left(\frac{\Phi}{\rho^{n+2}} + \Psi \log \rho\right)T$

与 $B_k$ 的Tian-Yau-Zelditch-Catlin展开联系起来： $B_k(z) \sim \left(\frac{k}{\pi}\right)^n \sum_{j=0}^{\infty} \frac{a_j(z)}{k^j}$

技术创新点

1. 非紧流形的局部化技术

利用 $L^2$ 估计理论处理非完备度量情况
发展了新的光滑性延拓方法

2. 系数显式计算

通过组合数学技术，建立了 $\Phi, \Psi$ 的系数与 $a_j$ 的显式关系： $\alpha_j = \sum_{i=0}^{n+1} \frac{\lambda_{ji} a_i}{(2\pi)^{n+1}}$ $\beta_j = \sum_{i=0}^{j} \frac{a_{n+2+i} \tau_{ij}}{(2\pi)^{n+1}}$

3. 普遍性结果

证明了系数 $a_j$ 是曲率及其协变导数的普遍多项式，确保了结果的几何不变性。

主要定理

定理1.2（局部化）

设 $(M, g; L, h)$ 是极化流形， $M$ 承认某个完备Kähler度量。若 $\Omega$ 是 $L^*$ 中相对紧的伪凸域，具有光滑强伪凸边界，且 $\Omega \subseteq D$ ，并存在 $p \in S$ 及其邻域 $W$ 使得 $W \cap \Omega = W \cap D$ ，则Bergman核差 $K_D - K_{\Omega}$ 在 $W \cap \Omega$ 上可 $C^{\infty}$ 光滑延拓。

定理1.9（核心关联定理）

在定理1.2的条件下，存在唯一的光滑函数族 $\{\alpha_j\}_{j=0}^{n+1}$ 和 $\{\beta_j\}_{j=0}^{\infty}$ ，使得： $\Phi = \sum_{j=0}^{n+1} (\alpha_j \circ \pi)\rho^j + O(\rho^{n+2})$ $\Psi = \sum_{j=0}^{N} (\beta_j \circ \pi)\rho^j + O(\rho^{N+1})$