Résumé technique : Critères de Fredholm pour les opérateurs pseudodifférentiels G-équivariants

Énoncé du problème

Cet article étudie la propriété de Fredholm d'une classe spécifique d'opérateurs agissant sur les espaces de Sobolev de sections de fibrés vectoriels sur une variété fermée $M$. Soit $G$ un groupe de Lie compact agissant de manière lisse et isométrique sur $M$. Les auteurs considèrent les opérateurs pseudodifférentiels G-équivariants, définis comme des opérateurs de la forme :
$$(P + D)u = Pu + \int_G D_g(T_g u) \, dg$$
où $P$ est un opérateur pseudodifférentiel classique d'ordre $m$, $D_g$ est une famille lisse d'opérateurs pseudodifférentiels d'ordre $m$, $T_g$ représente l'opérateur de translation défini par l'action du groupe ($T_g u(x) = g \cdot u(g^{-1}x)$), et $dg$ est la mesure de Haar normalisée.

Le problème central consiste à établir des conditions nécessaires et suffisantes pour qu'un tel opérateur soit de Fredholm (c'est-à-dire inversible modulo les opérateurs compacts). Si l'ellipticité de $P$ garantit la propriété de Fredholm, la présence du terme intégral impliquant l'action du groupe complique l'analyse, en particulier lorsque l'action n'est pas libre ou lorsque le groupe est non trivial.

Méthodologie

Les auteurs emploient une combinaison de techniques d'algèbres $C^*$, de principes locaux et d'uniformisation pseudodifférentielle.

1. Réduction à l'ordre zéro : En utilisant le théorème d'Atkinson et les propriétés du laplacien, les auteurs réduisent le problème général d'ordre $m$ au cas d'opérateurs d'ordre 0 agissant sur $L^2(M, E)$.
2. Principe local de Simonenko : L'outil méthodologique central est un principe local général de Simonenko dérivé dans un travail antérieur du premier auteur [6]. Ce principe relie la propriété de Fredholm globale d'un opérateur à son inversibilité locale sur l'espace quotient $M/G$. Les auteurs appliquent cela à l'algèbre $C^*$ des opérateurs pseudodifférentiels G-équivariants, traitant $C(M/G)$ comme une sous-algèbre de l'algèbre de Calkin.
3. Décomposition de la variété : Les auteurs identifient un sous-ensemble $P \subset M$ constitué de points où le fibré conormal aux orbites du groupe est trivial (c'est-à-dire $(T^*_G M)_x = \{0\}$). Ils montrent que $P$ est une union d'orbites ouvertes et fermées. L'opérateur est décomposé en fonction de la projection orthogonale sur $M \setminus P$ et $P$.
4. Uniformisation pour les groupes finis : Dans le cas spécifique où le groupe $\Gamma$ est fini, les auteurs utilisent un principe d'uniformisation pseudodifférentielle. Ils construisent un isomorphisme unitaire qui applique les opérateurs pseudodifférentiels $\Gamma$-équivariants sur $L^2(M, E)$ aux opérateurs pseudodifférentiels classiques $\Gamma$-invariants sur l'espace plus grand $L^2(M, E \otimes \mathbb{C}[\Gamma])$. Cela permet d'appliquer les critères de Fredholm connus pour les opérateurs invariants.

Contributions et résultats clés

1. Principe général de Simonenko pour les opérateurs G

L'article établit un critère général pour la propriété de Fredholm des opérateurs pseudodifférentiels G-équivariants lorsque $M$ ne contient aucune orbite ouverte et fermée (condition satisfaite, par exemple, si $M$ est connexe et n'est pas une seule orbite, ou si $\dim M > \dim G$).

Théorème (Principe de Simonenko pour les opérateurs G) :
Soit $D$ un opérateur pseudodifférentiel G-équivariant. Alors $Id + D$ est de Fredholm si et seulement s'il est localement inversible sur l'espace quotient $M/G$.

• Inversibilité locale : Un opérateur est localement inversible en un point du quotient s'il admet un inverse local dans un voisinage de ce point, modulo les opérateurs compacts.
• Ce résultat caractérise la propriété de Fredholm par l'inversibilité du symbole de l'opérateur dans un sens local sur l'espace des orbites, plutôt que par l'exigence d'une ellipticité globale.

2. Caractérisation pour les groupes finis

Pour le cas où le groupe $\Gamma$ est fini, les auteurs fournissent une caractérisation plus explicite en termes du symbole principal.

Théorème :
Soit $D$ un opérateur pseudodifférentiel $\Gamma$-équivariant. Les énoncés suivants sont équivalents :

1. $D$ est de Fredholm.
2. L'opérateur invariant associé $\hat{D}$ sur $L^2(M, E \otimes \mathbb{C}[\Gamma])$ est de Fredholm lorsqu'il est restreint aux sections invariantes.
3. La restriction du symbole principal $\sigma_0(\hat{D})(\xi)$ au sous-espace des vecteurs invariants sous un sous-groupe d'isotropie minimal $\Gamma_0$ est inversible pour tout $\xi$ dans le fibré cosphérique unitaire du type d'orbite principal.

Plus précisément, si $M/\Gamma$ est connexe et $\Gamma_0$ est un sous-groupe d'isotropie minimal, $D$ est de Fredholm si et seulement si :
$$\sigma_0(\hat{D})(\xi): (E_\xi \otimes \mathbb{C}[\Gamma])^{\Gamma_0} \to (E_\xi \otimes \mathbb{C}[\Gamma])^{\Gamma_0}$$
est inversible pour tout $\xi \in S^*M_{\Gamma_0}$.

3. Traitement des quotients non connexes

Les auteurs abordent le cas où l'espace quotient $M/\Gamma$ n'est pas connexe. Ils démontrent que la variété peut être décomposée en sous-variétés $\Gamma$-invariantes $M_i$ correspondant aux composantes connexes du quotient. L'opérateur $D$ est de Fredholm si et seulement si sa restriction à chaque $M_i$ est de Fredholm. Cela réduit le cas général au cas connexe analysé dans le théorème principal.

4. Formule de l'indice

Pour les opérateurs de Fredholm, l'article fournit une formule pour l'indice de Fredholm utilisant la K-théorie. L'indice est identifié comme l'image du symbole sous l'application bord dans la suite exacte associée à l'algèbre $C^*$ des symboles et des opérateurs compacts.

Importance et affirmations

Les auteurs présentent ce travail comme un raffinement et une extension des résultats existants dans la théorie des opérateurs singuliers et des opérateurs pseudodifférentiels invariants par un groupe.

• Généralisation du résultat d'Antonevich : L'article note que pour des actions « efficaces » (où le sous-groupe d'isotropie minimal est trivial), leur condition retrouve un résultat connu d'Antonevich [4], où l'inversibilité du symbole principal sur le fibré complet est suffisante. Cependant, les auteurs affirment une nouvelle condition nécessaire et suffisante pour les cas où le sous-groupe d'isotropie minimal est non trivial. Dans ces cas, l'inversibilité doit être vérifiée uniquement sur le sous-espace des vecteurs invariants sous le sous-groupe d'isotropie minimal, une exigence plus stricte et plus précise.
• Cadre unifié : En utilisant le principe local de Simonenko, l'article unifie le traitement des opérateurs G-équivariants, évitant le besoin d'arguments ad hoc séparés pour différents types d'actions de groupe.
• Critères symboliques explicites : Pour les groupes finis, l'article va au-delà de l'inversibilité locale abstraite pour fournir une condition algébrique concrète sur le symbole principal, rendant le critère de Fredholm accessible au calcul.

Les auteurs déclarent explicitement qu'ils ne proposent pas de nouvelles propositions expérimentales ou d'applications futures, mais se concentrent plutôt sur la dérivation rigoureuse de ces critères en utilisant des techniques établies d'analyse algébrique $C^*$ et microlocale. Ce travail est dédié à la mémoire de M. Benameur, soulignant l'engagement des auteurs envers les fondements théoriques des algèbres d'opérateurs et de la théorie de l'indice.