Generic vector fields on isolated complex hypersurface germs

Résumé technique : Champs de vecteurs génériques sur des germes d'hypersurfaces complexes isolées

Énoncé du problème
L'article étudie l'espace des champs de vecteurs holomorphes sur les singularités d'hypersurfaces isolées $(V, 0) \subset (\mathbb{C}^{n+1}, 0)$. Bien qu'il soit établi que l'espace des germes de champs de vecteurs holomorphes sur une telle singularité soit de dimension infinie, et que le sous-ensemble de ceux possédant une singularité isolée à l'origine soit ouvert et dense, les propriétés spécifiques des éléments « génériques » au sein de cet espace restent à caractériser. Plus précisément, les auteurs cherchent à déterminer la valeur minimale possible de l'indice GSV (indice de Gómez-Mont, Seade, Verjovsky) pour ces champs de vecteurs et à comprendre les conditions géométriques sous lesquelles ce minimum est atteint. En outre, ce travail vise à étendre ces résultats locaux pour en déduire des obstructions globales à l'existence de champs de vecteurs holomorphes sur des variétés singulières compactes.

Méthodologie
Les auteurs emploient une combinaison de la théorie locale des singularités et de méthodes topologiques globales :

1. Analyse locale via l'indice GSV : L'étude utilise l'indice GSV, défini comme l'indice de Poincaré-Hopf d'une extension continue d'un champ de vecteurs vers une fibre de Milnor locale. Les auteurs relient cet indice à des invariants algébriques de la singularité, notamment le nombre de Tjurina-Greuel $\tau_0(V)$ et le nombre de Milnor $\mu_0(V)$.
2. Caractérisation algébrique : Le cœur de la théorie locale consiste à analyser l'idéal engendré par l'équation définissant l'hypersurface $f$ et les composantes d'une extension holomorphe du champ de vecteurs $\tilde{v} = (v_1, \dots, v_{n+1})$. Les auteurs utilisent des formules de dimension sur l'anneau local des germes holomorphes $\mathcal{O}_{n+1,0}$ et les propriétés des suites régulières pour établir des bornes inférieures pour l'indice.
3. Extension et non-dégénérescence : Une technique centrale consiste à examiner si un champ de vecteurs sur l'hypersurface peut être étendu à l'espace ambiant $\mathbb{C}^{n+1}$ avec une singularité isolée non dégénérée à l'origine.
4. Obstructions globales : Pour les variétés compactes, les auteurs appliquent les résultats locaux en sommant les indices minimaux aux points singuliers. Ils utilisent le théorème de Riemann-Roch de Baum-Fulton-MacPherson et des calculs de classes de Chern pour les fibrés tangents virtuels afin de relier ces sommes locales à des invariants topologiques globaux (tels que la caractéristique d'Euler et le genre géométrique).

Contributions et résultats clés

• Caractérisation des champs de vecteurs génériques (Théorème 1) :
  Les auteurs démontrent que pour un germe d'hypersurface $(V, 0)$ avec une singularité isolée, l'indice GSV de tout champ de vecteurs holomorphe $v$ ayant une singularité isolée est borné inférieurement par :
  $$\text{Ind}_{GSV}(v, (V, 0)) \geq 1 + (-1)^n \tau_0(V)$$
  où $\tau_0(V)$ est le nombre de Tjurina-Greuel.
  Crucialement, l'article établit que l'égalité est atteinte si et seulement si le champ de vecteurs admet une extension holomorphe à l'espace ambiant $\mathbb{C}^{n+1}$ avec une singularité non dégénérée à l'origine. De plus, l'ensemble de tels champs de vecteurs (ceux atteignant l'indice minimal) forme un sous-ensemble ouvert et dense de l'espace de tous les champs de vecteurs ayant des singularités isolées.

• Caractérisation des germes pondérés homogènes (Théorème 2) :
  L'article apporte une résolution partielle à une conjecture concernant l'équivalence entre l'homogénéité pondérée et l'existence de champs de vecteurs spécifiques :

  • Pour $n$ pair, l'existence d'un champ de vecteurs s'étendant à l'espace ambiant avec une singularité non dégénérée implique que $(V, 0)$ est pondérément homogène.
  • Pour $n$ impair, l'existence d'un champ de vecteurs partout transversal au lien $L_V$ implique que $(V, 0)$ est pondérément homogène.
    Les auteurs notent que prouver l'équivalence complète dans toutes les dimensions reste une tâche ouverte, mais leurs résultats confirment l'implication dans ces cas spécifiques.

• Obstructions globales pour les variétés compactes (Sections 5 et 6) :
  En sommant les bornes inférieures locales, les auteurs déduisent des contraintes sur les variétés singulières compactes admettant des champs de vecteurs holomorphes globaux :

  • Hypersurfaces projectives : Ils dérivent une inégalité reliant le degré de l'hypersurface, le nombre de points singuliers et la somme des indices locaux (Théorème 3).
  • Courbes singulières (Théorème 4) : Une courbe complexe singulière compacte irréductible admettant un champ de vecteurs holomorphe non trivial avec des zéros doit être rationnelle (genre géométrique $g=0$) et posséder au plus deux points singuliers.
  • Surfaces singulières dans des 3-variétés Kähleriennes (Théorème 5) : Si une surface singulière $V$ dans une 3-variété Kählerienne compacte $X$ admet un champ de vecteurs holomorphe non trivial avec des zéros, et que le fibré en droites adjoint $\mathcal{O}_X(K_X + [V])$ est nef, alors le genre géométrique est supérieur ou égal à l'irrégularité ($g(V) \geq q(V)$).

Signification et affirmations
L'article prétend fournir une description précise du comportement « générique » des champs de vecteurs holomorphes sur les singularités d'hypersurfaces isolées, identifiant l'indice minimal en fonction du nombre de Tjurina. Cette caractérisation sert de pont entre la géométrie algébrique locale et la topologie globale.

Les auteurs soulignent que leurs résultats produisent de nouvelles obstructions à l'existence de champs de vecteurs globaux sur des espaces singuliers, un domaine où les méthodes standard pour les variétés lisses (reposant sur l'isomorphisme entre le complexe des formes régulières et le complexe de Koszul) échouent. Plus précisément, l'article démontre que l'existence de tels champs de vecteurs impose des contraintes topologiques strictes :

1. Les courbes singulières portant de tels champs sont nécessairement rationnelles avec très peu de singularités.
2. Les surfaces singulières dans des environnements Kähleriens spécifiques ne peuvent pas avoir d'irrégularité « excessive » par rapport à leur genre géométrique.

Ce travail clarifie également la relation entre l'existence de champs de vecteurs transversaux (ou d'extensions non dégénérées) et la nature pondérément homogène de la singularité, répondant partiellement à une conjecture dans le domaine. Les auteurs présentent ces résultats comme une étape fondamentale pour comprendre l'interaction entre le type de singularité et la géométrie globale des variétés singulières.