A countable-support symmetric iteration separating PP from AC

Los autores construyen un modelo simétrico de soporte numerable que satisface ZF más el Principio de Partición (PP) y la Axioma de Elección para conjuntos bien ordenados ($AC_{wo}$), pero que falla el Axioma de Elección completo, demostrando así que PP es independiente de AC en el contexto de ZF.

Lo esencial

Imagina que el universo de las matemáticas es como una gran ciudad llamada ZFC. En esta ciudad, hay una ley fundamental llamada Axioma de la Elección (AC). Esta ley dice algo muy simple pero poderoso: "Si tienes una colección de cajas, cada una con al menos un objeto dentro, puedes elegir un objeto de cada caja y ponerlos en una nueva lista".

En la ciudad de ZFC, esta ley es tan obvia que nadie la cuestiona. Pero, ¿qué pasaría si quisiéramos construir una ciudad vecina donde esta ley no funcione? ¿Podríamos tener una ciudad donde, aunque tengas cajas con objetos, no puedas hacer esa lista de elecciones?

El matemático Frank Trevor Gilson ha escrito un "manual de construcción" para crear exactamente esa ciudad. Su objetivo es demostrar que la Ley de la Elección y otra regla llamada Principio de Partición (PP) son cosas diferentes.

Aquí te explico cómo lo hizo, usando analogías sencillas:

1. El Punto de Partida: La Ciudad de los "Cohen"

Gilson empieza con una ciudad base (llamada modelo $N$) que ya tiene un problema interesante. Imagina que en esta ciudad hay un grupo de reales de Cohen (son como números infinitos muy extraños).

• El problema: En esta ciudad, estos números existen, pero no tienen un orden. No puedes decir cuál es el "primero", el "segundo" o el "tercero". Son como una pila de cartas mezcladas que nunca se pueden ordenar perfectamente.
• La consecuencia: Como no se pueden ordenar, la Ley de la Elección (AC) falla aquí. No puedes elegir un "representante" de cada carta porque no sabes cómo organizarlas.

2. La Misión: Construir una Ciudad Perfecta (pero sin la Ley de la Elección)

Gilson quiere construir una ciudad final ($M$) que tenga las siguientes características:

1. Tenga lógica (ZF): Las reglas básicas de la matemática funcionen.
2. Tenga "Dependencia" (DC): Si tienes una cadena de decisiones (A lleva a B, B lleva a C...), puedes seguir la cadena infinitamente.
3. Tenga el Principio de Partición (PP): Esta es la regla clave. PP dice: "Si puedes empaquetar todas las cartas de una caja A en una caja B (sobrejetión), entonces también puedes sacar una carta de B para meterla en A (inyección)". En ZFC, esto es automático. Pero en el mundo sin la Ley de la Elección, no siempre es cierto.
4. NO tenga la Ley de la Elección (AC): Como en la ciudad base, no puedes elegir libremente de cualquier colección.

El desafío: Gilson necesita construir una ciudad donde PP sea verdad, pero AC sea falso. Es como querer que un edificio tenga un ascensor que suba (PP) pero no tenga escaleras para bajar (AC).

3. La Técnica: El "Iterador Simétrico" (La Máquina de Construcción)

Para lograr esto, Gilson usa una máquina de construcción muy sofisticada llamada Iteración Simétrica de Soporte Contable.

• La analogía de los "Paquetes": Imagina que Gilson tiene una lista infinita de problemas matemáticos (funciones que necesitan ser "arregladas").
  • Problema tipo PP: "Tengo una caja llena de objetos y necesito encontrar una forma de sacarlos uno por uno sin perder ninguno".
  • Problema tipo ACWO: "Tengo cajas ordenadas por números y necesito elegir un objeto de cada una".
• La estrategia: Gilson construye su ciudad paso a paso (etapa 1, etapa 2, etapa 3... hasta el infinito). En cada paso, revisa su lista de problemas.
  • Si encuentra un problema de tipo PP, añade un "paquete de construcción" especial que fuerza a que exista una solución (una "sección" o "inversa") para ese problema específico.
  • Si encuentra un problema de tipo AC (pero solo para listas ordenadas), añade un paquete que permite elegir, pero solo para listas que ya tienen un orden.

4. El Truco Maestro: La Simetría y el "Escudo"

Aquí está la parte más genial. Si simplemente añadiera soluciones a todos los problemas, la ciudad terminaría teniendo la Ley de la Elección completa y perdería su característica especial (que las cartas no se puedan ordenar).

Para evitarlo, Gilson usa Simetría:

• Imagina que cada "paquete de construcción" viene con un escudo de invisibilidad.
• Este escudo protege a los "reales de Cohen" (las cartas desordenadas) de ser tocados o ordenados por las nuevas herramientas que añade.
• Las herramientas nuevas (que arreglan el PP y el AC limitado) son muy "simétricas": actúan de tal manera que, si intentas usarlas para ordenar las cartas desordenadas, el escudo las bloquea. Las herramientas funcionan perfectamente para arreglar los problemas específicos, pero son ciegas ante el desorden general de las cartas.

5. El Resultado Final: La Ciudad $M$

Al final de la construcción (después de infinitos pasos), Gilson tiene su ciudad $M$:

• ¿Funciona la lógica? Sí (ZF).
• ¿Puedes seguir cadenas infinitas? Sí (DC).
• ¿Funciona el Principio de Partición (PP)? ¡Sí! Gilson forzó que para cualquier empaquetado de objetos, siempre se pueda encontrar una forma de "desempaquetar" (inyección). Esto se logra arreglando cada caso individual con sus paquetes.
• ¿Funciona la Ley de la Elección (AC)? ¡No! Las cartas desordenadas (los reales de Cohen) siguen sin poder ordenarse. El escudo de simetría protegió su desorden.
• ¿Funciona la elección para listas ordenadas (ACWO)? ¡Sí! Gilson permitió elegir de cajas que ya tenían números, pero no de cajas caóticas.

¿Por qué es importante esto?

Antes de este trabajo, no se sabía si el Principio de Partición (PP) era lo mismo que la Ley de la Elección (AC). Algunos pensaban que si tenías PP, automáticamente tenías AC.

Gilson demostró que no es así. Construyó un mundo donde PP es verdad, pero AC es falso.

• Analogía final: Es como demostrar que puedes tener un mapa perfecto de una ciudad (PP: sabes cómo ir de un punto a otro) sin tener que tener un sistema de transporte público organizado (AC: no necesitas poder elegir un autobús para cada destino, solo saber que el camino existe).

En resumen, Gilson usó una construcción matemática compleja, llena de "escudos" y "paquetes" de soluciones, para crear un universo donde las reglas de la lógica funcionan, donde puedes hacer elecciones limitadas, donde el Principio de Partición es cierto, pero donde el caos (la falta de orden total) sigue existiendo. ¡Y eso demuestra que el caos y el orden parcial pueden coexistir de formas que antes no imaginábamos!

Resumen técnico

A continuación presento un resumen técnico detallado del artículo "A countable-support symmetric iteration separating PP from AC" (Una iteración simétrica de soporte contable que separa el Principio de Partición de la Axioma de Elección), escrito por Frank Trevor Gilson.

1. El Problema y el Contexto

El objetivo central del artículo es resolver una cuestión fundamental en la teoría de conjuntos sin el Axioma de Elección (ZF): la relación entre el Principio de Partición (PP) y el Axioma de Elección (AC).

• Definición de PP: El Principio de Partición afirma que si existe una función sobreyectiva $A \twoheadrightarrow B$, entonces existe una función inyectiva $B \hookrightarrow A$. En ZFC, esto es trivial porque toda sobreyección tiene una inversa derecha (una función de elección).
• La Conjetura: Es un problema abierto de larga data determinar si PP implica AC en ZF. Si bien se sabe que PP es más débil que AC, no se había construido un modelo de ZF donde se cumpliera PP pero fallara AC.
• Objetivo del Artículo: Construir un modelo transitivo simétrico $M$ que satisfaga:
  $$\text{ZF} + \text{DC} + \text{PP} + \text{ACWO} + \neg\text{AC}$$
  Donde:
  • DC: Axioma de Elección Dependiente.
  • ACWO: Axioma de Elección para conjuntos bien ordenables (toda familia bien ordenable de conjuntos no vacíos tiene una función de elección).
  • $\neg$AC: El Axioma de Elección total falla.

2. Metodología

La construcción se basa en una iteración simétrica de soporte contable de longitud Ord (clase de todos los ordinales) sobre un modelo semilla de Cohen. La metodología se divide en varias fases técnicas clave:

A. El Modelo Semilla (Cohen Simétrico)

El punto de partida es un modelo $N$ obtenido mediante una extensión simétrica del modelo base $V \models \text{ZFC}$ utilizando el forcing de Cohen $\text{Add}(\omega, \omega_1)$.

• Se añade un conjunto de $\omega_1$ reales de Cohen, denotado como $A = \{c_\alpha : \alpha < \omega_1\}$.
• Se utiliza un grupo de automorfismos $G = \text{Sym}(\omega_1)$ y un filtro normal de subgrupos generado por estabilizadores de conjuntos contables.
• Resultado en $N$: Se cumple ZF + DC, pero $A$ no es bien ordenable, por lo que $\neg$AC. Además, se cumple $\text{SVC}(A^\omega)$ (el Principio de Conjunto de Vitali para $A^\omega$), lo que implica que todo conjunto puede ser "cubierto" por un producto de $A^\omega$ y un ordinal.

B. Parámetros Fijos y Reducción Local

El autor define parámetros fijos en el modelo semilla:

• $S := A^\omega$ (el conjunto de secuencias de elementos de $A$).
• $T := \mathcal{P}(S)$ (el conjunto potencia de $S$).
  El teorema de localización de Ryan-Smith es crucial aquí: bajo la hipótesis $\text{SVC}^+(T)$, el Principio de Partición global (PP) es equivalente a la conjunción de:

1. PP$\restriction$T: El principio de partición restringido a subconjuntos de $T$.
2. ACWO: El axioma de elección para conjuntos bien ordenables.

Por lo tanto, el objetivo de la iteración se reduce a forzar $\text{PP}\restriction T$ y $\text{ACWO}$ simultáneamente, mientras se preserva $\neg$AC.

C. La Iteración Simétrica de Longitud Ord

Se construye una iteración de longitud $\text{Ord}$ con soporte contable. En cada etapa sucesora, se añaden "paquetes de forcing" simétricos diseñados para:

1. Forzar $\text{PP}\restriction T$: Se utiliza un forcing de "división" (splitting) para cada sobreyección $f: Y \twoheadrightarrow X$ donde $X, Y \subseteq T$. Este forcing, denotado $Q_f$, añade una inversa derecha (sección) para $f$.
2. Forzar ACWO: Se utiliza un forcing $R_f$ para añadir inversas derechas a sobreyecciones de la forma $S \times \eta \twoheadrightarrow \lambda$ (donde $\lambda < \aleph^*(S)$), lo cual es suficiente para garantizar ACWO bajo $\text{SVC}(S)$.

D. Mecanismos Técnicos Avanzados

Para que la iteración funcione a nivel de clase y preserve las propiedades deseadas, el autor introduce varias innovaciones técnicas:

• Paquetes de Órbita (Orbit Packages): En lugar de forzar sobre una función individual, se fuerza sobre toda la órbita de funciones bajo la acción del grupo de simetría. Esto asegura que los nombres genéricos resultantes sean simétricos.
• Automorfismos de Cancelación Diagonal (Diagonal-Cancellation): Se definen automorfismos especiales que actúan como la identidad en ciertos "conjuntos de protección" (protection sets) y como la acción de órbita estándar en el resto. Esto es esencial para mantener la coherencia de los filtros en las etapas límite.
• Filtros Límite Modificados ($\tilde{F}^*_\lambda$): Se define un filtro de subgrupos en las etapas límite que incluye no solo las proyecciones de etapas anteriores, sino también subgrupos diagonales ($\Delta^\uparrow$). Esto garantiza que el filtro sea $\omega_1$-completo y normal, permitiendo preservar DC en el modelo final.
• Argumento de Persistencia: Se demuestra que la propiedad $\text{SVC}(S)$ se preserva a lo largo de toda la iteración, lo cual es necesario para que el teorema de localización de Ryan-Smith funcione en el modelo final.

3. Contribuciones Clave

1. Primera Separación de PP y AC: El artículo proporciona la primera construcción explícita de un modelo de ZF donde se cumple el Principio de Partición pero falla el Axioma de Elección total.
2. Nueva Técnica de Iteración Simétrica: Desarrolla un marco robusto para iteraciones simétricas de longitud de clase (Ord-length) con soporte contable, resolviendo problemas técnicos sobre la definición de filtros límite y la preservación de DC en contextos de clase.
3. Refinamiento de la Localización: Utiliza y extiende el trabajo de Ryan-Smith para mostrar cómo principios localizados (sobre un parámetro fijo $T$) pueden elevarse a principios globales mediante la combinación con ACWO.
4. Preservación de $\neg$AC: Demuestra que, a pesar de añadir muchas funciones de elección (para conjuntos bien ordenables y para subconjuntos de $T$), el conjunto de Cohen $A$ permanece no bien ordenable debido a la acción de los automorfismos diagonales que permutan los reales de Cohen de manera no trivial.

4. Resultados Principales

El Teorema Principal (Teorema 5.85) establece que, asumiendo un modelo base $V \models \text{ZFC}$, existe un modelo transitivo $M$ tal que:

• $M \models \text{ZF}$ (Axiomas de Zermelo-Fraenkel).
• $M \models \text{DC}$ (Axioma de Elección Dependiente).
• $M \models \text{PP}$ (Principio de Partición).
• $M \models \text{ACWO}$ (Elección para conjuntos bien ordenables).
• $M \models \neg\text{AC}$ (El Axioma de Elección total es falso).

Consecuencias Adicionales:

• Principio de Ordenamiento: En $M$, todo conjunto admite un orden lineal (Corolario 5.86).
• Principios de Kinna-Wagner: Se cumple $KWP_1$ y $KWP_2$ (todo conjunto se inyecta en un conjunto potencia iterado de un ordinal).

5. Significado e Impacto

Este trabajo es un hito significativo en la teoría de conjuntos sin elección:

• Resolución de una Conjetura: Cierra una brecha teórica importante al demostrar que PP es estrictamente más débil que AC. Antes de este trabajo, no se sabía si PP implicaba AC o si existía un modelo intermedio.
• Herramientas para Futuras Investigaciones: La metodología de iteración simétrica de longitud de clase con filtros modificados y cancelación diagonal proporciona un "cajón de sastre" técnico que otros investigadores pueden utilizar para separar otros principios de elección o construir modelos con propiedades específicas de cardinalidad.
• Clarificación de la Jerarquía de Principios: Ayuda a mapear con mayor precisión la jerarquía de principios de elección débiles, mostrando que es posible tener una estructura rica de elección (DC, ACWO, PP) sin llegar a la elección total, manteniendo objetos "caóticos" como el conjunto de Cohen no bien ordenable.

En resumen, Gilson logra separar PP de AC mediante una construcción sofisticada que combina forcing simétrico, iteraciones de clase y técnicas de localización, estableciendo un nuevo estándar para la construcción de modelos en ZF.