The $G$-equivariant Kazdan--Warner problem

Résumé Technique : Le Problème de Kazdan–Warner G-Équivariant

Énoncé du Problème
Cet article étudie l'analogue équivariant de la trichotomie classique de Kazdan–Warner, qui classifie les variétés fermées de dimension $n \ge 3$ selon les fonctions de courbure scalaire qu'elles peuvent réaliser. Alors que le résultat classique partitionne les variétés en trois classes mutuellement exclusives — celles admettant des métriques à courbure scalaire positive (P), celles admettant des métriques à courbure scalaire nulle mais aucune métrique positive (Z), et celles n'admettant aucune métrique à courbure scalaire non négative (N) — ce travail restreint l'analyse aux données $G$-invariantes. Plus précisément, étant donné une variété connexe fermée $M$ avec une action effective isométrique d'un groupe de Lie compact et connexe $G$ (où l'action a une cohomérité d'au moins un et aucun orbite de dimension zéro), les auteurs déterminent quelles fonctions lisses $G$-invariantes peuvent apparaître comme la courbure scalaire d'une métrique $G$-invariante. La question centrale est de savoir si la trichotomie classique s'étend telle quelle au cadre équivariant ou si de nouveaux phénomènes émergent.

Méthodologie
Les auteurs emploient une combinaison d'analyse géométrique, de méthodes variationnelles et de topologie équivariante :

1. Linéarisation et Surjectivité : L'étude commence par l'analyse de l'opérateur de courbure scalaire $F: g \mapsto \text{scal}_g$ restreint à l'espace des métriques $G$-invariantes. En examinant l'adjoint formel $A^*$ de la linéarisation de $F$, les auteurs établissent des critères de surjectivité locale. Ils prouvent que si le noyau de $A^*$ est trivial, l'opérateur est localement surjectif sur un voisinage de la courbure scalaire actuelle.
2. Approximation Équivariante (Théorème 1.6) : Un outil technique critique est une extension du Lemme d'Approximation de Kazdan–Warner. Les auteurs prouvent que les fonctions $G$-invariantes peuvent être réorganisées via des difféomorphismes $G$-équivariants pour approximer d'autres fonctions $G-invariantes$, à condition que des conditions spécifiques sur l'espace des orbites $X = M/G$ soient remplies. Cela repose sur le relèvement d'isotopies de l'espace des orbites (soit un intervalle, soit un cercle) vers la variété $M$.
3. Problème de Yamabe Équivariant : L'existence de métriques à courbure scalaire constante est abordée par des méthodes variationnelles. Les auteurs utilisent le Principe de Kritik de Symétrie de Palais et les théorèmes d'injection compacte pour les espaces de Sobolev de fonctions invariantes (Hebey–Vaugon) afin de trouver des minimiseurs de la fonctionnelle de Yamabe au sein de la classe $G$-invariante.
4. Caractérisation Géométrique de la Cohoméité Un : Pour les actions de cohoméité un, les auteurs exploitent la structure de l'espace des orbites et les représentations d'isotropie. Ils utilisent la structure de produit gauchi des métriques invariantes et les propriétés des orbites principales isotropie-irréductibles pour dériver des contraintes intégrales sur la courbure scalaire totale.

Contributions Clés et Résultats

• Découverte d'une Quatrième Classe (Totalement G-Positive) : Le résultat principal (Théorème 1.3) démontre que la trichotomie classique ne s'étend pas telle quelle. Une classe distincte de paires $(M, G)$ émerge, nommée totalement G-positive.

  • Définition : Une paire est totalement G-positive si chaque métrique $G$-invariante sur $M$ possède une courbure scalaire totale strictement positive ($\int_M \text{scal}_g d\mu_g > 0$).
  • Conséquences : De telles paires admettent une métrique $G$-invariante de courbure scalaire constante positive mais n'admettent aucune métrique $G$-invariante de courbure scalaire nulle ou négative. De plus, elles ne peuvent réaliser aucune fonction $G$-invariante qui est partout non positive.
  • Caractérisation : Le Lemme 3.11 établit qu'une paire $(M, G)$ est totalement G-positive si et seulement si l'action est de cohoméité un avec une orbite principale isotropie-irréductible. Un exemple prototypique est $M = S^1 \times S^{n-1}$ avec l'action $SO(n)$, où la représentation d'isotropie est irréductible.

• Classification Raffinée pour les Paires Non-Totalement G-Positives : Pour les paires qui ne sont pas totalement G-positives, la trichotomie classique est récupérée au niveau des données $G$-invariantes (Théorème 1.3, partie ii). Ces paires appartiennent à exactement une de trois classes :

  • $(P_G)$ : Toute fonction lisse $G$-invariante est la courbure scalaire de quelque métrique $G$-invariante.
  • $(Z_G)$ : Une fonction est réalisable si et seulement si elle est identiquement nulle ou négative quelque part.
  • $(N_G)$ : Une fonction est réalisable si et seulement si elle est négative quelque part.

• Symétrie Non-Abélienne : Les auteurs notent que si l'algèbre de Lie de $G$ est non-abélienne et que la paire n'est pas totalement G-positive, la paire appartient nécessairement à la classe $(P_G)$. Cela repose sur le résultat de Lawson–Yau stipulant que les groupes de symétrie non-abéliens garantissent l'existence d'une métrique $G$-invariante de courbure scalaire positive. Cependant, l'article souligne que les actions non-abéliennes peuvent toujours être totalement G-positives (comme dans l'exemple $S^1 \times S^{n-1}$), les plaçant dans cette nouvelle quatrième catégorie plutôt que dans $(P_G)$.

• Existence de Métriques à Courbure Constante : Le Théorème 1.4 fournit un résultat d'existence complet :

  • Si $(M, G)$ n'est pas totalement G-positive, elle admet une métrique $G$-invariante de courbure scalaire constante négative. Si elle admet une métrique non négative, elle admet une métrique à courbure scalaire nulle.
  • Si elle admet une métrique non négative non identiquement nulle, elle admet une métrique de courbure scalaire constante positive.
  • Les paires totalement G-positives admettent des métriques de courbure scalaire constante positive mais aucune métrique non positive.

Signification
L'article soutient que la géométrie intrinsèque de l'action du groupe, spécifiquement la cohoméité et l'irréductibilité de la représentation d'isotropie, régit l'existence de métriques de courbure scalaire dans le cadre équivariant. L'émergence de la classe « totalement G-positive » représente un écart réel par rapport à la théorie non-équivariante, où la courbure scalaire totale peut toujours être rendue négative ou nulle sur des variétés qui n'admettent pas de courbure scalaire positive. Ce travail synthétise les techniques d'approximation de Kazdan–Warner avec la théorie de Yamabe équivariante de Hebey–Vaugon pour fournir une classification complète des fonctions de courbure scalaire admissibles pour une large classe de variétés symétriques.