Pure infiniteness and primary factorisation

Technische Samenvatting: Pure Oneindigheid en Primaire Factorisatie

Probleemstelling
Het artikel onderzoekt de Primaire Factorisatie Eigenschap (PFP) in de context van de Banachruimtetheorie en de wisselwerking met ringtheoretische eigenschappen van de algebra van begrensde lineaire operatoren, $B(E)$. Een Banachruimte $E$ bezit de PFP als, voor elke operator $T \in B(E)$, de identiteitsoperator $Id_E$ factoriseert door $T$ of door $Id_E - T$. Deze eigenschap is een sterke operator-theoretische vorm van primariteit, die vaak wordt gebruikt als een voorbereidende stap bij het bewijzen dat een ruimte primair is.

De centrale vragen die worden behandeld zijn:

1. Kan een indecomposable Banachruimte (één die niet geschreven kan worden als de directe som van twee oneindig-dimensionale gesloten deelruimten) de PFP bezitten?
2. Wat zijn de ringtheoretische consequenties van de PFP, specifiek met betrekking tot Dedekind-oneindigheid, propere oneindigheid en pure oneindigheid van $B(E)$ en de quotient $A_E := B(E)/M_E$, waarbij $M_E$ de verzameling operatoren is waar doorheen de identiteit niet factoriseert?
3. Hoe gedragen deze eigenschappen zich onder ultrapowers? Specifiek: als $E$ de PFP heeft (of de uniforme versie, UPFP), is de ultrapower van de quotient $A_E$ dan puur oneindig?

Methodologie
De auteurs maken gebruik van een combinatie van operatorleer, Fredholmtheorie en Banachalgebra-theorie:

• Analyse van de Ideaalstructuur: Zij karakteriseren $M_E$ als het unieke maximale ideaal van $B(E)$ wanneer $E$ de PFP heeft. Dit maakt de studie van de quotientalgebra $A_E$ mogelijk.
• Fredholmtheorie: De auteurs maken gebruik van de continuïteit van de Fredholm-index en de eigenschappen van Fredholm-operatoren om contradicties af te leiden met betrekking tot de structuur van indecomposable ruimten met PFP.
• Factorisatiedichotomie: Zij analyseren de kwantitatieve constanten betrokken bij factorisatie. Voor de uniforme PFP (UPFP) onderzoeken zij of de factorisatieconstanten uniform begrensd zijn.
• Ultrapower-technieken: Het artikel past resultaten van Daws en Horváth toe met betrekking tot de pure oneindigheid van ultrapowers, welke afhangen van de uniforme begrensdheid van de "pure oneindigheidsconstante" $C_{pi}(a)$ op de eenheidssfeer.
• Specifieke Tegenvoorbeelden en Constructies: De analyse steunt zwaar op specifieke Banachruimten, waaronder de Read-ruimte ($E_R$), de James-ruimte ($J$), klassieke sequentieruimten ($c_0, \ell_p$) en $C[0, \omega_1]$.

Kernbijdragen en Resultaten

1. Niet-bestaan van Indecomposable PFP-ruimten (Stelling A)
Het artikel bewijst dat geen enkele reële of complexe indecomposable Banachruimte de PFP bezit.

• Methode: Het bewijs neemt de existentie van een dergelijke ruimte aan en leidt een contradictie af. Als $E$ indecomposable is en de PFP heeft, moet de quotient $B(E)/M_E$ een divisiealgebra zijn (door Gelfand-Mazur). Dit impliceert dat elke Fredholm-operator een index nul heeft. Echter, de PFP staat de constructie toe van een operator $L$ met een triviale kernel maar een willekeurig grote cokernel (via Lemma 3.4), wat leidt tot een niet-nul Fredholm-index. Deze contradictie vestigt dat indecomposability en PFP wederzijds uitsluitend zijn.
• Corollary: Dit resultaat sluit de PFP uit voor hereditair indecomposable ruimten, Tarbard's Bourgain–Delbaen ruimte, ruimten $C(K)$ voor verbonden Koszmider compacta, en de Gowers–Maurey prime indecomposable ruimte.

2. Ringtheoretische Oneindigheid (Stelling B)
De auteurs stellen de oneindigheids-eigenschappen vast die door de PFP worden afgedwongen:

• Dedekind-oneindigheid: Als $E$ oneindig-dimensionaal is en de PFP heeft, is $B(E)$ Dedekind-oneindig. Dit wordt getoond door de identiteit te factoriseren door het complement van een rang-één projectie, waardoor een idempotent ontstaat dat equivalent is aan de identiteit maar niet gelijk is aan de identiteit.
• Propere Oneindigheid: De PFP impliceert niet dat $B(E)$ proportioneel oneindig is. De ruimte $C[0, \omega_1]$ heeft de PFP, maar $B(C[0, \omega_1])$ is niet proportioneel oneindig omdat de quotient door $M_E$ isomorf is aan $\mathbb{C}$, en proportere oneindigheid behouden blijft door unitaire homomorfismen.
• Pure Oneindigheid van de Quotient: Voor een complexe ruimte $E$ met PFP is de quotient $A_E = B(E)/M_E$ puur oneindig dan en slechts dan als $A_E \not\cong \mathbb{C}$. Als $A_E \not\cong \mathbb{C}$, staat elke niet-nul element in de quotient de identiteit toe om doorheen te factoriseren.

3. Ultrapowers en het Niet-Scalaire Probleem
Het artikel onderzoekt of de ultrapower $(A_E)_U$ puur oneindig is.

• Scalaire Grensgevallen: De auteurs tonen aan dat als $A_E \cong \mathbb{C}$ (zoals in de gevallen van $C[0, \omega_1]$ en de James-ruimte $J$), de ultrapower niet puur oneindig is. Deze dienen als noodzakelijke grensvallen, die aantonen dat de hypothese $A_E \not\cong \mathbb{C}$ essentieel is voor de pure oneindigheid van ultrapowers.
• Klassieke Sequentieruimten: Voor $E = c_0(\Gamma)$ of $\ell_p(\Gamma)$ is de quotient $A_E$ niet-scalair en heeft een pure oneindigheidsconstante van 1. Bijgevolg zijn hun ultrapowers puur oneindig.
• Read's Ruimte ($E_R$): Het artikel bewijst dat de Read-ruimte geen Uniforme PFP (UPFP) heeft. Het bewijs maakt gebruik van de structuur van de Read codimensie-één ideaal $J_R$, dat modulo de zwak-compacte operatoren een niet-nul kwadraat-nul ideaal wordt. Deze kwadraat-nul structuur is incompatibel met de uniforme schattingen die vereist zijn voor UPFP.
• Open Vragen: Het artikel formuleert Vraag 6.3 en Vraag 6.4, die vragen of er een niet-scalaire complexe Banachruimte met PFP (of UPFP) bestaat zodanig dat de ultrapower van de quotient niet puur oneindig is. De auteurs merken op dat hoewel de Read-ruimte faalt voor UPFP, het een open vraag blijft of zij de niet-uniforme PFP bezit. Als dat zo is, zou zij een ruimte bieden met PFP maar zonder UPFP, hoewel de resulterende quotient nog steeds scalair zou zijn.

Betekenis en Claims
Het artikel claimt de relatie tussen indecomposability en de PFP op te lossen, door definitief aan te tonen dat zij niet samen kunnen bestaan. Dit staat in contrast met de existentie van indecomposable prime ruimten (Gowers–Maurey), en verheldert dat primariteit niet noodzakelijkerwijs de sterkere factorisatiedichotomie van PFP impliceert.

Het werk isoleert de kwantitatieve kloof die relevant is voor ultrapowers, waarbij onderscheid wordt gemaakt tussen de kwalitatieve factorisatiedichotomie (PFP) en de uniforme begrensdheid van factorisatieconstanten (UPFP). De auteurs demonstreren dat terwijl klassieke sequentieruimten de sterkste condities voldoen (niet-scalaire quotient, UPFP, puur oneindige ultrapowers), andere ruimten zoals de James-ruimte en $C[0, \omega_1]$ weliswaar de PFP voldoen maar scalaire quotients opleveren, waardoor ze de ultrapower-test niet doorstaan.

Het artikel concludeert door de Read-ruimte te identificeren als een kritieke testcase. Hoewel bewezen is dat zij geen UPFP heeft, blijft de vraag of zij de niet-uniforme PFP bezit open. Een positief antwoord zou een Banachruimte bieden met PFP maar zonder UPFP, maar de auteurs waarschuwen dat dit de niet-scalaire ultrapower vraag niet zou oplossen, aangezien de quotient scalair zou blijven. Het artikel schetst hiermee de precieze grenzen van de huidige kennis met betrekking tot de wisselwerking tussen factorisatie-eigenschappen, ideaalstructuren en de oneindigheid van operatoralgebra's en hun ultrapowers.