Résumé Technique : Résultats de Symétrie et de Rigidité pour l'Équation de Champ Moyen et la Masse de Hawking sur $S^2$

1. Énoncé du Problème

L'article aborde deux problèmes interconnectés en analyse géométrique et en physique mathématique :

1. Symétrie de l'Équation de Champ Moyen : Les auteurs étudient les propriétés de symétrie des solutions de l'équation elliptique non linéaire sur la sphère unité $S^2$ :
   $$\frac{\alpha}{2} \Delta u + e^u - 1 = 0$$
   où $\Delta$ est l'opérateur de Laplace-Beltrami et le paramètre $\alpha$ vérifie $1/3 \le \alpha < 1/2$ (et plus généralement $1/3 \le \alpha \le 1$ dans le théorème principal). L'étude se concentre sur les solutions satisfaisant une condition géométrique spécifique et faible (Hypothèse H), visant à prouver que de telles solutions doivent être axialement symétriques.
2. Rigidité de la Masse de Hawking : Les résultats sont appliqués au problème de rigidité de la masse de Hawking pour les sphères à courbure moyenne constante (CMC) stables dans des variétés riemanniennes de dimension 3 à courbure scalaire non négative. Plus précisément, l'article traite d'une question posée par Robert Bartnik (2002) : l'annulation de la masse de Hawking pour une sphère CMC stable implique-t-elle que le domaine est isométrique à une boule euclidienne ?

Des travaux antérieurs avaient établi la rigidité pour des solutions axialement symétriques ou sous des hypothèses de symétrie plus fortes (par exemple, symétrie paire $u(x) = u(-x)$ ou conditions spécifiques d'équilibre intégral). Le défi ouvert consistait à établir la rigidité sous des hypothèses nettement plus faibles, en particulier pour des surfaces qui ne sont pas « presque sphériques ».

2. Méthodologie

La méthodologie centrale repose sur une combinaison d'arguments topologiques et d'une inégalité géométrique spécifique connue sous le nom d'Inégalité de Recouvrement de la Sphère.

2.1 L'Inégalité de Recouvrement de la Sphère

Les auteurs utilisent l'Inégalité de Recouvrement de la Sphère (établie dans leurs travaux antérieurs [13]), qui stipule que pour deux surfaces distinctes conformes au disque unité euclidien avec le même facteur conforme au bord et une courbure de Gauss bornée par 1, la somme de leurs aires doit être au moins égale à $4\pi$. Dans le contexte de l'équation de champ moyen, cette inégalité est utilisée pour dériver des contradictions en supposant l'existence de solutions non symétriques possédant des structures nodales spécifiques.

2.2 Argument Topologique (Théorème de la Balle Velue)

Pour prouver la symétrie, les auteurs emploient une preuve par contradiction basée sur le Théorème de la Balle Velue (qui stipule que tout champ de vecteurs tangentiel continu sur $S^2$ doit avoir au moins un zéro).

1. Hypothèse : On suppose que la solution $u$ n'est pas symétrique par rapport à un plan quelconque passant par l'origine.
2. Construction : Sous cette hypothèse et l'Hypothèse (H), les auteurs construisent un champ de vecteurs tangentiel continu et non nul $F$ sur $S^2$.
   • Pour chaque point $x \in S^2$, ils considèrent le grand cercle $C_x$ orthogonal à $x$.
   • Ils analysent les points critiques de $u$ restreints à $C_x$ (où $\nabla u \cdot x = 0$).
   • En utilisant les propriétés des ensembles nodaux de la fonction différence $\phi(x) = u(x) - u(\hat{x})$ (où $\hat{x}$ est le reflet de $x$), ils définissent la direction de $F(x)$ en fonction des positions relatives de ces points critiques.
3. Contradiction : L'existence d'un tel champ de vecteurs continu non nul contredit le Théorème de la Balle Velue. Par conséquent, l'hypothèse initiale doit être fausse, ce qui implique que $u$ doit être symétrique par rapport à au moins un plan.

2.3 Extension Itérative de la Symétrie

Une fois la symétrie par rapport à un plan établie, les auteurs utilisent :

• Lemme 3.1 : Pour montrer que si une solution possède deux points critiques antipodaux, elle est symétrique par rapport à deux plans orthogonaux.
• Proposition 4.1 : Pour démontrer que la symétrie par rapport à deux plans orthogonaux implique la symétrie axiale.
• Cas $\alpha = 1/3$ : Ils invoquent des résultats antérieurs pour montrer que si $\alpha = 1/3$, la seule solution est la solution triviale $u \equiv 0$.

3. Contributions et Résultats Clés

3.1 Théorème Principal (Théorème 1.5)

L'article prouve que pour $1/3 \le \alpha \le 1$, toute solution $u$ de l'équation de champ moyen (1.2) satisfaisant l'Hypothèse (H) est axialement symétrique.

• Hypothèse (H) : Pour tout $y \in S^2$, il existe un point $x$ sur le grand cercle $C_y$ (orthogonal à $y$) tel que $\nabla u(x) \cdot y = 0$.
• Signification de (H) : Il s'agit d'une condition beaucoup plus faible que les hypothèses précédentes. Elle ne requiert pas que $u$ soit paire ($u(x)=u(-x)$) ni qu'elle satisfasse des conditions d'équilibre intégral sur les hémisphères. Les auteurs montrent que (H) est satisfaite par des solutions satisfaisant les conditions plus fortes des théorèmes précédents (Théorèmes 1.3 et 1.4), unifiant et étendant ainsi ces résultats.

3.2 Rigidité de la Masse de Hawking

En établissant la symétrie et l'unicité des solutions de l'équation de champ moyen sous l'Hypothèse (H), les auteurs étendent le résultat de rigidité pour la masse de Hawking.

• Résultat : Si une sphère CMC stable $\Sigma$ dans une variété riemannienne complète de dimension 3 à courbure scalaire non négative a une masse de Hawking nulle ($m_H(\Sigma) = 0$), et que l'équation de champ moyen associée n'admet que la solution nulle (ce qui est prouvé pour la plage pertinente de $\alpha$ sous les conditions de symétrie), alors le domaine $\Omega$ délimité par $\Sigma$ est isométrique à une boule euclidienne dans $\mathbb{R}^3$.
• Portée : Ce résultat s'applique à des surfaces qui ne sont pas nécessairement « presque sphériques » (comme dans le travail de Sun [24]) ni restreintes à une symétrie paire (comme dans [22]), à condition que la condition géométrique (H) soit vérifiée.

3.3 Lemmes Techniques

• Lemme 2.1 : Établit que s'il existe trois points distincts sur un grand cercle où le gradient est orthogonal à la normale du cercle, la solution est symétrique par rapport au plan de ce cercle.
• Continuité du Champ de Vecteurs : Les auteurs prouvent rigoureusement la continuité du champ de vecteurs construit $F$ à travers les ensembles $S_1$ (points avec un point critique sur le cercle) et $S_2$ (points avec deux points critiques), garantissant que la contradiction topologique tient.

4. Signification et Revendications

L'article revendique :

1. Unifier et Étendre : Les résultats englobent les cas antérieurs (symétrie axiale, symétrie paire, équilibre intégral) comme cas particuliers, fournissant un cadre plus large pour la rigidité de la masse de Hawking.
2. Répondre aux Questions Ouvertes : Ce travail aborde directement la question posée par Robert Bartnik concernant la rigidité de la masse de Hawking pour les sphères CMC stables, dépassant le régime « presque sphérique ».
3. Démontrer la Puissance de l'Inégalité de Recouvrement de la Sphère : L'article sert d'application supplémentaire de l'Inégalité de Recouvrement de la Sphère pour résoudre des problèmes ouverts dans les équations de champ moyen, renforçant son utilité dans les problèmes d'unicité et de symétrie.

Les auteurs ne revendiquent pas résoudre le problème pour toutes les surfaces possibles sans aucune hypothèse de symétrie, mais plutôt pour celles satisfaisant la condition géométrique spécifique (H), qu'ils considèrent comme une condition naturelle et nettement plus faible que celles requises précédemment. La preuve repose entièrement sur l'interaction entre l'Inégalité de Recouvrement de la Sphère, le Théorème de la Balle Velue et la structure spécifique de l'équation de champ moyen sur $S^2$.