Pure infiniteness and primary factorisation

Resumen Técnico: Infinitud Pura y Factorización Primaria

Planteamiento del Problema
El artículo investiga la Propiedad de Factorización Primaria (PFP) en el contexto de la teoría de espacios de Banach y su interacción con las propiedades de la teoría de anillos de la álgebra de operadores lineales acotados, $B(E)$. Un espacio de Banach $E$ posee la PFP si, para todo operador $T \in B(E)$, la identidad $Id_E$ factoriza a través de $T$ o a través de $Id_E - T$. Esta propiedad es una forma de primacía de tipo operador fuerte, a menudo utilizada como un paso preliminar para demostrar que un espacio es primario.

Las cuestiones centrales abordadas son:

1. ¿Puede un espacio de Banach indecomposable (aquel que no puede escribirse como la suma directa de dos subespacios cerrados de dimensión infinita) poseer la PFP?
2. ¿Cuáles son las consecuencias de la teoría de anillos de la PFP, específicamente respecto a la infinitud de Dedekind, la infinitud propia y la infinitud pura de $B(E)$ y su cociente $A_E := B(E)/M_E$, donde $M_E$ es el conjunto de operadores a través de los cuales la identidad no factoriza?
3. ¿Cómo se comportan estas propiedades bajo ultrapoderes? Específicamente, si $E$ tiene la PFP (o la versión uniforme, UPFP), ¿es el ultrapoder del cociente $A_E$ puramente infinito?

Metodología
Los autores emplean una combinación de teoría de operadores, teoría de Fredholm y teoría de álgebras de Banach:

• Análisis de la Estructura de Ideales: Caracterizan $M_E$ como el ideal máximo único de $B(E)$ cuando $E$ tiene la PFP. Esto permite el estudio del álgebra cociente $A_E$.
• Teoría de Fredholm: Los autores utilizan la continuidad del índice de Fredholm y las propiedades de los operadores de Fredholm para derivar contradicciones respecto a la estructura de los espacios indecomponibles con PFP.
• Dicotomía de Factorización: Analizan las constantes cuantitativas involucradas en la factorización. Para la PFP uniforme (UPFP), examinan si las constantes de factorización están uniformemente acotadas.
• Técnicas de Ultrapoder: El artículo aplica resultados de Daws y Horváth respecto a la infinitud pura de los ultrapoderes, la cual depende de la acotación uniforme de la "constante de infinitud pura" $C_{pi}(a)$ en la esfera unidad.
• Contraejemplos y Construcciones Específicas: El análisis se apoya fuertemente en espacios de Banach específicos, incluyendo el espacio de Read ($E_R$), el espacio de James ($J$), espacios de sucesiones clásicos ($c_0, \ell_p$) y $C[0, \omega_1]$.

Contribuciones Clave y Resultados

1. No existencia de Espacios PFP Indecomponibles (Teorema A)
El artículo demuestra que ningún espacio de Banach indecomposable (ya sea real o complejo) posee la PFP.

• Método: La demostración asume la existencia de tal espacio y deriva una contradicción. Si $E$ es indecomposable y tiene PFP, el cociente $B(E)/M_E$ debe ser un álgebra de división (por Gelfand-Mazur). Esto implica que todo operador de Fredholm tiene índice cero. Sin embargo, la PFP permite la construcción de un operador $L$ con núcleo trivial pero con un cociente arbitrariamente grande (vía Lema 3.4), lo que conduce a un índice de Fredholm no nulo. Esta contradicción establece que la indecomponibilidad y la PFP son mutuamente excluyentes.
• Corolario: Este resultado descarta la PFP para espacios indecomponibles hereditariamente, el espacio Bourgain–Delbaen de Tarbard, espacios $C(K)$ para compactos de Koszmider conectados, y el espacio indecomposable primario de Gowers–Maurey.

2. Infinitud de la Teoría de Anillos (Teorema B)
Los autores establecen las propiedades de infinitud forzadas por la PFP:

• Infinitud de Dedekind: Si $E$ es de dimensión infinita y tiene PFP, $B(E)$ es de Dedekind-infinito. Esto se demuestra factorizando la identidad a través del complemento de una proyección de rango uno, creando un idempotente equivalente a la identidad pero no igual a ella.
• Infinitud Propia: La PFP no implica que $B(E)$ sea propiamente infinito. El espacio $C[0, \omega_1]$ tiene la PFP, pero $B(C[0, \omega_1])$ no es propiamente infinito porque su cociente por $M_E$ es isomorfo a $\mathbb{C}$, y la infinitud propia se preserva mediante homomorfismos unitarios.
• Infinitud Pura del Cociente: Para un espacio complejo $E$ con PFP, el cociente $A_E = B(E)/M_E$ es puramente infinito si y solo si $A_E \not\cong \mathbb{C}$. Si $A_E \not\cong \mathbb{C}$, cada elemento no nulo en el cociente permite que la identidad factorice a través de él.

3. Ultrapoderes y el Problema Escalar
El artículo investiga si el ultrapoder $(A_E)_U$ es puramente infinito.

• Casos Límite Escalares: Los autores muestran que si $A_E \cong \mathbb{C}$ (como en los casos de $C[0, \omega_1]$ y el espacio de James $J$), el ultrapoder no es puramente infinito. Estos sirven como casos límite necesarios, demostrando que la hipótesis $A_E \not\cong \mathbb{C}$ es esencial para la infinitud pura de los ultrapoderes.
• Espacios de Sucesiones Clásicos: Para $E = c_0(\Gamma)$ o $\ell_p(\Gamma)$, el cociente $A_E$ es no escalar y tiene una constante de infinitud pura de 1. En consecuencia, sus ultrapoderes son puramente infinitos.
• Espacio de Read ($E_R$): El artículo demuestra que el espacio de Read no tiene la PFP Uniforme (UPFP). La demostración utiliza la estructura del ideal de codimensión uno de Read $J_R$, el cual se convierte en un ideal no nulo de cuadrado cero módulo los operadores débilmente compactos. Esta estructura de cuadrado cero es incompatible con las estimaciones uniformes requeridas para la UPFP.
• Preguntas Abiertas: El artículo formula la Pregunta 6.3 y la Pregunta 6.4, preguntando si existe un espacio de Banach complejo no escalar con PFP (o UPFP) tal que el ultrapoder de su cociente no sea puramente infinito. Los autores señalan que, aunque el espacio de Read falla en la UPFP, sigue siendo una pregunta abierta si posee la PFP no uniforme. Si la tuviera, proporcionaría un espacio con PFP pero sin UPFP, aunque el cociente resultante seguiría siendo escalar.

Significancia y Reivindicaciones
El artículo afirma resolver la relación entre la indecomponibilidad y la PFP, mostrando definitivamente que no pueden coexistir. Esto contrasta con la existencia de espacios indecomponibles primarios (Gowers–Maurey), aclarando que la primacía no implica necesariamente la dicotomía de factorización más fuerte de la PFP.

El trabajo aisla la brecha cuantitativa relevante para los ultrapoderes, distinguiendo entre la dicotomía de factorización cualitativa (PFP) y la acotación uniforme de las constantes de factorización (UPFP). Los autores demuestran que, mientras los espacios de sucesiones clásicos satisfacen las condiciones más fuertes (cociente no escalar, UPFP, ultrapoderes puramente infinitos), otros espacios como el espacio de James y $C[0, \omega_1]$ satisfacen la PFP pero producen cocientes escalares, fallando en la prueba del ultrapoder.

El artículo concluye identificando al espacio de Read como un caso de prueba crítico. Aunque se demuestra que no tiene UPFP, la cuestión de si posee la PFP no uniforme sigue abierta. Una respuesta positiva proporcionaría un espacio de Banach con PFP pero sin UPFP, aunque los autores advierten que esto no resolvería la cuestión del ultrapoder no escalar, ya que el cociente seguiría siendo escalar. El artículo así delinea los límites precisos del conocimiento actual respecto a la interacción entre las propiedades de factorización, las estructuras de ideales y la infinitud de las álgebras de operadores y sus ultrapoderes.