Algunas extensiones infinitas de \(\mathbb{Q}\) con la propiedad de Bogomolov

Some infinite extensions of \(\mathbb{Q}\) satisfying Bogomolov’s property

Abstract

Let \( \ell \) be a prime number and \( K_{\ell} = \mathbb{Q}(\zeta_{\ell}) \) the cyclotomic field, where \( \zeta_{\ell} \) is a primitive \( \ell \)-root of unity. Choosing a prime ideal \( \mathfrak{p} \subseteq \mathcal{O}_{K_{\ell}} \) in the ring of algebraic integers of \( K_{\ell} \), we denote by \( S_{\mathfrak{p},\ell} \) all the Galois extensions of \( K_{\ell} \) of degree \( \ell \) where \( \mathfrak{p} \) does not split. Let \( L_{\mathfrak{p},\ell} \) be the compositum of Hilbert class fields of the fields of \( S_{\mathfrak{p},\ell} \). In this work, we show that \( L_{\mathfrak{p},\ell} \) satisfies Bogomolov's property by analyzing certain local degrees over \( K_{\ell} \). We also study the relation between \( L_{\mathfrak{p},\ell} \) and other families present in the literature satisfying Bogomolov's property in the case \( \ell = 2 \).

Resumen:

Sea \( \ell \) un número primo y \( K_{\ell} = \mathbb{Q}(\zeta_{\ell}) \) el cuerpo ciclotómico donde \( \zeta_{\ell} \) es una raíz primitiva \( \ell \)-ésima de la unidad. Eligiendo un ideal primo \( \mathfrak{p} \subseteq \mathcal{O}_{K_{\ell}} \) en el anillo de enteros algebraicos de \( K_{\ell} \), denotamos por \( S_{\mathfrak{p},\ell} \) todas las extensiones de Galois de \( K_{\ell} \) de grado \( \ell \) donde \( \mathfrak{p} \) no se escinde. Sea \( L_{\mathfrak{p},\ell} \) el compositum de los cuerpos de clases de Hilbert de los cuerpos de \( S_{\mathfrak{p},\ell} \). En este trabajo mostramos que \( L_{\mathfrak{p},\ell} \) satisface la propiedad de Bogomolov analizando ciertos grados locales sobre \( K_{\ell} \). También estudiamos la relación de \( L_{\mathfrak{p},\ell} \) con otras familias existentes en la literatura que satisfacen la propiedad de Bogomolov en el caso \( \ell = 2 \).