On the continuity of derivations over locally regular Banach algebras

Cet article étudie la continuité des dérivations sur une classe d'algèbres de Banach contenant une sous-algèbre dense de type $C^*$, et démontre notamment que toute dérivation sur le produit croisé $L^p$ $F^p(G,X,\alpha)$ est continue lorsque le groupe $G$ est infini, finiment engendré, à croissance polynomiale et agit librement sur l'espace compact $X$.

L'essentiel

Imaginez que vous êtes un architecte qui construit des structures mathématiques appelées « algèbres de Banach ». Ces structures sont comme des immeubles très complexes où l'on peut additionner, multiplier et mesurer les « briques » (les nombres ou les fonctions) qui les composent.

Dans cet immeuble, il existe des « dérivations ». Pour faire simple, imaginez une dérivations comme un inspecteur de chantier ou un traducteur. Son travail est de prendre une opération complexe (le produit de deux briques, disons $a \times b$) et de la décomposer en deux parties plus simples pour voir comment elles changent. La règle qu'il doit suivre est très précise : il doit respecter la loi du « produit » (la règle de Leibniz).

Le grand mystère de ce papier, c'est de savoir si cet inspecteur est fiable (continu) ou s'il est chaotique (discontinu).

• Si l'inspecteur est continu, cela signifie que si vous lui donnez deux briques très similaires, il vous donnera deux résultats très similaires. C'est stable, prévisible.
• Si l'inspecteur est discontinu, un tout petit changement dans les briques d'entrée pourrait provoquer un effondrement total ou un résultat absurde en sortie.

Le problème : Quand l'inspecteur devient fou ?

Dans le monde très spécial des algèbres $C^*$ (qui sont comme des immeubles parfaitement symétriques et bien rangés), on sait depuis longtemps que tous les inspecteurs sont fiables. C'est un fait établi.

Mais le monde des mathématiques est vaste. Il existe d'autres types d'immeubles, moins symétriques, appelés algèbres $L^p$ (liées à la physique et aux probabilités). Là, on ne sait pas toujours si les inspecteurs sont fiables. C'est comme si on construisait des ponts en métal, mais qu'on ne savait pas si le vent pourrait les faire trembler de manière imprévisible.

La solution de l'auteur : Le « Sous-sol C* »

Felipe I. Flores, l'auteur de ce papier, propose une astuce géniale. Il dit : « Regardez, même si l'immeuble entier (l'algèbre $B$) est un peu bizarre et n'a pas de symétrie parfaite, il contient un sous-sol très solide et bien rangé (une sous-algèbre dense $A$) qui ressemble à un immeuble $C^*$ parfait. »

Il appelle cela une inclusion « localement régulière ».

L'analogie du jardin secret :
Imaginez un grand parc sauvage et un peu fou (votre algèbre $B$). Au milieu de ce parc, il y a un petit jardin secret, parfaitement taillé, avec des allées droites et des fleurs alignées (votre sous-algèbre $A$).
L'idée de Flores est la suivante : si vous pouvez vérifier que l'inspecteur se comporte bien dans ce petit jardin secret, et que ce jardin est « partout » dans le parc (dense), alors l'inspecteur ne peut pas devenir fou dans le reste du parc. Il est obligé d'être fiable partout.

Les résultats clés

L'auteur prouve deux choses principales avec cette idée :

1. Le théorème de la stabilité : Si votre algèbre contient ce « jardin secret » solide, et que ce jardin n'a pas de « trous » trop gros (pas d'idéaux de codimension finie), alors tous les inspecteurs (dérivations) sont automatiquement fiables. Ils ne peuvent pas faire de bêtises.
2. L'application aux ponts $L^p$ : Il applique cette idée aux « algèbres croisées $L^p$ ». Ce sont des structures mathématiques utilisées pour décrire comment des groupes (comme des symétries) agissent sur des espaces.
   • Il montre que pour de nombreux groupes (ceux qui ont une « croissance polynomiale », comme les groupes de nombres entiers ou les groupes finis), les inspecteurs sont toujours fiables, même dans ces structures complexes.

Pourquoi est-ce important ?

Avant ce papier, on savait que les inspecteurs étaient fiables dans les immeubles parfaits ($C^*$) ou dans certains cas très spécifiques. Mais pour les immeubles « $L^p$ » (qui sont très utiles en physique et en analyse), on avait des doutes.

Flores dit : « Peu importe si l'immeuble entier n'est pas parfait. Tant qu'il contient une partie solide et bien structurée, et que cette partie est assez grande, la stabilité est garantie. »

C'est comme dire : « Peu importe si votre maison a des murs un peu tordus, tant que le fondement en béton armé est solide et bien conçu, la maison ne s'effondrera pas sous la pression. »

En résumé

Ce papier résout un vieux problème mathématique en montrant que la stabilité (la continuité) des opérations dans des structures complexes est garantie par la présence d'une structure plus simple et plus rigide cachée à l'intérieur. Cela permet de sécuriser des théories mathématiques utilisées pour modéliser des phénomènes physiques réels, en s'assurant que de petites erreurs de mesure ne vont pas tout faire exploser.

Résumé technique

Voici un résumé technique détaillé de l'article « On the continuity of derivations over locally regular Banach algebras » de Felipe I. Flores, rédigé en français.

1. Problématique et Contexte

L'article s'intéresse au problème fondamental de la continuité automatique des dérivations sur les algèbres de Banach.

• Définition : Une dérivation $D: B \to X$ (où $B$ est une algèbre de Banach et $X$ un bimodule de Banach) est une application linéaire satisfaisant la règle de Leibniz : $D(ab) = D(a)b + aD(b)$.
• Contexte théorique : Il est établi (Ringrose) que toute dérivation sur une $C^*$-algèbre est automatiquement continue. Cependant, pour des algèbres de Banach plus générales, comme les algèbres de groupe $L^1(G)$, la question reste ouverte dans le cas général, bien que des résultats positifs existent pour certains types de groupes (abéliens, compacts, à croissance polynomiale).
• Objectif spécifique : L'auteur vise à étendre les résultats de continuité aux produits croisés $L^p$ ($F^p(G, X, \alpha)$) et aux produits croisés $L^p$ symétrisés ($F^p_*(G, X, \alpha)$). Ces algèbres ne sont généralement pas connues pour être semi-simples (sauf pour $p \in \{1, 2, \infty\}$), ce qui rend inapplicables les résultats classiques de Johnson et Sinclair basés sur la semi-simplicité.

2. Méthodologie et Concepts Clés

La méthodologie repose sur l'extension de l'approche de Longo (qui utilisait un calcul fonctionnel fort partout défini) en introduisant une notion plus flexible adaptée aux algèbres non involutives ou moins régulières.

A. Inclusions « Localement Régulières »

L'auteur introduit la notion d'inclusion localement régulière $A \subset B$ :

• $A$ est une sous-algèbre dense de $B$ qui est une $A^*$-algèbre (une algèbre de Banach involutive admettant une norme $C^*$).
• Pour tout élément auto-adjoint $b \in A$, la sous-algèbre fermée engendrée $A(b)$ est une algèbre fonctionnelle de Banach régulière.
• Cette condition permet de transférer des arguments de régularité (liés au spectre et au calcul fonctionnel) depuis $A$ vers $B$ de manière dense, sans exiger que $B$ soit involutive.

B. Techniques de Preuve

Les preuves utilisent une combinaison de :

1. Théorie spectrale et calcul fonctionnel : Utilisation de la régularité de $A(b)$ pour construire des séquences d'éléments orthogonaux ou à supports disjoints.
2. Idéaux de continuité : Analyse de l'idéal $I(D) = \{b \in B \mid a \mapsto D(ba) \text{ et } a \mapsto D(ab) \text{ sont continues}\}$.
3. Propriétés des idéaux de codimension finie : Démonstration que sous certaines hypothèses, l'intersection de l'idéal de continuité avec l'algèbre $A$ (ou son enveloppe $C^*$) est de codimension finie, ce qui force la continuité globale.
4. Interpolation de Riesz-Thorin : Utilisée pour établir les inclusions entre les algèbres $L^1$, les produits croisés $L^p$ et les algèbres $C^*$, notamment pour les versions symétrisées.

3. Résultats Principaux

L'article établit deux théorèmes centraux qui généralisent les travaux antérieurs (notamment ceux de Runde et de l'auteur lui-même dans [18]).

Théorème 1.1 (Théorème 2.9)

Soit $A \subset B$ une inclusion localement régulière. Si $A$ est unitaire et si l'algèbre $C^*$-enveloppante $C^*(A)$ n'a aucun idéal bilatère fermé propre de codimension finie, alors toute dérivation $D: B \to X$ (vers un bimodule de Banach) est continue.

• Apport : Cela élimine la nécessité pour $B$ d'être involutive ou semi-simple, se contentant de propriétés sur la sous-algèbre dense $A$.

Théorème 1.2 (Théorème 2.12)

Soit $A$ une $A^*$-algèbre et $B_1, B_2$ deux algèbres de Banach telles qu'il existe des homomorphismes continus injectifs $A \to B_i$ et $B_i \to C^*(A)$ commutant avec les diagrammes naturels. Si $A \to B_1$ est une inclusion localement régulière, alors toute dérivation $D: B_1 \to B_2$ est continue.

• Apport : Ce résultat s'applique particulièrement bien aux cas où le module cible est une complétion de l'algèbre source (ex: $X = B$ ou $X = C^*(B)$).

4. Applications aux Produits Croisés $L^p$

L'auteur applique ces théorèmes aux algèbres de produits croisés $L^p$, notées $F^p(G, X, \alpha)$ (plein) et $F^p_*(G, X, \alpha)$ (symétrisé).

• Construction : Il utilise des poids $w$ sur le groupe $G$ pour définir une sous-algèbre dense $E_w \subset L^1_\alpha(G, C_0(X))$.
• Condition de régularité : Pour des groupes $G$ localement finis dénombrables ou compactsment engendrés à croissance polynomiale, il existe un poids tel que $E_w$ satisfait la condition d'inclusion localement régulière (Lemme 3.3).

Corollaires Majeurs

1. Corollaire 3.4 (Produits symétrisés) : Pour $p, q \in [1, 2]$ et $G$ localement fini ou à croissance polynomiale, toute dérivation $D: F^p_*(G, X, \alpha) \to F^q_*(G, X, \alpha)$ est continue.
   • Intérêt : Cela couvre des cas comme $L^1 \to C^*$ ou $L^p \to L^p$ pour les algèbres symétrisées, là où les méthodes précédentes échouaient.
2. Corollaire 3.5 (Produits pleins) : Si $G$ est infini, localement fini ou à croissance polynomiale, et que l'action $\alpha$ est topologiquement libre sur tout sous-ensemble invariant fermé, alors toute dérivation $D: F^p(G, X, \alpha) \to X$ est continue.
   • Condition clé : L'absence d'idéaux de codimension finie dans $C^*(G)$ (liée à la liberté topologique de l'action).

5. Signification et Impact

• Généralisation des résultats existants : L'article dépasse les limitations des travaux antérieurs (comme [18]) qui nécessitaient souvent des hypothèses de symétrie ou de compacité forte. La notion d'inclusion localement régulière permet de traiter des algèbres non involutives.
• Résolution de cas ouverts pour les algèbres $L^p$ : Il fournit la première preuve de continuité automatique pour les dérivations sur les produits croisés $L^p$ (pour $p \neq 1, 2, \infty$), un domaine où la structure algébrique est complexe et la semi-simplicité souvent inconnue.
• Flexibilité méthodologique : En affaiblissant la condition de calcul fonctionnel (passant d'un calcul fonctionnel global à un calcul fonctionnel dense et régulier), l'auteur ouvre la voie à l'étude de la continuité automatique sur une classe beaucoup plus large d'algèbres de Banach, y compris les algèbres de pseudofonctions et les produits croisés tordus.

En résumé, cet article établit un cadre robuste pour prouver la continuité automatique des dérivations sur des algèbres de Banach non involutives en s'appuyant sur la présence d'une sous-algèbre dense « $C^*$-like » régulière, avec des applications directes et significatives à la théorie des opérateurs $L^p$.