The Northcott Property for Composites of Number Fields of Bounded Degree

Resumen Técnico: La Propiedad de Northcott para Compuestos de Cuerpos Numéricos de Grado Acotado

Enunciado del Problema
El artículo aborda la propiedad de Northcott (N) para extensiones algebraicas infinitas de cuerpos numéricos. Un conjunto de números algebraicos $A$ posee la propiedad (N) si, para todo número real $T > 0$, el subconjunto $A(T) = \{ \alpha \in A : h(\alpha) < T \}$ es finito, donde $h(\alpha)$ denota la altura logarítmica absoluta de Weil. Aunque el teorema clásico de Northcott garantiza esta propiedad para conjuntos de grado acotado, no se extiende automáticamente a extensiones infinitas.

El problema específico tratado aquí concierne al cuerpo $K(d)$, definido como el compuesto de todas las extensiones de un cuerpo numérico $K$ con grado a lo sumo $d$. En su trabajo seminal [BZ01], Bombieri y Zannier demostraron que el subcuerpo $K(d)_{ab}$ (el compuesto de todas las extensiones abelianas dentro de $K(d)$) satisface la propiedad (N). Dejaron abierta la cuestión de si el cuerpo completo $K(d)$ satisface la propiedad (N) para $d > 2$. Este artículo proporciona una respuesta afirmativa a dicha cuestión.

Metodología y Marco Teórico
La estrategia de prueba extiende el enfoque de Bombieri y Zannier, pero requiere superar la falta de conmutatividad en el grupo de Galois de $K(d)$. La metodología se basa en tres pilares principales:

1. Exponente Finito de los Grupos de Galois: El artículo establece que el grupo de Galois $\text{Gal}(K(d)/K)$ tiene exponente finito. Esta es una propiedad estructural crucial, ya que implica que el comportamiento de ramificación de los primos en estas extensiones está restringido.
2. Teorema de Segal sobre Grupos Profinitos: La novedad central del enfoque es la aplicación de un teorema de Segal [Seg18] sobre grupos profinitos "pequeños". Un grupo profinito $P$ es pequeño si tiene solo un número finito de subgrupos abiertos de índice $n$ para cada $n$. El teorema de Segal establece que $P$ es pequeño si y solo si $P^m$ (el subgrupo generado por las $m$-ésimas potencias) es abierto para todo $m$. Esto permite a los autores demostrar que el compuesto de todas las extensiones de Galois de $K$ no ramificadas fuera de un conjunto finito de primos $S$ con un exponente acotado es una extensión finita, incluso sin asumir que las extensiones sean abelianas.
3. Análisis de Ramificación y Cotas de Altura: La prueba adapta el análisis local utilizado por Bombieri y Zannier. Asumiendo que el cuerpo base contiene las raíces de la unidad necesarias, los autores analizan los índices de ramificación de los primos en el cuerpo de descomposición de un elemento $\alpha$. Utilizando el lema de Abhyankar, relacionan la ramificación con el exponente del grupo de Galois. Derivan cotas sobre los primos que pueden ramificarse en la extensión generada por $\alpha$ basándose en la altura $h(\alpha)$ y el exponente $D$.

Resultados Clave
El artículo presenta dos teoremas principales:

• Teorema 1: Sea $K$ un cuerpo numérico y $M/K$ una extensión de Galois algebraica infinita tal que $\text{Gal}(M/K)$ tiene exponente finito. Entonces $M$ tiene la propiedad de Northcott.

  • Esquema de la prueba: Los autores muestran que para cualquier $\alpha \in M$ con altura acotada, el cuerpo de descomposición $L$ de $\alpha$ debe estar no ramificado fuera de un conjunto finito de primos determinado por la altura y el exponente. Por el Teorema 2 (a continuación), solo hay un número finito de tales extensiones $L$ de grado acotado. Dado que el grado y la altura de $\alpha$ están acotados, solo hay un número finito de tales $\alpha$.

• Teorema 2: Sea $K$ un cuerpo numérico, $S$ un conjunto finito de primos que contiene a aquellos que ramifican en $K$, y $D \in \mathbb{N}$. Solo hay un número finito de cuerpos numéricos $F$ tales que $F/K$ es una extensión de Galois no ramificada fuera de $S$ con un grupo de Galois de exponente $D$.

  • Significado: Este resultado generaliza la finitud de las extensiones abelianas a extensiones no abelianas bajo la restricción de exponente finito, utilizando el teorema de Segal para demostrar que el grupo de Galois asociado es finito.

• Corolario 1: Para cualquier cuerpo numérico $K$ y entero positivo $d$, el cuerpo $K(d)$ (el compuesto de todas las extensiones de grado $\le d$) tiene la propiedad de Northcott.

  • Razonamiento: El grupo de Galois $\text{Gal}(K(d)/K)$ tiene exponente finito (específicamente, el exponente divide al mínimo común múltiplo de los enteros hasta $d$). Por lo tanto, el Teorema 1 se aplica directamente.

Significado y Afirmaciones
El artículo afirma que su contribución principal es la resolución afirmativa de la cuestión planteada por Bombieri y Zannier sobre $K(d)$ para $d > 2$. Los autores destacan que la novedad radica en la aplicación del teorema de Segal sobre grupos profinitos para manejar el caso no abeliano, mientras que los resultados anteriores dependían de la naturaleza abeliana de las extensiones.

Además, el artículo señala una consecuencia para la lógica matemática. Citando a Vidaux y Videla [VV16], los autores declaran que cualquier subanillo de un anillo de enteros totalmente reales con la propiedad (N) tiene una teoría de primer orden indecidible. En consecuencia, el Corolario 1 implica que el compuesto de todas las extensiones totalmente reales de $\mathbb{Q}$ de grado a lo sumo $d$ tiene una teoría de primer orden indecidible, resolviendo la Pregunta 5 en [VV16].

Los autores se mantienen modestos respecto a la prueba del Teorema 2, señalando que depende en gran medida de la clasificación de los grupos simples finitos (a través del trabajo de Segal) y sugiriendo que una prueba más simple, independiente de dicha clasificación, sería de interés.