🔢 mathematics

Invisible singularities in complex algebraic geometry

Cet article construit des morphismes entre des variétés projectives complexes lisses possédant des fibres singulières qui apparaissent topologiquement lisses, fournissant ainsi des contre-exemples à quatre conjectures et questions posées par Fernández de Bobadilla, Kollár, Pardon, Kotschick et Schreieder.

Auteurs originaux : Maurício Corrêa, János Kollár, Stefan Schreieder, Botong Wang

Publié 2026-08-12

📖 4 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Maurício Corrêa, János Kollár, Stefan Schreieder, Botong Wang

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 tentant de construire un pont parfait. Dans le monde des mathématiques, et plus précisément dans un domaine appelé la géométrie algébrique complexe, les mathématiciens étudient des formes définies par des équations. Ces formes peuvent être incroyablement complexes, se tordant et tournant dans des dimensions invisibles. Un casse-tête central dans ce domaine est l'équisingularité : comprendre quand une famille de formes évolue de manière fluide ou quand elle développe soudainement un « pli » ou une « fissure » (une singularité).

Considérez un morphisme (une application) entre deux formes comme un projecteur de cinéma. Si le projecteur fonctionne parfaitement, l'image sur l'écran change de manière fluide d'une image à l'autre. Mais parfois, le film subit une rayure. Par le passé, les mathématiciens pensaient que si le « film » paraissait lisse à l'œil nu (topologiquement), alors le film lui-même devait être parfait (algébriquement lisse). Ils pensaient que si vous ne pouviez pas voir de déchirure dans le tissu de la forme, il n'y en avait pas. Cette publication examine cette croyance, testant si une forme peut cacher une déchirure cachée que seuls les instruments mathématiques les plus sensibles peuvent détecter, tout en paraissant parfaitement lisse pour un observateur occasionnel.

Les auteurs de cet article, Mauricio Corrêa, János Kollár, Stefan Schreieder et Botong Wang, ont construit un « tour de magie » mathématique. Ils ont construit un type de pont spécifique (un morphisme entre des variétés projectives complexes lisses) qui semble parfaitement lisse de loin et se comporte comme un pont lisse selon presque tous les outils de mesure standards. Cependant, de près, il possède en réalité un défaut caché — une singularité — qui ne devrait pas être là si le pont était véritablement parfait.

Voici le rebondissement : le pont possède des fibres singulières (des sections fissurées), pourtant il paraît topologiquement lisse. Cela signifie que si vous preniez un élastique et que vous l'étiriez sur le pont, ou si vous comptiez les trous en lui, vous obtiendriez exactement les mêmes résultats que si le pont était sans défaut. La « déchirure » est invisible pour la topologie. Les auteurs prouvent cela en créant un exemple spécifique en dimension 5 (une forme à cinq dimensions). Dans cet exemple, l'application possède des fibres singulières, mais l'homologie (une façon de compter les trous) reste constante, et les fibres sont simplement connexes (elles n'ont pas de boucles que l'on ne peut pas contracter).

Cette découverte est majeure car elle réfute plusieurs conjectures de longue date. Elle répond « Non » à la conjecture de l'équisingularité de Fernández de Bobadilla–Kollár, qui suggérait que si une application paraît topologiquement lisse, elle doit être algébriquement lisse. Elle dit aussi « Non » à une question de Kollár et Pardon sur la question de savoir si le revêtement universel d'une telle forme doit être une structure finie et gérable (comme un ensemble de Lego fini) si l'application paraît lisse. De plus, elle remet en question la conjecture de Kotschick et une question de Schreieder concernant les formes de degré un (des outils mathématiques utilisés pour mesurer un flux) et la manière dont elles se comportent sur ces formes.

L'article ne se contente pas de dire que « c'est possible » ; il construit l'exemple de manière explicite. Ils partent d'une surface simple possédant une singularité connue (comme un point pointu sur une courbe) et utilisent une construction astucieuse impliquant des « quotients » (plier la forme sur elle-même) et des « soufflements » (remplacer un point par un tout nouvel espace) pour cacher la singularité. Ils démontrent que dans leur exemple en dimension 5, l'application est un fibré de homotopie (ce qui signifie qu'elle se comporte comme un fibré de fibres lisses) mais n'est pas une submersion (ce qui signifie qu'elle n'est pas réellement lisse au sens algébrique strict).

Il est intéressant de noter que les auteurs prouvent également que ce « tour de magie » ne peut pas être réalisé en dimension 3. Si vous essayez de construire ce genre de singularité invisible dans un espace à 3 dimensions, les mathématiques forcent la singularité à devenir visible. Le phénomène « invisible » ne fonctionne que dans des dimensions plus élevées (spécifiquement 4 et plus, bien que leur construction explicite soit en dimension 5).

En fin de compte, cet article révèle que l'univers des formes mathématiques est plus trompeur que nous ne le pensions. Une forme peut porter un masque de lissage parfait, trompant nos sens topologiques, tout en cachant un secret dentelé en dessous. Cela force les mathématiciens à repenser la relation entre l'apparence d'une forme et ce qu'elle est réellement, prouvant que parfois, les fissures les plus dangereuses sont celles que l'on ne peut pas voir.

Résumé technique : Singularités invisibles en géométrie algébrique complexe

Énoncé du problème
L'article traite d'une question centrale de la théorie de l'équisingularité : la relation entre les notions algébriques, analytiques et topologiques de singularité. Alors que les concepts d'équisingularité de Zariski devaient coïncider dans les dimensions supérieures, les contre-exemples précédents de Fernández de Bobadilla impliquaient des espaces totaux singuliers. Une croyance prédominante, soutenue par des résultats en dimensions 2 et 3, était que si $Y$ est une variété projective complexe lisse et $g: Y \to C$ est un morphisme propre vers une courbe, la structure topologique de $Y$ doit détecter la présence de points critiques (fibres singulières). Plus précisément, il était conjecturé que si le morphisme semble topologiquement lisse (par exemple, s'il s'agit d'un fibré de homotopy ou possède des faisceaux de cohomologie constants), il doit être algébriquement lisse (un submersion).

Les auteurs étudient l'existence de singularités « invisibles » : des morphismes $g: Y \to \mathbb{P}^1$ issus d'une variété lisse $Y$ qui possèdent des fibres singulières tout en paraissant topologiquement lisses. Cette enquête cible quatre problèmes ouverts spécifiques :

La conjecture de lissité de Fernández de Bobadilla et Kollár [FdBK12].
Une question de Kollár et Pardon [KP12] concernant le type d'homotopie des revêtements universels de variétés fibrées sur des courbes.
La conjecture de Kotschick [Kot22] sur l'équivalence entre l'admission d'une forme holomorphe sans zéros et celle d'une forme réelle fermée sans zéros.
Une conjecture de Schreieder [Sch21] concernant l'exactitude des complexes d'Aomoto et l'existence de formes non nulles.

Méthodologie
Les auteurs construisent des contre-exemples explicites en utilisant une combinaison de constructions de quotients, de soufflements (blow-ups) et de techniques de lissage topologique.

Construction par quotient (modèle local) : La construction centrale commence avec un morphisme projectif $\pi: Z \to \Delta$ (sur un disque) possédant des points critiques isolés. En prenant le quotient de $Z \times A$ (où $A$ est une variété abélienne) par une action diagonale d'un groupe cyclique fini, les auteurs créent un nouveau morphisme $\pi_Y: Y \to \Delta$ . En sélectionnant soigneusement l'automorphisme $\gamma$ de $Z$ et la translation $\tau$ de $A$ de telle sorte que le polynôme caractéristique de l'action de monodromie sur la fibre de Milnor satisfasse $\chi(1) = \pm 1$ , ils garantissent que la carte résultante est un fibré de $\mathbb{Z}$ -homologie mais pas un fibré de homotopy (Section 2).
Soufflement et fibres simplement connexes : Pour obtenir des fibres simplement connexes (une exigence pour les théorèmes globaux), les auteurs plongent le quotient singulier $Y$ dans un fibré projectif lisse $P$ à fibres simplement connexes et effectuent un soufflement $X = \text{Bl}_Y P$ . En utilisant la Proposition 17, ils démontrent que la carte induite $X \to \Delta$ reste un fibré de $\mathbb{Z}$ -homologie mais n'est pas une submersion. Puisque les fibres sont simplement connexes, le théorème de Whitehead implique que $X \to \Delta$ est un fibré de homotopy (Section 3).
Globalisation et lissage : Les exemples locaux sont globalisés en morphismes $g: Y \to \mathbb{P}^1$ . Pour prouver que ces cartes « paraissent » topologiquement lisses, les auteurs emploient le théorème de $h$ -cobordisme de Smale et le théorème de pseudo-isotopie de Cerf (Section 4). Ils démontrent que pour les morphismes vers des surfaces de Riemann à fibres simplement connexes, si la carte est un fibré de $\mathbb{Z}$ -homologie, elle est homotope à une submersion $C^\infty$ qui concorde avec la carte originale en dehors d'un petit voisinage des fibres singulières.
Applications à des conjectures spécifiques :
- Conjecture de Kotschick : En prenant un produit fibré avec une courbe elliptique, ils construisent une variété $X$ où la application d'Albanese est un fibré de homotopy (impliquant l'existence de formes réelles non nulles) mais n'est pas une submersion (impliquant que toutes les formes holomorphes ont des zéros).
- Complexes d'Aomoto : En utilisant une construction de tore de cohomologie rationnelle basée sur Debarre–Jiang–Lahoz [DJL17], ils construisent une variété où le complexe d'Aomoto est exact pour tous les revêtements étales finis, pourtant aucune forme réelle fermée non nulle n'est sans zéro.

Résultats clés

Théorème 1 : Il existe des morphismes $g: Y \to \mathbb{P}^1$ issus de variétés projectives complexes lisses $Y$ (spécifiquement de dimension 5) tels que :
- $g$ possède des fibres singulières.
- $R^i g_* \mathbb{Z}_Y$ sont des faisceaux constants (cohomologie topologiquement constante).
- $g$ est un fibré de homotopy avec des fibres simplement connexes.
- Toutes les fibres sont des variétés PL, mais $g$ n'est pas un fibré $C^0$ .
- $g$ est homotope à un fibré $C^\infty$ localement trivial qui concorde avec $g$ loin des fibres singulières.
- Signification : Cela infirme la conjecture de lissité de Fernández de Bobadilla–Kollár.
Corollaire 3 (Kollár–Pardon & Kotschick) : Il existe une variété projective lisse $X$ (dimension 5) telle que :
- Le revêtement universel $\tilde{X}$ a le type d'homotopie d'un complexe CW fini, pourtant l'application d'Albanese n'est pas lisse.
- Toute classe non nulle dans $H^1(X, \mathbb{R})$ peut être représentée par une forme réelle fermée sans zéros, mais le représentant harmonique de chaque classe possède des zéros. Par conséquent, $X$ n'admet aucune forme holomorphe sans zéros.
- Signification : Cela apporte des réponses négatives à la question de Kollár–Pardon sur les revêtements universels et à la conjecture de Kotschick.
Théorème 4 : Il existe une variété projective lisse $X$ telle que pour tout revêtement étale fini connecté $\pi: X' \to X$ et toute forme $\omega \in H^0(X', \Omega^1_{X'})$ non nulle, le complexe d'Aomoto est exact, pourtant toute forme réelle fermée sur $X$ possède un zéro.
- Signification : Cela infirme la conjecture de Schreieder selon laquelle l'exactitude du complexe d'Aomoto implique l'existence d'une forme réelle non nulle.
Théorème 40 : Les contre-exemples à la conjecture de lissité avec des fibres simplement connexes n'existent pas en dimension 3. Si $Y$ est une variété projective complexe lisse de dimension 3 et $g: Y \to \mathbb{P}^1$ est un morphisme avec des fibres simplement connexes qui est un fibré de $\mathbb{Q}$ -homologie, alors $g$ est lisse.
- Signification : Cela établit une frontière dimensionnelle nette pour le phénomène des singularités invisibles.

Signification et affirmations
L'article affirme fournir les premiers exemples de « singularités invisibles » où l'espace total est lisse, pourtant le morphisme possède des fibres singulières indétectables par les invariants topologiques standards (homologie, type d'homotopie, et même lissage $C^\infty$ à homotopie).

Les auteurs soulignent que leur construction est explicite et simple, le plus petit exemple se produisant en dimension 5, où le lieu critique du morphisme est de dimension 1. Ils précisent que bien que la construction générale permette des lieux critiques de dimensions supérieures, le contre-exemple spécifique à la conjecture de lissité présenté dans le Théorème 1 présente un lieu critique de dimension 1. Le travail résout des questions de longue date en géométrie complexe en démontrant que la lissité algébrique n'est pas un invariant topologique en dimensions $\geq 4$ , même sous des contraintes topologiques fortes comme des fibres simplement connexes. L'article reste modeste concernant la dimension 4, notant que la question demeure ouverte dans cette dimension.

Articles similaires