A note on four dimensional Shrinking Gradient Ricci Solitons with Constant Scalar Curvature

1. Énoncé du problème

L'article traite de la classification des solitons de Ricci gradient rétrécissants complets non compacts en dimension quatre $(M^4, g, f)$ possédant une courbure scalaire constante ($R=1$).

• Contexte : Un soliton de Ricci gradient satisfait $\text{Ric} + \nabla^2 f = \lambda g$. Pour les solitons rétrécissants, $\lambda > 0$ (normalisé à $1/2$).
• La conjecture : Le professeur Huai-Dong Cao a conjecturé qu'un soliton de Ricci rétrécissant possède une courbure scalaire constante si et seulement s'il est isométrique à un quotient fini de $\mathbb{R}^{n-k} \times N^k$, où $N^k$ est une variété d'Einstein.
• Cas spécifique : En dimension $n=4$, Cheng et Zhou [9] ont précédemment démontré que si $R=1$ (ce qui correspond à $R=2\lambda$), le soliton doit être un quotient fini de $\mathbb{R}^2 \times S^2$. Leur preuve reposait sur l'analyse du tenseur $\text{tr}(\text{Ric}^3)$ en utilisant des inégalités de Laplacien pondéré.
• Objectif : Les auteurs visent à fournir une preuve alternative de ce résultat de rigidité en analysant la géométrie asymptotique à l'infini plutôt qu'en utilisant l'inégalité spécifique de trace de tenseur employée par Cheng-Zhou.

2. Méthodologie

Les auteurs adoptent une approche d'analyse géométrique se concentrant sur le comportement du soliton lorsque l'on se déplace vers l'infini. La méthodologie se déroule en quatre étapes principales :

A. Préliminaires et identités de base

Les auteurs établissent des formules standard pour les solitons rétrécissants avec $R=1$, incluant :

• Le Laplacien pondéré $\Delta_f = \Delta - \langle \nabla f, \nabla \rangle$.
• Les relations entre la courbure scalaire, la fonction potentielle et le tenseur de Ricci (par exemple, $\Delta_f R = R - 2|\text{Ric}|^2$).
• Un lemme clé (Lemme 2.1) reliant le Hessien de la fonction potentielle aux courbures sectionnelles et aux valeurs propres du tenseur de Ricci.

B. Bornitude de la courbure (Argument de sélection de points)

Pour analyser la géométrie à l'infini, les auteurs démontrent d'abord que le tenseur de courbure riemannienne est borné.

• Technique : Ils utilisent un argument de sélection de points (Lemme 3.1) combiné au théorème de compacité de Hamilton et à la propriété de non-effondrement $\kappa$.
• Logique : L'hypothèse d'une courbure non bornée conduit à une suite de variétés redimensionnées convergeant vers un espace limite $(M_\infty, g_\infty)$.
• Décomposition : En utilisant le fait que les courbes intégrales de $\nabla f$ deviennent des lignes géodésiques dans la limite, ils appliquent le théorème de décomposition de Cheeger-Gromoll. Cela implique que la limite se décompose en $\mathbb{R} \times N^3$. Puisque la variété originale a une courbure de Ricci bornée, la limite est plate en Ricci, conduisant à une contradiction avec l'hypothèse d'explosion de la courbure.
• Résultat : La courbure riemannienne est bornée.

C. Décroissance asymptotique des valeurs propres

Une fois la bornitude de la courbure établie, les auteurs analysent les valeurs propres du tenseur de Ricci, notées $\lambda_1 \leq \lambda_2 \leq \lambda_3 \leq \lambda_4$.

• Objectif : Démontrer que $\lambda_1 + \lambda_2 \to 0$ lorsque $x \to \infty$.
• Technique : Ils considèrent une suite de points $q_i \to \infty$ et effectuent une analyse de redimensionnement (blow-down) en utilisant le théorème de compacité de Cheeger-Gromov de Hamilton.
• Analyse de la limite : L'espace limite est une solution ancienne $\kappa$-non effondrée. En classifiant les solutions anciennes en dimension 3 (en référence à Perelman, Brendle, etc.), ils montrent que la seule possibilité compatible avec la contrainte de courbure scalaire est un cylindre $\mathbb{R} \times S^2$. Cela force la somme des deux plus petites valeurs propres à s'annuler dans la limite.

D. Estimation clé pour $|\nabla \text{Ric}|^2$

Le cœur de la nouvelle preuve consiste à dériver une inégalité différentielle pour le gradient du tenseur de Ricci.

• Estimation : Ils établissent que sur la variété (en dehors d'un ensemble compact), $|\nabla \text{Ric}|^2 \leq -0.9(\lambda_1 + \lambda_2) + K_{12}$, où $K_{12}$ est un terme de courbure sectionnelle lié au gradient du potentiel.
• Intégration : Ils définissent une fonction $I(s)$ intégrant $(\lambda_1 + \lambda_2)$ sur les ensembles de niveau $\Sigma(s)$ de la fonction potentielle $f$.
• Monotonie : En analysant la dérivée de $I(s)$ et en utilisant l'estimation clé, ils démontrent que l'intégrale de $|\nabla \text{Ric}|^2$ sur les ensembles de niveau doit s'annuler.

3. Contributions principales

1. Preuve alternative : L'article fournit une nouvelle preuve pour la classification des solitons rétrécissants en dimension 4 avec $R=1$, distincte de l'approche Cheng-Zhou.
2. Analyse asymptotique : La preuve déplace l'accent des inégalités algébriques de tenseurs vers la géométrie asymptotique et le comportement des valeurs propres à l'infini.
3. Nouvelles estimations : La dérivation de l'inégalité spécifique $|\nabla \text{Ric}|^2 \leq -0.9(\lambda_1 + \lambda_2) + \dots$ et l'intégration subséquente sur les ensembles de niveau de $f$ constituent une contribution technique novatrice.
4. Clarification de la géométrie limite : L'article connecte explicitement la bornitude de la courbure à la décomposition de l'espace limite, en utilisant la classification des solutions anciennes en dimension 3 pour écarter d'autres possibilités topologiques.

4. Résultats principaux

Théorème 1.1 : Soit $(M^4, g, f)$ un soliton de Ricci gradient rétrécissant complet en dimension quatre avec courbure scalaire constante $R=1$. Alors $(M^4, g, f)$ est isométrique à un quotient fini de $\mathbb{R}^2 \times S^2$.

Aperçu de la preuve du résultat principal :

1. De l'analyse asymptotique, $\lambda_1 + \lambda_2 \to 0$ à l'infini.
2. Les estimations intégrales montrent que $\int_{\Sigma(s)} |\nabla \text{Ric}|^2 = 0$ et $\int_{\Sigma(s)} (\lambda_1 + \lambda_2) = 0$ pour $s$ grand.
3. Par continuité, $\nabla \text{Ric} \equiv 0$ et $\lambda_1 + \lambda_2 \equiv 0$ partout sur $M$.
4. Puisque $\text{Ric} \geq 0$ (démontré dans le Lemme 2.2), $\lambda_1 = \lambda_2 = 0$ et $\lambda_3 = \lambda_4 = 1/2$.
5. L'annulation de $\nabla \text{Ric}$ implique que la métrique est localement un produit. Par le théorème de décomposition de De Rham, la variété se décompose globalement en $\mathbb{R}^2 \times N^2$.
6. $N^2$ est une variété d'Einstein en dimension 2 avec constante $1/2$, qui doit être isométrique à $S^2$.

5. Importance

• Confirmation de la rigidité : Le résultat confirme la conjecture de Cao dans le cas spécifique des solitons en dimension 4 avec courbure scalaire constante $R=1$, renforçant la rigidité structurelle de ces objets géométriques.
• Changement méthodologique : En démontrant que la géométrie asymptotique et la décroissance des valeurs propres peuvent produire des résultats de rigidité sans dépendre des inégalités de trace spécifiques de $\text{Ric}^3$, l'article ouvre une voie potentielle pour aborder les cas de dimensions supérieures ($n \geq 5$) où les méthodes algébriques de Cheng-Zhou pourraient ne pas s'appliquer (car la positivité de la courbure de Ricci et la bornitude de la courbure riemannienne ne sont pas garanties en dimensions supérieures).
• Compréhension des solitons : Ce travail approfondit la compréhension de la relation entre les contraintes de courbure scalaire et la topologie globale des solitons de Ricci, qui sont cruciaux dans l'étude des singularités du flot de Ricci.