A Note on a Theorem of Apter

O artigo demonstra que a consistência de $\mathrm{ZF} + \mathrm{AD}_{\mathbb{R}} + \text{"}\Theta\text{ é mensurável"}$ implica a consistência de $\mathrm{ZF} + \text{"}\Theta\text{ é o menor cardinal fortemente regular e o menor cardinal mensurável"} + \text{"todos os cardinais não enumeráveis abaixo de }\Theta\text{ têm cofinalidade enumerável"}$.

O essencial

Imagine que o universo dos números e conjuntos (chamado de "Universo V" pelos matemáticos) é como uma cidade gigante e infinita. Nessa cidade, existem prédios de diferentes alturas, chamados de "cardinais". Alguns prédios são comuns, outros são fortalezas impenetráveis chamadas "cardinais mensuráveis" (que têm uma propriedade especial de "medida" ou "peso" que os torna únicos).

Normalmente, para construir essa cidade, os matemáticos usam uma ferramenta chamada Axioma da Escolha (AC). Pense no AC como um "gerente de obras" que garante que você pode sempre escolher um tijolo de cada pilha infinita para construir algo. Com esse gerente, as regras são claras: os prédios mais altos e fortes (os mensuráveis) são muito raros e ficam lá no topo, muito acima dos prédios comuns.

O Problema: E se o Gerente de Obras Sumir?

Os autores deste artigo (Rahman, Otto e Sebastiano) estão interessados em um cenário onde o Gerente de Obras (o Axioma da Escolha) não existe. Sem ele, a cidade fica um pouco caótica. As regras mudam:

• Prédios que antes eram comuns podem se tornar fortalezas.
• A hierarquia de alturas fica confusa.

Nesse cenário sem o Gerente, existe uma regra alternativa chamada Determinação (AD). Imagine que, em vez de escolher tijolos aleatoriamente, a cidade é governada por um jogo perfeito onde, para cada situação, alguém sempre tem uma estratégia vencedora. Sob essa regra, a matemática fica muito diferente: muitos prédios menores tornam-se fortalezas mensuráveis.

A Questão Central: Qual é o Prédio Mais Baixo que é uma Fortaleza?

O grande mistério que os autores querem resolver é: Qual é o menor prédio possível que ainda consegue ser uma "fortaleza mensurável" quando não temos o Gerente de Obras?

Sabe-se que, em algumas versões dessa cidade, o primeiro prédio mensurável pode ser o $\omega_1$ (um prédio relativamente baixo). Mas os matemáticos querem saber: e se exigirmos que esse prédio seja não apenas mensurável, mas também fortemente regular (ou seja, que seja uma base sólida, que não desmorone sob pressões específicas)?

Antes deste trabalho, havia um teorema famoso (de Apter) que mostrava como fazer isso, mas exigia uma "força" matemática gigantesca (como se precisássemos de um exército de gigantes para construir o prédio). Outros pesquisadores (Gitik, Hayut e Karagila) conseguiram reduzir essa força, mas ainda usavam uma definição de "fortaleza" que era um pouco diferente da que os autores deste artigo preferem.

A Solução: O "Kit de Ferramentas" Mágico

Os autores deste artigo mostram que é possível construir essa cidade onde:

1. O menor prédio mensurável é exatamente o menor prédio "fortemente regular".
2. Todos os prédios menores que ele são "instáveis" (têm uma estrutura frágil chamada "cofinalidade contável", como se fossem feitos de areia que se esfarela facilmente).
3. Tudo isso é feito com menos força matemática do que os métodos anteriores exigiam.

A Analogia da Construção (O Forçamento de Prikry):
Para conseguir isso, eles usam uma técnica chamada "Forçamento de Prikry". Imagine que você tem um prédio forte (um cardinal mensurável) e quer torná-lo "instável" (singular) sem destruí-lo completamente, mas mantendo a propriedade de ser uma fortaleza para os outros.

É como se você tivesse um prédio de concreto armado (o cardinal mensurável) e usasse uma ferramenta mágica para substituir a fundação por uma escada infinita de degraus finos. O prédio continua de pé (ainda é mensurável), mas agora você pode subir até o topo contando degraus um por um (tornando-o de "cofinalidade $\omega$").

Eles fazem isso para todos os prédios mensuráveis abaixo de um certo limite chamado $\Theta$ (que é o "teto" da cidade onde os números reais não conseguem mais chegar). Ao fazer isso, eles "quebram" a estabilidade de todos os prédios menores, deixando apenas o teto ($\Theta$) como o único prédio que permanece:

• Mensurável (uma fortaleza).
• Fortemente regular (uma base sólida).
• O menor de todos os tipos.

O Resultado Final

O teorema principal diz: "Se aceitarmos as regras do jogo perfeito (AD) e tivermos uma certa medida de força ($\Theta_{meas}$), podemos construir uma versão da cidade onde o menor prédio forte e mensurável é exatamente o teto da cidade ($\Theta$)."

Isso é importante porque:

1. Economia de Força: Eles mostram que não precisamos de "gigantes" (grandes cardinais) tão poderosos quanto pensávamos para criar esse cenário.
2. Precisão: Eles definem exatamente o que significa ser "fortemente regular" nesse contexto, diferenciando-se de definições anteriores.
3. Conjectura: Eles sugerem que, no futuro, talvez possamos provar que essa configuração é ainda mais fraca (mais fácil de construir) do que se imagina, aproximando-se de uma "fronteira" de consistência matemática.

Em Resumo

Pense na matemática como uma arquitetura de mundos possíveis. Os autores pegaram um projeto de construção que exigia materiais extremamente raros e caros (grandes cardinais) e mostraram como construir o mesmo prédio usando materiais mais comuns e técnicas mais inteligentes. Eles provaram que, mesmo sem o "Gerente de Obras" (Axioma da Escolha), é possível ter um universo onde a menor fortaleza possível é, ao mesmo tempo, a base mais sólida e o limite máximo da realidade conhecida.

Eles deixam algumas perguntas em aberto (como "quão alto pode ser esse prédio?"), mas o trabalho deles é um mapa crucial para entender os limites do que é possível construir na lógica matemática.

Resumo técnico

Aqui está um resumo técnico detalhado do artigo "A Note on a Theorem of Apter", apresentado em português:

Resumo Técnico: A Note on a Theorem of Apter

Autores: Rahman Mohammadpour, Otto Rajala, Sebastiano Thei
Instituição: IMPAN (Instituto de Matemática Pura e Aplicada)
Contexto: Teoria dos Conjuntos (ZF sem o Axioma da Escolha), Grandes Cardinals, Forçamento de Prikry.

---

1. O Problema e o Contexto

O artigo aborda a identificação do menor cardinal mensurável possível na ausência do Axioma da Escolha (AC).

• Contexto ZFC: Sob o Axioma da Escolha, cardinais mensuráveis são tipicamente muito grandes (inacessíveis, supercompactos, etc.) e não podem ser os primeiros cardinais regulares não triviais.
• Contexto ZF + AD: Sob o Axioma da Determinação (AD), a estrutura dos cardinais muda drasticamente. É consistente que $\omega_1$ seja mensurável. Sob AD + $V=L(\mathbb{R})$, todos os cardinais regulares abaixo de $\Theta$ são mensuráveis, onde $\Theta$ é o menor cardinal para o qual não existe uma sobrejeção dos reais $\mathbb{R}$.
• A Questão Central: Qual é a menor cardinal mensurável possível se exigirmos que ele seja também inacessível (ou, na terminologia do artigo, "fortemente regular")?
  • Apter [1] mostrou que, sob AD, é possível ter um modelo onde o menor cardinal mensurável é o menor cardinal limite regular.
  • Gitik, Hayut e Karagila [5] mostraram que, assumindo um cardinal supercompacto forte, existe uma extensão onde o menor cardinal mensurável é o menor cardinal inacessível (na definição deles).
• Objetivo do Artigo: Reduzir a força de grandes cardinais necessária para o teorema de Gitik, Hayut e Karagila, utilizando uma definição ligeiramente diferente de "inacessível" (chamada de fortemente regular), mas equivalente sob AC.

2. Metodologia

Os autores utilizam uma combinação de Forçamento de Prikry e Extensões Simétricas dentro do quadro de ZF + ADR (Axioma da Determinação de Reais).

• Definição de "Fortemente Regular": Um cardinal $\kappa$ é fortemente regular se é não enumerável e, para todo $\alpha < \kappa$ e toda função $f: \mathcal{P}(\alpha) \to \kappa$, a imagem de $f$ é limitada em $\kappa$.
• Hipótese de Trabalho: Assumem ZF + ADR + "existe uma medida $\mathbb{R}$-completa em $\Theta$". Esta hipótese é consistente e mais fraca que a existência de um limite de cardinais de Woodin.
• Construção do Modelo:
  1. Conjunto de Cardinais: Seja $M = \{\kappa < \Theta \mid \kappa \text{ é mensurável}\}$. Sob ADR, os cardinais regulares abaixo de $\Theta$ são exatamente os mensuráveis.
  2. Forçamento: Define-se um produto de suporte finito de forçamentos de Prikry $\mathbb{P} = \prod_{\kappa \in M}^{\text{fin}} \mathcal{P}_{\mu_\kappa}$, onde cada $\mathcal{P}_{\mu_\kappa}$ singulariza o cardinal $\kappa$ (tornando sua cofinalidade $\omega$) usando uma medida $\mu_\kappa$.
  3. Extensão Simétrica: Em vez de tomar a extensão genérica completa $V[G]$, os autores constroem uma extensão simétrica $N$ (submodelo de $V[G]$) que preserva certas propriedades de cardinalidade e a estrutura de $\Theta$, mas permite que os cardinais em $M$ abaixo de $\Theta$ sejam singularizados.
  4. Levantamento de Medidas: Utilizam lemas de Apter para mostrar que as medidas em $\Theta$ podem ser "levantadas" (lifted) para a extensão simétrica $N$, preservando a mensurabilidade de $\Theta$.

3. Contribuições e Resultados Principais

O teorema central (Teorema 1.1) estabelece:

Teorema 1.1: Assumindo ZF + $\Theta_{meas}$ (ADR + existência de uma medida $\mathbb{R}$-completa em $\Theta$), existe uma extensão satisfazendo ZF na qual:

1. $\Theta$ é um cardinal fortemente regular.
2. $\Theta$ é o menor cardinal regular não enumerável.
3. $\Theta$ é o menor cardinal mensurável.
4. Todos os cardinais não enumeráveis abaixo de $\Theta$ têm cofinalidade $\omega$ (são singulares).

Pontos Chave da Prova:

• Preservação de Cardinalidade: O forçamento de Prikry preserva cardinais (Teorema 2.2). A extensão simétrica $N$ também preserva cardinais (Lema 3.5).
• Singularização: Para todo $\kappa \in M$ (cardinal mensurável em $V$ com $\kappa < \Theta$), o forçamento torna $\text{cof}(\kappa)^N = \omega$ (Lema 3.6). Isso elimina todos os cardinais regulares abaixo de $\Theta$ na extensão.
• Mensurabilidade de $\Theta$: A medida original em $\Theta$ (que é $\mathbb{R}$-completa) é levantada para $N$, provando que $\Theta$ permanece mensurável (Proposição 3.9).
• Regularidade Forte: Demonstram que qualquer função de um conjunto de potências de um ordinal menor que $\Theta$ para $\Theta$ é limitada em $N$ (Proposição 3.8), garantindo que $\Theta$ seja fortemente regular.

4. Significado e Implicações

• Redução de Força de Grandes Cardinals: O resultado mostra que a consistência de "ZF + $\Theta$ é o menor mensurável e o menor fortemente regular" pode ser obtida a partir de uma hipótese mais fraca (ADR + medida $\mathbb{R}$-completa em $\Theta$) do que a exigida por trabalhos anteriores que usavam cardinais supercompactos.
• Refinamento da Teoria de Apter: O trabalho expande a análise de Apter [1], mostrando que é possível controlar simultaneamente a regularidade e a mensurabilidade de $\Theta$ enquanto se singulariza todo o espectro abaixo dele.
• Conjectura: Os autores conjecturam que a teoria "ZF + $\Theta$ é o menor mensurável e o menor inacessível" é estritamente mais fraca que a existência de um limite de cardinais de Woodin.
• Perguntas Abertas: O artigo levanta questões sobre a estrutura de ultrafiltros em $\Theta$ e se o menor inacessível pode ser o menor mensurável carregando medidas com propriedades específicas (ex: concentradas em cardinais de cofinalidade $\omega_1$).

Conclusão

O artigo fornece uma construção elegante de um modelo de ZF onde a fronteira entre cardinais singulares e regulares/mensuráveis é drasticamente alterada: $\Theta$ torna-se o primeiro ponto de regularidade e mensurabilidade, enquanto todo o universo abaixo dele é composto por cardinais singulares de cofinalidade $\omega$. Isso representa um avanço significativo na compreensão da hierarquia de cardinais grandes na ausência do Axioma da Escolha.