Log Baum--Bott Residues for foliations by curves

Résumé Technique : Résidus de Baum–Bott Logarithmiques pour les Foliations par Courbes

Énoncé du Problème
L'article traite de l'extension de la théorie classique de Baum–Bott, qui relie les nombres caractéristiques d'une variété aux résidus des singularités de foliations holomorphes, au cadre de la géométrie logarithmique. Plus précisément, les auteurs étudient les foliations holomorphes monodimensionnelles (foliations par courbes) qui sont logarithmiques le long d'un diviseur libre $D$ sur une variété complexe $X$. Le problème central est de définir et de calculer des « résidus de Baum–Bott logarithmiques » pour les singularités situées sur le diviseur $D$, et d'établir une formule résiduelle globale qui incorpore ces indices logarithmiques. De plus, le travail cherche à appliquer ces résultats aux variétés singulières via des résolutions logarithmiques et à explorer les implications pour la conjecture de Zariski–Lipman et le problème de Poincaré.

Méthodologie
Les auteurs emploient une combinaison de géométrie algébrique locale, de théorie des faisceaux et de méthodes topologiques globales :

1. Champs de Vecteurs Logarithmiques et Repères : L'étude utilise le faisceau des champs de vecteurs logarithmiques $TX(-\log D)$. Pour une foliation $\mathcal{F}$ logarithmique le long de $D$, les représentants locaux sont des sections de ce faisceau. Les auteurs définissent une matrice spécifique $M_{\log}(\vartheta)$ associée à un champ de vecteur logarithmique local $\vartheta$, construite à l'aide d'un repère local de $TX(-\log D)$ et de la structure de crochet de Lie du repère.
2. Définitions des Résidus : Généralisant le résidu de Grothendieck, les auteurs définissent le résidu de Baum–Bott logarithmique $\text{Res}^{\log}_{\varphi}(\mathcal{F}, D, p)$ pour un polynôme symétrique homogène $\varphi$ de degré $n$. Il est défini via le résidu de Grothendieck de $\varphi(M_{\log}(\vartheta))$ par rapport aux coordonnées locales du champ de vecteur.
3. Cadre Cohomologique : Les preuves reposent sur la cohomologie de Čech-de Rham relative et la dualité de l'Alexander. En construisant un recouvrement spécifique de l'ensemble singulier et en utilisant le théorème d'annulation de Bott pour les connexions sur le fibré normal de la foliation par rapport au fibré tangent logarithmique, les auteurs relient les classes caractéristiques globales aux résidus locaux.
4. Résolution des Singularités : Pour traiter les variétés singulières, les auteurs utilisent des résolutions logarithmiques fonctorielles $\pi: (X, D) \to (Y, \emptyset)$. Ils élèvent la foliation vers la résolution et appliquent le théorème de Baum–Bott logarithmique sur la variété lisse $X$ pour dériver des formules pour la variété singulière $Y$.
5. Comparaisons d'Indices : L'article établit des relations entre les nouveaux résidus logarithmiques et les indices existants, notamment l'indice logarithmique d'Aleksandrov, l'indice GSV (Gómez-Mont, Seade, Verjovsky) et l'indice de Camacho–Sad, particulièrement dans le contexte des surfaces.

Contributions Clés et Résultats

• Le Théorème de Baum–Bott Logarithmique (Théorème 1.2) : Le résultat principal est une formule résiduelle pour une foliation holomorphe monodimensionnelle $\mathcal{F}$ sur une variété complexe compacte $X$ logarithmique le long d'un diviseur libre $D$. Pour un polynôme symétrique homogène $\varphi$ de degré $n = \dim X$ :
  $$\int_X \varphi(TX(-\log D) - T\mathcal{F}) = \sum_{S_\lambda \not\subset D} BB_\varphi(\mathcal{F}, S_\lambda) + \sum_{S_\lambda \subset D} \text{Res}^{\log}_\varphi(\mathcal{F}, D, S_\lambda)$$
  où la somme s'effectue sur les composantes connexes de l'ensemble singulier. Cela généralise le théorème classique au cadre logarithmique et aux $\partial$-variétés non compactes.

• Généralisation de l'Indice d'Aleksandrov : Les auteurs démontrent que pour les singularités isolées sur un diviseur libre, le résidu de Baum–Bott logarithmique généralise l'indice logarithmique d'Aleksandrov. Spécifiquement, lorsque $\varphi = \det$, le résidu coïncide avec l'indice logarithmique $\text{Log}(\mathcal{F}, D, p)$.

• Relations sur les Surfaces (Corollaire 1.6) : Pour les foliations sur des surfaces complexes compactes, la différence entre l'indice de Baum–Bott classique et l'indice de Baum–Bott logarithmique le long d'une courbe invariante $D$ est explicitement exprimée en termes de l'indice GSV et de l'indice de Camacho–Sad (CS) :
  $$BB_{c_1^2}(\mathcal{F}, D) - \text{Res}^{\log}_{c_1^2}(\mathcal{F}, D) = 2\text{GSV}(\mathcal{F}, D) + \text{CS}(\mathcal{F}, D)$$
  L'article note que si $\mathcal{F}$ est une « courbe généralisée » le long de $D$ (absence de nœuds-selle dans la résolution), le résidu logarithmique s'annule.

• Application au Problème de Poincaré (Corollaire 1.5) : Les auteurs dérivent une nouvelle obstruction pour le problème de Poincaré sur $\mathbb{P}^n$ (pour $n$ impair). Si une foliation possède un diviseur libre invariant $D$ et que la somme des résidus logarithmiques est non négative, alors $\deg(D) \leq \deg(\mathcal{F}) + n$.

• Variétés Singulières et Résolution Logarithmique (Corollaire 1.7) : Une formule de type Baum–Bott est obtenue pour les variétés normales singulières via des résolutions logarithmiques. Les nombres caractéristiques globaux de la variété singulière sont exprimés comme une somme de résidus de Baum–Bott classiques sur la partie régulière et de résidus logarithmiques sur le diviseur exceptionnel.

• Conjecture de Zariski–Lipman et Nœuds-Selles (Corollaire 1.9) : L'article prouve une version globale faible de la conjecture de Zariski–Lipman pour les surfaces algébriques compactes. Il établit un « critère de lissé par foliation » : Si $Y$ est une surface analytique compacte avec un faisceau tangent localement libre et une foliation induite par un champ de vecteurs tordu dont les singularités se situent uniquement dans $\text{Sing}(Y)$, alors si la foliation est une « courbe généralisée », $Y$ doit être lisse. Inversement, si $Y$ est singulière, la réduction des singularités d'une telle foliation doit nécessairement présenter au moins un nœud-selle. Cela suggère une manifestation dynamique de la condition de Zariski–Lipman.

• Fonctions Constructibles (Section 6) : Les auteurs organisent les résidus logarithmiques en une fonction constructible naturelle à valeurs de résidus, fournissant un cadre capable de capturer des invariants à valeurs complexes (comme les indices de Camacho–Sad) qui sont perdus dans les approches purement de théorie de l'intersection reposant sur des cycles caractéristiques à multiplicités entières.

Signification et Revendications
L'article prétend fournir un cadre unifié pour l'étude des foliations avec singularités sur des diviseurs libres, comblant le fossé entre les indices logarithmiques locaux et les invariants topologiques globaux. En étendant le théorème de Baum–Bott au contexte logarithmique et aux variétés singulières, les auteurs offrent de nouveaux outils pour analyser la topologie des foliations sur des espaces non lisses.

La signification du travail réside dans :

1. Généralisation : Étendre le théorème de Baum–Bott au contexte logarithmique et aux variétés singulières, permettant l'inclusion de singularités plus générales que les singularités d'intersection complète isolées (ICIS).
2. Unification : Connecter divers indices (Aleksandrov, GSV, Camacho–Sad, Baum–Bott) à travers un formalisme de résidus unique.
3. Contraintes Dynamiques : Offrir une perspective nouvelle sur la conjecture de Zariski–Lipman en liant la condition algébrique d'un faisceau tangent localement libre à la nécessité dynamique de nœuds-selles dans la résolution des singularités.
4. Obstructions : Proposer de nouvelles obstructions quantitatives (via les résidus log) à l'existence de solutions algébriques pour les équations différentielles polynomiales (Problème de Poincaré).

Les auteurs maintiennent un ton modeste concernant les résultats de Zariski–Lipman, les présentant comme une « version globale faible » et un « critère de lissé par foliation » qui souligne l'apparition de nœuds-selles dans les contextes singuliers, plutôt que comme une preuve complète de la conjecture dans toute sa généralité.