The class of Banach lattices is not primary

Este artículo demuestra que la clase de los retículos de Banach no es primaria al exhibir un espacio compacto de Hausdorff $L$ tal que $C(L)$ es isomorfo a la suma directa de dos espacios que no son isomorfos a ningún retículo de Banach.

Lo esencial

¡Claro que sí! Imagina que este artículo es como una historia de detectives matemáticos que resuelven un misterio sobre cómo se construyen ciertas "casas" (espacios matemáticos) y descubren que una de las reglas fundamentales que creían universal, en realidad tiene una excepción muy curiosa.

Aquí tienes la explicación en español, usando analogías sencillas:

🏛️ El Misterio de las "Casas" Matemáticas

Imagina que los matemáticos tienen un gran catálogo de tipos de edificios llamados Espacios de Banach. Dentro de este catálogo, hay una categoría muy especial y ordenada llamada Retículos de Banach (Banach Lattices).

Piensa en un Retículo de Banach como un edificio con una estructura de "rejilla" perfecta. En estos edificios, si tienes dos habitaciones (funciones), siempre puedes encontrar una "habitación más grande" que las cubra a ambas y una "habitación más pequeña" que esté dentro de las dos. Es un sistema muy ordenado, como un tablero de ajedrez donde cada pieza tiene su lugar lógico.

🧩 El Problema: ¿Son "Primarias"?

Durante mucho tiempo, los matemáticos se preguntaron si la clase de estos edificios ordenados era "primaria".

• ¿Qué significa "primaria"? Imagina que tienes un edificio gigante (un espacio matemático). Si lo divides en dos mitades (dos subespacios), la pregunta es: ¿Al menos una de esas mitades tiene que ser un edificio ordenado (un retículo)?
• La creencia antigua: Se pensaba que sí. Que si cortas un edificio ordenado en dos, al menos una de las mitades conservaría ese orden perfecto.

🚫 La Gran Revelación: ¡No es así!

El autor de este artículo, Antonio Acuaviva, junto con el trabajo de otros colegas, ha demostrado que la respuesta es NO.

Han construido un edificio gigante (llamado $C(L)$) que parece muy normal, pero cuando lo cortan por la mitad, ninguna de las dos mitades es un edificio ordenado. Ambas mitades son un caos desordenado.

La analogía del pastel:
Imagina que tienes un pastel perfecto con capas ordenadas (un Retículo). La teoría decía que si lo partes en dos, al menos una mitad tendría que seguir teniendo capas ordenadas.
Lo que hicieron estos matemáticos fue hornear un pastel especial. Cuando lo cortaron, descubrieron que ambas mitades eran como una mezcla de ingredientes revueltos sin ningún orden. ¡El pastel entero parecía ordenado, pero sus partes no!

🛠️ ¿Cómo lo hicieron? (La Construcción)

Para lograr esto, usaron una técnica muy ingeniosa, como si estuvieran tejiendo dos telas al mismo tiempo:

1. El Truco de los "Espacios Espejo": En lugar de construir un solo edificio, construyeron dos mundos paralelos (llamémoslos Mundo A y Mundo B).
2. El Intercambio: Diseñaron el Mundo A de tal manera que dependía de las reglas del Mundo B, y viceversa.
   • Imagina que el Mundo A necesita un "pilar" del Mundo B para sostenerse, pero ese pilar del Mundo B está diseñado para ser inestable.
   • Al mismo tiempo, el Mundo B necesita un pilar del Mundo A que también es inestable.
3. El Resultado: Cuando unen ambos mundos, el edificio gigante resultante es sólido y perfecto (es un espacio $C(K)$ válido). Pero si intentas separar las mitades, cada una se queda sin sus pilares esenciales y se desmorona en desorden.

🔍 La Herramienta Secreta: "Familias Casi Disjuntas"

Para construir este caos controlado, usaron algo llamado familias casi disjuntas.

• Imagina que tienes un montón de cintas de colores infinitas.
• Una "familia disjunta" sería si ninguna cinta se toca con otra.
• Una "familia casi disjunta" es un truco: las cintas se tocan solo en un pedacito muy pequeño (como un punto), pero el resto son totalmente diferentes.
• Los matemáticos usaron estas cintas para crear un laberinto tan complejo que, aunque el laberinto completo tiene sentido, si intentas caminar solo por una mitad, te pierdes y no puedes encontrar el orden (la estructura de retículo).

🏁 Conclusión Simple

Este artículo es importante porque rompe una regla que los matemáticos daban por sentada.

• Antes: Pensaban que si un sistema matemático grande es ordenado, sus partes también deben serlo.
• Ahora: Sabemos que puedes tener un sistema grande ordenado cuyas partes son completamente desordenadas.

Es como descubrir que puedes tener una orquesta perfecta, pero si pides a los violines y a los violonchelos que toquen solos, ninguno de los dos grupos suena como una orquesta; suenan como ruido. ¡La armonía solo existe cuando están juntos!

En resumen: La clase de los "Retículos de Banach" no es primaria porque existe un edificio matemático perfecto que, al dividirse, produce dos mitades que no son retículos. ¡El orden puede surgir del caos, pero el caos no siempre hereda el orden!

Resumen técnico

Aquí presento un resumen técnico detallado del artículo "THE CLASS OF BANACH LATTICES IS NOT PRIMARY" (La clase de retículos de Banach no es primaria) de Antonio Acuaviva, basado en el contenido proporcionado.

1. El Problema: La Propiedad de "Primary" en Retículos de Banach

El objetivo central del artículo es resolver una cuestión fundamental en la teoría de espacios de Banach: determinar si la clase de los retículos de Banach (Banach lattices) es primaria.

• Definición de Espacio Primary: Un espacio de Banach $X$ se dice primary si, para cualquier descomposición $X \cong Y \oplus Z$, al menos uno de los sumandos ($Y$ o $Z$) es isomorfo a $X$.
• Contexto Histórico:
  • Recientemente, Plebanek y Salguero-Alarcón [5] resolvieron el Problema del Subespacio Complementado para los espacios $C(K)$, demostrando que existe un espacio $C(L)$ isomorfo a $C(K) \oplus PS_2$, donde $PS_2$ no es isomorfo a ningún espacio $C(K)$.
  • Posteriormente, De Hevia et al. [1] demostraron que el espacio $PS_2$ tampoco es isomorfo a ningún retículo de Banach.
• La Pregunta Abierta: Dado que $C(L) \cong C(K) \oplus PS_2$ y que $PS_2$ no es un retículo de Banach, ¿implica esto que la clase de los retículos de Banach no es primaria? Es decir, ¿puede un espacio que es un retículo de Banach (o un espacio $C(K)$) descomponerse en dos sumandos, ninguno de los cuales sea isomorfo a un retículo de Banach?

2. Metodología y Construcción

El autor construye un contraejemplo mediante una inducción transfinita simultánea, extendiendo la técnica de Plebanek y Salguero-Alarcón. La metodología se basa en los siguientes pilares:

A. Marco Teórico y Espacios de Johnson-Lindenstrauss

El trabajo utiliza espacios de Johnson-Lindenstrauss, denotados como $JL(\mathcal{B})$, asociados a familias casi disjuntas $\mathcal{B}$ de subconjuntos de $\omega$ (o $\omega \times 2$).

• Estos espacios son isométricos a espacios $C(K)$ donde $K$ es un espacio compacto de Hausdorff disperso (Stone space del álgebra booleana generada por $\mathcal{B}$).
• Se trabaja con la descomposición $C(L) = C(K) \oplus Y$, donde $Y$ es el núcleo de una proyección de norma 1.

B. Doble Construcción Simultánea

A diferencia de la construcción anterior que generaba un solo espacio "malo" ($PS_2$), Acuaviva realiza dos construcciones simultáneas en espacios disjuntos ($\omega \times 2$ y $\tilde{\omega} \times 2$):

1. Se construyen familias casi disjuntas $\mathcal{A}, \tilde{\mathcal{A}}$ y sus respectivas particiones $\mathcal{B}, \tilde{\mathcal{B}}$.
2. Esto genera cuatro espacios $C(K)$: $JL(\mathcal{A})$, $JL(\tilde{\mathcal{A}})$, $JL(\mathcal{B})$ y $JL(\tilde{\mathcal{B}})$.
3. Se definen dos espacios de Banach $X$ y $\tilde{X}$ mediante un "entrelazado" (intertwining):
   $$X := JL(\tilde{\mathcal{A}}) \oplus Y$$
   $$\tilde{X} := JL(\mathcal{A}) \oplus \tilde{Y}$$
   Donde $Y$ y $\tilde{Y}$ son los subespacios complementarios de las construcciones originales.

C. La Propiedad (DP) (Desired Property)

Para demostrar que $X$ y $\tilde{X}$ no son retículos de Banach, el autor utiliza la Propiedad (DP) introducida por De Hevia et al.

• Definición: Un espacio $X$ tiene la propiedad (DP) si para toda sucesión normante $(e^*_n)$ en el dual $X^*$, existe un elemento $f \in X$ tal que no existe ningún $g \in X$ que satisfaga $\langle e^*_n, g \rangle = |\langle e^*_n, f \rangle|$ para todo $n$.
• Lema Clave: Si un espacio tiene una sucesión normante numerable y su dual es isomorfo a $\ell_1(\Gamma)$, entonces $X$ es isomorfo a un retículo de Banach si y solo si NO tiene la propiedad (DP).
• Estrategia: El objetivo de la construcción es forzar que $X$ y $\tilde{X}$ satisfagan la propiedad (DP).

D. Inducción Transfinita y Separación de Medidas

La construcción se lleva a cabo paso a paso para $\xi < \mathfrak{c}$ (el cardinal del continuo). En cada paso:

1. Se codifican todas las posibles sucesiones normantes potenciales en $X^*$ y $\tilde{X}^*$ (enumeradas como $\Phi$ y $\tilde{\Phi}$).
2. Se seleccionan cilindros y particiones (splittings) de manera que se violen las condiciones de separación de medidas.
3. Se utiliza un argumento de conteo (basado en Haydon) y el Lema 4.7 (una variante de lemas de Rosenthal) para asegurar que, para cualquier sucesión normante dada, se puede encontrar un elemento $f$ que "rompe" la estructura de retículo.
4. La clave es que las elecciones en la construcción (hay continuum de opciones) permiten seleccionar aquellas que impiden la existencia de la operación de valor absoluto en el espacio.

3. Resultados Principales

El artículo establece el siguiente teorema central:

Teorema 1.1: Existen un espacio compacto de Hausdorff $L$ y espacios de Banach $X$ y $\tilde{X}$ tales que:
$$C(L) \cong X \oplus \tilde{X}$$
y ni $X$ ni $\tilde{X}$ son isomorfos a un retículo de Banach.

Consecuencias Inmediatas:

1. La clase de los retículos de Banach no es primaria. Un espacio que es un retículo de Banach (de hecho, un espacio $C(L)$) puede descomponerse en dos sumandos, ninguno de los cuales pertenece a la clase.
2. La clase de los espacios $C(K)$ no es primaria. Dado que $C(L)$ es un espacio $C(K)$, y sus sumandos no son isomorfos a espacios $C(K)$ (ya que no son retículos de Banach), la clase de espacios $C(K)$ tampoco es primaria.

4. Significado e Impacto

• Resolución de una Pregunta Abierta: El trabajo responde negativamente a la Pregunta 4 de De Hevia y Tradacete [2], que motivó esta investigación.
• Refinamiento de la Teoría de Espacios de Banach: Demuestra que la propiedad de ser un retículo de Banach (o un espacio $C(K)$) no se preserva bajo descomposiciones complementadas, incluso cuando el espacio total posee dicha estructura. Esto subraya la fragilidad de estas propiedades estructurales frente a la suma directa.
• Técnica de Construcción: Introduce una técnica de "doble construcción simultánea" que entrelaza las estructuras de dos espacios para destruir las propiedades de retículo en ambos sumandos, una mejora significativa sobre las construcciones anteriores que solo generaban un sumando "malo".
• Generalización: El autor nota que, con modificaciones naturales, los argumentos también se aplican a retículos de Banach complejos.

En resumen, el artículo cierra una etapa importante en la teoría de subespacios complementados, demostrando que la estructura de retículo de Banach es demasiado rígida para ser una propiedad "primaria" en el sentido de la teoría de isomorfismo de espacios de Banach.