$(\lambda^+)$-injective Banach spaces

Cet article résout le cas restant $\lambda > 2$ du théorème oublié de Pełczyński en construisant un espace de Banach $(\lambda^+)$-injectif qui n'est pas $\lambda$-injectif, complétant ainsi le résultat pour tout $\lambda > 1$ et améliorant par ailleurs la borne supérieure de la distance de Banach-Mazur entre $L_\infty[0,1]$ et $\ell_\infty$.

L'essentiel

Voici une explication simplifiée de ce papier de recherche mathématique, imaginée comme une histoire de construction et de mesure.

Le Titre : « Des espaces qui résistent à la déformation »

Imaginez que les mathématiques de ce papier parlent de châteaux de cartes (des espaces mathématiques appelés « espaces de Banach ») et de la façon dont on peut les étirer ou les compresser sans qu'ils ne s'effondrent.

Les auteurs, Tomasz Kania et Grzegorz Lewicki, résolvent un vieux mystère posé par un mathématicien nommé Pełczyński il y a des décennies.

---

1. Le Problème : La « Résistance » parfaite vs imparfaite

Pour comprendre l'histoire, il faut imaginer deux types de propriétés pour ces châteaux de cartes :

• La propriété « $\lambda$-injective » : C'est comme si votre château avait un bouclier magique. Si quelqu'un essaie de le déformer (en appliquant une force ou une transformation), votre bouclier permet de réparer la déformation avec une perte d'énergie très précise, disons un facteur $\lambda$. Si $\lambda = 1$, c'est un bouclier parfait (aucune perte). Si $\lambda = 2$, vous perdez un peu plus d'énergie.
• La propriété « $(\lambda+)$-injective » : C'est un bouclier presque parfait. Il résiste très bien, presque aussi bien que le facteur $\lambda$, mais il y a toujours une toute petite faille infinitésimale. On peut s'en approcher autant qu'on veut, mais on ne l'atteint jamais tout à fait.

Le mystère de Pełczyński :
Il avait deviné (mais sans preuve écrite) que pour n'importe quel niveau de résistance $\lambda$ (par exemple 1,5 ou 10), on pouvait construire un château qui a un bouclier « presque parfait » (il résiste à 1,500001 fois la déformation) mais qui n'a pas le bouclier parfait (il ne résiste pas exactement à 1,5 fois).

Jusqu'à présent, les mathématiciens avaient prouvé cela pour les petits nombres (entre 1 et 2). Mais pour les grands nombres (au-dessus de 2), c'était un mystère total. C'est là que ce papier intervient.

---

2. La Solution : La Machine à « Zéro-Somme »

Pour résoudre le problème des grands nombres, les auteurs inventent une machine mathématique géniale qu'ils appellent le sous-espace « somme nulle » (Zero-sum subspace).

L'analogie du groupe de danseurs :
Imaginez que vous avez un groupe de $N$ danseurs (ce sont des vecteurs mathématiques).

• Normalement, ils peuvent bouger comme ils veulent.
• La machine « somme nulle » impose une règle stricte : la somme de leurs mouvements doit être exactement zéro. Si l'un avance de 3 pas, les autres doivent reculer pour compenser.

Pourquoi est-ce génial ?
Les auteurs découvrent que cette règle de « compensation » agit comme un multiplicateur de difficulté.

• Si votre château de départ avait une difficulté de résistance de 1,5.
• En appliquant cette machine avec un certain nombre de danseurs ($N$), la difficulté devient $1,5 \times \text{un facteur magique}$.
• Ce facteur magique est un peu moins que 2 (par exemple 1,9).

L'astuce de l'escalier :
Si vous voulez atteindre une difficulté très élevée (disons 10), vous ne pouvez pas y arriver d'un coup. Mais vous pouvez répéter l'opération !

1. Vous prenez un château de difficulté 1,5.
2. Vous appliquez la machine : la difficulté devient $1,5 \times 1,9 = 2,85$.
3. Vous prenez ce nouveau château et vous appliquez encore la machine : $2,85 \times 1,9 = 5,4$.
4. Vous recommencez encore... et vous pouvez atteindre n'importe quel nombre que vous voulez, aussi grand soit-il.

C'est exactement ce que font les auteurs : ils prennent un exemple simple (déjà connu pour les petits nombres) et ils l'empilent sur lui-même plusieurs fois avec leur machine « somme nulle » pour atteindre n'importe quelle valeur $\lambda$ supérieure à 2.

Le résultat final (Théorème A) :
Ils prouvent que pour n'importe quel nombre $\lambda$ (plus grand que 1), on peut construire un espace mathématique qui est « presque » aussi résistant que $\lambda$, mais jamais tout à fait. Le mystère de Pełczyński est résolu !

---

3. Le Bonus : La Distance entre deux mondes (Théorème B)

À la fin du papier, ils abordent un autre sujet : la distance de Banach-Mazur.
Imaginez que vous avez deux objets très différents, par exemple un cube de glace ($L^\infty$) et une boîte de sable ($\ell^\infty$). Ils ont des formes différentes, mais ils sont tous deux faits de la même « matière » mathématique.

La question est : à quel point faut-il déformer l'un pour qu'il ressemble exactement à l'autre ?

Les auteurs montrent que si deux objets mathématiques ont une propriété spéciale (ils sont « isométriquement carrés », ce qui signifie qu'ils peuvent se coller à eux-mêmes pour former un objet plus grand sans changer de forme), alors la distance entre eux ne peut pas être trop grande.

Ils calculent une limite précise : 9 + 6 racine de 3 (environ 19,4).
C'est une amélioration par rapport à une estimation précédente (environ 19,5). C'est comme si on avait dit : « On pensait qu'il fallait 19,5 tours de vis pour transformer un cube en sable, mais en fait, on peut le faire avec seulement 19,4 tours ».

En résumé

1. Le but : Prouver qu'on peut créer des espaces mathématiques avec un niveau de résistance « presque parfait » mais jamais « parfait », pour n'importe quel niveau de difficulté.
2. La méthode : Utiliser une construction ingénieuse (la « somme nulle ») qui permet de multiplier la difficulté par étapes, comme monter un escalier, pour atteindre n'importe quel nombre.
3. L'impact : Cela complète une théorie mathématique vieille de plusieurs décennies et améliore notre compréhension de la « distance » entre différentes formes mathématiques.

C'est une victoire de la logique et de la créativité : en combinant des briques simples de manière intelligente, les auteurs ont pu construire une solution à un problème qui semblait bloqué.

Résumé technique

Voici un résumé technique détaillé de l'article « (λ+)-INJECTIVE BANACH SPACES » de Tomasz Kania et Grzegorz Lewicki, rédigé en français.

1. Problématique et Contexte

L'article s'inscrit dans le cadre de la théorie des espaces de Banach injectifs. Un espace de Banach $X$ est dit $\lambda$-injectif ($\lambda \ge 1$) si tout opérateur borné défini sur un sous-espace d'un espace de Banach arbitraire $Z$ à valeurs dans $X$ peut être prolongé à $Z$ avec une perte de norme d'au plus un facteur $\lambda$.

Le problème central abordé par les auteurs concerne l'existence d'espaces $(\lambda+)$-injectifs mais non $\lambda$-injectifs.

• Un espace est $(\lambda+)$-injectif s'il est $(\lambda+\varepsilon)$-injectif pour tout $\varepsilon > 0$.
• La question de l'existence d'espaces séparant ces deux notions pour tout $\lambda > 1$ remonte à un théorème oublié d'Alfred Pełczyński.
• Dans un article précédent (Studia Math., 2023), les auteurs avaient résolu ce problème pour l'intervalle $\lambda \in (1, 2]$.
• Le cas ouvert : La plage complémentaire $\lambda \in (2, \infty)$ restait non résolue. Les techniques précédentes, basées sur des hyperplans (noyaux de fonctionnelles singulières), étaient limitées par le fait que la constante de projection d'un hyperplan est au plus 2, ce qui empêchait d'atteindre des valeurs de $\lambda > 2$.

2. Méthodologie et Construction Clé

Pour surmonter la barrière $\lambda = 2$, les auteurs développent une approche constructive et explicite reposant sur un dispositif unique : le sous-espace à somme nulle (zero-sum subspace).

Le dispositif $\Sigma_N(Y)$

Soit $Z$ un espace 1-injectif et $Y \subset Z$ un sous-espace fermé dont la constante de projection relative $\lambda(Y, Z) = \alpha$ n'est pas atteinte (c'est-à-dire qu'il n'existe pas de projection de norme exactement $\alpha$).

Les auteurs définissent pour un entier $N \ge 2$ :

1. L'espace produit $Z^N_\infty$ muni de la norme $\ell_\infty$.
2. Le sous-espace à somme nulle :
   $$\Sigma_N(Y) := \left\{ (y_1, \dots, y_N) \in Y^N_\infty : \sum_{i=1}^N y_i = 0 \right\}$$
3. Une projection de centrage $S^X_N$ dont la norme est $\mu_N = 2 - \frac{2}{N}$.

Le Lemme Fondamental (Lemme 3.2)

Le résultat central de la construction est que si la constante de projection relative de $Y$ dans $Z$ est $\alpha$ et n'est pas atteinte, alors la constante de projection relative de $\Sigma_N(Y)$ dans $Z^N_\infty$ est :
$$\lambda(\Sigma_N(Y), Z^N_\infty) = \mu_N \cdot \alpha$$
Crucialement, la non-atteinte de l'infimum est préservée.

Stratégie d'itération

Puisque $\mu_N < 2$ et que $\mu_N \to 2$ lorsque $N \to \infty$, les auteurs peuvent itérer cette opération. En appliquant la construction $\Sigma_N$ $m$ fois, on obtient un espace dont la constante de projection relative est $\mu_N^m \cdot \alpha$.
En choisissant judicieusement $N$ et $m$, on peut faire en sorte que ce produit corresponde à n'importe quel $\lambda > 2$ souhaité, tout en partant d'un $\alpha \in (1, 2]$ (résolu dans l'article précédent).

3. Résultats Principaux

Théorème A : Résolution complète du théorème de Pełczyński

Pour tout $\lambda > 1$, il existe un espace de Banach qui est $(\lambda+)$-injectif mais pas $\lambda$-injectif.

• Cas $\lambda \in (1, 2]$ : Résolu par renormage de $\ell_\infty$ dans l'article précédent.
• Cas $\lambda > 2$ : Résolu par la construction itérative du sous-espace à somme nulle décrite ci-dessus.
• Conséquence structurelle : Les espaces construits pour $\lambda > 2$ sont des sous-espaces de sommes finies de $\ell_\infty$, qui sont isométriquement isomorphes à $\ell_\infty$. Ainsi, pour tout $\lambda > 1$, un tel espace peut être réalisé comme un sous-espace de $\ell_\infty$.

Théorème B : Bornes sur la distance de Banach-Mazur

Les auteurs établissent une borne supérieure pour la distance de Banach-Mazur entre deux espaces de Banach $X$ et $Y$ satisfaisant :

1. $X$ et $Y$ sont isométriques à des sous-espaces 1-complémentés l'un de l'autre.
2. $X$ et $Y$ sont « isométriquement carrés » (c'est-à-dire isométriques à $X \oplus_\infty X$ et $Y \oplus_\infty Y$ respectivement).

Sous ces hypothèses :
$$d_{BM}(X, Y) \le 9 + 6\sqrt{3} \approx 19,39$$

Application Corollaire :
Cette borne améliore le résultat récent de Korpalski et Plebanek pour la distance entre $L_\infty[0, 1]$ et $\ell_\infty$ :
$$d_{BM}(L_\infty[0, 1], \ell_\infty) \le 9 + 6\sqrt{3}$$
(L'ancienne borne était $(3+\sqrt{2})^2 \approx 19,49$).

La preuve du Théorème B repose sur la construction explicite d'une famille d'isomorphismes à un paramètre et l'optimisation de leur norme et de celle de leur inverse.

4. Signification et Impact

1. Clôture d'un problème ouvert : L'article complète définitivement la preuve du théorème de Pełczyński concernant l'existence d'espaces séparant l'injectivité stricte et l'injectivité $(\lambda+)$ pour tout $\lambda > 1$.
2. Nouvelle technique constructive : L'introduction du sous-espace à somme nulle $\Sigma_N(Y)$ comme outil pour multiplier les constantes de projection tout en préservant la non-atteinte est une innovation méthodologique significative. Elle permet de dépasser les limitations des techniques d'hyperplans.
3. Explicitation : Contrairement à de nombreux résultats d'existence en analyse fonctionnelle, la construction proposée est entièrement explicite, permettant de réaliser les contre-exemples comme sous-espaces de $\ell_\infty$.
4. Amélioration des bornes quantitatives : Le résultat sur la distance de Banach-Mazur fournit une meilleure estimation quantitative pour la relation entre les espaces $L_\infty$ et $\ell_\infty$, deux objets fondamentaux en analyse.

En résumé, ce travail résout une question ouverte majeure en combinant des techniques de géométrie des espaces de Banach avec des constructions algébriques précises, offrant à la fois une solution théorique complète et des bornes numériques améliorées.