Invariant measures and traces on groupoid $\mathrm{C}^\ast$-algebras

Cet article établit des conditions suffisantes pour l'existence et l'unicité de traces sur les algèbres $\mathrm{C}^\ast$ de groupoïdes étales, reliant ces propriétés à l'aménabilité des groupes d'isotropie et à la liberté essentielle par rapport à une mesure invariante, avec des applications aux algèbres de groupes auto-similaires.

L'essentiel

Voici une explication de ce papier de recherche, traduite en langage simple et imagé, comme si nous parlions d'une histoire de cartes et de miroirs.

Le Titre : Des Cartes, des Miroirs et des Poids Secrets

Imaginez que vous êtes un architecte qui construit des structures mathématiques complexes appelées algèbres C*. Ces structures sont comme des immeubles gigantesques faits de nombres et de fonctions. Pour comprendre ces immeubles, les mathématiciens ont besoin de deux choses principales :

1. Le plan de l'immeuble (la forme géométrique).
2. Une balance magique (ce qu'on appelle une "trace") qui permet de peser les objets à l'intérieur de l'immeuble pour voir s'ils sont égaux ou différents.

Ce papier, écrit par Alistair Miller et Eduardo Scarparo, s'intéresse à un type d'immeuble très particulier construit à partir de ce qu'on appelle des groupoïdes.

---

1. Le décor : Les Groupoïdes (Des cartes avec des trous)

Pour comprendre le sujet, il faut visualiser un groupoïde.
Imaginez une carte géographique où, au lieu de simples villes, vous avez des "portes" qui permettent de voyager d'un point A à un point B.

• Dans un monde normal (un groupe classique), si vous allez de A à B, vous pouvez toujours revenir de B à A de manière fluide.
• Dans le monde de ce papier (les groupoïdes étalés), la carte est un peu bizarre. Parfois, les routes se croisent de manière étrange, ou il y a des "trous" dans la carte. On appelle cela des structures non séparées (non-Hausdorff). C'est comme si deux routes différentes menaient au même endroit, mais que l'endroit lui-même était flou ou double.

Ces structures sont très utiles pour décrire des systèmes dynamiques (comme des mouvements de groupes) ou des groupes "auto-similaires" (des fractales qui se répètent à l'infini, comme le flocon de Koch).

2. Le problème : La balance qui ne fonctionne plus

Le but des auteurs est de trouver une balance (une trace) qui fonctionne sur ces immeubles mathématiques.

• Normalement, si vous avez une carte (une mesure) sur le sol de votre immeuble (l'espace des unités), vous pouvez étendre cette carte pour peser tout l'immeuble.
• Le problème : Quand la carte est "bizarre" (non séparée), la balance classique (celle qu'on utilise pour les immeubles normaux) tombe en panne. Elle commence à donner des poids négatifs ou infinis pour des objets qui devraient être légers. C'est comme si votre balance disait qu'une plume pèse 1000 kg parce qu'elle passe à travers un trou dans le sol.

Pour régler cela, les mathématiciens ont créé une version "nettoyée" de l'immeuble, appelée l'algèbre C essentielle*. C'est comme prendre l'immeuble, retirer les pièces pourries (les idéaux qui causent les problèmes) et ne garder que la structure solide.

La question centrale du papier : Est-ce qu'on peut toujours étendre notre carte du sol (la mesure) pour obtenir une balance qui fonctionne sur cette version "nettoyée" de l'immeuble ?

3. Les solutions trouvées (Les conditions magiques)

Les auteurs disent : "Oui, on peut le faire, mais il faut que l'immeuble ait certaines propriétés." Ils donnent deux conditions principales qui garantissent que la balance fonctionnera :

A. Les "Gardiens" amicaux (Groupes d'isotropie)

Imaginez que dans votre immeuble, il y a des pièces où vous pouvez faire des tours sur vous-même sans bouger de place. Ce sont les groupes d'isotropie.

• Si ces gardiens sont "amènes" (un terme mathématique qui signifie qu'ils sont bien organisés, pas chaotiques), alors la balance fonctionnera. C'est comme dire : "Si les gens qui tournent en rond sont calmes, on peut peser tout le monde."

B. La liberté essentielle (Essential Freeness)

C'est le concept le plus important. Imaginez que vous avez une carte qui dit : "La plupart des gens ne tournent pas en rond."

• Si la carte dit que les gens qui font des tours inutiles sont si rares qu'ils ne pèsent rien (leur poids est zéro), alors on dit que le système est essentiellement libre.
• L'analogie : C'est comme une foule dans un stade. Si 99,9% des gens regardent le match et seulement quelques fous font des pirouettes au milieu de la pelouse, et que ces fous sont si peu nombreux qu'ils ne comptent pas dans le poids total, alors la balance fonctionne parfaitement.

Le résultat clé : Si l'immeuble est "essentiellement libre" par rapport à votre carte, alors il existe une seule et unique façon de peser tout l'immeuble. Pas de confusion, pas de deux balances différentes. C'est unique.

4. L'application concrète : Les groupes auto-similaires

Pour prouver que leur théorie est utile, les auteurs l'appliquent à un cas très célèbre : les groupes auto-similaires finis.

• Imaginez un robot qui dessine un dessin, puis dessine ce même dessin à l'intérieur de chaque ligne du premier dessin, et ainsi de suite à l'infini. C'est un fractal.
• Ces robots (groupes) créent des algèbres C* très complexes.
• Les auteurs montrent que pour ces robots, la condition "essentiellement libre" est toujours remplie.
• Conclusion pratique : Pour ces algèbres de robots fractals, il n'y a qu'une seule balance possible. C'est une découverte importante pour les physiciens et les mathématiciens qui étudient ces structures, car cela simplifie énormément leurs calculs.

En résumé

Ce papier est comme un manuel de plomberie pour des immeubles mathématiques très bizarres.

1. Le problème : Les immeubles "bizarres" cassent les balances classiques.
2. La solution : On nettoie l'immeuble (algèbre essentielle).
3. La condition : Si les "tours sur soi-même" sont rares ou bien organisés, alors on peut installer une nouvelle balance qui fonctionne.
4. Le bonus : Si les tours sont rares, cette balance est unique. On ne peut pas en avoir deux.

C'est une avancée majeure pour comprendre comment peser et classifier ces structures mathématiques complexes qui apparaissent partout, de la géométrie aux systèmes quantiques.

Résumé technique

Voici un résumé technique détaillé du papier « Invariant Measures and Traces on Groupoid C-Algebras »* par Alistair Miller et Eduardo Scarparo, rédigé en français.

1. Problématique et Contexte

L'article s'inscrit dans le cadre de la théorie des $C^*$-algèbres, plus spécifiquement dans l'étude des algèbres de groupes étalés (étale groupoids) et de leurs twists. Ces structures unifient de nombreuses constructions provenant de la dynamique, de la combinatoire et de la théorie des groupes.

Le problème central abordé par les auteurs est la compréhension et le calcul des espaces de traces sur les $C^*$-algèbres associées à des groupoïdes étalés, en particulier lorsque ces groupoïdes sont non séparés (non-Hausdorff).

• Défi technique : Pour les groupoïdes non séparés, l'algèbre $C^*$ réduite $C^*_r(G)$ présente une structure d'idéaux mal comportée. Pour contourner cela, on utilise l'algèbre $C^*$ essentielle $C^*_{ess}(G)$, définie comme un quotient de $C^*_r(G)$ par un idéal spécifique $J$.
• Question ouverte : Une mesure de Radon invariante $\mu$ sur l'espace des unités $G^0$ s'étend canoniquement en une trace sur l'algèbre pleine $C^*(G)$ et sur l'algèbre réduite $C^*_r(G)$. Cependant, cette extension canonique ne descend pas toujours sur l'algèbre essentielle $C^*_{ess}(G)$ car elle peut ne pas s'annuler sur l'idéal $J$.
• Objectif : Déterminer des conditions suffisantes pour qu'une mesure invariante $\mu$ admette une extension (unique ou non) en une trace sur $C^*_{ess}(G)$, et caractériser la relation entre les mesures invariantes et les traces, y compris dans le cas de mesures infinies et de twists non triviaux.

2. Méthodologie

Les auteurs adoptent une approche analytique et algébrique rigoureuse, combinant plusieurs outils :

• Généralité des mesures : Ils travaillent avec des mesures de Radon potentiellement infinies et des traces non bornées, définies sur l'idéal de Pedersen $Ped(A)$ de l'algèbre $A$.
• Groupoïdes de germes et pseudogroupes : Ils utilisent la construction des groupoïdes de germes associés à des pseudogroupes d'homéomorphismes pour modéliser les actions dynamiques, ce qui permet de traiter les cas non séparés (comme les actions de groupes de Grigorchuk).
• Fibrés de Fell et twists : Le cadre inclut les twists (fibrés de lignes de Fell) au-dessus des groupoïdes, généralisant ainsi les résultats aux algèbres de twists.
• Analyse de la liberté essentielle : Ils introduisent et affinent la notion de liberté essentielle d'une mesure par rapport au groupoïde. Une mesure $\mu$ est essentiellement libre si l'ensemble des points fixes « non triviaux » (hors de l'espace des unités) a une mesure nulle (en considérant la partie semi-finie de la mesure).
• Représentations et états : Ils construisent des représentations spécifiques (comme les représentations quasi-régulières sur les espaces quotients des groupes d'isotropie) et utilisent des limites de nets d'états pour établir l'existence de traces sur l'algèbre essentielle.
• Théorèmes de disintegration et d'unicité : Ils adaptent des résultats classiques (Kawamura-Takemoto-Tomiyama, Renault) au contexte non séparé et twisté, en évitant parfois les théorèmes de disintegration lourds pour des preuves plus directes.

3. Contributions Clés et Résultats Principaux

Les résultats sont synthétisés dans trois théorèmes majeurs (A, B et C) et plusieurs corollaires :

A. Existence de traces sur l'algèbre essentielle (Théorème A)

Les auteurs établissent des conditions suffisantes pour qu'une mesure invariante $\mu$ sur $G^0$ s'étende en une trace sur $C^*_{ess}(G, L)$ :

1. Si tous les groupes d'isotropie de $G$ sont aménables et le twist est trivial.
2. Si $G$ est essentiellement libre par rapport à $\mu$.
3. Si $G$ est un faisceau de groupes (group bundle) et $\mu$ est une mesure de probabilité.

Dans le cas (2), l'extension canonique de $\mu$ descend directement sur l'algèbre essentielle.

B. Unicité de l'extension (Théorèmes 4.3 et 4.6)

• Unicité : Si $G$ est essentiellement libre par rapport à $\mu$, alors $\mu$ admet une extension unique en une trace sur l'algèbre pleine $C^*(G, L)$.
• Converse : Si le twist est trivial, l'unicité de l'extension implique que $G$ est essentiellement libre par rapport à $\mu$.
• Contre-exemple twisté : Les auteurs montrent que dans le cas twisté, l'unicité de la trace n'implique pas nécessairement la liberté essentielle (exemple de l'algèbre de rotation irrationnelle).

C. Correspondance Topologique (Théorème C / Corollaire 5.13)

Si $G$ est essentiellement libre par rapport à toute mesure invariante de Radon, alors l'application de restriction qui associe à une trace sur $C^*_{ess}(G, L)$ sa mesure invariante sur $G^0$ est un homéomorphisme affine. Cela établit une bijection topologique parfaite entre l'espace des traces et l'espace des mesures invariantes.

D. Application aux Groupes Auto-Similaires (Section 6)

En appliquant leurs résultats aux algèbres invariantes de jauge (gauge-invariant algebras) des groupes auto-similaires à état fini, les auteurs démontrent que :

• La mesure de Bernoulli est essentiellement libre par rapport au groupoïde associé.
• Ces algèbres admettent une unique trace d'état (unique tracial state), généralisant des résultats précédents qui nécessitaient des hypothèses de contraction.

4. Signification et Impact

Ce travail est significatif pour plusieurs raisons :

1. Résolution de problèmes techniques non séparés : Il fournit un cadre robuste pour étudier les traces sur les algèbres $C^*$ essentielles, qui sont cruciales pour la reconstruction de Kumjian-Renault dans le contexte non séparé.
2. Généralisation des mesures : En traitant des mesures infinies et non bornées, l'article élargit considérablement le champ d'application des résultats classiques, souvent restreints aux mesures de probabilité.
3. Lien entre dynamique et algèbre : Il renforce le lien entre les propriétés dynamiques (liberté essentielle, aménabilité des isotropies) et les propriétés algébriques (existence et unicité des traces), ce qui est central pour le programme de classification d'Elliott.
4. Nouveaux exemples : L'application aux groupes auto-similaires fournit de nouveaux exemples d'algèbres simples et nucléaires avec une unique trace, enrichissant la bibliothèque d'objets classifiables.

En résumé, Miller et Scarparo établissent des critères précis sous lesquels la structure dynamique d'un groupoïde (via ses mesures invariantes) contrôle entièrement la structure traciale de son algèbre $C^*$ essentielle, même en l'absence de séparation topologique.