Pure infiniteness and primary factorisation

Resumo Técnico: Infinitude Pura e Fatorização Primária

Enunciado do Problema
O artigo investiga a Propriedade de Fatorização Primária (PFP) no contexto da teoria dos espaços de Banach e sua interação com propriedades teóricas de anéis da álgebra de operadores lineares limitados, $B(E)$. Um espaço de Banach $E$ possui a PFP se, para todo operador $T \in B(E)$, o operador identidade $Id_E$ fatora através de $T$ ou através de $Id_E - T$. Esta propriedade é uma forma operatória-teórica forte de primariedade, frequentemente utilizada como um passo preliminar para provar que um espaço é primário.

As questões centrais abordadas são:

1. Pode um espaço de Banach indecomponível (aquele que não pode ser escrito como a soma direta de dois subespaços fechados de dimensão infinita) possuir a PFP?
2. Quais são as consequências teóricas de anel da PFP, especificamente em relação à Dedekind-infinitude, infinitude própria e infinitude pura de $B(E)$ e de seu quociente $A_E := B(E)/M_E$, onde $M_E$ é o conjunto de operadores através dos quais a identidade não fatora?
3. Como essas propriedades se comportam sob ultrapoderes? Especificamente, se $E$ possui a PFP (ou a versão uniforme, UPFP), o ultrapoder do quociente $A_E$ é puramente infinito?

Metodologia
Os autores empregam uma combinação de teoria de operadores, teoria de Fredholm e teoria de álgebras de Banach:

• Análise da Estrutura de Ideais: Eles caracterizam $M_E$ como o ideal maximal único de $B(E)$ quando $E$ possui a PFP. Isso permite o estudo da álgebra quociente $A_E$.
• Teoria de Fredholm: Os autores utilizam a continuidade do índice de Fredholm e as propriedades de operadores de Fredholm para derivar contradições em relação à estrutura de espaços indecomponíveis com PFP.
• Dicotomia de Fatorização: Eles analisam as constantes quantitativas envolvidas na fatoração. Para a UPFP (PFP uniforme), eles examinam se as constantes de fatorização são uniformemente limitadas.
• Técnicas de Ultrapoder: O artigo aplica resultados de Daws e Horváth sobre a infinitude pura de ultrapoderes, que dependem da limitação uniforme da "constante de infinitude pura" $C_{pi}(a)$ na esfera unitária.
• Contraexemplos e Construções Específicas: A análise baseia-se fortemente em espaços de Banach específicos, incluindo o espaço de Read ($E_R$), o espaço de James ($J$), espaços de sequências clássicos ($c_0, \ell_p$) e $C[0, \omega_1]$.

Contribuições Principais e Resultados

1. Não existência de Espaços PFP Indecomponíveis (Teorema A)
O artigo prova que nenhum espaço de Banach real ou complexo indecomponível possui a PFP.

• Método: A prova assume a existência de tal espaço e deriva uma contradição. Se $E$ é indecomponível e possui PFP, o quociente $B(E)/M_E$ deve ser uma álgebra de divisão (por Gelfand-Mazur). Isso implica que todo operador de Fredholm tem índice zero. No entanto, a PFP permite a construção de um operador $L$ com núcleo trivial, mas cofundo arbitrariamente grande (via Lema 3.4), levando a um índice de Fredholm não nulo. Esta contradição estabelece que indecomponibilidade e PFP são mutuamente exclusivas.
• Corolário: Este resultado exclui a PFP para espaços hereditariamente indecomponíveis, o espaço de Bourgain–Delbaen de Tarbard, espaços $C(K)$ para compactos de Koszmider conexos e o espaço prim indecomponível de Gowers–Maurey.

2. Infinitude Teórica de Anéis (Teorema B)
Os autores estabelecem as propriedades de infinitude forçadas pela PFP:

• Dedekind-infinitude: Se $E$ é de dimensão infinita e possui PFP, $B(E)$ é Dedekind-infinita. Isso é demonstrado fatorando a identidade através do complemento de uma projeção de posto um, criando um idempotente equivalente à identidade, mas não igual a ela.
• Infinitude Própria: A PFP não implica que $B(E)$ seja propriamente infinita. O espaço $C[0, \omega_1]$ possui a PFP, mas $B(C[0, \omega_1])$ não é propriamente infinita porque seu quociente por $M_E$ é isomorfo a $\mathbb{C}$, e a infinitude própria é preservada por homomorfismos unitais.
• Infinitude Pura do Quociente: Para um espaço complexo $E$ com PFP, o quociente $A_E = B(E)/M_E$ é puramente infinito se, e somente se, $A_E \not\cong \mathbb{C}$. Se $A_E \not\cong \mathbb{C}$, todo elemento não nulo no quociente permite que a identidade fatore através dele.

3. Ultrapoderes e o Problema Escalar
O artigo investiga se o ultrapoder $(A_E)_U$ é puramente infinito.

• Casos Limite Escalares: Os autores mostram que, se $A_E \cong \mathbb{C}$ (como nos casos de $C[0, \omega_1]$ e do espaço de James $J$), o ultrapoder não é puramente infinito. Estes servem como casos limite necessários, demonstrando que a hipótese $A_E \not\cong \mathbb{C}$ é essencial para a infinitude pura dos ultrapoderes.
• Espaços de Sequências Clássicos: Para $E = c_0(\Gamma)$ ou $\ell_p(\Gamma)$, o quociente $A_E$ é não-escalar e possui uma constante de infinitude pura de 1. Consequentemente, seus ultrapoderes são puramente infinitos.
• Espaço de Read ($E_R$): O artigo prova que o espaço de Read não possui a UPFP (PFP uniforme). A prova utiliza a estrutura do ideal de codimensão um de Read $J_R$, que se torna um ideal de quadrado zero não nulo módulo operadores fracamente compactos. Esta estrutura de quadrado zero é incompatível com as estimativas uniformes exigidas pela UPFP.
• Questões Abertas: O artigo formula a Questão 6.3 e a Questão 6.4, perguntando se existe um espaço de Banach complexo não-escalar com PFP (ou UPFP) tal que o ultrapoder de seu quociente não seja puramente infinito. Os autores observam que, embora o espaço de Read falhe na UPFP, permanece uma questão aberta se ele possui a PFP não-uniforme. Se possuísse, forneceria um espaço com PFP, mas sem UPFP, embora o quociente resultante ainda fosse escalar.

Significância e Alegações
O artigo afirma resolver a relação entre indecomponibilidade e PFP, mostrando definitivamente que elas não podem coexistir. Isso contrasta com a existência de espaços prim indecomponíveis (Gowers–Maurey), esclarecendo que a primariedade não implica necessariamente a dicotomia de fatorização mais forte da PFP.

O trabalho isola a lacuna quantitativa relevante para ultrapoderes, distinguindo entre a dicotomia de fatorização qualitativa (PFP) e a limitação uniforme das constantes de fatorização (UPFP). Os autores demonstram que, enquanto os espaços de sequências clássicos satisfazem as condições mais fortes (quociente não-escalar, UPFP, ultrapoderes puramente infinitos), outros espaços como o espaço de James e $C[0, \omega_1]$ satisfazem a PFP, mas geram quocientes escalares, falhando no teste do ultrapoder.

O artigo conclui identificando o espaço de Read como um caso de teste crítico. Embora seja provado que ele não possui UPFP, a questão de se ele possui a PFP não-uniforme permanece aberta. Uma resposta positiva forneceria um espaço com PFP, mas sem UPFP, embora os autores alertem que isso não resolveria a questão do ultrapoder não-escalar, pois o quociente permaneceria escalar. O artigo assim delineia os limites precisos do conhecimento atual em relação à interação entre propriedades de fatorização, estruturas de ideais e a infinitude de álgebras de operadores e seus ultrapoderes.