🔢 mathematics

On the connectedness of the singular set of holomorphic foliations

Cet article démontre que, pour un feuilletage holomorphe singulier de dimension $k>1$ sur une variété projective dont le fibré normal est ample et dont l'ensemble singulier est de dimension au plus $k-1$ , l'union des composantes irréductibles de dimension $k-1$ est nécessairement connexe, fournissant ainsi une obstruction topologique de type Bott et répondant à une question de Cerveau.

Auteurs originaux : Omegar Calvo-Andrade, Maurício Corrêa, Marcos Jardim, José Seade

Publié 2026-03-16

📖 4 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Omegar Calvo-Andrade, Maurício Corrêa, Marcos Jardim, José Seade

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 êtes un architecte chargé de dessiner les plans d'une ville complexe, mais cette ville n'est pas faite de bâtiments, elle est faite de courants invisibles qui traversent l'espace. En mathématiques, on appelle cela un foliation (ou feuilletage). C'est comme si l'espace était composé de milliers de feuilles de papier superposées, ou de courants d'eau qui glissent les uns sur les autres.

Le problème, c'est que dans cette ville idéale, il y a des endroits où les courants deviennent chaotiques, où les feuilles se déchirent ou se rencontrent de manière bizarre. Ces endroits sont appelés les points singuliers.

Voici l'histoire de ce papier, racontée simplement :

1. Le Mystère des Îles de Chaos

Les mathématiciens savent depuis longtemps que si vous avez un feuilletage très régulier (comme un courant d'eau parfait), il y a des règles strictes qui empêchent certaines choses d'arriver. C'est ce qu'on appelle les "obstructions topologiques".

Mais que se passe-t-il si le feuilletage a des défauts ? L'article se pose une question précise : Si ces défauts (les points singuliers) forment des "îles" de dimensions spécifiques, ces îles peuvent-elles être séparées les unes des autres, ou sont-elles obligées de se toucher ?

Imaginez que vous avez une grande nappe (l'espace mathématique) et que vous y posez des taches d'encre (les singularités).

Si la nappe est "très tendue" et "très brillante" (c'est ce que les mathématiciens appellent ample ou ample), une règle étrange s'applique : toutes les taches d'encre qui ont la bonne taille doivent former un seul et unique groupe connecté. Vous ne pouvez pas avoir deux îles de taches séparées par un océan vide. Elles doivent toutes se rejoindre.

2. L'Analogie du "Miroir Brillant"

Pourquoi est-ce le cas ? Les auteurs utilisent une idée très puissante appelée les résidus de Baum-Bott.

Imaginez que chaque île de chaos émet une sorte de "lumière" ou de "chaleur" mathématique.

Si la nappe (l'espace) est "ample" (très brillante, comme un miroir parfait), cette lumière ne peut pas s'échapper vers l'extérieur. Elle doit rester à l'intérieur du système.
Les mathématiciens ont calculé que si vous additionnez toute la lumière émise par toutes les îles séparées, le total doit correspondre à une valeur fixe et non nulle.
Mais si vous avez plusieurs îles séparées, la façon dont la lumière se distribue crée une contradiction mathématique (comme essayer de diviser un gâteau entier en parts qui, une fois additionnées, ne font plus un gâteau entier).
La conclusion ? Il ne peut y avoir qu'une seule île. Tout doit être connecté.

3. Pourquoi c'est important ? (Le "Non" à la perfection)

Cet article répond à une question posée par un mathématicien nommé D. Cerveau. Il demandait : "Si je dessine un feuilletage sur un espace à 3 dimensions (comme notre monde, mais en version mathématique), est-ce que les défauts peuvent être séparés ?"

La réponse est NON, à condition que l'espace soit "suffisamment brillant" (ce qui est le cas pour l'espace projectif, un type d'espace très courant en géométrie).

Cela signifie que si vous voyez un feuilletage avec des défauts séparés, vous savez immédiatement que ce feuilletage n'est pas intégrable. En termes simples : il ne peut pas exister comme une structure lisse et cohérente. C'est une preuve que le chaos est inévitablement lié.

4. Les Exceptions (Quand la règle ne s'applique pas)

Les auteurs sont prudents. Ils montrent aussi que si vous changez les règles du jeu, tout s'effondre :

Si l'espace n'est pas "brillant" (pas ample), vous pouvez avoir des îles séparées.
Si les défauts sont trop petits ou trop grands, la règle ne s'applique pas.
Ils donnent des exemples où, dans des espaces exotiques (comme des cylindres infinis ou des produits d'espaces), on peut avoir des îles de chaos totalement isolées. C'est comme si, dans un univers différent, les taches d'encre pouvaient flotter sans jamais se toucher.

En résumé

Ce papier est comme un détective mathématique qui découvre une loi fondamentale de l'univers :

"Dans un monde bien structuré et brillant, le chaos ne peut pas être divisé. Si vous avez des défauts, ils doivent tous faire partie d'une même grande famille connectée."

C'est une belle démonstration de la façon dont la géométrie (la forme) et la topologie (la connectivité) imposent des limites strictes à la manière dont les structures mathématiques peuvent exister. C'est un hommage à Nigel Hitchin, un grand maître de la géométrie, pour son 80ème anniversaire, rappelant que même dans le chaos, il y a une structure profonde et connectée.

1. Problématique et Contexte

L'article s'inscrit dans la lignée des travaux de Raoul Bott (années 1960) sur les obstructions topologiques à l'intégrabilité des structures feuilletées. Le problème central abordé par les auteurs (Calvo-Andrade, Corrêa, Jardim et Seade) est de déterminer sous quelles conditions topologiques et géométriques l'ensemble singulier d'un feuilletage holomorphe singulier $\mathcal{F}$ de dimension $k > 1$ sur une variété projective $X$ de dimension $n$ est connexe.

Plus précisément, les auteurs s'intéressent à la composante de dimension maximale de l'ensemble singulier $\text{Sing}(\mathcal{F})$ . Ils cherchent à répondre à une question ouverte posée par D. Cerveau concernant les feuilletages de dimension 2 sur l'espace projectif $\mathbb{P}^3$ , et plus généralement à établir une obstruction globale à l'intégrabilité pour les distributions singulières.

2. Hypothèses et Cadre Mathématique

Soit $X$ une variété projective complexe de dimension $n$ . Soit $\mathcal{F}$ un feuilletage holomorphe singulier de dimension $k > 1$ défini par une sous-faisceau cohérent intégrable $\mathcal{F} \subset T_X$ de rang $k$ .
Les hypothèses principales sont :

Dimension : $k > 1$ .
Ampléce : Le fibré en droites déterminant du faisceau normal, $\det(N_{\mathcal{F}})$ , est ample.
Dimension de l'ensemble singulier : L'ensemble singulier $\text{Sing}(\mathcal{F})$ a une dimension $\le k-1$ .

L'ensemble singulier est décomposé en $Z \cup Z^-$ , où $Z$ est la réunion des composantes irréductibles de dimension exactement $k-1$ , et $Z^-$ contient les composantes de dimension inférieure.

3. Méthodologie : Les Résidus de Baum-Bott

La preuve repose de manière essentielle sur la théorie des résidus de Baum-Bott. La stratégie méthodologique se décompose comme suit :

Localisation des classes de Chern : Le nombre de Chern $c_1(N_{\mathcal{F}})^{n-k+1}[X]$ est exprimé comme une somme de résidus localisés sur les composantes connexes $Z_1, \dots, Z_s$ de $Z$ . Ces résidus sont des éléments de l'homologie $H_{2k-2}(Z_i)$ .
Passage à la Cohomologie : Les auteurs utilisent la dualité de Poincaré et la dualité d'Alexander pour transporter ces résidus dans la cohomologie de la variété $X$ , notée $\widehat{\text{Res}}(\mathcal{F}, Z_i) \in H^{2(n-k+1)}(X)$ .
Formule de Baum-Bott : La relation fondamentale est :
$c_1(N_{\mathcal{F}})^{n-k+1} = \sum_{i=1}^s \widehat{\text{Res}}(\mathcal{F}, Z_i)$
Utilisation de l'Ampléce : L'hypothèse cruciale que $\det(N_{\mathcal{F}})$ est ample permet de montrer que le résidu associé à chaque composante $Z_i$ est proportionnel à la classe totale $c_1(N_{\mathcal{F}})^{n-k+1} \cap [X]$ .
Argument de Comptage : En évaluant cette égalité sur la classe fondamentale et en utilisant l'ampleur (qui garantit que l'intégrale de la puissance de la classe de Chern est non nulle), les auteurs démontrent que le nombre de composantes connexes $s$ doit être égal à 1.

4. Résultats Principaux

Théorème 1 (Connexité)

Sous les hypothèses ci-dessus (variété projective $X$ , feuilletage de dimension $k>1$ , $\det(N_{\mathcal{F}})$ ample), l'ensemble $Z$ (union des composantes irréductibles de $\text{Sing}(\mathcal{F})$ de dimension $k-1$ ) est connexe.

Ce résultat est optimal : les auteurs montrent par des exemples que si l'on retire l'hypothèse d'ampleur ou si $k=1$ , la conclusion échoue (l'ensemble singulier peut être formé de plusieurs composantes disjointes).

Corollaire 1 (Obstruction à l'intégrabilité et singularités isolées)

Pour un feuilletage de codimension 1 sur une variété projective lisse $X$ de dimension 3 ( $n=3$ ) avec $h^1(\mathcal{O}_X)=0$ , si la composante de dimension 1 de l'ensemble singulier $C$ est réduite et que $\det(N_{\mathcal{F}})$ est ample, alors :
$h^2(\mathcal{F} \otimes \det(N_{\mathcal{F}})^*) = c_3(\mathcal{F}) \cap [X]$
Le membre de droite représente le nombre de singularités isolées (comptées avec multiplicité). Cela fournit une obstruction topologique : si certaines conditions de cohomologie sont nulles, cela force l'existence de singularités isolées, empêchant le faisceau tangent d'être localement libre sur une courbe lisse.

Corollaire 2 (Cas de $\mathbb{P}^3$ )

Pour un feuilletage de codimension 1 sur $\mathbb{P}^3$ dont le faisceau tangent est localement libre, l'ensemble singulier $\text{Sing}(\mathcal{F})$ est soit une droite (cas d'un pinceau de plans), soit une courbe singulière. Il ne peut pas être une courbe lisse et connexe (sauf cas trivial).

5. Signification et Contributions

Réponse à une question de Cerveau : L'article répond positivement à la question de D. Cerveau sur la connexité des singularités pour les feuilletages de dimension 2 sur $\mathbb{P}^3$ , en généralisant ce résultat à toute dimension $n$ et $k$ sous l'hypothèse d'ampleur.
Obstruction Topologique Globale : Le travail établit un nouveau type d'obstruction à l'intégrabilité. Alors que le théorème de Bott impose la nullité de certains polynômes invariants dans les classes de Chern pour les sous-fibrés intégrables, ce théorème impose une contrainte de connexité topologique sur l'ensemble singulier des distributions singulières.
Lien entre Géométrie et Topologie : L'article illustre comment les propriétés globales du fibré normal (son ampleur) dictent la structure topologique locale de l'ensemble singulier.
Exemples de Contre-Exemples : La section 4 est cruciale car elle démontre la nécessité des hypothèses. Les auteurs construisent des exemples sur des variétés non-projectives (variétés de Hopf) ou sur des produits de variétés où l'ensemble singulier est disconnexe, prouvant que l'ampleur du fibré déterminant est indispensable.

En conclusion, cet article renforce la compréhension des feuilletages holomorphes singuliers en reliant la géométrie algébrique (fibrés amples, classes de Chern) à la topologie de l'ensemble singulier, fournissant des critères puissants pour détecter l'impossibilité de l'intégrabilité ou la structure de la singularité.