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

Este artigo introduz uma nova propriedade de posets, definida por uma variação do jogo de Banach-Mazur que permite escolhas de conjuntos contáveis, demonstra que o Axioma Forçado de Proper (PFA) é preservado sob forçagem sobre tais posets e aplica esse resultado para reproduzir um teorema de Magidor sobre a consistência do PFA com variações fracas dos princípios quadrado.

O essencial

Imagine que você está tentando construir um arranha-céu infinito, mas o terreno é muito instável. Em matemática, especificamente na teoria dos conjuntos, os matemáticos usam ferramentas chamadas "forçamentos" (forcing) para construir novos universos matemáticos ou adicionar novas peças a um que já existe. O grande desafio é: como adicionar essas novas peças sem derrubar a estrutura inteira do prédio?

O artigo de Yasuo Yoshinobu trata exatamente disso: como garantir que, ao adicionar novas "peças" a um universo matemático, certas regras importantes (chamadas de Axiomas de Forçamento, como o PFA) continuem valendo.

Aqui está uma explicação simplificada, usando analogias do dia a dia:

1. O Jogo da Estrutura (O Jogo Banach-Mazur)

Para entender a ideia principal, imagine um jogo de dois jogadores, Alice e Bob, tentando construir uma torre de blocos.

• O Objetivo: Alice quer derrubar a torre ou impedir que Bob continue construindo. Bob quer construir a torre até o infinito (ou até um ponto muito alto) sem cair.
• A Regra Tradicional: Em cada turno, Alice coloca um único bloco na torre. Bob responde colocando um único bloco em cima, tentando manter a estrutura estável.
• A Vitória de Bob: Se Bob consegue jogar por um tempo muito longo (infinito, na verdade) sem que a torre caia, dizemos que o "terreno" (o poseto) é "estrategicamente fechado". Isso significa que Bob tem uma estratégia infalível para vencer, não importa o que Alice faça.

2. A Grande Mudança: O "Jogo Estrela" (The *-Variation)

Yoshinobu propõe uma nova regra para o jogo, que é o coração do artigo:

• A Nova Regra: Agora, quando é a vez de Alice, ela não coloca apenas um bloco. Ela coloca um conjunto de blocos (uma pequena pilha de blocos) de uma vez só.
• O Desafio: Bob ainda precisa colocar um bloco, mas agora ele precisa ser compatível com toda a pilha que Alice acabou de jogar, não apenas com um bloco isolado.

O autor define uma propriedade chamada "Fechamento Tático Estrela" (*-tactical closedness).

• O que significa? Significa que Bob tem uma estratégia para vencer mesmo quando Alice joga com "força bruta" (vários blocos de uma vez), e Bob só precisa olhar para o conjunto total que Alice jogou, sem precisar lembrar de cada detalhe histórico de como eles chegaram lá.

3. Por que isso é importante? (O PFA)

Existe uma regra muito famosa e poderosa no mundo matemático chamada PFA (Axioma do Forçamento Próprio). Ela é como um "seguro de vida" para muitas estruturas matemáticas.

• O Problema: Sabíamos que, se o terreno fosse "fechado" de uma maneira muito forte (o jogo tradicional), o PFA sobrevivia. Mas, se o terreno fosse apenas "fechado" de uma maneira média, o PFA podia quebrar.
• A Descoberta: Yoshinobu prova que, mesmo com a nova regra mais difícil (Alice jogando vários blocos), se o terreno tiver a propriedade de "Fechamento Tático Estrela", o PFA continua vivo e saudável.

Analogia: Imagine que o PFA é uma planta rara.

• O jogo antigo era como regar a planta com uma garrafa de água. Se o solo fosse bom, a planta crescia.
• O novo jogo é como jogar um balde inteiro de água de uma vez. A maioria dos solos mataria a planta (o PFA quebraria).
• Yoshinobu descobriu um tipo de solo especial (o *-taticamente fechado) que aguenta o balde de água e ainda faz a planta crescer.

4. A Batalha entre Duas Estratégias

O artigo também compara essa nova estratégia com outra estratégia antiga que o autor ajudou a criar (chamada "Fechamento Operacional").

• É como se fossem dois tipos de "super-heróis" da matemática.
• O autor mostra que eles são diferentes. Um consegue salvar certas coisas que o outro não consegue, e vice-versa.
• Ele prova que, em alguns cenários, o "Herói Estrela" salva o universo, mas o "Herói Operacional" falha. Em outros, o "Herói Operacional" salva, mas o "Herói Estrela" falha. Isso nos diz que o universo matemático é mais complexo e diverso do que pensávamos.

5. A Aplicação Prática (O Teorema de Magidor)

O autor usa essa nova ferramenta para provar um teorema famoso de Menachem Magidor.

• O Cenário: Magidor queria saber se era possível ter o PFA (nossa planta rara) e, ao mesmo tempo, ter certas estruturas geométricas específicas (chamadas de princípios "quadrado" ou square principles) que geralmente são proibidas pelo PFA.
• A Solução: Usando o novo "Fechamento Tático Estrela", Yoshinobu mostra que é possível construir um universo onde ambos coexistem. É como se ele tivesse encontrado um jeito de ter o céu azul e a chuva ao mesmo tempo, algo que parecia impossível antes.

Resumo Final

Este artigo é como um manual de engenharia avançada. O autor inventou uma nova ferramenta (o jogo com conjuntos de blocos) para testar a resistência de estruturas matemáticas. Ele provou que essa nova ferramenta é forte o suficiente para manter as regras mais importantes do universo (o PFA) intactas, mesmo sob pressão extrema. Além disso, ele mostrou que essa ferramenta é diferente e complementar a outras ferramentas existentes, expandindo nosso conhecimento sobre como os universos matemáticos podem ser construídos.

Resumo técnico

Título: A Variação *- do Jogo de Banach-Mazur e Axiomas de Forçamento

Autor: Yasuo Yoshinobu
Fonte: arXiv:1503.06703v2 [math.LO]

1. Problema e Contexto

O artigo aborda um problema central na teoria dos conjuntos: identificar quais classes de posets (conjuntos parcialmente ordenados) preservam o Axioma de Forçamento Proper (PFA) quando submetidos a forçamento.

• Contexto Histórico: Resultados anteriores (Larson, König e Yoshinobu) estabeleceram que o PFA é preservado por forçamento sobre posets que são $\omega_2$-fechados ou $\omega_2$-diretamente fechados. No entanto, a classe dos posets $(\omega_1 + 1)$-estrategicamente fechados (definidos pelo jogo de Banach-Mazur padrão de comprimento $\omega_1+1$) é insuficiente para preservar o PFA (exemplo: o poset que adiciona uma sequência $\square_{\omega_1}$ é $(\omega_1+1)$-estrategicamente fechado, mas o PFA nega $\square_{\omega_1}$).
• Objetivo: Encontrar uma generalização razoável da $\omega_2$-fechamento que seja mais ampla que a fechamento estratégico padrão, mas que ainda garanta a preservação do PFA. O autor busca distinguir e comparar diferentes fortalecimentos da fechamento estratégico, especificamente a "fechamento operacional" (trabalho anterior do autor) e uma nova variação baseada no jogo de Banach-Mazur.

2. Metodologia

O autor introduz uma nova variação do Jogo de Banach-Mazur generalizado sobre posets para definir novas propriedades de fechamento.

• O Jogo $G^*(P)$:

  • Similar ao jogo padrão $G_{\omega_1+1}(P)$, onde dois jogadores escolhem condições.
  • Diferença Crucial: No turno $n$, o Jogador I (o "atacante") escolhe um conjunto contável de condições $A_n \subseteq P$ (em vez de uma única condição).
  • O Jogador II (o "defensor") deve escolher uma condição $b_n$ que seja uma extensão comum de todo o conjunto $A_n$.
  • O Jogador II vence se conseguir jogar por $\omega_1$ turnos.

• Definições de Fechamento:

  • $\ast$-Taticamente Fechado ($\ast$-tactically closed): O Jogador II possui uma estratégia vencedora (tática) que depende apenas do conjunto de condições escolhidas pelo Jogador I até aquele momento, ignorando a história completa dos movimentos anteriores (memória limitada).
  • $\ast$-Operacionalmente Fechado ($\ast$-operationally closed): O Jogador II possui uma estratégia vencedora (operação) que depende do conjunto das escolhas do Jogador I e do número ordinal do turno atual.

• Técnicas de Prova:

  • Uso de modelos elementares contáveis e condições fortemente genéricas.
  • Construção de projeções entre posets auxiliares e o poset original.
  • Análise de princípios combinatórios (como $\square_{\kappa, \lambda}$, Chang's Conjecture e propriedades de "climbability" conjuntista).
  • Argumentos de densidade e preservação de axiomas de forçamento (PFA e $MA^+(\omega_1\text{-closed})$).

3. Principais Contribuições e Resultados

A. Preservação do PFA

O resultado central do artigo é o Teorema 3.1:

O PFA é preservado sob qualquer forçamento sobre um poset que seja $\ast$-operacionalmente fechado.

Como a propriedade $\ast$-taticamente fechada é um caso particular da $\ast$-operacionalmente fechada, o PFA também é preservado por posets $\ast$-taticamente fechados. Isso generaliza resultados anteriores sobre fechamento operacional e $\omega_2$-fechamento.

B. Consistência de PFA com Princípios de Quadrado Fraco

Como aplicação direta, o autor reprova o teorema de Magidor (Teorema 3.3):

É consistente com ZFC + PFA a afirmação de que $\square_{\kappa, \omega_2}$ vale para todos os cardinais $\kappa \ge \omega_2$.

A prova utiliza um forçamento iterado de classe própria com suporte de Easton, onde cada passo é o poset $P_{\square_{\kappa, \omega_2}}$. O autor demonstra (Teorema 2.6) que esses posets são $\ast$-taticamente fechados, permitindo a aplicação do Teorema 3.1.

C. Separação entre Fechamento Operacional e $\ast$-Tático

O artigo resolve a questão de saber se as duas noções de fechamento (operacional e $\ast$-tático) são equivalentes. O autor prova que elas são distintas sob o axioma $MA^+(\omega_1\text{-closed})$:

1. Fechamento Operacional não implica $\ast$-Tático:

   • O autor considera o princípio combinatório SCP (Setwise Climbability Property).
   • Mostra que posets operacionalmente fechados preservam a negação de SCP (Teorema 6.1), enquanto existem posets $\ast$-taticamente fechados que forçam SCP.
   • Conclui-se que a fechamento operacional não implica $\ast$-tática.

2. Fechamento $\ast$-Tático não implica Operacional:

   • O autor considera a Conjectura de Chang (CC).
   • Mostra que, assumindo $MA^+(\omega_1\text{-closed})$, todo poset $\ast$-taticamente fechado preserva a Conjectura de Chang (Teorema 5.1).
   • No entanto, existe um poset operacionalmente fechado que força a falha da Conjectura de Chang (resultado conhecido da literatura).
   • Conclui-se que a fechamento $\ast$-tática não implica operacional.

D. Equivalências com Axiomas de Martin

O autor estabelece equivalências entre princípios combinatórios e versões do Axioma de Martin ($MA_{\omega_2}$) para classes específicas de posets:

• SCP é equivalente a $MA_{\omega_2}$ para a classe dos posets $\ast$-operacionalmente fechados.
• SCP$^-$ (uma versão fraca sem a função $f$) é equivalente a $MA_{\omega_2}$ para a classe dos posets $\ast$-taticamente fechados.

4. Significado e Impacto

• Novas Ferramentas para Forçamento: A introdução do jogo $G^*(P)$ e das propriedades $\ast$-tática e $\ast$-operacional fornece novas ferramentas para analisar a preservação de axiomas de forçamento fortes (como PFA e MM) sob forçamentos que não são $\omega_2$-fechados.
• Refinamento da Hierarquia de Fechamento: O trabalho esclarece a estrutura hierárquica entre diferentes tipos de fechamento estratégico. Mostra que existem "caminhos" distintos para fortalecer a fechamento estratégica que preservam o PFA, mas que têm consequências combinatórias diferentes (preservando ou destruindo princípios como CC e SCP).
• Consistência de Princípios de Quadrado: A prova de que PFA é consistente com $\square_{\kappa, \omega_2}$ (para $\kappa \ge \omega_2$) é um resultado clássico reafirmado com uma técnica mais robusta e geral, conectando o PFA a variações fracas do princípio de Jensen.
• Distinção de Axiomas: A demonstração de que $MA^+(\omega_1\text{-closed})$ não implica a equivalência entre fechamento operacional e $\ast$-tático enriquece a compreensão das implicações lógicas entre axiomas de forçamento e propriedades de posets.

Em resumo, o artigo expande significativamente o entendimento sobre quais tipos de forçamento são "seguros" para o PFA, introduzindo uma nova classe de posets ($\ast$-taticamente fechados) e mapeando com precisão suas interações com outros princípios fundamentais da teoria dos conjuntos.