🔢 mathematics

Existence of two embedded minimal spheres in $S^3$ with an arbitrary metric

L'article prouve que toute métrique riemannienne sur la 3-sphère $S^3$ admet au moins deux sphères minimales plongées, en utilisant un schéma itératif de constructions min-max relatives.

Auteurs originaux : Zhichao Wang, Xin Zhou

Publié 2026-07-10

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Zhichao Wang, Xin Zhou

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 la forme de l'univers, plus précisément une sphère tridimensionnelle parfaite (comme un ballon, mais avec une dimension supplémentaire que nous ne pouvons pas quite voir). Imaginez maintenant que vous étirez et comprimez ce ballon avec une texture étrange et bosselée. Cette texture est ce que les mathématiciens appellent une « métrique riemannienne ». C'est comme si le ballon était fait d'un caoutchouc qui serait tiré plus fort à certains endroits et plus lâche à d'autres.

Pendant des décennies, les mathématiciens ont cherché des « sphères minimales » sur ces ballons bosselés. Pensez à une sphère minimale comme à une bulle de savon qui se serait installée dans son état le plus détendu, de plus basse énergie. C'est la boucle parfaite, la plus lisse, que vous puissiez dessiner sur cette surface bosselée et qui ne veut ni rétrécir ni s'étendre davantage.

La Grande Découverte
En 1982, un célèbre mathématicien nommé S. T. Yau a posé une question difficile : « Si vous prenez n'importe quelle sphère 3 bosselée, pouvez-vous toujours trouver quatre sphères distinctes, des sphères de bulles de savon parfaites, cachées à l'intérieur ? »

Pendant plus de 40 ans, le mieux que l'on ait pu faire était de prouver qu'il existe au moins une telle sphère. C'était comme trouver un seul trésor caché sur une carte, alors que la carte en promettait quatre.

Maintenant, deux chercheurs, Zhichao Wang et Xin Zhou, sont intervenus et ont prouvé une étape majeure. Ils ont montré que sur n'importe quelle sphère 3 bosselée, peu importe la bizarrerie de sa texture, il y a garanties d'exister au moins deux sphères minimales distinctes et enchâssées. Ils n'ont pas encore trouvé les quatre, mais ils ont prouvé que l'idée du « un seul suffit » est fausse. Il y en a toujours une deuxième qui se cache là.

Pourquoi était-ce si difficile ?
Vous pourriez vous demander : « S'il y en a une, pourquoi ne pas simplement en trouver une autre ? » Le problème est un bug mathématique sournois appelé « multiplicité ».

Imaginez que vous cherchez une seconde bulle de savon. Vous utilisez un outil mathématique spécial (appelé construction « min-max ») pour la traquer. Mais parfois, cet outil s'embrouille. Au lieu de trouver une nouvelle bulle, il trouve la même bulle que celle que vous avez déjà trouvée, mais il la compte deux fois parce qu'elle est « empilée » sur elle-même. C'est comme regarder dans un miroir et croire que vous voyez une deuxième personne, alors que ce n'est que votre reflet.

Les tentatives précédentes pour trouver une seconde sphère reposaient sur le fait que le ballon possède une texture très spécifique et agréable (une courbure de Ricci positive). Mais le monde réel (et le problème mathématique) autorise n'importe quelle texture, même les plus désordonnées et bizarres. Les auteurs ont dû prouver que même dans les scénarios les plus chaotiques, le bug du « double comptage » ne se produit pas, et qu'une véritable seconde sphère distincte existe bien.

Comment ils ont résolu le problème : L'astuce du « Cou »
Pour prouver cela, les auteurs ont utilisé une stratégie astucieuse impliquant une « contradiction ». Ils ont dit : « Prétendons qu'il n'existe qu'une seule sphère minimale sur tout le ballon. Nous allons essayer de briser cette idée. »

La mise en place : Ils ont imaginé une famille de surfaces qui balaient le ballon. Voyez cela comme une série de tranches, comme si l'on coupait un pain de mie, mais les tranches peuvent onduler et changer de forme.
La construction du « Cou » : Ils ont construit une famille complexe de ces tranches en utilisant un espace de paramètres (un triangle multidimensionnel). Au milieu de ce triangle, ils ont créé des surfaces qui ressemblent à deux bulles reliées par un mince « cou » (comme un haltère).
Le piège de l'aire : Ils ont calculé l'aire totale de ces formes. S'il n'y avait qu'une seule sphère minimale, les mathématiques disent que l'aire de ces formes devrait être exactement d'un certain montant. Mais, en rendant le « cou » entre les deux parties très mince et court, ils ont montré que l'aire totale pouvait être rendue strictement inférieure à ce que la théorie de l'« une seule sphère » prédisait.
La contradiction : Parce qu'ils ont trouvé une forme avec une aire moindre que ce que la théorie permettait, la théorie selon laquelle « il n'y a qu'une seule sphère » doit être fausse. Par conséquent, une seconde sphère doit exister pour « absorber » cette aire supplémentaire.

Ce qu'ils n'ont pas fait
Il est important de savoir ce que ce papier ne dit pas. Ils n'ont pas prouvé qu'il y a quatre sphères (le pari original de Yau). Ils ont seulement prouvé qu'il y en a au moins deux. Ils n'ont pas non plus supposé que le ballon était parfaitement rond ou qu'il avait une texture lisse et agréable ; leur preuve fonctionne pour des textures arbitraires (complètement aléatoires et désordonnées).

L'essentiel
Ceci n'est pas une simulation ou une supposition ; c'est une preuve mathématique rigoureuse. Wang et Zhou ont réussi à naviguer dans le piège de la « multiplicité » qui a laissé les mathématiciens perplexes pendant des décennies. Ils ont montré que peu importe la façon dont vous étirez ou rendez bosselée une sphère 3, vous ne pourrez jamais cacher le fait qu'il y a au moins deux sphères minimales distinctes et parfaites qui attendent d'être trouvées. C'est un bond immense dans la compréhension de la géométrie cachée de notre univers.

Résumé technique : Existence de deux sphères minimales enchâssées dans $S^3$ avec une métrique arbitraire

Énoncé du problème
L'article traite d'un problème de longue date posé par S. T. Yau en 1982 (Problème 89 dans [44]), qui demande la preuve que toute variété riemannienne diffeomorphe à la 3-sphère ( $S^3$ ) contient au moins quatre sphères minimales enchâssées distinctes. Bien que Simon et Smith [36] aient établi l'existence d'au moins une telle sphère il y a plus de 40 ans en utilisant la théorie min-max, l'existence d'une seconde sphère enchâssée distincte pour des métriques riemanniennes arbitraires restait non prouvée. Les résultats précédents établissant la multiplicité des sphères (par exemple, White [43], Haslhofer–Ketover [17]) reposaient sur des hypothèses restrictives, telles qu'une courbure de Ricci positive ou des métriques « bumpy » (régulières). Cet article vise à supprimer ces hypothèses de courbure et à prouver l'existence d'au moins deux sphères minimales enchâssées distinctes pour toute métrique riemannienne sur $S^3$ .

Méthodologie
Les auteurs emploient une preuve par l'absurde combinée à un schéma itératif de constructions min-max relatives. La méthodologie centrale comprend les étapes suivantes :

Hypothèse d'unicité : La preuve suppose que $(S^3, g)$ contient exactement une sphère minimale enchâssée, notée $\Sigma_0$ . D'après des travaux antérieurs [40], si $\Sigma_0$ est unique, elle doit être faiblement stable et posséder un « voisinage expansif » (folié par des surfaces à courbure moyenne constante dont les vecteurs de courbure moyenne pointent à l'opposé de $\Sigma_0$ ).
Construction de balayages multi-paramétriques : Les auteurs construisent une famille continue de sphères enchâssées de classe piecewise-smooth (par morceaux lisse), $\Phi_\Lambda: \Delta_k \to \mathcal{E}$ , paramétrée par un simplexe de dimension $k$ , $\Delta_k$ .
- Foliation : Ils utilisent une foliation de courbure moyenne convexe $\Upsilon$ de $S^3$ centrée sur $\Sigma_0$ .
- Insertion de cols (Neck Insertion) : Pour un vecteur de paramètres $x = (x_1, \dots, x_k) \in \Delta_k$ , la application $\Phi_\Lambda$ crée une sphère en prenant l'union de tranches de la foliation $\Upsilon(x_i)$ et en les reliant par des « cols ».
- Contrôle du rayon : Les rayons de ces cols, notés $\xi_i$ , sont définis de manière récursive en fonction de la distance entre les paramètres adjacents $x_i$ et $x_{i+1}$ et d'un grand paramètre $\Lambda$ . Plus précisément, $\xi_i = e^{-\Lambda(x_{i+1}-x_i)}(1-\xi_{i-1})$ . Cette construction garantit que si deux paramètres sont proches, le col de connexion possède un rayon important mais une hauteur faible, ce qui résulte en une contribution d'aire uniformément petite.
Estimations d'aire et lissage :
- Les auteurs dérivent des bornes d'aire précises pour la famille construite. Crucialement, ils montrent que pour un $k$ suffisamment grand et un $\Lambda$ approprié, l'aire de la famille $\Phi_\Lambda(x)$ est strictement inférieure à $k H^2(\Sigma_0)$ à l'intérieur du simplexe, tandis que sur le bord, l'aire est strictement inférieure à $(k-1)H^2(\Sigma_0)$ .
- Ils traitent la question de la régularité par morceaux en lissant la famille afin d'obtenir une application dans l'espace des sphères lisses, préservant ainsi les bornes supérieures strictes de l'aire.
Min-max relatif itératif :
- En utilisant la théorie min-max de Simon–Smith relative (Théorème 2.2), les auteurs définissent des valeurs min-max $L_k$ associées à des balayages sur des sous-simplexes.
- Ils emploient un argument de type Lusternik–Schnirelmann. En supposant l'unicité, ils prouvent de manière inductive que la valeur min-max pour le $k$ -ième balayage doit être égale à $k H^2(\Sigma_0)$ .
- Obstruction topologique : Un composant clé est le Lemme 6.1, un lemme topologique garantissant que si la valeur min-max était strictement inférieure aux valeurs de bord (ce qui impliquerait l'existence d'une nouvelle sphère minimale), le domaine pourrait être rétracté d'une manière qui contredirait les propriétés homologiques du balayage.
Contradiction :
- La construction garantit que pour un $k$ grand, l'aire du balayage dans l'intérieur est strictement inférieure à $k H^2(\Sigma_0)$ .
- Cependant, l'argument inductif sous l'hypothèse d'unicité force la valeur min-max à être exactement $k H^2(\Sigma_0)$ .
- Cette contradiction implique que l'hypothèse d'unicité est fausse.

Contributions clés

Suppression des hypothèses de courbure : L'article étend l'existence de multiples sphères minimales à des métriques riemanniennes arbitraires sur $S^3$ , une généralisation significative par rapport aux résultats précédents qui nécessitaient une courbure de Ricci positive ou des métriques « bumpy ».
Schéma de min-max relatif itératif : Les auteurs développent un nouveau schéma itératif utilisant des constructions min-max relatives sur des familles de sphères multi-paramétriques. Cette approche permet de surmonter l'obstacle de la « multiplicité entière », où la théorie de Simon–Smith pourrait autrement produire une sphère unique avec une multiplicité plus élevée (par exemple, $\Sigma_0$ comptée deux fois).
Construction de cols et contrôle de l'aire : La construction spécifique de la famille multi-paramétrique avec des rayons de cols contrôlés permet des bornes supérieures d'aire strictes qui sont essentielles pour l'argument de contradiction. Cela permet de gérer la difficulté d'étendre l'application de manière continue à l'ensemble du simplexe tout en maintenant les contraintes d'aire.

Résultats
Le résultat principal est énoncé dans le Théorème A (reformulé en Théorème 6.3) :

Il existe au moins deux sphères minimales enchâssées distinctes dans $(S^3, g)$ pour toute métrique riemannienne arbitraire $g$ .

Ce résultat confirme la première étape vers la conjecture de Yau sur les quatre sphères, en établissant l'existence d'une seconde sphère distincte sans restrictions géométriques sur la métrique.

Signification
L'article affirme que ce travail marque la première fois qu'une plus grande unité de sphères minimales enchâssées est construite pour des métriques générales sur $S^3$ . Il fait progresser considérablement le problème général par rapport au résultat initial de Simon et Smith [36] (qui trouvait une sphère) en brisant la barrière de la multiplicité entière pour les métriques arbitraires. Les auteurs notent que bien que leur travail précédent [40] ait résolu la conjecture pour les métriques à courbure de Ricci positive ou « bumpy » en utilisant un théorème de multiplicité un, cet article étend la portée au cas général. Les méthodes développées, particulièrement la construction min-max relative itérative et la gestion des bornes d'aire sans hypothèses de courbure de Ricci, sont présentées comme des outils qui pourraient potentiellement être appliqués pour étudier des problèmes similaires en topologie géométrique sans nécessiter de conditions de courbure spécifiques.

Articles similaires