The class of Banach lattices is not primary

En s'appuyant sur des travaux récents concernant le problème des sous-espaces complémentés, cet article démontre que la classe des treillis de Banach n'est pas primaire en exhibant un espace $C(L)$ isomorphe à une somme directe de deux espaces qui ne sont eux-mêmes isomorphes à aucun treillis de Banach.

L'essentiel

Voici une explication simplifiée de ce papier mathématique, imaginée comme une histoire de construction et de casse-têtes.

Le Titre : "Les Banques de Données ne sont pas toujours pures"

Imaginez que les mathématiciens étudient des banques de données géantes (appelées espaces de Banach). Parmi elles, il y a une catégorie très spéciale et bien rangée qu'on appelle les Treillis de Banach (Banach Lattices).

On pourrait les comparer à une bibliothèque parfaitement organisée où chaque livre a sa place exacte, et où l'on peut facilement dire quel livre est "plus grand" ou "plus petit" qu'un autre. C'est un système très ordonné, prévisible et logique.

Pour longtemps, les mathématiciens se sont posé une question cruciale : Si vous prenez une de ces bibliothèques parfaites et que vous la divisez en deux moitiés, est-ce que ces deux moitiés sont aussi des bibliothèques parfaites ?

C'est ce qu'on appelle le problème de la "primarité". Si la réponse est "oui" pour toutes les bibliothèques, alors la classe est "primaire". Si la réponse est "non" pour au moins une, alors la classe n'est pas primaire.

L'Histoire : Le Grand Casse-Tête

L'auteur, Antonio Acuaviva, raconte comment il a résolu ce problème en construisant un monstre mathématique.

1. Le Défi : Diviser l'Indivisible

Imaginez que vous avez un immense gâteau (une bibliothèque parfaite, appelée $C(L)$).

• Les mathématiciens savaient déjà qu'on pouvait couper ce gâteau en deux morceaux : un morceau $X$ et un morceau $\tilde{X}$.
• Le problème, c'est que personne ne savait si ces deux morceaux pouvaient être réorganisés pour redevenir des bibliothèques parfaites.

Dans un travail précédent, d'autres chercheurs avaient prouvé qu'on pouvait couper le gâteau en deux, mais que l'un des morceaux n'était pas une bibliothèque parfaite. C'était une première victoire, mais pas totale.

2. La Solution d'Acuaviva : Le Double Jeu

Antonio Acuaviva a fait quelque chose de plus astucieux. Au lieu de juste couper un gâteau, il a construit deux gâteaux simultanément qui s'entremêlent comme des pièces de Lego.

Il a créé une structure où :

• Le gâteau total ($C(L)$) est la somme de deux pièces : $X$ et $\tilde{X}$.
• Le piège : Il a conçu les pièces $X$ et $\tilde{X}$ de manière à ce qu'elles soient toutes les deux des monstres désordonnés.

L'analogie du puzzle :
Imaginez que vous avez un puzzle magnifique et complet (le gâteau $C(L)$).

• Vous le coupez en deux tas.
• Habituellement, on s'attend à ce que chaque tas contienne des pièces qui pourraient former un autre puzzle complet.
• Ici, Acuaviva a mélangé les pièces de telle sorte que le tas de gauche ($X$) est un chaos impossible à ranger, et le tas de droite ($\tilde{X}$) est aussi un chaos impossible à ranger.

Même si le puzzle complet est parfait, aucune de ses deux moitiés ne peut être transformée en une structure ordonnée (un Treillis de Banach).

3. Comment a-t-il fait ? (La Magie Noire)

Pour y arriver, il a utilisé une technique très complexe appelée "construction transfinie".

• Imaginez que vous devez construire deux tours de Lego en même temps.
• À chaque étape, vous devez choisir où placer une brique.
• L'astuce d'Acuaviva a été de dire : "Je vais choisir mes briques non pas pour que la tour soit belle, mais pour que si quelqu'un essaie de la ranger plus tard, il échouera."
• Il a créé des "pièges" mathématiques. Il a prévu à l'avance toutes les façons dont quelqu'un pourrait essayer de réorganiser les pièces, et il a placé des obstacles invisibles pour empêcher l'ordre de s'installer.

Il a utilisé une infinité de choix possibles (comme s'il avait un nombre infini de couleurs de Lego) pour s'assurer que, peu importe comment on regarde les morceaux $X$ et $\tilde{X}$, ils ne ressembleront jamais à une bibliothèque ordonnée.

La Conclusion : Pourquoi c'est important ?

Ce papier prouve que l'ordre n'est pas toujours héréditaire.

• Avant : On pensait peut-être que si une structure mathématique est parfaite, ses parties le sont aussi.
• Maintenant : On sait que ce n'est pas vrai. On peut avoir un objet parfait qui, une fois coupé, donne deux objets "sales" et désordonnés qui ne peuvent plus jamais redevenir propres.

Cela répond à une question posée par d'autres chercheurs (De Hevia et Tradacete) et ferme un chapitre important de l'histoire des mathématiques sur la façon dont les espaces infinis peuvent être divisés.

En résumé :
Antonio Acuaviva a construit un château de cartes parfait. Il l'a coupé en deux. Résultat ? Ni la moitié gauche, ni la moitié droite ne ressemblent à un château de cartes. Elles sont devenues des tas de cartes en désordre irrécupérables. La classe des "châteaux de cartes parfaits" n'est donc pas "primaire".

Résumé technique

Voici un résumé technique détaillé du papier « The Class of Banach Lattices Is Not Primary » d'Antonio Acuaviva, rédigé en français.

1. Contexte et Problématique

Le problème de l'espace complémentaire (Complemented Subspace Problem)
Ce papier s'inscrit dans le cadre de la résolution du problème de l'espace complémentaire pour les espaces $C(K)$ et les treillis de Banach. Ce problème, posé de longue date, demande si tout sous-espace complémentaire d'un espace de la classe est nécessairement isomorphe à un élément de cette même classe.

• Travaux antérieurs :
  • Plebanek et Salguero-Alarcón [5] ont résolu le problème pour les espaces $C(K)$ en construisant un espace compact $L$ tel que $C(L) \simeq C(K) \oplus PS_2$, où $PS_2$ n'est isomorphe à aucun espace $C(K)$.
  • De Hevia, Martínez-Cervantes, Salguero-Alarcón et Tradacete [1] ont ensuite montré que l'espace $PS_2$ n'est même pas isomorphe à un treillis de Banach.
• La question ouverte :
  Malgré ces résultats, il restait à déterminer si la classe des treillis de Banach est primaire. Un espace de Banach $E$ est dit primaire si, pour toute décomposition $E \simeq X \oplus Y$, l'un des deux espaces ($X$ ou $Y$) est isomorphe à $E$. Plus généralement, une classe d'espaces est primaire si tout espace de la classe qui se décompose en une somme directe d'espaces de la classe implique que l'un des facteurs est isomorphe à l'espace original (ou que la classe est fermée sous ces décompositions de manière triviale).
  La question spécifique, soulevée par De Hevia et Tradacete [2, Question 4], était de savoir si l'on pouvait trouver un espace $C(L)$ qui se décompose en $X \oplus \tilde{X}$ où ni $X$ ni $\tilde{X}$ n'est isomorphe à un treillis de Banach.

2. Méthodologie et Construction

L'auteur construit un contre-exemple en s'appuyant sur une construction transfinie simultanée, une extension technique des travaux de Plebanek et Salguero-Alarcón.

Outils mathématiques clés :

• Espaces de Johnson-Lindenstrauss ($JL(\mathcal{B})$) : Ces espaces sont définis comme l'enveloppe linéaire fermée de fonctions caractéristiques d'une famille presque disjoints $\mathcal{B}$ de sous-ensembles de $\omega$ (ou $\omega \times 2$). Ils sont isométriques à des espaces $C(K)$ pour des compacts $K$ spécifiques (espaces d'Alexandrov-Urysohn).
• Décomposition des mesures : L'analyse repose sur la structure du dual $JL(\mathcal{B})^*$, isomorphe à l'espace des mesures $M(\mathcal{B})$, qui se décompose en une partie $\ell_1(\omega)$ (partie atomique sur les points isolés) et une partie $\ell_1(\mathfrak{c})$ (liée à la famille presque disjoints).
• Propriété (DP) : L'auteur utilise la « Propriété de De Hevia et al. » (DP). Un espace $X$ possède la (DP) si pour toute suite normante $(e^*_n)$ dans le dual, il existe un élément $f \in X$ tel qu'aucun $g \in X$ ne satisfasse $\langle e^*_n, g \rangle = |\langle e^*_n, f \rangle|$ pour tout $n$. Selon [1], si un espace satisfait la (DP) et vérifie certaines conditions de dualité (dual isomorphe à $\ell_1(\Gamma)$), il n'est pas isomorphe à un treillis de Banach.

La construction simultanée :
Au lieu d'une seule construction, l'auteur en réalise deux simultanément sur deux copies disjointes de $\omega \times 2$ (notées $\omega \times 2$ et $\tilde{\omega} \times 2$).

1. Familles presque disjointes : On construit deux familles de cylindres $\mathcal{A} = \{A_\xi\}$ et $\tilde{\mathcal{A}} = \{\tilde{A}_\xi\}$, ainsi que leurs séparations $\mathcal{B} = \{B^0_\xi, B^1_\xi\}$ et $\tilde{\mathcal{B}} = \{\tilde{B}^0_\xi, \tilde{B}^1_\xi\}$.
2. Espaces résultants : On définit deux espaces :
   • $X = JL(\tilde{\mathcal{A}}) \oplus Y$ (où $Y$ est le noyau d'une projection sur $JL(\mathcal{B})$).
   • $\tilde{X} = JL(\mathcal{A}) \oplus \tilde{Y}$.
     On a alors l'isomorphisme global : $C(L) \simeq JL(\mathcal{B}, \tilde{\mathcal{B}}) \simeq X \oplus \tilde{X}$.
3. Stratégie de l'induction transfinie : Pour chaque ordinal $\xi < \mathfrak{c}$, on choisit des ensembles et des séparations de manière à « piéger » les suites normantes potentielles.
   • L'idée centrale est d'empêcher la séparation des mesures. Pour chaque séquence de mesures candidate (codée par des ensembles de Type-1 et Type-2), on s'assure qu'il existe des sous-ensembles infinis où les mesures ne peuvent pas être séparées par les algèbres de Boole construites jusqu'à l'étape $\xi$.
   • Cela utilise des arguments de comptage (Haydon) et le lemme de Rosenthal pour extraire des sous-suites avec des propriétés de comportement spécifiques (valeurs proches de $\pm 2a$ ou $0$).

3. Résultats Principaux

Théorème 1.1 (Résultat principal) :
Il existe un espace compact de Hausdorff $L$ et deux espaces de Banach $X$ et $\tilde{X}$ tels que :
$$C(L) \simeq X \oplus \tilde{X}$$
et ni $X$ ni $\tilde{X}$ n'est isomorphe à un treillis de Banach.

Preuve de la non-isomorphie :
La preuve repose sur la démonstration que $X$ (et symétriquement $\tilde{X}$) possède la propriété (DP).

• On prend une suite normante $(e^*_n)$ dans $X^*$.
• Grâce à la construction, on peut identifier cette suite à une suite codée $(\lambda^\xi_n)$ pour un certain $\xi < \mathfrak{c}$.
• On définit un élément candidat $f = 1_{B^0_\xi} - 1_{B^1_\xi} \in X$.
• Par l'absurde, si un $g$ existait tel que $\langle \lambda_n, g \rangle = |\langle \lambda_n, f \rangle|$, on montre que cela impliquerait une séparation des mesures sur des ensembles infinis spécifiques ($J^\xi_1$ et $J^\xi_0 \setminus J^\xi_1$).
• Cependant, la construction garantit que ces paires de mesures ne sont pas séparées par les algèbres de Boole correspondantes (Propriété P2). Cette contradiction prouve que la propriété (DP) est satisfaite, et donc que $X$ n'est pas un treillis de Banach.

4. Contributions et Significativité

• Résolution d'une question ouverte : Ce papier répond négativement à la question 4 de De Hevia et Tradacete, confirmant que la classe des treillis de Banach n'est pas primaire.
• Extension aux espaces $C(K)$ : En conséquence directe, la classe des espaces $C(K)$ n'est pas primaire non plus (car $C(L)$ se décompose en deux espaces qui ne sont pas des $C(K)$, ni même des treillis).
• Méthodologie innovante : L'auteur développe une technique de construction « en miroir » (simultanée) qui permet d'interférer avec la structure des deux facteurs de la somme directe. Cela permet de briser la structure de treillis des deux côtés simultanément, ce qui n'était pas possible avec la construction antérieure de Plebanek et Salguero-Alarcón (qui ne produisait qu'un facteur non-treillis).
• Généralité : Les arguments peuvent être adaptés (avec des modifications mineures) pour montrer que le résultat vaut également pour les treillis de Banach complexes.

Conclusion :
Ce travail démontre que la propriété d'être un treillis de Banach (ou un espace $C(K)$) n'est pas préservée par la décomposition en somme directe, même lorsque l'espace total possède cette propriété. Cela établit une limite fondamentale dans la structure des espaces de Banach et enrichit la compréhension des sous-espaces complémentaires.