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
Noyaux de Bergman sur les variétés de Kähler polarisées, platitude logarithmique de Bergman, et une question de Lu-Tian
Cet article étudie deux classes de noyaux de Bergman sur une variété de Kähler complète M, induits par un fibré en droites positif (L,h)→M qui induit une métrique de Kähler g : le noyau de Bergman du fibré en disques du fibré dual (L∗,h∗), et le noyau de Bergman du produit tensoriel du fibré en droites (Lk,hk) (k≥1) avec le fibré canonique de (M,g). L'article établit d'abord un résultat de localisation pour le premier, puis établit une condition nécessaire et suffisante pour que ce noyau de Bergman soit dépourvu de singularités logarithmiques, condition exprimée au moyen d'un développement de type Tian-Yau-Zelditch-Catlin du second. Ce résultat répond en particulier à une question posée par Lu et Tian. En application, on démontre que lorsque (M,g) est localement homogène et compacte, le fibré en cercles de (L∗,h∗) est nécessairement logarithmiquement plat au sens de Bergman.
Les problèmes fondamentaux que cet article se propose de résoudre sont la compréhension du comportement asymptotique des noyaux de Bergman sur les variétés de Kähler polarisées, en particulier :
Le développement de type Fefferman du noyau de Bergman du fibré en disques du fibré dual
La caractérisation géométrique de la platitude logarithmique de Bergman
La question de Lu-Tian : caractériser les singularités logarithmiques au moyen des coefficients du développement de Tian-Yau-Zelditch-Catlin
Signification géométrique : La platitude logarithmique de Bergman est une propriété géométrique importante des hypersurfaces réelles strictement pseudoconvexes, étroitement liée à la géométrie CR
Signification analytique : Le développement asymptotique du noyau de Bergman révèle des informations profondes sur la structure de géométrie complexe
Valeur théorique : Établit des connexions entre plusieurs concepts importants de l'analyse complexe, de la géométrie différentielle et de la géométrie algébrique
Théorème de localisation : Démontre la propriété de localisation du noyau de Bergman du fibré en disques du fibré dual (Théorème 1.2), généralisée au cas non-compact
Développement de type Fefferman : Établit le développement asymptotique complet du noyau de Bergman du fibré en disques (Corollaire 1.4)
Théorème d'équivalence fondamental : Démontre l'équivalence entre la platitude logarithmique de Bergman et l'annulation des coefficients du développement de Tian-Yau-Zelditch-Catlin (Théorème 1.11)
Solution complète du problème de Lu-Tian : Fournit les conditions nécessaires et suffisantes dans le cas compact (Corollaire 1.12)
Résultats d'application : Démontre la platitude logarithmique de Bergman du fibré en cercles sur les variétés de Kähler localement homogènes et compactes (Corollaire 1.13)
Établissement de la relation entre le noyau de Bergman KD du fibré en disques D et le noyau de Bergman Bk du fibré en droites Lk⊗CM :
KD=(∑k=0∞2n+1πk+1(1−ρ)kBk+1)T
où ρ(v)=1−∣v∣h∗2 est la fonction de définition du fibré en cercles.
Par des techniques de combinatoire, on établit les relations explicites entre les coefficients Φ,Ψ et aj :
αj=∑i=0n+1(2π)n+1λjiaiβj=∑i=0j(2π)n+1an+2+iτij
Démonstration que les coefficients aj sont des polynômes universels de la courbure et de ses dérivées covariantes, assurant l'invariance géométrique des résultats.
Soit (M,g;L,h) une variété polarisée, et supposons que M admette une métrique de Kähler complète. Si Ω est un domaine relativement compact dans L∗ avec bord lisse strictement pseudoconvexe, Ω⊆D, et s'il existe p∈S et un voisinage W de p tel que W∩Ω=W∩D, alors la différence des noyaux de Bergman KD−KΩ s'étend C∞-régulièrement sur W∩Ω.
Sous les conditions du Théorème 1.2, il existe des familles uniques de fonctions lisses {αj}j=0n+1 et {βj}j=0∞ telles que :
Φ=∑j=0n+1(αj∘π)ρj+O(ρn+2)Ψ=∑j=0N(βj∘π)ρj+O(ρN+1)
et chaque αj,βj peut être calculé explicitement à partir de a0,…,an+2+j.
Si (M,g;L,h) est une variété de Kähler polarisée compacte et localement homogène, alors le fibré en cercles S de (L∗,h∗) est logarithmiquement plat au sens de Bergman. De plus, S est une sphère si et seulement si (M,g) est localement holomorphiquement isométrique à l'une des formes d'espace complexe suivantes :
L'article cite 46 références importantes, couvrant plusieurs domaines connexes tels que la théorie des noyaux de Bergman, la géométrie de Kähler, la géométrie CR, en particulier les travaux fondateurs de Fefferman 18, Lu-Tian 31, Engliš-Zhang 17, etc.