Regularity results for classes of Hilbert C*-modules with respect to special bounded modular functionals

Cet article établit l'unicité de l'extension du fonctionnel nul pour certaines paires de modules hilbertiens sur des W*-algèbres, des C*-algèbres monotone complètes ou compactes, et caractérise l'existence d'un fonctionnel séparant non trivial par la présence d'opérateurs modulaires bornés non adjointables dont le noyau n'est pas biorthogonalement fermé.

L'essentiel

Le Titre : "Peut-on distinguer deux pièces qui semblent ne faire qu'une ?"

Imaginez que vous êtes un architecte travaillant avec des bâtiments mathématiques appelés modules de Hilbert C* (des espaces complexes où l'on peut faire des calculs comme dans la géométrie, mais avec des règles plus strictes).

Dans ce monde, il y a deux types de "pièces" (des sous-espaces) :

1. La petite pièce (M) : Un sous-ensemble d'un grand bâtiment (N).
2. Le grand bâtiment (N) : L'espace complet.

Le problème central :
Parfois, la petite pièce $M$ est si bien intégrée dans le grand bâtiment $N$ qu'il n'y a aucun espace vide entre elles. En mathématiques, on dit que le "complément orthogonal" est nul ($M^\perp = \{0\}$). C'est comme si $M$ remplissait $N$ de manière si dense qu'il est impossible de trouver un coin dans $N$ qui ne touche pas $M$.

La question que pose l'auteur, Michael Frank, est la suivante :

"Si je pose une règle simple sur la petite pièce $M$ (par exemple : 'tout doit valoir zéro'), puis-je étendre cette règle au grand bâtiment $N$ d'une manière non triviale ?"

Autrement dit : Si je dis "Rien n'a de valeur ici" sur la petite pièce, est-ce que je suis obligé de dire "Rien n'a de valeur nulle part" sur tout le bâtiment ? Ou existe-t-il une "règle secrète" qui dit "C'est zéro ici, mais ça peut être autre chose là-bas" ?

L'Analogie du "Mur Invisible"

Imaginez que $M$ et $N$ sont deux étages d'un immeuble.

• Dans un immeuble normal (les espaces de Hilbert classiques, comme en physique), si vous ne trouvez aucun espace vide entre l'étage du bas et le haut, c'est que c'est le même étage.
• Mais dans ce monde mathématique spécial (les algèbres C*), il existe des situations bizarres où l'on pourrait penser qu'il y a un "mur invisible" séparant les deux, même s'ils se touchent partout.

Certains mathématiciens (Kaad et Skeide) avaient trouvé un exemple où ce mur invisible existait vraiment. Ils avaient montré qu'on pouvait avoir une règle qui dit "Zéro en bas" mais "Pas zéro en haut", même si les deux étages sont collés.

Le but de ce papier :
Michael Frank dit : "Attendez, ce mur invisible n'existe pas partout ! Il n'existe que dans des bâtiments mal construits. Si nous utilisons des matériaux de construction spéciaux et solides, ce mur disparaît."

Les "Matériaux de Construction" Solides

L'auteur prouve que pour trois types de matériaux mathématiques très robustes, le mur invisible n'existe pas. Si vous utilisez l'un de ces matériaux, la seule façon d'étendre la règle "Zéro" de la petite pièce au grand bâtiment est de dire "Zéro partout".

Voici ces trois matériaux magiques :

1. Les Algèbres W* (ou von Neumann) :

   • L'analogie : Imaginez un bâtiment en béton armé. C'est une structure si solide et "complète" qu'il n'y a aucun trou, aucune faille. Si vous essayez de cacher une différence entre deux parties, la structure elle-même vous force à les voir comme identiques.
   • Résultat : Pas de mur invisible. La règle "Zéro" reste "Zéro".

2. Les Algèbres C* Monotones Complètes :

   • L'analogie : Imaginez un bâtiment construit avec des briques qui s'ajustent parfaitement les unes aux autres, sans aucun espace vide possible, même si vous regardez très près. C'est une structure "parfaite" où les limites sont toujours atteintes.
   • Résultat : Même chose. Impossible de créer une règle secrète.

3. Les Algèbres C* Compactes :

   • L'analogie : Imaginez un bâtiment fait de pixels ou de petits blocs finis (comme un jeu vidéo en basse résolution). Parce que tout est fait de petits blocs discrets, on ne peut pas cacher de "trous" infinis entre les pièces.
   • Résultat : Si les pièces se touchent, elles sont vraiment la même chose.

La Conclusion de l'Histoire

L'auteur nous dit essentiellement :

• Avant : On pensait que dans le monde mathématique des modules C*, on pouvait avoir des situations où deux choses se touchent partout mais restent différentes (comme dans l'exemple de Kaad et Skeide).
• Maintenant : On sait que si vous travaillez avec des structures "parfaites" (les trois types ci-dessus), cette bizarrerie disparaît. La seule façon d'étendre une fonction nulle est de rester nulle.

Pourquoi est-ce important ?
C'est comme si l'on découvrait que dans certains types de villes (les villes "monotones complètes"), il est impossible de construire un mur secret entre deux quartiers qui se touchent. Cela aide les mathématiciens à savoir où ils peuvent faire confiance à leurs règles et où ils doivent être prudents.

Il corrige aussi une vieille erreur dans un livre de 2002 (Lemma 2.4 de Frank), en montrant que la règle fonctionnait pour les structures solides, mais pas pour toutes les structures mathématiques possibles.

En résumé très simple

Imaginez que vous essayez de peindre un mur blanc sur une pièce qui est déjà blanche.

• Dans certains cas bizarres, vous pourriez penser que vous avez peint un mur invisible qui change la couleur sans qu'on le voie.
• Michael Frank dit : "Non, si vous utilisez de la peinture de haute qualité (les algèbres W* ou compactes), c'est impossible. Si vous ne voyez pas de différence, c'est qu'il n'y en a pas. La seule peinture possible est celle qui ne change rien."

C'est une victoire pour la régularité et la prévisibilité dans un monde mathématique qui peut parfois être très chaotique.

Résumé technique

1. Problématique et Contexte

L'article s'attaque à un problème fondamental dans la théorie des modules de Hilbert $C^*$, suscité par un contre-exemple remarquable récent de J. Kaad et M. Skeide (2023).

Le problème central :
Soit $A$ une algèbre $C^*$ et $M \subset N$ deux modules de Hilbert $A$-modules tels que le complémentaire orthogonal de $M$ dans $N$ soit trivial, c'est-à-dire $M^\perp = \{0\}$.
La question est de savoir s'il existe une extension non triviale du fonctionnel nul défini sur $M$ vers $A$ à l'ensemble $N$. Autrement dit, existe-t-il un fonctionnel linéaire borné $A$-linéaire $r_0 : N \to A$ tel que :

1. $r_0|_M = 0$ (il s'annule sur $M$),
2. $r_0 \neq 0$ (il n'est pas identiquement nul sur $N$).

Dans le cas des espaces de Hilbert classiques, une telle situation est impossible car $M^\perp = \{0\}$ implique $M$ est dense, et par continuité, tout fonctionnel nul sur un sous-espace dense est nul partout. Cependant, pour les modules de Hilbert $C^*$ généraux, la dualité et la complétude présentent des subtilités (non-auto-dualité, opérateurs non adjointables) qui rendent ce problème non trivial.

2. Méthodologie

L'auteur adopte une approche structurée pour identifier des classes de modules de Hilbert $C^*$ où ce phénomène de séparation par des fonctionnels non nuls ne se produit pas. La méthodologie repose sur :

• L'analyse de la dualité et de l'auto-dualité : Utilisation des propriétés des modules auto-duaux (notamment sur les algèbres $W^*$ et monotones complètes) et de la convergence $\tau^o_2$ (convergence d'ordre).
• L'étude des opérateurs modulaires : Lien établi entre l'existence d'un tel fonctionnel $r_0$ et l'existence d'opérateurs bornés $T_0 : N \to N$ dont le noyau n'est pas bi-orthogonalement fermé (c'est-à-dire $\text{Ker}(T_0) \neq \text{Ker}(T_0)^{\perp\perp}$).
• La théorie des algèbres de coefficients : Investigation spécifique sur trois classes d'algèbres $C^*$ :
  1. Les algèbres $W^*$ (algèbres de von Neumann).
  2. Les algèbres $C^*$ monotones complètes.
  3. Les algèbres $C^*$ compactes.
• L'analyse des idéaux modulaires : Étude des idéaux maximaux à droite modulaires dans les algèbres $C^*$ générales.

3. Contributions Clés et Résultats Principaux

A. Unicité de l'extension pour les algèbres "bonnes"

Le résultat principal (Théorèmes 3.8 et 5.1) établit que pour les classes suivantes, l'extension unique du fonctionnel nul est le fonctionnel nul lui-même :

• Algèbres $W^*$ et monotones complètes : Si $A$ est une algèbre $C^*$ monotone complète et $M \subset N$ avec $M^\perp = \{0\}$, alors $M' = N'$ (les modules duaux isométriquement coïncident). Par conséquent, tout fonctionnel borné $A$-linéaire s'annulant sur $M$ est nul sur $N$.
• Algèbres $C^*$ compactes : Pour ces algèbres, tout module de Hilbert possède une base orthogonale et tout sous-module est un facteur direct orthogonal. Si $M^\perp = \{0\}$, alors $M = N$, rendant l'unicité triviale mais fondamentale.

B. Caractérisation via les opérateurs non adjointables

L'article fournit une perspective nouvelle reliant les fonctionnels séparateurs aux opérateurs modulaires (Théorème 4.4 et Propositions 4.2-4.3) :

• L'existence d'un fonctionnel non nul $r_0 : N \to A$ s'annulant sur $M$ (avec $M^\perp=\{0\}$) est équivalente à l'existence d'un opérateur borné $T_0 : N \to N$ tel que son noyau contienne $M$ mais ne soit pas bi-orthogonalement fermé ($\text{Ker}(T_0) \neq \text{Ker}(T_0)^{\perp\perp}$).
• Pour les algèbres monotones complètes et compactes, tous les noyaux d'opérateurs bornés sont bi-orthogonalement fermés, ce qui exclut l'existence de tels fonctionnels.

C. Correction de résultats antérieurs

L'auteur corrige et valide la Lemme 2.4 de M. Frank (2002) pour les cas des algèbres monotones complètes et compactes. Il démontre que ce lemme est faux pour certaines algèbres $C^*$ générales (comme le montrent Kaad et Skeide), mais qu'il tient pour les classes "régulières" étudiées ici.

D. Cas des idéaux maximaux modulaires

Pour une algèbre $C^*$ générale $A$ et un idéal maximal à droite modulaire $D \subset A$ :

• Le fonctionnel nul sur $D$ admet une unique extension (le zéro) sur son bicomplémentaire $D^{\perp\perp}$ dans $A$.
• Si $D^{\perp\perp} = A$ (cas général où l'annihilateur gauche n'est pas dans $A$), alors tout fonctionnel s'annulant sur $D$ est nul sur $A$.

4. Signification et Implications

• Stabilité de la théorie : Ces résultats montrent que, bien que la théorie générale des modules de Hilbert $C^*$ souffre de pathologies (comme l'absence de bases outhonormales ou la non-auto-dualité), ces pathologies disparaissent pour des classes importantes d'algèbres (monotones complètes, compactes, $W^*$). Dans ces contextes, le comportement est analogue à celui des espaces de Hilbert classiques.
• Nouvelle perspective sur les opérateurs : Le lien établi entre les fonctionnels séparateurs et les opérateurs dont le noyau n'est pas bi-orthogonalement fermé ouvre une nouvelle voie pour l'étude des opérateurs non adjointables et des multiplicateurs à gauche.
• Révision de la littérature : L'article force une réévaluation de certains résultats antérieurs (notamment ceux de Manuilov) qui supposaient implicitement des propriétés de régularité qui ne sont pas vraies pour toutes les algèbres $C^*$. Il clarifie les conditions nécessaires pour que l'extension des fonctionnels soit unique.

Conclusion

Michael Frank démontre que pour les algèbres $C^*$ monotones complètes, compactes et $W^*$, la situation des modules de Hilbert avec un complémentaire orthogonal trivial est "régulière" : il n'existe pas de fonctionnel borné non nul s'annulant sur le sous-module. Ce résultat repose sur la propriété que les noyaux des opérateurs bornés sont bi-orthogonalement fermés dans ces contextes, éliminant ainsi les contre-exemples pathologiques trouvés dans le cas général.