Bergman spaces on algebraic curves

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la géométrie complexe et de l'analyse fonctionnelle, se concentrant sur les espaces de Bergman. Ces espaces, notés $A^2(U)$, sont constitués des fonctions holomorphes sur un ouvert $U$ qui sont de carré intégrable par rapport à une forme volume donnée.

Le point de départ est un théorème célèbre de Wiegerinck (1984) : pour tout ouvert $U \subseteq \mathbb{C}$, l'espace de Bergman $A^2(U)$ est soit de dimension infinie, soit trivial (réduit à $\{0\}$). Cette dichotomie a été généralisée récemment aux fibrés vectoriels holomorphes sur le plan projectif et sur les surfaces de Riemann compactes.

Cependant, ces résultats ne s'appliquaient pas aux espaces singuliers. L'objectif principal de cet article est d'étendre la dichotomie de Wiegerinck aux courbes algébriques complexes (projectives et affines), qui peuvent posséder des singularités, et d'y intégrer des métriques singulières associées à des diviseurs.

2. Méthodologie

Les auteurs adoptent une approche structurée en plusieurs étapes clés :

• Normalisation des courbes : Pour traiter les singularités, ils utilisent la normalisation $\pi: \tilde{X} \to X$ d'une courbe algébrique $X$. $\tilde{X}$ est une surface de Riemann compacte (lisse). Les propriétés de l'espace de Bergman sur $X$ sont ramenées à l'étude de l'espace sur $\tilde{X}$.
• Formes volume singulières (Divisorial Volume Forms) : L'innovation majeure réside dans la définition de formes volume $\rho$ sur $\tilde{X}$ qui présentent des comportements spécifiques (zéros ou pôles) aux points correspondant aux singularités de $X$ et aux points à l'infini (pour le cas affine). Ces comportements sont gouvernés par un diviseur $D$.
  • Près d'un point singulier de multiplicité $m$, la forme volume se comporte comme $|z|^{2(m-1)}$.
  • Près de l'infini, elle peut avoir des pôles.
• Réduction aux fibrés vectoriels : Le problème est formulé pour des fibrés vectoriels holomorphes $E$ munis d'une métrique hermitienne $h$. L'espace de Bergman $A^2(U, \rho, E, h)$ est défini comme l'ensemble des sections holomorphes de carré intégrable.
• Théorie des ensembles polaires : L'analyse repose fortement sur la notion d'ensembles localement polaires (sets that are "small" in the sense of potential theory). La preuve utilise le fait que si le complémentaire d'un ouvert est localement polar, les sections $L^2$ peuvent être étendues holomorphiquement.

3. Résultats Principaux

Les résultats sont divisés en deux cas : les courbes projectives (compactes) et les courbes affines.

A. Cas Projectif (Courbes Compactes)

Soit $X$ une courbe algébrique projective (éventuellement singulière) et $\sigma$ une forme volume.

• Théorème 1.3 et 1.4 (Dichotomie) : Pour tout ouvert $U \subseteq X$, l'espace de Bergman $A^2(U, \sigma, E, h)$ satisfait la dichotomie suivante :
  1. Il est de dimension finie si et seulement si le complémentaire $X \setminus U$ est localement polar.
  2. Dans ce cas de dimension finie, l'espace est isomorphe à l'espace des sections globales d'un faisceau cohérent spécifique : $A^2(U) \cong H^0(X, E \otimes \mathcal{P}_{\partial U})$.
  3. Si le complémentaire n'est pas localement polar, l'espace est de dimension infinie.
• Rôle du diviseur de multiplicité ($D_m$) : Les singularités de $X$ induisent un diviseur effectif $D_m$ sur la normalisation $\tilde{X}$. Ce diviseur impose des conditions de vanishing (annulation) aux sections de l'espace de Bergman.

B. Cas Affine (Courbes Non Compactes)

Soit $Y \subset \mathbb{C}^n$ une courbe algébrique affine.

• Théorème 1.5 : Une dichotomie similaire s'applique, mais avec une différence cruciale liée aux points à l'infini. Le diviseur associé $D_m^A$ sur la normalisation de l'adhérence projective contient des coefficients strictement négatifs dus à l'intersection avec l'hyperplan à l'infini.
• Conséquence de la négativité : Si la somme des ordres de multiplicité aux singularités est inférieure à la somme des ordres d'intersection à l'infini (condition de "négativité globale" du diviseur), alors l'espace de Bergman est trivial ($A^2(U) = \{0\}$) pour tout ouvert $U$ dont le complémentaire est localement polar.
• Théorème 1.1 (Courbes lisses affines) : Si $M \subset \mathbb{C}^n$ est une courbe algébrique lisse, alors pour tout ouvert $U \subseteq M$, $A^2(U)$ est soit de dimension infinie, soit trivial. Cela généralise le théorème original de Wiegerinck (qui portait sur $M=\mathbb{C}$).

C. Contre-exemple et Limites

Les auteurs montrent que la conjecture de Wiegerinck (généralisée aux variétés de Stein arbitraires) est fausse pour les variétés singulières générales.

• Ils construisent un exemple (Exemple 4.29) d'une courbe algébrique affine singulière $Y$ et d'un ouvert $U$ tel que $A^2(U)$ soit de dimension finie non nulle (ni trivial, ni infini). Cela démontre que la régularité (lissité) ou la structure algébrique spécifique est essentielle pour la dichotomie stricte.

4. Contributions Clés

1. Extension aux espaces singuliers : Première étude systématique des espaces de Bergman sur des courbes algébriques singulières, en définissant rigoureusement les formes volume adaptées aux singularités.
2. Généralisation de la dichotomie de Wiegerinck : Démonstration que la propriété "dimension infinie ou triviale" (ou finie avec structure précise) persiste pour les courbes algébriques, à condition de prendre en compte la géométrie des singularités via les diviseurs.
3. Introduction de l'invariant $\delta_{L^2}$ : Définition d'une version $L^2$ de l'invariant delta (mesurant la complexité des singularités) et comparaison avec l'invariant delta classique. Ils montrent que $\delta_{L^2}$ peut prendre n'importe quelle valeur entre 0 et $\delta$ classique, selon la géométrie de l'ouvert.
4. Faisceaux cohérents explicites : Identification précise du faisceau cohérent $\mathcal{P}_{\partial U}$ (ou $\mathcal{A}_{\partial U}$ dans le cas affine) qui décrit l'espace de Bergman lorsque celui-ci est de dimension finie. Ce faisceau dépend des singularités de la courbe et de la frontière de l'ouvert.

5. Signification et Impact

• Théorique : Ce travail comble un vide important en reliant l'analyse complexe ($L^2$-cohomologie, espaces de Bergman) à la géométrie algébrique des courbes singulières. Il clarifie comment les singularités affectent la dimensionnalité des espaces de fonctions holomorphes.
• Contre-exemple constructif : En fournissant un contre-exemple à une généralisation naïve de la conjecture de Wiegerinck aux variétés de Stein singulières, l'article affine notre compréhension des limites de ces théorèmes de dichotomie.
• Outils pour l'avenir : La méthode de réduction via la normalisation et l'utilisation de diviseurs pour modéliser les singularités offre un cadre robuste pour étudier des problèmes similaires sur des variétés complexes de dimension supérieure ou d'autres types d'espaces singuliers.

En résumé, cet article établit que pour les courbes algébriques, la structure de l'espace de Bergman est dictée par une interaction subtile entre la topologie de l'ouvert (via les ensembles polaires), la géométrie des singularités (via les diviseurs de multiplicité) et la position à l'infini (pour le cas affine).