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

Noyaux de Bergman sur les variétés de Kähler polarisées, platitude logarithmique de Bergman, et une question de Lu-Tian

Informations fondamentales

  • ID de l'article: 2510.22169
  • Titre: Noyaux de Bergman sur les variétés de Kähler polarisées, platitude logarithmique de Bergman, et une question de Lu-Tian
  • Auteurs: Peter Ebenfelt, Ming Xiao, Hang Xu
  • Classification: math.CV (Analyse complexe), math.DG (Géométrie différentielle)
  • Date de publication: 25 octobre 2025
  • Lien de l'article: https://arxiv.org/abs/2510.22169

Résumé

Cet article étudie deux classes de noyaux de Bergman sur une variété de Kähler complète MM, induits par un fibré en droites positif (L,h)M(L, h) \to M qui induit une métrique de Kähler gg : le noyau de Bergman du fibré en disques du fibré dual (L,h)(L^*, h^*), et le noyau de Bergman du produit tensoriel du fibré en droites (Lk,hk)(L^k, h^k) (k1k\geq 1) avec le fibré canonique de (M,g)(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)(M, g) est localement homogène et compacte, le fibré en cercles de (L,h)(L^*, h^*) est nécessairement logarithmiquement plat au sens de Bergman.

Contexte et motivation de la recherche

Problème fondamental

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 :

  1. Le développement de type Fefferman du noyau de Bergman du fibré en disques du fibré dual
  2. La caractérisation géométrique de la platitude logarithmique de Bergman
  3. La question de Lu-Tian : caractériser les singularités logarithmiques au moyen des coefficients du développement de Tian-Yau-Zelditch-Catlin

Importance du problème

  1. 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
  2. Signification analytique : Le développement asymptotique du noyau de Bergman révèle des informations profondes sur la structure de géométrie complexe
  3. 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

Limitations des méthodes existantes

  1. La théorie classique de Fefferman s'applique principalement aux domaines bornés, avec un traitement limité pour les cas généraux sur les variétés
  2. Les résultats de localisation existants exigent que la variété soit compacte, ce qui ne permet pas de traiter les cas non-compacts
  3. Une direction du problème de Lu-Tian (la suffisance) n'a jamais été résolue

Motivation de la recherche

  1. Généraliser les résultats d'Engliš-Zhang sur la platitude logarithmique de Bergman sur les espaces symétriques hermitiens
  2. Développer de nouvelles techniques pour traiter les variétés non-compactes
  3. Établir des connexions profondes entre la théorie des noyaux de Bergman et la géométrie de Kähler

Contributions principales

  1. 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
  2. Développement de type Fefferman : Établit le développement asymptotique complet du noyau de Bergman du fibré en disques (Corollaire 1.4)
  3. 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)
  4. Solution complète du problème de Lu-Tian : Fournit les conditions nécessaires et suffisantes dans le cas compact (Corollaire 1.12)
  5. 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)

Détails de la méthode

Définition de la tâche

Étudier la relation entre deux classes de noyaux de Bergman sur la variété polarisée (M,g;L,h)(M, g; L, h) :

  • Entrée : Variété de Kähler polarisée (M,g;L,h)(M, g; L, h), où (L,h)(L, h) est un fibré en droites positif
  • Sortie : Caractérisation géométrique de la platitude logarithmique de Bergman
  • Contrainte : MM doit admettre une métrique de Kähler complète

Architecture fondamentale

1. Construction de la forme de degré maximal canonique

Définition de la forme de degré maximal canonique du fibré dual (L,h)(L^*, h^*) : T(z,ξ)=(1)(n+1)2eϕ(z)detg(z)dzdξdzˉdξˉ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ϕ(z)=h(eL(z),eL(z))e^{\phi(z)} = h^*(e_{L^*}(z), e_{L^*}(z)).

2. Association des deux classes de noyaux de Bergman

Établissement de la relation entre le noyau de Bergman KDK_D du fibré en disques DD et le noyau de Bergman BkB_k du fibré en droites LkCML^k \otimes C_M : KD=(k=0k+12n+1π(1ρ)kBk+1)TK_D = \left(\sum_{k=0}^{\infty} \frac{k+1}{2^{n+1}\pi}(1-\rho)^k B_{k+1}\right)T

ρ(v)=1vh2\rho(v) = 1 - |v|_{h^*}^2 est la fonction de définition du fibré en cercles.

3. Analyse du développement asymptotique

Par une analyse asymptotique complexe, on relie le développement de Fefferman de KDK_D : KD=(Φρn+2+Ψlogρ)TK_D = \left(\frac{\Phi}{\rho^{n+2}} + \Psi \log \rho\right)T

au développement de Tian-Yau-Zelditch-Catlin de BkB_k : Bk(z)(kπ)nj=0aj(z)kjB_k(z) \sim \left(\frac{k}{\pi}\right)^n \sum_{j=0}^{\infty} \frac{a_j(z)}{k^j}

Points d'innovation technique

1. Technique de localisation pour les variétés non-compactes

  • Utilisation de la théorie des estimations L2L^2 pour traiter les cas de métriques non-complètes
  • Développement de nouvelles méthodes d'extension de la régularité

2. Calcul explicite des coefficients

Par des techniques de combinatoire, on établit les relations explicites entre les coefficients Φ,Ψ\Phi, \Psi et aja_j : αj=i=0n+1λjiai(2π)n+1\alpha_j = \sum_{i=0}^{n+1} \frac{\lambda_{ji} a_i}{(2\pi)^{n+1}}βj=i=0jan+2+iτij(2π)n+1\beta_j = \sum_{i=0}^{j} \frac{a_{n+2+i} \tau_{ij}}{(2\pi)^{n+1}}

3. Résultats d'universalité

Démonstration que les coefficients aja_j sont des polynômes universels de la courbure et de ses dérivées covariantes, assurant l'invariance géométrique des résultats.

Théorèmes principaux

Théorème 1.2 (Localisation)

Soit (M,g;L,h)(M, g; L, h) une variété polarisée, et supposons que MM admette une métrique de Kähler complète. Si Ω\Omega est un domaine relativement compact dans LL^* avec bord lisse strictement pseudoconvexe, ΩD\Omega \subseteq D, et s'il existe pSp \in S et un voisinage WW de pp tel que WΩ=WDW \cap \Omega = W \cap D, alors la différence des noyaux de Bergman KDKΩK_D - K_{\Omega} s'étend CC^{\infty}-régulièrement sur WΩW \cap \Omega.

Théorème 1.9 (Théorème d'association fondamental)

Sous les conditions du Théorème 1.2, il existe des familles uniques de fonctions lisses {αj}j=0n+1\{\alpha_j\}_{j=0}^{n+1} et {βj}j=0\{\beta_j\}_{j=0}^{\infty} telles que : Φ=j=0n+1(αjπ)ρj+O(ρn+2)\Phi = \sum_{j=0}^{n+1} (\alpha_j \circ \pi)\rho^j + O(\rho^{n+2})Ψ=j=0N(βjπ)ρj+O(ρN+1)\Psi = \sum_{j=0}^{N} (\beta_j \circ \pi)\rho^j + O(\rho^{N+1})

et chaque αj,βj\alpha_j, \beta_j peut être calculé explicitement à partir de a0,,an+2+ja_0, \ldots, a_{n+2+j}.

Théorème 1.11 (Théorème d'équivalence principal)

Soit UMU \subset M un ouvert, et Σ=π1(U)S\Sigma = \pi^{-1}(U) \cap S. Alors les énoncés suivants sont équivalents :

  1. Pour tous m0m \geq 0, an+2+m=0a_{n+2+m} = 0 sur UU
  2. Σ\Sigma est logarithmiquement plat au sens de Bergman

Résultats d'application

Corollaire 1.12 (Cas compact)

Pour une variété de Kähler polarisée compacte (M,g;L,h)(M, g; L, h), les énoncés suivants sont équivalents :

  1. Chaque an+2+ma_{n+2+m} est une constante sur MM
  2. SS est logarithmiquement plat au sens de Bergman
  3. Chaque an+2+ma_{n+2+m} est non-négatif ou non-positif sur MM

Corollaire 1.13 (Cas localement homogène)

Si (M,g;L,h)(M, g; L, h) est une variété de Kähler polarisée compacte et localement homogène, alors le fibré en cercles SS de (L,h)(L^*, h^*) est logarithmiquement plat au sens de Bergman. De plus, SS est une sphère si et seulement si (M,g)(M, g) est localement holomorphiquement isométrique à l'une des formes d'espace complexe suivantes :

  1. (Bn,λω1)(B^n, \lambda \omega_{-1})
  2. (CPn,λω1)(CP^n, \lambda \omega_1)
  3. (Cn,ω0)(C^n, \omega_0)
  4. (Bl×CPnl,λω1×λω1)(B^l \times CP^{n-l}, \lambda\omega_{-1} \times \lambda\omega_1)

Détails techniques

Stratégie de preuve

  1. Première étape : Établissement de la relation intégrale entre les deux classes de noyaux de Bergman
  2. Deuxième étape : Utilisation de l'action de S1S^1 pour décomposer l'espace de Bergman
  3. Troisième étape : Extraction des relations de coefficients par analyse asymptotique
  4. Quatrième étape : Application des estimations L2L^2 pour prouver la localisation

Lemmes clés

  • Lemme 2.4 : Établissement de l'isomorphisme d'espace de Hilbert entre Am+12(D)A^2_{m+1}(D) et A2(M,Lm+1CM)A^2(M, L^{m+1} \otimes C_M)
  • Lemme 3.3 : Fourniture d'identités combinatoires pour le traitement des développements en série entière
  • Lemme 3.5 : Lemme analytique concernant le comportement asymptotique des fonctions

Travaux connexes

Contexte historique

  1. Théorie de Fefferman : Établissement du développement asymptotique du noyau de Bergman pour les domaines bornés strictement pseudoconvexes
  2. Théorie de Tian-Yau-Zelditch-Catlin : Développement de la théorie asymptotique du noyau de Bergman des fibrés en droites sur les variétés compactes
  3. Travaux d'Engliš-Zhang : Construction des premières hypersurfaces logarithmiquement plates au sens de Bergman non-sphériques

Innovations du présent article

  1. Généralisation de la théorie de localisation aux variétés non-compactes
  2. Établissement de connexions profondes entre deux classes différentes de noyaux de Bergman
  3. Résolution complète du problème ouvert posé par Lu-Tian

Conclusions et discussion

Conclusions principales

  1. Caractérisation complète des conditions géométriques de la platitude logarithmique de Bergman du fibré en cercles sur les variétés polarisées
  2. Établissement de nouvelles connexions entre la théorie des noyaux de Bergman et la géométrie de Kähler
  3. Fourniture d'une méthode systématique pour la construction d'hypersurfaces logarithmiquement plates au sens de Bergman non-sphériques

Limitations

  1. Les résultats principaux exigent toujours l'hypothèse que MM admette une métrique de Kähler complète
  2. La caractérisation complète dans le cas non-compact reste peu claire
  3. Les formules de coefficients sont plutôt complexes lors du calcul d'exemples concrets

Directions futures

  1. Conjecture 1.14 : Étude de la platitude logarithmique de Bergman dans le cas localement homogène non-compact
  2. Développement d'une théorie plus générale du noyau de Szegő sur les variétés plus générales
  3. Exploration des connexions avec la théorie des métriques d'Einstein

Évaluation approfondie

Points forts

  1. Profondeur théorique : Résolution d'un problème ouvert important du domaine, contribution théorique significative
  2. Innovation technique : Développement de nouvelles techniques pour traiter les variétés non-compactes, méthodes d'utilité générale
  3. Complétude des résultats : Fourniture de conditions nécessaires et suffisantes, cadre théorique complet
  4. Intuition géométrique : Révélation de connexions profondes entre l'analyse complexe et la géométrie différentielle

Insuffisances

  1. Complexité technique : Les preuves impliquent de nombreux détails techniques, lisibilité à améliorer
  2. Portée des applications : Les résultats principaux restent limités à des cas géométriques particuliers
  3. Complexité computationnelle : La vérification pratique de la platitude logarithmique de Bergman est plutôt difficile

Impact

  1. Impact théorique : Fourniture de nouveaux outils de recherche pour la géométrie complexe et la géométrie CR
  2. Valeur méthodologique : Les techniques de localisation pourraient s'appliquer à d'autres problèmes connexes
  3. Perspectives d'application : Fourniture de nouvelles voies pour la construction de variétés complexes possédant des propriétés particulières

Scénarios d'application

  1. Étude des variétés complexes possédant des symétries particulières
  2. Analyse des propriétés géométriques des noyaux de Bergman
  3. Construction d'hypersurfaces non-sphériques mais possédant des propriétés CR particulières

Références

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.