Sarnak's Program for Erdős Sieves. Part I: Topological Dynamics and Light Tails

Resumo Técnico: O Programa de Sarnak para Peneiras de Erdős

1. Problema e Motivação

O artigo visa generalizar o Programa de Sarnak (originalmente formulado para inteiros livres de quadrados e sistemas $B$-livres sobre $\mathbb{Z}$) para um contexto muito mais amplo: peneiras de Erdős sobre álgebras étale de $\mathbb{Q}$.

• Contexto: O Programa de Sarnak investiga a dinâmica topológica e as propriedades estatísticas de conjuntos de inteiros obtidos removendo classes de congruência módulo um conjunto infinito de ideais. O exemplo clássico são os inteiros livres de quadrados (removendo $0 \pmod{p^2}$ para todo primo $p$).
• Limitação Existente: Trabalhos anteriores generalizaram esses resultados para sistemas $B$-livres (onde se remove apenas a classe $0 \pmod b$) sobre corpos de números e álgebras étale. No entanto, o caso geral de peneiras (onde se podem remover múltiplas classes de congruência $R_b \pmod b$, não apenas zero) permaneceu menos explorado, especialmente em relação à existência de densidade e à genericidade de pontos.
• Objetivo: Estabelecer as condições sob as quais o conjunto de números $R$-livres ($F_R$) é um ponto genérico em um sistema dinâmico, generalizando as cinco conjecturas principais de Sarnak para este contexto mais amplo.

2. Metodologia e Definições Fundamentais

O autor utiliza uma abordagem que combina Teoria dos Números Algébrica e Sistemas Dinâmicos Topológicos e Ergódicos.

• Estrutura Algébrica: O trabalho é realizado sobre uma álgebra étale de $\mathbb{Q}$, $K$ (produto de um número finito de corpos de números). O anel de inteiros é denotado por $\mathcal{O}_K$.
• Definição de Peneira ($R$): Uma peneira é um par $(B_R, (R_b)_{b \in B_R})$, onde $B_R$ é um conjunto infinito de ideais dois a dois coprimos em $\mathcal{O}_K$, e $R_b$ é um conjunto finito de classes de congruência módulo $b$.
• Números $R$-livres ($F_R$): O conjunto de inteiros em $\mathcal{O}_K$ que não pertencem a nenhuma das classes removidas:
  $$F_R = \mathcal{O}_K \setminus \bigcup_{b \in B_R} R_b$$
• Sistemas Dinâmicos:
  • Espaço de Shift: $\{0, 1\}^{\mathcal{O}_K}$, com ação de translação $S_a(A) = A - a$.
  • Espaço Admissível ($\Omega_R$): O conjunto de todos os subconjuntos $A \subset \mathcal{O}_K$ que são "admissíveis" (não cobrem todo o espaço módulo nenhum $b$).
  • Espaço Orbital ($X_R$): O fecho da órbita de $F_R$.
  • Medida de Mirsky ($\nu_R$): Uma medida invariante definida como o pushforward da medida de Haar em um "odômetro" (produto de grupos finitos $\prod \mathcal{O}_K/b$) via um mapa de fator $\phi_R$.
• Condições de "Cauda Leve" (Light Tails): A contribuição metodológica central é a introdução de duas propriedades para peneiras:
  1. Cauda Leve Fraca (Weak Light Tails): A densidade superior dos elementos que são removidos por ideais de índice alto ($i > L$), mas não pelos de índice baixo ($j \le L$), tende a zero quando $L \to \infty$.
  2. Cauda Leve Forte (Strong Light Tails): A densidade superior de todos os elementos removidos por ideais de índice alto ($i > L$) tende a zero.

3. Principais Contribuições e Resultados

O artigo generaliza quase todos os pontos do Programa de Sarnak para peneiras de Erdős (onde $\sum \frac{|R_b|}{N(b)} < \infty$).

A. Generalização do Ponto (1) de Sarnak: Genericidade e Densidade
O teorema principal (Teorema 3.21) estabelece uma equivalência fundamental para uma peneira de Erdős $R$ e uma sequência de Følner $I_N$:

1. $F_R$ é um ponto genérico do sistema $(\Omega_R, S, \nu_R)$ em relação a $I_N$.
2. $R$ possui cauda leve fraca em relação a $I_N$.
3. O conjunto $F_R$ possui uma densidade bem definida em relação a $I_N$, dada pelo produto de Euler:
   $$d_{I_N}(F_R) = \prod_{b \in B_R} \left(1 - \frac{|R_b|}{N(b)}\right)$$
   Significado: Isso conecta a existência de densidade estatística diretamente à propriedade dinâmica de "cauda leve". Sem essa propriedade, a densidade pode não existir ou não coincidir com a medida de Mirsky.

B. Generalização do Ponto (2): Entropia Topológica
O autor calcula a entropia topológica do sistema $(\Omega_R, S)$:
$$h_{top}(\Omega_R, S) = \log(2) \prod_{b \in B_R} \left(1 - \frac{|R_b|}{N(b)}\right)$$
Isso generaliza o resultado conhecido para inteiros livres de quadrados, mostrando que a complexidade do sistema é determinada pela densidade dos números livres.

C. Generalização do Ponto (4): Proximalidade
O sistema $(\Omega_R, S)$ é demonstrado ser proximal.

• O ponto vazio $\emptyset$ pertence a $X_R$ e é o único ponto fixo.
• Para qualquer rede $\Gamma \subset \mathcal{O}_K$, nenhum translado de $\Gamma$ está contido inteiramente em $F_R$.
• Isso implica que o sistema não é misturador topologicamente fraco (weakly mixing) e possui um sistema mínimo trivial.

D. Generalização do Ponto (5): Juntamento Não-Trivial
O sistema $(\Omega_R, S)$ possui um juntamento não-trivial com o sistema de rotação do grupo compacto (o odômetro $G_R$). Isso implica uma forte correlação estrutural entre a dinâmica dos números $R$-livres e a rotação em grupos compactos.

E. Propriedades de Cauda Leve (Seção 5)

• Sistemas $B$-livres: O autor prova que qualquer sistema $B$-livre de Erdős sobre uma álgebra étale de $\mathbb{Q}$ possui cauda leve forte (Teorema 5.7). Isso garante que, para esses sistemas clássicos, a densidade sempre existe e é dada pelo produto de Euler.
• Contraste: São construídos exemplos de peneiras que possuem cauda leve fraca, mas não forte (Teorema 5.14), demonstrando que a existência de densidade depende da sequência de Følner escolhida e que a propriedade não é estável sob remoção de classes de congruência.
• Estabilidade: A cauda leve forte é mais robusta (preservada sob adição/remoção finita de classes), enquanto a fraca é mais sensível.

4. Significado e Impacto

1. Unificação Teórica: O trabalho unifica o estudo de conjuntos de inteiros livres de quadrados, pontos de rede visíveis e valores quadrados-livres de polinômios sob uma única estrutura dinâmica e algébrica.
2. Resolução de Questões Abertas: Resolve problemas relacionados à existência de densidade para peneiras gerais, mostrando que a condição de "cauda leve" é necessária e suficiente para a genericidade de $F_R$.
3. Novas Ferramentas: A introdução das noções de cauda leve fraca e forte fornece novas ferramentas analíticas para estudar a distribuição de conjuntos definidos por restrições de congruência infinitas.
4. Base para Parte II: Este artigo estabelece as ferramentas dinâmicas e topológicas. A Parte II (referida no texto) utilizará esses resultados para aplicações puramente numéricas, como a densidade de valores quadrados-livres de polinômios irreduzíveis.

Em suma, o artigo expande significativamente o escopo do Programa de Sarnak, provando que a estrutura dinâmica subjacente a conjuntos de inteiros definidos por peneiras é governada por propriedades de "cauda leve", generalizando resultados clássicos de Sarnak, Cellarosi, Sinai e outros para o contexto de álgebras étale e peneiras arbitrárias.