Nontrivial automorphisms of $\mathcal P(\omega)/\mathrm{Fin}$ in Cohen models

O artigo demonstra que, ao adicionar menos de $\aleph_\omega$ reais de Cohen a um modelo de $\mathsf{CH}$, existem automorfismos não triviais de $\mathcal P(\omega)/\mathrm{Fin}$ na extensão, e sob hipóteses adicionais sobre a existência de árvores de Davies, estende esse resultado para cardinais $\kappa \geq \aleph_\omega$, generalizando assim um teorema anterior de Shelah e Steprāns.

O essencial

Imagine que você tem um livro de regras infinito e muito complexo, chamado P(ω)/Fin. Este livro contém todas as formas possíveis de organizar números inteiros (como 1, 2, 3...), mas com uma regra estranha: se você mudar apenas um número aqui ou ali, isso não conta como uma mudança real. O livro é "fechado" e tem uma estrutura muito rígida.

Agora, imagine que existem "transformadores" (chamados automorfismos) que podem reorganizar as páginas desse livro.

• Transformadores Triviais: São como um funcionário preguiçoso que apenas troca o nome de uma página por outra, mas mantém a ordem original. É como se ele apenas mudasse a capa do livro, mas o conteúdo permanecesse igual.
• Transformadores Não Triviais: São como um gênio caótico que reorganiza o livro de uma forma totalmente nova, criando padrões que nunca existiram antes, mas que ainda obedecem às regras do livro.

A pergunta que os autores deste artigo (Will Brian e Alan Dow) estão tentando responder é: Se adicionarmos novas "páginas" ao nosso universo (usando uma técnica chamada "forçamento de Cohen"), conseguimos criar esses transformadores geniais e não triviais?

O Cenário: Adicionando "Reais de Cohen"

Pense no "forçamento de Cohen" como adicionar novas páginas aleatórias a um livro de receitas.

• Se você adicionar poucas páginas (menos que um certo limite infinito chamado $\aleph_\omega$), o livro ainda mantém uma estrutura que permite que esses transformadores geniais existam.
• Se você adicionar muitas páginas (números muito grandes), a estrutura do livro fica tão bagunçada que, na teoria padrão da matemática (ZFC), não sabemos se esses transformadores ainda existem.

A Descoberta Principal

Os autores provaram duas coisas importantes:

1. Para quantidades "pequenas" (infinitas, mas menores que $\aleph_\omega$):
   Eles mostraram que, se você adicionar essas novas páginas, o livro sempre terá transformadores não triviais. Na verdade, haverá tantos transformadores que você não conseguiria nem contá-los (o número máximo possível). É como se o livro, ao receber novas páginas, ganhasse uma "alma" nova e imprevisível.

2. Para quantidades "grandes" (maiores que $\aleph_\omega$):
   Aqui a coisa fica mais difícil. Para provar que os transformadores existem, eles precisaram de uma ferramenta especial chamada Árvore de Davies Sábias (Sage Davies Trees).

   • A Analogia da Árvore: Imagine que você precisa construir um arranha-céu em um terreno muito grande. Você não pode construir tudo de uma vez. Você precisa de um plano mestre, uma árvore de instruções que diz: "Construa o andar 1, depois o 2, e certifique-se de que o material do andar 3 esteja pronto".
   • A "Árvore de Davies" é esse plano mestre. Ela organiza o caos das novas páginas em pequenas, gerenciáveis seções.
   • Se o seu "terreno" (o modelo matemático inicial) tem essa árvore (o que acontece se certas regras de lógica, como o SCH e o $\square_\lambda$, forem verdadeiras), então você consegue construir os transformadores, mesmo com muitas páginas.
   • Se essa árvore não existir, o plano falha e não sabemos se os transformadores aparecem.

Por que isso é difícil? (O Problema do "Gap")

O artigo explica que, no caso de adicionar apenas 2 conjuntos infinitos ($\aleph_2$), o livro tem uma propriedade especial: ele é "quase saturado". Isso significa que, se você tentar adicionar uma nova página, ela se encaixa perfeitamente em um espaço vazio (um "gap") que já existe. É fácil criar o transformador porque o livro está "esperando" por essa peça.

Mas, quando você adiciona muitos conjuntos ($\aleph_3$ ou mais), o livro perde essa propriedade. As novas páginas não se encaixam tão facilmente. Para consertar isso, os autores usaram a "Árvore de Davies" para criar uma estrutura artificial que simula essa facilidade, permitindo que eles "costurassem" o transformador peça por peça, garantindo que ele funcione no final.

Resumo Simples

• O Livro: A estrutura matemática $P(\omega)/Fin$.
• O Desafio: Descobrir se adicionar novas informações (reais de Cohen) cria novas formas de reorganizar o livro (automorfismos não triviais).
• A Solução Pequena: Se adicionarmos "poucas" novas informações, a resposta é SIM, e há infinitos deles.
• A Solução Grande: Se adicionarmos "muitas" novas informações, a resposta é SIM, desde que o universo onde começamos tenha um "plano mestre" (Árvore de Davies) organizado.
• O Mistério Restante: Nós não sabemos se esse "plano mestre" é sempre necessário ou se ele sempre existe. Isso depende de grandes conjecturas matemáticas que ainda não foram resolvidas.

Em suma, o artigo mostra que, na maioria dos casos, o universo matemático é flexível o suficiente para criar novas e complexas estruturas quando alimentado com novas informações, mas para os casos extremos, precisamos de uma organização muito específica para garantir que isso aconteça.

Resumo técnico

Resumo Técnico: Automaorfismos Não Triviais de P(ω)/Fin em Modelos de Cohen

1. O Problema e o Contexto

O artigo investiga a existência de automorfismos não triviais na álgebra booleana $\mathcal{P}(\omega)/\text{Fin}$ (o conjunto das partes dos números naturais módulo o ideal dos conjuntos finitos) em modelos obtidos pela adição de reais de Cohen.

• Contexto Histórico: Sob o Axioma da Escolha (ZFC) e a Hipótese do Contínuo (CH), sabe-se que existem $2^{\mathfrak{c}}$automorfismos. No entanto, é consistente com ZFC que *todos* os automorfismos sejam triviais (induzidos por quase-permutações de$\omega$).
• O Cenário de Cohen: O modelo $\kappa$-Cohen é obtido forçando sobre um modelo de CH com o poset $Fn(\kappa, 2)$ (funções parciais finitas de $\kappa$ para 2), adicionando $\kappa$ reais de Cohen mutuamente genéricos.
• A Questão Central: Para quais cardinais $\kappa \ge \aleph_2$ o modelo $\kappa$-Cohen contém automorfismos não triviais?
  • Estado da Arte: Shelah e Steprāns provaram em [20] que para $\kappa = \aleph_2$, existem automorfismos não triviais. A prova deles, no entanto, falha para $\kappa \ge \aleph_3$ devido à perda de uma estrutura de "quase-saturação" específica do modelo $\aleph_2$-Cohen.
  • Objetivo: Estender o resultado de Shelah-Steprāns para cardinais $\kappa \ge \aleph_3$ e, idealmente, para todo $\kappa \ge \aleph_2$.

2. Metodologia e Ferramentas Principais

Os autores superam as limitações da prova original de Shelah-Steprāns introduzindo uma estrutura combinatória sofisticada: Árvores de Davies Sage (Sage Davies Trees).

• Árvores de Davies Sage: São sequências de submodelos elementares $\langle M_\alpha : \alpha < \kappa \rangle$ de um fragmento grande do universo ($H_\theta$) que possuem propriedades de coerência e cobertura específicas.
  • A versão "Sage" utiliza modelos contavelmente fechados.
  • A existência dessas árvores para $\kappa < \aleph_\omega$ é provável em ZFC. Para $\kappa \ge \aleph_\omega$, sua existência depende de hipóteses adicionais (Hipótese do Cardinal Singular - SCH e o princípio de quadrado $\square_\lambda$).
• Estratégia de Construção:
  1. Decomposição do Modelo: Em vez de tentar construir o automorfismo diretamente no modelo final, os autores decompõem o modelo de Cohen $V[G]$ em uma união crescente de subálgebras $B_\alpha$, baseadas na interação entre a árvore de Davies e o forcing.
  2. Preenchimento de Lacunas (Gaps): O cerne da construção é estender um automorfismo parcial $\Phi$ definindo sua ação em novos elementos. Para isso, eles exploram o fato de que, em certas etapas da recursão, novos elementos cortam o domínio atual em uma lacuna $(\omega, \omega)$.
  3. Uso de Reais Genéricos: A estrutura da árvore de Davies garante que, em cada etapa $\alpha$, existem $\aleph_1$ "reais frescos" (Cohen-genéricos sobre o modelo anterior) disponíveis dentro do modelo estendido $M_{\alpha+1}[G]$. Esses reais são usados para "preencher" as lacunas $(\omega, \omega)$ de forma genérica, permitindo a extensão do automorfismo.
  4. Codificação de Informação: Para garantir que existam muitos automorfismos distintos ($2^\kappa$), a construção codifica uma função$h: \kappa \to 2$ na escolha de como os novos elementos são mapeados (fixando-os ou trocando-os com seus pares genéricos).

3. Principais Resultados (Teorema Principal)

O artigo estabelece o seguinte Teorema Principal, assumindo CH no modelo base $V$ e $P = Fn(\kappa, 2)$:

1. Caso $\kappa < \aleph_\omega$:

   • Resultado: Todo automorfismo de $\mathcal{P}(\omega)/\text{Fin}$ em $V$ estende-se a $2^\kappa$automorfismos em$V^P$.
   • Significado: Este é um teorema de ZFC (sem hipóteses extras), pois árvores de Davies de comprimento $\kappa < \aleph_\omega$ existem em ZFC.

2. Caso $\kappa \ge \aleph_\omega$ (Cardinais Regulares):

   • Hipótese: Assume-se a existência de uma árvore de Davies Sage de comprimento $\kappa$ (o que segue de SCH + $\square_\lambda$ para todo $\lambda$ com cofinalidade $\omega$).
   • Resultado: Todo automorfismo em $V$ estende-se a $2^\kappa$automorfismos em$V^P$.

3. Caso $\kappa$ Singular:

   • Hipótese: Assume-se a existência de uma árvore de Davies Sage de comprimento $\nu = \kappa^\omega$.
   • Resultado: Existem automorfismos não triviais em $V^P$. (Nota: O artigo prova a existência de pelo menos um não trivial, mas não necessariamente $2^\kappa$distintos neste caso específico, embora a construção permita$2^\kappa$ se a árvore for suficientemente longa e as condições de regularidade forem atendidas).

4. Detalhes Técnicos da Prova

• Teorema 2.1 (Estrutura Pós-Forcing): Os autores analisam o que acontece com uma árvore de Davies Sage após o forcing de Cohen. Eles provam que, embora a sequência de modelos não seja mais uma árvore de Davies no sentido estrito, ela retém propriedades cruciais:
  • Para cada $\alpha$, existem $\aleph_1$ ordinais em $M_\alpha$ que não estão na união dos anteriores, gerando $\aleph_1$ reais de Cohen mutuamente genéricos sobre o modelo anterior.
  • Qualquer elemento $r$ em $M_\alpha[G]$ que não esteja na união anterior é "cortado" por conjuntos contáveis $L_r, U_r$ pertencentes ao modelo anterior, formando uma lacuna $(\omega, \omega)$.
• Recursão Transfinita (Teorema 3.1):
  • A construção ocorre em $\kappa$ estágios principais. Em cada estágio $\alpha$, estende-se o automorfismo de $B_\alpha$ para $B_{\alpha+1}$.
  • A extensão de $B_\alpha$ para $B_{\alpha+1}$ é feita via uma sub-recursão de comprimento $\omega_1$.
  • Em cada passo da sub-recursão, um novo elemento $b_\xi$ é adicionado ao domínio. Devido à estrutura da árvore, $b_\xi$ cria uma lacuna $(\omega, \omega)$ no domínio atual.
  • Utiliza-se a existência de reais genéricos "frescos" em $M_{\alpha+1}[G]$ para encontrar um elemento $s_\xi$ que preencha a imagem dessa lacuna, permitindo estender o automorfismo.
  • A função $h$ (que codifica a distinção entre os automorfismos) é usada para decidir se um par de reais genéricos é fixado ou trocado.

5. Significado e Implicações

• Generalização: O trabalho generaliza significativamente o resultado de Shelah-Steprāns, mostrando que a existência de automorfismos não triviais não é um fenômeno restrito ao modelo $\aleph_2$-Cohen, mas uma característica robusta de modelos de Cohen para cardinais maiores, desde que certas estruturas combinatórias (árvores de Davies) existam.
• Conexão com Grandes Cardinais: O artigo destaca que a prova para $\kappa \ge \aleph_\omega$ depende de hipóteses que, se falharem, implicam a existência de grandes cardinais (como cardinais mensuráveis de ordem de Mitchell alta ou cardinais de Woodin). Isso sugere que provar o resultado em ZFC puro para $\kappa \ge \aleph_\omega$ pode ser impossível ou exigir uma revolução na teoria dos conjuntos.
• Questões Abertas:
  • É possível provar a existência de $2^\kappa$automorfismos para$\kappa \ge \aleph_\omega$ apenas em ZFC?
  • É consistente que todos os automorfismos sejam triviais em algum modelo $\kappa$-Cohen para $\kappa \ge \aleph_\omega$? (Isso exigiria a negação de SCH ou $\square$, implicando grandes cardinais).
  • O que acontece em modelos de reais aleatórios (random reals)? O artigo deixa essa questão em aberto.

Conclusão

Brian e Dow demonstram que a estrutura combinatória fornecida pelas árvores de Davies Sage é poderosa o suficiente para restaurar a capacidade de construir automorfismos não triviais em modelos de Cohen de alta cardinalidade, superando as barreiras técnicas que limitavam as provas anteriores ao caso $\aleph_2$. O trabalho estabelece uma ponte profunda entre a teoria dos modelos, a teoria do forcing e a teoria dos cardinais grandes.