The *-variation of the Banach-Mazur game and forcing axioms

Los autores introducen una nueva propiedad de los posets basada en una variación del juego de Banach-Mazur que fortalece la cerradura estratégica (ω₁+1), demuestran que la Axioma Forzante de Proyección (PFA) se preserva bajo forzamientos sobre posets con esta propiedad, y aplican este resultado para reproducir el teorema de Magidor sobre la consistencia del PFA con variaciones débiles de los principios cuadrado, diferenciándolo además de la cerradura operativa (ω₁+1).

Lo esencial

Imagina que el universo matemático es un gigantesco edificio de bloques de construcción (llamados "condiciones" o "posets"). Los matemáticos, como arquitectos, intentan añadir nuevas plantas a este edificio sin que se derrumbe. A veces, quieren añadir reglas muy específicas (llamadas "axiomas de forzamiento", como el PFA) que garantizan que el edificio sea muy estable y tenga ciertas propiedades mágicas.

El problema es: ¿Qué tipo de bloques nuevos podemos añadir sin romper las reglas mágicas que ya tenemos?

Este artículo, escrito por Yasuo Yoshinobu, presenta una nueva herramienta para responder a esa pregunta. Aquí te lo explico con analogías sencillas:

1. El Juego de la Estrategia (El Banach-Mazur)

Para entender si un bloque es "seguro", los matemáticos juegan un juego imaginario entre dos personas: Jugador I (el que pone los bloques) y Jugador II (el que intenta mantener la estructura estable).

• La versión antigua: En juegos anteriores, el Jugador I ponía un solo bloque a la vez. Si el Jugador II tenía una estrategia ganadora (una receta secreta para responder a cualquier bloque), el sistema era considerado "cerrado" y seguro.
• *La nueva versión (La variación ): Yoshinobu cambia las reglas. Ahora, el Jugador I no pone un solo bloque, sino que pone un pequeño grupo de bloques (un conjunto contable) en cada turno.
  • Analogía: Imagina que antes te lanzaban una pelota a la vez. Ahora te lanzan una canasta llena de pelotas. ¿Sigues teniendo la habilidad de atraparlas todas y mantener el equilibrio?

2. La Nueva Propiedad: "Cerrado Tácticamente Estrella" (*-tactically closed)

El autor define una nueva propiedad llamada "cerrado tácticamente estrella".

• Qué significa: Significa que el Jugador II tiene una estrategia ganadora incluso cuando el Jugador I le lanza grupos de bloques en lugar de uno solo.
• La clave: El Jugador II no necesita recordar toda la historia del juego (qué bloques se pusieron hace 100 turnos). Solo necesita mirar qué grupo de bloques le acaba de lanzar el oponente para decidir su siguiente movimiento. Es como un jugador de ajedrez que solo necesita ver el tablero actual y la última jugada del rival, sin tener que recordar la partida entera.

3. ¿Por qué es importante? (El PFA)

El objetivo principal del artículo es proteger una regla muy importante llamada PFA (Axioma de Forzamiento Propio).

• El descubrimiento: Yoshinobu demuestra que si usas bloques que tienen esta nueva propiedad "estrella" (donde puedes manejar grupos de bloques), el PFA sobrevive. El edificio no se derrumba; las reglas mágicas se mantienen intactas.
• Aplicación: Esto le permite probar un teorema famoso de Magidor: es posible tener un universo donde el PFA sea cierto y, al mismo tiempo, existan ciertas estructuras matemáticas (llamadas principios "square") que normalmente se pensaba que eran incompatibles con el PFA. Es como si demostrara que puedes tener un coche que va muy rápido (PFA) y que, al mismo tiempo, tiene un motor muy ruidoso (principios square), algo que antes parecía imposible.

4. La Diferencia entre "Operacional" y "Táctico"

El autor también compara su nueva idea con una idea anterior (llamada "cerrado operacional").

• La diferencia:
  • Operacional: El Jugador II puede usar una "receta" que depende del número de turno (ej: "en el turno 5, haz esto").
  • Táctico (Estrella): El Jugador II es más "perezoso" o eficiente. Su decisión depende solo de lo que le lanzaron en ese momento, sin importar en qué turno del juego estén.
• El resultado: El autor demuestra que estas dos ideas son diferentes. Hay situaciones donde una funciona y la otra no. Es como decir que un conductor experto puede manejar un coche usando un manual de instrucciones (operacional), pero otro conductor aún más experto puede manejarlo solo mirando la carretera (táctico), y no todos los conductores tácticos pueden seguir el manual, ni viceversa.

En Resumen

Yoshinobu nos dice: "Si quieres construir un universo matemático nuevo sin romper las reglas de oro (PFA), no necesitas ser tan estricto como antes. Puedes permitirte recibir 'paquetes' de condiciones en lugar de una por una, siempre que tu estrategia de respuesta sea lo suficientemente inteligente para manejar esos paquetes solo mirando el presente".

Es un avance en la arquitectura de las matemáticas infinitas, permitiéndoles construir estructuras más complejas y flexibles sin colapsar el edificio.

Resumen técnico

Aquí presento un resumen técnico detallado del artículo "The ∗-Variation of the Banach-Mazur Game and Forcing Axioms" (La variación ∗ del juego de Banach-Mazur y los axiomas de forcing) de Yasuo Yoshinobu.

1. Problema y Contexto

El artículo aborda un problema central en la teoría de conjuntos y la teoría de forcing: identificar qué clases de posets (conjuntos parcialmente ordenados) preservan el Axioma de Forcing Propio (PFA, por sus siglas en inglés) cuando se realiza un forcing sobre ellos.

• Antecedentes: Se sabía que el PFA se preserva bajo forcing sobre posets $\omega_2$-cerrados (Larson, König y Yoshinobu). Sin embargo, la cerradura estratégica $(\omega_1 + 1)$-estratégica, una generalización natural, no es suficiente para preservar el PFA (ejemplo: el poset que añade una secuencia $\square_{\omega_1}$ es $(\omega_1+1)$-estratégicamente cerrado pero destruye el PFA).
• La pregunta: ¿Existe una clase más amplia de posets que preserve el PFA, que sea una generalización razonable de la cerradura $\omega_2$ pero que no sea simplemente $\omega_2$-cerrada?
• Trabajo previo: En un artículo anterior [22], el autor introdujo la "cerradura operacional" (operational closedness), donde el segundo jugador en un juego de Banach-Mazur tiene información limitada. El objetivo de este nuevo trabajo es introducir una variante aún más fuerte y explorar sus relaciones con la cerradura operacional.

2. Metodología

El autor utiliza una combinación de teoría de juegos, teoría de forcing y principios combinatorios.

A. La Variación $\ast$ del Juego de Banach-Mazur

El núcleo de la metodología es una nueva definición de juego sobre un poset $P$:

• Juego estándar $G_{\omega_1+1}(P)$: El Jugador I elige una condición a la vez.
• Juego $G^\ast(P)$ (Variación $\ast$): El Jugador I elige un conjunto contable de condiciones ($A_\gamma \in [P]^{\leq \aleph_0}$) en cada turno, en lugar de una sola.
• Reglas: El Jugador II debe elegir una condición $b_\gamma$ que sea una extensión común de todo el conjunto $A_\gamma$ elegido por el Jugador I. El Jugador II gana si puede completar $\omega_1$ movimientos.

B. Nuevas Definiciones de Cerradura

Basado en este juego, se definen dos propiedades de cerradura para posets:

1. Cerradura $\ast$-táctica ($\ast$-tactically closed): El Jugador II tiene una estrategia ganadora que depende únicamente del conjunto actual de condiciones elegidas por el Jugador I (sin importar el número de turno ni la historia completa).
2. Cerradura $\ast$-operacional ($\ast$-operationally closed): El Jugador II tiene una estrategia ganadora que depende del conjunto actual de condiciones y del número de turno actual.

Estas nociones son estrictamente más fuertes que la cerradura estratégica $(\omega_1+1)$ y generalizan la cerradura operacional previa.

C. Principios Combinatorios

Para distinguir entre estas propiedades, el autor introduce y estudia principios combinatorios relacionados con la "escalabilidad" (climbability):

• SCP (Setwise Climbability Property): Una versión fuerte que implica la existencia de una función de escalado.
• SCP$^-$: Una versión más débil de SCP (sin la función $f$).
• Chang's Conjecture (CC): Un principio de reflexión que es consistente con PFA pero incompatible con ciertos principios de cuadrado.

3. Contribuciones Clave y Resultados

A. Preservación del PFA

• Teorema Principal (3.1): El PFA se preserva bajo cualquier forcing sobre un poset que sea $\ast$-operacionalmente cerrado (y por tanto, también bajo posets $\ast$-tácticamente cerrados).
• Método de prueba: Se construye un poset auxiliar $R$ (basado en el poset original y la estrategia ganadora) y se demuestra que el forcing compuesto $P \ast \dot{Q} \ast \dot{R}$ es propio. Esto permite aplicar el PFA en el modelo base para encontrar un filtro genérico que satisface las condiciones requeridas en la extensión.

B. Consistencia de PFA con Principios de Cuadrado Débiles

• Teorema 3.3 (Reproducción de Magidor): Se demuestra que el PFA es consistente con la afirmación de que $\square_{\kappa, \omega_2}$ se cumple para todo cardinal $\kappa \geq \omega_2$.
• Aplicación: El poset natural que fuerza $\square_{\kappa, \omega_2}$ (denotado $P_{\square_{\kappa, \omega_2}}$) se demuestra que es $\ast$-tácticamente cerrado (Teorema 2.6). Por lo tanto, al forzar con una iteración de tales posets, el PFA se preserva.

C. Separación de Propiedades (Operacional vs. $\ast$-Táctica)

El autor demuestra que las nociones de cerradura operacional y $\ast$-táctica son incomparables bajo el axioma $MA^+(\omega_1\text{-closed})$:

1. $\ast$-táctica no implica Operacional:
   • Se muestra que bajo $MA^+(\omega_1\text{-closed})$, todo poset $\ast$-tácticamente cerrado preserva la Conjetura de Chang (CC).
   • Sin embargo, existe un poset operacionalmente cerrado que fuerza la negación de CC.
   • Conclusión: La cerradura operacional no implica la $\ast$-táctica.
2. Operacional no implica $\ast$-táctica:
   • Se muestra que bajo $MA^+(\omega_1\text{-closed})$, todo poset operacionalmente cerrado fuerza la negación de SCP$^-$.
   • Sin embargo, el poset natural que fuerza SCP$^-$ es $\ast$-tácticamente cerrado.
   • Conclusión: La cerradura $\ast$-táctica no implica la operacional.

4. Significado e Impacto

1. Refinamiento de la Jerarquía de Cerradura: El trabajo establece una jerarquía más fina de propiedades de cerradura en posets, situando la "cerradura $\ast$-táctica" y "operacional" como herramientas precisas para controlar qué axiomas de forcing sobreviven a extensiones genéricas.
2. Resolución de Problemas de Magidor: Proporciona una prueba moderna y autocontenida de la consistencia de PFA con principios de cuadrado débiles ($\square_{\kappa, \omega_2}$), un resultado clásico de Magidor que antes requería argumentos más complejos o menos directos.
3. Distinción de Axiomas: Al demostrar que la preservación de ciertos principios (como CC o SCP$^-$) depende de si el poset es $\ast$-tácticamente o operacionalmente cerrado, el artículo clarifica las limitaciones y alcances de diferentes axiomas de forcing.
4. Nuevas Herramientas: La introducción del juego donde el Jugador I elige conjuntos contables abre nuevas vías para analizar la estructura de los posets y sus interacciones con axiomas como PFA y MM (Martin's Maximum).

En resumen, el artículo de Yoshinobu es una contribución significativa a la teoría de forcing, ofreciendo nuevas técnicas para preservar axiomas fuertes y delineando con precisión las fronteras entre diferentes tipos de cerradura de posets.