The Northcott Property for Composites of Number Fields of Bounded Degree

Resumo Técnico: A Propriedade de Northcott para Compostos de Corpos Numéricos de Grau Limitado

Enunciado do Problema
O artigo aborda a propriedade de Northcott (N) para extensões algébricas infinitas de corpos numéricos. Um conjunto de números algébricos $A$ possui a propriedade (N) se, para todo número real $T > 0$, o subconjunto $A(T) = \{ \alpha \in A : h(\alpha) < T \}$ for finito, onde $h(\alpha)$ denota a altura de Weil logarítmica absoluta. Embora o teorema clássico de Northcott garanta essa propriedade para conjuntos de grau limitado, ele não se estende automaticamente a extensões infinitas.

O problema específico tratado aqui diz respeito ao corpo $K(d)$, definido como o composto de todas as extensões de um corpo numérico $K$ com grau no máximo $d$. Em seu trabalho seminal [BZ01], Bombieri e Zannier provaram que o subcorpo $K(d)_{ab}$ (o composto de todas as extensões abelianas dentro de $K(d)$) satisfaz a propriedade (N). Eles deixaram em aberto a questão de saber se o corpo completo $K(d)$ satisfaz a propriedade (N) para $d > 2$. Este artigo fornece uma resposta afirmativa a essa questão.

Metodologia e Estrutura Teórica
A estratégia de prova estende a abordagem de Bombieri e Zannier, mas exige superar a falta de comutatividade no grupo de Galois de $K(d)$. A metodologia baseia-se em três pilares principais:

1. Expoente Finito de Grupos de Galois: O artigo estabelece que o grupo de Galois $\text{Gal}(K(d)/K)$ possui expoente finito. Esta é uma propriedade estrutural crucial, pois implica que o comportamento de ramificação dos primos nessas extensões é restrito.
2. Teorema de Segal sobre Grupos Profinitos: A novidade central da abordagem é a aplicação de um teorema de Segal [Seg18] sobre grupos profinitos "pequenos". Um grupo profinito $P$ é pequeno se tiver apenas um número finito de subgrupos abertos de índice $n$ para cada $n$. O teorema de Segal afirma que $P$ é pequeno se e somente se $P^m$ (o subgrupo gerado por potências $m$-ésimas) for aberto para todo $m$. Isso permite aos autores provar que o composto de todas as extensões de Galois de $K$ não ramificadas fora de um conjunto finito de primos $S$ com expoente limitado é uma extensão finita, mesmo sem assumir que as extensões são abelianas.
3. Análise de Ramificação e Limites de Altura: A prova adapta a análise local utilizada por Bombieri e Zannier. Ao assumir que o corpo base contém as raízes da unidade necessárias, os autores analisam os índices de ramificação dos primos no corpo de decomposição de um elemento $\alpha$. Usando o lema de Abhyankar, eles relacionam a ramificação ao expoente do grupo de Galois. Eles derivam limites sobre os primos que podem ramificar na extensão gerada por $\alpha$ com base na altura $h(\alpha)$ e no expoente $D$.

Resultados Principais
O artigo apresenta dois teoremas primários:

• Teorema 1: Seja $K$ um corpo numérico e $M/K$ uma extensão de Galois algébrica infinita tal que $\text{Gal}(M/K)$ tenha expoente finito. Então $M$ possui a propriedade de Northcott.

  • Esboço da Prova: Os autores mostram que, para qualquer $\alpha \in M$ com altura limitada, o corpo de decomposição $L$ de $\alpha$ deve ser não ramificado fora de um conjunto finito de primos determinado pela altura e pelo expoente. Pelo Teorema 2 (abaixo), existem apenas finitas extensões $L$ de grau limitado. Como o grau e a altura de $\alpha$ são limitados, existem apenas finitos tais $\alpha$.

• Teorema 2: Seja $K$ um corpo numérico, $S$ um conjunto finito de primos contendo aqueles que ramificam em $K$, e $D \in \mathbb{N}$. Existem apenas finitos corpos numéricos $F$ tais que $F/K$ é uma extensão de Galois não ramificada fora de $S$ com um grupo de Galois de expoente $D$.

  • Significado: Este resultado generaliza a finitude das extensões abelianas para extensões não abelianas sob a restrição de expoente finito, utilizando o teorema de Segal para mostrar que o grupo de Galois associado é finito.

• Corolário 1: Para qualquer corpo numérico $K$ e inteiro positivo $d$, o corpo $K(d)$ (o composto de todas as extensões de grau $\le d$) possui a propriedade de Northcott.

  • Raciocínio: O grupo de Galois $\text{Gal}(K(d)/K)$ tem expoente finito (especificamente, o expoente divide o mínimo múltiplo comum dos inteiros até $d$). Assim, o Teorema 1 aplica-se diretamente.

Significado e Alegações
O artigo afirma que sua principal contribuição é a resolução afirmativa da questão posta por Bombieri e Zannier sobre $K(d)$ para $d > 2$. Os autores destacam que a novidade reside na aplicação do teorema de Segal sobre grupos profinitos para lidar com o caso não abeliano, enquanto resultados anteriores dependiam da natureza abeliana das extensões.

Além disso, o artigo nota uma consequência para a lógica matemática. Citando Vidaux e Videla [VV16], os autores afirmam que qualquer subanel de um anel de inteiros totalmente reais com a propriedade (N) possui uma teoria de primeira ordem indecidível. Consequentemente, o Corolário 1 implica que o composto de todas as extensões totalmente reais de $\mathbb{Q}$ de grau no máximo $d$ possui uma teoria de primeira ordem indecidível, resolvendo a Questão 5 em [VV16].

Os autores permanecem modestos quanto à prova do Teorema 2, observando que ela depende fortemente da classificação dos grupos simples finitos (através do trabalho de Segal) e sugerindo que uma prova mais simples, independente dessa classificação, seria de interesse.