Pure infiniteness and primary factorisation

Résumé Technique : Infinitude Pure et Factorisation Primaire

Énoncé du Problème
L'article étudie la Propriété de Factorisation Primaire (PFP) dans le contexte de la théorie des espaces de Banach et son interaction avec les propriétés de la théorie des anneaux de l'algèbre des opérateurs linéaires bornés, $B(E)$. Un espace de Banach $E$ possède la PFP si, pour tout opérateur $T \in B(E)$, l'opérateur identité $Id_E$ se factorise à travers $T$ ou à travers $Id_E - T$. Cette propriété est une forme d'opérateur-théorique forte de la primauté, souvent utilisée comme étape préliminaire pour prouver qu'un espace est primaire.

Les questions centrales abordées sont :

1. Un espace de Banach indécomposable (qui ne peut être écrit comme la somme directe de deux sous-espaces fermés de dimension infinie) peut-il posséder la PFP ?
2. Quelles sont les conséquences en théorie des anneaux de la PFP, spécifiquement concernant l'infinitude de Dedekind, l'infinitude propre et l'infinitude pure de $B(E)$ et de son quotient $A_E := B(E)/M_E$, où $M_E$ est l'ensemble des opérateurs à travers lesquels l'identité ne se factorise pas ?
3. Comment ces propriétés se comportent-elles sous les ultrapuissances ? Plus précisément, si $E$ possède la PFP (ou la version uniforme, UPFP), l'ultrapuissance du quotient $A_E$ est-elle purement infinie ?

Méthodologie
Les auteurs emploient une combinaison de la théorie des opérateurs, de la théorie de Fredholm et de la théorie des algèbres de Banach :

• Analyse de la structure des idéaux : Ils caractérisent $M_E$ comme l'idéal maximal unique de $B(E)$ lorsque $E$ possède la PFP. Cela permet l'étude de l'algèbre quotient $A_E$.
• Théorie de Fredholm : Les auteurs utilisent la continuité de l'indice de Fredholm et les propriétés des opérateurs de Fredholm pour dériver des contradictions concernant la structure des espaces indécomposables possédant la PFP.
• Dichotomie de factorisation : Ils analysent les constantes quantitatives impliquées dans la factorisation. Pour la PFP uniforme (UPFP), ils examinent si les constantes de factorisation sont uniformément bornées.
• Techniques d'ultrapuissance : L'article applique les résultats de Daws et Horváth concernant l'infinitude pure des ultrapuissances, qui dépend de la limite supérieure de la « constante d'infinitude pure » $C_{pi}(a)$ sur la sphère unité.
• Contre-exemples spécifiques et constructions : L'analyse repose fortement sur des espaces de Banach spécifiques, incluant l'espace de Read ($E_R$), l'espace de James ($J$), les espaces de suites classiques ($c_0, \ell_p$) et $C[0, \omega_1]$.

Contributions Clés et Résultats

1. Non-existence d'espaces PFP indécomposables (Théorème A)
L'article prouve qu'aucun espace de Banach réel ou complexe indécomposable ne possède la PFP.

• Méthode : La preuve suppose l'existence d'un tel espace et en déduit une contradiction. Si $E$ est indécomposable et possède la PFP, le quotient $B(E)/M_E$ doit être une algèbre de division (par Gelfand-Mazur). Cela implique que tout opérateur de Fredholm a un indice nul. Cependant, la PFP permet la construction d'un opérateur $L$ avec un noyau trivial mais un cokernel arbitrairement grand (via le Lemme 3.4), conduisant à un indice de Fredholm non nul. Cette contradiction établit que l'indécomposabilité et la PFP sont mutuellement exclusives.
• Corollaire : Ce résultat exclut la PFP pour les espaces héréditairement indécomposables, l'espace de Bourgain–Delbaen de Tarbard, les espaces $C(K)$ pour les compacts de Koszmider connectés, et l'espace primaire indécomposable de Gowers–Maurey.

2. Infinitude de la théorie des anneaux (Théorème B)
Les auteurs établissent les propriétés d'infinitude imposées par la PFP :

• Infinitude de Dedekind : Si $E$ est de dimension infinie et possède la PFP, $B(E)$ est Dedekind-infini. Ceci est montré en factorisant l'identité à travers le complément d'une projection de rang un, créant un idempotent équivalent à l'identité mais non égal à celle-ci.
• Infinitude propre : La PFP n'implique pas que $B(E)$ soit proprement infini. L'espace $C[0, \omega_1]$ possède la PFP, mais $B(C[0, \omega_1])$ n'est pas proprement infini car son quotient par $M_E$ est isomorphe à $\mathbb{C}$, et l'infinitude propre est préservée par les homomorphismes unitaux.
• Infinitude pure du quotient : Pour un espace complexe $E$ possédant la PFP, le quotient $A_E = B(E)/M_E$ est purement infini si et seulement si $A_E \not\cong \mathbb{C}$. Si $A_E \not\cong \mathbb{C}$, tout élément non nul dans le quotient permet de factoriser l'identité à travers lui.

3. Ultrapuissances et le problème scalaire
L'article examine si l'ultrapuissance $(A_E)_U$ est purement infinie.

• Cas limites scalaires : Les auteurs montrent que si $A_E \cong \mathbb{C}$ (comme dans les cas de $C[0, \omega_1]$ et de l'espace de James $J$), l'ultrapuissance n'est pas purement infinie. Ces cas servent de cas limites nécessaires, démontant que l'hypothèse $A_E \not\cong \mathbb{C}$ est essentielle pour l'infinitude pure des ultrapuissances.
• Espaces de suites classiques : Pour $E = c_0(\Gamma)$ ou $\ell_p(\Gamma)$, le quotient $A_E$ est non scalaire et possède une constante d'infinitude pure de 1. Par conséquent, leurs ultrapuissances sont purement infinies.
• Espace de Read ($E_R$) : L'article prouve que l'espace de Read ne possède pas la PFP uniforme (UPFP). La preuve utilise la structure de l'idéal de codimension un de Read $J_R$, qui devient un idéal non nul de carré nul modulo les opérateurs faiblement compacts. Cette structure de carré nul est incompatible avec les estimations uniformes requises pour l'UPFP.
• Questions Ouvertes : L'article formule la Question 6.3 et la Question 6.4, demandant s'il existe un espace de Banach complexe non scalaire avec la PFP (ou l'UPFP) tel que l'ultrapuissance de son quotient ne soit pas purement infinie. Les auteurs notent que bien que l'espace de Read échoue à l'UPFP, il reste une question ouverte de savoir s'il possède la PFP non uniforme. S'il en était ainsi, il fournirait un espace avec la PFP mais sans l'UPFP, bien que le quotient résultant serait toujours scalaire.

Signification et Revendications
L'article prétend résoudre la relation entre l'indécomposabilité et la PFP, montrant de manière définitive qu'elles ne peuvent coexister. Cela contraste avec l'existence d'espaces primaires indécomposables (Gowers–Maurey), clarifiant que la primauté n'implique pas nécessairement la dichotomie de factorisation plus forte de la PFP.

Le travail isole l'écart quantitatif pertinent pour les ultrapuissances, distinguant la dichotomie de factorisation qualitative (PFP) de la bornitude uniforme des constantes de factorisation (UPFP). Les auteurs démontrent que si les espaces de suites classiques satisfont les conditions les plus fortes (quotient non scalaire, UPFP, ultrapuissances purement infinies), d'autres espaces comme l'espace de James et $C[0, \omega_1]$ satisfont la PFP mais produisent des quotients scalaires, échouant au test de l'ultrapuissance.

L'article conclut en identifiant l'espace de Read comme un cas de test critique. Bien qu'il soit prouvé qu'il ne possède pas l'UPFP, la question de savoir s'il possède la PFP non uniforme reste ouverte. Une réponse positive fournirait un espace de Banach avec la PFP mais sans l'UPFP, bien que les auteurs mettent en garde que cela ne résoudrait pas la question de l'ultrapuissance non scalaire, car le quotient resterait scalaire. L'article délimite ainsi les frontières précises des connaissances actuelles concernant l'interaction entre les propriétés de factorisation, les structures d'idéaux et l'infinitude des algèbres d'opérateurs et de leurs ultrapuissances.