🔢 mathematics

On Milnor and Tjurina numbers of Pairs of Holomorphic Functions Germs

Motivé par les formules de bifurcation, cet article introduit le nombre de Tjurina pour les paires de germes de fonctions holomorphes via la théorie des feuilletages, prouve son invariance analytique et sa formule explicite, et applique ces résultats ainsi que de nouvelles propriétés du nombre de Milnor pour caractériser les germes méromorphes semi-tamés et analyser les faisceaux génériques de courbes algébriques.

Auteurs originaux : Arturo Fernández-Pérez, Evelia R. García Barroso, Nancy Saravia-Molina

Publié 2026-07-16

📖 4 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Arturo Fernández-Pérez, Evelia R. García Barroso, Nancy Saravia-Molina

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous soyez un détective tentant de résoudre un mystère, mais qu'au lieu d'empreintes digitales ou de pas, vos indices soient les formes de courbes invisibles et torsadées dans un monde mathématique. C'est le domaine de la Théorie des Singularités, une branche des mathématiques qui étudie ce qui se passe lorsqu'une forme lisse devient soudainement « accidentée » ou se brise en un point unique. Pensez à une feuille de papier lisse que vous froissez en une boule ; le point où tous les plis se rejoignent est une « singularité ». Les mathématiciens utilisent depuis longtemps des compteurs spéciaux, appelés nombres, pour décrire à quel point ces nœuds sont complexes. Deux compteurs célèbres sont le nombre de Milnor et le nombre de Tjurina. Le nombre de Milnor est comme compter combien de boucles distinctes un nœud crée lorsque vous le serrez, tandis que le nombre de Tjurina compte de combien de manières différentes vous pouvez faire osciller le nœud sans changer sa forme de base.

Maintenant, imaginez que vous ne regardiez pas un seul nœud, mais deux fonctions différentes dansant ensemble, créant une famille entière de courbes appelée un « faisceau ». C'est comme si vous aviez deux couleurs de peinture et que vous les mélangiez dans toutes les proportions possibles pour créer un arc-en-ciel de nouvelles formes. Récemment, les mathématiciens ont découvert un moyen de compter la complexité de toute cette danse, appelant cela le « nombre de Milnor d'une paire ». Mais une nouvelle question restait en suspens : existe-t-il un « nombre de Tjurina d'une paire » qui nous indique à quel point cette danse est flexible ? C'est l'énigme que Arturo Fernández-Pérez, Evelia R. García Barroso et Nancy Saravia-Molina se sont donné pour mission de résoudre. Ils n'ont pas simplement deviné ; ils ont construit un nouvel outil mathématique utilisant la théorie des « foliations » — que vous pouvez imaginer comme une pile de feuilles de papier où les lignes sur le papier représentent les chemins empruntés par les courbes — pour créer ce nouveau compteur.

L'équipe a réussi à introduire ce nouveau « nombre de Tjurina d'une paire », prouvant qu'il s'agit d'un fait solide et immuable concernant la forme de ces fonctions, peu importe la façon dont vous les étirez ou les tordez (tant que vous ne les déchirez pas). Ils ont dérivé une formule spécifique pour le calculer, montrant exactement comment il se rapporte aux nombres de Tjurina individuels des courbes et à l'« intersection » où les deux fonctions originales se croisent. L'une de leurs découvertes les plus passionnantes est une « formule de bifurcation », qui agit comme une recette : elle vous indique que la complexité totale de la paire est la somme de la complexité des moments « spéciaux » de la danse (où la forme change soudainement) plus la complexité de base. Cela leur permet d'identifier une classe spéciale de fonctions mathématiques appelées germes « semitames », qui se comportent de manière très prévisible et bien ordonnée.

Ils ont également revisité l'ancien « nombre de Milnor d'une paire » pour trouver de nouvelles règles. Ils ont prouvé une version d'une règle célèbre appelée le Lemme de Teissier pour ces paires et ont établi une limite supérieure stricte, ou un plafond, pour la taille que ce nombre peut atteindre en fonction des nombres de Tjurina des courbes impliquées. Enfin, ils ont appliqué leurs résultats à un problème classique impliquant des faisceaux génériques de courbes algébriques (pensez à des mélanges standards, non spéciaux, de courbes). Ils ont confirmé une formule connue pour la complexité totale de ces courbes et ont montré que si la complexité totale des nombres de Tjurina atteint un niveau élevé spécifique, cela signifie que chaque « accroc » dans ces courbes est parfaitement équilibré, ou « quasi-homogène ». En bref, l'article donne aux mathématiciens une nouvelle règle précise pour mesurer la flexibilité et la complexité de paires de fonctions dansantes, transformant une intuition vague en un fait concret et calculable.

Résumé Technique : Nombres de Milnor et de Tjurina de paires de germes de fonctions holomorphes

Énoncé du Problème
L'étude des invariants numériques pour les germes de fonctions holomorphes à singularités isolées est un sujet central de la théorie des singularités, se concentrant principalement sur le nombre de Milnor $\mu(f)$ et le nombre de Tjurina $\tau(f)$ . Cependant, les invariants numériques associés aux germes de fonctions méromorphes $f/g$ ont reçu moins d'attention. Récemment, A. Szawlowski a introduit le nombre de Milnor d'une paire $(f, g)$ , noté $\mu(f, g)$ , qui peut être interprété comme le nombre de Milnor de la fonction méromorphe $f/g$ . Cet invariant est dérivé de la foliation holomorphe singulière $\mathcal{F}_{\omega_{f/g}}$ définie par la 1-forme $\omega_{f/g} = gdf - fdg$ .

Le problème principal abordé dans cet article est l'absence d'un nombre de Tjurina correspondant pour les paires de fonctions holomorphes. Alors que $\mu(f, g)$ est établi, une définition et une caractérisation du nombre de Tjurina d'une paire, $\tau(f, g)$ , sont nécessaires pour fournir un cadre complet d'invariants analytiques pour les germes méromorphes et leurs faisceaux de courbes associés.

Méthodologie
Les auteurs emploient la théorie des foliations holomorphes singulières pour définir et analyser ces invariants. La méthodologie centrale implique :

Association de Foliation : Associer la paire $(f, g)$ à la foliation $\mathcal{F}_{\omega_{f/g}}$ générée par le faisceau de courbes $\mathcal{P}_{f,g} = \{ \alpha f + \beta g = 0 \}$ .
Nombres de Tjurina Relatifs : Utiliser le concept du nombre de Tjurina d'une foliation $\mathcal{F}$ par rapport à une courbe réduite invariante $C$ , défini par $\tau(\mathcal{F}, C) = \dim_{\mathbb{C}} \mathcal{O}_2 / (P, Q, h)$ , où $\omega = Pdx + Qdy$ et $C = \{h=0\}$ .
Diviseurs Équilibrés de Séparatrices : Appliquer la théorie des diviseurs équilibrés de séparatrices (introduite par Genzmer) pour la foliation $\mathcal{F}_{\omega_{f/g}}$ . Ces diviseurs sont construits à l'aide de fibres de bifurcation (membres singuliers du faisceau) et de fibres génériques.
Invariance Analytique : Prouver que les invariants proposés sont indépendants du choix spécifique du diviseur équilibré, établissant ainsi qu'ils sont des invariants analytiques bien définis.
Théorie de l'Intersection et Formules : Dériver des formules explicites en reliant les invariants de la paire à la multiplicité d'intersection $I_0(f, g)$ , aux nombres de Tjurina des fibres individuelles, et à l'indice GSV (Gómez-Mont, Seade, Verjovsky).

Contributions Clés et Résultats

Définition de $\tau(f, g)$ : L'article introduit le nombre de Tjurina d'une paire $(f, g)$ , noté $\tau(f, g)$ , défini comme le nombre de Tjurina de la foliation $\mathcal{F}_{\omega_{f/g}}$ par rapport à n'importe quel diviseur de séparatrices équilibré primitif adapté à la courbe $fg=0$. Les auteurs prouvent que cette définition est indépendante du choix du diviseur équilibré.
Formules Explicites :
- Relation par Fibre : Pour une fibre spécifique $C_{[\alpha:\beta]}$ du faisceau, l'article établit $\tau_{[\alpha:\beta]}(f, g) = I_0(f, g) + \tau(C_{[\alpha:\beta]})$ .
- Formule Générale : Une formule explicite pour $\tau(f, g)$ est dérivée en termes des nombres de Tjurina des diviseurs de zéro et de pôle d'un diviseur équilibré, du nombre de séparatrices de bifurcation $r$ , et de la multiplicité d'intersection $I_0(f, g)$ . Plus précisément, $\tau(f, g) = \tau(B_0) - \tau(B_\infty) + r(r-2)I_0(f, g)$ .
- Formule de Bifurcation : Une formule de bifurcation pour $\tau(f, g)$ est établie, analogue à la formule connue pour $\mu(f, g)$ :
  $\tau(f, g) = \tau(fg) + \sum_{j=1}^r (\tau(h_j) - \tau_{\text{gen}}) + r^2 I_0(f, g) + \Theta_{B_0} + \Theta_{h_1 \dots h_r} - \Theta_{B_\infty}$
  où $h_j$ sont les fibres de bifurcation et $\tau_{\text{gen}}$ est le nombre de Tjurina générique.
Nature Topologique vs Analytique : L'article démontre que, tandis que le nombre de Milnor générique d'une paire est un invariant topologique, le nombre de Tjurina générique d'une paire n'est pas un invariant topologique. Ceci est démontré via un exemple où des paires topologiquement équivalentes produisent différents nombres de Tjurina génériques.
Caractérisation des Germes Semitames : Les auteurs fournissent une nouvelle caractérisation des germes méromorphes semitames (ceux dont les seules fibres de bifurcation sont $f$ et $g$ ). Une paire $(f, g)$ est semitame si et seulement si $\tau(f, g) = \tau(fg)$ . Cette condition est montrée comme étant équivalente à $\mu(f, g) = \mu(fg)$ .
Lemme de Teissier pour les Paires : Une version du Lemme de Teissier est établie pour les paires, reliant le nombre d'intersection polaire de la paire le long d'un diviseur équilibré au nombre de Milnor de la paire :
$i_0((f, g), B) = \mu(f, g) + \nu(f) + \nu(g) - 1$
où $\nu$ désigne la multiplicité algébrique.
Bornes Supérieures et Applications :
- Une borne supérieure pour $\mu(f, g)$ est dérivée : $\mu(f, g) \leq 2\tau(fgh_1 \dots h_r) - 2r(r+2)I_0(f, g)$ .
- Les résultats sont appliqués aux faisceaux génériques de courbes algébriques dans $\mathbb{P}^2$ . L'article fournit une preuve alternative de la formule de Dimca concernant la somme des nombres de Milnor globaux des membres singuliers d'un faisceau générique, montrant que $\sum \mu(C^s_j) = 3(k-1)^2$ .
- Une inégalité correspondante pour la somme des nombres de Tjurina globaux est dérivée : $\frac{9}{4}(k-1)^2 < \sum \tau(C^s_j) \leq 3(k-1)^2$ , l'égalité dans la borne supérieure étant atteinte si et seulement si toutes les singularités sont quasi-homogènes.

Signification
L'article revendique sa signification en étendant la théorie classique des singularités des fonctions holomorphes simples vers les paires de fonctions (germes méromorphes). En introduisant $\tau(f, g)$ , les auteurs complètent le parallèle entre les nombres de Milnor et de Tjurina dans le contexte des faisceaux de courbes. Le travail fournit des outils de calcul explicites (formules) pour ces invariants et clarifie leurs propriétés topologiques et analytiques. Plus précisément, la caractérisation des germes semitames via le nombre de Tjurina offre une nouvelle perspective sur la structure des fonctions méromorphes. De plus, l'application aux faisceaux génériques de courbes algébriques relie la théorie locale des singularités aux propriétés géométriques globales, offrant une preuve alternative aux résultats existants de Dimca et établissant de nouvelles bornes pour les nombres de Tjurina dans ce contexte.

Articles similaires