Groupoid exactness and the weak containment problem

Ce travail étudie les analogues des définitions d'exactitude pour les groupes discrets dans le cadre des groupoïdes localement compacts, établissant notamment l'équivalence de six notions d'exactitude pour une classe de groupoïdes étales appelés « inner amenable » et examinant leur rôle dans la relation entre l'aménabilité d'un groupoïde et la coïncidence de ses algèbres C*-pleine et réduite.

L'essentiel

🗺️ L'Exploration des "Groupoïdes" : Une Carte du Monde Mathématique

Imaginez que vous êtes un explorateur dans un monde mathématique très spécial. Ce monde n'est pas fait de continents et d'océans, mais de groupoïdes.

Pour faire simple, un groupoïde, c'est comme un réseau de routes très complexe.

• Dans un groupe (un concept plus simple), vous pouvez aller de n'importe quel point A à n'importe quel point B d'une seule façon. C'est comme un réseau de trains très organisé.
• Dans un groupoïde, c'est plus libre. Vous avez des "points de départ" (des villes) et des "routes" (des flèches) qui les relient. Mais certaines routes ne partent que de certaines villes, et vous ne pouvez pas toujours faire le chemin inverse. C'est comme un système de transports en commun où les bus ne circulent que sur des lignes spécifiques, reliant des quartiers précis.

L'auteure de ce texte, Claire Anantharaman-Delaroche, s'intéresse à deux grandes questions sur ces réseaux de routes :

1. La "Précision" (Exactitude) : Est-ce que ce réseau est "propre", bien structuré, sans trous ni contradictions ?
2. Le "Problème de l'Inclusion Faible" (WCP) : Est-ce que la version "idéale" de ce réseau (ce qu'on appelle l'algèbre pleine) est exactement la même chose que la version "réelle" ou "observée" (l'algèbre réduite) ? Si oui, le réseau est "parfait". Si non, il y a une différence entre la théorie et la pratique.

🧱 Les Briques de Construction : Les "Groupoïdes Étale"

Dans ce monde, il y a une catégorie spéciale de réseaux qu'on appelle les groupoïdes étales. Imaginez-les comme des réseaux de routes où chaque ville a un nombre fini de routes qui en partent, et où ces routes sont très bien séparées les unes des autres (comme des îles distinctes). C'est l'équivalent mathématique des groupes discrets (comme les nombres entiers). C'est sur ces réseaux "propres" que l'auteure a fait ses plus belles découvertes.

🌌 Le Concept Clé : "L'Aménité à l'Infini"

C'est ici que ça devient poétique. Imaginez que votre réseau de routes s'étend à l'infini.

• L'aménité, c'est la capacité du réseau à être "doux", sans zones de conflit.
• L'aménité à l'infini, c'est une propriété encore plus subtile. Imaginez que vous regardez votre réseau depuis très loin, à l'horizon. Est-ce que, même à l'infini, le réseau reste "doux" et prévisible ?

L'auteure introduit une notion encore plus forte : l'aménité forte à l'infini. C'est comme si, non seulement le paysage à l'infini était doux, mais qu'il existait une "carte maîtresse" (une section continue) qui vous permet de revenir facilement de l'infini vers le centre sans vous perdre.

🔗 Le Lien Magique : Quand tout devient Équivalent

Le cœur du texte est une découverte incroyable. L'auteure a prouvé que pour certains réseaux bien comportés (ceux qu'elle appelle intérieurement amènes), six façons différentes de mesurer la "perfection" du réseau sont en fait la même chose.

Imaginez que vous avez six outils différents pour mesurer la qualité d'une maison :

1. Une règle pour mesurer la solidité des murs.
2. Un test de résistance au vent.
3. Une inspection des fondations.
4. Un test de l'électricité.
5. Une vérification de la plomberie.
6. Un examen de la toiture.

Habituellement, une maison peut être solide (outil 1) mais avoir une mauvaise plomberie (outil 5). Mais dans ce monde mathématique spécial, l'auteure a prouvé que si l'une de ces conditions est vraie, alors les cinq autres le sont aussi !

Ces six conditions sont :

1. L'aménité forte à l'infini (le paysage lointain est doux et accessible).
2. L'aménité à l'infini (le paysage lointain est juste doux).
3. La nuclearité (le réseau est "compact" et facile à manipuler).
4. L'exactitude de l'algèbre uniforme (la version "idéale" du réseau est parfaite).
5. L'exactitude KW (le réseau préserve bien les séquences de transformations).
6. L'exactitude de l'algèbre réduite (la version "réelle" du réseau est parfaite).

C'est une révolution : au lieu de vérifier six choses compliquées, il suffit d'en vérifier une seule pour savoir que tout le système est sain.

🚧 Le Problème du "Contenu Faible" (WCP)

Revenons à notre deuxième question : quand l'algèbre "pleine" (théorique) est-elle égale à l'algèbre "réduite" (pratique) ?

Dans le monde des groupes classiques, on savait que si le réseau est "amène" (doux), alors la théorie et la pratique coïncident. Mais pour les groupoïdes complexes, ce n'est pas toujours vrai. Il existe des réseaux "doux" où la théorie et la pratique divergent, et des réseaux "durs" où elles coïncident quand même !

L'auteure montre que pour résoudre ce mystère, il faut ajouter une condition : l'exactitude.

• Si le réseau est exact (bien structuré) ET qu'il a la propriété WCP (théorie = pratique), alors il est amène (doux).
• C'est comme dire : "Si votre maison est bien construite (exacte) et que les plans correspondent à la réalité (WCP), alors elle est confortable (amène)."

🧩 Les Exemples et les Mystères

L'auteure donne des exemples concrets :

• Les groupes de Gromov : Ce sont des monstres mathématiques, des réseaux très complexes et "sauvages" qui ne sont pas amènes. Ils servent à tester les limites de la théorie.
• Les HLS-groupoïdes : Ce sont des constructions ingénieuses faites par d'autres mathématiciens (Higson, Lafforgue, Skandalis) qui ont permis de prouver que la théorie et la pratique pouvaient coïncider même sans que le réseau soit "doux". C'était une surprise totale !

🏁 Conclusion : Ce qui reste à découvrir

Ce texte est un guide magnifique qui a éclairé une grande partie de la carte. Il a prouvé que pour une grande classe de réseaux (les groupoïdes étales "intérieurement amènes"), toutes les notions de perfection sont liées.

Cependant, comme tout bon explorateur, l'auteure laisse des questions en suspens :

• Est-ce que tous les réseaux "étales" sont "intérieurement amènes" ? (On ne sait pas encore).
• Est-ce que cette équivalence de six conditions fonctionne pour tous les réseaux, pas seulement les plus simples ?

En résumé, ce papier nous dit que dans le monde complexe des groupoïdes, il existe des îles de beauté et de cohérence où tout s'aligne parfaitement. Si vous trouvez une de ces îles (un groupoïde "intérieurement amène"), vous pouvez être sûr que toutes vos mesures de qualité donneront le même résultat : la perfection.

Résumé technique

Voici un résumé technique détaillé de l'article « Groupoids Exactness and the Weak Containment Problem » de Claire Anantharaman-Delaroche.

1. Problématique et Contexte

L'ouvrage se concentre sur deux problèmes fondamentaux concernant les groupoïdes localement compacts (notamment les groupoïdes étales) :

1. L'équivalence des notions d'exactitude : Comparer et établir les liens entre les différentes définitions d'exactitude pour les groupoïdes, analogues à celles connues pour les groupes discrets.
2. Le problème de la faible containment (WCP - Weak Containment Property) : Déterminer si l'égalité entre l'algèbre $C^*$ complète et l'algèbre $C^*$ réduite d'un groupoïde implique son aménabilité. Pour les groupes, le théorème de Hulanicki établit que l'aménabilité est équivalente à la WCP. Pour les groupoïdes, cette équivalence est fausse en général (contre-exemples fournis par les groupoïdes HLS de Higson, Lafforgue et Skandalis), ce qui motive la recherche de conditions supplémentaires (comme l'exactitude) pour la restaurer.

2. Méthodologie et Outils

L'auteur développe une théorie structurée en plusieurs étapes :

• Généralisation des compactifications : Extension de la notion de compactification de Stone-Čech aux espaces fibrés sur l'espace des unités d'un groupoïde. L'auteur introduit la compactification fibrée de Stone-Čech $(\beta_r G, r_\beta)$ d'un groupoïde étale $G$ agissant sur lui-même via l'application de range.
• Aménabilité à l'infini : Définition de l'aménabilité à l'infini pour les groupoïdes via l'existence d'une action amène sur un espace fibré compact. Une notion plus forte, l'aménabilité forte à l'infini, est introduite, exigeant l'existence d'une section continue pour l'application de moment.
• Aménabilité interne (Inner Amenability) : Introduction d'une notion clé pour les groupoïdes, inspirée de l'aménabilité interne des groupes. Un groupoïde est intégralement amenable (inner amenable) s'il existe des noyaux positifs définis sur le produit $G \times G$ se comportant comme la fonction caractéristique de la diagonale. Cette propriété est cruciale pour étendre les résultats des groupes discrets aux groupoïdes étales.
• Algèbres $C^*$ associées : Étude des algèbres $C^*$ complètes, réduites et de l'algèbre uniforme $C^*_u(G)$ (analogue de l'algèbre de Roe uniforme). L'auteur établit un isomorphisme canonique entre $C^*_u(G)$ et l'algèbre réduite du groupoïde semi-direct $\beta_r G \rtimes G$.
• Exactitude : Définition et comparaison de plusieurs notions :
  • Exactitude $C^*$ (exactitude de $C^*_r(G)$).
  • Exactitude au sens de Kirchberg-Wassermann (KW-exactitude).
  • Exactitude interne (Inner exactness), liée à la préservation de l'exactitude des suites exactes pour les sous-groupoïdes invariants fermés.

3. Contributions et Résultats Clés

A. Équivalence des notions d'exactitude pour les groupoïdes étales intégralement amenables

Le résultat principal (Théorème 10.8) établit que pour un groupoïde étale intégralement amenable (deuxième dénombrable), les six conditions suivantes sont équivalentes :

1. Aménabilité forte à l'infini.
2. Aménabilité à l'infini.
3. Nuclearité de l'algèbre uniforme $C^*_u(G)$.
4. Exactitude de $C^*_u(G)$.
5. KW-exactitude de $G$.
6. Exactitude $C^*$ de $C^*_r(G)$.

Ce résultat généralise les équivalences connues pour les groupes discrets et les groupes localement compacts intégralement amenables.

B. Résolution du problème de la faible containment (WCP)

L'auteur démontre que l'exactitude (ou l'aménabilité à l'infini) joue un rôle crucial pour lier la WCP à l'aménabilité :

• Théorème 11.8 : Pour un groupoïde dont l'espace des orbites est $T_0$, l'aménabilité est équivalente à la conjonction de la WCP et de l'exactitude interne.
• Théorème 11.14 (dû à Julian Kranz, prouvé ici pour les groupoïdes étales) : Un groupoïde étale est amenable si et seulement s'il possède la WCP et est fortement amenable à l'infini.
• Application aux groupoïdes HLS : Ces groupoïdes ont la WCP mais ne sont pas amenables car ils ne sont pas intégralement amenables (et donc pas exacts). Cela explique pourquoi la WCP seule ne suffit pas.

C. Stabilité et Invariance

• L'aménabilité, l'aménabilité à l'infini, la KW-exactitude et l'exactitude interne sont préservées par l'équivalence de groupoïdes.
• L'auteur fournit des exemples concrets, notamment des groupoïdes de transformation associés à des actions partielles de groupes discrets exacts, qui sont fortement amenables à l'infini.

4. Signification et Impact

• Unification théorique : Ce travail unifie la théorie de l'exactitude des groupes et celle des groupoïdes, en identifiant les conditions (notamment l'aménabilité interne et l'aménabilité à l'infini) nécessaires pour que les équivalences classiques se maintiennent.
• Clarification du contre-exemple HLS : Il explique précisément pourquoi les contre-exemples de Higson-Lafforgue-Skandalis échouent à satisfaire l'équivalence WCP $\iff$ Aménabilité : ils manquent d'exactitude interne.
• Outils pour les conjectures : Les résultats sur l'aménabilité à l'infini et l'exactitude sont directement liés à l'injectivité de la carte d'assemblage de Baum-Connes et à la conjecture de Novikov pour les groupoïdes.
• Nouveaux concepts : L'introduction et l'étude de l'aménabilité interne pour les groupoïdes et de la compactification fibrée de Stone-Čech ouvrent de nouvelles pistes pour l'analyse harmonique non-commutative sur les groupoïdes.

En résumé, l'article démontre que pour une classe large et naturelle de groupoïdes (étales et intégralement amenables), la structure de l'exactitude est aussi riche et bien comportée que pour les groupes discrets, et que la WCP caractérise l'aménabilité dès lors que l'on impose une condition d'exactitude appropriée.